SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info C C 27T ] HOL-Datatype_Examples:threads=6elapsed=81.897cpu=296.556gc=27.716factor=3.627zXZ ִF ! O] ŗXf1-q恈&!&ʁG_f @lEZ Gwa krju\ KQw:c)
Zh.$6#Q+g(`PG]yg=$ȋ0@O47XRI;%x2kNy25'Aw]\TXH#>y:8q92y EXz`]ŷ ";Mo@:`N X 1g
w5x:R8Nn*kIQ"oڍkjuc0xU.!oEX2X.\(^|#)i'rKFC2{?Z7p(&yO+Ѳq7o1ܡ #i*Ѳi:B8_]E7^DlJyXr3,#JWqPw=5qy4 N >p+:{REl Mlg{
Hy Hսϼ;[p!dt`B=zH;
/N ӒCW SbZPɍ2C$F_*<Ι]J̢{ߌu)7DbW#ЮU6K&[ eY+\[4>b~'x|o
\7if(,O!}#0t4.4gTj>fe,X@ vf}^hvXB
6Uk EHQn
:JCe
yM'uCMJ5Y+^@٧g675vBy+mwJAu3Cl/8H"_~F}4Kb@Ӫnm[cw"#(p<|]x:gO`E% M5Ҕw <@á^V4~"7=\K.o!Ӗe
vըkLCX~{
Gduj:i]Sy;WNFl4*8ȇ'}wSLG@w.Y]gkm3J.2 $_Aeڥ3=_(ÂPKaW6e9'@Ԫi%-UO~%M$8S
܍@xNىxW,3Aa
ϧ;L+=%3@qN [1* S[vewu҄}26
>q ;1=
ϣ
fQ߅7mj:Y6,a
q$'UL.0`yw:u2IK)({h