SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info s s m#,d S]Collections:threads=2elapsed=383.654cpu=651.176gc=44.564factor=1.707zXZ ִF ! & ] ŗXf1-q恈͐7ӺVWQ=)"jݻYS]1=E1?kzS$G,|\. M&l&Tw~IDS]ǨD[*x+VhT8ͩ`"Pe[Svf:rQZQuq`[.my&8,ӟ0Ӳϧi0w kGlE+mCmyK. &=k3H)|AP}އ J9[`d͝I^o;C\Ҧur1;Kbi{u0W5 Y\.tj&kޞn=+Ǎ254ǴBf:kXbQKc>a]x7W.$)r6d~ *-|XJnyᜭux%W3 )+P:+K5؍j7p|37%_)1FFQI) `4 }Y;&{Pڛ?fht@`")_-٬Q#w~ v1PZCgznzHi 9\rdOB44=gSJ~kԱVZof¡Z]쀾/rYBmAiO`+)@'%e3=>J$+4pLz79yP-w*#)#]BX LI6גTzJ_6fn17lӞC~Wifŭ=(Mw9R:&Yxzd.6ae>.>&|ɩX/#ʎűpY[Ơ:yfE^ccf=+UpfKTS/M̏8ώ *+@e̪a].vюr+Q?5m"P3^{(_u}Fd%HU^_ ƎXSP zxV9&B#saafrݳ9\b&m-bV}Nr>>lPBe&jZ^IJKd"jB0#:Bvy@,,\w E^x &sAKR4j\Z]K⊸FJKn
VgW`1&Ys)
C|B!-9DR8p6^>ЯN
QG^~͡?<0-Ԅ]ANNk_zyI*Zŋ}]Fm)A lkl{fQ]M1BCY-[^K
? ޱqdE-Ein%$Se0"Q/4)ߖC-x5wT@cܔ̨]Q,"n*$3Sx?
:~)|
~UdmT+}ֲ%m6rAψ
/hC5,F~+$x+s0LZY<
\#adᕧ-i$w1me/P`
ƕnMܜU
`Kh@ bxDr+?mМ,$͉P
^N+fP`hhΣ}s]WOc3wB0Kpu^xZro?=:͍¾BJO"b(WN_DSi⑭"zE: @LgeT3ŗAw<f
m:
/vUݗ²SRGMtCܯ">aj'
T%dEzOOtZ %lלYF *%1IT PWad$f&b{5"+4
# Collections U锊J5ޢc,iQ՝jJװg( ja2ЯT-ۻm7}vqrBT=I/cy&/p}iPi~76FLuޱu\V*uO{*Kt
6?S{W
͂i,$ie3dU8NAM@,2:.8&njoIGw+aүR'p
>N}w^s/Cƍ事d@BǫvWb?F)NDsTnB8*|