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 GG*LlD ] Buildings:threads=2elapsed=148.484cpu=242.408gc=5.012factor=1.637zXZִF! } ]ŗXf1-/6vRZkO* 94[cS"^ˣ6Ȧ3| +("b-<&/1@vE%bޫk|n =J0]Qt0"9bOwY |슈2. _ S8JlP̀Uz+}kf"вQ'w7\I"hD\-rPl0I@]01fց <ޕxМsA 27Ii{􇵄t8MtYb')E(_h0J_NJ6TM6ː.ɏTȑؑUAn^CJ!-A! !n|]孃`ke U?%?*"7Yv|84 azpmA~j_.PUZZ-mz!d. Ʀo*7n3?vS{ Z K!gXs*X+;ƲI\:5IM@)*[upcQbr-:x4Q [MZ7m J<ܩ3#+r&_Nyd 3#gF66:vJFvb12iك!fs=;0 ஻p✁أ2aCe] I`cd=[4|\;@&[~ )'Gٿ4;LSEhW9Έq z3m+m_l2[W(*A4ۚ^ !@ʎm5sttvCҸ[_ 7Ӕ'0 {wEqcbm0# rPF zzO=EmxBOQL $KqUPq޳i\iHd>Oz/ŽIPLgF8H_1W eގʊ mo0ʝȰ-BqPӬ"/PuxP6&9#2`3J}ULLy˶n Ko%<"Wd w#:^|u{pGD[T<35QT[ _-΃|%d VfkhC^X>f PkZ/;EN*lnr7ZFi$|y fw4-#Yփe@s(th+X'UbuXOmwmpUK::d9ɭ:X^@p#D/{M.)' ]iI$)KyaR$W>p P[pd(!/04@k2E8 ?!A| -#6Gկ"t vf7ߙVNVdQx֙"C{ xԘ *D#?;Lq0 +As:#8GsnB! 6B mCg܎!hFhw Ƿ'#VW;ߘܓ"='64PzlUtQ #@#“v@?.:قA]p]2ӊTU-|T/@Zb GL?CLZ .jU= <:N~*@b$t=\Տ?(R؝0XvxUM>7kfL6L_s%YM %5gY`'v,"kM汿矒Lk<,a3|op`dP-+B>?Ve|ɰy|\l6F /G 䙀!jmӗ # NďzwܛSf$Gd:]g(֝!nLa vǾ`g}Y7sQd;gr= P, UljJs,NJlA5aRv#%mP' .^ݡ"Y2ꬔgkRn|MwYptsgk"}ka19ѷFAAz&-?VK&s}i72_Rz^/S[-Qz*.6l~+z(T\~^nsq:m~Zga CR"IhWh NZ3N   Buildingsh\mc̴lw$pmQ|@Eu+a%@2$  glW+ld`3)"}|+&0J Ľ8Mu&^EPmHXJ xv`cJV\E`~-yy 1CcP,k`wy͓-4M4Ok,kw7~Đ)q%Igi 7AK2ps:Nmrw`4%õli;ח.7H__dM|3Ѐr]{O1num|8rN7⮱gYZ7zXZִF! ]ŗXiɟ(:ڻ ֍LJHgE\/,ct=q覅U@Crb?eiIyg}YRVr@6jminF+jI2o(Zo_" RG3[58 M҆ hH2̀zgYZ7zXZִF! ̻]ŗXi%6SuJP9@:Y9\/H}V >PFZ+"(Ypa :*bc3ݰ68*2BY }Fƒ%r4$:F /UuS8'MKxo37:\*ZAבwčW{ WڶXwr&{N@~h I]֧fo-Zo6//_ג\g uR~(zٺRrҳ'c)r]x\-N=~_ /t0 )a7[6\)4"a8>^@aKZf .kxfi"E?GlC`XW^sH[MsEQc^1ha9K3;) :xtF(O?yy 0|HAU4p:i }vnv]8t=n~:<vr[L7Պ(4k᰾Z$Ѹ8r->| @BRG$PqҞ2e+/~Tns}"޽G_VGkO~C.c@&wn[ HRt.p[`ZÄ* SmQCa~˜1fi^xeY9LaDQI"y4~P;c'T9M&.*9nsy)w46z-;z:5olѤȞjp仙t% #?QQF|:X<0]Hs&^@ (4 gظKAAAklAcZMpr0=[ ~&Fe5'-C 9~.tla_\r?VX:| {.2>ztl mvOt61Ál7vLД3 L3} *jSj$@/s_t^R ]>d)) 孟2#0}Zdf@b)wD:%5cW*lQGR_@2@6)OSmmc9eysgZ,lj ʠma&) NDĬݢ~Z8 1-,%ǻ8'C}/ߌqw鬡VHX*MY*hpEW  5 'A~z[}#?ߵޔKFYa*Z3>yON fm 19|b=86F;eїl{S _'?`s0wj~[ŐxF IQy4;}16/Kuj=$'~*.5YM|m1(ǨBCw&-? ";53+908E]Gm 8s;E͹T!\7 JeAܜ1Aj6)2+]L[f")A% {r5+ƹK`o "tLQ_J*`1?Q9"55~(P(2D {XV:J?$u\ CBm9%\֜-#L5 dvԁ|7-b7.Yl62DxA\dF|+ZV'7{d+3n(n[xlNX7uqr)B28XGrïύqYaW Qy{%_zxY&h׃#-ުng𨹻;= м<)%MT޹٬Jw>DzN$1zT.H `ăr'g,ǐxmūX^\D0ֈ_|Pgu:HL+TGs.O"p+,a]P5'T2 |Rn[1ƒ|:@H$ d5)_PZbR:9lY~̎+zv5'{%qҼq4Voﮤ̒P, V>wvm :aX*9ce:uBy KAMw_iKW3$aZ,\ñ?fuBwdC>{41$緩*(0'/b³;(4H ;=KOq+ˌ*X&ƥ]U[^ X4{t}B0OHYMUܔ"YCKY?'Vc6 -P]N_pyY$ Jzi8pM2jHY[>_7P֟>AZ~*E Awh^z-[qHiIKKYeU FE|(x+73]j(t/ֲ) `n7 !p#5^X`=ֿB r:D } t1LQ :daA1=Fv1ͅf>]g0QLAЦ:yYwFP&h0uI|D(9Έ>HvarnW^"4Z1NY:f2eugȶėF4 D t6pW 6U*Q ÁBf8EËC`u0n!܍L1L6i+pRe`*L]JLP':sɷC4ItNCljKʛ P0kn%UZ G9.eK; g?Y*g <)>A 9F5O+EJE"cJT0 o%ZkdP6%Ic!38* nda|:a&RJǗwu\w%HOX;uGoM:XnqQvt'h\tUyI_^wgGC#! goؼ$DcXG`]̋F#$g܂‭N B&3R猍\ +bu)at=a ;2=lHO'X]g}]-Q"n27v& Y4.XBQYākq{P:e u{Hȳg# dW:f3qҫUq֗vУ@.9 ;M%ܩF)$[.WǘHp%?vWo4Ȧ;g5ׂ\s%:$殔GJQ^ZQLN=mqOQC1~øM/:W贲2oݿ!?@j^1A6vyY-prFۺ˴0u7C{@ktdc &2;cd8tP_s)EڗmNy%! `e.Sn~w GA *ZeSs_ X:uK?2 9lGa#C tޜ\pw@?yQh&1Zqe Rx@J>&` jecpb$6Z|ҽhɭ[@wFypfi^*Bn{3>ْ+` OY,wC/+@_JX7(ꯅkԴ8(f-^bRQj4V{5k\CU;)ofi pK'߫aO;"DRcᄳ}qcx{3>jz;ȋ#CBt*0Ix}Ydf#de+},4" 1~4T,f7z0A.`Ɓe,Q+f'.,W"vuCg4_q5I<J%ew9=ĈOGhG@{V%~eE0,s%HELח0,&X': fA*w"`g+`(f'd'|6nlyag{։sr%ڀf)!5݄ʙ=ωJ0/۠|/e}CXب!͟,[wbE?g=|9VTqٙi轱)A.9}Ͻ8"v•&s$[" SHdž+%I!wKQk" fzY}tґ _bkNK=˄lϕw0ϵQI5y^S 1L8#Lw\1]kAp&SL hpD aS?44Tk=w|U)ϱ;J|LSƯ06|n @M!TֿٰYq{V$=h窶E>!nپ`4oxC$PbkaO3Uy l`t}:7= %/ODYt0GƍBmɉׯ}T飃/ec`@&(MyT% 6W5 yfWK ԛCj~d. uG·4u.)$$33/ekr֔w0S p9>;6({1Hmscģ*ۿ9 zEps خtyngU.ffc%*Ј<<.jR7 ku0@xR攲ݙ,Ey+{vf@dNwgFJrlJ*;i4ȿ)]C:$Gܘ G J>;jpQDY$.mL_X[nqn֓:`a5h'O(Ca̫$:*WU $ep->bזH0 gPFg'g\atMC6y;Cc5@wO}Ts1imū_7\bo&]l:h a&Yo<=͜ne?SkchEL;>BpVLj֗dzV%(xKMvutKDeyH?.Q>.ds!i9Xm8CTOgSK_t(HQ@|ʸ[LSQFT !a%>fQ~u x(9j:S9zmd{<0sR/S&GQnv}sbfIpwV Bl*h8~W_nբʗ)Gi=͢d [p8 V'dGe !U!?zjvb\5-7:t!j p3 둥#3l:؁>/iϯpiC#'?qC `PpVIkux%jWr[#{  mWc0G3ZbQ%a$Gmlq+&x@<,jDQThƝwݭm GŽ VDxWNL}§\CCK,CB2k큊uPlnte.fVqQ_E9 UegYZ9564cd836f235d6a55ff4c66a566169149ebf0bfe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f