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 @) 4L %S Dynamic_Tables:threads=2elapsed=8.388cpu=16.344gc=0.328factor=1.957zXZִF! ]]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґ}D0P7Z}1)z$CF^U44٪ o5 faH yaQ74]z7\8,jJ*<G\zSIqqr+YE䉏_&za AYܚBl-V0vVA1l"H빱S™Og41mm'yhc۠By _[RʃpR B8UydPRZ[Ƚyã{Ә>?)LBB?ɠb{N TFt[s\ҟq(p2?" I1p(B 041ǧ]N0s ޅmI>2 }D8˵4k6>qPVC L>R{[}A፤5.7ݳ>c`?jT_r[S$nYZ\?+I?!%˞x(9ƏXnf`ZOzdLY~UnTmhBP9/ܢ*~uϯ BUJ>}R*n9}[{(xF][C>_D?t2WnMq)H~A62Ưe#{#Ј7 n sY*2l.Lq݄d>z_-Ta_y6 8b'_4`t\}<1iyBi-R]c H=/#-MCZR6p"mܙV;[%]MK#E&X›0kYYZ4Vr9E%ךDhMdXWW2 xW, {oRۯ,94&[Q[t2-,JݓɽQjIZqm 06q/7%/Rq*hzpO7+mɜ폑Di+Q aUlJw A 7 ;vߒ$rRy(NRX˴<,!&I3w ^I[ DxKo_cMŴ x)(T/I`lؑB (MkZ֓Vl} ߀ttYm gqUoUTiQ) ~w[)+nQP`ڼ#hKkmlTpQ4\ײGz}N/3O҅ں>g;Ѿ4HfzVpo]WJMRa~o/e:\}y½da ۩bG?_ԙC\wev ==_ kx/ӿ<8sBn"ʕxL^s@?(p 5W,!s-YJ8nRh(E{6ʢ,\ Osu<5 o-04H7l]F|g-"j ` 8bgYZ7zXZִF! 1J]]ŗXi%sRY, fzoJES3 T3oٯ8B2, G:\eKuz4ڬy9ˡ {a*?^hi7˫ +L%T_:;uĽ <X^6:ȳ,!Z[Ol b|ӖnOkċPuq[{/_[OiZ0Ӝ:2T@Yױåht#ݚQɢkq?1|V8-M,>I Ƈ0 T#I H W1S$\aT~^ߪ?q"Կ%n@Of>%bԟQ^Xq^LqI`:=THzK8{8yq7ay٫=e@,,,sۏӺ](NXu >P /*T]kg#s!aōIZL/d ޵b [|[ō$/xGކz3Q6(uObgYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e599711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 727b445bb8961766cb3d6c4aab9b2d69f747feba ) Dynamic_Tables