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 % d\ %S Sturm_Tarski:threads=2elapsed=21.230cpu=33.876gc=0.524factor=1.607zXZִF! ]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :UYìU܇%BYX;eDNŐ ~2 H`n{LLL ?y&Gp# 0jVXPz' ,N+LN6-y|Yl;IMpaI{M |dے brmF j vQMT'1kJP}np C3BD1E"&lNox`T?,v …)ŗ%5i'Zwފ wT Xv:#iF FpԾtH3[jZ"DC]X7]޼@%̺ÃoʥB&ލӏi㪇p]UT'6pt;Otl*(?gYZ7zXZִF! n]ŗXi%6ב 0};;`> %ۦS /8q>Ɏh,>I8`7#BwO..LqI\,|Bo ʱMTtwuImH僤4GJa]}\BqV;LbYA6N@A|)HaLHezc%:sSJ53{G|[s ɀJ؜1Xǀ:?j Pׄ?6Z9%ƫ_Iu6x{u;Iʘmh>"a>O,,̀+H@*Q}`✃gh޵fO c:_kw ޡ= i5Ry h.m`kϏ&r&Fq *kXU>y+ `Z9Ip0$$/D򄶏m5B)ӽW5E 34Z :ߕ n ڠlJ1#f|(\ՂjԱU/0seO  ސ2q|/4ї ĚW_LnE0ņȕ{e*WƬ4bh.l:m) >C=ZB}JK'XN77Z}MMGTTIT;_W_g;Tkd(\&fo&>n/S.z+2<$Nΰk S?XǍe=,,~8o*溢D2 - weِ\wyv:Fߓ.Yl<.zX9U~^<+,ul >h(FIN1xO}D{ͤj SJ>6D |2Z$flA:ƼMDW !K2?vVac)X UKJnY LsC[=*Nq 8*0p* 5UfξZ hʦE͡2Xk*꧕Wb bBmVx;[|$^&\l_Jm'Cnuxmt֔ʥsP>Ey#gs}r_%rNP+H A|NF3$c )&wy^FF-:D %bZ\Ů왭5QhOQF/34Qj8QR:rPa>̧ekY@ȸeR:5}ľ;E5B͎NGKUۅ.bP y!xbS rLV: ß:mDd$⎹IDYh[ǡ~Uw WdBxR]qD'^9OF5F3=]FD gYZ28ab9349f9be4b74f589960d4975586ca3d3aa47 5bfc6c210a6408621584ccaae9e84e3bd4af7643 92c1e31c258336fd9f6fc9bcf86ce88af6df0f71 9d838eb0ed4067720ed0cb0de84198246e74d387 d7a232073248ef822686aed382d19f59323e3fa3238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 662e2c93275b3f9c97faea279c1f2e9b30a29203 % Sturm_Tarski