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 g D s/]HOL-Word:threads=6elapsed=8.651cpu=37.936gc=1.288factor=4.387zXZִF! ˇ]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃p6r$kw |ZI,jB8(;3P׌'\2>D6H_2eWMeCY)fWzgFc پ3v_k_I>4n)AjTǗI = \"ă] нY[]DF()X3l!0nj%f袣ONHکc&uih2'9>ueSt>r:ݺ_CXnL``@,<횀-D$] y ?RȨ!z`3Ft: $@jTޙD&j{a ɿKIVMw˝:Pm{Z7}Y|3 4-GI,M `)Y{bmһήErqbN#rslMm;6{`KHL yނuVt1&/5eQm,vSx<ȣMs;{S1Txwt"xS66ض[ K1MÒ}1]r`gh Z.E|oM`p4N)}݊"܄'S1 |zKc":e&~1 G)":ڕ /Fм2%) hM h]Kϴ˽ox)lrC"* Bґɟ@c{*:H@e0b2m,/ 6 CId\ Ek#b Ucs_*Aqʹ8"]@=ОU,f`wWnEhe!K7ltZ+Q|A~*.W8k*]{P,=9駯a!o4REq J8O y=,Rt/?s8Xq;n"Fov{۱.wAU%]ctWO-@ɜvJl >R+LNCwLeb(2jGB48}u%Z ő0e!br?,7S-b *|mC_c5Xbٲ'PT֔]G^g/t~Of 3ص2ұe_`TБE|-gcX%8W/U(S&7dhka\xRŴR _ڂYs&:haVYlU*އ5d=т'QN]ޙ e.ЏItVPn6b^CZ,(m+r[OE2\4DIU/irû-&&%dH(ez] 7xXcB8)(?&k*E{& Kk<̕~y16 ne7r?۶/iO_s5p] &Ro2ׂQ%A"ӭXn*fH&DSds`[BLCQ3"Dž bWm2н˜>yZEFNxDv .vW*fE+i(1%,k}~ټU3FȀ*7s&hV!â| lJɺV@̘E<))?Y%!x(N "eM9H1U0-Ћ&)`Kڃl?UB hJPɝtHUu0ta:2v~ 4{5ש|:!e9x-Nuy2ֵ`bڣH&R1E_'1x=~K6S=\皎 ·FWv) '˿jkfm>, ɠ.d.H?ukaIW]"ԝ ޑ1,=7`?̥4PAL<SrP(0A!L^ip9 MDbC~ț5gJ@edsiN ڊs[\0^4&dS] Ο MZ61䄞E>7d=W1j hRWc^T&hqŧSVCdL:y.UC'I}$󑬘_yg<@v A)T9y<"F]8:gVȞArWlPRpKL $D+yUD\sZT`/AL&W$kɀ<@L0ΑnqN5J~fwpZM[04:LF8ˉ\D dMXt2&]Eѱu.a0Et'茌K !mvq@#if黊ݠ5w=>ik,م-P3e~߸e*B8l@C}v|=}# /lt o [)ZX8^V_K%Lz1 Sz't6B]p!ksSyPI q_ ._uR7C+XwFJ8D|_jyed+䜨Z_99֦[7 ק{~#*cM%i2 ~C%egU]i[L;! ps{|dX|3Q2oeGx3Y{fYC@&4@pAe}LjCnk{ ǖ4 tߙ_+A>#`|: C˅{gYZ7zXZִF! ,]ŗXi%g!PܓM+ 68xK%֫$6>=F `ջ\"@[HA&QԳ) vkfIŸ!)=H;.ݍEvUCT F=NÐs){6OSL)rAjOlH`:]M1h8Pw: %j7 t CW|8)~r 6҉~:qE}&1r/v_"7 ?4*[G6Ym|b#" u-. P`oYj)2ᅬGFV(T0@_Ihgq*c!,v\SNH?jA=aynmR[Y_;4.îKwquPliR5PhdDNfvػCM"K)ϪÓ΋XQêglu>&w0aB\OZkrp\z5nܥ+loqCn$}N-! 5s>RP3:m)#\D2x;x?BЁwQJyݝ\({9.4x;1X2WD z T~wܭB (/! e)}4K[Z#WtjEh>=s⧽-:C?-l LTrs;I<Grj 8dN FmM]w*tv$WCP 1NWo=s5#dlA%-ۙɇ?:AѡĐVs?=,V(IxjƂ"Ek