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 J t$| ]/ Heard_Of:threads=2elapsed=39.648cpu=64.788gc=2.476factor=1.637zXZִF! !]ŗXf1-/6vRZjVJ25Ijq mʃ'{sk:W С땀mE.8Qf1zh糖+Y$MD>+7 ˠ/3Gv& pue)}*aLiJM|CfiYvaYjz n{M긃\ҜdL. V,=BԘ6RcmX~xe-:|N CE]*2aF7ٳ~^l7];5}pd%&#ploUP.\+4,9wtE@R8(]=]rEJ,+Id៿wvaL]?s#X}t7q!Gpf/L̂|oth"Ff^iy?!W:M} b,#2tE,#P=6zr$B)fwwlJ ;"0s>ߴQYU\0g-sBsnFrٝ)^S]fkn'v.ODZ[YΌz[ ؍${qQBW$3]#^u`x׸!qϐXѼ}y:;-'T<#LGx@>i"/|QC0g,!}hA@Bl *4yf us S4^U&#: אI.6,(o.+JV`h|y:W0cms[&]aijIg,YJפ䴡86,Dc7k wSLߥJ'zy5|YW kqʴթl1+O!Eʸ5+[Yksa*+|>IcnDn j0f"dy iZ})¡~U̓+/<_(<ϗ hprn%\#K<==!k;dgDf~ u7Ԫ%`;_$ԡOZE*dxI7rWf@&Rᩯn|fl]cZm{)D39$ۍ(6+Wh_ڴ>htY5&|L׮쁕沯Oo4|~JG ^ؙZr,lYyB@w4P+#֍99SE3J Ǩͷr ^nzϲd`KH o6zZwD%@LE 6 Ers=&"eI2<Q4Noc 23[ q\'Cެ'i wEJx% ELʳCuaclE].UwFncє3j2k U)-ͱgYZf1134b75fab5aba7a953ba2907beeea96cea45af79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d