SQLite format 3@  .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 hD4\ ]% HOL-ex:threads=4elapsed=321.001cpu=1166.624gc=49.840factor=3.637zXZִF! C]ŗXf1-q恉<:P _X7D *-R~x=Ү رoD!  \Cp A }2u#DEQD Wΰ FJ/?fgo-g!y]ʨΗ`37%۰(C/Q`YB#+u|z'vPG{*25t灇{=yx<OVÔH4ͽFtgrKYBsȡY{AZ_"m&̎0 [9\6kOGzB`WD|zGūgMm 5^(ŏ˯ $3o04Abh=0Xa:-$ή)4 .?PP1+ӵ% sł34F旼 `6.̐6$"BC$xf|P٫VK @~R[Li]Ϭ)<QeRLAB#xH$H Ctl8Gf@dwrS[=tQfe=L+5eǩ.Sh@IbbVY"=& ҫ{K_[K;iΗ[e*8t Vw`fԱ2x!>D}cSNkN~%:A8J-)Js &$"G@ZM/ot󯐺'_C>vj@1ӫmB~;^`)u$-Ep5h=& Wdf.ƺ Y,FUC=) h+=SX}ZxoZO JlGO.!A@Y雬{.ܴ{y+z./i-oMO-8:Y\~ʫwZvr*YRC7$zg%׊8l01D'c gH 2{EoH։ԜmPU*@4\f'S[ 1%jָ?L</%2ۆ~Oj51r;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ 17/ HOL-exHOL-ex.Code_Lazy_DemoGenerated_Code.MLΫt(g*i&e|\؂xzkW40N? !mOEZDoOHIGPs3G0D焷 ɨxi]If+ 5-_Ǟk&GE>L/ Mz%s}ۼ4I EqGv Z ^td1 |`ّ:rSč‹3T՘CPD$n[D y >4qq 'bZ15T (9u > "' u#{ξ%ZjG'T"2C:b8|f禵@I,f),rm#npٸg\,Q̹^nP9RR[7/|PčpG>S,rg϶9ų NoSJ~E? 4 PoSUC;,Ycx:F[&C{%cb~e\viTx81NHB~%ѽev?߯ёeRfeヨR) }Sp3 넟jK:u: Ee:)WOy8 =~͛:ت6rܡ ^ afk-qSU$+f]-y{~qQ7f2 oQѳ|3nbE#I KbFuh 9yЍ(^w#n'K2Uvur<_[U\4WcNsz,甶y58q<$ G©jB+bK_s`bzIa~y0U*`*6mlȦpÍQFn8O 5q'dzuN*X"!)+̃EmMI0C#ש!k+:9BGKR"@rTGrDI)Lр[MrOW2 @ |օ>F=XFyF.p} GZ`k">*W4 hPzYNAXy!_(lkLPY9fW+ݐ;S`(Kѓw?Ӓ:prA>nZ [xzxV$(_l3zhz!o|5Sd7i&r7OCmu⵷zxY2g%= )#p^xC>iW6g3y \VG. &TEZ'qhjhԻ;NqU1rΆv!~|F8Azr@0:Ԝ){mr=L:VC=ooiS4䵂h_5U9*&" ފ5ٛ$ EUvNIɂK&#[%^U /!=7E@>.T[zFd1{v%G@I 3iWUqu9E(%Ypg H1D eTa{F>;}UecIbԕSIPo.KP}t&?xb)7PWnK ,|(I0f2]"YmUFC3E?qndzj23l!0PD2o,U)wI_4ptzWR;{.rdtM,h0<cT ¨z;:sm0Hy~+gEZHsl/ \b 7<Ԕ.`dex>聍fPA=T_2`Bb}C3NJ2S"d=pWa-Sc`D j\iԈc3 UƧghᜟA;T^*+ˑpEZ0c+{W|I]{H? YX2mJi[n]>6\kl*"c= Lf%k]6$̔v3{vNUVˎ`AdizR" , ~\~߮ZTa؃۱nşwvv|N2j}4)LeN$͚ǥsiuv}j4<X~@Wf%7e X\@m}HȈFkOAm:Wk?i+.\J0{#i({uB53^tM.s9w k''th3<;lnhZ*m=Dlpw՟D<ћd&s)fι8-nDR"u= RXbl(Ymx9HRP^j=eu,%&j.r0JiURw8_Bq04P0:gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afi O2Klѹ:}sL~5%,y=_죆cfUpF>6QkA>6Tj_ћn,;Z%M䧏9:X!eA'rH/Og$ŋ^!ㇷ@v9|>fK.`)tӇW߁-b ]໋GVl:)*m_Rex[p(}pm8#W2_3E^a,]y5a]%~}Q@"jQ7VH0epEڕBmn  \ǭ0QQqaOؤs쇕(,@BG6yf8C].]nt;׉ !KDqn:kKq|5fYODsfE(u_4VNŁ:=u"Oz#5&eA-b|to",UO\KT^xRHv*WSBZm7NT^R{qq&:gIs3&pEn G֨D<4/0+L'~uu%"lvr@/x钂'y*)\omLi\3+2<['FRa:h[vЄ%iϸ¢8 W!.%\ySb]9?JIAs iBKNIChǤB}(%OVVɻdtɡ8D B.Q63Hhk1ONI*@ZJsjgꈨTGQ.0ROGmvgΙ+GzS@`rFnw b$-X }TB{aynm?f1^VޒhQ1Kx)Ip[$1Yn Jz3}^ XLnޏL+OQ1 !#ۋ&I{?#ȷ`eeݒ%Lk|T 1T[ZgЧ&{YttS};EhW8l8ʉb:=_LȄ91`QW(8jKUapCѶj| w^z\pޟܕ7`RָVE4I P%w! 4N7gYZ7zXZִF! f%]ŗXi%B|% 87aNJbqM}b6Bή óJ^-(ۉbߦ XY!GIA^& &^HjHRE,?0nny\dYOizU0iN[ Kw¦`3\i`3%h o>Ւ_V/ hrvA# l5Ih:xA;X|mD9=ݛ:APP8[bf{Fj~8#(mU(b$ !٘=0H̯D})ddHS`@#qRC ӌ{?<N28Qj8OvIOstߣ1 +jlmIo,xMR*Cz7tsQAK3Nj *ZFh8g|5<&|jw#i]ޜҳ4Vi<0P|P#F T4"-ٺ _B\]rXy 0ҌCԹ* ;@YCةGgl۾nDŽ**6-뉊]ED]~Nj: g`6cdWBHi\=ZW2Huxd{^P`܊%j(x԰ AiWcJ=23&!rHMA:5 T_@!VycJgy#ck9JJVn N08Ti+hu%aƄ?|P´لx֖AcvghV'|?\|rξ Q7Nz-i[f2Mqm$315q[Dba&05r*+CF-m҈pl-=ɖ}0ڵoՈc{dgt)~^RTCA'j a #69adNh3Z\v_AFǐ oٴaO(ND)9͏aJ֒/z*17RU.4Vu18=:KFgg82ǎ%dt~rH??:q\[-K~ݽ@?=Nn>8d:* VWr.PH<ɍH ^1;kF"xpYl{³{mߘE(HkیY9IHwr^r+I'\aSp7u)dkLsՊ20uBCMN%z9dG?i oy-Be h:77݇V$@0aikr&}._OxGR:sW(m:}#۟obcUb,)%АQ?@ey3dUubݳcMÛ2s〞t"25M!é i]6x r5F :lr۠tg,W1!_CN^Vv4a 9C?8\;yq6¼;f2vUr$@e^1 iᓳU'=X' ˪A.R@2Uosp69zf..CkMj۸\"fLiUZQd=4t(X~@!7#.`'WI9vPFL^X{%*&s)OFƧv̌90#70j6p2'H[~]삊N4EGcH^%Z38a73nyV5 ݼXG=w؏+ ^zT*FBψ_LH3; h8AZ?I? H&O?qC{] 6ZpbigVjr P>|Nd(}/ S'!VTƥ6HT*kVo'$T_9tgt }\S2H&p` ܤ+R}RtG3Ni3a=6co>(@.kye48Bɼ#a7-UmyǻMof tNqdJRU!k&pch21SvN0" F<+}x~ ɷ$.sF=+Ŕ}>Y- Fߡ:‚qXzÑ{eg,̧2U'z[R%Y1g\B,. aJ3B&B=nrw{E^ah,*^HNà)ĊnuM&z<ǩȶAuk';֣$Mw$mӨ$YPjwu{XoxL2v<('K<|M֏Z]sHW&&`%qЙaҪKoC 0fRrI_] Ngi}s'˺+1EgWQaUډ$%FigqvJ 50&USkE,%\%ާYSrGg ]4ZywV;#߃ݰ'U'!~EpS-]K8JA iwު*F}o;z>j%ݺL ;F{8,i~JߊOS6 Ȳq7D[i!r۔T'bgL;ȧ"}a7^ imXH3}>SY ÍWǮ頩ݝ{ҸyIQP[MzZ'mUo4tU %\89fla Mj5׌Pb S';!r|~w&ljg)XrP[fBUgνY"N|-aٶXwaBT,-^LêiTӵ{Wz jWeL-/xu!XR(5X?(\yѢ9Z^rv m4gߪqk ^=sDUs74nM5R:#a@փM4SK&fއ{d:OB} ͽIjF,,?1`XT皣 yԎQjlu 7;L*|O5k+jUM;xxJf[(LJmodD" UNӺb~h/KŜv,ON`d6b 6>jxHleS<@]]{&*Ia[$ݭ}㚨kI*)IhDe/7eapTAڳScDk+ͰӮa2PJq Av(;7.bn5ql0{,~Uױnz9ګQ+}A&36.#9Opa7.yJݧ, b4&נp(5V"F0:(V\a !ugFnVD4Kp)AGccMgJF]kaPih c/^}kL9H/=/#*pr·S}IJ͉\sQϓ4FWI\q61N~k~bWԇK!f,0}Ҥ>٨n [i"i.vnػAeY8МbS Q)$$BͼGZAjaIlk_~-HfY=`=_1W᭘O!c oKo'N[~Ԋkq:ODjfWݫ=e3kH2Hņ!ήsP\_ռ@|N50׾JzmrʹDU)®v+&xXU! F凩"e5q7 L;+C!2BOb=$r˪e\)uդaùm/Nуc%#lX8ͫ^Vܨ2u(3K~gp3ӹMBʴF#]#ʋ?t <FǸw~6ȫ3xZ)7qH5=(yAX]،Ic JoCnVU*{^BݰUʐB {('-p T::(Z^sr &ý 'w+W2CeQڶ9'OVB\S Qfh$v,/{<\F`t{. NYL< B;6-F=bI5uBi6Ėu3](VgN/"YK)|)|>E.$<[gQGy%dvoI!} IHv`MXaXh3R`Ђf8 B 'ZgU>y@sZPӑoQl乚 &:y45|ʹ)"?5U?5C]=ͮ21$ᶾҵ\K*\4$#jPP7c dOfG#F7봭t34#g?_(hٻC x%lrHGL|G|Vv,#3mLT c\Vџ/߷sꆸu% >Æ`S%4ƨ g䰃'a9]@N ۍ?*k,ׄ3UުOBzZQbR낫ﺺb`|:,Pj+|*5[D&7O1;uV3YD@N9Ȁ?G~-$e zf*()u'bNKkÕ9{IJGrEK`/r`[MբGaT.@8^mD6ܡRp 1%™C@ql8̫l(Ԗ?edT* ~u怑3ňRlGIj]­/3wտg1}t@Kjo8a B"[8#FBG6/ 1y yQɼe|\yGam e=PX/!evV.ڜr23ipS Ax^< 况Na:B_q֍Ao\j/Ta?i(&ǻ {gr@NH~3S yn\93$2 r[b%.ECE=Zyxr@lAsvig#/LLO {(`}N5g'_FH6Բ߬Au`t?LqP?MwT0z`vW.dTԓz:r ;xF_):ʞ6*^Zk"YHXȈKe3LFbڮė!ωohQW}q(0)X ի&~l ;kl}B:8K}jy * v^sbWP; #kP cd!֟M6q-ƄO78[g]&Ïb '[ cFGHȉȱ4.bj)&9l1zl#5ۼ ⡣7^Do^r`DGc0rtuAGaM=f$>a?aˁ$ZHtu^ (|u]~G$+T3߆u.V5~K#:f&\/jHԚ 5E$ Vd)B눅c sl͢VRBq:OȨ $P?:ȴ0)7E{n5Y!3P)F*ߥ~{b)z;QD~)C-0Gz  kFú.FB=,4;YWwΊmp!SK SFP ܺGQ-[5&<}*8C&j+&>riZ1-ǣ1@iwfAm n5;[w53@[ofເ`\w3"\ڈ{-Ş@GOOgK/7X٨.a.H ЦD Wapkfer33BS/+jbP-ˑ'$=im_k&T[YDFWnSn#qOF]Y!kY⛻jv7͓+t-ZHoV!4)g]?G6)q$DN~R`E{c9p]%beTԮVz℁;a>GsE>X"ۤjkWzWM+GIZh%4VϽJl\ѓ "o <+X(.yz땴c1vY'а$5U7̈t" #ht?}+E4LDV͏bMU.I=ǹt]m{U-F? *ތ0.kEP߰Qfx}%ʟ}'( 8۹* )_+r'nɈ7!}Q[%D2TU&|m4XE'KRz@EI^L(9άWr]zA(jSVsjZ M\NR$CGֲnD>ΐojaןؚ~s4ń ,bL68n!QqZނzf^pU4r}rx>lDsƾX]hs$s+=ɇӐjAQ>HrD5ol-q۳~7˔_E0Ӟoȃ{dn&D&*)[4Ȍ.<6Qwnp cUd eZ7dgkPj*I^SCJi(g3 έا5B?Z?ƓHT^{: )l)e[ V!Δ%km[b5v>kMgS&s}3S/=n {+Dv}+7䖬؉aUEu1uQ ;'~K*u N9jr.ZS IH}pdRte3nN-ϵg#py_/h:^R0W E+3'<2!KYĶҡ,Dr, 3G9(l 4 k8ڠYEg ]_Oe-0B3Zx}xÅ*ƈ9~C)XZVZh{P-M}|BP3C# Q rS!1@ݿ |1ir\l4i:eDGFQ>Nmcl~^@obc]`Sq*h+"9","qGO^ 25ٙ孋-;i/(<_ {fDzoXfĹmCU,%i.a ݏ:4 Ɩ\]πFj^<.z4W-ZhL T 0")  Wr8g5]EF%EyCQ_`VʝO%?30:F,@L_[K'mU01v[I'*]Ir%i6s7pY$aE_1>o@|L4ʼ3~^odBy6&VVI ~I"j^2#;}Dl* x]0{w/"b>+'}~ڼA7CÕc) _$ťQ7r0ٖ)(b8U@a1nƧk vY&~޻p(sŘ!K{ 8\~Z7c я#_:3r֟1 ou=.}_ú$F8j[ U ZyHԺP[P56g xKVq͐^s%;z kjmO^3{tXpߛgӛ|H(##lDujZ.%8>V<=:lZV%)CH0E9qiRZSX ߥ9$9q˜e$QS39m UkPZb!4.0d&, "U&IQ&nO/12$ߐڂ(޷2 @8!VzZA|&"Og#iJwb^L٥꾭YvHpn6ݏ8EzaL"P@` fC%fqkNnzj#-KN@, ά |Jwv⨟Ećwa Jp@fh+𙮢<ȼ+41Ebt0fָw401່AF }P^gO #WMӮtS3Xy8mPun@KY*;.iԃKD5:QvF\X\<7gKst@jy8dp7yu[#Uƅ?26'bU f4O5iE) e:җ"UgAfI^< fm֩9Ӥ,Jg62Q|w쁎`W&U[KRR3 VF jO`E!$`uJ&> M3)۳ZM¨1t+GdPRf 7;1\9'4,[N p8TꎀW&Gifw%=MaVh`dl ࢊJr' )WɺfdN d(l1  rkЖN!Zծlf, L;lGfe:.rJeye> ^C j&ZŎWV>P"($S;LF=+1\ITN.9б#Si3و?{btR FĮr]:G'K&PE{6J^hH!tb\ciČH { [R􃼑 gY=clgnʏXտKF7 )x%2NeH#!FemLR,==7RbUkK Њ(dؔxʣJ~0!dҨVOEV(?oS3R`ǁݸ5Q"Qr}x;=fݯA$,+/Deڮcꪁo8X9U*~Lz5w\%Bq0uFԖ3/'nhL081^peJ$ A@o3uB#Y`Ǧ98",4Ӳ(cd_h`sF/RodgzlHr23'w> -ԃRP`ޟ]!jAWoO9:/S2)EzښӁPE+Tyhŏb=$">0P_) _6~|%#gLo~Vgն ..OdRy SU@t{AL߽sx\a@K ٨VZ K-Б6z;҂|ۓVk:Ϻ K*sZyɨ힜*I)ԡ.iq05}k'D_%_3Cct32HSh: @Yk9:XsF/n2ZKc^/}W;4Aτs~K0)2[Y꓿(j_uG̘E!كۻWpdU5Cc 0AXYsA%D\TduȚTv,2U6m\ȥFI0Y('dLj[ ԓ) >TcPq?#؊)]<[|"YU0ZWT`a M,+8OK^ .׺ MvWQd<[DbIp7 {[ sTe)%}jf (3vDsبXE[q 1+aHn A88B8*4m]mK}/(]eZMN1TA+zjj>'O'wOqY\Ḍp#e,YGHqW#.{6fpR`ś C͍j.o! G3.H;b-h(m\# " VE%3^X*\Ձ&brܫY K̉ [﫯U&l'>z^vPh `*\ -7%2p 4EЇDzh!oXtS!4 /^8%q}ɗt4^ɎMK!3Nv*xh>|uyg1 }ǒ_Kt9 @@>9T,44ʦKO_@.3e+xE0ځ=|t;qFpvJx#bǖMH"E<O_|+!!pIU 'lEP0$ޞ}څ]?&F^O )9'!Ķ܎nw\bE`<.M/8=UuǧX?om_W%XVA 2TCv7bsfhT_05DO`p%Oz}< |3[TW-=7qW'mQ囸/۟s0o~O{(#5k[3\"PU{3fy !~6FK]WA~\'6D,deA[+@9mPqDj8m%PqFM 2#ɥ RS'FG$h}ZҪZs";NwŒdad^̖9,L,&/s )شTe͒d{:] V]e3\ub#fυj* kz)o,란U@dp{pvԽqٓG]o"tİ2kk-__> K1|Jx"-O̧䐡²s#LW!8B{>TLhk$[vg0<\g4“|83_K&H3{ Xr,%88lA<]u7 neXZߌ(Fr/>VG1'xYf$cn3k:/3,1tӠƙD/e;b*"zZ 2Wriċud9*ǠD! 4>X[4]a/最2Muϐ4ܜo1ZnTtro*jq+b?Ke0ލ;iTlᓑA.&52sM= e[h RHW_4|</+OEѪW Sf^* 7%bNJOӔk~EJ9" ͪxjmzria\8ITl4IEd]9F~Y W_;7K h &ZW7;/[nt$.kG A//*:3]0a0=}|Y)\jbfU`W ^ZhL)@G3ءj_IrdF ֊Z}+.`m2 Ru64kC!Q0oh<kXTN\Qo|XRJл*CoQLĦig\a\")rΞ_jemVZ|;1?$"KadEUY P4z+`6N&"!]fOϲx=`_sX0wq`-JâX;8%(Š(@8rxnm8G7-9#RBG;r&˫tz7c\_;@ ;4lr _9MdJŚ <&] ۞"%bH= aEg*ڐ_ W|F0Wj! okލ3=_8r9,7qUNw(u\_u@d[5c n믒QXR,?cŲ ͏yWpLdlGVB91@KUq3I#4k9٤bq ӍN޴,t=[)/;NU( &PX#fIfv[BsƋ_v&{fr pN.R "MT`n+ZSEgiR2'Maޖr64ݑ\@8Hζ O^?gg^WlOf)KP5.lVa>ķZjS VYrћ}rxo+D%=VixihTpl&PL\HAt[?PGҒ6i/( *ܩ :YOԴ""ׯS,M4m)f(WnwH*/94hK0_>Tb'I\)bXfF3qQ9BgjO-$AnO Mt{J9a *> fHnKfUD |&@0ȔEzC^\eM2 DכHMUR\ٲ&WҜH&_K(eϼZAZŅ}v<}sK{)j }@ 9ϞLĪJ򾇖hԫɁh3bw@Pʣ0TT=ԫ[i>FKe}|bתJiu*$'pO@h4* pW4o 2}b]>و: zfJN]7_EZ>i@B _꧸VL:U U9]zmAiA5YhɧZd6<.0(h #j -\/S7ZeuHur%|̘1O4{}.YV8aD~/丷vcz+RnV:uw5g\&/nu"Eķ,ٷ R  x "xjϷmaڥ}ڧ[ӳV E ([yLiwuv,-MI^C*s6p|nw*qHhō4:fbBTdڸU`- $!./ AսDs~9@r@(N}lдozK^)EU:Oܜ<dw#$<$t憷#_HixTn'?4?CY-pj{ E Q 9N(vq#½F$=OY9`Q4Z8Fv 峢7'ɯ_ϔQy$0|hW95D JԺB :S-eݸJCN 6w5g@܎އ&OY1a0+^B+ͩ#8yndN$wSWi4Bnҵ g@PFB#QY}з Kޠ.ZRu|feA}{61\p0kd"@˵])5{m^e!'8L煊W+iG[x;BH) ]a^fC45+!)s[g8qtQzhZqi><@~?'k\t¨Ѕ-ҧ GzL ͺiEw*)5xݮCLl}龇ͻ jGݶQy/ϝlzeH SrJA0qxgJf+oRn'5OʹUv@w /ΣkC{8xG[ sE5{)Q 3P.b$%4);- ltSIjz"a_Ybq[286Lfv @{F9: ;&DmgK ޥ |D7xrye}1VXndɚ`>Q`jJs@.,͢Ů_E_  nFyוf&։PRPI^\Tz,`9][}qlt-fϘ~d˪{eugV5f7*@I]"'J2H&dPWSÖ;IS[L5]7 %]%>\G•vRKc 3Bޤ.JjR1cujw_ε~pVw8Fë-4\QG6,lb6LEՏw6SH`UL<$O{3E:?! E? q"̠ssgb KO]_tĞ38&]jSSE-ELrr;t͞pI|tq}f3pr41 K??WI xw~ I7C߈Tx3'jB N~S?3WU%䏝\c}=X>RF]pW#Z&_-\I.t&%ЁVGc„WKᜍZ윇g2*ü+ns6@ưN3$Y^՝QHB4Eyۦ1:~O\@}bScb=&6b3zx?'!>ǩDx|Uzr{~L[*({;ye @c EqKD* aZQޣaOa,Ŝɀb_ |Ԋgr|2!e$z҉8ww~ 0.7JY5ug #2V uj]EW=œ;]d"F 0,n 7&JXgӍ D cDa*u5*Pm eId5rK7/o&0o/E/VOa8xsz'k֛e& ]F=!c $PYWʞhڇ,':, EmѨ;VDK+$v~mY ;ΊuJI59T޺Bֿ\ΨמblA@=X02{v{@{&D f.t)DI(ӥeQ< ׸6!r皘+t1S{y:zȅ?Y/gva}n??}ר(G{{@r$tP1Ygn@v0#r]SN~Q6Pk1 r\U@ahS4{B/5:x:&f/+܎30DcWoD B+)k)叀/|M32jWF}< ƴ(鸦O~_w[$)bQ< )=Oqه? Cl=BSjq'8[5Z=GEg=zΆd1lt&)GFLrtS (+x/mED7-nhb~"RA`>$憨_}N k {|rBԼYÀTQ",}(}w/FV;Bf"#f %r(o|̈?`&%k9dhQHRd$oD[\-fR*sgo`[>M԰+j@|IYcw{TSK۪H30ωiBJwmҷՊ&GC ,aYNvʻWq$U *[PBzuD 8WN㹲$s`}.I̝lĜ\QPcS*Gi\$xk)<̍izο!ς|$yl#!)=Jܠb)-hn]Mk}NQTenĩziǂPzU".>fu$k LTu6tZ Kwz'Zwl>?$&a?)[Z~r#1j9pǙ բ?#W'RO5K#NJs)YJ=mI"q{OY?m3#/.r#NlY}hvDK"TQGHT+."@ {!2"[t70-w^*ȏF\jY ;˯ VN1iXrIpp Ph "9U|3jUnBuOO6| ftۄǁNBje=3W <@Ys2B*d8h[Bak.)ճ8iyKUt5R]CFxE'k6Y?$;j5 :eRbui//A6[GG=dVxad8zGմu^i1 \.-&hjjAX!MO3Rg9Yɵ3pz#,Am&ϹӇ_n[3Gh!L> ,`&iY-r-!#W(@9)K2D}62}H8[Wb]TղC%?~T F%\DɣbzV_{sƕ8S"fK2LG& 3ub_(` ^\nb,KQ@йrny!qiKVE _Z G4څN&_pѽ/4 3Uaە۶ gR~LH#;K6F56d Yd9x)g̟}jv1zƝ#\;AI')‹)ݩ@H!,'= MړQi*}Y_C([`x~SaI*7T .kgҶ> k}_~1Š{."'["]}uXi#~#f"=.{_aF)落q^x`r)à 4j;Bth+u i&JM 6(!Qd|A=M'Xor6s9qG»!2?)Eз l?P&ڔ^4 H7h׊2j̧[Bǀt|5!wπW>,FY), U}6z[R K"ҔUJ)fS'|>$IA*Nu8ߪZRQ^%q2L*ih,ű]~84E04Ig"> h2k.*)E]_&*9.7F9niZƕ-c{[$%C,d.MgT{f; Gr!0j$uRՐϊw?QttpxXv!#'ث YE1ᾯ/@$/ŢL..&߰{%Gz.*q!"kAXa5ޞm"埳?X$4B bCd$k, )YV XR;LT2|h!"Il1;!|eظX0y.T0ہ4zF,?\ NU&L(m9hz}q$q@- gu?zdlg୰Bpx4i0ik.xWx~ܵH졛Y=td2%Kd E5ܧ7z5ÿ7QlZԷo'mB*(Ј!Y%;_NqJb6bC~'_MT݊872iꇴ†%Ƌʍ I7((QrYotE:]VO8 dEg_̻Ge^"\e_;RqvF'pِe,(\GrQָ*WTHU^SQ){ kS%uk{Ou$\aъƻ)@HzV+h$XW~p:I _!VNbwU*q !]ɤ׵ 2p,ΰ6BM~v Qj_CYdV@][)hnl"+jʱ}c75}{^ܿO?I3SYI7ּ+{w*) Kbw{DN CVT a[`~{)`R[j\P%Tl%_ WrS.̟ oSgoW{ufV 1CBJCG˗100@dMg:1ƻid2tUp6A2Us@o%gYZc1cf4f31f81ec186545e087962848b236224f97b3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe bd588c98a455d76eb3dd2210cf5d12616ae9cc08