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 ; ; %,< ]Jinja:threads=2elapsed=419.730cpu=751.384gc=19.092factor=1.797zXZ ִF ! ] ŗXf1-/6vRZڕ/0*]=D]jl?ZzW\%&?SH1MhVe73u{ׄ8b37ٖ}o08Jrr8=[}kojN/l+ C VQbT,06D9ol}Rkz%s"D\*EjSh6j EM-9_}pGee/IB` ϛ 蛧h,y4 <U[e]Yxn>g&5aR_N*-d"_.yYPꕮLĆ8GLpH!'µKNhX?B:B{Z 7I wXr-sK27~^v3Ms_2zE4:2@+1oYmCȞR:?PT4Y8~$[omnRcjṮ;d.]'$̗v8}ls-2a T}(g~g7=-wDo!懁y(5~GEnbWz2OQIP#p,ЭT.ݽO:]&l3Xwl?k4 N$K)I4%vQZ/x'Xo'R1Y3Len֖Z1@GR9&H=W'eNmkyZ-O$ʤ3Bn6"LtO3ȼWN#ʉ8<]G|%[LzS_ kwؕ QO#:cF`ญR]~1 쬀HJ*@j=H%Vm{6oMGfE4\{oVbCXzɴvzP@aRQJrhfsayg.d6;KzlJ]!+G1G5[}SJ!/O~Ig"rһȴTĺ,
NŬ&krDĒT"OIN.i3P!~9禠s^_O
aZp
DD5ўV&{ZOw'i:M3^ DDK$p6tydi+?/f++_Nbb!%ٍmhј
NbGx~Sg#q\+vz=0|/cz";Rd"UQ Rf9Qh
!V6Yy1cLpG?=
E }8] #grf?і<$ w=/?0^ӎ{f>
P+Fk1CMOHu*rv 3xy7DG=d3G>g~&mǗ9Mw%ib؟۾Mr?؟:}OP'm,s43Y2͉oT8cL|lvڸ'Yy::+oyHNMKhнYh[|=~@AbT]K@dJ
&_E T]:0FԹbI"FH$"y-0UUl1dF&j7|By
)eLf.<ѱsf@`
{J<(*K
oU4Q7y]Eme {W1HAê\Yr0$l{T/Jn)V1&G|dؙa4іW-HLzqIqrV̓ZƗLb"$VfPm4Ŧ.2JE;_$ܵT8aSN1