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 bb)  w% Groebner_Bases:threads=2elapsed=33.722cpu=63.964gc=2.180factor=1.907zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0:ևY4Qn_G;H0}_,I|*_&|ǎjU u uҒ`.O(MbHQv:C<  bWq2(4%r/K?y^ 'ZɵoPZg{. ^ޫRBdz+3Eb_%蔝VdP{[~! b'c2ނQXeVrQiNdSW )Ѝg-ig*u2B8dWٳDziؕ:}|uֹ CnMHdԋMuzhRS_޸X&6 If$,"~ߞuFQ&Xtd6(C!ABM~Fk:SDihaWtO)?ՂN !̈.Zsu@7R{Ay嶝"-:N: -nPD 6ᥘT# 7gYZ7zXZִF! ^]ŗXi%6Soc|֠#;t߬D4-ܣ+{dq[v2``LE ,<ڲB\̀Kp7f"gzyPFMxHɾ GT{V|gbIFoj%W1 }<.( P'nG?\OQ`nrGQj.lۻPl<8Q.ҍ-{Q5TºlU$2k*HwZ>wBt^-y/(.& > 'I0ciNq)XY6? Ǻv:cB~ \I] L,r%`5ޡ\ݣڸaNLylW<;.PD3 DcSw^b \UJd6+xN͉aGkjL;KT>½Ul ]-.6%H A&p0R9j6}g8,$ȸ]b-.쭓g9v҆UԛnňaˣB6k)]`l:>Fr?5<];X$B)eȕ{; q5$op'žћRxv njeGd IP nۿ]z~Cw7r"8eɠe&sUg ~g Xζj463/dIR/Uyѭ nEދ/M@ 5TKlzW)JNAК8Y~j+HlKP (qJ߫ mV$ϠH11uY3H`h(/4.m!ܕi>-SaVPL (+^z097:;b>9:1~]';]Zg?TD;!nmi3&l>ރolx2^HH#4'E^8}mffFȐA i 5-@lK(qtQ; [(,ӘmNb;x{#.=0j'u}q nt\>wo0ѣuפutYi3|\d*v5>VײPh:Y9 Iȅ Crw?q+XHW] y#LYhsxwEe$h^hOLK~W8Q^iw\$DrHpXYʨSQc琨ԡVHt@ ^u)1h$ϷDE~vfx"&!^r&q-3K^9"imBS _h'ՐC4 XMԃAWk o4lM&} 9GP!0.<b准b|_ĤF Kl +>;@AdE;Ep