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 T4 E]Word_Lib:threads=2elapsed=72.964cpu=137.552gc=3.112factor=1.897zXZ ִF ! 5] ŗXf1-q恈͐7ӺV6 hD;V& _w]ӘJLU( Lc-m4QUF>7?bߊk5a-w' n1??A"Ad+smN+ ЃltW|O~`}olg;5^zh?{c}CGe,-N) 7b7V.T_ЫL=ƛo&M;#y+d~$Pu,QcywP?|闑#DR~|]qW.})EV=\g8}6a6G[ߧ[ݺ,2;o#hkHI}v#k2t b05kR ` k dW=oF ,dЫ5;LKNntŎI|?U 8t7, fdHDhQ'tuCȓ(7!yvCH37&31̬أ7. 4lܦ ֡w-1+9u4\]],`zt n VD&v0>"K=#U;]#]_q2TA>v1*[U؏zzz2!|rN2imo$H309;צx=5 _n*?JH (wsو*cÕP)` `ܺG<g5=X(x]Z!"$i\܆3<I[| bLww;|+I|Z/l1!δr1~:q0|)pyA$UT@^Bfn/c*X/E }d?ĝ[V[JcDcnT(Cog$JQz $&ۭ@ @ 5jұg YZ7zXZ ִF ! _] ŗXi%6ǣM-jZ"箾kBƞgi($ֿ$w&@P,:4&d__Ro"_܄:ZJߊ8Mow hRc|5ݳhU{^P4|RNנ 9|o`h|g&rdWJbјd' J1c/Ԅty?pp7Ŝv/: >?w!~ƕpdd6''N";CszoFd2ᡈ$#uӥ~AgMRg<p DUճMa]cV&IW[w>aeFCqxfGEbi)SeOaݐfo@U^C`E!!MٝXPz8(Y5 { оtȤ%YB+g-Ͷ6+$RGoS:!lAzM_:z$4`0 {&-&;ǒʹjf/K+F9ʌ?JFtK
MM.GܲG]dQa٩ѾmXUI -mWD"-!oNvB%y78D -9dY!YPy%}^qr_42UZ*a AȅZ8Eb˾nabe,[ځuf1 e7UVƽ
Word_Lib ><_@PPS-^QbI7)>g3<NLm"^grUU\p1oAi!BD^KAX^y$p]e,օ~"ueh7"+M}̶Ig
(R Ħ!/<$!*-n* &^k4,!;Zp_wGO3r}o';!:5 ǬǮ6jxvaR0Y*Sd+㲧kć1SS
Bk%';V (\Qvm6CO0Vܿ~B~a38ƧpX{08TvެoitG:9ǂ8QP Q~ 58
C/o'؟r몡rlȍNuR^:K{[$>,dd.<qTrJKȅh@.8%6=)Wn.yp(n)a00 ֩ e(qBuA%Ŗj#cwvkL|o{8o2@>1U 0?"h1I /ŴiBTLr2Ze S]QyiZV6
e7%)(Na2f|;!$ʹEN%@Zli|Ȝ(ǷMv.(amH8ӊh#kR\03Fnӟz, f9})q$rst*5R*~! l$%
2Mܵ QVY2,<ֺήU@O!eҠz?ar#}fA){g "_g*9AR+"Cuy<.)iB⋊iz5HXۺNtW:1)@a{s8U
xL!)fp0uL`"pk;է٤d?LǮs";UWǨ/mII0K˧)b6Xm
$"|!~{kh'MVyϋ