SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info H LT u/]Nominal2:threads=2elapsed=37.593cpu=73.568gc=3.672factor=1.967zXZִF!   Nominal2 E]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S_%ؽ\S׳H=ieYHGpL:φA eJD͛CrwWO-,Lr6JX%dA W3z.T?:*dRU<r];{iVHV86Rw*oƼpG7՘7iwK0ֹ.i4ܸPGb,VBdMa}9iJο}v5b!;) |y8%,JJ1S ́2ns WI2} zquSAF}`,{y\1z?ľSy'pBOƹlpyQ2l(o* Ǯe1$Jػh~#9Q+liughRd qzh D@έՇx%v I6aYF߮9.T{nR@CKlޟ]_T(0P+PA8r MgSir\y{V}S^_yj_GGuNŨ6OVdrv`\en 1k1Q0´O銒xOD -<I "_>☆~RDR84#9Mĭ==r>6Vݺm5Ni-"jU 6D ! 6o 笻԰/p CD[hR)`}%]#R&Wq[)%0'O"r+uYF" \=j]s|-g|sk]HNv/NO6X/f¡lxVVo_~HvtoQ؝׻ϪJڐF*|Ul!|)vCIלr Vh;2R,?cP˗2?J5DĜ{/EB g<;2b$q*sHgT1O WGeoj*҉p/V쨭-CQs2t Ws^1I_edp켝JbtLeR^ΩDXӐyTjĞ&q-KjDE"O % FF (rGG}!7=TRk݈a 6tDGLT` O`v3xU K˽}u+#bm@ MKSmHڀjzRϬ2}O(p%xb鹱2@K3rz3l8.OEY*pI8}`4jwUrGA\Z-UfR gfH'\8s+lC_ՎߦM(횀H<e#@wv{nM!Y8xs-6LDs*tzށUr' ,aJ=Sc.ӎMGOpUëx^Rb`2K愖孂\xRx S;HXQ1nV 7J":}.Ew0uz3:\EGP}g|n˫L[6<ƍ-D-*,+`)M#V@ P ȈX_wĨ^Cր(C!3$`>o|x*΍MעsT F9SikT?*Q`GAuy֎i+xL#(oI JD |; x %+Җnh{] @WQ咝SL8_4ıv4܇ J` ņV^_V/ _0k7|2$lĽ.KMZP=I@_EkW}>4K S=@jTN\iml@[ D<“G]xس<5bPi>`B )MD4%3VY(訤^- "=QDNYmchJiE- '֯` 0cځT~7 b:nRIuIzyn& ]d{_ebz╡u[dBfE{SOWZы7q7acxP B_-{W?D XF{5|I f|+MuYڣ9bm :mOtUyn+_@(HMYWZqmξ5Smj)HHt,]Ӟ欳}%c*ul^e&.nilt6> u1th%tQvua]qm=c,h9l'P"f^9P&=tήrP3Jnw I*BLTc*XEP~~!25bez3*NfwNzX&kEQSU V}8ANbӳW̋rJ방ApmX1Kq0@B#z(m 'eTg'L~ę7Q:W~#3D>'|H+>9cg(>π-voh~$ a_Wqa_bgnq_0s>OtnۢHlQu;D)AZ܉Xo3j-2qVm;Y.\4MP51㰗>z;rŔ'WN>T|jɷ{@HGʗzA~[l$p PEPt.kߗMvi1y{%ff'BKӼ-/ݰf*X{!F1L?D8ZE8%vA&bt{!F-85̼fOVpXP`</KB jOUpܬ̝ m Zj3 v>wm=$(_u%[σ3R## D6'G g AQdy *<ǽy"*%E6rXSv,žQ#^ C#BW#TMe(2zZJ@v5RѾy\3E,/'KD tli̲xk~~?2YSSygr^L4,܁rP̓]qrSJBʕEBgXd!o˱12cs a֣?ɳ'Þ{]0ϼ}Yh̻)H`gX-%e8 p2[+_2 m]h;"FYHhRܓrK'ʏ2=7T?6b;1ga ) ?>沴ϠlUhIb7[DmQdp6+|YB5WC"ZMѻof "*f=mpH57y}?6AQyT[1f' ȁRvt\xv xR_U! Xk@u#Us%MJ}+;=e|q\;dp`}IOW{_=ЈҮWr7I?RԷKʎJP4vZ@i#6LmͲ%>*QnlC[6e=PonrQ$L}HcWIvXQ *Ŭ3m4eN@OLcMa~`J@`fg%e W xNTZ,L]FR5yT{jSR\QXG~ٌ釽a.ˣKE?s+܂w_ٚ*S)' (m˄_RxSYyG7ݱoȚsxJDm/DR[%Kij+ l织Owɒ_;ޣnB+󴮒WKAd}l(_VɀQ9T2 b{i8Fr`y0 9ΓKA` ħD-6t+~SN\T #NLD!g"vWBsW8@n"BzB97^GyطMDwؤկ,ELC7 YR46]Ҷ <|rJ50u1"|dpo;5+)uߜ#5= N8.‚7(N3N:A`\ uoA6Ջ~*X1gV_>*x)pʺY;_}|\JЦ泰dN\?PIj)XZ=G#Xع!N]Օ#NekߍGBt['Y2 {(jM~$đ}ح/Vh]\0E J۠"$Q=,p˩^1;ÊhqB<Йj;ѷ k,hqhM=pbd~ ;&ZѺ7DVM1l׸;R {qn& 4 ENc/[ N6#^r~'4w$P5?:RU7uID-etOfhZ0:@ Aw+kt&̫˶}ѻ'-]1RkJҊt>f@438VV;9YA3GƥL T/roCKrC|-8 P:Lxz\Bq\EbVCkf-gC_Mt><)sM >+C|η,eRPG> ۋ|}NB e +;zE<?`hã2{pUИMb*qk4ה$`ׯMޥ^&.y}N&̒p&^*J2iYq0e`rz!b3e[κs 2Ko 4൰FeXMxIR`3]gYZ7zXZִF!  ]ŗXi%]~&MCgz'E%]M^ѠOGGdIŴse lM.߂YL QPRlyWWTPrSl<ĥy+itd]\kӗ?U|0P_1/_+ލ]lץ(x"bmkUj#~?O[fN+>b6 AFQk[r'myߤw7I~ nf"TEAŒQ%DUHf( {-K?~ߓ]$18R>8@#}GuF |Z~ioYaH2aJ~~psQzP|!FmToDq$upJ71K>H<%VLIn]?z܇)`Kb̠&@^vъ Zjr)M_'AyU[՚_1 Zh =MrbtLtfx2t~Xt"?WK"K*~N4y(A+?;,7d8O ǔњf# W X3֪P-Ga_<)9D&ʇV#h㴦{y$5 6Ee\[-캸bednϣˍ2|]4L0A[чH9쒤z:IYMo*蚭zڔ|iO=BNIo&" bmN3Jdpȝ :nۀ1aLs%R헐h8V]Ơsl|}ls:F1fKFbp8L+OPy\Lת^ثۈЁ}BZH n)ٜ}wF R[2*El+P:6"`4PJIC+TNp$:Qb5 NPm^ot1M jkn z+ ;,FƔ\yI4Q.aǜ6@6(F G3@}*g#0l/ EQ[RL32މ|^ߥn؛o f)w} 1Ǣj|sX}(sLՐs}(O'uDiOv52L/OV⻈|Ahebp@GQV6끆 ƾ)FZ"'1RS|CE$9 \J\$F3Ӯs@K^$N5h6m`e8ftS[BD yBp}31@Q2.|iZcf