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=26.269cpu=40.164gc=2.424factor=1.537zXZִF! dc]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxv?;vm,sO}E bRw-!T3ߛ4,; RZ^W0A-0IQ\YeiRw-xRdv*bSǹt!oY$ڠXe͋ QQ[gIXn ]@%q$Yh)+4'-GyD{}w_|CEA1M§>H$c:En,Vdv(T;J#;:xyȆy GKIhlO\,3+0s:' Nݛ( i]\ \u 3eMOTb' sHmd5-!IfNoMY2/O &5x]du s-__6LJ'*P1AB^4 6Tu6xz8~Ň<0z@tIUjƍJC @Q389@&1T>Tk:6͎ Zy'Zg u#@oA 0~{rSE*jgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XF6" No洌׽w_\.uɷҐa FvQ} k÷ם1 t5ðG&Js7v$5"S| Y';m<۸q> 1M+@]oX))[X]-r N^mq˟jLEJ8Yx:ў}'i(gYZ7zXZִF! { ]ŗXi%9$rm&}j}uQŎ,|tX,$h /rjۮi,3j|xmQ&WE]F&\c^LA{j-=ڎ*q~AS.̘3U KaK7ơZbvK4ZDJH7qť'k#Y0S "6l[Ǎ EF wyȖRc5 laMa*1`H;̚/_W%Er ӹ,>u٪|OU*?/Fx7.Y;3V&xA4+b 6|u6 ?^k1gH~Aʞ۟jYZ&{\6[s6{h-EN vn掱2*q7Ɍ1^&|R1cM/Vi|TS4CLm?]QK*_UݝhW>Ǿ j#i&ʇ8nFbG$C'\MFrL Ţ.ǍУyXӤ{뜨.Ci wl`t)C+ZIj fh@ sۏGofBU0[IRW4Cŭ, ]nwlN;M Orw‡WV{[5f(L ը.b욋[R֑LNDM\ܹ֫09J+&!c6Y`Cj[&_- VM37ʭŞ3q$C.w⤦