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 M' T ]S Zeta_Function:threads=2elapsed=13.321cpu=19.468gc=0.524factor=1.467zXZִF! B]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪXeM+%^.<#pgYïö|<s³i',I[{> O;#.WK]W>. 8x倮HgH&( #4V߻S+IP6w:D}TA ؄71b>3P!:NWSzwGZxtUNߪw$ozFedGNksH0O(]+Q3{gYZ7zXZִF! c]ŗXiɟ ؁#dԗm.o8S0{Lf]rUG!R07׋Np2)1H(t9& 4tǚOײ%BxJϢ"#D!g(lៈkߎ0 ;V羧d*=+,;'#8@'ۢ9Au.Gzj1S|4GI[^USB)æQ/eY? ;}W1jQ@+"=a:W!m()Q{#sX 1Zg?CW!!E!a{@[X_uaۀ>%&'$ޔ^ʕŞ3^K庽dbZ.?B-a֏ iU”AyZDDiT{M`$)LQkFu8_+lRH֓8Gd튚d !hҋuf|Nԧ64gu )ILv"I1=nP(|&!Y7qhr6$fWȁ'w,@ a2îDTu~`@;y&nLh8yD#ZALĞ (dr(8hL6` 18]-H#kE}WsB[GK`&96{ yt3yw!RUfؘoO C9Ɨh4ޠZ!xf)&>Y4\tYk{_u x׽A$zU'U%]rz!N ˆ暵ss?,@t(})@`RCN""tKunHr7 |i"hb(ە rrXګt?т>G΂=^8~,ތ/\J H'q %N)6Vܨ2]:BX.8gY[߾A]ÆAiUih(ey PUC7X!tK6w7D#P"_-ȭgs/°ҝa;0 nP'Y6Zض_S #gYZ2e5d956522f378c23519ca40c4de976fb4cc41b379d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 fc755b3981a58e3ab6e234e516a386fb4c8de4b9 ' Zeta_Function