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 $% |4 II Stern_Brocot:threads=2elapsed=33.268cpu=53.672gc=3.572factor=1.617zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶWc _?]ڑz>UUPF=6ur}.UDS!_/- 8Br`+c6}U$֪H@e(C$Kpq/VLfP"keEye'gJ(2]!zKЉcPGt_81WjsQ<`'ؖܺ: _;+\H[t]ZVRl-dT 36?(l׭GķĈSNUadz],U1 O4GZ56}gO#2j2@ѽB8TJ0(x0e; JGa |^`+/%hޣ:!t[mc^C5'j ErlC1}-{: C.+P_d-q?~@oԾFʘ:p%) SaΑڔM%6V]03xސ~S9_ |P?HqIm4ٛ/ܼox{zCo6i{';@ I]j=0Ud"ʎZr[w}(e=S r?dBLSb<s CU\M`an=f/l4" Z*RbF"OGjt+8Czz~-0/˹En[Eޖʏ#tv6#NrվIXh-ՊJGR)Oc$w\II8ukg t z@f [)ڂuկ\̅I(%cw6UDXA=x>f[C+)_m-[}G]7P8o}㣦Ռsk`trjw١6 pxv*:1Y 1MCF&}iMhf =TRO~]@_x}+^X& jþbY{Icv\!$Utu[ ^iy23*4a6ņf)=Y/%Rg.EIٱ@ABc?D :,BCfp G0>zɫIr!g2n"mVpʹ''%OԉۗYW]bĝN@(ՠ eYu*C Ѿheg17ю?>]Ax㵔}.MI`8;k %*O ysyIy%5%Mx^h@f@LDd"bKITZůBЭO~Ӣ\S1D'lv/^J&Kw~)ϱZU6i|-]H>ۙ"r74Ϋxh}䇾yqӇc@`Ž|I$NjI[~TIi%P7[*j _a{瘸_pW"``"m04VsCCsӔځ2-P\J@335αgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1de4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 0c69e7ea9e00de00ffa65c0625e0990adb806646 0a12b1514d1455258d1546c67f55be17ee9de36a % Stern_Brocot