SQLite format 3@ .0:  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 y1 t\ ]% HOL-Decision_Procs:threads=6elapsed=256.959cpu=1160.180gc=163.076factor=4.527zXZִF! +]~]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1cz|MpW5 <;H{r2;Ǒf?Z՗Q^q@-(A8ʗ_g{wEb+ĝ,E\u1}{:!LtMB3Br pGG!6g|f|j;f! "dW+tCi&!x¡$=vERĿ㈉a՞3q<.ث/4hCMU*IEVFyY o(8D 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ ii9ꭀMSZ7 0jԀ\ 3WvuEh=d~F^"'m'kBbJp9e{hg2M&>)T-]쒓v|_L7jocQR?[r^vS\xI2x4jՉd1+7$v&>;u@# CH[~)Z)y |1]Զu\2r 0;=6sYgi/ɒP!/'M&_6{o{x%tj" >n/aXtd0̹`Kݙ wT~.0mbi!3Z5yEL=G`tҴGHSeqY+z3t.L,cʾ=bvp ˴wF3_Q" _5"0jP@b@3JpJΥެ+u'lZpaLA3}'.3U=$3nL`l_?h y~Id5i+Sj])f1<T=ـI菊\,3O;` AѐncAij JXv® \&+_A[`[ֵҲ!h6#;r&m ~C]>ZwqH꽡qwVbpWϥg18VO ?u;h(Z.M9âu]z3?>wW~ 5*98 f'*ۦlwU1Nzsq_ ^ͤCj:^m5Xf <{9uk6> |-A|\;,p2ʯmq4TL)ԅ+Dp,q{XEa!`6"vAn98lOJ"}Q/5Jd3-=1h"}#eT;tH5F J.DvE^t]$kӥR]Z8AVs삛Vd*xJ&p;c껵VyL_7Ͱ4mGMKh*ŰeBlGelr&}0~<+I #ej7j{S)B9O%UB;)g$tP^k >4pK[}xm\V'8eFz6rS-<-H:#{E vƘ9)ætSDBd܀56~g{dD-W3jTIp;_]8ӪsLƨ\{,V\ q"hXҩGu}P$YV'%EsCxJH6 b?,bXbf'dC*jup&kgA&%D1*Uk]e$ʶS .t5g#7$CPVѲ2D z7Hؤk7Qq[S!:Etĺܕ %C&5LXJI)U#V1`vٟ߃&FB.`|DlE @stѾ&>@}K3 u=Si$i}ZIп_A<rzƒUL'ىbdd-/&8V }W~%^ߢ6ǓS+C}d[z:`eBfB/-:@𴦯 I{҂um|[gWMm'u ssk`CS *0"@/MԴF ovc:ٵB+mWLۆ}tA\Fxw/m _>>O;zcS&,BV6;k-MXl1^ոYtmfvxLv;9v}wѽ㿢W/M@aU! 6'\v< &lBa;8R!A=6,3ćބW7|u!r"Ğ~%WmjkJ[ε7E`#8\RI}IrZODЦN6)9 滛%SpFUnQl)_4se<.8Lޣ~}ؚY'yՑ*3}WIp+%&`6Crv=[b_n;EIO/$X%bɵjUY^kz h]k#mR}"plUw(x@3;+K_} ΚoUuaȣ 򐨒̽a ./qMh\}Τϖ 0O2:֔{SB&g? Ǩy]wL({e;"tĶgP[ 1 85c`_t^S, Oh6\6R_%!ZiiQFHvV>îOo~NE_se(IUoGLHRz-] ˕0`e@u#& m./|拥2R&`!{]Fi/,:N5/r3Yf!#w001CYGiQ3)so+\@5@UFt=.u2qZOA@`nC+k/յ=Nh|!( XTbĠR~ :{݌HM-l!aҺgF8(44]iprdG5Ahg1br@Q=j2rJfIͿ܆L ኯeE/-:b$$d&]OwuŵZxCH/{.>u-ց@,9SQٶVl p].ї1=R"jA$q$%]޹\=ÁD# 'jl@RʯnܹɏDN86lfgBʆ#䮱 V~Q20w=lږا1i 8OḎ9@UE܏c^@GRF NXJgRYީ7z'sS0Q{|aql߸"An^80L$8w6nrG/BY޸] i$^FjTZut 'j?#m?=Cc*a]x]!wfQ:X.%GER#$d\ˈ_;Db0DsAk#aڝBZh]3ܖjQgl0b8UGb X{+L#֪ԐKjr !>O 9q TOmrC7Ykwb[QcJ{H~;W}MwjoWVw:~ a hsSN尒[|ix/%g3a_7 5> N^ܣT~> ¯ƌПW)p5GqU.ʭa$g|F{(B=P]\DiCXqК[ʓ87K@h/)ljwsoP` PEG%|Sq. M2RvwJ4qg-cbњ2s94ʖ|_jS3]Pe~˦Cm.`(ָ] |=dUAd3PWXЛEtLD5o΃Y㡥Ǝtn2]+uba`QfٺdelR{k*9g*3BO{^=k> bL$ٛ p:BRAsa6Ii\AZt&{sM…Of^GE$zA69YG > ?~/x%P/@F.əMt:.#;5 opxp  ol^um%tMނ?cu:Aa\vD20ok\Z+  z7f4 Ǡ>i R٣I D6z}pwJŚu[_dj#a!Kx4r{J!f-?bpmTS:DWb $NsG%ZμŔS`R?F8]>s9wVe 3wz^ƸÞ-rB$JZh n†"SNVA-j VF\\ bS!s"H{'OUvC2 mj԰x&|itmQ") |vԄ56{sS98˘z_TmrIXytxfDקw5L$Lf7" ?ޚ+ C1D~ɾ@OOF?jt t vEd9pB}q8TdnV39G\FߋwF2j`Jyٗ5I;\Nl(bF*ű&sE Ae9t9P6&Cy'"Єqy')+=EǹEwxi#T8QT{ ͇\uJy" C cZLq7A &3K.d'y0rj:Gtz8D`XQXviF"ACGłw_PzYa;Rc5ڢ@!\4#!Rxm#Ė;*itp~{9ҟN' so'GSRK(+70?wj*M~,72[Bc&Ke82ә; pSx_q ֚<Я.19}TݭRNPU6T_HU"}}/(g&=R@2h 668©-dN4'Be5s;'iIN,dZ4zy`QnvaA"@jvt'\C"_ :e,op[eF-v{ZCpv>-|(X9h V78>}MOZ).t7(Džf$ ;S#댦g31TR!qkI.#{ٰn}p]\+Mo8qIq=MC_5b.`dvRoؓG1uL`(t[,k\l26cŒβTm7KvhGiL:2l7e#Mm769mmh6&Pi.q /ƣ:1sjWl)% ?4>v.վG$CJ_CnD~-B6B'S: c4@kwy#,PZ ϛ? K  ,ÚF۱uhL"&YoẆ/O6W(@0qQ\*!jA% hA`!'L$͆.tt,}Т>:zE^kl!C#ܛxFEmd8ќexxcM|jZ@ߛ&]VIk}3lY2D}wlR':QwҭVS~<a\**S ~.rV/nkګi`*HbB܍b^/6yt9;Vpy!2u/YBgEOxj?&*v;*Wrwt3#W: y>@-ZIdzJ,RJ%5/=+Gy$hlah7!$Y1F.k gyj0i3gzoh#G/T~{_Zp 82MR&TsTn8ےA.\ Ik+|98R7a` ?(DBffBZ|AA{H?̺|oƳ\)ez#[x+B`\w;G4B_Xp"k;0 v6 $+w̞y2Xz!, 88\(\5|JLS՗.-` ,h+ܠmAkߊB&zfCR9dXo$ *F]$''jO,[o5Sn*Mv.:V*,"[7vArOWiV|T;f`5'+h.z7G|SpXV}M9qwl,4Eͥ5=:OQ6.t]Wtf)Ofj]IIGyzڂ@*dyȈ@.Sf&02^1埶ˆ*YB[5S!!a8Tc}9c3!b}FᲔ`w֫ҥˢ-QUd:e 棜kR"0dV~8N|q\Sχ̽3@5FˏTg?寿]d=E ^ˀÝ;`?jO(QeTkLnǙXꒄB%QN41)!›ٺa d<~%Ti,1益mYNH7_k8d>=Smу</fNB c/Ne (mlKߜրA1peOUVw WΣ\  ~^!.%sP1bebafXic"e"n qSG@W(l 8`t2 nk,]1G$q-؇tosl}fh4̶Y}'뙕@Wy Ԩ70)huP:d]_JI 4w Kbi'C8 5>3l13Tщ]hL2 h&=;{͔5}`X@ BBYS s`]1% MZ+>uU{J qi t,C<1E1Ʋ>9c;"s5^ pD_*nTc15_>$ך}^-˔,Yxc nz?AܝrzDow!hz`!>iPK5xJ+#kG .,-ZSTmM= NmQ[ݬ5BI(u[qfY#'m஘/ S[! rtkMDs{ *u QM]oyk"΀K(GKn5ppE#VͿxꮫ_̉'EꄅM3O4\|5y/V.viZP= Pu]d熱G?İ3n#\YUZױ̬K} {n+Kz٫kMJ;B3y~)LoW ܒ^ݴcǫJSs9[]2[e^`BLt:oM᧷#[Mb[<y8_zӥ}IhevPܪwX*Cʆt;Ε[ħ8O~/N?C)ۓP*X< z( ^>)rbN>ڙDʕ'DAr)e!(geg{ft8M[dUM&1]ئ30? "q?qhy9y{]P-5S@b'̌#HEv-K[~i{hb6_->7yiīET&g~ccdKS/g _[GsqXSQvORP>0^+^yp3IJFZN˟' # uz`P^h̐$.'0Liz㧮E\* :t'~,oâif&E2n[4 +NqhȅBSFl9. zg70u,r#og@Cgm߶4+q&suS{4jm3c4Ԓ2@EnQ}=)`]7\~/;9'`D?߄\CEA(wO@6X>#.k4ұִ*<IoOuFjv̧2@~!e5cܥYq0niv7p(%)>r Mؗ1yZ*cP N1%KҐ 1{@B|'CлuCPGʎz9G lEC'*9u1#LJ'6=ˇ*HBaEQ265Z WTzGux%/@}oȉ$D1Pv ]7Uc ~%c ~9}~fk \_>&~,J\ 0V/,PI"M {)>xy4u=.=DB9$(PDu7], W-:fbMGA3 ?I7GTZ <j: Ɖxm Y/U| @{Tn7Z72j߱}S i ۿGeꡆE-!K g'TT+oUeکf+ |0y:џǫw *^dޮ5C)zs!r9{C !5yr d:1a'd>lC642-\?whth[ՊoOZ%HE0EՇLO9p2zdÉ1TpŜVTx88nLě~ RD{4ށ sScCZ  5*vVo#/_ ?/䔦A/We}NǬhX4~ >5HFd x!h[ mn5QAG7H(l)U ,k<ƆFS \zf%q Ն=J3~5wu8x+xҏpp饭3&ݲT}{*dLDqFD_ |қvlLqnHB)NEPj-`پaS|G D.$*_YoR\qn@?j{r& js[Ď@U`#|>90ئC3j TAO[wK> ggR`F U$өG"K"LL}]O-_ؓe$7zc8pW6k2A>+v4̐_O8ǼG:?7qǓ7^w7W'bc8*j",@U2b {tV4Ю/LdyjeS y*yEm|3Z:s%Z7E+E)jJ*C_ZʱMK?Z`*ҐN##W!222fO+_hCw˅Pg8%QY. u^2&>f<%R4c5lhKW3wJ0 ͫڣeP%Lby@{(D(Ab>wSh.2-]pdVhf+m$8p=$TR7;'wygS ,0htKٔ\ry:45Vln/Ҋ T^ Dҙ XF`md.Ɂآ\Wͮ+&N8$)) Oߌ9+Ã5sp}]|~dIogIe ~ R>^2h NZhO1(˰Ϳ{vh&MDƶ`۸d벆$h"imlF"pD~k7c \ab˲P Fd2A,NG !G-;(G(`]C?![(PpvxQD _ @nAG8yAQ Gba@KMv4^0{$`Vʂ5-_{2S)R:1( '=h:l`ja~R.ӿ 8~:9uJz8ƌ.ϻ.S_{?A3*Pwr $6#i=0_& /lKfPX=j가Ӈ QTnwKblBg<,UZ)N RdtP+6 0&IĦqJ?z %ϯ2Q#L }'I@!/{ йj$c`/&y$a'AԯNUG0[;4.tEQm&&FIv1n S_m,騝ch3ŏ#coEf?iq726|i4H<6E)13#_iWpRnTȾb 񢬍6!ĸ؞X6YPgs>f^L9HrAV6<ڃ<3SF; JX{L'O؋=(w= GvdQ{':]mE>ѓ,6):o?"]Ʈ2$tDLOnf?w P 2A<>U;&#,O*%>fˋ%~jUw3跮hnvt )Icw;a2X +)Sp]~+#|GC\QsTqަ4L촏Qqd1OX^GȡZqx n&ϝ%Tr\!u?Î1}7 XvWchRJ4}9JD͊BSFs B.jB7P elyM6~D[ $:I^Q.Hְ+Qِ8Ոc wS~JBrL6Ϗ[Moi:?dҫ/APyAAFa'nOFd{Ki24Ov U0?TWBX 76W͞nb(pb6޷qxݴ~SWY f{ v괦@귵Ex%i sVOfG/:oί&f?h e}(d1VviY>jDK׻,ETcD<ò/H%QlxBcvYr r@ M6& ~t~4uY^2,(}/Ӯ0IFrUox2q#wkװ RzwpQ0NF45DRvw=1"#BhVn G/M? &%0:kp}J}A3?A5wDE}fԳ\x |o,4鮝?yNذus9nu!"0Abr1t4%oHB-,9[4+Ӣ;0Nsz%:{#>Y֘!ubq fdzw+`?R+%Yߵ:eI>Jݶ)v/6Gv8`XRBTQY3e@MTFn5npKp{0N g =;N8{#]Ef@14pkNcp1VOnE Lex_@(-a꿝!$*ˑž(|$[#|I4zU57bOrٻWw'vx!>)@G$avF9e9 s>v,^5O \Z.aoyЀcw,jAcXU1.$9߻n8p卾_T/y;"ne'EkrȔK^_n窈u(9' ί"MFt>}SzWg0qJ<1>=ȥY~BUya>1Td7Y/I iV̌)kߛc 3eM֋\<{T -CLw QkB*L`i~'[PYCeWMRB5 j`ҿ֑٤><} 1Ks}~Z"bG% ki)iFG݃;V|bv=F}}e+7˧U5i+ QVb!UE;9 J~/{K/ϷN01]4XP.5k } ط2HtҨ_vv h{{q42K-]&x+{܀B,.D߶˜(vh6ӮӲoTTP I+ Om|LExL_,pRjߤn(Zn'L,)x#I1Pj` &G6cuIz·KׁC} YjѢD!v]Io.f/@iD$a^yLv 4_^QK&2s4;JE+}|AwDLyar^>$X6u掘iY2L*+r ԥܕ#Ei{vR\?08 .{7aVUz\*yՖL)r/~K(ݠh*!@}e&XP% HBt$QUͻq L*AUX5yi>.hj;/r2~"S$ozL4,50 |!wdD8WPxOB6׶4Plem)a@4u͡r57p~+X't.=UWR@mbjB(&}2ij/8_ii[6XwHUYL d3,=ALڤv0'i7HA w] @7͠dlu< o.#cDRxVZ H2uvJς>\}KAC/pS?a:sŤxqNbol~ TV鉁r͎_ !_Rtyِ.}Y3ar*5t\NZz@JUPQċ@N.>T HX+<`Fݩ}WϸJ9xȵW.'⦟?lP`>#U\, 4spd^zZ#W!Q:&ZB+V}}MIQC |\0c-nX̟of9)LLZ9]S" |Q" V#0*aց^8K[N_wy}R(\<"OXZ exk(?ڛGZ*Bc~vGWa^i]m}V]ݤCaau$o"V.9]-(Q',V-NS<`*e{Kr,5W;9-tڭ\.gˆko<$F[cH o r?;>؀8JԫpbZQNQ7S 3eǜҴΞ_XBE^JzOTr%]'dYmM{%{*bCFK'%NwOd v6 {yUco['];p\];_S2)x1۠zR`;&3iKV cx|u}S22l=ZPqEVesJ ކ ;V-Ir7QG}ۼx0֞\,Qͼ6G^&GtW};f>iZ@!<5֢؛*/ID1S$ATOO@9131]0ߨᶿ [>B?! ngăg('EP9RH׽&:%*5kch~ 7U^75@yq-s.}Swͮiӡjwd%e`eW|gء޲qlS2xZӮ]7P臕_|N.B})ĭ,0DGW7? ]( $2>`~޽,]5hRVE"=FAhAeY E!#>_€ STmK+ýsV;z̅v]Qں͋X&=bȜQiRP#*NWr*pX?v_z_ [/yl@E¸ms\!.uF6>v{4EG`l^E{.+8 sѕ$;Qcceq`Vtpr #-7L!T?S,'n#Íe=Qw)gEеB 2S|( Կ/Mk"-B[ӻDN!j[NZ^iH;j2ZGBO|w/PkL57W ?Qet.'nۀ+VSvM-zU0NcX2P r= 9LVU|3vд_E= `tX>4+ڤ*M1TQIj`v)lI'ËHV%ESX;fv>jebKц+FK$$' YP| E ?% Ȏmÿ8׆ U_:`@1BaKǕS4^`wttSgn<ݮ5kDުlDnzfs<-!3։kpx[v'Vi=>&wpN?-dN18%kĊ$4Tb*A*ooW:~>Y xME7mٟY%bf-K֬᪕ ^h} *n1PW(Y2:7I7sz"Km\S81U7ss%Tkޱ0DˁhNՈn܄!ZUͱ"p><옽9Tc[0G ɽQKRՑN"e_d0#Y!}{j3ԏT3xfŦ* 4c{3_3#LxI\z)U;R՜quH 09 JKW%^J?BC{Ř-Wo:)ӦyFE"!_r/g8 QOw$.fT ߹he8Q>W$ԝ}A=fv=xzF)WH|8*#!aպWE~V-q"/xf #zѧҋMN٩LI-FU4י=}xHT;Aj7A`?{<2"肪ZNb=1r̦H #*)_ 7_!7ߐUI9}:Bd{l%ؾ o0UYwr15 ICNa/Lv]ұsqgyE!ds&Cwlk.७xEp©?}A7|܃ {@-Mv"NP1dhݪmeː49:hB]N m fY%H|ڇEh!^-1b>0UjfYg^W?PZE3 A&l٫˅ETOal^Ծ-YSM4k9/_EnYfn%M?=I_ȸ | ?O KPFi3ӦݻդmC|lu"}(UY^a؛ yúLb T|9*6h`0,*ЯH'L1ٖd#5ms8wr7Êzh-Cp:#Ln(JFܽ n l5Ķ>3"<;P MCR 8jFl\_ɝOʫ_59h˩pc%9GS 4+.-oQp/9},'M!$GZ.Qno#0 "$[2,ZՋb3Gwf4nYGrfԏK 0Cz4oΔ'-.Ft>.V0 ]EgTʼn&tG)Q h.%3Iʧ 6#~Ww4 iv6f3*>~?(L"~)q5]k}\m]^ZuTtQ=;r{de+eRrʉe N,W$50NЬfVr_zP~ky2'jqlUޔ0R *sqǮd+m8]fq3Dρ%KUm2AY9xN˂>_Or.MSL(R-b8P4Z^E'89\+%6+m6Ka'W*svCrFo/cIt;Snf64Nw1xݖd"қӄ*/kWLXzxn-߻.=é%~S*V颡Ŏ+*S8<,QfW_,9d %1ca$XY"Mʽ#\h,.51R:AI'tdHҺx6J^i)@_gBq!_訽iX"AY2j/8%ȒmÍ! )gkqe<}Ĩˋ_ב*{8h|k=}u>tX}2NK;tsBˀD` U+{v. 8féE@ `Q_!j؉m9SlXIsO-3p ~1!fʤw<+u//&/cEcWHg6/Kub凹zvWTcZo&K͒ 8$K4'f4e7up y'3 ߱/iBP&悊l X}1-/g?nqweghs^-eˣ5Z,&9?l#o8~vd ߴ+chmĖ{zLR\NC"ѯ7:H=^3񚄵Р 15Ya/#!O\L^]?ߩN=hG&GWB?J8( X^5K nͿ^\.O:킋 * Ðr`B2vIzYqK KG27ƪCXjH{#Dzwdel[*O- $ǑN܈Xũ-$TvPCΘJpS6[r%cklʳEˮ㺌3$t"H`0eم#hŲ䷎EL[y3˺g;JRFU}ȕs M. l;dBæЮPA*gYZb5f19b31eb784d84dfc1ec25221618c4c33a913f033aeb80bf9e42a1e7357299354530b3714c24e4 64e4772cec7906cda71bcd7c2893a1bf904a976d 30cbf85ea61c8800931342d1b55ed85bc3ef16fd 41f309b1606eb4842ef50dd50ce92e6fd3f019b6 82118a333261c1a67a3bcbe9ab67c1131b9084ec