SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 11L3 l< ] Functional-Automata:threads=2elapsed=20.188cpu=27.368gc=1.204factor=1.367zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'.}fDvr{ IG`?.u&#*fha٣%c)[1Kalw6$.Q|$Z \gӒiұ$H(g"vJ7w0gZm~î\K늵cz*L"ryXMx?}Mblofz飍207-ev׳ܭ$nz0=,YB7az?שGsHBtQ!rt('sw)Ib$͡lT@q=ZBq ͈uZH] .}A=yl P*~Y1daN1vgJAS"35sh`1;tnxȪ236yLw;tX5>gYZ7zXZִF! g3X]ŗXi%6qܥc`.G~UODZs Fd:7| Fb !0dڌOߨoP$K;֤wحkf`G7hxĩS@([@;%c^"SL@m-4[Ѓgdl} [y]8r R . Z~>'Օ"Qܝ8ۤ/|f(GR iႶٯ#Cbh5d{Jۼ:r gFM ttݢKZ`ؗ '_A,oZQ,S*;:+]j<&hfkF(gd^NGN_t9'w.&f~TL=Zdl_t{F ܋\xҁaL!ǘ\/ ZEB+MF~spx8z/LC/,-ִS& 7쏫Y2`v j_$Et|=ŕ8\|zKde.9,AOqHAG#Ko#nh*Ip@Gaw*=c~6s\OcX nקU,\Wa4nSxZ(\^b,/1yx$#fX|K(#L@3:בn$J6 8{Xӏ!UšJ l,(S,g޶J^bZ[Uժ̙-Y\{$ЭIgVQ/yMkG9:ؤĜ'1vž FRR#n! YJ"""TWr.4EL PTOYd M 6ݡL0Mmچ;S7эHh*WNKP]^⸓fVS)wKp~wMSG8mk`j|;2]9'{pSpCHcͧocULZŗx*֛^^{QH}ny_9=# 6w/`MjEz7nF3l 0>_yc)5c&7]H'fu RUT4|R\̯k2U;*UʝYF?_x㪆3B^^>KpC.T>OcO1^ D-GkRIi#ɦޒkCn- *jd|jvյ H¶(u860ve)