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 TT)  | ] IOA:threads=6elapsed=7.226cpu=29.260gc=1.208factor=4.057zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh: ]֌ |͘6A A@DWtYi۸P D@bs4ЏUAl k+e(CJ]b$M,44Έl3ri FFH3) F#j %_0q0& [Y@I(%$~5WQ`ETl!S߆(d$>lؿWE`D.Yu7<`}*{DSLQ /p]QFթwQ]g_]vj%DU)Dp3oS}ogve mpR!,]l{tMЂ^a(&h; DKE3 | ! \ ~2+!RjOP->UWlimjF }VcFpgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$+ ѣ^ٴըdfK=g C;Ҽ acxN% OsW7CozǰO#QĹI~J g )А)f Y]'Eg]|OAonuR<9s$G4Bhv7,NjcM?&ژgE^ 8\[gYZ7zXZִF! #Tu]ŗXi%9#kcI &kr[bcA0e *:+Y{0[ш)F42)ײkd;jl-G'r4}) fN.0)FL&r)E۪@i qs"}:>o  /T_RþK2tO~:A%,]P=WAq Nl|9osءlQ~ͷ>gT(ld Ey eb 8 *#D8Fbld*p?$Ԙ 5̝ W.e?~ԻvZҁ;9 F@oX &D̾yߓĄ4 jd͟}t{+o1P6s hHQ Ǒ!SoU'F{S )j,}N}cߺx86odu jzp9&q,"$2%mހK$M`#D\‘|!<=mGX+T*m~k903rBnOߓ&b(}X8DyjEd 8#XZߵAҭlafMM?7H{QDh& ?ԫϕH^359BW{vPxBdJ.DGbRX?."bb(U&j :9b?oEx>]v-rп4 :cHp6 d>ⳓk3./W;_6N#Yv!{(W98vvT8glDڬz@a {]-{{