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 !!\% |$ II Stern_Brocot:threads=2elapsed=32.581cpu=53.152gc=3.428factor=1.637zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶo!A"k+t ,yὼN+u/SvWCZ)3TݝbYiKq,9GzΡFZ/x>tI F:tK qۿ!T(9k:(I{̼dز<(pJms"KIWْI3JpX8ąC̑Hq֏_ oZ4T%]:]"gYZ7zXZִF! \]ŗXi%Au)i*Ȱ^vA]>+VHҝw*^.ZwQu ](l?LqvhnZB;9'4i{¾ PPo+IM#uBu;4qJWh +%viX"Ej,-h%c%Y9%pyB.}ϰIe;Gz¹9)Lէw/ %QÁtd6)'u$R)4:k?|&_&yiuw@ha,}j\LKrrHz֏AlkFxM ^mg>)VW&x*qƗHO>&lΫ]tZFPd@0 '@G^C ywejZ#y0x9e_VHǣ58^ qux7VYCGNk&~{Q\~Kǟ,,Fy@Pπuyb >dNpKs-)菾rx޿-`}=02η6 0~cL1('7J*0'v>>~$\]:PN#+"} C{Y'gHh>=xd\ uh#!,7vPey ńjuqtoՔY{?QtŅ1 urBȟb'Etω0͖"6ޡ.b^tIK7p:n'x~ik w[tЂJ7xb p~ol3Lwa2THSmL*T8byY4cO8rn WaFVeX6`v2yS>~m] *0c6bjWײ^'%-ۢX2dbzԗ ~GqqqX8nX*a"À^?p+KGia{{LuY"drú'Ťq$cq w`]S!uXY'2T\â!շ,XʶE{]rN pc\ƙcSx[E&AAOpXf0.5}e;GJ]]\BdG6E)Bjg7ΣUh-ܖ zƲ<@^R*?= {-nS=.9kEPJq?8(NΈUNN}-m]@e`#MBBZԒD?-Ye|E<ʸr-{< jAmEMZV ژE^:B eٜ8D4RiEcۥa~M-芛D ۱aj~)v}a d!oD2?!u'U3dt||T+HҶeycdCMZ)-Lki0Gοf/j\Zϓ>rLߤf/sZw@3JwEZab.2+}ljY`+UiiΓUl*>ud-~Ax6Ttf4}9NG>; ?XuۉA\5٘+ F{+p<0e@l=E1L uc?Uf JW*{dֲ9'@<ةa ! NēeD$n>$P=Cwݺ6dgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece de9f01cac5a69d3ab59c0ba8a05949184378733c % Stern_Brocot