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 \
A;ZJV1 dGN+7QFh-&'!1K]çB|.ԉĂb=Rx^wV0%\m/o+r RzЊTd# O{d8md`Tw:J66͉y\+%Ձ62W [av+[L<[ U.O]hr$Т`m رlr װiȫXACt.Hʍ56nPwc,>~ƓL}Ϸ;Up,>zAݪ-٬QPcDƤgLq^LƷ~I&xä%K\Gq|lf@ٴֶ=Jf_JȬԌ YΥ+fh"7X9[9:%&RZ銂&i(w hYt KBU -!@*9H{ :4npi@ 8gYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉ@fmyB2S 5) '4 =5j'l͢5}j\&p:Wݎ3zydLKVJzksư{wn, Vw.Mqia~\m7<ɴlX7%~Y?yWk)^94$n$G.ʅn9"6'A0J |,\ ' QrZL^ADba\ժ?WM^{ug~r}È EK<]vT|k\W-|rDQ_N%lp=DC.bokbS<+qoex[ު(@S WqsZX'\?lez%P0 0(/ˡe?{wwOкQm!c  <䄬Z^ry 9h1 3~dڑB| [2-\<6YmBR$-}ۚz*0 v]JPws=Y^bԮs+80JS*>b2 b嗺= XVE ~H"qծ,q>!7i7?YL{l#dR Mv.y~>bi%.<3·JNzW>U7ҿ,ӻF 7⍩jdCZ4dkpG$d2Ag1Vqؙ`wnss1;4 M΍h-G}NPF4@=} Yӳ1P\3#<[?\ . r>x&uy8'NOdh3h]@ ɿLۧZSZok^~enReTд24tQmyFt ;b˕\ U:Pzow}Ci-Q +%P;YWP O hX̃";Ægn"#t:/2f!z+ދA-mVghd(NslF9d3// Fj<ޣxW1䠉Ⱥ )w\ކ紜0zA8Zf.Xiztj!8WSZo Ճ*/SMG+E\D8j6{K#%)WթڟWAS|4l}*mp hG5o]1둾x5ŃMG t|P鹹LIi2摕%{]QrbΪ~{h '#AP 0?=stGH ˲{]e;4oaFjyq'/ؕLV$q2'(?3'd>kzƋWK4b4/#pazGx5qO?nZG#jS\o!ά.R\<"VGt۸C`@1ă|xP&g3f=Ěg1