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 ]% $< %/ FOL_Harrison:threads=2elapsed=10.937cpu=18.448gc=0.524factor=1.697zXZִF! $ K]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]V4)_q>AҐGD6#H7mI۷MFNꛕ7Aȥ&&;f /plk&tԭMH=|F.FmZl,b²ɌfYƨj(Ám]f:p kG;Sl'lLː!b,':[OU&4ڹ"]=ER,P }@Q(O.720{QN}ΕB:=1pv TVV8dD]\muЈX'2hwiqj9?kŅ@O.07sye͕UW\n^9t,C%i 4z#7z~={X;/ [&LIiL#q$Ic<S:!9^U%wgŴpǨVUPF]äo7̈-#®$QD7#[jͩn%amWӧ92E?L=)s,Hٸ&gYZ7zXZִF! <]ŗXi%s s~P`Z2^Z ejxRqo ] {Z9 ܤZn-TnjGM~PV-=+cVPZm#yѻ2PmR.ᲊv;#^zfByNc5Er'}ɝԒqȚAqISًF+9wRƷ<0]x ZM-_}08.afڔ"7? kB_?"ǔEgB*sqQWsWg$ʰ+ p$n銙'Lc <^)aNbHB>o"Yp76TY B;3ԧ44&kE*褫S=ߕHVDxyb{j{^w-|3D, .) hGLC=zb6R##Lj̤)NхQ\lrnefs ̱.#U-ЀeQ"&8^f91p/LCZ{gHu^Hoa=iZM"m*t mb?MJ">)z9.G];L[rѥ d`[OfZ|џJWK3C[7V떋WHzsfG.U7&l܁1wp!_3)tV&q P,99xpĶęlC@89fxI+ϲW#덆2p26syq;D> XG:6^ԛ3iso6PoUb _|Ƙ;+>i907O$8dST03͡P!g_?J9y:gYZ2416511848c69b845f7c8a4ec82eefea0fd138c9 c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 c7864d452fb7be488479a993f5068e3a5ece73da daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031cc9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 % FOL_Harrison