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  S S"'l, ]w]CAVA_Automata:threads=2elapsed=73.541cpu=103.656gc=5.660factor=1.417zXZִF! &]ŗXf1-/6vRZxY{"QhEA}ξY•dС x@ۥ1H !lQf %4/]cT_-Taqr/ nI'""`5yI51@ RyE[њoEo:" i&-#P#C9МXXhiWA]`CFKC!(hX+2 W"9g3c0WFD-bbWe2wKFfBmXIP7vA`^0޳Z@ ]wSGr0~hK~7lȂ< ii:Ђ# zZl<5XG m&vmRTU~vZx~ؚ"_?%>&fwJ07.*մ 2hm͹Q@IBlϛ# BJ=/聎{zA=Oj\q'HFOCLeQX$ׯE-;ݜpsB+G?r$`~sdi+FjR%XR:"F`捩u)qF@M5]TYZy X=;pUS‹+VsJ̬:v|Hgx$+TO[!,ۤm4n(v-%NkߜwLԧlq?#Z=/y/)ۍa:^4mfۭ8aٰ-r7/&7Hs(eJHw&22s!gAmq̕B @{]}xa1*Zܸ&m崲 "5(_ӂ[wa`f+CK#y%8ʙ5e궹gKE{T: ,FZl4VuNtcI J[ګLP"ZרŌSdgVCj^jV@-O79FcHa岭]&Z[%!7reM ݷ^#U*H|d^]2Z~sȱ YrA_=el>UU`R7{7eJ%$ }Iz >9#k4y߇>kA G'_ $eqg0_ݾ.mZ !Xᛴ~:U"R\Z (]T MeO:pWBK-ѫz}wWrz Gm 7Ai&T5+F~찌?YN3Sj߽Tv6Pk h3oQ|}3X ʁjUkϖ 0!Jk nv\}(i4A񅏾\O 5BoB\c) ࿑2`L`Kk܀DlLwxCT ^3Tr3:KnKxfLiCN"l\ v͍.Gt^-56/"b}JJr[4F`zĝΠ8)y^Y^P@cDDY*E4Q~N$nqD詂YH 6?ŮtorW]y3wBg,̄s5WdK"}\|sŋH5̜}˪+Ilkn?:gL^]6( DWP]V>yD|*^#~meJO AE2p-TfZ!P 3PF [/\0Tq?u7>Sn.ఄu!8^bmI|#PP>.e8JE]GmvtoKfRelS{txSr?!:+W5Wc$JjRx IW<^rl.G %sۭxOW'xyDȂ<`_(zt[a\:9R"܋u2Sw^.h%1@r,Ud^5,[<˲|3 ú9pp"\ڵ ]7/w}pxIϕ\||ow Uw$uwxtwJh5C/nqaaM%6uL ]e֋dP#=uU<bbAh'8&tvfq:%ߠieX:Tq<e:Kpt svp5]z. OQ)$t{4(R⢣Rƙsĝ|45< ʆ6Kl) g>Ն/o%G/()E.OxDSxEo(.Z>I,czbZj*PBFF5>H1q#aoXHu|Y\%JJ &h@XLn@5>#Gī+@IbwG?0^,g(:rHZ?G{K3f2i# = aj}K섍;{a]MƈcOkSB xlKgz'`R`oWU$XQWFkjjg$Z{!Lo '@nliq;[:&ɭU-<ʢ*E0QAGZ'}펄I Υ4z;T|$S1t)xtTc'fHCBW@Al^o(I tbGpsRmKB&#N:T˄3BuDAm8PD7pԕG{k$O5fja^G'*;إw+@K"|3 k>aG'@3cO!B,Y˜CB p$q20+s(+?ѫ#WVvW=;B;vHՠv֫98]等I'B!y~mnől:":w]/߻;[|{tXFY$.mP4N2rSBqv{CVRP$*7ebtޢNy#JԴ*D;W Nckh=_"l]yw3(~M