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 P $ u/]Nominal2:threads=2elapsed=32.998cpu=64.376gc=3.100factor=1.957zXZִF! ]   Nominal2ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SZ{/^xz><- :K͟N0o4OqhR~;e9-+O9Lev½~15<"{wq\@_=8brY7{. $sOw4@ bgL)Ë: 3aU!z5`O~:ބBRWّ#.ABQ8˫C %t/ͧ1M9jb-@&g4˳F)8.PrYӱp忘Yw:RSk"]<Ɩaà' 'EnǙvG[^yݮG5j6h! :5\`,Xa{4.iy:6+6*\ Wd[l%t O*B/Eh|FXD1Dl?# E4Ԝ}\qh`!~.lB֖Nu!=7ʒ j)TcB5Tk}ȁ[e<)X*pۺ/Mg^W!Vobps䃎&$$~\$4Tj5.$*rh8!% U+NVRf(Ěgg.;ʺ ? 0)03)\Z5&מ O^4Vt/[-5IQrO}q2Co _cZ~Kw]XfY\4g8bbepjK6M *$jmFv2l`! IrMr` +ij9vDho}9KZWEi+ eD_VޡhƔ׃NsVEo#QD7՝+9^Ձ*0& :qMt-Ơ^z<v152ଁql@P-\ё"/f"vkq[VзSCX7{#9M"q>0ثt&Y'( &!ܒz*^D[jyE&@($qZŠcC}ٞ<|@IĚ<`׷E}l}B6;Ej8f}Ǻme뼎nBoD'Q!ph)ҍt\h}5 Y?5p*0xkN1ָ3sH5 sI-.l";u^]6s\Vsq۝e2a#_58xEE8wYlu%"g⾼kme@ZTJH1uT#r(i9Qxٚi +%2`9_ 7X3|.:WqJh\MRkKd7-+h;wa¶UbK č.ޭͱ_a^k:| 8at^8bǔ:eFԟX Ӿ MuLi$͚~z!kj@A'wUFeLdXk~i݇]L`e|nH 2NpE>C܋Oc݄xo&)RJmfo]p M\A`bм"eQTVt}Cthb>Duk+^ϻm/-"㧭gw@-mY\'kDhKVSodUz5=VWaRr)|.F;h!cxc0UpCO2ẅ~͚e8CW3BA@5mq8rnH!QG- p=^@G8`,J3xU~%ʆRgS6COo^©ͤŢk W$l+r'k%|lc2?&ڤb=smiSC=L0SxHbRy= ɏ=6nso~)#Xle8]h$eBykP0d`Pb Di,Bch(ȁ !l@ղ#r5ClS s6ǼcYGP<rVrg9 +gZ7tn]3={Q^0W~f[{*̘CF*g~F.p6~sءT{XpӟkKܥ֫DQZ_=$goe⸃(*6do.)%f CMg><^zj^Aִ=~L}F AYZA=#).kyy>&h= 2C FC)2z+G4nt~wޑVu,pif˦u(z[)iٰt42mw\=I˾ h$?&"l0ZC&F$d15[D^Q][$>Yq]{AL| pQFEg^u5W^Ư?mv 4@"}渌/U q%{R PÞ& YhP*F׺d^Ýc)/X.$MIb uԺH"_~ ~HTpp )6O+n( 7ci܅Pj#b)qWk쐛ܠޕ /*֍j\Pp(zov˧#*"\ܦ ׋`ƼLXs#+OBYk.|.-2M}h[E<`s&*E?qcnwLqDJ# ]~ Ckb5nUky,ĚäS;FKYC9[le@ :Pu)r`gU$eL_ZLg}!&%H[gq%)7$O4t^Lῴ&]h.O% Q/TpJrojof%zU߃G_1Q I+fƴK(/Mzz;<[*C" ]쒭Ldpu5rB W ~'-_Z6n-zB{ˋ¿\n:/ Œp#j/oS1 QsN0W|Rh"39[$T<&%b vigt1yE}\RԔ12tQ(u$b?Ng|lYdMx9h`;;>gn|9IܷG(:+{NgyCMwlPa\!`*F"-6Rҍgҧm_ , }ee,ļPu(FS)qxΐJ bl˭b& vTlNxb֣2ؕ.p.ϳp4 5 _._=ze^]9:.wm|N|: \owI%i' V?Bl=Eh7TG5`}baь} yŭ<7wHtWA]99 h#p77 z= VJՒbyn hf[rWbx^ Pkɩ l `04p\ 3;se9SwG=.WAT/+Y'5';Xrg _8Fr'IUQH#f*T!62 H>"m;q[659`pnȨB\v>чi!ZSHU灋|LJ8d3{K(]sTs}_tRS&>zotdw]06ÉqZhuRHTB|z-a!gYZ7zXZִF! ,]ŗXi%B0ͱ@#Nu O'ĉ`v|o6҅,l;8ô;BlPM2Q$l^*k˧ q!ybob.of!N:ՑfIqQOIMSA I3ZIloQ&kokj26ju^ׂMP;emѝ$9mGJh25 Y4}h% Ҙ)JlL/ce,g6T)VӽZm5 "EēFv`+ʉ!'0046σwbDbGqxkP &ĨR׃ՅGIܥ+} SHvO NwMUf C0O̐YLM]ю#D ^Ag?b"R]+þ%™c+ѾzwO"D!x:Q&IWD/R<c!f lՉS̭u')U$"Ӵ?}W~A% zC@J;rsqNȬ{-c6n(Ygj̮ ?DHh % klV}jXB5~ v4VgC"dN5Q-Gȶdek[uQKAbm"wꃠ"z`M3s>!kߠ[_nF ~t]ld 랦dRB鑶R4"і## Sj۶&>:Զw0um|p!: ٪< τS[Ah{^M3'"T#,3rG͊nS;nެKI'@?4 g9!&My҈ ͜z!+h)sN?;>׻#¥NH=Ae3&P$(rtYefYfܣ+9'mQ,t1υd|N'?ŽpXe@6H~o @/CǦl¾=Z1Oc->gޯCXA,@܉ro"ocode'a"lPin$:d]y4.,  v Hq-s=\[Єpz*骵V}fiPU[Rj7d tuvggc1$FUt̫ΏV{TY,3dټaNL[<7rm;4em\a5,P D3~0GV!v[ ޡݽ92Ĩ9ü0F ;a#;\sG_X[eDUp2ZJȟPHdsZx:vR$:%[)vrp}A_2kZ1Vi/1$.Ģ>x2xKarE}LH*DVq[PX]Ȝ oȘ$}<3ۑțSxPw3"f9ks Q0;T.V" z$:Ol<xWiYFE?ZyǃMwꀧ8r .q>