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  |4 ] HOL-Bali:threads=6elapsed=60.770cpu=201.952gc=10.548factor=3.327zXZִF! Ev]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PC%#ZJ"F/6)9KJOMf|y'4s3IIiBZ/bzc=]51a6+)CdN1䘣&y} Ȟ)z̥Xde jC t ^ځCȣWF[010M/oksb֢piG( ȼޥhy2t;VSΖ) Hoסi XKpHPg6uH\W9'ѕ>>3|"88!=l)/*? [xꃜN28.]N&Sێઽn"ezBV f;H JBs(,VDRBOf8KI-/"ASސ˂Ÿ 1 Z ʞx܈ 6S V"h-J|R;1!nZق*+~@BHǺ-b AX†D;Ȏ]Y,ch~4{QVfݟ9xdpS)5&[8jN:#Ф yrllo%I4aN;nDx w[Y$XFrHXFŴ2֞V:;$K}Nö[xiK6t d VflV`Wt$7tX+m>]OC֝ uy=Z#r}"J9v~ WŁ5F# ҫ5pb1`,[6]hh|n~ 8(_o@Emi#혱59tjnFM̞@i0.]wvWE }hv!8%j"kg-0D:>w x" |3),mi5գOrd޳VwF 9lG Pjjg}1Vy)ӸEKa7׷#҉a%boP]mć1͒<"\#рCW`iCO3p$c m3':<cҐxN6u |(uM+xȥhxQ_F^k*|f.G;.!pc2aU 0B8.hL)A2aՍ_2wjۆc\q+Z+B&uc{5 ڨ`%R_RcZ`Ta?)Peno](/g̔S'S 8F٨ST`Slw-ZR-jXz?rN$!pTy&yk4lty}iӜ2 #ڟ7Y3hՉv3l5-Gz^b=T>Rt΃SWnuI+* !p HZ cTk'}[] h,e?a᱌As,)ɐ"z pYcN4U(4A#rwl͢sA Lݿ'2#Q*SWG>/lzY@ԐƯHWQQFpq씍G!ȇ q6{m] Yق8QK熿*S'zO4 `f 7Z_lΩ{5;YC\$ɂH@LER $\W*s6ae(5>{@~ZE'YI7twcFQ+/VLc|TQ ul)-a|wSLI YPȭqH< %5/^ 6۷j?2S=\"y#erwh벯<_?ΧS2"|B{ :AWH@cR+(|?Ȁh}c؈)򌇵^[ը64NU}ŮcڊΫ*u,H-Mhr&y[O-Ck S’*rF+,Y~~1_ r;ئb z;ua}!ZޥoKcTpl$4kȼu|yOB[G7ѧQe\ѣh,QL8^_.".z$=0G=hZ"AB()$oJ}m6@v_waL&iR\9[iwIv6 OA4\p7,DxT.{GA"(T̤36Y󹫒eFk~]' =j`Ǹ*~MY޴!^g'vz'ZhbAbˀf& Dpnu䩘/*,JX+4^PtO~pfsc\犣@MCh. L<)Uwv5@f>ɇjN߄չ*ԋENsf^nU3_+"SM̫ZL^p?4=tQłkM|bB ]]޺>Om'Q٣iQxǾElJAK'4EnE%33 څ.=C/^ > iZF\~SSYљ1O _Xh4˴{f^"8K^n6[`\߫ܛFů<…=:C6K<lBM°:7_jld-; 6OߗO>xyFd0LwhaJ2OXow?mlx.tcɧ`T,ƣ*萵JUBltR b?Stʁcꇦ[JNq- Nh3q9(7 HD1tb (zxR}} jepvg^%DLsEG8}ɍ?8B>Sv$U;aGz}&uvTw閟 //j @`u %8HT$\= țIЎ9y޼]I]Eh>-Nh39|q){ ߷9lr: bjQR>r|e@=tD )*aiGX"&#}K8z;Ǧ+U"T)k !q3q~(w[ݻ-2"nb!uͨLǹ>$cV J~Axf##%R3T] ?7]\R)Sfy!!]\? 3,f-Üq%Y{؂!#{oԡ~@LØ?ê'xg)V w/ ̉Vi5QyFкx`6 N$6r0Zp>r@,p`]3j.86-.BլM pS]0~u-x+, iTwBF͉ -ի@h} d #g2jRiZjG<^<(!~ifn FckpuP* gICCrZrA"˰!CBgYZ3d344d616e41169a7889747cc71a40c81849fd6b1667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019 f1d068c99c2f76c530db5071deed5b4eaab1d8f0