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   \' t O]HOLCF-Library:threads=2elapsed=15.216cpu=29.652gc=1.120factor=1.957zXZִF! { ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S#E+*ՖUAY;]T\Mz~U!7.h{?9wB^b=kAQX!@UpWsN-JHwgHx# rP ϥ*\]83lUәaT8j(BJ/aiuƻLR80&($æf/1xUjO%~6O )ܕaOe ۾ojC{[wE"pu^VZK\h4spƂfme3v}UBJyGO>$`lĤcYcwR^fFj!V4UCLMy\.-*㺭J %;G`̹јy.@kRo=g HN̟0Nj=(I);n0 ' HOLCF-Libraryy.06Lps^Ev4 3hb.wC)|H!(=+ԕYA-+?4-8! z;J`l \b3<^djE'U|d=wX6_LREJ8,̓ISA|= C[?ôqw>ds|xY[qG<$> } ""׌aP_N1vd!Mp䌹ו«WضZ- (Q9[JpQ8P3(oU @v(_@ΒP.~ZMO'8T9@jrSOOtIqrՐ \ӁU5"|LD2R-[JrKat`+G14Ywڂ>Y{Ѽk+{ T퇲f[ ׌HNC=9HF-w I|O =ny)qO[fHcwC伩߿ Slϰў26e|֬wg 3#hxpqRXo)|+w ֐0_KAh t9a<,bihgD]DV\h*Y87N5lhD PɾۡBA)7uxXL)?o4BGL#[BҎ.LLC$2rw0aWfH3YYIl(<TN i@/r(= o& Iy%'RÆ.]Itvv=3C<SQ NTȼdL#fht$] ^`~U5-%*KVթ211 rd3=!9epwPSega gm|y}T_J|Cx8F2pl"';+4B=+g(d"\'B\BkXR*qK8Xg:8ߔ9%!'P;Pnpaĕ| =eYE!yW .5W5kmFN%Ny,p;w57*BfќNGZ` Ҹ9dq Km S+Y%;bϠL/ dngpԖ<Ut[ M!ݮ=.n|TB(fǕrx3CRIAp=`!f:艅 WlϾ L7i=@~УWjmt[.`onK/x4@3/=>dE Q'nvթGLJLaaӧIuCo M5aib2KT2ApP- قa?P7Iլ^h5Jؾ |oa3uhϖ{`$;]%ļ9K # 󫞂?~6 ; J$ʹi .Mk~c qӣ^:7ط3@U hyZ:X+x~o`g@` l~I(o{ht5wzUz~mX _Td