SQLite format 3@ H.C  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 2-v$D ]/ HOL-SMT_Examples:threads=6elapsed=62.036cpu=200.112gc=6.8607zXZִF! `]ŗXiɟ{,qtM+fDלA l%!tQa|ex9-G - HOL-SMT_Examples8 -;? (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(Sh0!h) ~T^/aSʟ\u+v:iPOGJ{NUհ !C0,~*<`|6/_+<gGFzF:~Y1p/,pB( 52k=#YVxb;.%L"! yDGsm7&I9 rr;.d`{N' yN}SՕWzs0aMEƪx4I+Z#3!%SH;e!vHGӭ}ǻX0Ҁnmۡ˾mO|_iE@Z<$au fO-#itUC$X+2if|Z˝4#ἝS5y"J ~`(Ǒjy!y%S˦/_`b_&F7–"Az0)] DNb}&p8r 9'D;Hesg ?ܻ6X0L{v>iAEe\klA@idx5s\,\cj{Iۦak\osȉp)r 3!%s$ӛBnUp0ؠ;YCqa"&|˽RmRP-~ax5U6Ѿt w┰jC(dbm,SWEbPK#RM}/,J c Xu<u ݅/aQ*Ğ\NX۽n[u!yo/&/nsDhǃ=N:g{vف*V*nW(x)/nkkCx$2OiM!EO{~i[_dam=kigM! 7. @M~l̑48g_SIU޺8Bg36aL gfd*`y4TsO[+\1iy.簇*!%k⤏c9ؙSZO%o~#$ k0H/05t.LjoaZ3"c,LHH Pr%4[|Ԫ_ z'Wk=u?f U'b(Oc%|CRQ:ճs$cJIzrWf*Rݲ8k6#C.R&NwB.Cs=YK/w3zx.+RBa-RuDt-GQ!Pܶ=RYUpC96!cNg䅥ܯ~*@3dsNa&"n`-uzČ|ܲ;MrʼYכn,h]{i(FI~3$Oi/hpU0o=Jhh2pѬ<l|P$21ƑaV ݪʶvޛg[^~B~506Rkl;É$B:x!X>,g~ְ'YޝVJ"u--#zZ\F Ӵӱq[#׿;VJ8 K $5KD2ΐ$j\ N 0t͑Gh' ~mĵopVZfy>x%u9>VѺW-A QT OzyBa\38ooI/Qp.SQ IWEQ8zGFM+q051]_xvjK]WF5;Z 43 yҲA&,"a G%HﻮcmN\F?%b<н`+UIƟ+lb@,?jNKX1@Dˋnt_ͽZmCgy6T]y`AZ;HA6BHDCI·˷j0*~I")ihST%nI>Cok!L+->)l%Quy?N"K/ܒ}|O'\VO|tKa0곊q]9(ŽFD$!w/Hbt,wW On`f79 T=|iw?Axi\)sT.;|Z5Odq{I'Ui>7YyvLN%B hVataeqA80s"Wc!{tB._x |+`\dG$nS92Jmv¶[~"JGPݣn!֦"qQ=Z p ܋6ǽI!+^)Ha"o-rTs-, CEd޺ȧ]E{ͽXD?x_I ij`iR뷑JQ(L="u76sunϦCZn91YLޓH1GcU n7vŷͯb%|oLLTRT YHǸDIozPˤK|V| uu53S f#"v`4W9 t]+%[ݱJDKL04: vjԨ?*,48I"ifР*@f) JP}M Tt>`,G?`A9! j5v vTSKNf546N^nk,UgD#e^ Y ɝ[I5 jKz2/^x.ҧ$zU\}<u`mCL$i5DW"*]n@A}_VcxapK b0MFϝYuDz׺|>sN5i^:E p Ȃ[RAht.ibw!Gy0i?= lG8qDp!/gZK(=!y3 (qf=y*lFaۜaS|f7[RV B6- ϩP@&ɟ{d+F& }8zedoqe915 Ø/.)o=6 B: 孬 s>W{}+]7|XNdL#8wF&_{aFj 6 DmzsTLwxlOjdKQ>W@{RF3IY +?6j}R׵J幜"F86q$6F"Wd֓lϔ$Ma=5AQb[ `'|5Ў aڲA^Kqso=ٮJ CK٧h"i 0`I\,d[%[< t*ݘXZ$-pck r-d%zؐdÁ5xL#Up 3wpp}?C7Yz|Hx\7c?E{s֟JU6@WH) .VOd -DBEAq>z^L]ԗZνI&",5ܥ<`dl>:)=ngn/`QQB,.+;WmZu³dc*SAߐMPςw5#9J&B^Z'q'VǐQ;2,G7m,pgSO?AB7xoUY37U(DOVΒ0@2z46-t􃥾 >)sd֌ gU۴x @3|{54E:h LWN$ht }pfimHomQίdq?ɥViql8sW?|rз:TrZ05vrɪCNYu{pu&T=m7R Z&{9Ew vd%p\U"J1@?Qy#e m{cr;Fu@c^V]pgClmͧNl >\}(.Fhzk2h JlgEXM늽Zu*bA 4o-Xδ CC[:ωYlKTJ{/:æHȳÚoXa9ÿ.0t)YD) #&U%, LrNf{ "C[_o{.@ }:p 0a[]$Qw=UH萇\i ?O˧mþSwu DŽr\6ijS,}f ; B)8݃4?@j8%n剩S^CK/xxęّAʬ"$J5^( Cl?r\VRU 2#4`4/AsH,Dg1}*;i4M)9lgq[Iakñ&$zTY! y{ZO/L]jݸO; Ku#]p!bCi(2qK\y **c 3CQ%4JyBű=7kLT1DwǣMFm ʹD޺8~g{DIh X< Z⫀, `hjs|p/5 >,۵(gʜEE@/R4WTE\;~JQNmkbL0VvZp %ͫQ3\c Y {mf@4?;MZcv.f >y.sE y~UGȨI[k~`*WNՈ #d(Ж][JԽJh(\ 3V4BJ5M!nj,#WL)RI.q">DKChlQ)L{~VϨ9ۨ'N4#8bmM\t#`Rϟ3,D8B0ӣkr7?GoSIXRPSx? ykA",*g; >X!ۼ=lOט'oɪ/7Ft:FzPN1l+&@ 8 P;}T-wq!3D~_?&@ ~DIwfIqqQ\sn-E${B 3Yw?[4dy llc sir+ݝ`!߰y1ٔ%*kY29z̫_ЩRir<Ad aPVi>LUSju`S\#n'a{Zj#$('g{zmzDuŶ~ffrHͻh ÁayԀ3Eoţ"mz:ƍvłB$M{JjăT Hw|\g !8tJpp3l&a1x6;OH C(GnCrٮNu׻ω605(3_{ SE.Ry! jVP q@^Ս.C'FʘVdfAhlɍm*}r'˝NauV:4`%C؈& RD;aT 7Xz7\Y^FjG+|YMJH:~B@k&0KN^;/$`sJ,8ؑfڭi-2fn@^a6Uc_9[_k|lZV1jU` YX;y+5R\q#i&#$V|!Q6D\CI*Z'_{ >Kotxܨ>5&~*[,/"KvN3} 0>~8 \z$e :0P ъ Q!8)i3yzGlU,%셊Jj0 vZ읨3~~|Y^>mH2_REPI< qC32q5my_Zi}!xX<L(7  X]GV}Cg@%q|I8BϱwoH^_ဣ[w͋ {_h't(B o=&)oDVF'DWe #"7 23.:1ân)ْ6pOc$}Ց:_!=}fYi }+ӆu`yO6/P+e_U":,^&%&iQVMÁL"YgיnLYzQ@hf(zM>NIWP블x`ؼ24'MUe[IM7YWS|nn[NƯYB0y3oឳobt'_XF#gIZ= C咺UH+fgYZ UU -;? (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(Sh0!h) ~T^/aSʟ\u+v:iPOGJ{NUհ !C0,~*<`|6/_+<gGFzF:~Y1p/,pB( 52k=#YVxb;.%L"! yDGsm7&I9 rr;.d`{N' yN}SՕWzs0aMEƪx4I+Z#3!%SH;e!vHGӭ}ǻX0Ҁnmۡ˾mO|_iE@Z<$au fO-#itUC$X+2if|Z˝4#ἝS5y"J ~`(Ǒjy!y%S˦/_`b_&F7–"Az0)] DNb}&p8r 9'D;Hesg ?ܻ6X0L{v>iAEe\klA@idx5s\,\cj{Iۦak\osȉp)r 3!%s$ӛBnUp0ؠ;YCqa"&|˽RmRP-~ax5U6Ѿt w┰jC(dbm,SWEbPK#RM}/,J c Xu<u ݅/aQ*Ğ\NX۽n[u!yo/&/nsDhǃ=N:g{vف*V*nW(x)/nkkCx$2OiM!EO{~i[_dam=kigM! 7. @M~l̑48g_SIU޺8Bg36aL gfd*`y4TsO[+\1iy.簇*!%k⤏c9ؙSZO%o~#$ k0H/05t.LjoaZ3"c,LHH Pr%4[|Ԫ_ z'Wk=u?f U'b(Oc%|CRQ:ճs$cJIzrWf*Rݲ8k6#C.R&NwB.Cs=YK/w3zx.+RBa-RuDt-GQ!Pܶ=RYUpC96!cNg䅥ܯ~*@3dsNa&"n`-uzČ|ܲ;MrʼYכn,h]{i(FI~3$Oi/hpU0o=Jhh2pѬ<l|P$21ƑaV ݪʶvޛg[^~B~506Rkl;É$B:x!X>,(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+1G3CN jByKNKMJ*7Do3XIFfzbˠcЗģA57G*No݆S|;jrbZo$iG3ƚ:^M Ahyޛ #f#{: ͘q Br|Bi7\1pFuTT輊9h3^=YɌdq;gsT|%<lmheT5kk$ةklʞaRT|VhFC{u$5kRDT1obzƥ+DT@v5e6]W zPn?;H:kəNQ®l~HCH7!ǡ+g<3P87`M^n>k@$M~U;6 zG.BD9x=hS06rѠ̒c<I]GWdc>g>_GmŒMDVz3h10 -& EN^q79*HjKv.:|/1p V4¹=; Ʈџ,)JNޜ; M!$n#) k"wo /PS0YeY IXn+:^'KKɰ o͗@!TW%nIn+܆@|yT1pSIK¥avN2Xvn}+X+(7y~JM^z^qAv*Pϐu39e%g}OɎU -)W\f7u?]0pStpblVD6_*Y<3[8uU5hǍEH)0VM%g6|x*ީMN8CfPiBĞNrИA}.\`/wq-*-D*{bhIO)oxj27ČIxV[(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+1~88 f/bYg@w$c/ "0Ħ U4A:iŘw~ŠWp)8USoΗvjaBX!龰4a-7JkI<<U-`{;zkB+ZyV~T J ){dC0`srݟo ,LV6_3͌#[ 4DZ'BPgoQrpoP/9~^9^%#AquMeq@&/M?=UPu8Ulmg{Ci)љad^QQY>5:b4Cip%rpf6dXG_@5^8RI,[+~MDh5n}#TmX|B|4H~.Pf@ =g(Q; 3hF &M{'mvc 48v۴}Yf5t įWld9+9/wYz6DiJY3όI_^کZT7-%)E"XcUI]0U2Q/2kR#|d8%U !0jA,1wOxmUm홰3jn,". G45%svB75 .a.<Fͫb!OXp׻WE`R< ţWJ4!R-;`%QG t\5`fؒ-a`H:$)H=.ͶwwTBaV`Gyc6'$H{il?}2T<#R;*y0~ovMDD{JGMPIU=m&WtԄԂD( Uk;NW |AzV?im"з=7D֨wdGmyt}0-rק>9xKtUj kĢx[8'* 2Yj8aѕY!U04?uhOhϱE̯1@C. ԝ?5brPS/:{kսВ鳶WebUf8@~+&ܑ\]07Z*%`K}FJ*ԖzABF{AiDxvM.$=zAIlM7dZp,aX2mj`:8͖ ̜/@_}ˏj\فo% u)j"&;b@͚RTt2j(FBiw=xKLqr^ة(~vh4:zCt6tP0K5l"!ٴGˆ`ӈ1Zǭ] ֤7pm͔VXYTRy0;tGES3V+)QP0L KeEEWSq iCfSܷ2"+"Gjk԰v57dGǼ%HPe_~O˛]~Ѭ#t["u9 FNk2۹1^Klی &[V) rq \<|JJU(oYZ"DH+VQB2,FQdJ`%}&$k¾:j)-DkRS;[c.At|"!^aW2TQ3v V^7 I$˖Ed *I :ʋϢijpiZ$B3eix"d5+ 8[[sŎ07 2[ŕ^+-SwI<t8M3p83V_Frxt+cBb>Y۾-$:*=ixҾ0׹#FkgbB³+9qĔy5J?EMohQ&WzƣWi(O3EV8"z/&[ {J1߾VS0y7]TH/`׌6,Z4\|~/c*ƽ~غ*-Nw>16t6vX%UXs?[l:6OqBQǘecLo+5l5[dȔOnםHUvAm&cgL4Nxw J&Jm q^;vR_Wa˚{/'Bf' vpWI u= ~z!x+6dsB, r4xivƭ쟳a-X>c%% jZ0" G̪93}'lǒRS)s?&:?jn[y\wt26H.W"uyWxڐ8Xs=MTj]/]kQR ex u) ߠDs_76DӺ݃S'LHHv_\|:Di2Q2qhW _z? Zuz4Uz4iVP<Zj҉7 ^ر9<ڇM8{ 2e"dpkT[cͭc+`:al%䚭'g"hd*#1* :) : +l { O1 =SF|xnn}/\ ? 6j$v&j'>z\(c_L8OCs梼@IFo1!Yc2-!PR*O5:!~8ON4d';J-pJX74TIp|` !|&+:KꀿaA}*ZPvBP@vNPÉa Zzy{hiOw6t I$z:4 9S!ù# kFԑ[jEQ[y$| / .xqDȿ*%0$R,zgON G`U 'gCe`( /%`RWc5tPZ Of@WQ"P찻; dbk:Q 7 d99sP7y1eJW#G3"2?d!FQ: ~|C@~/9B>aKP6ni^!fgT0V"X9 S0gڥYm2Rw0'ްyĄ۾Er(K*Z6ӝN %Mxpϓӂl--2SoΏuHߚl䪪NBU)X(GX_|5?[<Qc~WGY6&[DžyV438N*"hA'N8NhS9\ ~ѽuRX>eY[ONσyu3drT3!J/5Q }LV7QoX%͡xuo!`AjXu ^8e꯭?){p@*Čs$5D"]r|r71 uRŁgSn47aQnJfIC'Q9"::7ILFrNx8c-S̢48w0{Ke>Q|Xo}2Ǔp%J(_/{a欣&EF\lc PL-P|J'`2u|֣CJ;ghbsߔϔAڽ^ewxRWI:Y`͒'W$K9DunTI=_*4@~Z$nΤ4DsرMOnrNvA ,PXj3VJ{U]ka.| X.`G e v[b5R#gŧZ $]pYu{ /5aXD^SQoO\3uD#}A`28mO5,cr*Jt"2jv_HZ*[6olsyp[ Q@Sv48r(څz-/p 3j5w5,)z挈PTٗ۶Z`3;#r2^ꙉbԊZcf3$X> o  h;^f dW>$`$X, +-.-tgYZ 8 5+:(;xJ?##*P]Z^?A% 4+_>j bIet;!硾B>[YVU/Tjd'ϼ>bxͻcz;¤# ryH=VbvPFovpݦ\1P5Z$=f:& XP\ZsI^eoLq]|\Cڱڼe>SJPCjiD "0`Њ/xVėt®&'6[OQV/gdV%J7x@8ws@5'Kǽ +~|{u&vMc<'oɍXfiI: %1Fa/"!)[ʛC5 ܸ9C3*Edҧ- %|RJj#C52WxϹWɤHf龍҇oeԈ[V8EC="5R{KNisd⍛Bj& wM=f)Q{N.lT70rcUPʡ"T{i}54v>Q=ΪZ1S$odPM_Y<͖҆{y&cF:oIÌ_12'P"s<KhĎ _rMe :,n Z=9CծBJ8E҅48'H]'i>un`|泞JBD}}-bhbN>\=s{_?&L\ƫ. 6bǰ9m6hmH۴/qޝ9GJ ^76{Z]E5:+Hç"̇^=]!/3$>W$ms#2_KUg3wC:mEz V^j[5@* m(Lx ekBE:"WP 1R:)2+-UG5y-%71WvGOt_YA3 Zf.5x*I`=\_v" w|8+߼#k[vXu w8ٵmQXvې08^aA@}R qn]#TY=x/3ƒVkk%i.0t–\UXg.AywTRȑ w~cHͬO]7=srphY1KMI#@n.t d8iO,S2**+Ery~[dYsIA=hOg o|%UK_Ej8@J eB5}aZ{z`PIFS^'P{*&&.>^ H8_143Fk"=@-e6}PcW ;7[$ue  )tS7XJc!ϟwܡWE1GS+wY\:3d|hmL,,bz/S~Ek.wֆU6V-e)mPJ?LLi%N~ӊU?yCk?ۻP5 ;~F &= Õ$/U,9QwZJfB?nhok*į^#0$_WV`l`C*OQ!D.*#t , G*И pBK~* $rt4}hGĕ. ϦcH:ld/`%5cY!FpX8]LR9IIC;A U\j_*y^}oX9ʧSOL?1;P̬cV˥M&e 1N<VzC0߾EH6eSEsd[";أG`GuQnk;̍]xӎGkj'2uIpm>PC]vd4Ї?1\غ.; *^xKAWs@Ug%ePZ|> 4 =3;`;.3a`3L[Ad(MMnsINwI)ߠJ(9-5D\et #Fbd<ԘR?XerH>iFR^<{g0VdvΈi.|k(ױf` 3"ה +Ӓ;MZ|Pfk:K7gAW ͬAɦS,?ECC"Ś7Yʹ "Z?Z~h*fP9Hx,C\|M׬ a8݋wv1u9ɈtthMǨoPw(86V 2m1\7\8oF6G1{6#>}ɱ'ewWloU+wi/,06F;ʱsQ.Hk&XDUQ ja j1i{"J1\AWeTN6> bPR0PNNAlmmQl/T?XϒXMDy3Xld0d^jͰ0:^[SGU쉑@Ąz:XNh!/-|d(-lҦ8kH`m-˒g]tNh* KӮd0(?en̕/0㕜 a:; !Pq\nh9l]#%nKseD VLbdbfrI=gqN5'7T[**5ѩH[\, 'FZ_ߠh-} L!슃fN~-GcvU;QȔq{Ϙ˼1tm.L:k w@FX'0ɂ!RSDBH+冻w([h| q2vffb~|&=le5]auA4utPҹ+e=&5f"~;, J-M.lc l~&WT/kwvWѬ9R7~: ]ŎyN:Q%Q9WN0ɳG(~=u斮mg]&IJI-RwESd8~8`o|A< C7>pm6|8~ sO#ѿ0eMԿqiB uzR0Oi\S UbrȱzBcM\?(3ݹM pvo\^ L>72Ӟ:2NxHk{j}QE%P5_֯($3]s>/5 n-o?7ւ~2h(cꟻ [a◈T[r<~kfӴf^cr*(iV2 l S[zLaf\N߶²r6`~f0bwiG**tA  Ô Z̫htM.wE'LY&"bhwc< =N(AݸE۾D1BK8mؓa}EorOxyR!#>쨯Û|3rFlkAP-t@m>FF8£-We1YYEʄwږTkKlBʹРY!c-|ߧw+\ 5~J~gGsZV܁*ٸTSV"`  tL-հٺpK{$42?I: wMn#J `.=C1+i7 W/k./ePHfHQpO"=:Jwwre@s̈"?X,/45(wp@/h/L@N݄,d[$,="Oj*8Πk fDyAA;0Ǥ̪ÑOxm9[Emh`,{!KcE;c3j|wxDB5mhԙaGvZTe4Ԏ-0pQf:xPI+£ݽy4fG_Z65vPv THQ]}wVmW8Gi7k^UYA͍ٵρT[p6D+#-Jlxq`WߠuQj~GAL7E.Gm'{D=˿EO/)JAh]yW'MXA OI_p-d) vXJ^4ݳIUQ)8K-tPbUfF_h@^HttC)8s&d"<LF\ kB?[ brR4_-ܥH e`gt6ʷ )U7$׳mqC䪅LHK t.Xb)O@OLѰ \J\P:t-׌G~Ƞ:1tJ;)dkZœ k>Q=*zKZM9Hc"g_[v]OU~~Gul_[f%N$074e0sVy<#uxPs@pjH3_Eaĝ0fqsTEH|$F^ oXB' ;o@mK]'<񪼗?ɻ]vFjMJK2l)1,#s8πF?lDq ,'/:O^C4԰*tOȁeϾ3\gQGZqX ^h!+P)[bmmnĴ45#C~@AD}lpIu%n wπ~-O6>>cy(A^R&JZA'w,bҫAVx|^4gzܰi$~l1Sg ݃ [' Y $xzxZ U?nYDE!̓-D+JKjajatz† srJyt&O(NC&8ኦq1W[14ç8,\lt%g MrZZ.1l ^5]SOLŒPBm+y|Ffv9bQ9{]Ho:9@=I yXdSB6dw^Q6D ] Qp)N ~}p4TTƎ:g0].m\,W}hmB$*/dXȄ VZ1U^ءJRl-n$yN업H-PV „`<Gc2y`͆3 9{Qv샿dH4Z;-'ǠZ-rl60 UIxlS3!gH<1L{NQV܊b ?Ƃd hk(~䨦y9 ɟݤU,p\KD|'YJ>^c)5}^{-Lr."Ur, m`8PP)7X*No8l^$taȊ&+n#E͵T+{ytQ^bO}.eR#9ovfeAVfܨÒ@6Kq# *s b|zv $Ms 7kpћZ--i(:O=qqG2JA/jS{ ٗ|Jmى)2I{Yh^0yxPi۱TqaJ"TzwdsmVti_7bYY\ 6[O];)¦byߨtbR␈r 61 GR+(~)ةF?;bzOG4{H*-inj/M lF:yCD%~T}v|heCA{-b=w cQr] ;JE R!0xt`3'"y2VY?I@Àr#E 26IE֎?oE6yĒY 1ϭkX->+񀚬\>Thri uZUNM6g RƼfg.WhڹT_5A9rgYZ  ! -A9 {j9 aTq+} H\L<-Zh# 30quvBn߹1[! ޡosˇs#3KB4xN ,Z<(eG:H?bL} >%#6lX]Me@π&e ^FЯٮ94YT*r2K!l{>r7MyHw'b xPa> O<- _{XVnuXroaD7KAFGܦYeWzBsZch@:D!||4lck aVOtrG}";{J͸}~ۖ#<0d \ -ME HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Tests_Veritdocument/SMT_Tests_Verit.tex7zXZִF! _ ~]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cYxp^ѡ&e?6e[⠡,>BjU^oSx-]b}\-B<}̟ /!B?wrl[DHsKMZ)hc2HVuL2k%_"k"NF>'"=]]a ;:>s:W=N2vK;Q,(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+1c}Kr\8WvگOW3rGH/|{G&T6'-T;:nX.t.IwlaAh~z;'n- "*UH lYav2pm[27ԀItI)/yҝ,06LR8lJ5/Z.!DjS uӻ.sep"'[C(J mV.wDV:3nd{l/-]\K-Øx:KjZ͊,JrFx!\,ѦFfg] S$:w]sk5=#D<;XDeV^N|]Mˬ[ƠU ciPS"UbZDБ}aW'bwW~ Ǹu<~) =<ɣIL$/ѹp$u؇ֵn+_"ӡqHʙWk--3*ɳr=UE`6j=(׊ HV),{ԝiSBFq{(euQWE?YפuzѶ?ؠ'̓Z ăV:8%[q9Z&$7#2GXB%ύ,l &1\_MiGرB&R:<;ּ:C }2w=Ϸ3 Jxn_`M*3۹KȾC,P[PN# #G+sA٤s%jR.KEx'&3c ?NOA6 {dSנּCURXN&h@d7vV:EǐmF$XڗdCH(b4kG^}I.A6աT4; I.(z2wֶ ZVUp{#xMj Dsh$QN鬋&Fx~7jPP?ҭZʼeIxqL~(QҴ{ZZ+O8a: h#J$a@HSmɜ\Do2=+h_#И$Qb`sPČJݑk^~q2tw&%5ؒ86B(/TbW~%<)C>rŊb)?y{4BA9mBYɌ1ύX\m4V#v45%| Jrg"8xy(kmF4=pa ,d5u9Űbks RH":R!s\G%=1-r%%ʰZyзb}Уֳ [&4"﵋fqۻloU]7}*sJ$aQ{yZwKeqք zG$gK- OS<ףϬŮ&z2=NÀHvk%Y1IQ%{pQv“^N=ˑqs{L- 88{3Cx8-p < Wiw#hZׂ[5^b]lx* Ō~\~ܳP8QxN[ŠI9^GʟJx=9R/< VO_^zFC_rNM:6)tFQ?Vz\#%HρcG20 lDzؗhPYD|orAѵ&ntʫ]!qF|TITԤH)P-3: GӒ g5"ʯC5ϴje|/mrh"蘩N=g5)S֑Z(Yn4O<9/ ޾)‡TêaUyH&Cw$N_ mQ׾x+CRN$䴻nGŏ.Ţ$v rZ$S_  &`e\r}eaJ G:鋾i7}\N \[tg-aERPVx6}Dd^hy4vu9Fz)zAgĭ`:Zg@*ǥ|z^-CxJq$Z=جUV%qa4DkŽDl$ߚS;#;;ܥ$$٫Ӗp*E`bׁ̀m|ƴ R+A)訅!2@<*e@9i[7(* +q}b&SFahpB l`4 Wj'Jۺ^Kk]Udaҳ G"1+Q)wGuͽڏ`탻VqT%= g-):oͼ)˒xVCݕDF5@!y4w+x'^aJ!5Vz!Qމ (aܜAsXG}TP= `kwsS~]3a* }AKk3q@HoOw_以V#$g w?YTq 3 $z8ߗ/naBl_y`m-O!5 U7{+W̗kTSXs0k+W^Qu$!PcuX7in[ИߋGEegd VC3hD=p;_p%gu4}r͏rl#@r~ Kj%$k mm1G8svEPYɅS3_(? $݈> &QEtbv&i׶-xGߣL<{Lw5.$yCvڄ(i4, cI[Ed¹nwx\Wܝ2>SʉxˠX!akdI15dRǥC!θg7YUJp:,Ҹ$>}C׿8b";LrGr_uׁLSc,՟w1b}؏\44;WzX]jy ZΕ6rMQ'X+9i޻ElXFճI^O(HN`! ,s귑QӐ-NhxOنE,4}&$lS>c ig ɖ%YFuIP IBSy+_ !+KDŮ'$dϠ+PGσ|f;:h7uedMZ6Eq^W^*'[avLnz$n;GP/x/79 *AU˗"u%{L7wO|(er K7Fw?z>0xenPRRS 8ku!~ӿ&P׀SO0|Q*e˥XejkV_2$0;Y{C9lEd%r507Wqg54IӺ7 v9.O-+K7SX;jC^n9ʥ~?>#iOp}!I<dzU.l@띙=wx3͚ YLwKԴ$߆ؚx.lQ8{Z{y@IȠ夲2(-6P4>N`6iv}KWRl\d Yth㠧y.ZB (PD8Ѷ7`:$|ܓщpT_ o7ky>Pg 4)nL7bvqaV~ ]jEB.[[nlqNXɰl: J|}@ܝ Mɡ#ת]!Jonr-;zJEioh: t`$yqa=k>L:xXpZ~Al>5(4Y|?4 SC%,R3&I4 呓\u3WEFQ3k̩/pq46 QN )9x!35 -y9;]s@Oz2Xzzg>fMSnԜTZ'z.u׉zYWMP}Ky:TŊVhaR!E;f/SSʢ KL%<#@֋t(rgpZ%SפQ[O?ΰ$MsthdY48O;8$ѹ7ZM(ȕlh'y@UeNs*E!,4]zn!п̒p<՟6NwVɘԛDžܬ Cz{쉙"./' -"dudž>^6|tʼLvQ&knS]>t 3Cqc㤨[EO%IY~z'5nWO7͇-`~Jyj!Zgd۫$&dshdZ=/q^}N=ϠFan$cz8d@xpG/%'hrZ?}[e(3"-ʼ+r o͹q֩r֯ھsJͥq&,^eP ᖿv\s{4Ie{}gz`P=l{ 2]_rjWiLŮbĕβ79ی8a04 z[.-$$a#ADGW'92+~+w%bN#v 2NK>kn>-.d/=Jaaw帅1RBXG66K9ѻ{ 5' ICkYg'0#F@N7N[wb:fӕ UA)\܃..m4,wTYLQZg zp=6> ^k&S F:GH |Ϭb"&=S?rv-׎׶jO!==43,&zEo&1(vM\&LESK6@pĻq~c ))p|?'~>8_ܕ'7O6;m9[,1 _QT-4[*bo4J<@ت0E<:PWaS^3Y$o Ê.DMiɄlO6ZTz7=J lt]Gw5)!wU6-nIۭ?Rئ])P~A=ߩմ{Lc @YTG(9\ö&ԧP:oĒp%>Vg5WvJiB#oCT)+Pm$FA[Lqɺ٠"/Sn^#W0_mgH5aYOt YLqZe%njlB^/v3tfu) 7P *n\Q=@~E6gꚈ D\qmL4*'`Q&_K1:dks'c,R7.{$-~AnDP4@x/x8]rc,YZr %~5k$Ac˳ZR!sbt$X =(UEcNFI3! !=L 萆lPf/k-!B4ѕ7QB[yjBSsCcj|K_hXW2\RN~.;18$- \D);S.U?Mǟ$\I}EoUй'%]-œC!`g.JSܫju$ƽw0+G }z3qOrȹ:;cL!m!(.+fk3rc ű5nD(xvpe}`!n!$xqߦKG>AvsVuusU%K(9]k*J;\Sѐx?hї4Ki\\>Bϱ|樼$u_xnlm8. yr/;cfҘfMԃ﷏32~l#<: Pհl'##׎}(<MezmmLDp}٘i>qpRWa(䠆,i7_n5&!}~BKq-C`zn[xͤԜ χ` [„֖Qh' Hx}h H H`-`95ڄ@U2㟶+rMC,QefPO ^ RX:!L'51lMR'ؠSTѳЯFWkSHeszKF+[YU1>%ADp٥6 (rNŮT,~H‘eܶPuA"Q lL7e^!BW6^e<&6²|3Xe/E%u::iؿVx Sv3hϛdͻ,S9hd?OU!_\iv}GJ0|/l`P l_)H$VUy↋ vzcfϳ9Rq cM"=ػLknOiFlZ);2#" h@'c*a>eҬ3 Skuri2Gnؕ~*fC$-_Nw.Ѡ{FmUf}LŨGםW`ƃi~]O&>GxN)|gƨM*|/+J=x:)TBj-n_^Vܫom\LZtI0Ky[>'4D}BZ8X4]B+eZVcE^{mH#ݸ3C #)+_ rK ~1[o,9d|"pn[o2g!+?Q,>΂z 9\ENe@ sXOR}Tbpxб?n lV:|Wl0TX\("{tT~[~+f^&;-{; :GHbzf /lI]9zVpڐ]U2=}58%ژ ߰`AeD} ?bj&ۺb¼F3Ƣv|.sRY`>j'yq+Uԅ.xWLQqu\Io)tg2:u+lOܢ'm:ӭ="E$:8UvngܸSg/#0©߂b  E|~!\yP}@kH«$oq s'dvqU1{D8!(#oAڨK=~^dW}'ir^pM٢ { /DB^Hxy ^p6c=[4R iXRG_]* 4W ߅Px ۊk)cG >8'扔x@2[wLB lz'QIhgOuDoD&-D ;C|sq\&u}dSHNuhv+S b(7LKOּIG5fF RI3.^֑gEi5;Msiչ.M8XԇqS::z7Fؔ^͇ZVgv?D%L\}eħ )쑗Ҁ]V V_Xv qP%`DY=ӭ,lZ!o0o/hXIw&6zeⶮ.I6l,jD%}/nWRE֨{کlzo7:1;6qҩQq=:$&[C=kf/uO r32( 9>O$OC>rB`3s:3lH(lG0PK@7kŴ%>>' \h7m\jipǗϩ0 zz ÊG-k9G7+G7}>F.IT,`&L|+u>|bH u*; }TĄć^p? wU_fuQr?>|"8,;VN*z9c!^ KN&*trIM^9zUI8DB!nR#B$5UaL$!!BԦm<`N1ǣ9}m{ k#p9.]cyP[i AJĤh( 5!vd7FIL,sZl/ỹoVKΝkmre ;vh@2Fb7#bG|:*XÒE O;@SSiWhTr(wp\|=_%,!iP݌ᱜ_:8XS'K ˀ$㗊ew Rps-/DoFr"s!1: ̸hC@ס"a!0]8a8Bw+{I4hOR<[nJ2.4vfPFa]cfe+4\Mr (`qo1_{gM7lKJFFޤl)`K쥫hntVE*$S2g| <"Q~GD0G),YT>u:im٦ T?ITݗ'tgg-ڐTT[#9 LD{IP@˱v؉fHZ8>WiŎna@n|K* 9XӀE V-zq S9a>uiKҽ2<^^`oG,73`а;'1 Ҏ:%HF72_l'x!a+zSI˙b,^w 9vsAea\PWCQ-BRYBz:х:VJkKɰy8X[]}B=ܞPlT1_?t>3 Xy"R_Ro-I/e7ZHWC7Y/_ `PI`ܩ̌llTFD}*O wYWʇ'"3o5ݎވ}SDžC|&yvTT Ft&; 2&?O UB{7i~ᆦNj i= Q(H ~lݢU{ qc6|g[tzxGoUk=VTȇ?YnLHS?J@\B\*,y/P>;)7ȧaX۱f]muU[|wp" !mMzj C i~[4#"pJ'.q6k% |;iҶv=9cG\̻I6n)4PHUmq :^9x`G q异 HKAt?VN샵®!$rpwTLNJ,`m{jHEsrl~ 4ptΚe; 䮬@ʄ#0B>Z4S'nXǝY !(>WJ_ H3:?I:dCr2Bi2XVC(*PH +<r-- x=&Wgx6p@KH-+ՋCnc9( 2-$X|;B z`Oa_"t[7˓Zoױ $la~uc#iO )4MGUK5 W ۗ@uI 6A4jl/di>^^p@=dD(:Gѹ<'C?GD:^h98M>{+ A֧ýV&v:ɜɆ@C#Ns Z7=:/IEq2WΓSIRUF&g2J_R9/' M'vZyU$12RZ8@JUs6A3"s\bsHTP69\grUH áiG|#Y.))^1osD {xCf9-zhHR^拭?Yd!+[P7 |yP ]+:;W;UTSáݺqqNJ6c5M~]ܷC7J1&P~9WaV"DC#Q DTi%,dTExj[",ubek/[}@E0_fnPc5qX?'<_42گZ҄iUG^ɔS'f$Aʓh:ǭ;mW"sd!tpk 㮱Az~3Snlgsay EZϹV>Ot!y _Bԭi`Ό սvаY}f bRm8orUP;f/OG4r=p0I|iH 7-K (-b./K\M-'2.נ^+ j'դ7'_ %[) gV8;'vK:qA{benjBK0h4;v=7ס0"DA( ud$4 ],NjC]IbHt_W\7\JRmtl7 KQ`~  Ei'E-m\BnU3bog%~F+@Nʩ6{N<'"#ؒz6b4DR02lr^ ,CVIᏏ#~Pc;-\92ir{ԯ1R_%L *Kc|ڵ)ȰtH Qf@‘T8%)YuL}8s of Ƨ@p Vu.26ۄX{<=4 o{ x{)h@N5kqi>_ jNJK+Rj 1`24_uX@ M^#B ˤ6}dtmG4~@8[͐松"T^y\dw+xdixb>z"[i+he5H5HfxMk3 σ(\&|#‡y/2FWG 5L=Q _ H՞݆Gn @UȘ#1M;NX:Jn(/I'h#>s >1^dҘe0SC6CF˽۷?5Ũ^8À֝%cL\вo2#WlJqn@|%ܸi_gPO;x{(WSfs=WX7D +d^ZARJ1bJUX#M@rrNb.t<~iE9,:Ns4IYy -s,j3Мe׬g{$ tJTDPmF\f>*UþNVBӲ^ѽ7U:}: 1vS̰b\٦\/ε#lG!el@fz_rB;@pJ3Gz89.㘇7n>BK,܄MSC5/ y wjrRUP&:ĽlmF Dz2d<=In 2OފmdIJ%T'No1 4W|W4}y.fe~VLr#f$ȹk<1bu7;:1b1n33PQ~תK&'t(#xRbxcB/,? %F1f gfR2Clܨ8~Ox@8+]ZFqBj uHhBUۉ?UI/>Duo<,`Bv I$$#6*+͗ -% zI..~nYV/&#JFxÖ-w'y(x(nv)m FaI BJ4gYZ0[x*=D%؞V@r~@]XBבA_zu(ݶqu(ŀ&-֎.Z+ y"k0]2$4* w7qkۡퟮ֦s\X_?>h\Vc*p4~`U|UVT:S`"bA"]SMS)jseINVïk1SwmUqь׻Phk@8bf6s_o??SB]Okoa]dMڏX(3|ߪ*yOTa:/jy)T``Dݡ';JpPsβ%Dbvk9$7?1Q}U(/_lJEa m済lGX9!Ċ:=y8Y?i$32k~Ӱs3'`y' 9*bYZV\[U.՚2S2QTY5y8%)e W`L^0Q j ^s}kkybՃhy u>YHxM '98*gM@ @qXuc~o7SIѻVC ok$ !_Em`- *q1l ӏ[zݒ!_ KQ A},Q5rzQ͘p_P5#N{n ի6+(+' }@wߎsv*&$w yi/J,.8(’C`Vv'RW]$:cc}/q~ f46H:OL{˚-Fї>ķ Ql@KIޖVfiTsK;q{(R7 ʌցhNNb¾MH ̐s̷O`aקq)o٦+O|kcNW| nuJ}|,rϜIH Is/=l|"͏Opao6|ZF|c4X#(;$\q8z#1TJ{ft.+NS{/X9v4DzAT;x۠":V4:$Z#1Hĸ&&Ԩ^Y DZ~jxBN&߳_Yn~~C5+h9I/XKPmg//r,^Sb ;sK I!( Tavd..bX8Ma-Bs'?h[۝&Ac=%UNZvBTzwK+ 11r#9rBzwXr3Z@ #/$+Y91;7S5>J pƘNl4 9#S265Haӂ{c>X.䰅ǫ+An[ (~d40?&pN J;M+7džQJ$FiZ3?Ya.Ɋfmԝ~#Rc(&r&h- $Je2i X~/a6hTσ;5 >>@ cC=z5O+^mX٨"4#- ٓEFHU,oD'7ac^Q ЍvԞVkͳ(a>ǣGsC+_BmMF@wt܂Ht&cL> k`lL`yKtβڗ)yJ`zq@,"I*7l#gp1GH=tq; ϗquv=[ڠH]I1JfYK%a"Y Zq_R GU8k`d' V4eLN/x_ХdCiτQe,n. A#«y, ]MGDlF$ZdXٿn 0,8:"MsY_PxV$`R`4Q_p$yvK͟ >P{!G0o&unнhdᅈ+f>6fm ?__ |R;@o/f+Pz$Ms% mJYTB?+on\d]$.32j@4;_me@5`)[} C2E3m!&]+&!dD*^&0BFI$B0 KY^iQB֋d2eժ+𩆤V6.Us44 U"AݪŸݺ;D:2E!5ZeheAP,H(y\vG4FZȊA5|-\lL[?!~79: OQH>YT8: 1?$9n뾕7#Iw6ID<2,jNv. NCT#}+.@Љt"oiam$4ȲBmEa8Q :hp̾nᝦ+ھ.8=Ch9y9/!~Vmz\K_RŻd.{̓dQ^=Axa7{ɹ,ޮ u z[=4=N7c 3@]YEU(;ф0`Vm ~D+ƕ"* tm8` `k**.$0 J{d7 t~+A%K2g>,&S6K:3@::#_Joms)nTV  c6@I箚2g,g?[L!ZV󎷐;U'}d}{|q֍EޤxZ}ɵKx|nv4[#oOsϏpįiohg̴W;q'@ͫp@ÏՓd݄nqa~Y^!U8DӀ%ëY?hl]@>S& ~Nwa#6ȅۋ"tr3H?Mc?nL@HVT1%k?31+Ȓ-HXYSɷ56tfRtԙz]{],^tAʊߌǿ~eeWO7!wYo>vڸf4qRQ,ۤq}>Si`nRMJC9_/mϖgO-8v{`Zza`o7BpIt/L.?pawvTm% xmTIlHeUJTzJ 8}WRt}bEz}Qj/ 7^]* $(v34tbzho#zqKcCaLp!-vJ6ڼ̪LO17#p;@//o@*cʳ'Xvv9 m,9&0CV^9Ge)^E[wC и3E`uJzi3]JU` Y1שЮmKN`~:wL+0/ہ}jmt<"u@֔:I<%3\|mVPRrwxfΔBFj߱nos6mMi8U7M ՠ'IyF݊,$D3qm"$iuxI6T8z՜p~[Xw\h ݖW'Qq'0'!)k*O4bqJ7eĂcנzHq05?;X-@NijXdh$G1&e|`ܚՙԷʹ&ZfXgjMs?!ާc2>>jqkk'@vL})Fc!^`&d7CiЮֈEO4 ] n.hJu!S ъYuKTRY>*&iX]]7mƈGZ#F_,Xu7H##Y औ4:9OIb X;,Ĥ+̆YrͮD(SD/)V|ϭr#{ⅿ_E% i}vRik1նf_hIڠ줐 K<ʑb'%Bm%nŋi=\[E?,^}D~-{I_dVxWFCA*Ïi=U8wie~c(0jc:5u2  X:|К?m LS^T2Q%y׋'. ѰQ_+w.27(g$X"{zOE=yӛ/lTʼn<#돲)»"nJp;GME"M3]#޴"AQ, -Tev?3OB||B`8' !dy 0%bU/Tx{Q銏N[A)&iTW%%峷ٯ 7Ƶ4 (-3A]W!EM*O1|ixzXԜAN_`a]8Rl|V_*_%``Obx@6I{gu~*+k7S($܉V"#2\zn0&@=EvRg {{8ljSszL똒Lj}RcS6C"~,Vc$A1XLRm\.vR;ȿbfpty.Ҿ?_-n؂tQP dW{]>oܗP*4 G+t<wAtedD_ǧ5N]:ʐ7] \\,WM*2?sƏ2gC%:#h} (LO29 a1dl$S0R\e9؂]Bݲ&L7 y\ /6-%(`OoΧ6{Sn#kuNOΝ&6h5N7c; +~Lfkb1%k @\z{6K2Ԃ UҍVT=qc*ts EX00ި8 \q7.S>Vٛ/ 6HϴK/\hډo3B'iy9*eP^vuBQ)Eo72%3[ΏNٽp] UbII v $:( z\ Q! E@U0#íQD]/"qDv.yP"#E~cye]!?1o;鱟Y U}aOP6%IGzWהw>21.UM .֚76h.kpy;ˬ N4n!Y\pR BI b)q)=igDOŘ Ai2r|J:@uغ;[( 0 0MwSt@1ʸZC46abNb'u{hޮ- i:ܓ!y(u[е1-z2Rz~)ZPޙoWݳǮ2kmhBe2yvn/2ʷBhb 4)mرZ~6s^XLx9}K3)I17 $:4DGĢ% ",OF$Axn._KqYs2c=-F$"/WU|9x ƭB>?#ũׇ N)}%R2Z}dўYl2c qm|TVʈ< /Q筆ndr]XTFX)= 0GdwZM>1I:PS4 U zdM'x[ތb[Dy61?WCya$10<ԯģC"ebLrzht`vSKBXks;6[ma`Tcίp4T'q]zr d!od0/rdZPV)\yR[n&X13#"*id>z64΍ZM"r~H MOqI [WcSV3.#HsK]H)uyI sϼȨ̬>{1fzs m.M8z;3s` Ҟ7FA3)H"yibvCwzlfоQ>iق#|4J\is)R/a+un+cq:;gg_ܘ 9X}lx m`30Oߏ:gc6ԆAe~r٠W18Ҭ=phpZ:^t upe!"VcHPia븆`C"x4C˞cϲJ\ۦRڧ?oc7X"YQs r#õЏP'$A2v՜X)FM@%LUn2rB- ylvfR$#YYjӻW[e6]7% [ J [[o<ɸT@@uDXN5qB0MibьJ$ 񕙀4\rom9 b/ԏ)[a1Hm*8R6CP纔gM#i۫`n`fӂ5D? CcƄLՓZQDf{L nCwȞH$NpjbssqSD,%܀ȌSa 4+V7uB b MHTg9alViŜ@I?V)w4țN~* N S7KȣQk`0H@&k{r~[yߠwVmID'"$a|Ǿz} ^ᱨ^HвP̔?ɠ W讷 37мLKr6tTjs0&VD:c~>]C]믥K_d& /?H d׶+a@";%rX;|# , >)hw O1E؁Q\s9[K['?PH'M [K?LSVsKPj1:fqHM4ePQپ ;ch1U΄os2!VIƇ!U^O !Jn%2qǽ+3P?3ү"V2yA C.e1L9R߹Qhڻ"H " 7xT>O::`hZNHo$I{^uF=rQבAϔIAՍ.p]UqΦh݇vETKWلD&5ttHCE=N AC%[%d,kCTC򒆗߻TS=նbp:sOM#/Uj6[Q]@|;[Vf QX(8]7qkT0Ƕ\VL9`Y>J49U89A}}L,MxևS1gYZ &&G -AE |HOL-SMT_ExamplesHOL-Library.Bit_Operationsdocument/Bit_Operations.html7zXZִF! <5]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(k/&G]n ,ݔkdzh3/7%sbeŝ Ď˰,- 6pq%^ h*Jύh)|Y GOlq)tVruy9{8Fll3_u+WҀC8|FJ#S/wwg*;Jj#|*ßlУ1q#9KO헥'VPztA{i f6AI‹&L/=+;pqX$eI:W5uRRCWfsHyhHs7.e97S`n@>Oə\6(LbxY[3OpO!n6u:M"^@_]~m- 22'ܘjrXgM? rT:V9R8.)DbbG7]9qZ5sƼ->bn 7]kv1VfE1NיC!C/w:23p#S WE_a~bd&U>31Ku/`G#YExzK \žܬyAÕ^!ɳJ ,#"9TYZ% :2{zJ\kh ǹw`|@DUACN_Z0ӖF@=$>-X n̗4bm^XpSpnk݄=`W`ٿQ=40fD]Za AM'{e=s/0s_&KKڠ#֩:\j%T7%DU1vlAfZMN4n$H'YWMLys, amR^wwmt9& o)B) ;?Cs$-CntCUϠlfJv++N'yD;U{7Nf F0)S-zYGoq#wlj`(&Ŧ@>C+ TNÎ24qYeo4Vvs{`ut f Zr^OUoq0k߬KsbgA7 D7zѧ[E'g*9ѪXG画 eMtMwv u|z4[CKtUBa ;r%!.:hX`bn\ZI;}ko(w/m|jJ?"cKXs1G>zH&!Qjg O,XDc,0?CFWZ˔鮶ehI邸[|1BXJ&#N5p>G)ɷ)¾D%H&y?_(ryOgN #ᬕAi^~Q*H/^ȕlͥUXKwU]F8J}7^Q @yuƐi9|HTgAv٘:T0?l{ivjƋ 55wD "b_`*!~еf㕀ON3\ec,7{Lq; 7ymaRtO#:seғ"si}5j]aC* 茮sʼn%%bx$?/w.*]lDmRe+ H* @lDC?W3v㜂@ons.3㶷?P`xLwL+VhXzL:h[GG35n,z3!?|?-ǃjpZkݚ*5U^@2+ywÝ]#C7oISQF e.ʼn!ڂf?5{~j wfk]Y=wͥd.a]Ո%˵P=C5L:r+#=,ޮu0N4- J}h|-Djr^)=3qj<1J5OfR[@*j@}!*vXްPP x$狳I+2ʂ+2XMe|ؼ($;!.IP-eA;4rE>!?';}b\[X޶@S$.XJ捾C<a@C` St8A0\cMOӨª7ӱs|ssHwLb2 )+}&RkJ M"E]*"-?UN<#5t{e4A-۔#DJ}l?xxx~ 9r9$bjgF{3 0ɥፊ7Cb.CSn6[kԎ3H);[$ 3z#O8cdﻸ8PQHG=P5;b0 ]Y b~rdlو(DcMFH͍ж4MnEm؆24})r/m Pc[iFw<.|"o%qY+ݞ̎i{GߑF=cU&.akHTe}QbLn)"+NF|jHa];ބ)وc>MDEqk#Y\"׿cinSȻ),+ CRۖIpRȃj'{HHr,F 8FKY"ڂT C5>@{60jWkϵ3j~BF&C%ʩJcfB fcm#"^m]A[4 `*P&.b!θq}z՛_քP kc[vl38D&qk΋卍iE\̗!oJR;d!/9Ѣ:/7a<0rՂN! &[OFTBEWR&1%ܔA*?uJ*Y kӼ̀Wgiȓ*QujΣOMٺk[7<^,,yQ-Ə27x1n)9]LsrH1Q[}Ni~Xsv]Pd,Ѣuv:n˒!$I(]FqJ(GޘCnK²$BQ%Nl,wG-ֆ ~Jt'y\P9x!|MC!ᝉlr>Z|>if ڝ7 }{^VeرbDWs <,#r:,J匦5Л}tm icvgq(:$.%ZOuu3'2{fkIRRWx+XVu [:bVQ &rۑQ5%*md(_TGWn1,3y}$X 3L= ZbS79J T>KlûagFQlmGjP"9X.KUa.lQ3|x]-c=vm./]lйPf5Q9>UӲ7 ^[ny@4$;Jжy#jQY4ͪf,0CP&/7o> <yR` u,,DeKVOHdaBCSP{Ij,fxZ -OҪY~Ӂw&/& >zJ mG]%F;DACe0H;8ASaطq,@_IjG*ÎGPxޅU/tTg銛Jo l!@В?S: }:"=<m *`| jv|H.6"D~&?hu Z9Y`MrU/!U V-gWLRypx^8[m8:߻>=VX5Kh Dڢw?&*:A b]t:o'=e6>L6w凼1ǜLvUYe]C`hoe0 Ć|Yb+? T` =n,ǻ^[%5 qF HZH\SMfBU=,J_kni5cԖ,:ٶpĵ{~-P>~̽K{gKd*9Xeә p2dΥ<&df݇\ )ͤhL9&@6 D\RH rOVvGԺl [F2M=;YKȍQ3Wv:LLJT{$VQK, Ly<&kS&n*u^{";Kbw\^`Z\Fv(YxՈDg>$PzD-xjAM\Cv|aE3"$[5V?s3=Tͮu.Қ=NY +TΣsA[Q6G Y/T:ZK"g&qu>{´gJBY7o0iM3kKhZ]$u+v} 馹`)1$uǫ;GW '-d[XuOz--OAjR>.G1€Ȁ;eoN2K,zjkkOs;+ZD/]BRy*swNa)J2*7"m#sAzX0VZrdi;wf߆7Eb}>v ֳwZ="P&l=7 No3 ^s+;"Jq۠:U=/d@\s,& c)+^#P[ &1gv)+Aĵ9*Җj{'!0zp[gԑ'0Ǫ1-w$ƀ>pys^1$)FbJJu;|nQֲX)"Mטs#jkrT˔ l-$2\+؊Cctε*Y:4,٤eZLN-EJBBN/ג_Z.?=E Ndv-?x{ (ڔi&NKbo sK}ƃ)2jWgΏ1N&#HWj MwkLa{IzFV 9=Τ'iGr(DaU{BeHj:&hZQ",ȊLu$7 DsyR8Dv/q0;kxMP\̇R /ijVLXJ_&"N90;]s9֠`F7xzL 9#8Pe Ɛܵr,AT̹jLOC2 㫽TirlYBC 2I ّhG'1]&赭[i=mNc_^{j`EN$~rZsטM1-3l8ӆgyUo 06ax^DJD 0Y ԵM^Fh!U }BY֫K'& gFjm#Բj5aʿ{9nh% .Ҩytyo"A҅b3c6z Zphtz!%an͵0%^^dk v0f> IʩTG+>_ rdEt;īP@2swa\Xtu9+B[] el#p޶gEIkvB )temnY}I(04Bb P;4Aе0&8NfVw OZ̸idxּ֯q QDR,T[o\X° &h+0b9oK_@t9|ֆ!B /j0sSgK׭XײQhVcTjC0GyA9i1o nCtc@c4oWuC XK;/TSԸA5I 4,@0yp?Vת~H6Ӹ9~ {1:?njpac)e7:AoƟboeD{+ `O_bÄ.9c|tHN()ƒI/Jx#QK fqvJRd*>PT8L;^m Q8#+o$Wa+ꗙוeNKND[ߝ2,ay̘^WXviꃓEpGk̍N(5CFP^<6B]A#مcըRiM1hq+=AqĘmh!`h*;AޒְvF e3.{T6:xc ds3m['}(9gBӌj'r:y}쬤Yb{N!ɶ #㹍6!?7ϡVם]/FN/DϤ7 > zH2g T}$7 ¡OT/}6 /v3LOrcF\ ^yP;9Y^*|ղk!NXD OWHU"W2Lq_AYV<&⡮sbaS~ͿZvH;D58Pl4 OB9j^vłwCϋ#cq41T|ѣAqNс:6G,X}re4PGRGlCVplwSNñxJ$QBIh ;h@_^"hL i͔S''I !3Lqlqy0.: 9GQrN+h`-1F2f~yH$G^8Ssj~#  ]M>b7:kv&2d0@l9G. penu庱ai FUA7<18q]P b::prK4=dB2HW)HFjz:fH_%gAG-&.< hXco'lɘ:>.{xƱ*$d3q;LؿaМ^U1IQ&Z/twAW#! .v9g4t!,91`Ծ!4E A8Q_[/FoF󿸻5/)u:l|Ii>r[a2:fx;3+v̽ a|מJY>dp9ZO32Mh+@O T8\nUٙm@(;0qƒ(߃F-􄭆čk@34~5%[ Wn*z끔YGesq&wԁ=F|.K4 o @b[ő94SR~qC-_pv̑6!`*S[jSj}w YNGTN1Kt ѻ)}"j tZw*,e{W?'@l&/DC /+캫u=OsD% l/3tH9١g!λس4_LZ)?S&i]Da6ad@`U~ac&${ inSЕ}Y˘M gj]PdZo=Lw (-n˗cvp{WEFNBQ9t&zo؆HJD^̅Z0SJO=L,ww"ȶlDҐA#tk>qU z=B==˙nW?U 9KJ?0vf7WYr8ͱgYZ ~~s -SK E0;񁮃U,U{d&!<"zGzopC+=*[Ʀaܮr\koS;ޖݵF ̼Bާ#R&فM^GSt?RI`/6\ L4H rºsJڅ[_P$NCt7J_H- b D+۹G~2hdj9 HCnS>DmX?I4;Rz(Mmw|PYmr@84KKKdt="QUI3!SsTG"IqrhLT8ibu F7x˱#iW A]%J`GǹblxnZn Fʤ*$FϼPmjfzoIIS톶U HAm}qiUq _~nH9aPN@VYV`Plždw7XJLA ֜@3G$zd*.tTdQ}.r~! com-zd:;vXL[t({wm8MOD!sB5[ϙp},~JS ,4+2;]NT_keDPUjM,a`+^:t4r3[;hHFFVnbV&V" &RD5> MDgE҂Ƀ@[R]8 j6 qxyʮnNdӰɨp[vEYyw/%#F#x@=G}3Ia}8ub,c om Tf{M:I%>H <~ uDz!ġ '݊oھ)燕pdH1SND۱ڇ݈fEP#A tYA:< ߉G$Q|.msDCu6MP읧)Bp`+"gtxY5e6@q N57҂H$HK ;>C29%%!4Vsw KcV=KҳP;WeaÄ˕E(rצD%lٹtVtjUH?<M#&+™ #\?ªc< ԅ|RbpH+MTK,bfDcRe)gHzxu=Zq Yt7kJUC 4xH۬^ m) 4O֪=_ Vq),.nU߫prv"ܢ$O)T $+JչKz*x#@!2qéԛPCK?y8 ޤȵONn/d=~1l5@ $:c19S a8`{ /=2z>#hLZdD=(=]x6Y_DnG\h *Uh0w/Qb,:;E}ΩG2tcsĸ~rWyЌov^]b:{F'b;6qd@\%s4zDikTJ&φ<ƛݽJiهK^b;ʚ'Pu%qW{hptyu &uj 1.19mw=N5NM+li=|;c7*"o5Xl3޺{9%4YZჶw@0eF̧%?*A&]ϯzA6-(o;L ݥLc>Z!|0B5z.JbgjA)kprC.ugu N-QIA@Ѝ6mV FeD!w189_;$]AM"ݗ Oa׼v_2Y7QӎW%3 OXjV٠p3S`֓؞k8P YpFƪUgAWb͘_).ˉ/_DxY1MkPbҴEj _IY#۞ TN#|)KtQ@A'@߸Z虜`G>i<%cLKpDY@R; M-JkJgizs~Ks K< ;]oxݯjOU5o?Auvh~Ǚ !|۟ւ{J] 4f^(ZB]v/̠2n3fWoR32ϺIx#-Ug-S]G,ph rO6hJ?1l"DRt 0yE0Ye+.q6D"*1 xu M7srs_P: #ҞUZ^i~Vxqo_AzM&V"0yv+H&xu+LbȏOAnuT#[5AUڲie2-UkF)785k{XvGO)ayshVэO2? <ٞ[@༔E +.zoFuG' 4ݛcNI;IOɬ8-/81'Зt^~JU !UW D>t߈rä:4 +jy٧ʴL?X"p:pG*| U|Dnm/Ғ$]<Λ.Lvcy+yul*Խko ?-7'_$S?zXqL&z`/ ]A >/e(!+-7&uj ɉ|)s+[aQ&^:̙%7e*mFj>v[˂v\?. uPN>TO3_"ً3 0NP c׵YtٶS[BOknA]p:4}ɚ#*xXZX.4:p2PJ(ժ2n휤N]1*tU&8VNTt~k{lP,va$Xk{8^tZ& ̐:9RW\WyL^䬤bڀPiI ^EjbQ&b`̖pZ; /"X)?)tǚ @4iQ&:&+}󀧕'@zBF.wh[up~;!EPcU]҃H&PV moǺnVݖOa\fwfVI &1>2rt'Fթ,*ʎD۫}Jagf敇:x$^XLh0/q+V*"{8sJ@TJsuGZRq[yylU\qNk~YB,~QG g94" SkVVm'v1倩hίjƞw_.`tB˳^=Zp`Iת7oFuHTXXw><3md0֚ ڎJk y<fEmuR -4k)5JЋ:wc5[;Qr䀄VvGu/זKӦf aPFxFwtkDv"_?C>we;ur~+&UQ~As{grצjЪ}JôB`?֑\{x GNE.n.[=NÇVzEMͲ-ؘ26b5n+{i&] GHrDۋVOs5G’EsP̗Df{E8*<`SpK"VzР;aN30;Y)rO/kg߼ 0LͶ,=:#Qϻdn,lAd0* QMEӚz4n}8^b)!ԇV]5Lod^wO u^Y5;9<ԀP;ihuOnОHJwpl^ȊhLk Չ3y5{Oԏn꽁+blΣϙf wv1K&Qd۝GOk~V/*{7mnpA {b ~.X<MgK/kmXm^.EXzq_{S7{p!R@vh.6cx%䚈_n)22f@L&K`T9JhQao#3XKO#|݌lT."K%ЧFSRz*^gKGG8^n˰Th+ Θگ_+\xXL욲܋ܥHr̾&u7@:U3iEwUZmO$^yPOim.dU'3;Ί1QI^vjU G[J&0ON3gYZ T_T| -;= tHOL-SMT_ExamplesHOL-Library.Cardinalitydocument/Cardinality.tex7zXZִF! #q]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀IgUGJle6VATL|Ck ~}'%B!; iKשSlS ÍgzS[eܦw;Hďj%KdNMIƴ Ն9Vx0ðk*/'>ӆ#Z3_-334}2mhU؈I.7?TǐJ2F&6ajTYК3 EۏCeRN-&Pi>޹)[@PK]UL4uج/^K| `5] /s~QŁfZXVkc2NB(JMA2{3g vvyy38^[X -=A $HOL-SMT_ExamplesHOL-Library.Numeral_Typedocument/Numeral_Type.html7zXZִF! : ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*u[Vk /Nǡ"$RXJӿԠL/τlϊU&V 7,hQYwui=he#8? p.~"璑=6ayhwy?M1#h2ۖ 1\꽩px^٤Yb$,{.Y@t3*Kէ"TU j.+e) i" EHMx_Va VUHp%W.0/l5͝m/16Ҷ%]ype  U6ߞL*i Yf!>Yip켓C .~"`Je@wgJ;RqdMpusFAlܮ]P5J̷_u2h37XTAnyϠ-PL//G߬b+1룘{a/yQ`#fYQ."_ޣ!1RYif:2&\7FjWg+~͍"EhuaIM9dCR߄q|襇It\M kNF|xiZg(pvrC( 7ӶG>ójL8zm]RɭW;Lσh^]ETVfCUfJqI0>fkcmըf;fгy4B*HoE0Xvkm@TBUbk_mLuOQtM|I[إEd yd<4rgXj"^a4GZkc#9 E:Y`KgP2l !.Ta{u^{ci2uVم.P_?M4| /xY]JF1Ra0dfƿ9j ,ǫi@<< ̵ړQi.\s &RݓHZ Q]kY/n ;;*4* *ܖ$D-IQ4Rn'nőo҅ L0zR~XVkŸ4o]ٯqZÝ3_+ΆM͈C}nՒ O 5/ɞ%P{6Oz!hߑ6p"UEp2sr݆[ 6)OI3; wP1O]3wkS1 GG}i޸eZx3suFpKǞYUA#é83zy0t*@T<]cXx$r6Ϯ^i5}(yWѢ蚒6Q޻)}?>v'0S+qEu{_I鍉yfםkzu*|ǐ]r߾]V6M.<۟`Hsūq_1d|X~( Jx 淌$J>4&5khKjzwҍ2u5Py NεY9 7$_zՂVKp,&;N<̝,ABޣm/H>p$=DcP5ƤK3`|V毾7dp}-b OE]{6NϦֿ웙殜w-8^\%S5&H.a-/Bed|bE[G8 2|JR>.t갹2 ̡yQI63WakOv,e3#Qe9LA_}Ńe^xr)p&a;96a@$n"\Tڠw?-1 HN .#CJ@\#]BB;Q=Jz!4VPw=F $Y!P0xf2ꂝ lxv :/S[ exxZ@Z󄫒wR;)) ӈC+nzG&Ѭ1{7 vJ(ť㾓 rj@7ݙ D A/+ӱHCL3ֶ'1DE>js%6>s%Dږg"G{M7/o^R~gagFt#̤P@]FtՇlsl{(ILށi~ Q!pxhFr߻ܭUW€cB|z|j8].ymTK8 6ef8ŨT5U齘n[Z//![dR6@. 7޿dTr胥p̰ÿڠZVЖ*54ӟ&DU CTa0Pq2oz/ZPLtj;%UqVvM_3ȠrG :r0LT%I ?3 {[t%pT)3*A>:!9Ou<"PDz[}q Mp{Q-N@m}d6Hh)مbU Ս-ʛqGɥo׵{p)R{=D`G{`B5i)P(׉-!oo|G.6,w(*bru]0g cvX?Oiך]>8zgY6q^oj}Q|)rlS Q7mic"^WfZ &L/̔Eyx/F/ݭkkz.;*~3gZK^ BLѲO|hl+4 s9Z~Gע'R 8ot%t>|HN17MVA ^-+DC?Hc+"%6 kE^z1&.&ICޫtU·a2" F?!LeK[9;RȒe#tF't3P5zJO M˥ʘæR,3w ;3^d[JssA !ʪ^b;mk*ФֆիfʁM­C#Ǚb84m|68^1@H`!gBs|,7tu6}3И~m-9ַt$[ް*4r,Z^[5֓Iwqjظ O7a2m%C!1 7^ծ.5mB<4I9Mڿ8|91X *5Ѵ}!0Eo={ ,ʘ-?Юw(w;㋢Zxw@# BHr|[;nUތ.~4=Z3IyzطE)aazȑJ|֧FJ[C!9F:b{=Q',ho~/ +,j[21 ȈAkNEj-\+ #cp/|> Xlnp,C4<mUG©gZDZy fU=\x*T& "&kC^Z%ju5_V;*[5:IH֭6NO4wW"~>+k5yvÞٙdԙg1z2ήYn=saoN n6-uuV'|qaI ,J;n, Y:UWdER|ļXD[ I>@"R'q`V yd*b>AC@ joS93L,VQƄ.ua2(nM"oT;Ʌn&` z2Ev9S"AsF1:p ֝'f#p}얅 U=:dsC1$X$Y9D6Ê5a%Yh)-_~$OIFiz$EqS[˶4j=S0(/8y TakW /Sηo8%y\z))#=?exҒ fj?)%M@i>J;qX#QrٖOKRfҲ$Z,/ f ^ [,Oނ{ ҄r?K:8U+*kͼgP z`K#("$OӮgjլ3eΉIF hˏ2S IyT\q:r3V$2&%Ʀ>K&2V _ .Rϲ']J_5+4 *@C-;IM`umK!u$X,:$)'Y i 5R=򄉯5 ;,8k .W X<5iQLʕE.S e*WFj]WX&'lZelWo#hXu`It0;M {eZ.*Аq/}Q `IEhMHIdS Fjh/MbKKS f,wm"x>ݐ Nlզ}!(l3a%r-;Y>s-E#To1 NI]WF"5JTṛ";۟ꠏgSdbmȐƸV)dW*-Sb.`F xPexL3w|>Œ$Nn͑|T")@ѹ[M~XOe:ahxp+"!f&t;keH]%; |`@\tpƣnW"u/9ŴӁ:ss\y |yl]A+A%EO NҳD7Ϙ%RP$Ԯ?Qؕٙx 7( T&]'f q$lJ"4N'XYWz )Y(35m m""4%~xaiu@ lwV pCDQԙp+`?6 (V/w^MQͽ_8zW'[2܋&䵌|X^"y lK4p0c1>1?|@L؃x" GsYĕĽDt誗P$4<>ŋX"9[   n@:hG'!8?aGUB!*UӪmɗۨzJ:au5_v;| 7^w^,/YxO lz7;m];=;̖f5Mr9!9͑.Ǟ%rpN/ɪ1ډt'.5RJ fPB#'__s# ;BeP/ Yb.E$|^ .O&E]pkYgO8SWxMj!D/i6#ANૉWK #D cB5e`7>(:]g$ϓ 9uX=C>_D,yCv=^Mm!39 3(f9 m8k.޶qJxP^ S>h_FQ  rs0v2IE c ^='YE,:p(VAp!C?P7/UJɰ!址SA?5/ J}a@g6eM(7upx2ݓ%5%3g 9Qw&;apR/P3~9]@)ԦghMTeYm :D߭X%"TA\G޺ ssW k˘cbN(bz@,ReC~Urf ɽ}>+L3,c ӊ$bDIi}1ht' |7:A\a [ˤ  Mt 1cfCYsyȗγ`II=gK㑍$a:SS?K? wCs撧JZD)m^F[l:Fawl[[:Ej緘LLBE\+ r;@J;gLmj$GWkOŽSlx*c"aɑZb`EA e9鸬E`A>˜v]pYC~hu :/JtG8W:fџAf$E<2/ Md{Biy- :T .mT 7lh8>2?Tـ4@HN%k}>}/,!H`L-89ZVzYp`9 +tZo\zQ  -b@)fN0Tj6Bo,\$t!QSǟtZ 09[XhPAHŧ D52=-:+9:F{mVm]d}}7, ^ly y^bPoiU- ЯyAia%-dʆptx `8 ŏ;$ľ-?׃|5sp~:+8` HnUI԰{.BʵCP3T#{>. 3B.?RZRKQ3V:hV0YnVu^~-tFqp Î}_I'Gi`V7"% cƸM6eɇALr|IXȞN\xJ:@Q+ԅ"bEmi޾Y&αZY5RC{^C`~}OOZ7O7:+XMMJ#3Q{by@Z-<砄 aFY vycgv6d>_ XʃL;KL0*go"g DD}*ƔDR>X[F#p*i}9xxm4cѼ~5"@j{jQv4uƇ,41^;Ec{W$8\HJt1}^OI-BHLvMȲ!p!Z^hQC5# u,(QË'}0Qˀ`֠P%m X@1s^0.Nq<-KyĘ/IRrhYJ94QHb7q ҪO+2a#Dǝhcy$ȷ}Q` LPyH ݺJDHԓ+iQ>#Oȼ빍: `1"{SViw *Eg|\u z>SoW-0x(RLaoZR)7kP_ y3*?<"yqj~[f, Z˰1+ٹtVxD,\`8&ȅ0;{^3CkѼ,켣 *d khFy1$.8RZ}sx N޹#nHW.\QQ]elcnp/1p}~@*nUe<4^ fy6 qBi*@>:+T .*@mxubcld BOav'?[C S',aJ>߱gU~,ǰ%=LBe?DR7T|TT%ߑ-_ZO"A̧C]JrBM$Z9# &P&dM  My94vx ˛ ;{0e ɦaΝlt9hGT#)qZ xڷxeџ$#:HL P/`ZX_JlM#y|'pόH3Q('-#x!_բ* $@ NûYcOE3'Is+ylo&鱌GֿLgYZ0J)xs_">%oDTutm̛~$'sZ6Vd!͜8(޾^B5Dt.CѰZ`BE5G O/)>rX]y tnd-'jɳ(yRjۨawyd~AQjN2M-rԐE&/^QQ+Z>$u:K3a1MuX^ȸ10f,-`l0VXA ٮJG$rՠG5?qG5t_%i,ܨ?#aPӄ 4lQU=lEL$$b&vۙ~s/>:"F KWUk={.syg ЂnB_TC+%Gڵ=x6*oL-Wkg4 Gr)ܜt8BYK?jil<'JhL^A S/EFܘOq ຄ%3O]7LGJV7 Ѥ=Wl{ ˹2z5FGY-[/l(]au߭-#mK.ײvYyf'Ji.|LaӏHEN>E (=ћ×mPx. ҢLtsCm6.dR; 6טY%}u͢S؎*F{aNx%&oX Daߜ}J&=3qpz,Dׯ<6Faj+"y 9$u#fyEǔ5K $a_GjLT ǒ+¾q%04#eܶBx#r;V.ߠ)=U_bbwCXW;'hp@Gx Jc@U9 jM 0^Vwi3ɋTh<)#Hh*ϱbJhD0M"= @{; 5\r7.iYӗw(e.?E "=_ѴK~FQhQNZ |F!"Lbn =j +nҁ4uOvz3)7#xϭbGD}է\Z #v_mGG>-$&JXOH҅\( W͗> ]ڊxS}rDAfً@xGJ@AP2El\ȕ(=nN:3B'k,z8,+;#5R!#^~GEhH-d9F:h7㣭 \uZ`ڶT %.2bWu铉as( 7-`zl0>t[{H9ҍ:"C>g1|КrߑijbC N$МQS%K;Z s&f)Չo=z>&@qVh!ITeUoV>Hi j^nu!^d:Vœ/KhـKX Až<7B,ʢqɜG_+ӖQqxt5VaUQ*A/3;"oSǐSFGQ'Ar#cոRD1Hw߸-'۽v@fL> gh9F0FZQ"ݦ>o9e%ri-'3+L^aa_+]c>)].Bc8FY*Po~`4B{+g|W^ m^ke+Ok ?4n}egC}v3~RE>S :>v"*0p-8H| p*~YeAe2|̽Od#8)4< = *UQ:Z57 /h0$6RSآLOX.7! Tx b99:N8W^|_Cg I=uw7M>jeMʧ\%.[ӹ/n88Ʒ`<> Ei:ʐ_[IZ;:P7wmnx>sU*'m=%SIx2yoyp0z3?B[AB_Cw}7:djt&zfG镔K{jZ٢h"iP6 PnEȢ΋)LHe4 |R"m@N`#yr멝f LC|3FQ4]T绯P*;P jUs yZ"xcu})KbzJ: $P'ct`o3_ؿBI]x,aep g\K[A{Od(&D F<Ǹ[Y qsx)5N@3abFpb딢j7U ɠrWH'̻B 64<ڶT(i,] Ags^$.-,vn01FC GaaHzm}ɭ ][7q N*D4*o+S5 Q?b fVnMkžsu^߂ÎicBrx1O &!{( r"U[O\戭2?f-f"XkV!;ZXZ(-x ٰOYnDkE7S)FNmHp֎pԴ~|:@}VX7ޜ/M|!?ru1έ/#?4lFi _sxs>B:[`BHή* l%l@r2A8T] ttuB5HL?@+6kLD.NOTRq~)R{TS: {|"c"݉罙x0Ц+ӤFZ:MlsBpsu0 ?)11LXO-u "g#O2e;kۍq+ʠ\5J¶/#[;y`x92@ڜ n[nJ)l{@«"'soRPzh~?%f'9[4B^3|:c}=y9תNq7s*G#iQјOf nO<zU四3s.>rj2*i+Vl=%yQӻ>iy p4ov>y\uk|\% fѺ/@f_.z ]j◢HjHge*,,pCYc=8쪍 {IIv>)"EK:/塒N.3QR)pHjI\faÉ\шvML ##rg׀RLY5 5x\^Mn@L7^,uw'lgYZ   -;? HOL-SMT_ExamplesHOL-Library.Type_Lengthdocument/Type_Length.html7zXZִF! D~]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s> HrNpPXO ֩DHdVNiFEpSK~rI 7ӽz(z::e\JsKw8@3Soz31OS\"O8?h[_myȊn_#\rز_`HU25H8ȟV=_u =?z"lʇ,:ad,g*D=;Z*7Ā&Fϣ&P]V;xs|z<ɺ-4+3{by;Q-@L^P0POVhܵt]..rߖJuwvjYS~,K;?{.l. Z h/a+ӫ]!A]'`EZG^YL&g8טÏ7F*u)3RV{s95']x=׺`Y!<Uvw1cu=iЅspwYcY{iO0#`ÈQ4N$o}GT,o:AJ+(p3xP}3ظnY&M=|=,JӐ7^vQ#uBp0Ev5{sM)g/ ιjXlA9>)i^[݌˽*#+&&1{zvS)E$Gi]_D" {\ןQIȏkΧP2d# %U_$y֭[J_/ 01V9^ٜE8%Pba RT.6 S)ǒNJFxu[Piheh=_Na!EQˮ_ L(nB4ACoB5$ZzÕ)!##"/5']jRH9_:/P[4sm\4TK_7rrv_'8@KCo-Yt<94l"~s6Ƶ P( +njrkJ l5|E=3-:!+2>uPLwrj[+z| K(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+1c|>\6M0(ER QSa³k?(hGG '0v*@]N4D?b✘zPԒce_];a=za\ 3jcH";,|.,;<};5fiWmh]];46կ9r1CR7+DA0;o4@7m9wa`#Q" Jm%Jj{gfC*(p7.?I|T)zn͝q/9g[ 6εhGB=Aee0uO5O\c7uavw [ ;ުC L6:Y=3oo㽻XU/BDCbb:-Q9~pne\!wPoUȈb^mJ~'DZQZ i`RF䦷hq7vY40u*>F[vxS@WCd6qxO"a]G\&b|UCk_듸ws0Nm#}$8BВ;$y@ubD qMZȥҢӼ`5ecRP0͓( 'ݱC X -CG HOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.html7zXZִF! (k ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(-|QͥEzlڅnYrz{<{&nޞH|YwuW#HgՃQsZh=Kc;N0hR"oIߞA>yZ d\SmmFz1+= KWAzHaMO4{Yӂ-L K"9k6>eoN0?o9sXmrCǐP2o[r%37\ ]'su 9  xTT@I+ ڴ@J;[vew3$)1Vo0h!Ulz`EPBP d<uj$ )ft#KGF}i8`VYzͼY.R[Fz~cHx7rߕetFE,[U&K_>^Al? y!a}bE:$S3#פ%/Jo(02ɟA*V[duq2qϗ*u$u.9VA1|%彅idBgw@j"#P| y4r5qqY'˞f;R& MXYvᦈ=鹿x'> \ʕ_GSLSZt3*8epdLpCv޼C無-@+-U.q|o|-I+W+rJ5 i( t'Ui3yHFQ1g<,v//rkI"bŻ>2>}nj h]9BT-f#]I9Gd)g:L@=34PӑU32ZuGۓFO0oYK֤ukRe4p`(`4!L*2%tc-)="x uGqNadE*yαV5o>ayUMrcz -1a p}ѓֽI:{~ NfT P28M53 |?6RA=/8plKx”hDӀs-àF6J{ءzt^nh)l{AowjsWʀ13S<"gHI O#uf7u G3 szٞ1)tXw1`48Znɲ]X6E:.@v-年LfRfP/ 堍B)MZ%c-՚Dc9vͿ+ WQ,*OsfvmyWޱ`/mޜK('m,ɧ_-` Of# ; 9hĵ#C jI<1;$$"ZI1ZJE[5C>J#REt!3Żz3g|*]kT롚iT)`=ww <@-pBVBϜ#[6>pSkCrN lnFasO֫A0!Wœ˃8ZZ`ylu< ZX.lM3<Ŷlge'pxͽbp,^ 6v=THi#4,{ .'#a2d卷U{FJ4}_@y{d]!G~G t❷VQJ *>H1x";|*]]/ + $mzRl!A% DA0PGUlo^PS+W{.M0FuPa~m*ia8-EoT:FSZXN*a2!{Y9@1b"TP7Sn ^fk䁂G'D"IS`&z@V1PiGRf\ eK؎Jс oȮ5_fZ^^د;s22=?3 ߦWr?l}|-*ءɣ2!sC "#7h{ܫi)"φ1~ "a IM{6N%&P̲fT#p]hhT?ĵG UGk,+R 9=H_vqPj}ꢉZ& +؍$+dF jn5Jd"qըp.vl=H>E1дYWxnaӊ0jhޘ 9Q 쎐K.:ekqFK|kW#Җ'?%d BRs9?m,}Zu3BJ UOc;O19MxyFECgrc1;]ɚM<#RŦ$vX i`k/#g O V@Z X@ןN\F2;|J\KߣH@@r7M;bxL<2>J"fg{XࢤhҍiŖТK8)iO3ݪD=.%|Mhc mSO ? a=cʕ#we = *YPE(~hēVV*fZ?-u@ņB:=`M#C001i}G8a\X "HveMƼ:0I Nëw8utV JB ە;JUE w gb]*{☪[v1QqfT#M.ڷ#ê\<-{$"3Du`C$ څIqByu͛>`B)\GNL[Hd8jzDP} F2u SH笋rUܰ|X̊T H~wޡ=cgyJ ڈXt)4sպ8܏[_nM8"dB*/qS$ÍuV*"6 HOhגO+<܊ ̤1{s9gYZ  \@-QI \HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.tex7zXZִF! ]m]A-MՋhvG"uIBm5Ȗk?)e~~M{{{cY=N%pT\mwNi,*MRt.*ϑ{rD%D4";Y ,|-ufSk,w\q(|rfXŤHaTU*W?3 ϔ[%vtLbǩ(H _w*rۄ F0"1J'd%5/@0|_zm9h5H1;?.)B" < e;MR'+0%A~8@u {$Q#rc~yu"vE@Q'mgP؉bJ7i/6?MGƅP5( „XZ^';5$)Ŷ=sT| uqxvҩ` \;<0Bl;=rQ{edM=aا%7&ͧH :iů'zYˆv"-$\$AD%@1#15S}oL,E쬶qňoN:^ԜOϠ s܃ZѺ:%E:ȷF%ڕۙGi7[h$CN3e٨?=J_ HtZ` 5k B}ISiwJbǪ=rYT3i711 )G/P"OxSS !ӨHhR_p\}d6R<#[ {!"rj6iҩ^@:f 2>uh uwo\DS<J?oOE6['s,lL$H?гhd s0%^ A'XIn \ L5 ?XO`U")AUH=RQvzT91owZ Z+|n3U߭'MFi o̓dnRRֹ~_bcʛ tݲ?Uv151iXƁ~5*<ЇEHy]?WgYZ!-QK HOL-SMT_ExamplesHOL-SMT_Examples.SMT_Word_Examplesdocument/SMT_Word_Examples.html7zXZִF! :]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+1 *WKU}pٌŋh"ݧ_0k!H4Bf[ZxW]ghRp՟0&3ښIQ19f=]1 Ȧ pƂO/t?,/,v~D*f &^!A /֫b>)"^IGUG۵~5MH-Sp֠}ě sdzB^lƓ.P rFB\?Zc*qHv|YK#G ,^CۣqBꌠ8ޡɜTg9~P 3 ꎜYXzPeBHq)Weie>2,H&ā.hՎX9(RsIqƗ) '+{py4@]iQ^$:T>Lز?9.Gf,=>;A1a}LR {W45nL0ӓf~]c.<ĉASK-Ѐ rj&65HR q~}k2ۺ9ٚIhnU0TZ0|&BtK9hi~%bQWCUX}O3}T]3%ڀ_"1w-b@+F yebAVho=/ӤbZ>:QPIzx܏^2 |^w FY c9߱l|?Wҧ s*' )#OY&=e!1s=8zxdf@-T¢(j;w `=.ʚ+L&,#~TT:@-d4i^&nrNAD!G %Fnˤ\Y<=Nu-}psN0FHh+OY1}n?;'tdz[[ *pKSRUX~zq ' zV&!@ N; tXĘ7]]Kj!V).`pɣ&2o %b(1wm2GlodttF;[>w.Ӕ\=_.!r\xf-mj;c ' XGB n|ƀ V`4(X$tS["OS2ݷoìU#g0<'#O1 i^7-6~"+p~F {B ኑ{B _҉R}/*S x tڽႱgYZ   -;3 HOL-SMT_ExamplesHOL-SMT_Examples.Boogiedocument/Boogie.tex7zXZִF! ]A-MՋhvG"uIBm5I $׼2\be^HABp~mGqb&BR[+q0ٛ.c v[;ٲ/srjg>0Ҧ8YjLIH0 svF!¦w厈\N%M1)Ś4Tjju}u<ɕet*x08k ]!"W<Y($j0R5ë0UҷE-PspgϨg˅rL0N KK $Cb[Ķ|qw{/a/]9&5؜U"C9W_5/1C@HNvo eT#VL^w;+(#5Pŕχ\xK0trWA~+jY n>!nkIGtZl & 95QVQu863h'$>9'_9aJy};)xejLPM=eo)<8R;/D"F7.m.<xVf d~c.!ÐV Y+Wr=wV`qU]Jo ߙQɰ,C䟸RȳFi7 o6Ƌx-GJ̔39VdÂ@-^.W#;-׮~0d}5Ƶ##4hLnӕ~$Щ i Fn?y ,='|sYܻTz.ԄؘYk@@mӟL;/(b=okp\ }f=dXOox;mW&/%%Z\uʝs(dxJƌĐerkv37W t#u&GJKJ%nQ;Ksl߀%:#JU^gTkzWbPGuD݉mMd!cEpF}`YԖ"b-qJO>SyJ/ <bgYZ-CE HOL-SMT_ExamplesHOL-Library.Boolean_Algebradocument/Boolean_Algebra.tex7zXZִF! ]A-MՋhvG"uIBm5I V +AC T QWYh<_nL`oDTw}qO:Ek~V)UXH<)m Ӛ}G$qV{NK5PTEIQ6AT$Kr5$.LHɥaݑ=7084؄nA]SNOIZx_8645&5:rQUP=%obYX87L.#kB{^ ׂ.Wmg2pGF'(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(-OEݯgp/nw38?Bpa2-8RosĮWidNvlg(C& {76Z_m|!jI,EOIlk-e  ÝBOo); 0C(]a'0QqJic{/+aȡBMyfk#Y& ȻeIcu},(;q<M.#W壏D`4l 3=?냀Phdw޺V3)t4|@C-7dH30 ;MgWp&K/D d$(UH/0zA`lDax%gܑj{JʵZvtBuh5 N͸3CP͓E/x7JO:VGPdR^r~.?1%:2$5yo)CQt)Ô(9fKu3- ?D\וxceZBjd5߷G + ?_]'$w<*z'xcH ~ԡT1ƫ@gy &vț*|@ ܚtW#_#،`':89.: 0BV4.bqXha[XveycHJ$g2|1*#2O c?B"76u}MY~pŵ.nW< @UGJ;6!Ub$I+՞fɸFO C·nԡ.5'cD8zQqNV[WA6LF׆nm¯;xy{z\03hk`։ĜlW]US!I=g&@[ 3HH< kɂ5.SI~px& /A(78 tM*Pn:~C4 ?v#p"w(sO;7a;%.FϻV:tÓ6-S=`,,xjZG̘\)HJrz S m@xc!awIqTk,aPw],WdD 3ԑ"9^-c)]Lo*wՇUJ:2 G~pp\446Qƽi K##ΞL^ВA)Kx1VK7ʇbdj隚2hŤ;ϐ( D'pdf/]'y@5LV^,? ho.ެp67yH\DTm &mOK ⧉yCyTȘF[1,9EH OSWF0Cq)"8\+d!@L%P#ok,JHIT_rja+|ڶR?ZŠr&rZ= E\ GR.ϡ Ťz_+C,+g%dA)zxTL0;YB;/o}ff9yv)-2b׏kLMSN(BaO\EX/>$ B{}zMC24΅_h!?ؘbd5NKo|okV\8+{z9/{#Lv8 xMO{^jS C, O~06(j9#y&$Fe @~H-;±Z D('&Ya!-%V U>0ƫ%Q6e Dk*cV9n/#V@~StiGI )H/y a^#)o6U`̋n-ADhqMܒ.]j 8 1$8)TsrZ4`/aHL2FɃ, (i4 ٫8FA5UtM6d. btE8{;wP/^!^8~/;E}t% #M1HQj<2f LԈv4*|nKR"l.ϋj Hc&!m>Y޸0(DkYWVaItrc]3 lmKQoP Ξo.cpʻDY/տ)+:E˄}l4ς,( h[#wk>։# MD=>/`9R]-ІlQ9s/Ʈ5SSU/ Td-Ϧ`?.V'> /3FެW&ѥf4RJ[0h=)`%ժKQ@3_NiS( X+&ye 9Vy2 !ms 2m ZVDň\,n;ɋ=NComnmZ{';4Ku2gvGf'*it.,h.Yhӛ7Kh rt*#߆ZFmdg>_io0)4j߳}P7E`$~cZ} $VvF6z96cFkqsegNkޛԏr?F 0W{z#p1 vS2T f>^XΩU)Ά_mDzkJ(#q+ u5~;%&޾uL 0Xjm;Rcߙs`E74\||_4Jnw.Jtl pI?E}y mYRDq4YٱxONpCS|R!IͩNPm#щi;]Bqqy2Yg 0p7243Z䨖~ o svTQ cT,mXzH1۱7 }RE9I(K8~ȃ `Ɂ> 㑹AhsR>NG*.d° q2j.\s*˜wmTs,Dψ&TEi,Q%D6I;'Imumf$sMׅb%m* $/.1qy-ȠCeQPy !K֐XXaЈ@oEx  FexI7X.߫ %]sҲ[G(F|Cysm1 RuÉV 1B0??/6Y4DLl u5Q‡]8gY-ͳNCK"÷&",CYjYy~ÈE("=XL[3^~e̝a)d.O{ߋvWnGE]ZMno~T1;rO_bl򓘬UM0#й={lgYZ  -=? $HOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.tex7zXZִF!  ]A-MՋhvG"uIBm5GJ&עDrګI{ׄ)C6P{ euYugM)44\'BYF˟FsŨ#Aޒ, TىuМd\/-n}S[U)stqy̋GXZ5 x2%'hR误6 !~M+[*[&H.v57!=Mi7 YuuŹ-wOD^<=.:i?@tS{V0Q*#w`VK;Ϛ\r6^ R _VdEeIu ɖȁ0>->uf£N`݇l΀] #F}1W2/@TlxՄ0iwJgCځtu jȤ'erHqPl)LYpU<9,A"<XFK212SQ8Gcw8˄#7o9c(]gڝʅo #zS-[h3$FmXNP+lLպ^F9nDWM +c(E\7;AXG fS}sE={{>/{J]pӇ\F (臰 \K!ߚu[@o ݢP%Z̶9Ϯմ+F?Ce =]gYZn-=A THOL-SMT_ExamplesHOL-Library.Phantom_Typedocument/Phantom_Type.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*=)17kk(:Zo:[qA6b)qP^ I/N\ )j:.v g\%+Z@;f*ꢆ3r>#+Q&JǧK]KIJ/X3S#aSIrrh6js1:"S!ս/y*QM Wd%+85Dr-oPm<#,(QcoAKiA04X!Vr gt˓\}Dy\ O".qEƢ ۇtr T f",EgA9A iDt#P[;)3 }T7*n~B-e4ŔpO v *OJ}ĥ$2u^o8&G8 }mqãg%&h^Ցd5 m }ANB|rh\N#2\1u55xo&6o1-jw)Or$Zqz.3o/?k :vZ'zxiA p_w5ѐ:Ooz& @VFYNq:'V@ ?8I4 $e' h{N㾘f[]#& 1j;!4S H|oxL&ϖ]tTnBB΅Wg3H::,NoOw 4JOc -s.|koC\y#ІN?};;zfnۻ[6 d*m_jKiƃ{(~&{Œo,Pq-K WHsam-*2Z GP]~.;hߪGW[?´Is4/n/ S&a039+z36EDF&o$^də6k3gk.<שo2!8#); *I|2fRY+goK9tN9lS,E"ոc8auK9(Rs;֑;lb>]s!%E+,<6~?>dqSS3N·tJrXf_;0I@]{Nc|Љ?z. RJ+SP&j Z@i>_ahy1P]$6Hhu<Л&6⸬@-a)(.2 @iXƦ|I&XTƢ}_<:U񟠹79 O$'v@fj_fL 4515- u;;IVN8Gmx)$dT)ڤ4V\Mb6B`j9Y,69&ON[bAdnO15+yΦ=5mXAKm:>z2G莲ü[mᨙ&Bpc0b-ʐjxJNrD ) 6$YJJvf_v?b[VCMC'6rD蝒uZ?B@@ݒtcU6ĦC+@>| @$NFw@w_/s>{1[puW8%LkDR.'B&fe|~};VF%$gaFȘXrih`e"AGZ,5 -{6Tx|\YXb j  EiU4z)l [h&99 W'~xc ʚ&3|wJ7qi.9N7p<0ڽA{Mvⵁ\GYW^d$Ϻ@<\&q$/-lU}[d{~g`]!wUb!,Jk'z$TvKGJg$:02cBs͛@&'@ PGˊAPvobPBSgWLbݵnQsBr?!-6 í`N^3_\dltX]=;hj23Di>%u͜Nuߦ[r9:u1`C 2Gp>0ݪefF;l)|*2|Nez:C-Yt拂_St][>T[O)`s)\,8DKpU5ǥg :ؘJ9}'-W;QAJ;BڳTU΁qI,XW[}ΈȘt'f*(hFȦ!F#ӂ, [{ 9!ͩT_UaJ'?wSr[hui`4 Q-5bК-/p>@:,msL pý+gN/. &AQ7j*ZP-L7N>ɦl,SqAg?qd1?v%?8jwdߥ7x gYZ " -=? qKL"N=NG=¿jv.jx3@6(bI cX.Ů E‘B;T<`sտ\M״os+g1g;P}E wI It-nxʒ+1w\yMV0ز(>J NDmÀhCT,V4(Sy)%$=O^l"&x=mvXEeمB f<^ w0cSYG5◎O(h`D'aB`*" QazPSc}:@$O^r do?ӌgGib&?~hV^.)F&Pb>y TK ]SK(^㹉6S/%qb8٠{.ZU ɑ]^Xdnm%rOvM5FȚONz\.w}ߘ:;ی1jalgYOq)#B Bhxu֜ҫP͞|ی;? .Iʒ)lٯh.ben+\U<-|eRM}Je!9_}" =?8sOI[f1!Z_M( C/3>4͌4f Xi\WdBV"`?MS/n_kSi (#Jwƙ4s}K˥V7gّ- 1w+~d7z%0][x!@\0zݮgޅȉ _# 85"gBUT cͲЯ2@o)i l]ˁQfi.ƈo1K˭ hZ40!qmӰ3\Xe)ިu^oKQd.l9ՐVDH\N{s b k?ӧ:N\ϪY)Zt*nʨ^L c4[9dUuGԹ& )&|+/k¶`Ph$B6Jy,-'KЎ#{zm¹# "2A] уPݲj|G1}R*E\Z8cswQl #cMX*fBp^r&j >~Ayd\f16wҥpqv=$G8F>D髑v\y㏖G<fj_G&Ee9oJN? ytCtb~Rp30:Q cTm9#zjBrWo5hLI[6^ci'(,u ϲJSEEeqI%-[Hա)"7*?+ƲTk kD{{DJZs?l#H5F3ó9%'B7v dJg+pĭ"_yߛ-[#Fg1nÔߍzbQ+1C1;&xT~>z '#j5Tk߲ gNF~ιK 6Av\TJ EB5~7gf5Z3.Z)xC@yRcogeIiy> :Wv A[s*ҩѲg aݒlxh,y54/aFv;XˬݣzUFӕ xJ7LB견<[&yjY\IOxR|,w-&ﵡ&ލ#{<]t 1bӅؠyzkt\`mW7Bz) a"Un6whBZC+4Yc"NRԚ]cIOlvɔzjO99 Ms<&bGvY] d|\1z{FL.&B[zVG?Z?i(Je2[N.5W VLެ& ;5ʯ;PI3 yRJB;w^jBW4FA1ziH,H7!.u% [`nZT Q`64zΜ=Ic;6zxUc,<[9Ǖ)G*hd|j~L j)%0=A]; x_W:j=J__S6䒃}~8in;<5RQX.>v[q4Ur)1H/]}IGDڲi ^W(1<4 7M=N荥8%D].qwڠY%(.1lE,l& / rl?`S[:>(N;= XG#tM?52Eɼ@&5dw y5i&AhRrۥlVCh1l:?Gj]!,y?31SL28f<>&1?_ ZVΠA;BD4t[gZRb\j5+ʦbx7~r!mD \ߎMuٖKs[֒K'A9ڄV (ҩ:i{9: ]K%a`Khl-L9GT`Ez[Oe5nǻߛ;BG,s_4=>%ϿyҊcq !Ng/>Y5z9{⃋<쁨8]wqUMdqyA\%-wdO#{jE "Ϡ!Oa|nѲ'`&3S-zGE9T3I116LR?Ax:/K$1h)lKS{}Q>h*vWwi?B|D,>Y9 ɖ 힧A>FUr]2=-E`Ʀˠph1FI͒XFS5 L`Ԭ ;zk& Aoܤ؝!I;t0W =9mGK7RvSĕRgUwy_ć pskmPy7AFKjGG(Rjwv  LI6"u|>G!l@`V~^iZ<%!8sr 2z ;,J5ʨ.mpKi{n(u:a!>Oٙ7N\{EgtŊ'>jz9zK/o%WaQJNVR+0xnѫ@WB8qKy66Сx>X$ Xe;v^+!cZţ0+v2ƔA-j/}6t%`]\4OO-ܓp{6??7<Z"jQkte~7+Wr[v Q-f~H[H4>"˼i杖3sᝍ}Jl=]DX7&X+l4a$R Rcᾅ%ھPx-++,XU2MnaEi 1&wf9YuoZpl@zK챐G;s)[WrOx0a+@?VyQ3ǵ]D2v'P%51aAp@Ae%SL<7=( ƣN1wB6g_7gZR? jLx+?2}jv>vHϢr-[:iu)ȅ@H^`^SVg.2:vpN3>JhsHSV0]ڛJ(bY+2f3jN9al1 Y#?{L:S;8$J$%g:L9pcaw!ȖW/uE 7?I+TD!tg{vY7<pkԴRU t*T ,r}FDWf¼LX9ͅ+0uσɅ$0r14@h.dd4%IH^/}Mz~ߺ^g~xDch02O~`"b∨}RNfCHU&tW`NA0_fiH$$#W!c,5n^S6zwV@<0~mSB/4PnV[sW4ƥ56B#C`&ȵԝ`fcw bŸi d[~ IR%tw\MvL./Ijq-kZ`bےU/D_#k 5Ǿ*}UvdeЮkl?@PX F$;H/Ϳ24IU,\HmƋYReq sp(l|w%e3 fB6˰=?0ʒKw%f2n}.^=Y6~v f7G<[3*O˽_!t.ݤrվ`L~U]Oh6F3&O tЌc)vq M2!5EEeQ3ֽ(5g=i_$Fqjr&r nCd[@T].DS/YբO5pճA%w5D<6]Wub{DS0YB.L [Knvq,J)EԊE8ؑۻ-4/59tvc/+9[1vɼa J%bo{K YdުLL/b?֪UC6B0ߥ䌺KZvOv7@ .! %S QؑMnG\..X!%0/gn6b(ou]xVBEo` tAftowRw)8w}ɤ.׉fj%.I)ߝ' K]iFA yP5-.OM.&IVã"le oC+x"cK;"#ICI 5PWƒyW `v8ΟxGzFʫᤃ0#{un \b5EĹuX-uR|#B2]EGG(gn/bU:DVa88ɧvB"Qs0J$#FʒG|/#A}R@L _$BB~&ql Z'WmIԱb0aH1PA00FS,۪Rb@$~c#KʏO3x`/Ԡυ&I\v/%n^xim-p\)# c-17Z%?+3b쁠iHs8%̅*;jՒkL9 =N#guwBS>*69qp tHw>r ^T٪44>, SSL%yD-qI G&$B${·W[^ xa'K6;wRRo @|I؝,4?=V"jSTA{d/{#8~zԽېbH(Qݺ˶*я.odUwg(ha'\˭n] LcpW]""N,SݱymN@|Pw@j՗H{CEC@B,3II)!mX $g6Ұ˕Q%x]1N-'E$CKI$ű83>giШi (,-Yz Ew`FCY /? v dẗ6d~ ,G%c1>*A/uУě2*B=4<d49_c,&1dfSPz_*JADQ.ԯHGKkVhr m BgޢձSAGǜtBQzSTFX{&M|Z@L3=JåuJ,Mߢ-=ktvk gl~GM3wtHJ/`{*XMzШ 3T^W*СuER:ݞ㽬D6Hq7* Y'ypKJS/XW m>1AnAdX˝q`qvM׏lo,D+C[^\;!ٴqZٌy,H!3jqբu#ݑr1} ?(fIuƈE3vR?`>۵_R+Rf0z`ì"@W }[SMM`PfS-AZ){;y(G6.2qs.&:R|$HjB*|]&.g{' nOrf2E#@Lt+d<ËAz붢A0}i68 -Uv3WY1CLS8/m٢Y E dtB/i#Y(?Z>2޶'m^^ٕSGQ?֚I~#,i|s>u{ztN P90嚋C=2)9otIdM_h:4v>` N.* C.`Oy"9*S̨gs&gy!G W-{A5׎QZ^pfH !c"|n劚w#|28!k֞{~K\̞ÂM%,M\@>(EY{Y*\?a1k8 Q?Y??vN(v>ߵs!݆2σzՋR% ˔qbsl޿zI~-41vV&(eR[o2-e)RD,ےY)t!VN@Ű9T#ÒN==7|K<8NU ysIN` k1b?3Ӗ/px wB@J6yZ0reӗ.} M!I7wU]% fc}U_yu)U©U/R-R|8kN5c=}(a[YVIN 1ǣW3*!?dհWYUprS98pvzH'_vbh]| K/J<."=}M@Pl4c yipy*{U7wU9u"D4 GbjcUsȻʉ1'Hhv \~a a݁FWb1 Twd?]ֈpCi^I wtW]mpBjwf;qFe W=nKN Gy| f3mUf'];q^g] p{XSэQ/L!Y!Y;1o4 =)Wk~m[dNy?HE(vǺݎdhb/{za؆QI%YLíTb!&Citaf ːY}udB\4,#CM>˘yX74\8 0aqZ e[=%u^ _*ȁhɡ R㤺qQR-0|V"1$ x5E M2|6thȝp+璂qe L*ǁ&%pMX:bMw*4} \fq55'W}9Ji>Y2id L_Y(!UZ鸮kRR<ה:Z>e(%-K]QΌSu{円f}BFizD?{Ms1ZX :S㛻|s9! פE7cB6NY=:=)k|X7t zz.+B rչ;h@(UW#Ħ,=FB3hjhi#.}3`E/Ii%5H/;ϛe0\RMB+Tvicdfn*UJ_O9v#+ѱL/+af=un WMH!zβCDYZˮbiAz͢R@e 33ܔ(W=]B o?hbss =Lږ") w@>#bOF8-:uBsLaDw VZ$l)  D0xJ挩 oRB4fWڏj8v&Wts7G6A* _U7A+f#bKB;T2RqNo<,yr/[ )٤DaJ%&hO( ؂;$(e+h6a>3X?^dU@ !>Twf<UHSn+ R lι)Ql\լpO@3^OShbKڦT K=EOrlaD;7h|[:nы;tmބK7}B @S+ި+>^/٣p oҩxب>vy7C_Qw#qAԼMg3gYZ*i0 SGvRکaTH9TmGrݍ"'r+*Hm)+Jb$iW"]?E ~26yIFX1ot lIjy!dOGCt4~= V 5τcfhar a ޵*0(KE~x9qm62L,c)3~AGlJKBȮ9ή]YB4japH]/kL #MR[JT)^bܬykoɀN? h3lb4eW0_jDE&Ng&D"Y*v}cs(fs(SpqK- 93!z'Ƽ16-Ѕc6`tkb@hKסֱxsSQfx=c7U$m*_?Հj!aO{DnpjuIBa?e.EtC@Q+*N۶-˲tp-TI&7Us %{jf * ӤJlp-&4Ö+@O #m{}JnyvMOG+w7x rQ5?FId{zX0)7S~b| 㸏@6N mixi͎^ |Ǎ7׌%| 7kGV6+A\q* ErW@xÜ4YV K*3IꚟIJ8"ܦS o<ͤ,@[ &iIdt<̹w68$ @7{ +c- 䟤"zl)Jsoӓj04箁n  "N3.<@pӚ#ܪqUzQ͍=:BنƎ_hJ{6xmáT㲂 / CxM!H5Pu^[HYp&vxw#,`\,BMv ]uͪ1v,M> $mj ̜6%>f. zb:ތKF=fҢ iF$6p4&3\y^ǎ S9sy0Me1RS'Ur+UdI;d^c G)Q,9ze c홁Cv̢1khk9}Gˌ(S6 ݌ڿTպ G?902.gG!*Nqh.i +>@l,34Uc?b\{&gIx q Zp|voZvmqI`rE& C,wijD[tH U- ?HFP98QpRm30-M@({f/Uuk=*DMfxocB|>~hhl&FJ Y-:jKI\e_~<;VԖc]vϝc! B#bbxpbZ0\A0ī_e@:iTlΥO2&bG[KZEUad|fE 5ضG`oHk"CSWtTd&mz7m?btJ4Ok|iM|IJ($HNSv{s, =H}] 5kY]$q+BAZsx؜2~`' Tm~u ss(͆.%!ڬ 'Ps']_v=>ZլUU"M>s?Vu T m|۷O WoG* QBK ]5I"N~e?l/:ϡ4G%DK &4d[O\Qv@3Z]GoG;DY6~ksc6r:," _ 7m{gC|#ȅrު' x8"Ém#(?R!Y9|^n^+*!ٜ [asߞV-ۨ4jd& XuF`b; 4k) sd%ۤTN>C'mVn>m*+KcCljVұ'9EҤ$2DiI@hF[ҩPۂrX]Y@'?FUŸrp!gH=rA;<{C"07щaohG 9J_CPcV2(.;p iO*/آFf)MS>T꺆VN+dK{ꏷK#d^8x*?hk;k4_ev& 2h'LQɰx@uנ 5p,KOG!Ou <[ସTAitiǔаq^ k3A@`~Bѷ/kA@NCd{Z.QP5J@jԇ29/W_,b+*H$-#z!oN#t[j9k`bb^@F#_;DwHNvy!b>kI {\&v辕gE4':J\3uŴa7 [ x[ &m/݃_%w 3 M^Y[]z ]D; a~>S% qfveNAcy+ CJtZC?ϖ"A/RK$@i=V;G-=mYhxvk,sЫ5 zxpBOGCӣO1Fʳ.cRUyZ^"a*L lu6e ‰i{ݰ8 $'Sd~6 OX5,u=bJkF\KֈQyrݏg)gCRYvF,ȉM d3MdiqmKڬx w.1oѹ8L\;66SӓfCEXUN,rSN挙YRz#_ rq&RqnQN ?WOY6QT3cU,y-Ux]ԉQM{S|`Iy?)TfJڔ3Tv\fҦpRT>KН6UǹI͸CEwHQT9bL׼ЈN\%S&"ܵ7w=êJ_xX4[u5le2uSj;#;|r(5 4om!mcfMpN- I{z>Kt,| qnod2bMvOj^Y23yeS<+wDl%2i6US92  k/Tˇ}i]`eR{AܥgblM 1C>ӽWaNis N9;E[7H9ݬ:*B7-l)à{@ChO(2pk(y 3}^VH״γ~yDpM),)wJA+ED77fo '~keu. necN<=f(azw]*5wNmihHD4.he4YE@RalPU~zd4p35u Tn=[U˷mT#E'x8F-:W D^D#!NEwJus4YrVӇ|*m/YZ|>ٿN¥G?6o{^MEhQ YV`nw 1] }odP3G8Kq֑Z 0D,\xf:$IiblYSكEL߼xO~dЖdXO.8}|~Ii5O^Nu:RiaQ869wo,Er G]cs;kveY`%{U#=e 8(spݧ%V`̕hlgˋM/2rN<Aw Sl_E30zJg3yoȴCI va!DWΌYx̴wDx"s v9Hק 'ڢak0k1Z'QS-QmkP8Ȫt<FЫWloOdFrd?|5syFWfڍ݆g,ܮzFCB3͈@d`pc7)I杯;^G Sť>ScμAKu˨fXG&_˨ۅ(ɤ{*;5Vg"("lkCZL 3$9w:X8B'6FS%"ƬM/lϻqβYo\0:{(i ;*Grm ;,,&:䕊0`L^mw@ˮE؛Gf2 |R汔ϵg a7.[%^@˨!nm$¨`Q'\]境jgR-!0pKUS<%y"25p )v4H'g/KdWNKs@| .i|H]{4uDH,T<ɎsRWIi9,SNx9e0:'jؗv{ Rq{B|b!-H)@y)|2qMZs;RU0NF^3n7cT"7pA,Wp ܦxǟ>e5jg#t@+# ܥ3-q[YSI{BngW[镓 t;Ml%췌4;qi`iʚq{r[˔=2q z$F["$:Ɏa #^v4={EcijaߙsG;=GCle0+ʳHC!ZvWb#b?fKJAWrVOOH:Ώ?Y7 qzIX[oG_G4wNöh=+>ۓ\ݨݫpĕJaWI Zxqnl|󐉳A~Sul8.4(#,hT<J-rrSwM7z32#l[0ݬ$Ħr y|;#/jF =.ub),wd=n 5ν,MYmPr1c!Dg!#!% QovLU݊MW*RYL 4ٔUE7Ri̕Y;&ird(c?r#迺RZIFPK1(+p~(TQN$ՙ$HBF4DuawWgjhenPLvE$KŤtW.:qz*e 'ׅi+; y;P3f3G# (jtѰS(a9b&MexW*q;/TAl9Ks/X\-@R#Bu: UZy!hee^ոjPˌ:nB7B9tA1p [>D;BkV=,˸H1/T LMzrOfCr-3H59׫D!^/ɕ;TLO,P(4c(̞:xJv FLԘ_kɴdf+U+6ȳq0p (/q;'.zE`16zR_%?yc4*WVqCPAkyv~w`ڍ[/%0ӂ{%YY.Q,l.T6W9̭q4o1UDt&$)ʼq>TQ??aVEsZuS:jsV}&˄uJ^tp, \*PXϙᑒm.Ǹ,B韫t6p h ໠jk ?m!!&pjQ{TH3%^`y)?35gXÔ>QڏPL8^d9jᥪnqkT/+oxc8R-A0$X.B?2^ 3ۑn5Bp͸-O3@\b% OU4ȣ2 $  "R%!/Z`G6L3Q8o(c H:r A?F2[(P'Dj= {4sqʦ"U꩖LD„G}8:!h /u;j8ss.ΒP4p~Ef0*-P +Oi)呲i̓WzaP\BI$!np}^6 w&VE֨tl~lLbI]>y]~e:[Q܂I,i3Df*#26,g!Id!<_4wfM[6;DoswQ: qwF;$ DZDaojWr(p[ >CN t^fQVF;^ k *uW}OeeZ/AWl;/oڜ"=y|Tw~)÷ Ԓ?%mxaؗD575 9or5zg1@Zƀc/ T _'*`&Kѡ !#k`Pv aךV6l`bI|J:+/}9lN'McU/2D^z3ޔf:3* cePg 5vRUx<~Qlns_$id,1TYRd3mç) 45/ܒ/HeG"3 yV7,NO, &TV=SݴS?N4( W m-i῎Ӊ)Ck!=Σ`G].bAM݅Yʗ^z7TNA/Jou|t٪R8Fpes#J[=cƣ&02hKVE@.?|+Ԩ@*݃;Ε&'̓@ I9VEMi ͍us3lLFE }֗Us7mNݼJ'҅Z{X (a@t2rz65њKӈh< K'dT #3)m0[&FE3d.*Mpk~o쯁xm&C2Wp`@r^p)߃usOB,O2% 5/1LiPߒDS+A{ HV4lt;)@~>6&ݼ϶XM*jFĽ*rάd@!Z$ ue&)}&8n@TDB Yp+C.lѭ@j ]vK@-}_6zo| P+Y|r rC,t*V-b5.ܷhNY𜸝3 v᳐+[JН7Z7Jn00Ug;3[0a77]|DIZQ ZIT (mHdZϳ!un(QTj<Ѿ06#N{\q: Bn? %MCJ朳]BvqًKS8-HBg]jTZkWĶE7YyL˰!QTZ*qx"ET(_a/-jiSdwp8v }!*c6PFʫ5Ds\k&47o┝{ 0@юQj[77Z2:W!9?q Ë{x@V|]/9GOy1 Bꉚa>|@Sufʐm iU>0KYq4@v4 MϿCNnv)]=)䭆pJn'+ĹT׈y < [@疯yP u\oFeO3saDtօ^hɖc,ʹ.uW Ct_}ttXRsfQ[o Vi%۳J m}&4qtkq\ܹJ=&6#sP֐)ȞǷv%EP:p"ap j(y(TqLdTJ/᡺ˮ{ qeI(iaU4 }yhm[:,Fcd:+Qڕzx`0Φԉwӓ+qB֜TшPh.]*U(8Q!LJV6urcdƠ#gQ>۰ 8$ε(aY!J/ݰ$U6QP{!59|\ Σ$`LDtЫ(-m=a*:kEdޟ a s/bclrB?dFk)Dw"C(gCLHo2D0W(e{7Agr *_o,/y/zijrD|ZP YiAǺp;atq95H$zf@HV!̼42Ϭ.N\wwdkW,kǁt=-ՋQĉ\w#) O?Лddp@zҢ>Q^8d6jd~!}vL仴H|' yBZ  dh$s " P{V\+#gM\:N/u^!š_l*a4{gb[dE\eTqus%I?!2dERnK0\S ^q:?!J (~ln:| 2sJ*=^W)wPpt逤NBUV0^mP ;ldŘw-m[EGaw]nt֎Cj h.zoj 55QNl)~E(ROJ+F*UW$ۇoRF1\=pYz%fT*Eq'4Xk,Epy c1t"!H|DžgϏٵM@!FqJͦZ¼Z&ى Tl.Ͻ9}te#TB& Mrk/xO!t" ϔh=" u}x;k,*?dGxq2`z+ư輻ug=iMU.ΰLA^)91W6>`֐j' :fi C-R.%'3ư^+E3G\R"w A6,8 savnSԩw;]7}}pC*.L?<_>ST"J"g]A"ɤLC9I2IHx+p]P<"к(u=%#3CW"dc-atfƘ Еzy$^3͎W{LKJwGIfm#|UKT:s9G2mYR\ t9rA El{۹C{m8--f:mwuH8,#V G`Tι&DAhu@>@8" taeNޛKS ^wk2@YC9+|Fo; 캀VG NuxP{@HSit5VDXc4!#H6Is/IY*C^ ɩcԎloS3s>48K9sD}Z6Wc]"RӠ!rA tn0C^32ܤX Jx%-0x`T:<ξ~6b&x _vj,|#yu{$f/&+<;_eH<uux e;Qc %( cm:,mbdRM'ݡ& b[6Z6(rcPB -.i|7"9"F~H S SWP\*خRB:1ȏxJ _mNuyރBRz+DPD0 0~e-톗:=n+pp-ٜK#9E,+Q0~_XQ?sNW&MSU 65Fe!zWPU;I )Ye{V >,)+~LJ^)ҦY퓫 bc3şQ0+w #>~ɘNHw2|mC%IhX ,K +=ϑ3-ܙ^ADRvM"54ʣ?&cޖ KrXhi/F=DUhO~ [+u_l~*meB2ik'B_}1L3u\2Kc5تL,1 0@~Iz΋Î%&;hOY]XSPjGs8u(f˞7NkWsyUo7V #n6U>mP1v-SDU/j^ˬN`,7jGˠ ca"izd褐_-^Ҕ`9..!N2d-(z4AyF:%VSZҾ"EA\[新?C4鼍9Wuփ>&|墸#0lpOB o26BX: ǹ0 G~=3WID&ec9D |~L(Fc:|1e7^n{Ruaɔj)h3Ξ#0@,WAkۘ'M'Ξ\'A 6Y$,WBw91j6@E|)Q2H CFa{2#LAVR7&rvI-%Ai],U!@:Ʀ7_iT_.PZ9Tq11勹|1glS[" `5s9YTG]b7i?e*RVWeAnQrY`!JrLX`9U\bz D{RY,[4ZXr\:yy [3yClT͓ږǯ.UJR&\E*5)jUpE0y,2ާ•jIy"ig1R5hO&c.nnٺä́&u&0cyaB V`g*~!0uO?9f9rh՚:VGZhD1>AF32V=^bhbW/*8" Oԉ.aFiV )Zz?[,̤Z0/O ̴5!I[q cfml(UB {Q$c){Tʂ[Z&7 }\B˝_dɝLt̷^\*sgYA-~lpy97F>4R nǯ_]"sΨ>#>rofJV7ܻHhmAwGZt} HSǙW0dԴ[wto:/HfHH_Lä+ [3 +Pw\AG9< Z"La+6WhDi.L؏E^R5 \ip'_ZJIwQq@R} 6F>< ڕWS*nZoGEŅJoYKCSw A[rB*/Rd7_N_VzFs̟ 4}#.U֯{6c[m s` v1KlU b4\Gߩau &9v[L(.&~Qar7# ;* !uc GwvVAkhАk4Vb|aPj7UؘQ b-WKYqjwyIͥ6<= zf"0޻lY=th`_Hp-nP`xvynE)i-}k%'[r|UYo iPX]+hG/4kF+n݊6o$jT0pT D/bHWZw\]C//a_ H6G+t~ 6O%"sd8@&햡nsCǕR4Ac}* beg 4@JVfPHM q]L_b,oRAR ݍ}ZL߅_Vt># 3oA.3U݄DE(1-e'o䙆HEIIOI& 13{ v۰$;"@BE¼Om_pFo"m|!`$JnyA.D7S:}>afKQ# rcO/trg j)9U aNݘvqG? <fܪF;px>nc5Ʋq1&#LۜkQ(NpE*|Rb C!egZD X@-[P"tY}ӟy,p(64HticF*QDQo܍qԅx~D N*'̪{f;&T_|,# Ày8.ܨʂ9) ;HEwϚЏ,{EZwfx@۬ˇL]DgN>5ɺQ@*i! 1HBn4vdl2 쥌PlR;xQmua~v9ֽF%C{'ٝFDqDՕh6DO+.pG;@'t }aOPoW[/HAa܌4m$ .R}jCYړΣuÖL/KX\xDd9+U&ܙeZa93zFS{%YnWRojU+d}*e:[ >q焻my=^7!E >c: GDM]te^p2.ЄU!̃({C`ȔCAl$a- %/Y CO ~I5& \/}==& h\N~0 KyRT~yOޞtT6 oHvڑZR:ɮ5;h\2N m3GFs&?A#gXe}j? ѣR Wx&Kc{UPϙ{(ҩ()|W=@h`!Ԓ z|h%2'Y_.M>:N[>@'ߙŽ#Tۍj?ȋx sH/{A5o$ ZT`%k5nn]$QOd·bxy_I2Ĕ-yb2hgP9͕+DD\L(=;y%{{yTst/iAO>kz}QѴOg+qB^ ®)ltQ1 HkpH k.uF|V0_5ldp3,Ɍ]0ma[ XX՟CI[@rV%,6n@gWIJDBQIB3!k1N4ä h6fq (SsO-KWxU+Kԥ~!W(=O 6懄 Bl|>Wl, 9X;O| 6o A<x'i|.e$\y%s7smWюӺw)ԨuυvGRt-8t7[+7fABIm2HvA7(=;)豛K)%sWW3ٿpp=ˌDQaw%l2Z7&Fu=#&ŀs*?8>#};[/YgZ\GO@s}cdݷArLwEGfwח$8|VynJ[M4YDV #E%Į>hywP??&yZ\ ">RXr&AJߧ>kjqE,Vb^B/*/c>CH-vd|%%%Hxe"xom>Vc=Qҡ`_DL ;$`vc;QB=4cvE> o5#À#s[7)8dSDh[iPQF2v8,q,B~pPE nIbbJ ~RK穐\SN (2\p_(Ӎϯ:";snuBIv3eJ!+U wKu_uS~`E]Lp :l>W2D'8&L\z896ߟ?`)`U1YJK;D*n5:.paL,\s-{;3 L/mmw:Xo=&t`6]Kfs'zUbRfxtz=2pH>%2Luimň[ 7xP[z_QSTv#%?hLW ̑YLЫw*JNP~Κ~^_nr^?oFhJHfAQW၏wmA&l^3 :g=hx Q֤`K٧B{m6kŖfݭ.K6hJc VW@"GfoMIlS#LID:2y9m\T||C/̈́jao}uV;Wx\?'Dҳ_ŗ=?JO hYS)t43/_jZH@p Pۮ}۫]\>E;q͕a^`8`_TQto WU UM.̕odzdk53[=)ZHԕk2|]emQLilG^IB,)YR=Ś1{VXFr>H2Xk?Sg\'AJܤZ3` ES*rIJD@boȻni|qHc*$Pp|5ԫ|* ؍rPb5P! ]\gqނjqW2T6V34 ֽ<_Дói>#\ zZH[Yow9pq^ H.o%pM /CE,MՔKRh#E{mͅYMсF[=cxX"xhεٻi:aBphTT .\Q ?{f{71hdDb>)EًxX'`xj-^)wA3w"\ewtבyjbD0 A<$MHTZ[sԒ{{F.̸"PyYf~eNG҅KCn#SW}dߓMT։.bLF6m.w_ˢ=c5F(ˮL >K$9d'Յ?JJiŃdLP*7'D~/Ԗ\H6 n?=oVtXxJB6x>5FxQs#tT_TP (|wcX|wB~ЉKr? jx6xz.u{Ï,L7H$#%ts*Q[zӭ"p#F^~§!\Ho;梘`BሁT,oѾӏ&UCzm d cgNq՗^e% upr Sr F͑keprD+<*lGه+,Ǿyh2P ́ ,D2PrV~N|hX4  a=luّghH=5I'n7dګILBc;u|w2 Ojf搎[Q_5:2-Ns+ЅñUy, !+6oW;xs}>/I^=4NTmkrG{FYKXXZWau##PD$HMG4PR䔶1)k}8td0ք}ZU·I3t(vЂCM8<2xO6[*7)Ģz7g}c=58Z+6ǥvu HtQ3jC;K/-ށɠνGl0w"ʉ]=K^G lQ:ǠhqR(7l.KS=STA۠xX&+oڦt廹Ͽ9AHkg3U-tv)ob&xc}l_ŭQJb4͔(~?'ڴ@ 0I H#2shۂe-9(~"-_7[Bw:bcBđ )Nl:%F8[f=bOѯ +T⮖;GT7?v݀|>S3 8onVVnrcue S8,4 3}ш .|!\Ot}-MiyةV,msÏ (+);frڒZꭄME kJE'j \o8MmJǡϯ+0FG%O Iݜa'¢@34!:Qګb45mqME%psw+ZׁA40B Ԟ.x Iʅ*#' 7R[ ً~6nU}9KEC9Boj'/>v76p\*8g Jܘ1KCmܚљgZ@aȳ |tSvgKh ]?!\=:x}G[= &׵#UBR@f.z; IB=YIⱟ*ȸ;GnRwRJDBx1tF(\mH[4TR!fg/J>jѼ$X䪧̓TGE-%55]Ġ|}"/*1$DŽLi51+Q$P!qEq-һʼHs ppJb+E[ o.8V!IMj;N\6ʄhZ==K8^a1fbٛj!()xfF{H&-Cħ8Rc3@=tK_BƔh-[D"e5N {?f2=D5g2pX&*Rs3ySӖ6[ 0+LPh9ʃrDA8UhӚP6Z|0([hs;ODoQ,''DeD]58NjW]2j,pp=UXV%I8x*bMRն2ߝ F d^M>ٵXEvBHDVmA ڷ{&G3L" H=^Qh%xzoIN6weT7VTcL^84@ޟF*e69bU|h(:iiE@{h'?s Ç0 YcoȊ&nnޕ~*U=eQbT[0vU" )iMMil h½aVo?c"5Y890%]H"TVC˥nC!)$CfFE!yGmF*J2iL8RJA΀L7 @>Kjugr.9R_!Ō03]a"d6ZϪ.26^R־:&))C7%Bk)0W#o%Cbg+d>sU{ \քbXBnj _&{({,I ~qy~s̨4uE*4ۇv%[;סna{,C&}>я/6 |i;?̒_i̪3P2#m]*/J#:dƮ«k.|DmZVm)lߐ}+x3" 9ֺ8JVW|3bFMIectXOPvv:LhV+Rj P ٖrc+~Bs$tIuWeq qOgDvNu0Jxhs 𱯤UزB/ScQ>GB8vX )ŔGSK Sy_b G3~|F/tѸ裟oADM4A{R'ea/zp”KD[$KUT yMI-vZu K{*߲ ѝUI扄);S(~Ֆ~G E>PI|%mG|nb9c.αpjpzethp%RYE7iQ GU"vk ]y:kFa<6j΂sѴuP"/Z;ǩEt34&>OvkǠ)%ҹXM~A v'}"ł~k!ݠtDħʂjM2*d`\D<%gڹ%G[=2 틎F@+NR_IT^VӓG]Xx`JA%XbH3aNFbכҪIIaez$ W:[Ku.-,< c8TSTYTø~~[/m?-]tWae0t4AN(VmclclhANg"OAw u1n^"} ͋JL{Dz}6&)I]˄VbޮDna6b&=i,p1o}!²j0u>Њ'\[vX Ut{q˗lP;П5y;ukXu,\j2~Ӌz([F"\ѣ [Yu@7NY'UNIkâkw]zXtk”@; 'X9gSr$-IJo%ai\ĸ6_?teܬE+Nr ÊNJi\vPac2`![4a[A ~QCloEҋd쨳=r9ӧau E  ͗GXJy,$#x:|c&9}ۥťsTp"K[Joav@XBɩ$J{Fll !LȻU-&V$iGk7*0p3ߏ ,o<MEY|nDS >ށ)qnld?% YIX!KRt.Ťh7蹂j4uG&VH3H^o%JZ;oSK@"I1%`q:vC2RrRvT'G?sV $!H[>TDO4ƀJ/.=L'iSa5׵Xk%#H4ttXl㣂'Qk0ņH7 U9| Cz]3KR(:ZsY]ƟӍMkRj'Rܰ o#ykЉgTZ֒^AWi24X׳VˌNQ|g;ij 2,Ku ]Ww{Wi^쨻e kVs[."ԖhQqVHdJjdU-eC ׺Fdr)ej@ka z./pc9>lm>\i;%)tJDiV#I\NXU=¥KoޟfcKfnd\[ k|YmOj38U8L)*|"+GumvuHMvR֮Tp[ vd} CT1 _&I?6E,3D3c͎_$g:JFE`?V/PVH[櫠~;Q6ҜT2C 񖊱Da`ga^L{tr_1\a8t9Ɣ^@̅aK!?Pr \=ˍ\<ʛwv z9F?׸2ʾ?U:6ģZ` Quҷ֋@MoY@@1:iyBq<%wmn;P7uFĚ.(kbX,'x̩WkF1H/ʋOZa깜'p(ORoA,c>z *sy}LUy11]rA*T4m;Z `*~LHv71)u79FF@,}s>(]ND"J8Xs74 UZq^"j?tßp0`wĦ஦=|jKq'@ X%ݕ刞ak$9̋dݚ7 {t}=>b'R>xi gR:":| @$JzD;eR]P!ؖ+"L\k\tmgq ]{ѡ ugzunebQZ}{lQ7egCj6?^p@ })hc@2xi̶*W ) Z+r~. "jB.dҝ< _:9y.^'Dc4")DkpWX1!0] S5H;_;\4zR9߬Sܿ`k`:Si[@vY)%*-u,|S?d"=-v,qhqZ^ԽR\ |۝ך*Q\*[ Ti4&OjA?<4>< qM=.]gCS4$-*LH5e@~xE0ŇmҗX WX.|j ]M/ [RQ];KN5"$ WA"&]ok5;+(i:i&pKNF!vډS+ƅ db T/P0t#eHT} ?ZHoCN{(pq@9W%H+:? I~w >B(HkŹs/[ AUn x`D}.ZG'}V Yg. 5,݇f=Bv#[poG?pʅ,WY;3z c ÒpߑГвJ] >մzzY[sېp֠dz~H8 06]68EɟEt/=I ,j1o8αlr93tY8AW1h(Rq[c:BC2\3,`Nk3~$CzM"*X/bH[%BsT!xg_rleEy%oP!h> @l8ZN0d|[s'0EͶ[_\ Z[|9,Wь7/6(s]8@lv |9oz2Fvh7c&?fЪ <0<SfgIvA\YA?H(;-e4܍KaёP_{7iIj(kѤX#tXOfB^a 0_ 1?'\y>D8x.ѶhxG[Tu׾$Ře^|JPF>fsm׊-6 Ô.ziMiBR1g:uRufC,)u5RemqfSMYqe`)GHўbKCIL/F{ -h[n$ou|3HR;1"<0:Dw_.} kjPmaJK("C6ZՔ' ( <&c|唿nߡS J{+r0%M}Yˈy\Txo|/2$Ohv7J xBwz.ǽcW?U ܺ^JDS#b+ ZO TJSlkҡ4\ϕs H#f{jf#_.^;J'1#RGi*6y ˈu@ov*lFWlQy>fU^̣ٙ { Cx~uxRj~房'\TA 32xL%_Eb5I=ít-=|!geRB[74{6y@Cy%.xN*6j#=cm6]7388eyQu4-kB/ _9H'ݟxY/ݓ*{EYΩt C(; Bk~vd䌉^dWoOl̚<ߔqC½d&TfV}dI@1'${Al#pߖP穴z{€yu}hLma֊ē]QHQ64mUۜy:Jw?e 3bkqtfۤI%݈BAn}Љ=g0@t BХgb"fa~Z<#`d t- XvȖTl}#COτ|6Ivos mbF/ƱP3-leà?%yg?˱DO>0+56ПkPd㮎Hmd5˓~&Ci;oϻ~pjRo:̙?WWv7khT \'wFlh&ba)#;" ʇ輬fӝq3?6_+AMkh%@D[l@C[兡J,kdpz&!x3JxǓ3oӺyix*B$f,$*u^BI},Ȁk}\3AEHYUn7;G<_'ySy8k}X)3z}iیPkuTTPצiP%sEˮP,.<LͳD"z(:V`l?N\7䦺Y!zRd2FmuDf:6$nzZlxywelY6Զl2%Xe`!TJeYlu|SO`ݗm[iƑUuͩ$קxZ/x ݹo m:oą:ͳ{^cy%~{]"2/``I̍z"Ѷ.1'䗡óI{68IeBŝz uE鮩c]ɪʐTi:{q!C&}y#Ղ)H,@FU]PzqzjZ4|w`;ུKtu;Gۍ}4"< ^E6g9^媣5mDo>Z8d$ٗi\Rd0^U+`ѩPSCܸm,`feEtk4+ns@ꠡ7I9UŢws&0N5">q."x+i6[ "Mw$+Cso$9U(k;TZr5@2si] ڧ$߲"a+r8%DřHP&!aB C:|;Jju.f/j"!8,. d0@9jk{5$6p S9%Jz#ZJ(!%[]x_Fߓ_5YtgfD%(O3ܷjHﭾ ¥SDT>2hcb՜b`D`fʼnדY_M WR\ZΝp̀7w~j\r~&NU~D:4e_~!8"y=ye'6mpO$[ rȡ^%R@W-Ǽyʼn4:b-QCC'YJwm!VwHҟNbwOh)y)T#s~VB,ov`[3Mx 38vb  @#a{gİm/(:y}>^4_AcR>X^V Kݵň:JP缟Z+<15I-wı)ZІ003'*Šm)bC o% N~&9fYJl-hûiq pG |ޔK;'5tL0(*Z%dµ&iY܇3y ? ?DgH1rm5L8eȠln"$!\6؅~g46׼n- mJX?(Nlps}[ #p+NӡӔV8G`1zx助-phH|:Ch}`%3R#b(vRc^$ bT0P+w7\,Brd}.⧻2Tq"L'uɆ?dQ&Q!4}~JVxHv=BU{X{dT1>n!rFgL\t;SƷMZuӇPi$l?oBx .A(Z`o[&1#Mx VU"Y.8FmQϵoV+;m6o5fRn%i0Atꃨ4ddmMqBd:~Ȯt"à "&:P1F[& \:9д_,lǺAl8s|ߧM? 9.*GQRsɥ цj|Si;仡Ts&Qy߮ bXa4h{9DGP<mGmNs>4̷FXtfB>thwoOJFɧEs 8hGY!CD4Ũ9l~= k؉2B4yY٥֠o\+c{A"9(_ei90|geV+J-b}’GE|ö &@?ߒ BjtDӉH !Q _4L0 7$$H\< 4-#/JFv G:~ [I# i/16#Tzn**g*~hHf -̠0f l8`x?iS3$0VJN|n 8ZρB0zj'N_1-/zG>v:S-) RcfP*"_ӶyלQY$x6NjTV*3;8G,ifS4j8G:$1b^h;r(h ;xk|L$YuH{n!">Wo#0ZYKUXJLj&G!DɗȀpsß) 2DY?tK~(KHK)d4YFǎiHY5`OB5 9ƪf)Kp{ʌJ>Ks豴j%{Aj|,V#SEzNőPK; .v(/J{7 \rgט=ĪZ7'ny̩Y|2A)x}塋>o`;h u5jg^jMaoӠh6foE8&,O:XwJсC bM,N %aUWivd.m݀s EpFqu7hR%hwCbytu ,1KZ ggt8/d_ln *ZIWS a/ Wm:"͵qޘe&%A;9h: @b1og~ZxT+^m.( r rHWE&XӗkP2 T4$zl+qo^̃&TķA-}{s @4uc7Y0[keu"&;-bђg-eU랭@^c95}ƥd 4(`r2Lj,,vOX(J+#u%po;'谍#|nvidY{닡nɅ`oW|Q/! iu}c:Uu9Y|b)9NI#eY(ZWpԿ L4&DHc8C-g8D%]V&ݥju7I25vlt3`XZk]<^{z:]7UΜS]Oa"XDxB) 7ݿS6u~,^mʓmU 3? z.G>4:0Yfli@|mpCM;5<(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s,&Fߐ9 &|/s8,S[RߪZl20~$ksKuK> )"1~\tC6 oǑ?)٭ ,o"BoB`P$Z36)~;x6fPUԒ4k kMby>l-[h(Em Ë) 8F$ dkQ]r.kxT'2=F]63WjAjM+)ᵃ4ѣTӱ*pç].VuU6g{lz?sߘp6y@=, mgMGY9 u%iƭ_2^8;y}{vr'ieq,io]k]0jTlԦۺq@kYںԁX).h0Z<i&Wp6>԰N=-W0ӕHq2c82 GMBΨ]1G;0Cl'j2/1Ec13~LOgU4{O@:\k'6J$*oO L:N5)Iܻܤ3⌇8w.{ĐGSZ ’J㌰x#N -,~44-lhNus$n&tfS C.;fKґO%NlTG>qlRHS}DW'|%'bYۨ?WQa.fYFUףRl1`=FΈ_KӥbXgEvUu)P!9PLn_YLs_8I]1Fh|}ïO)%(RqGB•f Sx{u;-m?7½똪9l*Me̯?4Q :UudGx޲YLEo? khUV8|#t*w3vmZbяHeq$8Uc zc],غ!XX)cAO/;&F;_tWQ o[žCj F://򴫭RcndBFsT5Ϭb\ }C tmGzLp9yNc~%ɾ/x+B}ݾ)AMKgr7J=QD =8kZn88xޖIȆ)'aAbnH֙рx Ejnl 4ȦHJwjA\(F9"?;`RgׂZFKΡ#yКG՛3SŴ3 ˗}'RA;kO rx^\"Lآrj>MY ]^l4;4~{v$uz\Q]=:+n}k 3@65xn9 R) w^ok\ @٨> |A`AmA7kVV;=uK2sg7XƠ.#H8y$  ?-Oa)}>$2DEIGQH*D;*u*Mߡե"X8լYT̝]*Mvɘ"x~\!3";Nkf ,|"HbSQbvE8RC!% 7G>vƵc#} d6jG1ڏ*HBVQmY_kQC!h။IK-Dvsyl'Y|_K6aTY2dHS_Pn~<a/D^\HCiΗNNE`pl-VYvyŔDӲQ$T&`$l]ҪN `wǀ paA_ $3(NoV'qNf!8H7~3|]L23/ݦBB-̷r~| E~=ɝ©qDJ.bt% b9X^N/ @(kʩ WN\hfsLfyPտ|hyyݒ%N:04Kr;Aw[qA`NƇ&Q5+XR΅3iq}OpE[]v)㊡¼t$"C}_tjMU-ؽd 53k4n,N0ZPC= 3pP0K.uA:ݷ B?QEjw< tFw||#$Jj0҅,<[cUs9ThH}Hi֝DHkƻmRja:lܳj1- V7?~.RcLQDrE1n#Ơ3lD!V\1x`ЧiGisP评XT#I+6 6:TW_a E90qF@Y/.8qQƁeD7 F1 M rh!A<\:>lqfqĞEڐBKi"3){eż6VkQiLГ+<ϡ[ɷ_g9T5+NAd` {9 U>ǝ;o!eF?LZcD:$"3#rb ^o7룡5hrs~7~(o|a#zٮҷDs;\:|aĴwE"|aŦ b NfI#][j%;Z(op2x3N2K/9䷰X 4귥iK(hڿd$p:(wxIZJw*]!z /@nD}z V^c99>0d $XOw[xT:Ra4@c!QTk"=Q>&j^u[+~:sAqs 4Ƅ;~(yˣ,*niYyyv| G ̓J8ژI6-Ekh *HUQinu[aLx$SYNh%p2-ɔN䷟?-?hʡtLA&[- 4Lt3 lS7448܃8:lRF=PiTqg BʪԶLǦ  nU噿5=ņq+oukO`GVw +o4yFK_r:30Fk׽PeUBY5wf/g}U% 5|j:%`)yl<r*}5cΗnI Ge$l.5nt!ۛԖ7$AH=@ONL1)Dgp0*Ws_޵_A Km qs(Ssmbkd ?N)Ԫx$))s:wvP^ʁW IrcCuY] I8O~0{>DL)YvL{5mwJr8% H5#i'ADbJ-yӁ)FcFF;ɼ}2gsLnhK`ehjj=y$ $%b p`NzY>WIEX7ʺg(@ N& /-^nჰWwZHqà 3\&_ޕË܄Xs&G?ioV+y]&Q]f0Fʀ:ɣ* r^.فzEHu[Q#_ E qr)6=;sB{A>" ۩sz*$s >GP/6̄-ilG[6z fe>wl9F0A4u7X/=R+>N4aEœeG$cZ&iKY4w?^ʰqfY6*x/WrN-IvC8HSAM b=V~+L4qa +`uzf tURoR3s] ^[E={+'G0E{Fm uM}H{9"_+`Pi5PFo_D[#uSqUQZ۰0} #wxuLC_%YE9 r0~G&2|jpR0?>I@XlZ`ͮ85hBD]xҷϬ@ r]PV_tkb2d(7ߣh5Ojԅ|3s2V-$U:PF)Ddΰn'@DQv˩Yf ʄvQU+;{KKeceeܧ)?9(A;_& ՘-}d2&d$Ia~(+$yfiaaĥf|Uybt&d">j33ՎBy!{ȧ X{.Хt&b !Ol.&hY49o}Lj_& 3uyJ\y~ na + allz/6bogN;=/1VxM/3]W'D#KTdF203vj9'74CQk-Ꞡ,6L:q;3NcJw>RFUFyc=X=7c~,I n[!D.fċES+ s_ a!k\bC岃R]zsFFQ@snMXYAlhhSSAyZ+ B<!5]=b Eiix(T_ud O*[9(Q*}- aOwVqʙM*㜙>ՕS7];{*DbyPb\{?J+=h]KݒXɀ^1W"E%؟Z\$(^eAT+/=qV2KsG#ԥA>֨ a䐓f7+{qHHfBv됖*eٟ; VdԹ_FD4syl  e6L% 7^5G ~4rDIcIv`nufݮtUl#m{L5gLk7Y®2$G$T'bSTX2V}D˜I>1pwڐ,^[o%1IC lEZmm޶|d*t<蘥)i̯ҍbw=x$08 hn͵>d|y5Tkda2\¡aȌ? R6UN1ݰPa `^X|_/%y dG_ԔJymm#JM[ N E&T9#_#Mf|I!Fdk3ur9)7FRnx Hrs>5|bKH1TWokp>}>7K- 'V25GEYԇk~|C䦒Ub@w`e1Kt$]I* q|. "H3 Y]B.:·8Pș}w ^el]SM縱IsfK3>糙Vc]yK+Zʶu,/q,\P0 dtO0`@4a> Aߢs{t>^-D?3:tnTޗfJ@v'؟1+'qI\Ԋ=*NEQpog)0?!o%,-D/sWX] Z#mvٟE]`U/\ޙHJ(Ơ)R3M=ud0C`{\?axLM8pU,s9E)ymgEum6ܦ\4H;`Bq"D3tzȄ \Bhƞw1 4:VZ3D·[W*ͨvYy;hլ<=BTG $ruxMZ/BbeMY>36U^.S鴦rx<\4$!CWbPXw,[acϾ%r9zGeI)~qFN -sbrI<3u1Uhm>c=b;uDwH }#K5/x2ﱜN_|1Vrģs<׼3 d JI@ۅuMvڤk3J o o-{t[>}-,Pl ;8jM97o=tI\*z&h5,myݯJ&X)Hu EEcB-C^T;>o'L7'USך7ѯom,@{8XK檝(:4s`rKp18*A`>5?QcVZyn+L9Ud5OHvW" .;r p퇥Rp5&M`qUY*&dq俨^TӚ$goX&XqB0H(M?b&M KnxXL73Z~'ُl gX,=-4j]: +4 nptFPʾ;͔E#OCv)$!7v4L(R%,e2F/ (3`6uzc;;J>!Aa'SG= ]-wAenD/cQF*&tO l[j CahȶxK8ޱ2&R& ( di*lE: ssi)i$Ȑ2Rٚb/Kߴ}y,ϺU'Y.A=fE&4wvO&W{w0!۞4Nn<17Z RVPs7'&]hCRQF>Sj#;mU8pk[/خÛ[2S*βq'kmt38ISs/Y|*:( J$dUV@W:ܐu!*69>TCj4H%,RIRE7jbovqI~L1u 'Z\[OmFr;X @]nS-'t詼V륖u&RtiST@8JWS\ O֘Onk-ǤI%{'|%JwԻxR[2}ui< ~IZ_cZ=>̜筙_u8MDzw1aHS)5 Q`M)"briWzJڹZ1q|R7jn>1Z\1VדM؜JU)Gy냮(fuZbyfy>V\)w#W.9K]/bP+b"4뵋9 8~!]5@ a&7!~`LUo~>1'\>ZEvx~ipuԲ+l @#|Z p+9Q_Yr9%g:WeNZ u;p/؜G0\zW.Es~3Jdyy#VP7ڿcD?¦aG=҅F0Y]f\!WY*f mo&0"O /*#Ipղ@!wUSZe03襶.uC:< =α2Ƹ^*"-/5c?rJ֘C|\ƒZh^>(Sɽg($Q^[(._9jMJS#j%*#5L#bi[z1.40b]nը) ǒGyhqgK-frh MPeuqR=(o Xv1uNП]"j7=U2f>8s#lSd _bd+oNv%%A؀?;ڱL*/;TqYכLȀyi4KI/b{qi}ȏwY-! mx{p&|?g64HVD$xFv'T0Ԓ/ƖӇv`A C0֤\X9[!;)[T|3 ǩjN^g0\l7"t (:GķЮ %foq(ɳVKX|VE[%lF'o{5v_A(|r'~g" V%'%X/ғɡX7ѧՏKcGzs}떆Ʀ1Ri}v%(+Xaj7W{FI*6nJ)19,Xb㷐u3)(V<>xEEap)7~4"JDbfpm>ub@5o0ޛ`%%s[ :\/{%K4O`eؓf>~$KIIaiV1*EX/{WͥY cL׼Q"ep َCm5;?bDE#j# unwSG-Hc0VPJQC2v [c꾙p-7P'@80jݐ3y{! c{,۷B@xYޣOml HsiiMZf)H<5.2`rڦ˄!Ж &IʻVSH607 Euڗ&T ƖaUmqFk5V#"uGɱĠ=DdaG%pcE2`:k^s6"^L@2,x/'{D \k?}Y}mɴ-&gyg ZJUs MR5aE;n?+&|!,܇ s=專2*PuI^ҺAMXF`I&e~>mO9a p6 0G>FVT(ʰє1xIBva}O@F`v&j=#GtsY ق*՘\ hV>:{D± ]?=۬^縪U@ߖ&LyjapO 2-uݩ(2Q=o>``6ahJ_{q@–kbcU$+ʐdˬ ZR<g19lR'"^:Ibpu}6C 3E Q$;TRu6-X>2]}9?|) gvϣc-qCcbD 3Y0=װԚ}r#EQ749ɪrMG"b{dvҿ2`:Rn{k#ix,&=SeEx'%OཿέMG/vh1dN“0c@\Cėc2[UwщwykΗ&k9*5QKAGWu+)v_1"tt|" nbQGɺsYGҭScG^j`=m`3ɿ$FŌsI tMm, 8HdZ$U幡!rC(ɸkQP,@pL5Q\B.EIC>gA])O0rB ,ٶ?28 cbzh.{gyl džSߺdieu3Kudcfi5G@%M[B8| ؑ݉)6c s C9)8]K 8kdQ6c)(|oyUܤ_@ྙA@鋮<ΤT2?syE;Gܪ$=ZBrT_a:ܦ?uM1twJlOU>ÇȆ@:Ij6Xp՜DC]z}^C1+}xc"<MN̕+ھe3"Ē<ʼh.oEn2AbE⼔.&PA0'x Z &ڿ0S3h* 9UL^OS}:D ao3|+iPA ajo]'V"o%5+W8\/f[6/DNz^DV(0 ^hԌfM cGyamM6c]J;SmNV7cq_wӅS@^06Bץl E7ϱQ&(͒|tR:U^TƧ/PRh+a-,=8җ~]KJVz0r5E{AZB <0KصXhىl.uymt5Ѥ(;!ӎeoħk0Oɉ0r>?TG{Սe uG?lwh)_ {{!Ŏɟ[:aq r<4SM̮*1 "U$9XR\6i%n僜6~9+[`kJߎz &ہx=Vt(4/8l{H'eq(-z_"0Bi=Ji pӒ]iy>,ot\oX/j6ԈiV}8;ŔTwuu`SH. U71=bکz$AteăUͫ 'p Pl >`wd|fX"B$6X?LVz~S 3h S.u`g: bQfCFg{\F=p =rD2RЋ2JZwD)VKXRx5=n`nA23EMZV&}ݚ&V}g=yS2 ;Ȑqb ڣt7 huPg*&Dªq7~pLi W;4<`5Jbl:U#UkM{lQ#[_lp*/Dܙ'iu dsN$(<(Ф 9i<^uw`bg}ܻfZWvg&f"AR߭HbS &&:'>/pR&,VNu恄JzE^uߝp1?Ԟ߱l9 1xHHV4 YɨQMzZFoMŗw- ƋpΌHg.?W~;ſ;Q7#xʫ{~:.ЫEXJvN׉ ' +_@OΎGw)a`C"F{,OdhuQTWD>!"Qh>3 h^ 솪n]e(S٦UșvA%8bİ1+v>.oˀXShQz!\f )(IXⶦBR8x@SRvc̼YѡļyF]UW=oUO=AWmV| e/xp׾ہL&q{5p N8<4E1k\ -w_ш)r 8-:s!iSuݹq Rz(M=HsHTtDoϫ'7&t xFx< 7}1_/oWoHjtQ^f\/ /~qϖϦ᥾E_M^seFm4ttzt C&-%AO&Dp?N+B+Y*UNil"b$NoXe6b t!H88؟YLt`Jar)lv`0+{ήI@;"pdCRroYѹmK&%X-h1Xvi{kғ)l^w*jQ3x'Uu"CWh;ہ7u_BLc &$9֜vbLB Zzǘqbɭb=@ R%xNG$o5)6+5ЇkDaޭy)&Hƾyr)F淚裰 ⚢e(UWG\TLI\;L8d< _x7o+rl >fphf`(:tH)eY(o=wr 8;W @} lLWKjfvFkhPCߠ9g)!6bؿ6Th؂hב*wPSW@F] MW9KY!qI0=.t5T6d'矏Bt.FxE, H6Kx–kuy!=1|gZ=!<|%C{B,}s6.H.J}50a(#_Qe>u9*EӐ]֬1;7IgZT.C 0vOcYtoTboV'ugTg &w ho;vY wŒRڻyfe%UBE ŗӅn_T!f"H@LB'<~ * Nj?8؋63D}C S_]RcQ`_X&/e8]ޙt6]U|? ׌^"!A,K(t~(q=5p\ܓң_r,caM`Q}Qp넿:J@Ht.[;r;gj:&GŠ4~#]^p/80Cހagn2-cqԈCDo(|A'vxgJM{+vɡG4yPy9s#H`5&.7H>f(]2cD󑌐Mz$(;Sפ>=@׎r`OFc[ zeS G6s}kℿKGJ9BM p zQ4jB'|vflDׯE`A4N('k4ή)z\m9zd&CCWg(lmm/1'P@Uŧ~+QއHa _~jj>6}Påy톸!,{՜2?})WqпZ^j) xĺc=U9 S< @qAEٵg! -H$ 4աS^U D$eСCM,&,7Q/ULO9(/.:tٮq)e};xeG#s:⿡\S6V<?/la7M߳y $'o ~ r )Fkj|QM]8dhƥKlXÑnq,|``(IxK\_nM }55Riz)!cg_s$;܊:g3^"#a M9o7n[Vz)~dlݤ 0o)[B́s\w1FO!p 0N'Vp, ?P\%JbagKvKpaKuVd2a4,;T;6,SY3ʹ,wibQ(^zd+A ֶRDay něK\`=1R 43K~D€va ]Lk  ojhwʃ|:,ZT2^MƨA N5\JUI4v(閱>dԡ|ʦV`$nP џVbQbs(Q,_=bvI2JC[e{]{m([@ ~*}Ȅ>RKHzD'9  7 68k1y]"9~9m)c`[[{W5=i9|}1ȅAyJ#l!R[>B*Xxj'.~dI+&F='̎M kbnW|7Ԙ+)5NO9Ӿ&'Hu.j܉?I9vϚJkZ69b$Q DKz`G\L`Hf: Yy ]\?$nn SvF']$УBkJ>⨲=Qu&)Ǟ+V z,ێJlaeynf*FЫfͮ@@q!n|e vXis'75OAxqu:\ BSW fir# \ c{jylF"ѷpm7sN"~ol${ԍ )q,(xy*1Wi!]` [pDx# YOlОR-a-eij`_v#Qr4ݕBo_(Z l9v\HCLRt. eJQa9I8-d5>PZ-'> cII쒼~G7D4_K\_Z lrm`b4IMyO{7ue./^ƮLiDѓd|eOs'1e X|11gh$'3cN0szl³Usm7-U]ON t-z/nclhkʲc9Dޣ \Vq^ $7jLK_I&詖8QT1{9$3JwSvdGڔnq9m5ܵs/2\)2:0ngNsשZ姩&_,2Ǿv(s0.a?E Br ST[/ ov=I#m ޞxa١DUuO woqե ɧ}UpC >%ӱ$`7AքwY$=H҅MyeٶN7P14Ch fOoGsζFf[^_9GFzt?#E&Qm#'a}Ieᥗ(-WB*MOڧKQDy '#'ޏ2$\*AG;՚-ֱ e@BhY@I#:{ejkBy&dUy3uX&X*2դq/S,=K /{гyI-?0vlTtFm "NzB:(l-L+z3!ӧo|=.M7 se61W|jۭ]@I0 ӡabp7<@.B(N:,^kmxyX3o^+`e\(: 2T>sicPW5|( hӷaxP d(p|0U5l%,)Yyaz69 z%<) .가{Ȅ^z: j>7.lj6=]{/aU0en3oR|= ݍ#EKfA?K;д#.Q K*o&PmS[\&KmΑ!w)`)TS2p>_6oM3 "tuPgiP~FTU?jK^{[UZ0(&w)(k?I#B^( O$T7QKN!B G0V̈́L8Něx=R`|PO9#ci;uN{%Y߽, ˂m6ʞhqi \Z`(RGw`7/!<5l˃<#)KU`RGsSh$Q TH +".@J/°P"J;1'q[JZ!FfhppO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tu0b(ߝAf14TX6vWV`+i9qj#N|^IҋhUCr^ m7 X=޴kZs-h7LeKF,R`e[r= GTջuX1UBQ&gіSlV^%V:ӼvkDn[ø{UtwoƼj} ys3RDU"iڿ!|Q:-p1Ͼc?U`s ]E1F-8@AٹEdB؅ d2#:"f7 1'܀=&6 !RԨh1y ]q<[s#(D}zvsGp8U^ 9Kt fƔ a/Fd|uZvfVΒk+B$AX_G;<-!>70#Z4mM͚Dq "eUH(JnJlj# )0jʪil-Qgk dI`['ȷYZP<#hqJu92 -AC THOL-SMT_ExamplesHOL-Library.Bit_Operationsdocument/Bit_Operations.tex7zXZִF! '|V#]A-MՋhvG"uIBm5F"*2*=)Tc*ET75ZOKt ~H H6m1 );rm<IiCf^ƙG!UGˊYWPeU\/"9`O0IvlOR:'JwNCCfN=3f1z c$g}=#kg HL\5{=KP@'? Z0|m@+$_+r5c$p4bTo2=_dS9jtг7Svc3IKȩ2ǩe\X GaK˓Pu~$Z1.7 6dHڮb+X<:bqʟNh YfiDM+u2sRh;^Ս#e#[8-$i͹bE^@\ +)lOʓg2]7t!l" Yt狯No1;0ѫ)RUZ'Lr,Vl;|\RmB8A QU3:N㖭 g4DO/́82UHBT淌TCW4n.AM'wM>Ry.A Ј#q5;Z*ܕ KX#&(y0)*Tѕo>M$2U~fȌ+HO0}{9:seoa~# mIJJLp1Uf:"_SG{ٹnó͟{=%y9>nedTclNS%TKʭ0p3:dR 3 ,uF %sܔ&~.tP NcnB2/4zWi1Q.S!Nk|.( %6P&SO36ll}ZaꢡV W6vujdE'mj;mTܐ Rh邯]jFON>JD=0ђwt۫*W4J{hN7b%M?X#g ֛ :@JY,WXva/VPe<%2{w0I(|9S*EÛۦ/ZPV5{DaiN\FXxP WкO)4 .u睁uںM:X^}Ln[w:~+Ykn&;*iMQsrTC9KRBN&{KPjĚtKDJ7՟hh׊qK\0Tje?]  VixC`.{d^r26;U>1'iG~-eŏԢb]Zb#Gn"8$`alr-\7k@e ?%hy͖[>,v+ b Tǭ\6q2|.akxH7|y~6)e>$?ݐ1?}≾j2PtiإY tt??``%zy% "?8Nȶ seR]}0[ ÞWH'LMIprTel鴥ԩ.S>vU&ik@1\bR2ͪkrA(X#%#=c|}}ِ>SvQI̗ oK;J,ne9=;#{iOu_&ESbXеů |rbⅽ7 '!~su4tN  =Pk.?b)"+(kS+v&Brwq:6A'} 3X|PUk58`!5`꼺-ѵ1W՘>Úy&3ޯ0}SzG +xʤ,vO V+2d+h,֒Mՙ,lyoˡHeΚ=Eoܦ]owyZ?eT%[>!p7)7'>]#\KlhD*|PDdq7(߁7CVB[ƨ4} y%/ L5:jHs苹jq)suBʚ**ۆ7XS -٤߆ 0q>nd<0#LŌ|8cşoMAw6' gs<9IFڌ+*ͳI܌.1<gtP(}]1ְʩs}V!qHǾGaO^wBP*>Z ODG&!14 1lB6K0Dwk l*"ُMW*\pÅܯ*j46$VރDCv ɫGkL g( #@ze̓+6zf۳)Q-be"\kn-񂒄vWy f@L]#6$2ĉ'RJǃ `˄R_:;` ĩhW â4F7ar4tl<.叧 knj z?ah@/n41Y1"S\qr欽>k^ߝ,VphR+{V9(J#zZ T4CGDZ\;/ijl}w!Q \9Le鹿Ӛd3+O.xO$ea`cNt IVUzJqڍY 7_w NKogpAR~@Wǯ0mVH *1<~W47B+M{ `>}ž ;&6V 2X2Z9,kþEԉ7Ҥ۟a%wlkQ];mo›,Ȯ;%qʙHI~H/>S놨ߧ 5~8pB'DPǰ'FΝb ˆPGZfѹ~p2b`zcb}(5V7%qpd.UV-x>L84C$v:kh .Fk{+5?a#W*!+u1~=B-/T.)U;TDeaNt2U`dZoUn]Yє&5oo_afЕWqwu~ ^TO38~n=e&# YDhՏj5.D/wY>#cì.W*o!F󜨸w8Glv}Yzu'eQ|You.M?CF$ںWӱcíMY-M'֛uUbGEt\љ_^ cxο ) ԅUq |3:Sba'FE+PAUT+V%?L& 0 *k`'E20O u fv( <2H;X_&,8EѶW;*]M|fɦbh~儧O(г8Ρrϐr>}zQ\xbfГiJ- J#$}>z4t~ޯΘkў; b<7(\Acu-7lnpq$EnXrWn}T?(Ӄr'۟uNye- X 9%z8*5kGSZrי^%s- Mw4_ ,~cdڝ J2BD/hއˤN*[kMsf}e磘;dBpv?s&)xb 1v7Ɓ-Iiood"<]iTl/А=G Q,Ϟzoܶ.IM}kidCiTڋy^=:WO@/D-hog+ICzBhdfn^Zv0IPm׀LXTg\_\r4J_Pp3L]uw|>On#J\ґxv*umMkxkl Qs܄a,'5ĊqMN7^~A5/"zXs^Ϲ)V0}pږNELO Wl+RzȪAxQ)W"Y7:fQ{CTm^Oiw$%ʃYG/!0bL  d?lcuMi{;[-/9Ƙ^br*(Nv]h2W#p88ಔ8v#hǍ|dm>ʗʏ"u;`75xp>1b4l#rIhhQ`jB|3[?V$P *v3u 2 jl ^"g(vEe=n5Qv{OG9Hg+W.p(.:5Y"] ϣ!Mg! JqݾXCTtl[P*QF]$ t|~&;3?л)s d{9qF27 82N]wyp/%PZjy0 Ǧ`5E-Y[ff"e}_2Wm W,>.,PtUW1+jt痊DgˌncP4/0-jL~CB[ 28ԍ&t}ti 5Xt髤ƻLvD Tn?,d9ru!U^GN"%-0ԱK}LGudpfdrcmUrDG@ChOJu@Xyj%5A)>T*xYL-6n*1l2/I`F%yp~LL ]j_gq%IU " swRlugRakUE}֟עmըi2K)1R/߃ !( ӂbldvdq2B|M#c(/7FPkjy{݆[[^˘_B+_e"펚F#_.6|Ƶ."ŦA^Xքh39e'oI P)*{=Ei֑njbLW>˜3!UEM8.5ʯ#Aezvòݚ^EkIs J-ESCe!!uw<3pIR/iV hx#nEeh$fJm ǔמG~~-.W_E' 6Va`9/—-/U`<_ x;8)MUɰ@Lg(1^d病Y9McppDJX G&Ql=K X6('p0K U Nu+_ϥFV1g-/*B?ynx"/dש@z 9%_ޜ;Ƹ@fdqٞ)@+H5VKGEG&3ҕ3"& 8BGM @k<;r{gړw'3*(ViB`__.1r ׍♖tF- Y8%ן4(A%;!EӨL6AL=1*G ~ 38~/B1p[rcPP'*O#-7^.θ}F_܁Q:?r` #aΒWf\2Eޙi,u^|8`=&&V?ӀRՍAV|A볮1}[6O6"?ff.}Dm0½U8 k|BxQte>{-0Uel9i~`J݊ХiT/S?KLHsPl@I=̈́wů+-^ #b /aXeD8"+ldCL.WMN`݆WBdF.@5 /&3fl3V9\lbe+@?jew+$H'#N'Kwbn:c8 -1W`iBϰF!padN)_ f9rCI]TR)&p'[5vH־pgD^ CF~7ד[R鸧?4ltiy1A!,L`&,ʬ6P2ec/EӸ&53quKxUG TM%IEZ)=.?;/V P6|~t$˩Wi+uB6:5=MxlPFjcvJi|R}. f2T!q@-#..QAsm t\ 3ЫxV1؎$xؼPEqs#{'wa4/!?$+S+id i"F)sc4QnPlF"j Ʊ*՝dh=sެ/vEհaxBʊYv]~1% zr>$SmufI)c6ZaM'vK_F>C?In9حNilA]Y=RUbB>^aoEUCSDx*QҘJ-`56DAqJDeY%?X; !Cn;^uѮ׈+j}ew!~(BMa+cYNy[X]j]5ϯD7&Pϗޞz ٕӮ>poATZcl9]T6noO;lP/K.|}f!ž.MLֲ7њlY({Y5T[}:G7_26RR3 ?1ߕ#>wcx$%*^U,eܼ׏x"T dkEzX8ik<Ú: %qv>QKQb"g$WʶMrG3=QSxZ >_+`~/y\.QAqMeݖeQ;݁Zx0 GV?f.^l<ǾȖѳ܉R9][Xpߦ >80u(u)4R}$HVNeQ ?pXhb0|69iF+!L47Ʈ.[w~dž3r)[U41Q_Zfwi"b[{!`GPGr,x?Oj pÉ^]!@4NOR[~ '^,}r]l{ilaBr:z20z#x;;ìe-5$.uտ}q~Tcƣ(g A6Qvv2G{9ɀQkܞ+$>WC-k`̚ЖS.=lDfj.hq@W X\<޲\P=gL mÃ52:L+^T MY/u//cL-Cdܱ1=!h@U2[ݙBQV}7a>o3aByvjFuDxEY O9l8Gk͍Anu 59}LEwcuc}|?!TXq(ٮ 䦋~fش<@yxo2v/1 m5$$CI8ca@^DpMĀgϰ̞,wræ-)#PncY$ީ8zݻ;~@!=Ş{[f o-)~4e-#͹,ϲx{%NԬlxo0'vZC8 d`g KMgP5"N=5i3}uFẎxu)4shWt&,2HJ]wNZ\?_amYsc!U %*m庺'&GoE\DΗ[ߚVGy)rЫؿQcٺ;u6x{pd3LbN\Xp v-ab8BI3րKeYD_8jnJw0ʩx8~2@kE u޾rp< cWJF;^ֈ'4b !+PP.(x3Y ~vd\k翘b{Uw.2Kw'!pai;72[LؘAVۜCUZm0MƎޝ&/`rW^l| .=8Erd-b`Oͷu֝ hHQ}w8M˕f ee!mH#ؿB$vF〥vZf#OjVRȺ#pş7/8 {Gq9i$H '2~|GlRX%6߳H BRLrf64F␖/Yt 0]l쵢ϫIFqJ-ٍcHf.l'EDŃn5KkYtYU1O ~Ww(B>ێ,B(?߆5!|9mQZ7 K iȊ}qR4pUsjZ6'XfNV.Z'8kUBf*#+ T"FV.Y>PG [Ƥ;,M$ 4f"ew 9&"Ru*D*h;ܩ NEpgDhU%O\# ֠퉐4[=>2G " ~s&]]Ĭ_&R~>߅i<8|gsDC0f 0pٯ95'*ItIL Vz^1Piˢ%Fף^5m,J\dX}<2zW䀈gYPAA Gf+魶4!$V&#h`UAy|/}6b,hD2q_m!xΞ'2 w\xgYӚ ;lb[^=Y*eHv< \wX'&tMfrR4]GL`Q#fbZK(cRs+SoYq77G2FT^[`ۗnq+꺦tCQ`}XP&5Po@BZ}PK'N!B+¦j'/WBk)Dxy*èV[ }7 ӭ+L18'<ɺ'r^:ZTY6+ӌ9LlDm x6n)N:Wy V00ee׎ _'P~NEN哙- F !*H _Bx!Nϊ."E} $6 i[JQKPպ*=Xp%H윂9K$y֥WxXJ{WL"+Q_Xl2$x|VåU7]*)srqRIijѾ8xI&s.ɽCwd.+?#~0hfu.OD{+,O0/H"F8ߧyPSjt kơNiv1NykkA[׼&A}q ;@t4Զ&:7Ğ@Y̫jlˍTWQQy낲;Xbo&P ?Ы~,:=sY!4ʢD Ψۛ")}<Ɠ>^ vkmWޠo07eXTq?E4n3.G}ٳreZieџ0)Rgzi*4X= \Se4Rs@/|!A_A#] 8bufn̏ 2.fӬ=CTaY3q-\ۋAq၊g ajcC,y=;>j&0SC$Kl(AHqx$TSGV9ߎp;AW3ޗmNz'L}JT{WI-2/͌pTyc^վ원yQz$ o0bGvG͊e%oHO*L|\ȫc?T}S_!F|O n3<6UYCQ+1`Oz뱇48 @xא<#y'hCtSI!&R1iFͣb:Ub^j ׬-bTU G&D<W;s: mEۓ`' 'YV8-'x oi!$5bP!;h?ZwXf{E"z+5'I_8}A3C-ق>Ԗ#++ߙNj) zFW"t~+ 9.THtL!,bLKw\.(@}zykaT(d<+Hl4tC"2ij.!  9%O^W!Bg}=*0yE)'$y$]|{Lhgմo=]Cڴm++7KMqH$ uo?+l"1-B܋`i 6G+8G[Jj7XPXr'=Bnz MS4/q0,u$x?ewo>?rQN=kN=F\WaWdܼ,h6V;Qզ7r xk}_U. n/Z]oם|H"مhdq!c̍ؕHØa9佃/!u']AJQM?FRoZل㤢rL31P0Yz~\vLprr B5)lh2 *ԍ@uɒHnC)G c,.ܠW8m1d2sZ'!05&^K?XG׾C. -/#Qe@= P7rGla\"'cˈqe%"BsYcnNR܃{8;3ͅM9AY"Rbqܙn),| #nS}t^]8(TH4lZ"ByO82kBW<<lmԢZ0T s Oy]Ɩ'y~|~2nnuG)^=`iM_tJ 1nouZt^~h&нe,0֜wd"92SMrAJ"7ۼ7@>I)*wly}e^熃R--E60@ c|}A7@Q_V?+[%D+l hI?=-6ܝ6o Y#8q!Qjۯc@?bQ 5obԑA<:f0ѦV 'c"֒Qڿ9M5c=k< vd EAY0f>?n!`86fWcF%c@KjJDk[ei= KllC-hMkN&_(=|: >"d'C䑖]QWyGONGx\~|5 y ssëTFHC!49a>(̅OFDN͙oú5*>C+V*H1@_PNd0ڞOqҠ 4hmQ5>[t~yfV6}Тߧ O^3-#'G},zejbD7VǑ^hS:\|Lo3H~S#OW/c('\쎚k)Rm@t+yi™!grWI4JiޤeDRӐ.M<#@.C@odwM9Rut́CiK/AzUSiy<o:'i6^Wa'g1 qSeWb>D߱ +YB;L"m\I&|!֎kRkX L{>ko,;eO7\ң0? #ʞֈB2Zn>qqm-|Pn7L\omWH>i4"ΔЀ ཯#)IhRzY% \5Rr \GS~KHpO*ע#D1n8ww8:REu:}jGdx;[BExC.GM㥓h?Li@9:!z\(j+G&[QO=yb"Q:I9ZG`+UKjy r * k8}oX)VU0P 8, 0ײOOw P$<|ͲZF| 0ğ$m5;RlIXo?];sie!s$0h7Mū}a K(,J|Ю F0]BƁ+ cd^ߗ="Dxu\A9O)~늱Q zO\)r nJ>GDvr/Iӱtd;ТgFtϷNac@> >ef165碣*%8ߒeۑ%8p>>Ne&atʀlRPU 1'(=µVWOgHZH|n<7DA ?h_d1|-.i 8'2=2 6W\#5\uN9 ;MIGoE"kwiKݖ{DbU5L{{[ p\hR!R^aE,*ŒW;j;2 Ԝ CR~\48*TIAGuI|LOߋꄿɘ;g{N*[kIAq }#pEZm>_=31PPh;3.h K^88?{m3a9zK $EeI'm ^aw U·ηnĊA'ǶH2\7ܬ4 | ,>aTPTvx/4 AF:{׷?i/ɩTt=/KqKr[#{WYK`Lxn>΀-M E'AE"#:KCݍLnר20VGluNwZy{azvCVJ)#V4.޳z26b/íFuЫ"8ZJ#"ފ K=+5m%- .L6E iZEI?29Q/ ++LCDzeI4%1 "0. _q+!tݰO|7Tk: K>"ERQD5wQ/"ָ"+(4Fԩj?K㓡OAϗ}.K"+pB*yD)]WtA&ClNM:Ř5fx7d4bB- =ƭk$5zH],C4e{G8QαGfhhI|}(% 4E3mU\)>QZ6LFa,'|XU`z.Q~Qq!"cݍc&VvgI$ THyx3<^ˎ5Z˫\ uC Yߩ=*;^/ g<=J2,aQۖn"60Y۪O&f\mu%{̋U:h0aDsAE{+װQ6DޤP(Fc7B/Pm!7Dqd6fBǘ7WDʤ_,rksˆ=EC8'9Sq]qs$ah渲:8ɨ>/5# DlQ5Elw9_[m8q=c]7OU7':\ђH3N}bϴ{NqRk,{cp2s] >Cck/*9ĺecds ?LbOJx L#fT.6 .{I$ͺTsil4 z2,ip^9SH4>޶9a7_?=Y%E fp{N}p Mgwڱ!iPWq hJ F3OBl((gfi7zbB9a`_q:}@¦;2)>Uga\y8RXDx fx[O[il"Rs`cj\&yYzxhH"}p?YIeS*&H*? %j¼'%äϜ'Kz3M݇neYd5<牐_fd0"ױ-tKx+Ժ@Ė̘`)Z_0cDq ?V&BNqRxJS_ZȒL>Ef>VvmDB' e?E= ZPvmɕE:1—;C(K;nrZ $nJfߺsE/ڮf{> X+@Mhe<E_I. N!~cB}w K[ t;Jǣ*%-Y(K;D[u3HmȌ|77z(cLt^}vGp0 VLd.obHqVpME|`WI_uyKpyǘrOUww^jT 5e—6; NW4>ଳV3xTOS'KѢΝWijŅgiVНy-~1b,I,sL"ʅ.Gı P`y5&@d.BB \UEey:eG2rb}3QFD3iG9ua)=&)i|fSϸIQ{.t# (6tɕ8^?I_X&_nE:%?`BFSo+QVhLp7,J+4%;HQ'?;7RP *SAU}P,)F:To!rsB>OBY`|R^m@g*..1x* Z~? ъ~ld>,6ЪE;W?bD @'Ѧqͱllq~WvdʏE^E XxB)n4OLYߌNbAtѝe6| $[8$ ߚzh,|s0$Ghn[ycQ~ckQC*ZxKߒ+B*l#]F& =Y1۹@T\\*eceGʢPp/-zחkE9++ю3b@tevAliEDvhC;:"Y0@^.5sŇm2ggQGDjHG<\^#Ex=7eu=F C{c@v`lrIK@~K&ՂHHi=$(dIm)%lX[ ain!5Hrmp$1CuW0=M?<^GͫJ:0eNrst?2 _R/~\xRfnS|* .uE a3rjw WteWv$6lsu@h-{{l)\@ž6@E w%fE\e4 ӑрز׉o˖'2:EȃLP$g=j^|!'fjkq Y҇NZVppQI7c9uI5^Zr9zrjy9]ƒu/,)B{oDWZq M/jϋr{ G,)*~i@vu,7>s}R ûO@\mX=^Y#(QR*P> :LYCW9ox{ 6*} ^  q<4+RP&.=ogtNT}4f/fH| Kԅ0+pVugudJȆ4_[p0s<Zh{H%pyږRD#0ihZJ)}M$"Ȯ:H*uL Fv#zsĥϞo# EE}Q6@6z}8W!:l8d(0R);' s-tѦNe*[٬eh)Zx!` XHNkbU(4s_*i> -q(C.잵xeP}סO&4+@˹R$.@6oF+ И4O|xv%!@`u5|<@F=)j-wUTjcnhCyK ;J2Q *ĦKWOqWcA>{i2ò ?GF%n6t=,qb}QxIK3Gԯ%q3TkmG"ieНR:L}1v&^һ_fLזJ#Tvc޲ )`:2XsM*ZqrP ؾs}VKd)P"Ӌbo){ iv 'պ&A4dDRfp5Ƅ,˺ FS64F2XEs]Q=$O_C2^K])ৌ۠X޶UUL~f@IX-؀:W{ 6+ o,mKb: }̞avzCj]{2EI3XI4BSLw n4YN+:!BU%|wK[NA0'j4p;iYb%ŏ5g X}~_%/ZE %hj\K:l =UZq[GUgJŦ@l7C2MaL'wkpc7rH5R՗,qF5O%~־4!1گ=8b1cz6?L\$"עCUtKh+A[oNą̍-NuXcO&bJ|v[X !Y`+On/A 5{9Ugޠ{t>hDU{E;W!7&j@3ؼtV[F×IPLٷ'C&lZ81v_ӘĊ鹏=&8}.B4˱2Z[oe*ůɌtt&MSc!0Zt"jC pX]c.W X@bi%o}qBk^qIuu^9YQ녘" {S⍹mOs%}|^\[K"6B#X0OZmsL<*Tϔxa#c'z D #^n$dŲsx ~Mƺw!a\ǜg;`9CB_ɭ2` Bw,׏4lD-UD@.ِܸLU0-@0ƪN!_*(%_f \;nc\3W%#p6T Ƶ&˻hb;&mDV4LLE> }iFեTG˲Rr0!w~ f( BjlJJ'S#q824@sVK}qvt3°Aմ@aQGs8g˲fdχ# y_"ć wm VpCOGT7ϝ CɴNCuy(2)d`<=Ҏ9LOZuY4QCHMiʋ㨟4Bb0Kb$W.0Xkx =L 5L&*ME0oIisjwV*h$n_y5;H3jUlP K2Ui.!*s>ij'N <% x |/o J[T WVBݭ;- wg( & ,={qv)bj-,Eוl+> oj vgIpg);#`;(Q'7/UPνĖ4U)b\y~`mV Rp%WRڧDK`Û,crU1CHhg_EqA Rz 1Br(7f HJSi?{V y]\<8/4Ze19* i4>CwdHbC)"S[\)uȂo+a` K-kQ .I,NSܚs Z$W(',!af{>@^ Zʹm{AG IyM" Mj5z~V';J\+(o3y>SxS/WԧL<}as^#!m!jb++PgŪRNgzi^`7 VC"I; ѿDXNgYO)8(e jB4chC9^lW=/KsKaV@ΠzS#HL@"A=ͣ{l!q.S֮4 &dXpta)\3n5Oe!4+ox)WcT~1{CX_CJDP) $q&:d)o^# ou;o(1 V?ЗX#d72;XJ,82}G FSӅFCo??i~?`ρ-+|QͿvt~fF 8򱁁ʳg* d%taZCqU"05Xj4' =>z9mb䣅PWwTa5[@:@|5?pvY)EOURGa.nAIa҂ RgBp`H#Ω&՘JB]B-d$kfBxDn ,p+(b'xaʌ8AKC:LVdVz-t8k2~WjB=BD&!5 M><]}JTwmg es[-@{M"#)H XI:vOt>0E8`: S BUۅہ!i~?:1[7"Oz-UP_MS#I/^ ]dҬy^6=K̉W*u=&YZ)vjOƨu=ꬉeg K^v؏pBd` \bdsn.˓AAQ(3:}`7e-`FW}`_I$j@[o|8l{ѫ[*g~j;:,#ݳ1w"b*0 jS.r%MC^fa5,ݟY0"r#ΜS.*^4Dh-)cNZ`%߆%BKUG% ^?@v)F!r5)_VW%H=U s{&8'nM7.#CAl.1#GƱT };9sxpX\QYyťny-}Rp遮m >D5yJ'':Kx yKزn'\\.=A?}22Y-=yֻS =q ,kiQB;T6FOA=5۝ PP1\0!D}on#W)Z? Cٻ5~_fA:/ :!jlx%*?m6`?MVq# ?5Rew(kc׽eGm-4Z!Ne~Gxrځaܷӽ%t~6f"bԑ-&Sˑ WbVi.y)'Zyv[7@)a rzѢn1#X:)\>G;9{n?=Nѹxlpmrm"#΁ \ӽ'wSJCUwqb[x9B:y/V<[ogWXNOeB5?!37W'tJڋݳ'=wz U%A@"H_:;LvlmiE=GyYQϻ  u5OkMfu Ics`=z3d٥uݨ:,þM,8h#="nK@۸4zg[+r֎Er,Ԁ ikC'2yTpRy + !km[գOs.Ȝ>Y"⸶I.ք(0a4m\i5[I\F ,we J%זNzD\~YMI2VAB]Vb$00>B0Cښ4o_n pýb/ ca8J MkG(e6ABvO74M§ U&O"t2.G2pPz+mt04lGԚcq\)"Gwf.iNM1#K{7#do;3͕h!1Tc.[e K %ɔg˭ d`fͺV( ~~0 ]Kv"RB \[}$?= Fݦ&@yAI#{NZQum<# }u24`Ÿv+ ac]nX]a"wW\)s[P+AwS:+ez\˲}&~鏮 ߛ=ҏe ݖFs73utZד}i:+CUե%7Fm}s2n.Z/]́_{-{ ĀeҲ/@78P{Sϰ1@v-id8KWXxȌ$cJ|SbmK1aa\"ufD-a:/G&Mad6IBqخ?_YvE+3rut-l]7w><2Lj'^Lm]1=}ZDh.y9toK= ~ AQ)a*Qc]Ymx'$mҶD~}74=D._`]VVI&~59X5|ogȄѢk'Du>)($\H3|ᓬJ8-+~㧩{We~O6I!l3kegS},^_+EWZZ7+m9 Q[0))x@ږOD.1I% GfoELX_v #G @rěx 0xHH>J_ܐү,uRnP|V0Ukze%qf𼤾-Ȣ,?,:iQ^:s_|WT6{59/S>׭pa>iOR!@ՁYh!)"14ǵ"P tp]}n<OɨwJ6?y*e/AݺM-Xs"6F?06sU;N IcR h}np%gcb9u $(slY(EQAT^ݗ@p3C*7If>rX+jN#2ߟ-:}#eG.vg`R袇֠=am?xuXHmh+>'?R"7{+D6\<-( ٙ@Sje_<̝zX CZ8>REh$nՂ o5١3[rhSIeyqs w?JJxؑ- ,4=bJ2=xbQC-jT\8o˚Yǽ|9T$R-ӡa2Zx4aU>* M1=[(4ӚrP+Ņ?In>]-OėAjuj<&u08qk%hs+"V#AU&5=la{]x>"tf^Jl Cek.Mh6=Fr%ƒN{%BjeZ>%b_By|B; *6 f=ħ GJHԙ.zeMilcrwi\|F D9 \9#mfW2GodA$X&Jg'oխw̛y|g*)Apl1 p`0,D TmE0xU-ŜTJSXX՝3LY`(N"Y6G_;:w=5&V[r˔V 5*hEXtކZ `~A3a0֣zy+;+ DKL_ әa@j:V@\cO&kL+@+j[|N$PzC8VMOLn.Zqoȯ&2gskBKc9^H+S"suǦ`c[~QŎzͤ}>ڼ-oi^AB^2QL/P!$~d2ܨ!6T6KN2sA¬DHz+Gـ*.Tq|OjITki@ ͓:SM^3NA;Ҩk,h,} KXT# IHDPߠUqr Ml^}O;:Mr1FQ3Rr>+4ݰ057<"TJx=s^#-:uW|L,)=,SVk0 va.L.:5k6VKq@H"(L$FE"󾩡".lehGwn3t4%x l >]U U %lU{j4͘HPNJ~X{X, A20~0G^S̯#:=UET`p9Q+ 7>-#xoa6ڛC^TmidZA}*Sl $2d@Mat íCD?.V J6u}І0nhM 5NvXŧQZCb)+73&x=B-%˨Q\nXF 'Jp~th`A8HMS2Ҝ>4>*õ QZ yH[uwj4c lw@ /5V͒+ϡ<_J먕7~TLs\Fjjj6\pNІ&D; FKCVmFZ;Y=Y]uK]hBg4yv$2DhgM]*] ۴.=?nOd(8D`-͞6~8 )&jdՔ8B!ׇeRq/+Z?J/o <- a >SGnO JnHvbC?PX64&A\wZΧ~FD"?[`;H|.hYyƐy?d%J@9}h/\ 5@RPo]/{@RGW (NzlwmHq3y[B,Pj5fM/BcaL#Q^_Mn$ZB.3>vrŇvYp{̆1I5gbju \% ֑xgReA2=oiCAŷ") n樻A F׋gezN_Dxj:}sorL8r0n*xxe yC5bB눳`^Dq)Y`i5URUtz&]@ {v};v\QC%I4/&dSdԡ#%[CAmŒ ImyyΒ|@|UnOXH"8)NLml'Wm e}#Ds3FG||92\96b;dH YU(#ߏ@UljɢmKC#2ݑ1tarVEV].H aiOByfJ@(?\ZYO@@l U{\B%o/;lo"be0}/)Aghl'NT:Sc}bG(GMEP!T*0pLcOؙ<# A1Ps9nۤSE(Y^P-H*Xߋ7F<Ae@44) UGĆJ6%&FS]d$rJ}5..w8,X?lfs#OTB"Ӂ$I=gōW2L9 㼃n>ozEhd*ퟯ:[fU ǰEz#ko.lbƧ%S szu!V>B )?_X1^\SP2ŮqȒ`H\UkXIHx' J] 9.V߭|:|u5+r`WBN3 ѩ< l 3g(bMocBޜjB"g S"> ZZf3ިԩe~GcLߡˠ[WP^B3Y5/oG ut1vg]6Θ%F'si`P~f4 lml ‘ŵ)aEr虞=" {^cv/Kxx2}vMB\)Y4䥍L| aϻ} ib6 5f+ Pf-􀷢AO.~刺  a4&;\.JPfdmC7WGC-U c[G擞?qz9nH1*L7]Z< TF„ r@< AVv`rpWXv0(mlQԅ{ ü=(N]l93rFɪa2d,B>S!&Vף5ᓞp0f0gK7o@^l7ܸ!~!B?0Xm"v5k $*^#ȳ`a}CfL0 "|QGGE穂 ~j=/ aSScLfhtJ ۞O;DvF̼ta^L믮F|~jg]h\kF裷ͅԸwIֆEM5̱Ѿr##N>T OuG?R{#QHK ~.l)AgÁcڶIZ^8eb T|"5a?2.΄fSH#1dtρO9^ ~=7y߸5=(!љk~wRDɛAM%T\V${H_:յM.I=ٌh{^ϫ;U\2:GBVfj_>]čԯy_D&6a^zx5%}D۵ vC?<^pM_HB1(əOkd"%j @^-WhQ*͈;ޒнM&[)]|3/rw p˦YɝZ.Q@yZhcTy`X!b"tތj !ݧ5vܷ % 4b,].;%8Q56WFVS# .iaTikayCU U.>`%xY 4ް{#6MN s%Th֘f^rF? qH%{{A"ȯ׻ΛcH M">>APNiq_P/.=[ *?&EHb,z/ޠE>Y)Qg9 "+ڎ&> rWSpuzRy.66%ב : { ZIm/!St'uXaq Cȼ/W髚5'@yäqU73>;֠4 $WS{̃(mϨ6#|vJ`=)U[ٟQ~#A+Q^cL웸4߼.dm1p*_^!܏WQp_UѼww.?vWa!u& Qg_P`!i/"H{PW0Xev#‹xIx2f]?tv av UCni*ֵ\+Cx/kj&H0{zVfD]|THJݏB_Glͭ8VeBn<lIHb6K Ygw HSt3U9MUX4`R@:MH(8 8A WjTP`xs@۷3cɭK"W%| .TR AR ف/O ZAN1۠!lƱ- h+vJB3m~~GyLR ؿԢΦ;-f$ XLLvysD]/>N۸^d8k!*Dvc.VT dvgƽVAVJ{?5.Yr}:^q8fObp+Nv &އɳUxy )Zz{VkyO'6 J|8Z -\}$`G$QQo٤&C_+x{F¾3$&tQ1EM;(&s G:kY9}N)5Ub~pw1cgK}#9d_s>k0Z8 Kx~a|3VJ+nmwqۆ,AR6j:$`|𜞙_N~rG*6 /jgm@Qv( 4޶:B;긇 #}3quhcUyѠ<#UWw>De kMr0P92hZR!$nCK/ذH+Q))ֺ\ߴw[2?LT5eAkP zr_DfŪ;rAZ`ɼ)EYѿ|S4"l1\Feܷ>: ->=iqO^]h+z98:jkyE$qТ@7 >׀g–Wg=/uwuQ hk({:>a-wh%_=Mݹ%o#?9b{=kfzyv4!~yg0v]`92 vˏ{ؽ-mqfD딩H]R y3F~f[#lavLt$L54 Lrb!F'_mQI8|ppJ vP@6 ȭ-G1hJm\ov0k / OL67]_T$0t96;:gjaڗ7Sptc7m@~2nWi׃-d*egFbl%{OC*^b2LugVsCgBC1U!_7 eҭ>"HfL9m r^#yWߴ.^]G}Њz$4;*eF78+JK"J%lX95nĐHzkG__Lì̬k?kz,_jȉmhtl>QgFG|9^IOX4ױ내)W584)wSE Kܤ^yn]7plm<`D rCذ OaoTim;o IT!}:|t"vf L H/8<ĩ(M Re]dA)7o$Ζ gɵ1E5ZF@<FƼwN3WB-9D",/]KUv@";'zHXm#ou|wryw~^O%.0 -#֧Ysg|xbuk|ϽDj8kINa፳Y-Kq0q)U틋7^_:)7ȼ`jB tYjTj|A oc65Q4 cXr"?vApMwnH~]#ƴu0N3JiAKj٧g {EA4i}9S57"&010Lqbk뙅k+!˱{ϸӖ ^d1?i0)?>Qm&{EOSU: iXr6?Ȝ=J6n$ ' (y4OBz g-]M?a$.v-ho@Ů2Px.X-|Qǯ?K<ǢDt(KhB;L/OSC䁊f"A5{*v"B_I8jp#DeI:CgXjm牱F=oR-Ivtk /m_2WΤjwU_[%wMʤ( ȉKP X&[-0K΁&G/tD-lݻ7/Y D~Ah1u^]QQf Y3GqPfgSz@Ax=%2 'LJ߅nD p<.!RQ+ v6|]>yq#"y͠Ҙ}&j|#|r+(!'ZJa&O528Al{&+Ӹ\p-R|:(&DVOĀ#sAex4 Ő=g\(K3" 6$ Ã̺`KOn@v~F Nd`O1H>?dKgד5]i|F n5rqE_*j/xJ0dˉBLͱh["aeƿOV. 2ǖ+[yU4ƣ9qVO*^ @߮yʷW~{-{f5Ovݙ#{ EG"DCj vS a1n2X$91)&w~&ʮ[ 4, 8T$Ts4 d&Wv(i_X*%_2BDt-(֫)Jx0z?47. ÖgM =*RPES)Omn/uN%NZB`9KĨ^\H0K)Pp?H>{@)ݣcMr׃d]L*hY)htXK#Q~9qf3O+}:xD;e]"NȔrqBL9"먚p CGikprg >}+"^9ӅCY}bީ˞/#4B筹ԋˬl'8[4^9^+RKMڶi/6/4mJ,o/cXdĪ0ag dd"_ݟЯ"÷>v% pT Wx/hwC !ҫ1]66H{̪sY(AA[ 7^hǵTI\dk8{46p^/(7zࢌrCC{@$2WT$ܑncխѨ8ihz)']yX7}*z{%[Ȃcon\xxg6E 6('Kp'$Dŷ[;p7+m>NhL_uƘEKg|5i-4_'XpnC>/:CN p mUa' OqM."L=փhvWui:d %k-LtZ_~&cƋ#|[{'8:zMmZKs@PJ,@X'aw C[ŃF=nNlǫaT8H}#GdvWSɿ%@J׼Zݳd Kz\c`Bevܚt['~B*Տ,n{?P0%>%kI($-ݫ.%|cUrJ!E}Go /ˣ6"Q)T޹ wl$ư}`%4zL< m`QMуhYEGHwЦWujyX~1H[WwgQQp1- Vl yȊ9S_2N!f 2I=n`0x<6nfJܲU1,)Ykŀ&G_}o=_/Mm9?/ k ŦbsZ Bl3}R`7V^\k7[L 6'oc$c6sJpxįrڸ&{C (?|#\Ugs#ЁX -B\ ^,I’؝,T`-W6w7^i03<[o}K!tѼ|%g+-=dcm h6^w=+6,gBrٳϲon8S%owVE}M虌7d|gf] * 1Ns9J]C=:6fGeB~]|/ [D \}_ay4C_рJFbyFH"+3)(C%'.wgtq^&Mmބ >E#M4X:Zޯt}!hsp =2b;:=MNr-Л?HѰ|E1U:@"AflvBTG⾫@RvQ*iܭjсlCK|Ahtk!Bza ;32ǿ 'vΒ)G]QJ&]̧5*8%mh~ZREEesܦ@*FJq8C%8 %/ YQ7zk+SM9o!Z{c2x' ^Sa)n  )GT;rN;Kl31g٫gdO$b^Fks%MShK%5 3jU~{qf[%nRZgבm%0bz@'G&#B P2-pjrI{s9U7dLm[Pa Y<(.9dԪ"tH"A#pvʁ:H(.ɊЭ&$ b)WE$hн"c_)ZV^kQh<7_XR"e|՟+)Arq9 UgXuy,EU#F.\JK+f'/'F+]̸J2'R=孑W_Z>TݓR%rw,ajW4ko{o}*OҍDnjRեi,%+@F 9A;6d#ZKlI\j=\*]e,-`/t\ۯ'3L^`J>\S i1Ŭ{_C[asy5J;؞ͷՂH?OBDkGd"9"_P)9n> M-ih(6 ~m^gk80 /@yZa=.-qM67s_"ITdt^IG9fk^@ER|W\S'rF GN\(H=)7~QBV){ھO+B0{xhr6a:TML ;>*%cv+ۘE28閅jmYJK!xb,~i%+ bSqAѼG <}![­:ݧ.q,q}5c)wܛ9Uڠ7T;P u8S^ 1l/XYNڲtxHEv}a }Cϡ{/1a `>Ht- GI(_jGVGQzX rKK'F*~H9v׷,f8)Uʁ0 w[ֵ] S& |9}Mypgg`;cx 2 Oٹu*5t.z[%xq]^K`K䇹`ϓ2~(flѥFV2AVu>ݽYHI0й[-I2C^vM.7>8󒌺>; %~̩d& kߏ=JqBit%H @4J`p0f ,~Wum%B)ڃӃ9N*Qڅz)MmoЌI{161I.P B*tUdv9 O$C7 yM̖}tIܯ?_9 UҖ9ĿAaq)_t8ECh g%̘ޔtW-di|&3*y_-EM[?o)g0JrO[u ~0wՠ1QeFZpu/In XlB&[0bnSDK#. "a>xHDJGceXv8=ӬBF2u@Z!e =>fbmrVK;ZWܺ4 z *L~9B}elK ܌H#qG!ˑwϳw#a!@7FwHeLjJn4ъ]bn$"ߠ+As5jkMl͞#tXj5GS飍:WVr@:j eҎͯOzrI$$9a^[vmӭ/ Cİi"ǎJ}7e&Fٲ¹LFkyzb1N#ܓ\6 G[F.o w bѕ7nt&(hpEʇF 7wٗ[+Zdd ؂z~[M@7Y&x"T:|ʞ@XWd("<\V}Ư|YP֮t=)Ely3X퀖;g퟊H<}},qh@|&=\qI2x%qIefwQv}b{tW;8``kN+Хyp%s2ͣ]s׳%>}_WJՇQΑ1r2B %k՛$_(;9=: 5}b J~Y"3aVu ZomD.;1umGđJǶQ'oe3}tBƫQ4l#jvh^I*9"$5P0 &EV,GEv"M .(_J6$v2I=zg"ȩcZQeQXR :Ծ ~\ރǴoD"HivɄ5{TvyFbX H) 5.tRhJ~<ÄeR.};nؾ1&FW7uaM=Rz1SabX1Kn"W=X˄As+%}DFo*lŝêЗ”$gAt YH@,X -Ok素uKC^֨BGP*g [V!L-q7ͣY9a*)i#Ѱ.[qpy~%Z#0m[+M-JP}'e8i;ư<=/×z_'ICz.e뻚S)V(Cӄ\# fML4,T*I}~G=2g`v6['Q)~MYgA?jR3bd݃’+OHw<_.g3_uDMrluo:6wP,kir̐hvj){Jm V cpUL>5|LBN=F*f]Ŧq8aƼ*|u#üѾkfla'Fe{J 3 ؆dnhl}Y P<M4GۉUyLL" fz/S%?NN v5ߺ`up\Ifz$]j4l/& of;93Ն#yLHm;7Ցc-[e/kgj!&ؔpG>Qp-tIA:/!P5, D5vE rt?vUt%I@kw@&2}#-K-_W3cфwq6sqw 3Y֐{ųԪ9%|6W+zYY:,oi ki(7"S:\lOK.Rw̔RK)SD|wy&hbxЧ``I< k4fYNk+yêS8g+Ӆ5b9 M-w{LJ{[R n2+xI5{;O:IK;D۱>ei>('ra{S$I7* n7!WKY)l},/VI'ɖnf-z d[FU7}# 2Ȉ Sw(I]/#XAZߒ2FozucoD[|ƔRxբ7wEV'l;$o0}Hel/y բQ,4R #,gk<341`JR=%ې\,G$rDQKk(6L"? }I@>Z.1Drب_L 9#>q}18hYpF 2$&>@> v[U3IӞh|FsαMV)Rf %ۚ}(sޖpmi*|\ƤPm™\y>r>"%1(f~J?$w(4==^~ pa8TI,8-@e7cUDf$]Y (rS2N01x@95I~RG]klMnv΄LFJ=}`-?'k.~-}eZѥEN ]6AR݉rIl=`v>(W3.,.;2& >< ue+$Cps/v.P;J BU8KQ D!l؇Fv=\2.@[NLKB0SFq;w!9h-athmK!+ǘ^¤`KD_YyϜ[]PV%L<*nQ C9OE©W4k&%tNj#/,hvGTmY=<0W7X'cu%uy=!'[QV]>VlI@, s#' 01Xu=W# (i pȒɥHř2Ď9?3ꚤA`+9eSh V57Q'jlȨl|1N9#Qaav Xavۿ( ]rOpL?Kiov{! BG7ƥ)yp!7!jZ/- uxnV?WÖS+0<ߛGsbݧ6k#*J[Q tԭ t.J˶FPzm}:I ,QbT_?/ѷ뢷K*yI-[Yd#>b 1w,osD)PZ_\L?уj5*Uuexx\ N_JQ.VE !78@Y ,8Ǯֶ֛彩x4!spgןNC3E c:; O EJA~ڭ'Ijb}z JE 'P/:^ 28lM@?gP r4۝K&2#z:saJ2yuy:^vӲDsEQu ELO# +9q\e+vj %?$fj~wǠ-%`XO18?? {TӺ @`ed) 4K-_3FN3Iib|rwẖuszЦ *%3Kư-kZNP(!E}DPꖑ"t>U5a6ETsB uB`տ_̑ 8[gƶ_^>vp5xAyd;\܎.Q5w9e߾G&u6TO(y3E\ yEp|6W2hAî)@.:*jw:xbܽsP0%Q{ǛS3%=IV·gF˾ɥ_&jS9/f#_rPNDPW2η4(.m |zmǸJ}(d])8k#7;()!"TE(Enrra:_b_䲯 KY~AW w d[t%-.zh#,R[jȌ[h+8 ^ݸ5VhԫW)r(坽RUmnTrfA {FۜZE$},fVڶB/ (g|' -0;LH%*ʲFE,5֜v(ILgek;X#c-Q"b^TN?IcOq18ë5jI>㰂TvPJjN.f&gƱ7PM]OjjR:7KɷՊRV^4x cF9vu͗UmNRپ y!($zk36T:&1򳦼PU42`ߏ(eIk{-Y|nak$,tG]B?UXyx}+ae]r,[W\Nc:=P1יqFOtP!6 $~dH ى"1E: wpF=N4GOe_FZI8eZFLJ Nʆ=oMQgaY4w~3 b".+̪*YQ Ì#S{TPjjmdSJ,6 +o (M! #Lsb~5͵q7M+9hJ =S[_$9jBYGA?6L'Bj مV_IeXQ}'ƠC|i"e. L3w,rAQіLujm%ЁrjVv?<::H%S(+e 4uJ+n^o|CLPU=J봙;ie0E,vJv/Ohm5Mcܴ[Sh >|b;~uvdVYgwwf "=q]3<}co/DcP`2 xAhRA.쀷!iy>N N[r+=e0|`!RS$[kWX+@ֲ zS Fo}מU[XӞ?(qⲻ B6 NLh7KnBV;?#Bm͆15nWfrzPHPE l4U6 EwptNet-R$4SpJ @Djg?k{4˳si2!%X'<6oj:HyzuьEM-< E殣 ` Ҩ2>ԩ*mė>[DUW̾1FnR>bAiSO4"\{e َYL F.`>Taᝑ"39+Ҁ Z~^L3 u;ؓ۝fxhǵ##ITq*?/mp7l3U&mvR2 ]bd#2ki q˸ JWfDy {|9n -}> ("!_f?T^#9c1,"փxk^ıMhʓG1IIn\F-G1aOV'L#$-}#돯PP 4r[6ɋN`s<_GؕSpWsjg:ikyVsǬt;za_b'w8ԈBg.kaM{^r. S|fr0_Ҙd.c hѬ6"1*M~ÎCK]}0oؘDG0V=;!LcDAvIi﫢:~>sAYyyLaLGșfcf=墈ީ87iIQٷ#a9\J%xJYƭ녛d[6u E#2H{UaW1Z'3B'Cz=74H3GUJ8CWT9:SiԹ,gV@r7wl$16B|p%/cZ+rPx,>4NY?R.TJ5[H\uRc @w̒>ڳ <}W+Nn:dUc` : [Z2čr} uQj@?=,Y|na;UΖRψ"HU_1hXQP^Wy 2Q ܬ#)<;axm橷N?$745ܢ:Ը{n\".:ec$atdHZUo)|JJk*4}mic}`QafZ\SxPݢ2 קhO bEqUO=h,J$kipxI@Qum/:q  1i>_'ЁI&OdV~Flq'«kS"򮆖D1}厔/,^ĩ '%gtgG /l]/LGQKIJ+q5aK&c*/GbuKg.D**[ᨍ[I`vV M~KsZ:MgH2n?b-C_fG}3J%P"pHo7@D ^w z~͛͞#F>9ɩfS2㩜m'Mf,pЈO?(cmN7C7\ǔ=.-7nKy/-LX$F]"qT%s%Т[f%AuahEg@nw#rl*vp$@wQD 1F4bwȘ 2a\l] r|t06lN%2=z~t݈#Q.ȐXhMV٘Pz W-V6VhrP 簉QFfW)?]&۹82Ɛ:ētĝ+[UK>ojgGbyBR2D5/};m1EbǪԙ'Yts hI$*njL 7Yx1!,^{*;R4[">E G΢^=_9@k |OIin]&k`QpdnAdU.sSBWI|TzFX7lINΘީ֔qhcIFsd49*8+a+ٗK/G'vqJH=ԇ 5 :-g mmcb,KP M &lϏuxY%Q ]W\s;% q&n ?`ԫЮeJR⟞SJbH"U8@6sG?$uay;Sr8I[MXzǫ]U0P/ȘIsB|Vn6QdYCMu5ך4k+9n7NfԸ $K*6ϿS $w!I8(⠊С/&p?zFNj"xA̯%qfo5+D jO4ԟ8(,d$ɳ$ѲFUO12&ΔęxPɜN@PX#u( :w-4B~deM DP:mePɞu4T4c+$N&\OeH1JaK@9+{ ]Su'`s#طÄQ wgomB(Y#_7{M!Ξq :OY00Ix!KtĺMBľn LPʹnQ]yc;ϑ'of݌=0j4YW%B\"?k㴐>m|.7 Eʎ{ (Rdq bb?0L^"4}?X}pƲ2 H;ぃag : Lh1Kn"G̏j9d,et#ĩѯp!R%bH\UFAò1SpӅ @"H:Cx5[}=,D  v/~% V)NAսCLmO;ʔXO鉳 6)qšIˌb\) )mb'4Ǩ"Dي_ + 1l|N_S:6o.Mfi`ٱdslC3Kx IM;EڧO -2ټsn n?Z(ofBC 3\9Zjtw!۔_ą#78 G ]**Pv|L}tHɯ mNJ{ƕo1m6;Tlz\@~%V7{b\QgK?Fb؍3^84EA66&~5g9C1x|oо`#&;=Lȸ/$p'Y1 ጋ6`^pFFn_Xs@ձ(N z|Uҹ{+u%g[}K,=jgYZ7zXZִF!  Z]ŗXiɟ1˦r8v@Wl"`&Ba}{* XWͥN{^6HjKjOE w}nF'iʆbB7"MbW'ƣ+JZԂ]hLrt4MJ3դC9 ?MT9 >rL|Dizt$P0G0FcW]Ȯ3uV Q24ę"h>jH,#yg0"KiӰH,e-eX5eY/zyW􊜦c&z߀}K ygYZ7zXZִF! b ]ŗXi%LāL8^G0-VbIT BR*G8Aos"a'E܋1 v &2ӹV)ax>N2$˞9)X}yX4}1dҮJ|.lV طam[IjY)=?4l{Xkr# o C2ƻ %xTN2jӹw O D۟'R:fC/9r$2n_ia,7OS94(g~c}bx=ՑRUxlnn'y`1"cd 5˙<ƥqU%Zd?u{~ I3]5GcV1ͮ(RZy޼viV;AvDZ|q$1nkDOg Yb&f>z"'g>\i#ԮMX1ߕJ%n̜!|ݙ2l7>,գC҇elԫnA_ dʜ]`_Pwl⊈QTӗ(:^PA8&~ ԌoD2*I@'{OЛ1cQ4}H|`ٕȠ)jE# 4W 5|z;׶sd丧>-t?ԬB$oq민!D:b`,ŊYv?^;\@R%,SI^@tBBO[:)pﷳ_YYǹ *Ѱi/:4-wi(f;'ys̥ E6T (Pb",7)nVMX"@vL$De]fØMD²Ra$`|-$(=OAZNjG9 àKF8J{WU82!]jOA9_'6|p ].4 P%@/?i2oX=:Xp'(&;|#މ6,6>0P̄ջ'hXHvrjnB$sCF"߹*>ߋӅ`(?Ѻ@g`>7{?75+z#\3(7*cЋ3BoY5Eƀ`ЩՔwo1 x7:TM-@W\RyyvƍLZKB2n)G%Ld36GFM*ҧ(VM| e 5[IyuFL6\F9U;4 \!eoqȝ2EB|אi[!8%GB&U@ElbԷ\m M;%pWkt'{JhJWVlD[5i@ͨ\-(2fxHKLMTx+V*i @/Q`(W~IG;7eD>;7F AiU:yeG|-E܅LIA݊hBS..S$Z)kQn#r\82N~ e/woNϔ Ý#pn'ɏo,,)dUV[*?ѩWg_|a̟E?GPUw!U,08Dj`Q|Lee %ʦjK0ԻV_z?."e2"H CJ2̾#tHfAA3ʶo.iZ,㖋p`Qɥz{OP,gҟe[0/bj~e4N?(: 7sWߴꨶŌCi5 \B./M0ҖqAzkmnkUE8M]e /R| ?#M_=i.݇d/ާJ8}!cxbs-?Tg{4S|VÅfRp 8,{}@sHh^(LX?<SUO pʎQbnT4!`Fܛx͔IdR0*4(peHTNJwO6=/\tӍdxJ/"QHG'5n{u7 ~FL9Z? [ oJ`vG >2ȯA"ԺT^jF- c07dmzm1CZT9FP8u%ĝ]Z'ChR đRUUCPE6pie+h|$,NauF̓\ܗ.2FI7IIf|@{mf ՖjE#'0#O"D9s*T*.!HH孅~|H]D츻`ڬ/вޕ }" {ͫ(Q//$]R/2vNbGVh9#ѵj6Znpn'ӏ.kK$ NJu)[jkV t0)G7U`tV>:d`Sτ`#b7dԈ],qXHdq Y!91\{p48fsٳ!3H ,`OXp0}aHdRq|&MZGTS7:FФ_H[ͱ19c deϝ*&c7IjP{Rp.h4L@86Z#o:S5ˤv5WF+ m GK8hr7o:tOt⼀PGm)Gw;%ש_)倷9;zn]޾Sn7:u53NH82;=b*-_.F1ۅX𲒉jǚ"{˧̔~7\Ns B'8{swK=6[Cޮ!vFmx0U6EM,Q ۴i}_U|YJX?