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  V-DL ]% AutoFocus-Stream:threads=2elapsed=57.075cpu=102.284gc=2.088factor=1.797zXZִF! N]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)hVŽ&8TIJ %miI+yʟx dp{^0|,BLP B:yy52IԄ8&\eEm}f u@84 ]&,v(X.f'&bIB,_Nֶ>!ª-Tnj*~x'ɄZkB _'ʋ! :YG%*- gկ>-s5_.\F ()5i?[۳&gW3bgAM"p,x !4Y8IKh)&>+' TЭڭZZT^E(Kmףg t\N">2Q\$6%9P^}ԞLR qo/լ.[KY'0=@`ӭzZW BEZ`3QȌ%e,(:`PΞ;*a:c%Ӿ_IG鐟|5',[ݗvOɠ9)NAMZh_8^=P o1f/O!v<<`)2~',b/s;7fSޘժƚoWir`oDf~O++7_*`$YO4z҄&KzXZ5N8 Ϛ8/f&]e{/9g%%;]XmҦ@qjIXDWZVQa5:ߴ5%^Uտh?n(?cć>V o.;mҩgMPIoc0o*sd_84fD? !d - AutoFocus-StreamK ')P3ОTPcCق,A}PP~hk0:h+=I$뱷r xK ۣ|$g}iUL*ݸW[%Mu1dLb WUH([uQfЧ_Q"u'Jr?~ر ly'0)AoI!eQnLyU|`c¤>D|=V}Q6 $s[^ɥ'2Sձ F.)γKJU$01X>s5V0[)sÏ{Ggk97G.->SU­/sR.B.7bY5c-gYZ7zXZִF!  ]ŗXi%ή++k|Cb,nՋ9!iq˶w0/ P*-[鼭m7tv1Wqɤ(@BKVyp@&,BQ1̯,u1Ž?2604 Ap5/OX&,:= ;{%3&!Kt;ЖBJfrݮUC)OQ By MAob#^2s#ja I]E+d{v%<[LEE7ru<.^ފևRH749Rd8N<|[/؇$Ver^V=7[V09,s^2u?#z l䖜6dCpV&Ի@X0S'iDt!1iFmL0M`x{9!c!ȝHWM?+`$GLKObmR*+7M;a t|?fVz{NK~4=yOɓ pI#kg nVYؑ-dKӬ4"v(Wd<bEozӷ?zS [3֎[7xA~\;h=0UDrFBgə ~w.2Z.n@ј$ݟfiY_vWaF2G?\Hk%"yvND+5(P_U᙭ܶhNn}4c%Bi80v_V>0Mpu6$ogȝ6룜3JlтHV7QDH^zg5XӌȨ_\ǹ ׻^TaK@Gn~,, mܕnndVTQpp1]\Q31)niĀ6nHd]]U?8EnUĎ :(b$6$D ?ng_:8nB0@&Hp]hRt((&~v-.6} H4ÊnB! lĺoL ;p?o9F%S+_L|[̂g|[Kq(`;#DHDwًtc }_"emd 4I.o(JFD-j`Ap,odI>h]d;8 oŚdMqm|\5U7Uۛ-ǚԇ`Y毁HhS]Ε5_qM#[UYG yz]IC C{vttTLThȾ&qEGx2p ,Y`]=Zob0UF5ʡ5ǠZ+.蹻_^1#'8L:Z~#K4<O% %մ,-TSj?4I.3|Vt+UP-i[|j`D, 3/5d{GXԊ'N0G錽Ŏ[ĘU>D=>{}FǗ#)YX'c"2.οϜh'w%q#SXFgsKW\C#"/_!{h80}UݩB5\A74ZB78ymOyX/A|DD٥pS C[j߱9&e>ADY̷E-Pc^*$=rTVR=sB5ő8"sYOŠs4r|'ڈ0Ƣ}<HG{եJ,i$רmIN"HdvpR hݎ_VS&%\>\֫L )1TƑrwEU-kd#2t-V H3Ox u$}Y`;RB~Im|m'\^9l􊃰^–DWVvKvml #1OT|ærVKLyc86u\zl)xñ&EL^U2ñOψKR. ^RO}xDicBKrZPʖO*{kA/cto+~glrҙFF{6JoF>>yAdU Ԡ17Jch#ҒB \9*ȵ-2s\oUOPBv hiHAgYZe77ccb718631cf0f7832cfb834b39c55a96e125700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 9185c19687509293b1104707d194ea5653dd046d 57f1d4835bb0e10c82dffd918fdd4cb29da6326b