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  a; $D m]Stone_Relation_Algebras:threads=2elapsed=59.710cpu=99.272gc=3.164factor=1.667zXZִF! :]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQ"fdt>4QKRKC#D+ wȹ/8 MuhjDB(|cU;vd&k k2Bw%@#,q.&OHV> ohZ  YTbuc։ ?,O -.`3:bdS^ԱTW jOfiFa\o0̳z-Mwݴ/o!fh{xHFLfỿ͠"~] Vq| 냱@'f *hfùuYmQ pvdYs$1 ڏN$/B`vCVר:-is:'&qS#n1 '{r=.:ڍU83?5 :UbXw#K? ֙jLRN'Ħa*1?w]A_:ty;6Iܙ(a3cV;GSr3qa2U77jhar rQG|N; k'܄IiCcnݯ*S q)qvV5]' "TL` 0̖*dlfYyָT濅aF./ #pK|8E ִ>GʒO/ݏ,Υo(~"Rش|mKgD8\76,69zDOYf:K:6 P+y8#a<Bw,x@s{FUb+[]nOd'jTay.Ul?URZլybfǣ͂`+>uy1pl椌6gaHpu#ʩÙ .ݎMDQOGU +8O.p5ܘ +Z,Tf&fgOְ tR)VlQ@AD4EF,^@[ѤGa,gɃ&[vM|rq&f]ע'SY󇕤(lr@O5hCO8 7WQ iY4~;a+Jx>3eI`*3_zuϞyzeaҷBA:AmXKt.O u< ; Stone_Relation_AlgebrasgYZ7zXZִF! $ ]ŗXi%6wgؓͤ5颕,Yq۳vSCyqC6e.X.bΌq>㺮0_NQz "AMTGŧXyytѤ{y?$LxTA8Bݖ&^u\/؜&5bRJXJzj+A_7f~K$;R])!7O~}HJRӸ࿘~ڔ]gYNVo!k-NQKބG7Vѷܾ{oĶ92dg*CDڒ}bw#5 ܽVrܦ;Y.n `t=lZf>\U8ȅ9d^OcPR;"ΤSOGϞ\#9os3IBso+`,`dbְ1J9fJ<:'Cޘp{0opXDžkQuijF+Z,L&<_Ll|Vl([r Ty!I : Sd~/Cijl)wi-XEa#֣fϤpg7Dޛ׬~-T~7h)-N(;jy{ϔ@踲~[UW>|H+ #@blآprؐ@hlG'ЪSV2!-.w9 fr[:AєXe%6cN](W"2$ZpLh-Xɒy~rtr]> ؔ3vwMr`vv]QUɌyGG-4}=7{tr Ŕ4kfr}KshNaEG-X9ų~8SmϘp,rzJ\ӆk38WZ_ΎD%[@O @6qeFTɋ>/fpBY ڣNFJ%yLB'b}@#r Q+6)W5k/*vpUg">8Bל;w}.CkrYl,V犧sm;t[vjrh?L_t]Mc \ 5yB8p[c&?l- G?hN+Iy'iAP@Odk܃ƿJMpwf~|[/.Yָ轿1XadÅLS-c-&4<̍¬LZje%i_uCh{t"t:SV& 9e4G``,RspP>i!P,H4RN#Sq#C}BwBVH$1\:S(g :U6ܾ]T^'(77iM]̴$@3ɶN%=CsƊPԖ)=-Uؿ;ۛˋϑ):P=2Ku?/`F:/,V =c GSز ]:byb ,4W]/ˈZwPnr.Jl.",ꨡ7H[TY>{5tTS2IG׏0#FNs{UqTuȎo:ԆمE0s"i1u@Nb>")p}+@=NB\0,ǺjL8 ܩ?A rIøzBR4X5ۜ1Yg-m}<` q~ Uyh~TJ~xUddQ%ڣհLvs1i)hJ)d7虔SnܫSsif׮6/.6iŜ\h .6}Aog ^$:su 0LϩT:^qѤMPgA,et{Jlhxppgn+;q>Q vRfЊ $4gOG;9vs"jj˯Դ|fϭj^>?żKrXWKX&j P…ԵqW/"8؝%C_gޣ7kG+ jvm6ܚTۼUI1 N~ǔ\ڞV\ ‘}5[q?c\rۻ:w`qF۸ן|!(r8|9;QʊGp<f'?BiþѮ;jݹCDڰȃ+ep_/B|K/t,G\8?ʫ{W՟N=/r#}Sgj|ެ  xȹ0\Z o^^vǩTvz,WZ3v=c&eJdR:z`+ْe˴oFOͻmI¼5;xZv&ueDŽlVQ a5ֹϭoY&- yޠ#/V1awV^%Px޶A,E- !c^@ 戻bJ8|(:> ]9?,PT)VgEo󠑏;ߑpw5ty|jR5'vĴk})ic:ox'6>2͹KbXлg7/e VH3Ѫl9[$gXDYJf]s@