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 T, ]% HOL-Quotient_Examples:threads=6elapsed=32.123cpu=46.496gc=2.916factor=1.457zXZִF! +]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1 RIE+ofɻ1֚:^`ZE_9m~ jMEd?C$-oz%] ش!{"<\.xhύtۺ!% QLn\AdvU{Ie"T+gmޚwBȔfȗSl# r3F,};|- e"RtSE ]Yji)8NPq qOsd9Rϒ$H)X>wѓw#Gᚪ(,89\}nP}*'_!RƵR?*BruYS- .K/swѣ7wsD&U? VO2s|V IS# ."c/] J,7$s_<x<{6x]΀/sָ(5TH2u"Z=EOEX&>|/p_B7~'p݋&ReQnD" PL[0jgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X͂F6 Qi[(NVj+w)h~1/e' wO֭m+:\LزNC +,"~~y5B>LZP)G- eZIqfUaPĶשq*6W?Za~5O7>upfMz ~S苳ϵ | LbE8"xgYZ7zXZִF! O]ŗXi%9,xh,^- %s5G _2:H2P(yD]SlBţ.$f.Q JI96)Av'@.4.~j%+_ۡԵ5j${i.@quctSU"J  ;Lgs+Lf֕p; uI 6DxE@呹mHpEm~[-kTS2*_f)3.zL ^+jB7uLe!XRWf]iѨi`e~I8D'IK7YJp>_iTO=š7iPyXyw褈nlg_*ǹa']74a )<`H:1L*6N6SKeuQy+aonzlPѭk\)x{8Ami8E+P%M[x1虚yϡ+ G& N;D1BxT%g_bDSAtHi?(S$D1)#Z 䇙 9"su2!lTWT0=;Vw$G j,巟uO̽aDv%(qIވH8T>;N #89b_/8q,?Y936G,E-֔yܔwcHQMnt$OӦ2 }xЊv"ou޸Я2ϼb%CGt~ q&~t|W!jh` a24e*)HhC3]1 !GcVʧ[%8[17Eokڈ B?rP|kEa{&TGG8x/n~EN 5yAgYZ9e25b0a8cf6d04580b75793c9d7b83794baaaa5bb3385753884b26aaa722d60ff4b4d3face84cc7b 02558fe24890e2aec0fd161c9c474ecab0a8f955 07f83328c31812c504ab3445805e724c3f0afc25 ca0c5c7362b3c4c4d77c483fbe37a8f9e55d0f55 780f16a1815da2e3b9300fb5a5995500d44b86bf 7 HOL-Quotient_Examples