SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 UU tl _ HOL-Bali:threads=6elapsed=60.896cpu=206.112gc=9.524factor=3.387zXZִF! F]ŗXf1-q恈73w@9!Ӳ) 0y`D^*ooLUV>XF^ z wxWq>`AmE%+W"# '|G 7ŁŪKZnesr }]'$HRtTn\3(Og&<,Rx _ M{$˞CY'hGx!`O[Y?.|yoĽvWTgzHx*ۼ4Dt1ثnI]*z]\1:A%v=A+LY_(8tNHg.]pQ+$9HPkx /;lY컍 $>lh1YY=3h "’.%XsmoVIG6 lA-7>:]Wo] qԚ˦44VŔ+L{/Y>bĔePe*$6%(S>. rUZ Ka]BE\#Pԅ*7V'5g4̖e@>*Rb]nyG%_NX]Zx?Z(UZfdՅSΥ~o%<it +_шjmFVz˳-J+Ϗ@7!܎o2!bwSvNIO$s<ܚ;%} e/ s5*Zuh-t@kv#AtM/@G~ g#VW7>j}QyGQ*N-cy,UBZZ>kzɍb鱄>?2{fٸ1vZ)8P9^ݓBKҴlYD>ãӖx),lSbӗ, I.{FI8(i(65 $@C J5_h/T p>ٟ2T`{?4g4?-:}ԣ=lu<3I"W!_\,Mi3p\c;9MV]w3nh˴zňeM#MP3kY_l-7HľJ-7@YZ/BgYZ7zXZִF! o]ŗXi%4TD b<7 cdž{<^m)9-`%$k' 'j8*r 8փit)[/im`ÿU^_"G˳FʋTǽ7CJ<Θ6jXwk& c/w@umA?7OHo3-;jStN'tT.O7x5!Ѓw/wz':OySbLhǩw`%@Msx `=\%_/m?L+wq 7BE7|ޡk2nA1#@yKJ拓=WͪZtGF19pu$n'ƖBSyOnĶ|S:`7g AT#_K,49󺍤bSCL jQ@ Gc9'yP4˿Ty'vZRݽeTRV眿̶Ӎf;b J>LyZuƫ[ҢFf1xՑNcgB耋]^zo Hf\ 9=ZMVGTDڌͫHHbu,'?yF]NRnW]_v@cg(\quA ]nZigtwOB5/De/Y6T8i]/b_~ڿϡT vvꉪ.gO2 H1D̟bKXnTXL.aSڍ%g%Vc.}y2'ez[,DH]|,2շiuW.YgFVM'T cdY': AK@V)@/ S]D~n.łćÄyt7KNF(c0A=;٧\E:.O;uC $+W01W4$6#X"TEt%B\Dt,O|쐽BYB!J:4-lN(*Kc-)ۿe> /L9z}$,Ģk⡀qBC]є Kw5;#T99 k7wBA+La T2GbzȟM, \l412JM*vמTfBUD:qxN72oץhW┙4^I. ~cVdx,u jm3HIdG/#~bh^^FMy_(];5JRN:EbuGOB!f fL,I̻N-hwXzBea7t5rb \VKT0F^$b&$NFf!_FrnyZP!k4Ib=v7aH;67u6o N%xg\+ >IB,%.1I(fhQW,;E(pM?d~6{I "h~4pAfשrn[S[g-6<_$_33[=N* tV;$8L b8?kH~>iMRƎ>v+c+j^stuɀ]E@q[u&MzẺʌ7&C/l[ؓE%@|wcv\ }\}Blq0Wߧ拎 S(; y` Z$5ÈUrJd% `P'ql%]GH=EhXG61)|YG< su+I۠1 #=\@8HvZ ظgxqCS/7LA6-8g1V# ~NJӊhu'S`OPrX\&4O5ZA՘Հ+.SˠÌ<u͹cՀ)+CcαR.5ߒ‰X7ΑhV',` <Qw$OjS=fo*@+ 𸙫a2a{ 93<3 X(ieXV0:pG"dq̊)+/ a tp7ۋ$P;8iۘ)W\|DK͛r}K4Ň%D[ZÁ=pt3?rTٷo9дa밅J E6aQxpphG =<6ѷ@]+Oi3+'C,tUXtBH( ?!H*~׌Bj/6T\oJ}1@$%9'w> a6<,h qhC5K|S -6CZu<0⒝K?|]NBҐQcPScTO9>XmN\9'‹=&lQ;tp_~ihT-Wp{J6DĐ&(T墹ݘG~+ M+ ݥb:Wf՝/>M1r0Voj&=oG^7pcwi WTwSbvV"7A_0\sM˄ԉDj]= K=.M&8Br)."??Y|I-ȵdSv ϊaCfcx!'}l8jvli++-_aA"7c^a #N: ȿ4Bs+nZ~r3VZnrA|޿ :h5C#9رgYZ1d61bd41b7c5765c7c22059ec139e91e3a8a273e 20c23879fab5e4214a9207e09f84cd3d6a73ca8c 2f3ff0db0ddb37d3baf4bcedc2e9be8a010ecaa3 3299e28da33984c23c8f4e0a4b6e4c8558353d3c 36801034d896b236e7467230dac165ebe7c0b6b6 3fe4540cb7413f9f901e99af65742d8209898d1c 52cf19753f4cc101c53b9754ff163bee7d6d51ea 72cf4d0430de6be55dea6de763c19c94f0bb40cc 7968a5176659b1f867e0923f4ea7bc1137e1ffe7 7ad5c05a09593310abdc9bc7f02482d84576c05e 8579f972454ca757444bccbab6239f4e8af28ca4 907f38f57a24e3620e92135b5c8d8f10c7b4ee53 94db8c095db4b558fc2e24fdc9241f940426a436 a17513be351693f499b4d2c77390120fe92cde96 a1d0adce50228f8326f7d2fa6939b26fda4e05a6 a26d656cd49741a44856501a1b7f4bcfef40887c a88ce6213eeb3d2840cbc183a2ab07e64fb1217c b8d4baa4d8f38e6a19185afcc81d737d475d5390 bacb19f11615a1099e691d34daa5ca1f230fc048 d12d3cbb1172f36a0d4aabce6f3d42d9d0b80475 ea3c8c7803625888c491700086ab8c690d645197 f18332bceaefacaad4deda93cfc03e73562bdc17 f216e73e36408ee403b664174917affa2b5d104d f5f9986aaf2dcefc1777478208ee4d0d0dd7a5ea f67fdbab3d4d839e5491743ee963e2cbe0513ab8 fb8dd87665f0aa09f8e43b43caabe77d5987a3fe01c92facbb750b67e7694845954c40ee8ae8060f cf4bd480742210ae51d8ef14cc188507d1ffb65d a948c168b910c1d0d426d242df7337f8a105004e