SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   \dT ]/ SIFPL:threads=2elapsed=53.449cpu=86.144gc=4.124factor=1.617zXZִF! *1]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(-=N 8wsĕHaui1+Xʞ;ၞ4c+kH˜w#i+8jɩxk%P;bF ]R2& rÈ#yGqJ-kf{bJ΁a~2ly~ U1K:{ YbA~TgzEHtDDfkpb BmZfdM,'8` O͂ka-Y+q @Q:YXF (M]w'HyFƒ~BR'1%ToV3 o6  SIFPLZ nhA=Ux_%FSV7krAfvrif7`Xp2 bZ~C2ddUzsrwN nb%62〶3iH8950QAy D׺Թ,}xz3._tQ3_3/+H1rnO24j { ~s:B/ߒW]D)7JC!5G5ֶAkkJx4Fu/Ry/GKV2//bI!3 Wo3g/YܞPZC 7bC;V$W˜K<  h -NJa{_hRNq|E*oETTϷgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MN?) pc~ȗN_I(vowOd~ j'Z"Fv\qp],Q[Sڶ돺@fXlNENJ5~44ѡ&Gm6.&znpcu]=9UG \3u?~kC 9 gPEj=d)q{C+J=zr7jztNıgYZ7zXZִF! 7 ]ŗXi%;E4: DPJ, D^cG ˇzGи6OeӻkDĊq?#Mhoj3YCl\lOGl_} eq~n;Դ7^tqy|I-u*o%NT~=B!|Mj;XP ȫIc)]ly.p-=v8{E˰UȄ\؞^J\0cr@(x;L9_G}vtXwK?yI$`wYf8U*7#.-oWiXӛz M u~M9𱔛ȈC  !NL\e\ҺT. "ț_u/d&Nd4+= MES鄠\{l \M'.h䌙\JPLXm)05|!^o'yY96cl}E sUޓpPApO{Β߰h C8蟁tx# Rۊhfg``jpz,Mx6ʷнN啳@odEbMjT___~orATΝS*eoV8g7_v@DG][DQ%u&AH;+61U0oY6wĢqց̤VĕqZ7c5g'mH ހ>ȟcN(%~%7:h[8؁½܀^}J#u^"[b UXm5l@2x>XL5M^Jx:RwH,(3Sb0D-#ׯo׶7gMه̃l{T>l? b NRUaNaA ֮Y$1l1O"Ūm4C֥Qhxy6}ѣ'$PfN۟7Sm̛nqiY|.ƔMGf{}e?cpOE|}Z?PruHC{-@u[}'.ȶ;]Ho 9^#4 BN`Hn[gP0$yMĻ2W+- sxG(]|cpX 4`٩l*T!ސum[F';(&@t:>n[ SLڨz%f\}nTX2R`*5 o9GD+A^x- {x=PEjn˙ŽX *YޤR+W2&d՘꣋(?(Ǔ!S3t\Bի 6;1kኤǶiXvSqQ?džL̈Q}TN m!y[07YS+O\a,H GC}QRvY|rL^0쓍0`OZWewQ5@Gz0øocOڮP 1fbXBp>$Q:=)֟R]MOu sβdn?E,ƦںGU"O:\rNǽAVΨ5A MjG _|qMRh?n6vJIl`!SPub+@Nqxg3_AMͅ>]~t0 ǨB U=h^Mti1[jip* X)U=*HݩSU@'Ur|i| ܙ8,G7" 2m;Hc&%\„15*.h s\ U8ЊujJ>LO6!0ˠyF>{6RMV`*󦟐]&W+ ȡgՈ)8ml~k5#`rKJecbvdM'j:yVr {D6]}@jsHgKl))G,Qʙ} } P{uys08î{\ݢU]T[ǭY#%_b@24&tL[aWa͊?WÐ|RbE& HHhwb@Hr[F9qc;ӲgvcXI8zwbw*tihh} h&2!tدkkCօ('N7!*Mk >0067(azFL 1/u?2Szem:,葢Fϭ# ʧ_D%v>T8ҝ[1iD\0$ 0z+q[s^28˕NGɒ;ĸ9xcŪkveguxwF%;Eߺ ]l"W`ߙm1Si lV?0o(Ip7!T"' Iw̡)FfƖ:}V āx7Ϟ=2"elrXqbNL[X3k"&cc !R/;Z꜀"$-0ʐ易 ' ^%ʧׂ:ɥmt剫ײ"wR}i 5[OROg[߬egYZ01982a5cc1cefeab58081c9c7fbd6a7cfdfe6c1279d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d