SQLite format 3@ - .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 &-v,Dd ]/ HOL-SMT_Examples:threads=6elapsed=60.242cpu=196.988gc=6.0367zXZִF! ^]ŗXiɟ{\[#W{7 4BxZ:Ё E{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 \ | -;= 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 -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,2=+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#<: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ֿLgYZ ȀSXFT< J4)-7ڡ6$6(kք2zq&%-mh2(D0L&-g4lG%kwhnc-/-b/> 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 BJ4gYZ gF{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  ! -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 \ | -;= 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 -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,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 1FuPa~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{s9gYZ3u Ĥ ;D͍Dl 㵛ȖW1~,UZMg}q,x› oȲ$DnPʴE >fnۻ[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 qq-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'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ڠYu{Yk>;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  @ -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 -;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  hx -AC HOL-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狯N}@"4mDž-_-KuL_nݭ\ ,?^Yv+:x|Iz ]~8??:udjh{JL/lDE|T9%ǔys;km{P'?J}O)?'dܖ1}ZaPsvzWpv]hA\cz'rl<Ү>@f^b Cvg`m^r7ݯ_+=c `4Ð<0R1)2(N?.#ǵKo^9wq}f?^]7IrҪ#p@C&qlH! :"hRlzgU'ʖi=1&qdZx4 xHla&Wl :5.姰[NY#ۥY'EO^ԥlX^Z@xC#/c^n 8 K&9fmdٕZ̋!(K7(-u>>ٕb3M=IfYFja7r7J1BjH~SK Z]FVo:5Y|J:q6|Y3IRwD_I 5eCX+<^[{.wp-P* ؆ke(#sD/7sfAx|\:yʟ=9][X\Am]Su݅5MauV=3~Kι"T)I|zGD5M$藳F>E0;do$vtHw/A0r6!Uo*=k4~0 19LD΁%_Ыp^ 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 =]gYZ.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^qYwZK TRaJIKTCJJ󍝼0JuNݐcL4٤,nL3!(П+EƔXX{z(m.̈w{0u}piB?!N ?^CGkMm}odl{1Dΰּ ^?1&-V\Z=`5rWs ΈH^,f1kؿ:H*mR6 8BŢowOeZ]Ce2?yڼۥ4$3f'?2h8eiUWIs4ubb9 VIIoNJ``(|,fX[g1b (6jE+oh"Svgkz~0(؂1 vb;wPL.2zkafD.0DPu2#`57m Q4yNz^Pi%jR)л]~2Mw1:O8UIoZ mّb  jՄLncrg+ VWhԽ2kxǿTDR1{oB~v&oi1n17OQ"#MH!F%3Be> n$ AJX37, >@u.-jBS-XJg6`@qfyIE͹%ծpvAQҀe ҿrvGm0xM&cl:&,fI e|2D#N7A;gC-5*33{\Om+H_Z nDR#hX+0Ű`t-iΚ!%5׬$ C}ش`R%{[h:>0lrI=!c}w ; BU!w(}J}+fqۀ'Od5Qk:Eo#Ija#M H.b0$Nil9,?ӛȅydGbdrŎӊۥ(F/KW)⬛qP? R1`'EoaA)$u"T /. Gjr@P6liM5ƺ+LX0Y:KYDㄑ`Zp;&ڶ\?4j f)̃RC+;i~U=֋sރʮp7pQn*:NƦb&e#7DGh^~Z!n; ]} 5NLFT edߕP9"8'lnyI!C2D0TFmZ*_$v͝ԇSUztg,(7:MYWZ ѡluotwNxڳCqlX-?,5)]Zi&IJuC(BSaYFa\+RS(6 hA0ͅgQ/IPO4IjN-A(6[$6ͱlv6)>Q[1ZZWX;(+j;憊Z)bYC8d48S;5*+O}nǃL4P,h`yNԾfᣁ@H\ɜC'RKiGڅZ茌( _@P$ Ջ3m_g)2i 4 ڻ{M@_2;۞!]+M$Bx=zfUvi9c0wY#cO,![_ %l\mr Ϙ#ף*v0SOޟC#(45类8=H:/e{pv/ϬWh5| S-'wS¾:[U@& >P94gbrl\[ཆ+aJo= _X-MQ$/6>8m#6 KO&#c  >i WOkoeKfxF,kF t>G03*$-Ҽ̪-(R[RgϞbM,dFY6lƺH@[f"l[0!W@'1G$rծ|n,G08KgZu̺g$۷# be!0~kj;yo^= AH/I5wE2ia2{x,IO`ı?vHh8r=$&])Rk4sʷbKDç^(’A5ȅ/e"TWj#P) y@)xq3c.3l&KYAD(%`cRx)!5.?fI-qv%uyxeOC[ E8V \#{q8F42C?7C\{?B "ٿI`cFA\7H܆+aU?.s}"KiRv=BM|ke>Z)qɫJeu?@ɮfEqȟf)v,ULx83bts"pMo\m1T˹y?+odWRmF=**sLp ^{~79;̧#k}]xlQ0T1:tZ+: <&;{a9{`jF&{ѝAca[cvט & ۵%A DWr!.K<|jLcʌ@= ##;R[MwjŠd 9bÖoI'(1uS:K2k^vXRnf] 9nǢb ɋD :_cf\WEg*In,?D\d>F kn1ɒ<Y$$v#.`Y$lNvj 82&'2HKGUA^]O_27NhtߓeԴ4d| :<\Ŷ.BZi-ԭ#yhHI ]oM0W^K2:p6^\𰚺$Wċ$ڻl{!9)h%i92gLJlj4n-nK Qr{Z|KI7hvH :x_?3^QqY O簵QB뭖>; Utؒḃcznjm'ss<Ř`m`DtuA3fObɈziEx1}UB' V ~6KovF-+8[givk@ _>돱Jh$So50 aGeMg|Sd+mv֕*G1Z5Q秼AӗRBm@|em olG `f<['o{pށx#wq("0/xi~y3Wt/NN C,{Ԃ`Je&ָ؝' M%d2?WkRԐ( =q˭_W Ϟ} *RB>_"`E+w :/U&>.F-0c~PcuaZOdզV$ϧ}`(f#KMm9),ebTmKۋt-S$]9z9̢"rM=_dǒR,1b7t2O0fecg e9#h 22&E,tL,ݘ.xx.&`r4lս29N-W >XI%w/4rp=_0#&d2eb9z7>Ug`z_i:U[}NAbDup*:AI!V"w6]\lxmkR0'5Q!d LWjA{)&g4Xj_L3GV5}/cwn@qT!ϠIo#3¬GFtdzpkNv(@:yWIhGg1ug8SEkj kVLS Q+搝EHtQxˇ S(o*$hL )56{&K1N `$@QviNEЅayf`趎fu9LnFiuW`=|tE:25XfVѪq"KĞ!!e-fOS9{7#]ϰq6,P+o(k7%<] 'hqԾP迗)svIȋd@!18*(/H\+%,S 3  ^ ;+13 mXń:^io_$R {\Qy|l*R7ʺÔUG+Vh{Џ=l~0PZ;6C3Pz:Z?+L|QWTeUֵkKSQmLfMJW]9o\7~, 2M2ET}z[ (L-uմ@EGծ(6nE!jZwȴW#%&0Gš׵8ˢ[RP2ćIb\7빋:ҪX&|G2 P[uheZ=9|>"w\uϾXG).$= jկ*`}lV {D^b%:gBRgk<> ‡V$ iŧ>i䨮R!~5@m,f8+sьV3>U|";+>m9Su%Jx/K>haq] fҵ] 4,e7Q8Ȃ {(mH=tJfd0fPcVdbvX˖]|0nS.<eھp>@lO5 d.e|uQ7=\/<hW}(cdcE'#4"w FOcҕ7dQsE/MS)7ͮˤUzU?p4)ʮo(XTR \P|bllj@V'e"EPXHyQľ-74?XC+ghW&?GX^MaW\Q3a!ɢP?vdr]&2?^ }UB= nqaAMfK20P6N*~4ڊ5)YGN-5Ll;ڌ(@ r#,eΏ "pG|uGXM0ڲRDcH|$Oiu@S`سvy }u^l\Yd2x(#Hۡ}zL_]4:J#RDa!ĖKNbj|,)tr⡦&w^3 !i<y e礷UlpǬJFAgڳӕ:R! 7׍6Uy$A10o~@iBf*BE&fL>EHHq#$u+B} ,;&i><|^(!F >ݸјK쪑0w9B[$w LAb7YgOM=i|^d&(!G$~@!r]͗Z DZsG ^pqaD6ܓ0/i;4suc MNa \m/iaU6ȾD2`YɇSK7u tg k mXionMc(6tZ&{ezkC4Ҿ%ܧd.2{_M8^{]"z@ҕb";Ƀ pOЌ,Y  N:Vp>,O=5zs7>p>g[U rQ#0_ ]6.X1tSWf "= Us4tӊQW(0z{vnFI0Fк*^͋SM]Ǥ[޹K}ax˴]'W bkf鍕@;w2z \4J&kؤZݿrb>>SƆVTkL3 R]Z9Eo%]jEaA)=O*ak:oKű4Gt8n}ͬʬ|&3oxо^N8-m,ҫYihv09|xIUy]&}: *I&oy hN2ZGhNY~NDWQG-ф7=t֚Bjpf~vM>zn'fƕC!9*rK#{>`QфMfxՇ> 䪍2NCe@i 2O O`…rݐh.R ʩMfU> m!׮`[~FQpf(R|R0#o;DD'y?J݅[c/wNBVBDf_c3Km:5<)P.8"Zkz6fԷB )v#%|D[>Je%vG`6K͹$*48޴5~1ZTJ%*}|1@{xv׆'1ԄU#b(D[(v}|MŢHѷLl 剞|KhRz=tΰ/t%|#P|ep1> d_Hua!KjnG\b(Bȹ]Ϳʮ99kG:OY(@Y_{*q|g _.Iw(S{vٔb$<.8dcU0ٛ}!LyڀsqǞ e*${#{?wuP>0 W+g {v~M= D8VMT#<!`n hl6GAY9$Q0a?k#kXnꂊ%P#Gc82[W4P{Jeg5aGa¾n"g`Ƕ(ÞʼF-|YZPsp)N\8SWn6?\-]E>k{ LPW9FnVcStX~qgF6z<6ya$IX@1$!hsP精uYG%A"C-KF[.DEP?/njs1ATө7fvFbp8S2A9#[8'@+\o%YhާfA?#FhF&v%:w fO[Jђq`mhGqsy8gzv]\ BT+1Q~|O#cuӼ坜_E1m4lqY<=dFߵ:Pͥyx]"c $V_D|ܳڝW.MsM紒/٤& BB'fG\D®B3y׼#ܒT-"[KN@+t$U`#[2gMhF$ 6j:tZ~3Goo4]~n `Q; ugY둩MtvicOeUOۚf<Y'M|[PQ;eŀ$Ay`:aK(p:q=~'6^V}ӵ~^b'z/xb mE=>d+5A>|PSvŗ.=v֣.#wXtJL=1կ4ߒ"!AD<>iJ'+$N"Zg5 0 w6J'2H*[j;Dr%6 0G|D+ޭeѓP#"xbѲ( P%)oqƦ͗􇳡2$; h:UN DV4.縫dEv|dE 7ߢ :o \,h?9bM޸ڼD) 1(@$W˞R+}"=4f0Xh%*Q9h\֞FẆUǃw-qiKWINt~µ0cf]C& cF@6Ƈ T/-Ak*0(r)cţR S :eBewuˎţ w݃S!J2;WFIWğO-ASByIܠ\9:вf-f^/-~K'5N|]IE+B!;>Ϩj`q/i=&G<Г\~wK9\Qa39eO &=4z[zHq_.I=eGm:IQo7x' Czmc.ٹ6`6{TcˈzĴ&2sk?tY_҂,f6F }0R9g5xޗOcW^4kFwLTu[//LH{s\kZ w cүQ8J`)f+2怗%k୑hMu^lG`"^X /)[=U+{88sG& y̮&rknΘ/4K wʶ054vK(7u"j~n|Ys ,Po6y!q0@n2TP6m}O0r ,@ׂ$b5Daә^&4Oݙf6=rGDC@-̙tçy.;1i!]|!+R/ghpඣB=o&9GX4y; nkwkMLM* ip)š-yeZ|upjЀ.S-$|h}78x-JZlRzd{=ߦ+:$xݧƯ "&>|*_QM55_ZֹQ0yalxhM 'h̋cB079|i! -g5?1_+1QnDvMQŭ Q>mEg$(<l87 g37CcOpMYCRw (E~xEv!#b;zMEVsͭ2܂9Z*.75 ^wwfsRA$>\LVQ&- yx(]WAS26&2ۅܽUǸBCVP)ri==Bm~g_}|/]"M7+mc:HqT_vCސ{20bҗkY-}od ,y| 9>Gv2|-AnX@3U{O@"]S촄qyyM~㈹]a ˽ğ=D'N~IC#"q6ߋv2!ǦGeJ7"rqH缗Dt}ӯͦJ*Y(6 ]߶(/MӢ I1%[n7.}>={O5,EgS6bOQ=챭p/~W0@J 6֯zkduف86J;slҠʒ_q[1}hޝ}P$8Oo9=\9ܕ8XUh3aCf/r( E7~XuF+swP1 jw6!(d឴p` ἽrsLFcB"NG&>2:Ůd e HqH᪴]NI$Zܓ{!040BIsnaSm?Ҵ %\EGYCZ2ĐMfcLODdBj\.x6㷁lؚ'u:];O4|L=ҙfGAF3urog w&o(\vWtA%ӂUȝ$wܳXf#\- , $3wjypsiqCJd#KzB`l;;&ڶW\G8>*ŭn?7_E5kLKXL~/GCyhƼ?{"LIjD!Xv'(&0RefQ!H#$Efu@XAy.&.ΓUOhZ1*":ɓWpؒnK䁜)ve5BMLYxS{(bd9Њ(]\^˾, )n3|p2Px@5(y@6{YxbjѳzwDmd|qz< -vzDo)=T Nؔc;Jue[ niMBFx/̎A=;zz8hL園"Rްk\P} M""29aO@mmMtV7;X8fs?}Z.bL "D;XP1 d u..XLJ!ĞXd6Z~hqQ,c.qE;bBt k `>)Щ_׾z_L9u}U(jk8E-ӭ`s%PeIBJY9j=.ۘl7WЗ1jV"ުܜWcYY)Ӌ-wOPp=$>P$f&;L7%Uv?<{P.ˮQkf 8g/g& *I^WzG&W yXe0E|lI@`%WjwWH4IPfxqZ[Z*Pnnw!t>^fꂹFrp=li,Ԍ( G80 owx)T,vrB_Oۼ?g?}R?CR^$Ĉ`̝a*tO3Z[Ը3*#mL$ǿwiv.,ijz80=kT&]IRET~#˹[ۖE^;waƒ:9x|G |f\@, R)%kN+ #xZ\"42ҬSU2914EWuhH+緯WqU1TߪFV G'X~FQpjEV l,u^B/q6ch'lQ0!fLZ;Cp>ߕs3/ '|b W'P I]\O Kr e2P;( kuiOMHRZD5;iAb eG<^π[2otuiGkUl y 0S~x<B" *NR/9Abo;?)\ʚy)>b͵}jUnyW<@o$O͏4m%^/yhQ f~N/vRa|G߀H)/B)nQJkT(3@.5FYG'W!FRt@rwʃ 2U|2 USv&ʑ(hG3DQ)(Gk]x>:5jJQjR2$Qնt'q a(;i6UauaoG( A1fdM w٘rȧU KD[$.uSMmD!hz\{~lH/yEr5棽r۞8e+iQNF VLP G8YaK3hľ .K4 PyՠGL`ʝ}2ʱ1YM0|PȿH/lrS)=5eZmmZ!g1!iܢe ߍvw[(8k]sa0Xߊ/zxmĆUӰ |ۜkDzpjQY4v[%m\!\-92l"wݭ|cWl._on)T !+XÑV+-n!ַI8b" lq>|KS[Do#;wq'7"1"l޶Nor&YrҫEA9%"5Ց^!f$p~.G}E B?I )3QHLo8mxU(6VCV豑W2hxW@d3Jbrߣy~K\njx^N=@;y:|p_'|NQYX4m@@bK8Vn ڢg/&⮃dŢFyõSRt;|&Xj]gYcN ( x74쯿} ;y}Aeh`pF簥Ue(VE0 Gc}'u=規;.}DQС#2Q(x<^~ v?ߝ(/u\oC)I}IIJq$Y_d +9j 3IkG(޽Sec'L(0U7SdžVHp!٤,uy!C'!sKXZW "bri%ltU.š|eq:c'}7$үw'xP jʹJ!BD, Z?@iSAk12$P73Y0pdBE>V{A;B9Bi,`Oa~\Ph;Z'K?}5皾2QKpov;.9}{MBoDLj ˟Yz0Ux%]o}~Nдuẍ́7ݍ"r֌; {̮AhLߟ6l$]Aom-^3="U=Kn^f,Ams/'CWj32e(01AW몐 ͷryR07*ЀߩRd{Ҵ"6ax}|%ͽ"b` Ew$ƃo :7K>|J:c0xGE*!57dʽᬞcp.l"ntY]uY[UԒ3>|o٣Yb!+YKvL}!HvމS+B1*-׌,)}dU?]+n9\'+m*xɞcLks 8!rlNCFMom#tQ\! Rhi{ZhBNbw(c!.X `e@h#~ޠ NQ9ןO2jtӛ%'o[֭SĻ9]A0&7^͝U\N'hME/Z? U9wg1&E_?=75c/@ aJT49I罛jrD9RK:Z^Z֡<ŻeVX#vQ;3iaU]CE>(bv،&9'/~I+E$}鍯÷iI_͘Bk}:ۀA'<7?(dmjQ̲غlK#宨%.^FTI[C_ pFQ(ەQeYS}:g_{[=  _CW; #3_(ҬmZ8w2F]p{q?=loԂM?)LRY- ö"TK$0~k4{CS1$'_()KN{*f)[qjeEx#ID-XdGȬO p3[R>TYz`=R{5_%q`-̄~dCsócOb2b vW\4G%Oɻ=h 7ђe7&ǗdR)jjꍴ? ne]3s|-os.m; ^!,lVfg쯳4P`|гUVngܘ$A{ uvm|NCUGk9xBJ?ЂYR,(/ْiSL.pdk+_7qa)5him~eEn@P51Kj9ͽ/8;ZXv"ČONˌuw,y 6{lR"\E.]{< C:+isd έ_I>4s6iO.;?:=I{B )CUwv0@ p~+z|0M@YIgp飧48a )3?(b&51,7N|xLfAQJf(T鈪-n\|W}cA7|?X]6s'#!yjmD/D܅HPp$F4mЊ =4|7pO!hENg| r{ .`X%08] ¸i >RMW`Gr[;b-;n| G>CX`qQiX[bd1f[0XoNe,[uot|AMLH WpP^[6 8 e SyQZ 1%APL Y_d/wi5DHD2ʬv}*ԯD-#2cm\HHW[enh)҃ѠI0Ǹ G[?'>f(z阼=@\9:g Cs ޙ1H02 -R–R_)8+Z Ƨ{Zyp@kɌd}Z<-#Z/-dAs䄺hvvcNb .>3QgF_߽ &@ka#VLsOX"ߝÖv$zVig2'1p GIm8 {/>h)3$Ć?Nv#%PJ847 6ڞ փJl.dGߍbqIF싨"%_UY^SgV15O*O8C^!焪OUO!iMfKеVa%xUni=I5b'v w@a¼f MWŸ|Jk{m=>5\UUQ-')j6OQ05Dt %((y~==i(u;Х.$o=)@|tm)7qs͌܏D\.UXBsO3]ЃhJn3X.)[uC?w凵Ls ?I}-щmfͽȻ-nJ1KR\]Ljw`“gYZP<#hqJudR 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< Oʻպ:<9_o>(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}|?!16Lq3@bn) &j菆rn=XNū瘃uLC8s7CӖW8)Kt8+/uy4W6!%N `65wa s!ǂ^`%132q vؤZc>?tdHaG׃2!FZälꇓⵊ FH1t If&ĢyXթIe턔Ʀsk_>T6T:C]Wcaq-}9cnP eD-udi$K۵O]FqbE(Η+qsG TWyN$4{ǗVVdBB:i[;u5W{`-+!ŦΊ1dDmc!D"CpD"i )*'ڎkkZ7w~d_诘 X'%t!jP-G4܄p}dH=тgii`QkKq{-q37m>-Bg<F4¨}]DZFIàJ0~")|'Nc^jQd@߭ፒ <,6O:eN@A]?\H}¿H U".#,;W%dDZ^r@RƔ;]Iv-{#l仵@eL?5 4Y7ޥaV;ʏPt\)ZBI롕AڗWr<_W $L`i[̊]e)lpM7:fIqOd Xť@:2>rLo1A\bq$aP!}[dM>SN d)}=0_ݔ 7&'y艮F(Qq[®E=Qh'?A& Psgv*N 3@#M=0..I7:9Uq8/lRK 0#AMPӁ/3ua 64%wfٵJ2H:lJ F/(^=o30ycBq5wpMWCfþ *'<M75$.ug9y50ӾRkh%S/受sΠojxD{kf=Ta% hEdޛ~ %(*U:{lzSץրrN`̅9%OFU:?lN<E_Va-5(6{jAggDEDz-TU2+F掌"Zod?$ja mYއ+cW/cm`xܚLN?HCܒ/ f," 4gu;IE{EXeD"eJ\ X'_C;[kַT?pX_H$pV"flUC:qԾ_1E ͼu 9XǾyR>R8YdiH$ wyH'~YӀʝ´t73R3@(sl NtWmp$$= ث5p᫈De?p_t~O9F9??#)}%-a9i~'==#8tTfX >،6fS׮ʭ0W!Di|Y(TiGXңM_W|ғ\0%f \=oqѶ~0ABƂ+5E _ޕݞT̩`ۚ< |+{^!t)a/_1)_2yI) Q==쳩F 쓳sr)fyE2Bz(ݩS-2g}4Ba!|̼WuU&nhͦ`ܑ>}߇ 78?, ITO-TA>apl(; g|/:Chݛ]{dsra[R78.tΛG3`!,qNc.҇z,wtsvW[5@D&Z͂DaĴypJdsח:k^Jb3*:e!O9K%:͹jnSO<#V`$]3/z2V&d߃IfYM^.qPAJmaÏG3}qu4HEś$"UCwr!+H'R[;>-ۄ?yp5$Lf57bm KnA[-b`TU8yuCPt`26윑t0@mF؛*tRL>`AҌ^fQaF &\ rI_z9վ=lBmm&ГfC>ԃb-c,l9op-ƒ7(#Dσuw}f UNڢ#H.i\S?X/&Tx{*x[sLdS fo!J^9гZ"FnC3ww9ĵWe.iY F(!,Жx6IFv_mT n֫܈-,:G!q'TU}36w*uz":WI ( NR}NV/%" Ɉ[!Թ*biJW\2 /nb|$!vCyNUv} 70׵f u־9B qڞN#?ٴ1pFMD~*bLaq@p[:I,ᐃwHۮQ[7^/}HJL]4i*SKGqhŞ  ^ʷ,{i bſ:%hʳԲJΥZ9"A6C`w h?TdcJZ*[rx8cŸgü> J|4R9w8NC94Lb^> ,yŞ|};;Ӊ9o]fA=sQ爊%rK%1H$LS' 1 _C,/K Yq>DزA]h&l;uÆV_ `ПW+[M!zFUR2*KrC ")jF+\ܴ<-]_ۇsk:y`(`Vqfch 0pk(= UmQDU+c^AL ǵQośVkEeizV$Uj[[kh![fǨd/ 5J|BѮ1f:>,EbkU|DzƫߗD:zwR5T7(׏94z0Z?;vSB2NQtv2L&, ]AN< :_=(4sn::K @V/Wбa'; mPQZT'D X0rC$G 69t1l1zJ/ÄӒqzYrqE3bVakFvNX/>^M1~}ƻi"If8뺓 t B]#jt*n(oR^3Uo CДBi\m%ZPPWmD s S^yF(Ցuf~@wJ [I^B"$ϐ`x^뜒VPVͭj_ߵcl鹚y/q|db -rfSc.z8| " 'үT #_ܢ=zn|hOnM<fkD^dMNzsy)yi_\]D%y$!JNڔWn Ss/}QÓŗFF6uu8ИQ}*'6zɭ0w#Ӟ];_Qu6t@\ѽ۷~9l4@bsk)h:?d"kZ$ yiI!@$eChx髵 56; (`5 ^gyMA^g1)*; w QVh`6`_} =#L+̞7]#<`sW'=2V(?O*K mROpKz:HllL#]IXf+_3kB_ 81B [@k|j. ڀ%t:$dmH H\v/cq~=2_GXS}Qۇ6K$Ύ+ s U??職 .l6Y-! y@đwvx}@M/;D%/q _*ib(aaB7ȷRxfH тrgEm\XBNA=3֋![.!9j"XGt&lO1@t5ge /jŃ~GCATm6/F[Т+K+Ėt~5g C [_;``Ipv-KO 5)upd$[ꅔr{crz|>`_@ýޣ4 9-Z ( 4"N*7@k(rl}BU`a` ]\BNCj:a||JNOf ύgʡUiAj:ĿRRm$ U3a-KDՍ?-NbUt|zu81@KJ̆cWxT<"TJW|ob1}MkmQ3!6DW~l#̦9ЛDe¹P`;pT{#Wqm$RJD3wl,Z~6Q&>P^\pK;@V.?b_xOxw%S^]tV Gk 1O~̃4]]Bv%\˼ CϸʁKBR`!49a+ySV"qߦ70K\N'ŽN>yxꤊ@,Ic7t:b,Hzr?R 6ᴎ'NC`w}In 9=L8K\=-c<~>$Q&3%_"d T]e FGDa^GnD69^(Ih5Oz1,8)/\!x\RM+4Uo\. su\#-r`i+f(~==}PShQୡo)a؎.Ew<< b&7ƣpj1CjZDs@-=C@egƶj;ZTWƧH/GMsEK?g OkQt˫AOzy * W|A4?GI[^7}ȼtT\%{$]8@5KUٳ@FH{D4B+}P*aimp"* dRgM8>p+:=c5b[&E{4ݳ\UvRI3xbTBb{Mݧ55TY xG"Gr5#k>ȍvې YZy8ɯ(sP?g;g,՜l\hfXI4O4ymyCưE,"m-ICՠjIiƪontֲ8Pɂorr`D6@f2f EڮmP^D1pxC›JvIAz;B:o ղӘpUэAp9*푨+#eR+MWieXBuqZcԆuҹO{E}ɼJ)y~"7D:*<`d";tNʦ5Ӂ%%<bAf&d¯`a_‚{9;T ]Q\^FJ9 :;LCCDgo0Q f2m&5-jL߸ةd~.J [ gN8l@o[7`։uAT@]C[-h(Ib)~lkׄdK+0g$p=pwx&*W@qR$7BJbF${*"\4X1ťJhL yZpʪ'd‘N38ayD4| `4?KȰIt=b.>F4tch6ud]&'O,SOYxh]`XZA# bYCs5԰./`O#UJ*&ΪNA w9aחM}uwqX|qVġ!Ǥ@"E 2Av I3hZ%k8|hd$W~"-,jpCU)< ~KIPc8j*P10P%i=@^^Vr]?DǺ9Y5jI09JWXe%pRs$š19#j|>%mÕj6AN*>:7}g麤n13>0VU cshʐR%qNϢY8HjYe`c]1"NƗ-K{ӂL>rg^=/߶E:vi93wV%xVerTra!l LNi:U5hgז_Ƥo\K~OcJB쿃yeJYN~Ph2!Vf>z-S""<VI{uWO~~ʓB;2Jx'o{\1 A,"asAh2ہwwjL6hUva.c Xe- v۳`G6ӱ!,@fA{L02 kN&͉;La֮ |]0x?W+TuEsu#:*{k(WեP֏j|@;&]wȉލ(lBy xMOSj(B(1-pCRgQ#p?Eub&\Ps*l,X=G֎ߥw݆!) Yӳa3Y. C l XԊ$T_X1n2L<?PT{ȋ1w^?dCs2yJj8 H}_L~m1 /n WmWQՙU(UDiPr*Sz(H>@ B6;d{XS^sH1Ov//s>3[XozW#\ n~wIR oX(0 _P[f, Rb[]?JҢMlޤrp99K*w wC@ )F :l 1Wx( z!,Ɩis2p  ٩ơAo@+d'8*{K|h͉ 5f9@(#[qgtMVn g=)x\*zS; ӺqLxgRt}2>FyM6Hl @b/sń={."xPw#aʹxĸJ8\홴8;nV UdH"8u|Jc'"Pڪ iÙL /H :n1{m@ C3XG9ZJ=b:yY$ v\2d1TwUJO'z]/lh]s5Dm?ԝE$lX%D'm2ٜ(& Z'ODm%x 삁@#ìjoNj$3|v̵0q?}/|ZPӽ초B0e#6`O~ހb?[Q|"/{᥈ (psMMI=ePGh,$dhdePw6Kt/ q8ܒHBU^ܔ[(~6{ |R{6UvžD?S Uɧ7愶A0+ߏ'E臯,֣p; ;H0]V'jz.VЇ!s$$GѶܿZ`;ӄg`je56jJr Ŵ)sU[YTaw\+sa?=I#z!Bjn`)M* E|:n!Ehe. c3s<A^X*~Hp] 1Ӵ.NO)i/H?K{Y2R_eIzM2IMރSĄ!fk&gG(l#6K#?{L\]q|0Zk҈}%)Hoxp^xiLطI-`F_ZOV>ɄSxvŪ g MLURTd{U,`#Z;\q";U+qSU%"N&f. ?&<唆d޹pyB&/jhEk?ϋ2JؙY^؜VlO2^ߑ˾zxj[,/k#kLޚYfBYUWli6-[CeΟ;~ nsr F`9P DP _+@|oC&в`󩁼<|.]I:Wj@VS#>1T q kYW9z%44߭g9̽~] ;L)/#3iW16 ˤ ;솨Ndq5 с•bZ;hA19{1cZ7UfP(ZKX OTgZ>CY`3R˟( )P Lgz8h BSBe JIx,S/<R(ћ%býo_-2!gg]0ce&fZy4&&Sy2X17& lN}NYѹ Gp $,!hX&WY+xa#osd^g %Ά گ B Go cc^K%d,זjUTB'X/b7IM3_x6&3k?70!d5 S[!I-ڶDui9kIo qb쐵 ty9(9=O$T\3*3NY`G$b<% HCʸf7eNn픘ċzɂ1QȫޮSG-R:1 g]ͿՋB0%+SҠ>W$gid]c wACwiHapJ]O]=NmybݎJ1NWk# t#b /g6/KZ:[Wk,Nu$虸d\ѤkxKy7JT)ƓTRVH7ɪ  ,g]5yc$C O|Ktq-L/r7l?s oޓ:H(D~t\V\|Pt*Y*_R!<&PSXv) P 6tx\)#JxBځ#-*ZtUR-!Mh:G^Wx3G&-ej5sQ+秥QQNzRȲx]N8̰),\ZH3ߢ?U$¬El\OG5de`}6Ỉs5>)-`Dz,*G C6Ood7$n0uf|IB]2JpLw3+ь d|j_j3o诚DU`nmO{{OX?HAw4zW2ow~^ٿ`ius/7%'Z+o]v\f'!{u>s(Wi-(o{6 [m^ mK3Bbuq B$l{o);HNKXsDAN>1U~4l?ìOSV6]Ο2-Xq=saȎDjIx} %S Wv#3dƱŘjTy .  QCR$xQR5_1Gُ\/<Χt(::Y*iFPc9|^l G ު[Ć>~ A݌i1T&f0)!fd8'^RiHO}$r`y]xQ@y;;w(*I @_> d^@ȣP]jCvcϩ"ar56ߔ/25MBN"^:&A"Pk[+{㰋**#@0{^r8 e:Z*+vGH0>s,}+3N?p\~+c S7f1"Md|" õEGxA&#Uއ EsH#.IvTK5"XP_>]9"ctvk3BUͦ{XT"n'!ϙͷIC$uMVge *hu/q]6~w#D0iNxӌwN' Q#OŽ2A9=_#8Nl.e؜$ON@K=<"&C5&UF)% +~M#n9|Z-+(35.WMȽQnq+ϱc`DGDNmL?v1Kcʶ~9nMy3Sn"㬧1,㥯曇H[ޚt-`Yje"hV#5&wTd -CD+E4!G_\-BG+0{GzG1eL^؉QcA}GgWdhp 8 3987N,gEK*a9_3`L7mmCzm52ӟr>q|f>zVo$M-2~x+ζaB /S{ |WX׎`DH B`meb.#$G鏷{ &q[сfe[j<msaU"*<3cОʺX97*]eHr]fp#41~0cȠnt'|0MLsc1 3Ra3BqDtm0w:(Z>#,Ĕ뎅Y2޵Q'kFۜCim4~x4 cPj}2N@i77TSa`Dg[/CsnSbJexgu6TTbq](Eek=(1vH`tѯXycWf{K4>}pfH"Y_ϲ E_GRid7 IC:k3ڠL1.ouuګ3̵2xȥKd>9}ҫr &(Uvzq"xG-I/t')d{_JK?Ţ|%ހޔ b6av3 P!{zF&e7KX:$1WÀͤ G"D,W똷N_!hp4@q&N[f>vL^xIu1Kwy"Yjvtb>~ff v<1~T#֧!Az5Uv'Dt{M)* âT.wY4،Cs[hQ=п4L9 FHZцO 0o2 G(̚it.ZFSo\_ Q1 tN0^iWd _8U5n2ím@i EW@MR) o7zS +ugUp7э/j 9)ʮG;mz[R"4] RD+ ^Cmq3p$9j*)sj-θ ;krnfdZp ;:2Vݒ W!]?YYg0@~%Me~W4>g((5O)' !KߙTh[ե~kP:Db'mznw;y;0׸[qFӚC7(j?C|h:' hKɌ#4gMv%QH8M ‰W+3j%;yAygiSw/;Å ŝyy?\۶i.JkDpa|'s-S2o$mm|N nǿ1P5Q dw,jBEk["ap"-I_RjttLr$ŧZ#+6^aePp)s!xȹ%q*.Q/n[; Þ"b巆]§nGЄT7{'- ʉ17RaMزa}G^˧h.QI@F ۢajͻ*apG_j1f-MeGC̱vz4Ϯ#GW_)CT[+ހP)mK".w2>ʙ~s6arY䞟o;-gz'RyO'jdf*ۣ3௉  %K+X\`v6 <;OPYn]Ɋɭ׭"(oӉcmg$)uXG=h؆hM #u48c/IU\:rڐU@1{^ ~P2DO9`R=&; 86`4G՗cG]¥-r[saty.Ԩ;Xvze+=!aI8Y8Dn]E1g33Vcj6yl&  +!o?j1nvkauCm!A')a%-6_qM:bȜ C~gV-s*6\|è_2 s1VϲȄfpJatmluOj\76{3i]szW>)4A@MH騬y9sAr̟} a~20C9Aw|$&)g[IdomHПJn.|nmV lM,V|s8U9oCt8ml <5 w M1zK! FkjsnMצ[R_0ɀ߸GqeNG@Ic>pNΑ_#Gϳ*"H&E4 HXϢzhn[[ڽR1%vKʎ0r3gSz~g8Tak>s~uhdQX欻//OWnnT?Mw n?Ǜ=iM r m>| ֭85?k^@ǀȤ3aڗq͖x\3\`] ]뫞FCZgɵ8MWZ) h}u=B<\ML4h>Z|bmReĿ.zp}7Ct/:Q̗rƃ30ܤA~t̑,[v-rRu;mw+wٍg/䲣RےW0iv287r6gp{4nݜ G B ?slO $fц9!BКs&!2 _S09V>s4$՗ IXɎ*.tfV= T׮! \d}#">3Rd{b0#ar!ٝ6-f.)(J"&15iT}}s{ BZ*hU(5M (E~@hWph~շy=)3A) )u%:qcs}f&Je<0!iY" h3PX=1nQzHRzutd4lb(/H31"xw r x^"|o=l8Cv2_]3UJ*09`;cFI+/ŢG u״/rxmsC:}UE3,Q6e!l~NSg-^yh`'`am ?=',?2۷0qh//xs ?e|@94:W4ؤ4AN'T!Lr:ûb+5aNgU3EsiǞ'$<"[ їLMUW\-3յ5N d6ȮzbAzNz'0p(٧1QQe܀|4kƔ& V2?!l-(.k$h“A\rJlP_ާ}Rx1i[Nvc_:sEة~>S94Q{y$F"l8ydVds+m&H\`hqyѣ&pĿ PԋMgfU !AP~I%`^ٓm $/1J`ʡ f۔XA\%ج[[q|+&pk捯<ԕi,ZN; wm,ghۧZ(uꐺ +Xlg  g b[elu(q022f{Dl}a)u|ϴ@qCZ6Te+և+vz_` HT_bPe[XzVR"պa%?RS`ϝ"K/?2l\u։ekqDW(qBmwZ6gi&Y%WW7aUv6SINb<^-{K un@֜$ҩuO?>V6 @.WA3A 3-n  ı$ ez?q&+_jpgZ݃kF?AX--GԆ9>Fţ&#[$_װ'̧ CJFYަ4ބ@O $op6E=muCZ#dn C74Ł!%Ei+񡜔+b(b#v.65 TB6,qiIzfڧŵוI#lPhmKCU){Q7ݼw;K˔o~zƣ,pnIۣz ob*MXk; - EYAڿ"ښweugVxLNG?҂2͵?'Ne!+#72ȯ*7f=` W&\<ɣc%ME5VMe}VeҍDZA!3[ϡZaIY!ov^IBǜL{R`R>bSA޷H&Ь (=]-qWspÏ`[5'Eֺٟae |r*"9˛]cW |՚pP1w:P?7'L5GsDCwP>CR- QPh.SL7};E?`B <=EwzV;`=G,5ft?d8rٰuYBBvgBC[㥸RyW8lX'ij2oO7Jw f) Ái&aԚ53: dؤHYV~T-۔0XFKڰn%WٍM ѸQu #i){=!^]YͩZ JLʏ!`P6lM.xiTl\cO8B0gn][T!vd^o1<pVzi} YN:&:"3uY3&x-P/$q%̭C qo(AĊ 2 u#yf;WB~""vI⻆ ,%'*F8mm({7a2*j~}x$/*_PTLSo KewMt[BKvSݬAqSPq%@$%<]nycY$ړUHm EF/|,~{ތ 6f2ߎ:x)"W'4yY>1\Jm (#;ω'!Vn٠Y! )1]M8,騗k/( Mvv^AIMPdcߑq@7b`"Ri j<$G1}pNanШyyW(yQӗ1rʖ/ ZãlLB91g->֤rgEo\쯊sMlg,!lxI0Zd7?/ܛ ![nV鹤rh6<عGvd&d0y m"54]P*e3ŷVQ:(cPbԔm7ֿ!տvK6nZ/͎oB4['~|.EnC踴O{_`%ٔ92xqֻkʺ[+aZdUpwCIs0C?9z<'pӿcFg8aִ~o<+aI"qTY"tRZVSVAI^|2&nTl}A<({,ƣ;}~ ۯTDƑWO~7z/`{̟QaO\0LJ=8p R\Oc 3/vdѓۡh\>vqr0 D%Q)Y+YMbu$@"ko[ Tn 1#3/t\Oi[5A7a7P-y8Qph+ѫ2C{q|ʩB'XϿ6_h;w+ \ 'p&j{ `O)w s{#^ ‘zU1?ֵ`Tb@IW;2; r"u~y.x JhOG;f[^js6,q9 ?ޕpGm"& C0evlI56aqy;wP7y<@a!YOz^L 3exw4\USEYi&8#/|YK'x}6?+JX-֎$ƢjYIO iFpnϏm$0TSS c;̒ltZ[8R+H_H%|a)X46" l&<ržSa 5̠,7wI~[o l=D'gk]PFLG*E27VgEB3H TZX0Y-s`}!m4b"GO+CtbqsC`S*$2Q7 )2T HGݢ#B`Pm:SgV%u9*zDj"˝{RK@L2.?X )}8ܧ6Ci'K =<0t\4]}O>3ffjݒz]V5I,T$DsDA8c",%)cR4t([IG^gk x>d  NE:(v0TNY:G[PR5x\y,2_WEBOl7$Vr~8M 7!kQbe-sTa%Txqlt%ǫχ QQS+5(-&ۣCӇpb{JX~ ?W]b80w XM6ɑ'Vc(C26ѢI 0BsIΟcԇj9!o̵-G'L!O¡,ze!8TԚZGj7ik3HD)۾L:KLʭ-u(%,{Gy.rA(+qg #"X} h~AΝ5ц7:spuDҩ@"Vt]02c./%K}G(IHy\vfɸэ(D,IPE* zCx#9E;rt,SIV7A=8T؂@[/ه5ijcP3WξӰ`.ڤj'M@1.~5"jA%50cY] tN.(n>^}C^);\4g&9~& !J^9W5 eHtMU3R(ߨeH=t_- Q+.o]@@nnLg{ Q[ >+1BKW$VV4y ֓4Pwd㞰o,o-ifKe GQ-W0˷!y5#tʄ OA6W*~ϋI󺞣h5rd[~ȄR/ Zx^ rlu!J@:|[6MyW ᚰNecg6]4JdzuxC(ȈH};<%a.f= f{ iLC3JĈ҅R;zǒyw0,u htz,+1՚+XЈF}ɷtgNl۪_tv0Mv鬁Ou:½r׽lxw":g$2.(./Cn$ :P̳^ ~5:¯?{{t6[[S|ohh sm{Dov'd|3)B&aÙ#LJD$S1J?oӟTw`ST`pDk%?\G.&)ZNg(KmKfɧ)֧*w8$%Ro5XLυfpc2 * /Rx6TEh048oǬ\BHK}p !dpʾ!ow|k@ K!"VrByZwh,ɞlzB+x;XƱ ƪ_^AֳPԶb&QJxH:3Vf$ƆG"1iuoõX^{6/o*Pm}(w5Cݩ!Y}υGFOQʮ VZoLmSCK ڊ` ,skkoZ7d;@d3[3ʰ2xOgRDWC|'=F|YaE"Kcp{[cepIIQ?fm>[}\@6~KEpMM㻳6-˼]S(KbQtzԔ6ic9$ɞmHE\#/gbw2W~hP Ks*\aZ}+-FqM 6XMӉd&0sy7#N| -Qp v|Ԗq-uBun|'HtGՆ}]bjp;`*zN9 0QYE<̿r'<]t› 8&&~N08ڬ&(u=}%[^38l^ A|?(#T=c٨ taecI)a/l?Zf|؀?~mU5.Z)$ֺʸ8˛EnO|CZ\ɻ?p%X$+>ms؎MBi/pnV@Iw׎iJdӍw!GY-r{4[5A>pp׀.yl Q>5.Nkb+ͷ8Q2rHalJ0~?_LnE :p܏#~\d57#vnjfDz6hWzvk[9lZ9"lΙ{~B-n[1i&W4Zۺa1`"~οcBU^JɐNXѩ3Pkq(i/A4LuTᗵ}21$ۋ%cIOUYL#J@pt@"WNR8i14Tssk}q é+N6TZsEdYs& i@@)}\3̝@qYɷ|]z9SYڢ"R~ӂVF] OSb f9zXN;Kx巸k˻(ki]l3B H9. (S:0Q\E/, vY}Ÿ !gY] uLmG=Kfe30 Dlrp@w~t2( TݏP̆bTc@zy&V [2;d ( +ʖ=_9+)7tK35wlMA%7^7+q&3ɸ d>4o55%H5 iz9JG%b̈ٮ+łZF uu.9).uaoä_|YxqY&9khv*Bm=\ktK|-cT.&٠tRHn_UZthfpW~ RDq>}eDKz &[vmy /shH) \ OD&턅 đM'b>ĺoz y0s{1ueamMpUcYcsS%˩}֎Cv56-O Y6xl9?s}5I57(zecKPY4?&3 XlԔ#Nf0ZH*jL>|UdW8QOa<#Evΰ 2ݞV({T&W"oۥvfY/ s񞕻0A_kay!!“*=߶3j?Xytw n8ty=’&]||ٽ%ehE6(^>`1eXr^8gpمYߚIhs]MxE/b&.{F"3wnKևG?{A}[! )$ PNPqtԫ}hdTXiU7뜷MhIs,M[ ;jxE?|FnhTgܮIJǘ `hil˷%<{7hy><px +"|q4\1ONJJBJng/Wc.5d̝Qlux YVA-J;S9xCgY跞۠,w׽`߄jC!Cm=/>Nolp'BSdzf6&G0rmƲ,4>oǢ%ɣLNH(UmRh3a͡1׫iB+)s~ޖC%@jaahzE3XN1 hQlݺ bɽHXi:'H7mxכW)fD`/uK:5',Tee>|po,? yx00x3 jM gw@NNik_baNR URp47Հ@l#fQf*_'7uep{y'fZaL:E:7GV -xi˳=M}ay^:x'Gs1@Љkx=HN!pf-jKoV'e/Kÿ`!Ob`/cuc3!~0tB@I)i73"T8h9M)dAkeK'dT残*:8_f%q..Ii`"e>50#NZa׋c-23IhrgR*[oJ@SGqg YI(4"?3C9P}5L - d s ? E?'(_SdMv$z ٱNZRCq:KxJ8 pj'Br"%!{R3@2K>海fN3t\2úpF՜zbIX(y锶G'xy:*tK`LuG *qKyeݰ:"EmH?ѕ!gaQZr:}}p}Q(@–t3+| _jDi >ӗz8z s;ѿ_\Y͟Rrg_\^'Q`E 0EEVr1(bT.a \sSmә8Ȕ?ERq# pړg^>[jFA^OѮi=#'^!層3s1v"/աBY$)}M{~*1q()6 6?jrʀMJXD̢ʈx[p ɢWR)he}]/jOċg(Ѥ^B}7K'Ҷp-ۍ4_߄>4՜@SNk4Uu7v GMlEh?ܦߕlƝ Oznh]@Rn/^Z{,0[*TQfݡxr)~#GKt6u(LsIZ[4,YU<%P/tAIKѨ(}ϭ17~&Z4kgW}7 ]svd&-zD Mo)h%#9nv2#|@ol m}{ P,qe[.l r H+}{}osU֯Խo%hGA!#?9} g7 >8ި[K {OB>7$&EöXTY~J) V=3 Cm)" Eڮk.v6+jxJYh.S4:ևM/\[ L0+94HcME CJ8!9|8/[wSK C@atAڈ=yթ `1oId 2߰&8Y pQp钺ُ*G c| k4"mU5(u}$>L5Mh;0Ә"Ed/S-D`7ȥOd3 7箽 eXm`$gn/#2!a.>jF@7GtBKM akqpyDi+b^kdɀH/ՏK;s?^K6oP$?21V}[šV)Wl[ R~mxXVU$ twLoh&}>.zn@sb4*=w_;7fJmN}ȵ-Yq>J4"J9X/T'oLiVW2.H *kǥ#VLo*eO v3]Gb1. ofvyC񔚔 #[MvQc\B!X64[body?)c (rU}a! [Nл#@y`ΰJRzOGJ"_fgœ3OxʗIDwYopvŧIK5Ttz8ޕh4ȁږ0sۋ>0Tb^iSgxݬךY[P&ǹ+Oс$ܵ~ rRn2zCv;c<06bx߁ H:^yN,N7nmnfUcab׋lJN3>˷w;{5+vs |AAj6\я 1xQ y~"3:c4f|12GwOE0iLъvJ-) Sݞ<#g c(*-̨NOEJ~I&~F%a`TՎ137oOds?fjvnR, zŦU!|.RpPn[/~tOy֬h"ߞWLuMIZR5c+Q( RQftA<~}K?<7o|gim&~Ggki}h=+# faJBj%rc֚՟-!FBak'U,=1,(ELMRT vK:Rb).M. @7`q'XïF>ل~xӜ \/ '1l8Oh|3)7$2b"aC=ڈJ]/⮋o+}ﺜ-++ض1@1UQ'W鮏Є㖙q__>Jf3|AD.E YZT+;ɗ5cZ sSMes,vK(".NT}\hAʵ>ާ/~` S#;@W+Wԣf#wuku${Iۣ+< (0PP0ίVr$;NbrEycJؼ?v;,,UjMG@\"s#U>&W),"([."`f*&BO)6 [F5M0v" i1V8+6] *2u45jw[/@ƄRGv`NZ^ߑPsѳupbH`D,p39!s1% {XdR81]DH46_mIC5B  N#܀;C'Zfkto\]utKZg]ab 8%`z|qG((AZ%!Cqux! d/.k3*y8J.$N՜LjuB"4BX*?BLI׽) Pp,7yNԬw9UZ']%mJM(+¯ I O /[oߜ #d6aE¬?G=/% I&45?(xNe6,瓐:37Ĕd`ڇݳf^$!;$SPnce 6= C6gI681c@Y[h qeE [[B)(ڄZQ~!P>v7zJx.2F|feyiA.߬64Y$NDLKmJ-$&em5,]).1xM٤@u{`L!R]I8{Ұ> 3I5QM$1#H<7^.#Y*Si=U,"5mfwgڒ"asL0`](pwd#å%_{(ͦ0R󦗶Χ7f|ߣ: j|JY%-Y_ Q/ԔV8AOnS.ϊU1/3 9 W$mAvC | މ{Up=0w\<5яcsH:Bj !K"쎚׏qk}=utҙӉ*g+/^|ՠwG+UǛݒlHbf*f6t͙wJcie"'aB@Sd "jq^o=Q+֔̉߼hjSYAH΅?\7oQX`l Ccw{*+ \の7*2mo<-fVlaE  NE]/{ԂCX}8FxKBHǺ@MՍ_ч+N 5Jl#(ޕK>K4ر [YtH ΠoP4S X^i !~?{A37䅆ۂd XBLhY5D 2GpG63w;PͮVE2w^қ̸<ݏɁCKf5@~}g}4[x"H/D{B$B,w6̪bk_WBZeNzO׆3Eu 84SMk~x霤۲F:^Yhkf nFn8/Y?e(~X좫\P$m?Y5-2BL@v vMQf]s-Z >sG0fY4 F >+߽7b.əi_f!#2[;kƟ.+M㈻?&vg.7m ˫u"ecM=_ GQǨ8w9 h!~ \ HezMdw0V]amz> Rr]i\{ j-|h 8UD!O!ݾzGJWG{s x{wRg)+k s6G vF1[#kv0O3;D2[xq` G}ô #l3;^GyV:iU!vhs* xR0+CGp5ne٪KPhKy$ى u QeaT*: rI %xUK2=6$<@ՐNnyKe>ﴝ`Vga=?*WFiª|(~XlQTl7 vI~H{wk??SQ1SYK/W`լuJaXD>%0yTz rtZ56v<*8Ynr]99E1~m"sD0,> Z 6$Oz/AQ-;+H)vzBXU|*4qˏ;Y :H9s3ƣem<A%nөrI%63*iIRܝ^)AK7@ mރnet_Ji,2I}{I)twίT8}xԅɦH||+5<1- 1ǣ_W&^9s,0Lw?xځ&J"۵y\Z= }{NzR<'xBv;ͪ>ˏvjͱC1t#7C?`yqfa݃n)i^Y[C{dh<rO]уVx3b9*b}-GAWE8 f9bM<8Z G2%b;>o]Z%D(1Of;4 <^Iso~< 9lmZl ʅ<$I$]@Ls+ሻ/!1J넭e՝H2B(Ȥ[cYr+:&-ms|Ϡ{`,թܬL#Y'(b,ЭHn\|ԁF7 ym +a #g^FO !m\`Z0Z9_z)Px98ibO<6S>߯(Jx2['ɉ&Uß۽E>òRJKq-@&lN[єi¶TO6G۳s>ؤSlx2Bv @Wr2 Vm$:_% ^g 68އjԩt2}\1Ҏ:7`G'ixm20A![l {;+݀A֬X$'{B(CvXΎبi/{`ɻwr\yYz5]pU{-[ԍyEH>JaL%a} ba| ߙPD{IY .Hl_7-9`HAIsܮ}Gο`:A'3k++*n|2;K/r-AL% sڱe(be ^邭?&q? 5@[eŪlUF4u0'9vF ċ'N O /Gk.H+J[@ҹa=5 J6×+3P931PUsf+ k# j=!Gb hTUٽ!njUSL14b$5F&n*ݼ|?hkT,jx&A/x Pd*WI{SXF!O Mٻ|9Is羚qľL=7^&r8K:xǜd0y84?K$:"ض%Fd:4V3T!]/TL)K ~GUt<')ɍ٣i=){ShGPu&mIjbjbbV"I!f71ͿWʸ!Gek֎Y-\Vl2e7Ou& wsRlwE=@ =q:51\ 9\J1 e'58CfW;x*`T*|@Jj=+LoMH ?Jc=p$6C*oTba<'\s"-%2ǵh7R`>PpRWqceP溺 =bkw [aT'#4=lUӰ-Rle#s+'3.MiNm^O%]s@5ҳMWm1,F̖(D) 5dpX?O_C}5;*b^Pܲ 3dr,=q7=9uKF9ì1훢Hͯ#^ʣ"l5/M.^m #IF qלɇ"πWifxݯͫ ~i.) PIP$8__TCK)ݞgتw m1,auA c'h"UL/JYA,?I@=+nP\ѦtNɩ HnpxjY}񩏕$|3mR_D8`,Esȷ-DuhX*VPwTUV_icU˳ `zi6zyXyƝ|dQ<$ hS ~Eu\m輸b1J2-Xq O qrkEj]mFBGvgE3zd.,.)4|[˓VKۣBQӑ~bz;Ӛt/eGP7/L]YJ/37V)4HSyqg"gAmTA/,>8#&t39I>%%@wME@`?ق}++r0Uk@z3'`$G.Β`Lk/',j2{E; NvHyk~ C1To16L>(ۖVG# }GM2Qo{67ZdrIoϨPڟiO.:΁cӞz`*}R@}ݼU!fZ`E,xG,[&*iκyJ5 KY6g"{]`u?t­\^B˩ ma3ք7ͬh,Jj+[3vى;G_$T^mtozE!0xuw¶è&0<@ZK)K" AxN!&H}|Z@^`C[}tߦnM3aLq2fV} xџٯez!pQ* ]Hw _%zoҲB<".;S;L'ۣӔj@t@$N08eֱL*xU1kJ~ p1:(hM/3.':7O6tAvfU_Avv &Q.GR.VHCձgYZ  B --/ HOL-SMT_ExamplesHOL-Library.Worddocument/Word.tex7zXZִF! "E]A-MՋhvG"uIBm5̝:qIKY2്u0Mtdw5Q :pј@/>pO 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`['ȷYZ-y Ju4YE(6y{eYAQ+ ֘Xih-kvP[mjo - INfuk|bJD{ԇd9_Hu@ i&t@s9Yl)ȵTXhi'/f>iD,dR׭̰aɃAxS;J}-D:5:@:(SyU`ڰ޳Y~~fV~L4%M7w}:[5:\o5$ShJG105 ?&mUV^h#솚)do م9QF"4}bj%`يȚU3z{=Y5ꐹ G=QvvSރmL5Bf&;^b_os8ȐDB.]l .y eWSY~K͕_ ѱ/w JڪH=-y)D#-L(1-l1ƪ4\~Zt=4p8x1n25Rk׶tg 9 Xdd kXM=^y桗T]6- "Qv<%sChhEs rth tQSdʯ{XVuz%VSWe (W㛗!'39u­ uVrZ4/FtuߙuB1GX+g88df6gZB"OPW`|_e34$bvgeV=:/Xv\'K2B@,VIKmٷ=s_4>Gᆰvʑ#5(;H X叠e:-SqPq R3˹cd4HMu'Ö}@DϽclHlb.x\" 7,.8 FVϷ''9Q:VFR 0Vq82{kU,\ZоslL0 d|fn?,55; PĐ6lg9v'½MgYZ7zXZִF!  Z]ŗXiɟ1˦r8v@Wl"`&Ba}}"*-s-M{gw^dݔs/  W=ŗs.c>:(S]tHѱk΀kȫQM^ShNDE0:sj.w;Fvue ΐtkAQsRޫz`Œ/2jm.x&^w&tngXȼ?x͍73[ɴ_u}m$7f*YO*>ᱵ\j+p ziK/oǎy2nw3nH",5#n׍;Cdk1݀@*CeiQs5I2 RZt~qf)yFx(UTY7T'P5)W~dbc~udY`j Qh0~pzokmPXG E̖)bn0M8r̊QSg8#h(u 믅D];X%MУt<~^k^7,r9xZ;ewF ;cg?R?rv)9[ 咆ԧVW֨SAU&ѳFѣ9 z Ucb7q!kBPoPzBZ>'{3sש`\O~_p8^:|ASd46j4 AI=.]0jP*-[@9_KƏIQ`ϺS|G>is qj+@]1)wQHB5^O-R&ԒĀ8t*K ֈ>C1XpJ{lK_-AD't o؀Em+Dx7c{0Sr@_ Ix:.W~_>3k&5ƕ)tm>5aQ2]4i0صWϩiSUSuTpv?b:}=(G8jyb@(# L 7VHQ<Ƹ_V܊!T7B*#_ 4-\.cF_,xLw1KTᗺ.)p @ɛil`AƏF qF]y̰lg%2<*;.N#'qIJY@# P*h˒njoc7oF鴰BjvAhoݑWDMezv r`0L'Uhu 'e4ӽ9:э}Wő`Ss@t4v]ybd[Dz("kXr\F 쭓DX8M4/nx_qC+uYV#6A}lӼ}ޣl\T$aRǍ=/O]EX[}FE]Lkt"71S9ZE# f"+|೑u:eP;h~rRd9Yb^/'$ƉF XQpPS;p: Z3kXkW~jL@W6×](FX]+xδyov] j#/m I"pdgLQ?yVy(t`_3, !P_j_z~=Z_CjQAws܍,lb$Nxֲ/-  b2iFzCA(xK ٍzMݛOl jS'aA8xK%ZpO{A$8W7 gn(O],>F`3fv ]}Wj员孹㲻yH&Eg')or쩿4dՙ1j|l/$ox0VdF>;T/ %F1;XavITY0Ul5 Ǹx^Kz}4DDZЗc3drK/Ē4*\e)y?LçcQ~qjH{eYt36l.zyҌ}٢ڢ &}xKjZ!e]c Qݺv N6X$n9SYt #fIpo+_ߣD:d ^4:U>ԪPXֹ'~i.sϭI\y'6չ=@r9VA Dx߰g>u#mJ'5)}`K½:M~x衬"0r{Ezt/R?uEh27 To*v ^w|!'X[{-8^^e͚aY~xڬ jc.jcNрMU۠Ls/r"r5]g\뷞- فībLJ-Oo7Khz`蹙 ֐al(L%Uf7&u01FܖrByh2{/o>lNaqi&PeF_Z$Lͻwz >/eDe݁MŔ}*3fo◩7DBpst-Z 8-?7vȻv\IJ78tfݗjf4I#}=dmG3rtCi4VՄ[+/gKuC?9:2#Pl4T4dq);k"9N_Ez_0Z;_]\7Wj2%qŵA77vT#z@&ýklnMA$LcJ?:jx+۲Qe;}5>4yIU6^d|TUU/.iT肖P9$u,bY&uC;Ddhy50cNzxmqJrB:B&YpgjerɲDz[ O:,P0iU7K=%HTI` xÕ=Rٖ/WHs.8) J8>Nڍ!k|16 zc*lH}]>MC^6`$l| PkD@)h ak}]kC09iþ;2/"]-9+k"p֦Ac-7`KX#8]vkO_1uabC(tl`0Ӹ2y)uuxa˲5APon ӇXNg~fصZ 6=a)K.m5n+_Q+;kw$USV[F+1(g30]>1vXɉd mqeT+Fg5(+:%0 3IVo5f'=ٗՇ*?"M3ϙ5ya>ZǏv]ˇ樞&H@5{Tx>'q^bK}#)uFwD<@_p~٨c-P;2͉n }S& 뽖[S/+YT(yʑ5h:ģW(X!Z(ᥰvظO3:t>ޗ3S T48G>AXTda5Ps9('6uw-^c+|Q̆hŽMJ_.=4U ŝ_Zt\IX%fDI75n"^3 au_W=TFGѤ|nM<5tJu#Pe(9e7CB"~8̠ph\4 W5mRgج[H< 1BF'-YԐڼOY`+Qw% ۨ[x0@6^z0%bf7C*L}$ ,Qhd_}8ȧy7$V@Cʦx(bp:1" ŭzOITڴ%=!8S``9iS@_<{$]-V*S@q*?2tE3rH ;*դWJa=bVcN]KSN1 \dT:HI ɑ93NRs`=( Q?b2١lT4@程|دdZ~&&!*Gޭ4W!.Twt'7J."Ԍw6[G=ldx=W|ݵ"d|_\ntl=[{")5b^saCJXOs(☦_\iɋdX\\{c҈9j!rrZI.ӯQV1)XFgYZ7b4f83e660bf8b331db23d0fb47275974400ebd4863a98e2ca0ada59f7d1a7547b41b938956950f0 f61d89c27a3d78dd37ec1f9a26967b1c333aa3dd