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  % %P#T< ]/ Statecharts:threads=2elapsed=68.916cpu=121.040gc=2.836factor=1.767zXZִF! X]ŗXf1-/6vR[]f])_١Kh-UWv h!xfh+^ (E>᣹wUt#aۤװXsΕcWh |Vs> zs&;^} ʒ^f+ J/XUgQ%н( A!tLʖA5GT{\}P\ʳW(یODe3^x(CAytE2>Xi]Gdk lgozEؠAan޳ĴMH%mziVvV;#kѸǬ;`H΄qsr=EPx_Da44H fm2QXsBm‰ G'x Ƅe,u@{{:SֈoYSp%4nBⰛ߲!YI֮w]dNchća/J^oGUu>B< )فlKWJYD_#EOB T6V~pI(f7DӔfV%('vINx)[ȬngR\l f\ 1L3_u ߪ]cJgGxĹH$İ7W3audwHEհѐ{k->i^R? zr41_%o$`3JX;XuAλjAp\jG҂Տ\ _2Cz1XRfz&*JFǠ-]0r9,#熹YNY}(U+2 @v8MlP;e_LxP sZ'YwPH61!v꾪i^W :_?Y.Oߋ$ SsU ]b%]0;|u7@}nFEi5{t:τ' glt\{k_V4#qQo{kԻ'hyohl4zӦ%#G?wz ƎudӋ'#S' äb {[[gg5AE_v (f i*IA~ה`PvB?nКfut vg5KQgRp`w<ﳡ{hkn4:Ld`bF%F eȘr˓(,[#poSOݏ`ޭ4'ڞ J&$r0^N`6 2sCC|_/6bx@./~%~dݪuiI~zaYdytzk*78ZaqTNKr{\^PڥtbHRH#[nI/~ L>A~&(G-P`v8F%Ą'bM_ޜhIGzmN鈠>KK`+PI wR gRu]oM#4xb fGҧK;zC"ʑ7ˑk7(kWW%PhށCH)}DL{ ~FB*qͬ8 nnL 扪.Hش203lKkuлUwAE߭h~opYmEa򋗓e#{u"t01Ahi]MB3p;2An@+qv.||g -d#Z"榹oa`O(9cknO ȾGnjO[2q-|,FvymXb[CkgXã'i1&[o* N8ԜjAX[:/>H.&z)oE+zZ&-iHCAՍ4qsf=7†.)X/vߑâF}ֺ@+ t> %g <"U? pFX7@yaΧFHkzO%_G lo-\Ӛ~W$"p x,Ycy[wZ00odnEsYIHvG+3¤B_XgwlOr`7@د,{w ᙥy\d J-A睘\*cd1#ޤXKeIt|A5Z:.`w`3}-K BtbQ3孈20POf* 8 Vb1\2i2I!E$pbGt6xIyU#"$g{:\oH5q3.h)Eҳz/SkYn) 25dyMjWH w wWdus6O.$B8|7M>D@勻 ,,;>d/Iu1]Q׏$_@9䪯Йuʡ @x I+1rRkQNw9Gĭ,.lNC&9e9Ezh՞;㯂"ej Pͅe <V3Pmψ%%^MNʼ1̮X +l[ulmm{(x dEΓ)e&ŗ4/ {}\},9M5 ހ! Ep{j=N[)mn瞬X1i'?Rs]fD>c~5#]V36}✸u-Jb T;r `sen|qR$t=^91; HyQc)xGa|:Uo_*ea>$ sSBS#b{$c54+rjⶥ+g~e#Y_ݶN;LHLX,ʦrrnj7ˮ*+~ɗHC{)xZݹ2& {? :ŭJQh<!b0o՘fW]sK|2ò}v]N˯U~Tsmos؊\Q (Q0C6)4Gҁ߆ćcdA4M>pFQkrQuq%p~u5^0w)1;_Mϥ<sY{OyֱHڎofw`zHЙǝ|5[LDCWYbtc"O)g0_ lHco\TLkۚj\*`{O葫HM<6W AtxKK*C )ZhPk`./} *0Gw֯Pxd/os5teJY+#RvKo|Xd\t8Gsd@.IdAϚ2zERUwQ bsA8[&|f3x_zL| pP}aVv^2RRYtk1[:(j`s#AЗt9x"[- "Kr7ZȰ'!sy)jIamq2w5o(dۇyonDhw'*Ma{)MK>+V  S7j wn̤k p?\2J Ḣ()ӊ\Qam @6H^.ϙr2R9༤d!5uVJAT|DDf('w,L}PзB -8i\l I0;rQ`r4 $?!X21mQn D)]cm{}2";ź2"m[z}IzIGr'L$\d'ro ]luwѯI(w%yZwA'S=)JyxZ>#ըw{7JNa&eZ,nDGڇ[cԣ)CܳcQP|V\-`W/ )  A TI/x+Sp5h3O_il uWc܁Fys~ϙ Uͮ=ɧa3]D_O\IO7?^LG_/+.Er!n 1 y y7qjՄgYZ8f4aa246e0c25698675d7f735741ea0b887e81131e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8