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  54l Sw Hermite:threads=2elapsed=73.655cpu=112.988gc=14.476factor=1.537zXZִF! o]ŗXf1-/6vRZ*F"Q6G9_]#qRy!R=Ls9'"&CQPSgC4A/!Mq hCt7wݕF_/@[u U4? ט}ᷧt4 gg_B-hʞ'^}w>t%?JD^Q#?/S6˷=~Y3 %?_SA݂2A!iJ{\ʆ tMCb   HermiteIuJY7]u ASZ5L;gYZ7zXZִF! @J ]ŗXi%6ZTQ`^G=?4v=[[&W![P 5FxEot`:?a8D(HdI17}t2bwE) !-00A0d80X g' ך/`]lH5?Sم%[@/€pw#J(m $GQTYB<!Pfڪ$?aʁQיUadiWi6Vihw\AQevF"DB$q:Nǽ:5c,>/_פ0ܫۀG־(B>`¿4fv4U5+,PC Qi_-ߞ0.^4Zsr5ejwdu/!uC0GNcH}r[KHkȕPRj/*t*pӁ,9^,';͟,=\,VSh@m FiEVG F7 }_WeKp3„%-HL, +y`m;?5@L}',یpng讚;Qx8 '̧ X?˦M *͇j<MMi7o1_ MZc.q`̎q藩}1I.w u)-E 1=,{hL,4jB,;z¨e(S'V:cqU=0+₸b}nj跥#boYͦ!Y歬a:@lU.J2g#\qM װXUKHC+KP"K}hz ;zk-ZDۄb{M|YJ}V8˂1ezYGȻő[+5rՕn X0zit}Ԫ$7 hg+_oX>[m8)Q'x b)H0 ͉lI k;Xmx 0Zr"ȑ~%G fcrQti?hS:k/zۋT`&\yQ$+]B pemFXmtV;/ug;buDX[NEo;VRU"tߦ폛I BsK5"jZz,RRړW)8*9wrmlσRӵ>H~x2g 5.yN,ٻ>e-;]ZnoeĀo'{ oEs7kt? y? dUH5zZ¶>>Z?+OtO:$G?+deTHUؾBC2FڼI>x~3T0*~ ๰֛}P=FR z`dy bm13S[R/8a x5C s j>|.tVOηZq6KO)ŤȨ.$"Yya2s'͏ ˩<8Y$Rk5H+hY$#hZNО6 3[r:[sKRܽŽi~°Q1LlRe _",^0ߍ@rc"'#^}iЛhTR|Zy>w'@vug1µwHQv֍/[H(1@|'hހyT;*<:jb*p} Q,ݖ٠Cw7b>1R}ҌC-.37/eCmr=zњf~v;&ZI@OZQX)s `Xֆ r:h-}%%8K̿*jKjOܥ~˸0?uo {fZ$zbZi1Pepo@POx<W=YSv S# d|-_t@laV_EPߑ8