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/ dd / Liouville_Numbers:threads=2elapsed=14.553cpu=27.320gc=1.156factor=1.887zXZִF! )]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SEMXESAkn zs-SR coxU!ۅcJӝ0Na&>̊9ES"vMw)DDE ?ed9(=rC)KY 0# / Liouville_Numbers'OEen3'vZkK@Q]D(g&w0ʱh[NSB(Jړw&bS*dFF?}UX[/Q6dC(>,ۥ> T1SԹq*ҥ+ SjßT/f3ϸ\LjhVSRi)C eݎo[w0 t!/TD]2B1Tɵ2Y^LNѴh/ms|OA Hש3Z yh/{Ň )R<ϋk@UltA:-􌧻hFU^^/Zߑ@CyO^|W /h?+FWwGD} Lc_eIIY>Ej8v _;>j2g^ 8n(lU2,g @2 z۟JkHg&RNNz=QZeG٧$ ,HpYooj4eߙgznptʓl:#9I?kT iȒ׻F`YYcWː|IhSl%Q@v@xաܗ H,&5UIYQDpovG^?~0T뤝އ@ڗ‡bl sU1¥&Z4e:)g\ i'r $U٭בNX='芟c#D(4,Nk 6rΙ t}J5P-qS`1"GUv&ں Cp@V/+^oBdC+6̶|X( pv on3Ȏw"g=YWg`+X@(!Igu8*ɱ%9HЄmPi+ۙF١\O&mxъA-ªelR>̡U_Ǵ8Dy2I~PN *Y5ZP.][׺25t(ܤqw"1J yrNUr3_mdύp"g 4h|-[Q*_Pz:&JM%{}Iƭ^Z zyihKAҁc'ƪjGiM48;MƄ#336XRpJKewviI={$F痄Ah1 FEKɮL%MA*pBѫi"ˁS+I"g5N_+~=';^e/Ǧl[q-M M$|B~xha.%O:rx%F~7^d=Wg 廁xu#VF{-ǥW- _Z1T  q)+%0s FVE.i\vy$ܙ{ x{jf~z>r ycTkM){IwDnRP!-kzB6w=Q䋕ݥ/ㄪRᛞ~D[lBvݳ~x7QtB{q*ǪZrt:_k fJ?u dÚKAڗݞ+٨3g\^Y-]G!S "za$A :Gl^w(D/$rz\i{w栌-#(ʹ 5a8F m z\CY@'tΊYP6a ;D4ʩ+S-|?DgYel(`47ݙHle)jP\װ]S,'2=$a4щwaA(Dio=ėcQ?޻*ӱ}WV4i T{ۅ^2R"ǽwpzfa\N (bb V{0rdϭ`(SJ(Hޗ+>},g#*5ߝjI>X8XƿMQ3֩ңL5;MK$ MY_t%E0QzX$l2YKDωVþ/i`;KWň.WDAYpQX8EHLj_fCgmmH2EG@<]C 'luGe1㞚%ԧh!3RzK0kjZ.\p=f Ħ/ Fp9 oNSVqo^2G}MFZ([dċ}$4˾r _\jk!!gYZ7zXZִF! KF]ŗXi% NSBc|H/s~bv$ØE;m /R`b5B ˞~8G4p'#;*je_ħ)ɯ)R'$@AiLDE@Zv~xl+&l}8ǔnLJL M=eOH0)t<]jx,JTt4;"Ͽhhq Lx GXCu?׎4eI]n=>g+8KHN7-U2d?tF6T) 0fjamwVԕ:%}_s փ