SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ||i Dt w% Fermat3_4:threads=2elapsed=24.077cpu=49.896gc=0.872factor=2.077zXZִF! z ]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#QWn,6ռP<^-R3.8Fae[l kOWz]s-P +\(O ػQ}TaH{ju<еs !k=5 0xp2Z?Ťau"}Gٌ8+ FGSh36Gr Tp:U! TWG ۦzyb^9CwlpL pJg >cn2!ޒkbt!5(AȠ 8=sa0Ëb1 ()2!,ȟah7K!- $j0nA d[=~Q[J|M #L6Y%F}3\Ot?g52wV?I}* ™!O ֡wDD|alQ٫ͧWcr6o(XWs[dWu8b<+rc&[9,;ANצMyu! 21l I23! @S4${ 7ʬ'هX\)ʖUH#ul^*q0Sd5Sco69aVrk> MzVl6 =Mq*w,ZJ?)Elgm#x#߅Tͦ'VMS ՁIzVF\YNi (%NXEdעJpĚ)X&Ü)l=aiNnjȪ \5pZJHKxu/d{@cZrQ[PdL 1*cP%):ULyƱ4d-0@q2G.~dV ukaB>97l3 R]e JnY^^g mqM"/>gIFToTl 8)JSD-`f"DgiVO=3kx"TƀŗtwIv;d.*x~ϲy Xo_BG-6WqTJN6,HTJ$GւrXGV'ci!*E .N%Rt{vq'ÊZ|+߳GL$b4ޝժ  ,*v\awTzywBQ: / ;׶_kP뻃Ue4Gsm'ySK1*7;RN0sjf(^$NR-BKoIG57 "qwX*ܙż y}op9 + zv>)3+;^=Y)@?Q" bI#m j">@f+ᵡ#tJD ]]p#ϻ5U`w=?z4 \fa ³N|hl˘~@_׸+ͪ`^mϭ\Y?z+kXQu+NYqypLiEÄBy/IRX<{R](QK =ߧ<8LIY5S.35'QJ5' ( %hW5P O:n){ĞܪeIJY(,AU E OLODU&Sw?gYZ7zXZִF! X]ŗXi%r5R R{aܢ bN|(:<=G{R6sFP\[W]\*׸2/|ֳR>"Y*R.a6,)PPSNoN@"'aĚ['WܕC!u1U* fݴ5bO $i߸ irGdF& O8v A]ZB@?&ދ͠+FGc; ΋KŃ/ K{E<iaJ|7h{$pI6XJ8?ΣN5 )!^T^B/3ߘv\5q#A,;'?A~|mÄaf&:IdXexx`ju%Sah"瑆(>