SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 >7 44 ]% HOL-Quotient_Examples:threads=6elapsed=26.953cpu=39.952gc=2.132factor=1.487zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%:5:9Ch*U۳@(j 0,15Ə:ZMg +.`Za4-GOcB s|D 6P>Zfj(a1Kb|WĞvDݻϷ/:Fִe&6<8pXaX6K*nμK ڂH=lWS4&%PWA=P_0uJU .__o;lrJnuwmO@O]>քtbNۉDANY{|,? g 5j4Otpv<.HIfEi%$D^u.02G QL1f|L/`R e25ߎw&=r2+"1*LU4^({Hfw=gnYNB&K-&r9QN)if;^?b p15dc/;/q$AF@l3Pzo_ 1=gMߵcr8?\_B.3~gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙Xg`HY5ƢEc'q׃8`-*e M[NJ I1-Vl:-ᔄKHjWpA7#sʖE4vRCՒPfl`uEN6 %JSua7XfYs|-.a˕;M2 [0MA$C\gYZ7zXZִF! ]ŗXi%94m#=[A'q_Q-O p=XkȸwiW#~N׎2;*y|7g6W(ULΦ .$r2MV20Oj,lV>1E{X oL7EgrYݖ&;arxY#M0rVLY5ː˃O[kGSfDRuu8Ӷ)`rL"a;SJ﷩a;QtysLLR.7\El^U.9x݅ġn.1΅uz~0"K%e?q8=:|ҴM5@Ar У }uk'ǖFKΞ6hFP&:i`ghx:,߰JǏosU*v@s?7GnKJb\2B!w^\as--q|H)21mV6$眱-ֆ\op(6n(+j.ӝePϚV|ӗh#_DkrO`Ww ufx/*$؅Ϭ +SO}rů$x QKNݰX*84i W-̓P X&莝nBUsk6QD@H2ڌOH.7joɟQң Y،-0i0tc^'E_2L->ø/Hm@^_fL3<;RO6sf2ƭ[x VI׾NЉPI-K2 6  ߣz"`. -eSV+.'P +FOgO> mgYZ4ea5004e62c54ce7a5f8dd19824ead130e1701b84cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0 7cbe2b787552e2377b1e9e19550fddec8825838d d6adb3dfc99a1f93d012ccd59267e82ebda47fb6 149f38e2f2855a563fc2f4bde8f85e6f56397d85 8ab9c9043c1a1a86041dba648f9701989850ef5a 7 HOL-Quotient_Examples