SQLite format 3@ . .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 7lt< ] Irrationality_J_Hancl:threads=2elapsed=64.649cpu=113.024gc=4.852factor=1.757zXZִF! )]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıb톹5.5J yM5g싄ou]7T`j1\nN'qBRAI"7g r1Qdn&~1sIy~O|f(6Q; +dAߤ /[T`@dޒxQq_O0cZ@A$1OG!R0D?;2i Tۄ,0dn :Џaqfg(.Jie!yQ*މ#;P),Tȯu< x,4-Mpf/zgWtaeH8p09y"P1uifuNY1JLO9gމ HMm.Aum^='c[^CN=iX SHg$ dME[Fh&r y8ԏqOr)py 6 ws%kKWʦNGWÛ:zF0SzRo|u@X3RmT gd&2 0[ZIG !B&Ѫ.LxI|SW6_qz# 3JB\M+|%8 2CP*+~N`Ք^ߓ4 ,u\A.D~nk/d'YG'"sY"?P}}?(lC:A fİn.+3psy;~TNG'EA'CvbsrݵF:8 c|҉C5$v?TjB;8p#,&]gJՊ:3B6.z,O]{pNa5RJ=|m/;NaF%|O^Lezc f. W/j^RSo%iP3;캲Η$+]׺v1BGC"3XRʳB_~4BA[i)NVTCO +mq/+Vc!=(^wX/QKFךUj8=Pp82[aKƑk ֚1BzJjpK`ڀEqcqgYZ7zXZִF! =]W]ŗXi%; tQ&h&. 7 Irrationality_J_Hancl-@7[% lIrrationality_J_HanclHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! /]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@NϧӝU#BKvso n~΂ja&\ZaR M0)rdz::QH<֤N/ly-#y^6 dѡ߅;^ (Lב+uQA7LˆoVngpU2nuCZ*JO!v;yوkw+Ynr`Di@%\R3q;`W ~ztlsb ÝSBs.䕣8:kN@(R'5M ޮ7Ve.>Ei'Vv73blF@:8i@@D4-(>籂O >5?'d=B(XV'l#Fk>i}"ܤg`T0w;kbl *7/% lIrrationality_J_HanclHOL-Library.Floatdocument.tex7zXZִF! n{]A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v9zon -}Ish/ w[_«O`FqŐ;2aɀ :n؈q)|"Wi讀hhq|1]Z^#64vm5.wQ3=k/ukL+-Ç a?FݙH W xҸB8W2~fq- zڲ9q(|/?+uucᚚq*(!0#,Q熛̂,PU=}[zf4.EUcwjQ*ia]Whe ٸ~ ̭@VK&N=X+ w^$Tw ,Ê{1yGwF7dsn(!cUPqy.1ƜwHh {Dʁdr%yDA+Uڛ3U ǺkHxn(x2zHӴ.5v5X7 R%ӈ?3o;Iɯwd|*&Y B[a0&  "ee/ wQ2Mz;RUjy4V~nNDa@$\]KСɄ֒0~㘮AWhǟ75Q` H!T@{P cT B*mY@DЙ}qz!(u8_܆tu+9QvJ9; ,d@* -/-e kvj _e[x6Gd7]bHOXt IU(㴈#Q"Bp6 F}nF8HJ(_cJAjdYP'`W^hGeeAFp`Q?Ga52)aD<;S{;35_ꀍHo~䚔] u]O,Kz5APhNyA=Jgō]Coo|ic)L; DUՄ~L14e0Z 7O⶗`JUd6קz{q#i%: SKm x[ȱTc uSs:/?%˙Rא#ۙk߉,$vL{vs0=+Zru]+iDJ[E$i^'՛}"U4*{pb \i9ǹ(jϺݿ[R \9SNe)7pD98VG#  A{L#4Phv3u ( (z}[ű9Zl8ִR=Buٔ1xE6Ux\K¹`Jq Ӓ)P[pjxQETk~j`h|o𢓪0"m C'+ι8KP/s6_"M:a#g`,,CCDlATCV/eZm,{܁4VM1tkkʏYc)ɜ˵[^!Iו͇&bHI^00nHrڔ71kM Jlܧ9vH}x @gi`ŒWcxx+ ^@FV)}=e*QC)K#ÓzH42zOJ]wrtvœه36nGu3߫F "ѰO _ px8"[d9;P` ؋jgȚ l0->㸶! 8;#BO1Cm Iv d#єʗ?iEqMUmJ EsS~KP0 1?1@k |-DRQJp@;puQ^BA,G $ߏ\C*n %Tuzk rp h$"SVyU ̟knCI[(G `$X% ALႼ2rjk\]XUHCAng Tr՘9 @>1E#NRJzc״s0b3qhe y&#[rsqOfۭ$R,FњuI\%o,S'p~R?N0uGqV:h*'1@^J({(͍͌T0\!/@-z(5vZ6;2vкU2I7M{d/C"^ L>v"&d#Z) I!6 Q`,b֎Gl ;bj*6%])8-_;mlv"^_EӈwPPhsSf4ø+:x,_/}*גƩl\-~ˑ/N6W"BOpѳ dꂮ2;5 e ew=ycV}[qGd{7N}>2T74ԃG%|km/W DG}$ H~" eUzf'd՛_5 &9Ga;!$qT(HIv[Ɇ8֝*-̧Y~T_?n4xǜ%vF\ ka' <†湆jP d6F.@.OS'ajF^j8iw$B/۩`Vd8TtwOl0I^3>_78G]-RJ:疞gl¬!o >0$ AR!x3@T D<?W$e2 K8ews2skaΜׂ.1gWϳ4* 1q@6}Z`|%x^h ^dc6 7ag#kgA5@˸]ֲ8w'>e ۜrNU. ˣ~T^W~T2oE/D%0gRZʘCzwor: @M- Ʊ2I}E#N=*p%) ۖ:dh /oPGIiQWK_% LRUz>M<6X DW6MWRsF.z "u[o^E"lpn iwO8op5X;Z'y"tQ5h=-r=q'lDqCiOx'hll85 %5@Fj2qQ^ź3>)TCDcðK*):w*Yt逆Dx>~ +b>(ޑK4ab#4x+kFfldkĥ-4o~"ϮiGъ p2uV/c#Rs&Jd4VdktDHV"9\뭷~"0YT(I='<G>Φ~}#mG@FxFXCQD3LNܬI)宋O&KWax=WkJu-eT {*S2I ޲zG'0"x;jS["RY.tpWZ3hL !]N"[0f#3  a}P{`I)/q?amk  ;LXqѾXoW硗mz1\Xp|WKdM&]%V0aKFudƍJd-mGܿX;{cE$"HsW!R2t" Ag;Bt҇v[DGz.ׁI?`uΈpJ$2-91HmvEȩxBRࠤ|#ةDYWث +}';. ;|q|&RvȁюwQPw @Gl. =w1V6zS˝.&* [| ╰2NxsZų(@q P61r;j!֩LCBBftiC*[<}@uaGj#mE?nsC\l(!e"pOz ?>ge3y"ŀ?hN\}aL#*>#K$z'2~"-}텤SȅnSAtk|Dj}Dvynu2#T2@4"t2*uk_1DR~3 Itt}>C3t 5َa]CBb<^dP0 IXwBa 2^ic ogT@T|,2gIDaIƳw~쑃k^~ i*+P϶om#,a2,] \fOR@80ZBIQ![9oՏWb06$ &eK^/Pس~Z)jjj\;rUeta(7b|Kr'9 IUnU}1DӤ[5R@}sUjR@lS"~{:*gԐv&yW@ēo,JKH#$,l,fwb!.1J<瞜9~R%-jlVl(s}\ ~Ҕ7P"7U6̎xTP(!H,4YWD$q?lLJH'J]ƸUKSxaDjZy͚&bn:@rn=Z IO[7>8Xg?9B,Z~~0M -"n[Mrrl}c w5=($eGKEUÿQl"ExQ󃌓Pm``PYwSэ½Nw%?R{M>«r%=+`1$ bձo[f =^!7wDstc'{f:^w [w.sqA56$i!¹. =y:Ӛxn`f'b]OCT[f{(&Пdv 6-R(&Abf91A٘sGlP6Y(~ kQ*dTx@kd9\8..3X^ 't$V/Lι& OcZ5oQ懸%|vInߙ34Bj@6fHtFUyLWNLK%Pq>z\|%_@SU8}40p!_zm c<`".U|&+k%|_2oF^ EcTRK^XUFex#=X[CL#? ~(Q@.Y(^CkIs*O.F^ĬQQZ+5_ycGW[#= %U=ԦPo r3ii #f1KFWѣE;i\-=QJGMWz/cJK-DXqBzuZHכ3ai]; m!]wMjs\ke,h|s3koV+ T ]B9%8 L$oŐYP,${!gtf&F ^s{&ixߒw% yI!" wPemjGJ7 HŃW蹻[ThBx2e?GKN 23Eu/nNQtey5U^KLFr54L)3z<4ғgH:G>L;<,Y}|UZ|0Dy/$<]Ak%:d{-T;%{2|a?#UOD <v 8{XO星Ҥ^ggٞ鯩%{&kR7xYE(\ 1"j Vee}x #I: > Ës I|i U.n\s|KRQz.i0,Al } I|ؕ8@.ch&˻DtUؓ o,h]JG J0ըwlIzkm2`ѝMldk3+'w QuuhʜYE&LV\VJu#bMN 6*C߽["Iy´^Ak;@L?lTS ֲVԢaTkGHڥ[Ƃm$\/ym . cw<"!lm}}s'%gd=!ichCyB:ў<^(SiwB"k0o6 jLMˠFxeRzI ~{ʁp/XJQ , $úC,f;Flk~TbF@'Jl-N2X#s[\%xLߋHXD&k,kejs6 k$^y%/թ.R;|-[웫-cPK7LIMz4MGc:D .'7w(Ffap6Voʥ@"]qޅo.9UF j9~`SeKsDMƞǜJL+vC`+Ƌ[K~rn01ŏ\MwڎjA{2 =p‹+ހ*K5fqη*!m b <2堂z3(~}mxٺ53u1 Nr~XQ:`h)Xl$2{0IIinq)t/f䋓Bz<޻Jrw5kuwHfJ{Ul$C稠.CExLMBAc3a'ce c?$V%2[).("|sSs|lJ>7VϔEvN44B&A008D!5yrP~?CwwN2/?ίh֛=n+PYgn&{&ct3\ {BѨgOա::SfCfq!>hcL뜿>"0ۏƭ?j;a!QM'"O ښ*d" o.tۨCӯAtBq]xquARb[V (HRH`hdPrEpl-MY>B cFĈ46Io{.36\|mC%'r7Hx0Q鏲˚)7F#d A)4DIT<,FRIl&5#uZte ^{z\wUUP &S域lBpb=ɆrfBۘ|Fig*[ яs. dfJuge(T-PEo V2Pb4X?뇴K,@nOO![ifmrպwl)a8syg[0^>]#9|#՛b̮Oj_(棵>R|}eSwN%n4 AʪiZn],]p|R}A }@_ "`N]]̍F I$1& %Ň)N|}fv|Kn7WEʌ0L';Ty(OΌ(^J5~ȕ\zĪƪؔS^JaɴsuӮ'u^$#Y\X; lSU87|H8PJoWh7D{.z"O~mq,bDUR .5dðoF]vǡdc ^ij?ک6 ]g#=-E6g>BN G!uhvժ,ˠulV˗lk u/}_UB8˞Ʌw,1wgtqwlgCHy]R!-C\{oyt%Gbs4o,FʱBD *Mĺl* ѥ% ߽ "pMГE彺ΝxTT=A9TDU{c!Ҙyndwu m }GobZ$jH~bߧ% 2}%c"UF_"T!E>eo 7Y{$nlq 7j DHAU{GA[?FQ{kTg :M ռ[ 1ZPZoӞ̕H3F)0!j.V}>C>!r. z4gH5auK6h+pe@c8YQs7{E]'99ŅX.x`hrp &txPk-:!HP.ϳmLW3Mu_./=X%[tFjA%:HQzǢt]3>5}G,;n@c@ >D2wp鐖u'`jgZQˑq62m\W+d?o# &}~OHη#xNx7E+ř?.[ FߙOPC^ f$AZ댝CzQfX|0[,jvR$kC[:2f_`O+5n߅/V"yq@芊 r;N嬽MQb 1ʻl,wO"Fff%jc )$rg-}[}g>}}%.ԇ/vvʅrg4nkr@K5JaLZA{%lGPۭz('RyY–(z>>XzrS딏ƅ_T !% ("Va5|KeW%-Aھ5TN'2m4kj92RA뫘Wa~!-r#J9g=Vv7{I9 Hs$ k+ VXٷ3p"rgV7`.ϱ~y]|݈rU,$ֹQYU܌?.H:/~G=xƿ-pDt]UB'%k.ŷVA_:̇l"!X) "hr2گkzP4S:KgX&#Pq3׏sMd4&&+Awˣ?(o=cvwSfc>no0OyiwOtwHdWaU3#i"_U#6' u=lȕFraRE8G laPr d?~h8KEٔ-[dSpL0ځFbǴit4Aq(9jyIu<ڟՕ_(Cpbm3𗹷ӸjM5̉$'sqdUx%*c|w?8{iYcYUets{f`KM31ie')?*M嫙ILF4*\>'w|3'nS͟Q ^-9ukHx p_rަgHp.hQFx+J#y2%l(p,V$I6rJhT~!Az4 _].?ͼ8J"5lcV`U >Kg'weJ U97:jK^gu: FxEg-*%wJRgˆHK9ByVV=¥4 7W-n<wqOr.@kj]x*@ l|ɾwCvޙrIKsgoaSlZG4Z6 Py K=)պ5o([Arp\U 25*NAu֒ %`@L&$ }݄fd5uBQ'fp9X4kY ~!^tloo3U=a<6VUb~V֢5;WhxhMq)9VqY{YG)M%AٻOTjh]Q~g"HHsg^TNu]} E$g08mG7o m)) `b~Kl'"Ϫ&p zvN@mblkf} \jb+ߍ[lX4Pe#^\s璳@,5zߥ\N?\4pA# # MNy..q00s`Oj!p8|3Kyg#%h`.,k2A?^7dPD茚"\f% cv  "J褖3e4m%=PPd@\u+* m]ý0$O\}"5M5k>SOkPG!̜ERi+)d?ߋ>\45|ݽ[/F:_XhcƤ)X ]L{H;Ug\.b@"arzO}E\k*=Nls`I1Eû81 c*O~*wۆU $}tt!xJ,l*ɿ|x-mLF߮;vb9:=%聯qF:[L*z/w?Ȕ)4ܻFK*Nt4[uIXCȍLUJ7Ɓ}pYvWHs0aa_ v|K@-GZzGP k[5ZWpGg~mr"ik)s%]1 O-WZH4o||NFHC~ESϷs^a]bش1Z!&m`a1v$/"1ʅ ¬X=\ n;Y:3y0&154z+cIp,"agό E4=dUC~,APk{-e^ԍ0Bg{QA8IqS|!?*?->)=@N[6{tCwH< i9}]6bCɡV@ UF*W{k{2 fB+7M\O"C`AGOZӚKd"Q p=uzrg ]`.)ZzqkB^pC7q>tёm t2mnGv0k/0lݳ/VsIOom/tM!pJ^Zr&, ;I÷*,^} S )+:BUpR6v^ej"\۠hO >eӏ\OH G{+ȚL6(l+M# Gd8B18?;JkiQw2836t[s>r_2#'apOFZ߫㱟Dh'np"a&a!k6C&7?\T':x. zAaKPַ,( -w|l!oiCTtyK!1QKZ@DFEsau 6OcTtkl̢r-P<ċ1dycafSb Byl"'Jf`[#]w(s7}mƙ]? iҮ9NGY M X^V%.3F|=]m12ú# $4I}\Pm ૆u%oˊ4P#b<[E.׮Etdܿ$5*Iyuia|_V jOzQ Jzϥ֫M%`7ՙ*,mvܰ%!`Mz)o.uUau:E@0N^5Bv|3}vEm;7#}sa/IiړR'2k D~V@-y,.u055HNo;ds32f,4t$x B.8P}1Ѻ4[HyPlֹTҕg'鯍L UMKS "Bah Aҍ1|Bx5J̈́f$i}{&X-"pr2mu|YIP\L EV~wXO~u-qg꫓ev'c1,C?f9L/0g]%bB4::/Oc zB#υ?5(ɬ^ iْL>  /_FĖ}^cDmk?iD 3OsT-6XG[M. 1$A0䙂̙ܴ-b/-ןa6\nHPDd |55^s?,eAZqxrоPG tF'P9_# q-hgfBecCHָHuz/0fxr5Ai^F*0Vۨ>a+И#{HC@"U%Q*UCy4n#-I5q.=`aerXOAp@@bAӞlOQeqZ졌+ǺfTIZTAA.7}_a!{_?C HRK 5z#7~/o uH6yL"ه$hq^(K;;t2If" #d\mio5$; kE@]Q>7v:br'ˢvD=z^ҨYO7(dl_!-? ȆZ ngpKCÕVcCLXk}GBե×5|xoKo ͱg˂Y%M7DAO%-l'tԭrŸaɾd*YٔQ,B$7u})!͉us_v*SoR/sCК#)LE:뤣MҩRPR<#d{vW|Z9fs {;lQʼn0YΨ~c,3 TBsOhl.Be܂[D⽱H!`cdt뷵ٜ3 ;dʘδYTYc˵,>O!Gu>~Lfn_:L0 }^e`У{h͸Of""E0 i%FDz:_ҜQTA5fƉXY217aUüd fork軑$!)l-S^l·W=L'=dS$IRƇ/ƢRwyߣid=i#onLXFU!Zf qSvD Vk,bALG3; pHL(mD~=.PC@6+^z|tWœOc׀0$6׍uQY.`8<5S}4)f7V5IbK̬Kr5Q/5u@D+ r/YY4:cHl9ϴ,:qn 2ck:Fe-~[kRفZ#q(30}ߨ Mr],y l2Fk%m ZR !ۅ2#ÎoU[%Lr%繘.zyr.NEhb::DGd~oPì[ C}x A3" ?r[3(SO%3hDn0JRfWG풓IӠ-c_oEJ>YHT~r1mNY/+?i4".3!SRQӘXYrmVeysEP=҆]ӑSDGOxF/i)WQJZmń.45BUyAӍ>ls ߜ<7M'.j9Lh0ay*j*7c$bh⬔·vPݵj%DdqԽMUlӍ'DUVK-O8\%nZ(ľ+j`G%r`vd2sf{C :Kk‘j`$l%uD3Z0CuzIq?]̓t >}bS}Öf-v\ |2EF kc}X.^qT.cGw~Fô|ڞ~+>c-Dƾ5TRs%l[vi̾*Xkˁ!0o"i1c?7v=F~vOIYWvLf*ժ'thY`0=$9yhLڣmj2:^-PPD8X0n riZZrg^׽:|S_ ] a30zggA XѝPQNj >5xSX',]_Ow^>KP6l#`͑YJ"-E֍hQ3qBY64JRٍ% $ 5U}|PNb~[b{f k&.'(N&.D J( A]Έ} 80<LtZ:B]hU?;)o28zd@B 8څ#aT^7ȞQf f)]jme吴"-R* tNX<-*0M UL] EjN;toF1i E[,8Pv%E5i* k #at9&&$qqvb[alH:j$EJ͹Mûm8@wB7ިǧ|ktp16L Q8bl:4Ui( K#"1,fkszK {b\y kC .y>E7ܙ݌h [1˴&BCA{gT1bW;ۋTڂ 8a+A_HZOAk/囊2*&cO"xp6%Mۅa.,qķmg'=Gee;3j$l'qf Ə|Y L~Ult|-H,ɭ6 ٰr`[HV2A}_${jm2>E qӧoi&(Rx?I3XAqZs)De[AB7':hהGM<עJε>>a+mAN˓F&N9۝GaH/Xe9fjLѳ#m)We6VA}Θ U킎@j;M9xh20xX~JoB%޲ALt?Wh`xйcN$*b=dlXelʧD9gL.mf ]AVTBcA+Cԟ4g$-P(色pI\| ;aeIV#*[jl-uq ںQ+n|rfsd7 />- (eaBё/`f'$ZuK _*Kx,DJ2$GP[[sHE[ZgWe* "6~[6ܠw>Om%ɬR_p"ێ-a ݷ Ӑ9^<ҟ@wҒa)Z+HTݡs+m&h=]V$&xng8e|(qڃOD .w&ە ByEh}~t62OJ65!.kKQy_#Q\PY<\L+¯bxNT(.<32\ /v$!5X9Jg`dȑT$ ?sܺ(=& H1Ql|o6an f|͒ˢsΨ~jOʟœmw+qƪi|f0kg3}JgUrݾ́:H1vECh[F}01x+Lp`qD,R-v97HgSԋlНGywٷ/JJҐl0qyC)LmcdsJj!/=iVu~)Eˆ!h-'xc"X,w2aj,aI,c0ӥW, (N]b%gGƱ$*d N6꒩y+݁6gǸDQ&Yc4g=֫ETc|Nv'"'U[:3ߑ@L6e^4j0"c?9Nw\h9lטO6b((H߾1| \SԚ.~7ghlb)9G} r jH8) ~K),]oUefH/),( Sf鐓'>莅\;8xOH(cCHěGB.;9 -xRcQ&s҅b8Eqk94Suk9"M>$wcXRy S 58]Is7rɂ3\NhwA x|zݰQ6>Ye/_M2Q4L/̙j&tܬݜҘHixMre2ט@^߼3$1j$$3NЁf>-*w0H_ڵY/5}:9/cNgOcc^{{.&5K#Vt4S^"?`@JkFtnZhgF=rC ,^5B'BkLc*{&Z/v[x];/{ BpT=W[̡|Z }yJU51`&7 I[yStFmDB'>8~eٙTQDg"5qb0/ jQ@;"y#&.(E]$ U>Ine/D{kS#ct54x'؋:y@OfnP⾣NjM㦾6j FP!ӈƪLc ,fYSKZE6&:wU/.]m&,a@[Gf`wBԬ~(/p`luތ`/=aMdj<].!jDo(3qMhlD9'o\$Jq`~o8ԑ&N'cA؀ ;|\-kRp,ai__LPKP;;-3aTXn1x/0gy_ 8P^VE*гsYhֶ| aRJ >` ~B_jH%GO?Y_ܲzL",,#Õr:Jޏ)Y 7B*vt&k+C? ެF W#^-WF/L'Xl!H;kywl Hg| [iiJΠ jwhMݷez۱Ti)pO=Edz.7XV/1kC|P rږV4z귷]qF.WrI>CwȓE-QDA)lS ,C@OU=_A*ǵ'tRG+OGY- F"Rjݤw͠Z ~ت|ROJ!oŰfh4Rrtj4qLľyEGvl{,T"-`nEFV z\_O8QLP_@_,hCb RULW[ɯx_\OygwZjldt(2n~}K2,ՐOkw. WV/#t>ûacj$1h =OTeF6򟗘+Ħ %F͖FЇ;#h9* +Gai pqT2! #J.MΩhc` =w{tG霪=},=3yD݋:=M V^k A F9S װ \cCͬFwʠX&])P=r 4q\4zIo>aT"Z u}"  ^A/y2TU]SRٍ; 7-)\7NÏ4mZ~d᥀VJ5wj WlO&ԩW1ܤ}_0z.XR\Re~8>G%[57ecz*>lKH!4\ LmmH8ר~6,xl_Æ vw٪X0yxa3U3ciVZpJ^M>ؼ|և޷Am騠$|COF\-|zxf镀C2x$8n!/)x}+9@YMC2!֫M?yzwd t,"|e;"J/ڭѫOQН;77qD .]gJ_XFISQ_NG%[bzcpo( K=ۮ8[>b~6X1vd(V 6b?,$6˺G#}~x@1A'|b #SwɆ??-&q{f"iN5{W[rб7ݬ#:ޙ+[zҦVC$hi|D29aǜpV})] =Ԕ~ h 4UݕsE+Һԙ<"Qa`1Iv_+)KuOc#SWhX59ᔹ\V1xU`{ѕdk䁃:w,A:>_{#U@=?us) >E&5x+RT_օЄ߼4׬S \2!/"[rhlÉzѴ+^xhn v 1(Tm,3C -BE$ud%. 6Gu>{0"e ;u/Y3nMaB:+)1K'wePrgߢUqZDgha{ьˮOJ#Ѝ&z`)%5lO^(h~|Cnh'fjRۘ(1ᬚk LF4;\b1 cI.b9Fkl)G1z{3୍B((cY xPF=H(lz;[inOU @w aDkhN<+^~~ǰ&OD!fDS:;$B1w|Zmb.rTPlo k3Qf>toǞEkLئT֕ݸ.A:wqմ?Si} q*ɧ<ӚaE-fn~Tmjw KN@:)|ea3EÃc_wTB_TEHAF$ԒxR%ige9XC~v`x^_3Fic'WsmwI.; ! 1}`xOs q[o(H!R=mAJgTՂ|]t,NxY>V;[5 ,hvpXh9dEXk9\%BM`QS0{|yok }8qE.S yP$<Ҿm95" =wB_pe~G`mvgOYNUOѻj\@gv%3dmv?E|x>Y|vpܞb6c!p2yxK&8U-QTKͭ\e2(L'ے+aȴ(q7H?j̥I]T .z|b3\+@(bdzp*Kh3hM޽4* <&']ח}:+ڛyՒyMsHs&]V`#K\X|!TN$HyBAKuB_pmxs PNo< g]2|(z>"Agea xJō:9z<СbG%ATsmI{I˯`Y/d i9g>q f |;2﷏QY''@qpmGLhnh њv"{oEjzQ2*ey0+-t,Y|m|օ>ɦ'z،`Z*G(\ZF\RʞPeɑ`>1bĴQ`pM!3WMgϢkqKь .<,Ko!LaP6c񂁌p1r[RȮNnT fL)#{bfBAL dyJ!!?ϲIf6A|sۏo_GQ:y9T9}3f4ȸkw.(aJ 1ʦN(%+F5"TTkgaf?@ui,1QԈxA\M"'S鄚)B`wMyeJ7]~i!UJ8)FQ~,M֮ܯH a`-@$7j$%1YYFlb{b=|<|Ub2HV>rQ6(|lӲċ6fŤMX0 VX r+S>ŨE jRRU0 \S&_ Y%gXVC_s|_yuo"طjXK< 9ΨS; ^AwFN~ړ)KnI+𸇠Q)a{ #|=özN``-Ԯj, :LQfZH{eMF.!&;Y^WZkY|pVC8A{[YTeuǝ8ñk!gsSʒ;y^B"{,H/GqV`kR,cQMq-D uh>bIyH;:?h`̧3".R-7u{E> W|)3=ڐ|B>'>m 2@1ʱfmcl-|\e#TZ!,BRE rޒYZy+H]yCٝEћhgui[+]IbYficW8Wpw+Wx5 tw$nk #7 ܿak(''-뤁xՅ;O˵Lb@X4C'6F[Trnnh=H2<Hh8#Kb# 1R}d J= ܌4N=a"SO8~F] +k̕{۔6c x/]@]H#OpQGT\wZp0SfEȡ;YLeΒ+WAra-i黺AI[PbLg1on@l@3Iq m(eQ'=J|^R-#&`v)Ͻ/U])t9,Qm$Մestcon^R(x¨t@'tbAzR[vg2< );[Tg!nԊ7 Iπi͆ mh41}`S>DMN1L6!CS$a+fW?'r UH]960>с)Z۰: !Ri$ IB.!S.SczZl l Ճ&sy^i?Mِˍa V#+8SrJT-DIϥN[@ #eot0j:Pr%Pm5(./EoӃ\Rq_x#8N}@'h$R6IrOW.Qݯu J#lxrkXvcc2KS\Nqm.?k9NkqZE_ lQ”k͘مq3t2昔eſaCt?>IE{^&߆6ѪQGStfD qvf:&sq6d2̃, Zl^{bpHM)vp8*.Yd((90H=Ԋ?`dYȱ6rf7^ݭʥb'k<\ZaYx{"eSAy#iUꏚtt~;הl]-)@v1h,z\ g >C@K{GlƲҤ(UɅ1L8a/,F5M/Ө(C0r? K9_*,&m\i;3im5wkhZԮ^nJXnUp%Eho.T"=瘣;TNr_VS m mV\I&nG^ ɚى]ϏVb:AK@( ]bf\5߳+,t-Ң迼Zg n*ǐUPџ7FQ5{4K+Tʐ=H dD]S 1ڮ*UAv/.K@%y'["=EN0t5 +Unr&.=O<9[*_>4Ɠgp6GXC9 6L*φVU% t a Vj dh4Zٳ_sR"tOը3xS>6Cc%-iWd)B+\ϔqib,=1*^h;ʬy6QSP$ƶDԜ*ѴpQøe>{}8,ϵ+_此KMLLr>]V6}(1mw/qsaj /JO ]ݻKLV{/#V@=G╈;m/k9IL%' \ؾ_gH^Z(ե+8=Dub{n \rv^8~FU.}n6{F^M'Ϋr !-y&S$o 0_dE^rKvϹf\ >t+ Jď"@?M08ku)9R\̲hЀ8ۛWe eZK#v8Ârhs$WVP 5AotH4Q8ig%bC6ܿBK>,4r0>w.l4:)`3MLtjsw!8? ]E9^FJ&b=c<U#AAI xl{I=_ɕ+]K*i7'V G[Zit[}soA<#3&Qw^3Px˽YlPO^D!cjFncDGyec4lo!3J8\_id݄z_IF?5b&{50D|g|e̅&9 ~yJnsݯ `pNb5J1P~C4>tqyH1,[k.?GIfnOUSMo.*8bkl':wƶiIe\uv*o;7U @A+ہrΣJV[eAa-O hՀs~]:{$?dSH][fUvΕZk8 u(E>V;V~XTœˣkc+ : Z=Օ*sO fuW֧ϴ](7??:@vPDo1Rr֩fF 3NSn]^oFC.J|hZ)yY.=0FֽPv)k\1b h4ɸw O%Z ,hu1;\;<#O&" d>b];ᐶt°!];=ګ"]#/ʱUux94MEcXR^/Nm|ɻa2q y6PcG^^ x6E$#HbܘpZ[R;T"Znv2-*PƣȳxYwRF!J%)g|:bb2`/HAvXW dM]A/O^:TUL费]XzgV=m}"¤9w =`TK86E &nKUjLKal :]=7@8Ov2JBv+ j\TwwkcdY4yZz4ɧP8_Uѽď62 GO]2n9ȡ 쾼^eH)qs9f@ A*uoHPRSC'TzFr><425Jve tӶM,`k D&qE * A[Z_vt/RF>+@%(-ܶf%vM'4).Yf#1( u@XcCuO:JPU6hGq-`Xiv |\[}O XBt`;%eW}@Qoo2yp 6BIvU6yW&>MYL0 {>ZokOuN l)PX,BH"1rj'Qs1M{1lWg;c鋓VH茺^Őª+}mNT0Wu' U#RlP9`+NYt &#bQ;zU^7=֠5ދuhJQiƕ98!\Yضtvl6Ɏv]{{ ||ub=/aE 'ц2T7ca2iTf-4w)v,.Og!?*:PW]xlIƢ eY ܫ°"-9:+ 4Ӥ O*-&R.邭tR(.70Ρ_t 6σSDB)$[ DZy#.{٥i ʮ_ӚSp`<"(vFD(_ŲTtu7{1/=$Ћk7;W/-FB-Qblk?Em<=:] |'N]PU|3VC(vp-bR$QON}}<{G q72i_-(=CTfO0E#?.}#GQTҲVT!Q$!7ӐF*1Oddl.g @+/sg-.ջ1I1ĝ,AkeBג/P%ho`m^pv5mI'@kĔ I]Σ~BeJο[)9_Bu ~ Փ &}ah^ OiEr*1~*:"VH]ĥ\ VCRC.?nh;9@x*4CNp; oNӠrTN;9WI`3 oG]li4%&6CdĹKx! yF-k/4#@=0(dYuV;xESp YPf\RP5 ɟ7МiN*QG Gm ?o!x^b$ Trȯ\D{{;ͥf, j˵Ր/,eBr +;u'Zbu2DzYey ϓԘZ <JvPd5#Ub׎Ȇ"C36RMԘJ(0es-l.?cg);v*bɶ8WQ`j6D!,7o? _J;K7)Ct={ gyHxZgY4>CG?G|Ff ~= +vS5|8nܑ?68$>ce+$tC"xyJQFe:eTZ12* ~Xtv *ʮM3fB̿`7iJJGtV  Y* I*aSJy`&IeU:mM\cQ9lԣRcg} [^z/WtrZJu4s/[x(&zudXY>:hLԏľ#0=rl|- p|!JVze2nqd_`$u2fy$ 7+`F6TXj%[uzVyVCf^&I${2:4q0 sf[R m`)=&MTmٸnoPfa|onR Lm4 볊C8>a7ZBP5Zfw?ThˍO`rN6ǴK|[U87gQГ%U&{J D\NWv]$4[.{z Z@@?V=!L,,`}\G:Rȥt1)Jԟż0&LqpI7>՚$CUޮ-+ T\ 5|D^Mfpjt=slf9套kc ~T ɼoɟ/L-"/h#yYK*-S,*שl=TEEG:=4I4W¨*ok{ %Zptap=4g)}7NX  .`r3'0)'CiV7꜃SYlq8iI*:H3-> 7R$_VO=mؘ4V jEYXKZI@H) řn0\bCR^[S%ɞICd1ӹƵ[ oDaB Ā3wX3w"$8HJ猗^F0V_ F8 y=*;8;v T[x0u,4\RD\,}=-~#: \Ln6s8Uy"NʫE7C`DX8Jۨcஏ‘^=]p՘]Xޘ#Ɛ`1W@s5j q  lT5=Rc!3KG2{[&@nքhz ;ROJN30RЦ wf@˨uMOfBRO?aU2[#V}:0S곌d|%S%)I\y5ZY<8[*2 ?r?;r f".Gv3Z[1eCQ$`mOujtzvfGf+eR3GUZyh(wT٩a2[,+L(Bk3{dVM3f4ta{$1:cd4& EuwzWxD<6?%|V&WXܔpn%JlsB49ɱ z3)W͚,w<4q;Pˠ{jL>tg8=lmXͣt:c Ԁ1#xVz:)< S9QкOÕxUޢz0 CV7J,H~\gS+;ǚ8l6Z+]/lw朘vgo )9꟎"0Lc9uٴx1nG;B.b~zN UVX86+w@: @m4R_$]ɴ49+Έ \=}an)N>pu:|?ᓸ@[B[-B 5ا^))# =իGFb_=&owG~{P4БG=X[jX!s^zuwN5 6*ŬVts~+x"!E;i*Jt |8q3\]RNTsa=rF9ޭ*ױ]Vsz$X%($2MZޙ6z9 }K_ ` wάJj)+}Hԃ"O7YL32;w|/!Y(Nvf$bg;!9lO^zj5?oOIbdb.~Ec\=8" A#gϤB,KmPidg6+g;+!|ooOPDCjl#m=Vvhe=w Z1ɧm2'L*HW3mzJV[]dMM[iԥպ>]K!V!w7uC~=ayXLEf*YO0MDu1 EG̪`])Dnݸ5r^fV]R2b>[00O<+ of+T% ewl~0$7(OLJ`p^i \4yaW5&lڼ:(.W -NnĭVL]H3S,Scv\|r<V} p sAWȔ$5 `+՚jWJ) 5,(3r9ɢԘ9T'l5wq3u]k{T`͙Z[ZA%ȑXߗk[8m r55;ᕔxU6{<%BΧ|]9ϫ=֑ǁşڐwwV}^8XǪ2M-_V9|Ϯ\4-(p .dY %w̜ZvzMXKVl *E2L"+0.AY2WD>w$wqǟcmVW oVak*痝$(΂;~ fgή9߾9a1lܘ0ڤ3XI}tJ%KP  J0"6>_(Y!{>siJRxZ,QyUhLWI+\h/ن2;5}/#`m~y?Qa;- @2缻X7XL$ёOv9B 9Oqs')eJ9uM1PW49 -+y ?ݬ]p9 2a(US-Qa1_5!@^6H19qQF15\I T ;dq@xf*B)Z A96N3Tԃ[y @tY9m5'T|oat϶ Nr6o?N]?|ClTΰLofXאޱT3PwS0w& E9JIrD8aWTBj qZgޣu4^!M!t d/eͶ ?8AٟVUvr hNq Ͼ{G| fq0E"v\,I京K$Wr &dm﹬Djf7p2uӹGְAPGZl2Htχ[[g9:IDM@SLגƒ#=Y0P%@20ʹi뙮9ӿn2P`_tQ&m݈F 6mAL,i^F=F˙o\@*u,}Mp'dDtNl@sBagzx*~" .ʧQhez-)n>!uu}M$\IWnz\/oo3=kkw{Q-L0̲7"4+;H.PAqr)W-S9E`YJ9RBϖr',1f8pߎVOc] uib,Nyt3| תLʟ͸ȭS*{,?HO6/t7F,a7(rxb+5K-oHţt#,&c΍cSI\U,U"+-" s.:=QF#׎q}64F)paEVbcHXÜu:noE^w`QB)-xj-l۾8| }Yŵyl v gA.ڈ.ses2O]I셰,Zo֜lz4&^qE$|ul08!y$qJҳONEw硡Fa#ViVa6ɛ;5hFF6'ڶS 񉕰gzDk3ha306 Iԙ4¹v޸+\¿1bm `(vH,ߨ2;#0 o.7hN96l1Xg^hYcim=LaOİ_O;kB0fZDnpcld7!'@Udv1RjcSXUޤ)TܝK7Gh^9 P`*[LU|y1hvM˙ԋ$>Y2A%C~Sv[4F=)Eo ' YN{]FE:ᄉZVS?/wMmvIgfZ62!C DxAhG[O!c%EJ~. Sd*xOԄ ?q⭃K MAɔ藵ۚD>~Z#p6-!fFL*Tdhjӭ\X_ĪZ 8U Ո<$&vEVKڡY4x/%k!+!kYWAΐ4S KY53d? Vܔ3chߣNIhQww(0nC߬&lGV6E67l#ka4K{Zk`:`pg#ݏi;|nT{sK*`ⰲE/q?pcqfG!l:(x`3@%F- t\Zg?? 5Z#!P@~:D9 R]X:fyo(a/h{nn݉7˫u|oaoK F_5ETF%‹6I拞ӳ9⿨h8#Xsj-eURq?}vT6HUlV94qLY|5Gҭ(]qlzPӞ~` ec>1X(]Dgj5TŝWZ5([LՄ}$OCñn[PS 275)CO.gGP8GX04]ҟF3~XC}6KAiB[̱@oQQeHO%)'B7]F׸9q7'jxydeT`D=#oZ( 6҅<Ӂ0Ԭ| vnŹ$;$::<@vp0~<4đ ݱg+ C VXj3LP$ s7C p/wk0ѩƖد=SEҳ< ,e5?A+XDTݴ5:/`Mt,x0v~qIq>n:swE>-`TT^A0C/LcC уE԰9Z3.W[}Ʊ-maӚ*msA2w$'-3l"<7ѳ9Ȕ49]$Kdh,%6l*%x&-`eS_QxD=vu>%Өz),cH?ڢZgvD\dۑ19feNj5"7Y (]?7Clȫ?piAb7C3)153l1{J'A:n>g X[$6rÍ3J#W: 37O!%6E._#> p_lW^U`kMONY8QW؁@ HbʺM2y JsE 0ZC/ϳu3z'Yl/kѨg|"f2lPy-yOd&A"~ջQ}dU~O9NCixSCUrꍘcꞫ:f1@.zYmKt:P.S00\g bU"X8;s fnƺէ_n ]RWu(8TK.FY>Ho$WQER Ih.%*|w-h^;YeESX)=aEITnK4OcubWnXv7`*G\ϐPxp/zkWJPz!v!L00eʐΡ`e/Ffzv ͨ/quГ3Loomz0}tTce:YH*W0881\u*{M/ڷr"C}QڏMXW*Pg +f|R ^49UW_Hx3=C޸`GV/Kț.rB DcU^4 03PC#KjWEI<5`DKngE'ɝfna ε g^='ȎV;$+Q=e 9czE`a?X E ~ 07e0JNKT; [F2@PĿ<BBU1?ZR?ƎhSwc FXDشi'j(60t#9j,7ߡ B0dY2@v]#=.R`4#Xml%'i++3l5@[Υ3[a0u1\2s}Ӧ\3,OhE)~Oe?cQ5$t;^pn9Mg-] 7.믚ET8#J51"bgb) NXz:"_1=U7>t. z쁥C~#8j 8-GdSƠKxgL5T+3M=csIEEns[Qi2wҒH-MŖd(|]޲ lH4 S:Г|xr s蟥qg3F/wnwB2\DT$[K#B%G\OJUҢZUJ ku>fK,; V;@;]8Xa8^C<~^) һۥO'~>-`P6=%5]_rnUES!(e3D cL>}US1:.y(e? h08G.q.(dy,e{HZvfNbj5{R7p5Cֻ~mVo,Y ,|b)N%P.DmٔBq{h-F% |_CVӐFL$';I Ԡȇx1Z,Hh=wv LNT2 G9 !>Ymԝ2 ;N{Dr7 t~"1|1|8J, #Qkc˲m*eȤ5iQ2V&4qkRRNGx"+o OR4i)dEK!,ɮ[d S&\`6[TqaqW@~@?ɮBnUЈ1I&v/ [W\.IB-HF>!nz7R[CLP g! |$1t>3*4F73T\s_Ruݯo(~[ ȴ5HRo UG$ڷoI)foz^mkf{Ȋ(sięGŘ=,|HEDdK17+q 9cF2IYʵ{0" 4,ޟ2s>MMUj#hZhuBU/kH7@Fj5c%j)IqL̋F)zeE ,S?tGaFh"{$ Nh^Yr0?bKibעe!^*Edn ẁʝMrRlM; [aJQG$d2φ9l7=E0\GĒF3fP2)OTUHqTwłںMg:7NPkZWL,dWB g/$/NCF h9ZO2jEXۜcnMsUW57(m?q6ף@ÕbuBC8o90B g/׶ZiV{ h{~z̶uU?]! yX95)tȝAju(ŻC*_rةwQYkmgq[ ip]"2] l&bb5n Ѯ TF]{epBKRI@:dVrN,e+.O t{B~;Ǯ5G ? ͕%}lM r_= xUFݥlW1Miދ@W^ 1bnjwhƏkM8ySC9ׁ^yzUZMڞvvZx[c~׊5~~5o[zQX>͊>GQdC[xAldhВ R)n!#Lƛ]ۗ w5 wf½wr;U%Si]r%ώr>R21Fqt{mK߳;1'͹37sH>ʏ+q?(#\"ڥDsvK(x ;a҉q!rW9&UOOwvg[S!n]qb/MOv 5cvB>C[{L*hpdt38x <퉂*4:83m[9^۪aDTt0L7xœ%َ. YVg<<9sGY#c H(%A֟3 ~mw/2,M4K4)XXI݈.Nva쑋=%X.X}%%zwr_@k(2p>zb۔!a2 L;PڱY _ GF:yF@l7K|~;.ʛZFTAx,R16)GyH'xN"&aKa:'~B &,͊rdz; u?ʼ!/3!1Ttm_gi4ҩVZS`0Z/n+!7n7( L;k ,Ѹp)"8B?Sq] t7 'JmT*4ܷ& #uc o$Bj&k&DB5<ۈF~M2e/-8LR;:"Dp {n?4Me2~Cngr?s}:Iҷ3.BتKk湩{tvHƴ4=TyYJZN!`5@KsAUNouʃy;.XGl;Nh`P-\rt4w' cR\h&1G+@jP5¥<$.ML蝎*B=@ NPҁh;y1{uOEi4:}~ B!䦽wȭ;0vbwaU x $4'rBS^I6(J!=ڬ]Ú.ovgSЏ}ri8@^~ [jS`T ͈Bf /&9sΉ4qг$ɒiDMZӡc(tڟd~N{u4Q:ϝݲqwF]*qcjneq3q~ b5[J;>1gó݈ƌ9 ,AOw] k:݉*<# 3}\Jd`6X_7? 5SK[-A c}"R0 )݉{x̻1M/]3r`}u-bH<frmf"oiAOcpQV0G}AxazG'X2ïnl" 3o(V{͎I_QH+>E(!^jbYԺ{(؂+0Dh2*@ !ޙiN(0mYo7Č0ܒہg"{ȩ.vy=ƚxDF^`Ha҉= UZG& i. X 1U Z]:6^;r3^ OLT܆+AiK?Iz?~[HlX4Ymo&9sxPeDرB j"Ebdvb il)L̜\V Մ -o-M-8zCv 5kZ:yZE-"x4xv[iաʲYz[*V on"*t+k\2x͂,aN">mGv\q~Bd^.{:x]Cne,y '"J1.;Qys5ivΖw4()槵rGJ[+V"ٮJ̞1>N<,yӽGZe,b╪ > WEUtmOsAj;$jQ7j1ny Ѿ -4&Y:  Z1D=cGv.7N15򳄔11QdAΌ |BSؐUdx,_ƀ8ꝅt*B)|Tl1qÎߞ=2sХEm6 ګ ` jakL#w H6)3gƮY75n[̄e\"'P@wزcQYuc@bAFA.":)^$!g &bH7@cesF Hѕf[B{74̹L Z8ձc9 vPX2]6A8$b/ 3d®H5 4¬n;U\L ʃP˜W1a=6]7LF#Ux$nhd]D%p!1F7յ^)v8 y_!1b 8c`Εvy'83 nzT"UkNQԶnԉ)!+\_p(.a{+T]#*FɤF/='D&Yib"H2aXǽ4x 9(#[3k6y6hR f'=YÛu"تa hmk'A9^!3iĦJl!#1n- Z\TҠJqdȮQ ߬u!!Uba:s#g&0GHL2/Fv50#;KbC&ZXCJa:㨼M{BC&;hkzF#ZU0OC<*N»Gbh/ƯY\IBյk[PC-L.,ut4Λ?Φn*4 ?v>R].1:gzn@=dLD͜k;? Rn6é7 ۆ3iڕqG.+="v;ꗣUC4`q 7Vԯ) oapovT 2j郊ӕ6|Bѡr_%r4dOU;qy֛ ;``x<\r^Ե6KK:шGMKF Ҫwt"7IRN@+ƖTQ$SOU9y+bγJlan]f㼺<߫]i~' daH}s-3X´ Pʙh&CZ6IB*v[Ix8Y%QCH;̨ҽm z[edr 0e+3kqwNѣt$"vk&ʻ9@l-ZOwǗG#79CGCXo9Ff:3uxđl@94`4oҖ]Io(,єqRJAե^EPXնs4 M̺3.NyZmg,c8/GkMs bA6و@PcƱ'?|qFѣ@#>v;cuxǿrXIjm♢Hs&QcܸRo{O#O!Kח(}k_H37}~^ԬOntoZfd }O6weFgMw z:&6J~s$|Vk;mmRߠ'IfCe"f:re`>% [YH&*ksKzB)3qiu:^Wd9?"7 EF͞C{TÉHпrvXd_+ +W¤?o&(i7떽MoIGj:@Uڜ#Ns"$l.-I3Nd1`A>1Cf,`#y>nU˜HAPN7a0qYF**S+9V^¦tu;)X !?-d ADa}K"htYU5o#N h E!+m_9ӊc Q%UE^'8ۮrl| udz]$ fCiyt`}&\  7ϰ\I"o{9F t+32$Py[l:=HthQ8~iIIJZ\Ux8MvNHVxcw W̓)csl#f%[QVT,e.jޣ#O6dž~5_*շ(EhcJF7Pnx7[`V-c }c\#(.*e_U9iȷ 8H]7kLܼob8*%FHaN<ʐk|ܫ|Ԏ"Em6HU'iE lԙtI -! NÄ@'p$SxIP-Ǖkq ],@HrJQ`.xzb 'eȯJm.FYi`q#>nEBQ> x 9ʝ>sCCr\pa9ϓǘAa_`? Ncpt4~\UGr!UP O<Ӊiy;n \^\F E5& ߺexc=o+0ؤx`B$*~ܐtzQ5-S};e>'= T;2>^E)4IVp1 g%fm}OYtf, ..rg!O=m5#D`Z'4qwT7oI 3]V,Y$pBmk9Yn3";|)\LAoeȢwJwg&?t}66pш)EyeG&Uo\"M"bb|"?=+=2.f12`Hz@`DA"I**W.Q8Ie}, jneX->4~ӍB͘S!|Թm_=fy|gkCvԃ!A∴A@ 5)?IӨҮd y#0a b;=x[w$3*9W0ғpU*&jY+hP9X67Q y9Uk5SoƗЀ-jp"-y XRƯAg "D1] {#+U3-2zoĬمح֕o3O90ե-c*H=cekp]. Z٭K6I0((,<ׇC/XΟSR=VoD# QY3\hg8Q8"^o,?3X}|:+lX\zjGi,w>-m-:E;6B'agg, m[MP͸ŕD}МYuIk"ߘd;z"X;( XŹ82bW,8u%ϧvLys%+*Zjj&#ٚ7¾^<2|1ZFm%jb5kd3w+`Bt"OF,*.0=-,dWZ m*cL-(,M쌭۱l͙x`p19*T1CŸdcP*.l/A uZKnj{Md3@&{}ѥz%m0 \x'w?g@{=0eT1_F9ѽxv2mF<{]J2*|ʝzespUv"V!vD~$1gA׹0UƜ]Qgt7$޷!.Тˡ{:&|9όّ2;Y!(o7! qzXjuvR7_Ζ琿+Lp-*AX-{ ?4v+tM+9ᴪ]Bv1حK NiŃ+yDoKKB υj؊{a}f]6M0A@DaHӣxQҸkkx(,У9!iT/( 1Ec$!(z ^zK䕵QJ9Z5TDFf|2qCo:Ba" O[xIL"el؍c] ~1}싌QbZcEZ}xO֨ij_4R#ccu7~Ϥm9`YwxZ kl\Iة.R:c! ۆMc(8KS(aGˉ20&@c qV V@k /éW7_N"yK!=rVd՞_ JA}3t5VB9~igԤDUV٤C 1o^̴M@kB\h=Q] hsIZ=1o㓐7V/7B[emԧ2A7(ELT~f X}>,_yOu$0?AްA~JWZR첓 XQWSYU{1ZJw#)U |j.+k2@*> -.iVAŵ6nG"[L[0ƃjO.r@t; Яs:ua@l7;fftw!0~Ȅ#[/baWx^iL[XiVcw6q!Ļ_#.kfOG[hVg)KR|>s</ kFٙí7ᛇU/w`u_Tlj k:$?* (販bdF{=nٗdεNjCاH{aSܫUIo gV-왽G,G:~M. mB~2Q:AQS[xHQ'5Ч+E{ N+Ƙ4p˽.'7A ` [#6t%Bx!c*TXd͹;MA!MR"%b:oe0o 1QvҬIWлg\txI`MK<hVzf9cJL]­} H?s⬐<jʋ:GH]L)"kmeoK :3n.r&X^ M ^u6B)MP,N(K/:_^? s QxR3s1R?hbvs@Wb$̇ ʗIQi T`#~I_dt[ߧXwW+(~)Y1Sye7>,0<\-|H\Ewoɤ A.Mī ٸT ~2 ,,wf:X@E=qJ axS|p+$ 6QzX>5 TH9n}Mf]Jzq$nՆ:>;wjmLWݬ?c'N4^cȭ³(=prFȏE޽AR of1:;:paS!1 W^za{efә3Ex(^!T߯Q)M̺r.VTOw95lH,[t:p&'RAaH(GkQnUWsn_}7y?!Pa"6]VqߪF2͌en&5N\W*vΧ QO@ }î M#/e5ny m[FӣT"= ˳ۺN-gnGQ1` sh̰6C@iWlG|.ow6~mwC6L:w{C~Q; yQ7MkIeE_iOd8r#WmEMt11;xz{~cTH"VС_@`vBQhYh'VA h %'Q+ EDz[%|oB<2dߐP9t4..`Vf[ iwn(6GLP͍U5Ϥ"TŞ!_:7u ZcJqt it\hbTx򱚯5zbƧ' ʦ,J1^w઱~wq5SaQXcdkIa'Е嬕pIތ^M!)5'~pd[Ԙ/d[]2p$ӎyS4٪9$(%Rsz\D'SSDXsC9 ZT1J͂8:n=WQBj ʊ׎5^Q=z]ph3('i7Bm{E"\fb-\f=Ly ҆!C9W Z RU,u+ Id2~,= dWF3K-'L^T:?"rQr2c78⧨Bg.j-*Lz1d~d%wCD2\~);q902{-. 0nH+{hi/*QUPz/sȰST/uP;/H1ɍSwb F}V[W "i01hwvfՐG_Б }W̏n`w^ 0Չ=±߁H޳J%H_Kf9wrQ(Ų]CJd.7uātw",G_Z^hJo$gT*-|AZ8XIh6:HjߣdNL+&?E o;2]n.~\oz )sT- blPo:>0 (,΁h._ȍ;J sCSu(Qdj,>Jت!%~/;tUoq P4w}OXq(mVKX @Tϩ`31{/~#a* ?KSI@nd$Ai/;iWREosْrJOG4<w-^B8CST |OO}- !`UŬ/;mqW(||YH֎]UR6Cm{4 D}S2-׭0WLh zrRQJEm(f40@+^Rޥ!o$0^bN,t~*$DHq7zmPJ}e!!]Lm69]<#;"'σCjV33/14,Z JK= UBiĄ+f<⅀o@69r6l 2O W6^iX ,ʙ8%XXQ1d/-p:8^_,[C%fh 4wG_f+{B^+/*Udkх1J3wOժ7kYOw2NsrV;*sdknD*kq7h7 -k߬8| okxMYIvf:bސV&WQKMX8:yAw+ٗ/yf=dOeՎ&г #$61ErI>g=r`Sq94UOlG57Z*eq]M!}С]Gbᑤo8-L{!ŵwϷp8=x?ܚxP  >7zw#n_Gxd4]-uB==pѡvZlmh5iSHqm Px- ׄ엤_|'h@=xsPUbCZ$QDr.B8 hr FroV.țkEbu"%H9`8Hų0Cv]-u_%aFD9R)=Np=&lJq(ɟM7@e׬lb F<9P<]yNW Rjjp剖DgKqgP8_ך4w^Х5ej[4Tu/GLF=\``wa8.t%EMu)KJ?w}HS"4O`q[$BX)JU@T ( L#[(ո>" P΁©=Ixa# b؛Y"Lt'[rFו\Kafm[T+$r%S~{JÅN?>f*S=~N{!. 7#r n0L#tjNg{Ss>, =E5sV :RX+|jLȷry&X cC!c}ֱ$TG+0a p/A6='<Ѓe!1Vkw3ЬB8+#,o lQz\ÆrwOgx=, WS&]kB2[]XNGɝH!fv~ϥuijH3V;}FȴH1"4=6Ir =(igAS(T̈5cN6/,23a0MB43Q#d|U٠#n@]oq%S2u%jG㚻dk6.b;-1\ @n"iP/-[ñ%M8=af#PbQPDXnQPU6*~ё8YCx K,졏3* zu!L_-eԛ=Hnyxcmr{˽^ tYv 1PR#bTuKWq #)e17v. Y8)@ VcG\kqx3Qli\øPoc=#B 8vElRHwx?dC\v ni"C5!%". pow)Wᦶu=^TQ}Vә|EǩRH5u\tt(C-]A*d @h9jh#ՇZ zxfȤaY 8IH}Q2>5!褗G.kdX]29"NjWd_䮮e}J uGQ4G}yl pJez\ '2w FؓK? aZEIOyAw@gDFSW7uR^F W#W>Miӯ_t i@R v{is2J;5XnֻΗAJV5mX_*m unF}A\crp<$D1a09zڀ3jb/* Wv'u?5by+/pϪ5l9i-yDa=rKYB+Gu0$&,hP* %RˠІAPtp;b'QqE+Zsh?fDs3OĚ^ޒ톙;F$`FH-dpn=B%* \chi|hB'MGgFfQz"a [sf&/|Ș1vPn zj9 \~7Щ_/J.&x~EEczpXg}iR˵[/m᝶|+%!rhs?빏kVy}d J ;{hEnӽ~2AhF,ci'n1o9veLllPJu/Roh19Fڟgl,$$2gt4%$,kFrd7 .ٶe*s*Ap L$NN3OiGl'UOx4X7$YvDH5\\ZziҀ@VKJvا@Yṷ̑dF^,9>mB,|5(tUnl @wL"QTʛ$Kev]*ݗQ#4Mz}ߓgOaP)sXSePcvTTKU,drnjz+0`-Fs]{v^HF:uůL"Ta8 a}6-WȗY q7x*僗EZ,;PT ӨE+dzkEH8̦*zMrfOj`G;DR3$c o//ݜ uVW*J @$̶xKƈ-iF=[hJzxS<II+뀪PZO=]{9&0Zfmԇ]"k^AjrN@1S ]>(SRIxcE#LϮ^+='[?յX {-J┕| Ju :9nր = fER !+l%7xOVBʵ18~ ۑWۢtɮ&,j6]EY{vD (x%=Tm#\'+9~F[3wO-.qt[%# jUTL08RՉѱ7EȖH%06# =|1}I{9ؒ ʽ>1O4_[SvV[RS%Y|jʯǣ"q#J9TVwnPݔ.7HwM52;PnbEecs@F)riWpkkH0ߖ%[Cji}!",cl C&bђ>x&ףԥv=+FҜ0RM禷֥8Vq ɄP c2~:u,'kFhzw"-&xM3N[Co[LǠ|w_% ;~)U<ӎ%Tmz azƵ!K=1NI:>Y^+wރ6Ln@& M=`e`KrG.LrzU+@׷{jxf>Z)g~R&mZ'^f8yRʹݑm)Uyφx?Yi"k@h b]tER._1ket4p}fGo)qY0u@ i/4@ #mCQC=ɓǷAjV*̮9zH",agYZz|4O|,i81 Pw"W"ogXwC{ [ѽ-zukNӊ s*V(: qEx2QL8`".C#CBӇcܖC]RXu2O gWL]CyDH˱^ǍUInKWī>+±ő4&08-E D)dJ -vʰ  QII.[b߉S.s.a>~c3'6#̗GF%&GXbB6̓UTo()桟Ɲ~c86y13w#\JHh!sʄ8!x}+t3;o0$r"Iv&o9uv ˹SO|^p6pI"#8"_z(ba"7W;2 8\gG{y=ެ0g;@xQ L!W fLbǵB_i{C$ԖzN+Xc޿jcMKF2po\dC=›.u[["ɛz_#2Ÿ`/0JLSԮ6R((/qa?3'8QEDaR^Ry i4xi @/;O\ 9'1g,!犆˽G䣘֛-68黽l(l暟Dg>+Z;[=A_OaxJXDbr1,\_B{y8VdE^?AA^r-]f蠙 #j(K/CH4 0.r.nߝџBb3QEn>K7j}&g4P =)%'9JT-( #3[x*SʅV^`c(#Dڧ{>w֒-1"8;_e &u8#xΆm`Eif:HVWfR2Q#E|p(A(jx\ba43NLRym3Iy*x"I:_6*t`4;Zv%{FEFCۊ^V3Ajan@*/2w{n(@g}&(Ӧ5%R\seq㨘Svqe=g&4H.?l]4dцfjeeDW&fpvwFyddl4w麼Yo)U(J6 E@+UpϒoÍ^2YO gvD[HlQ-qv0!YiS4*X2G:/R!f ^J11ROOrTo, %lztWHV;Ћ#1|f?]bKsW[ix/?e0x^?Eϟ޶b,ϼuj-k;%hToTc5BߋVXCÚOe,z_F{Z">z;RO|5uNg`w TO rxfQh)(Ul†kDhq3rS|V(cFI@^-'69Rf>GTz!ejȈퟞ+lm+ +2O7KLMBa6r\!4C!bt [zJAUHR V;m$,'Yڰ?S}\4`_O4Os?ĎHC9~jىĿ5󭟛A'(^0E pe%\%:KӤH(W˃H-lЏ[WQצP@mtUXX2pk$Š,%c^6H19$ @ECv= PLZv0gEhg/BM ("IC ^WV^'?RJ%s=oJ|1kZ|WG i 4#e5Pkm[MU|p]WF'r$n1uz0wz)iP/??1zx%tJe:]e}f폑Xb#?E p^6Zws}3nԐVD1niJ[}-V1+,!`2zjw蝢2ݠnU|TINQ렕<:cag3{L,Xq3&Y][WV8_(9n#44DQM8ĘR8S%´@nֺEb Ɍv_r]ԙM:C3W CaqMw榻5c9GAVѦW3J3"nDL"f$:;*7A#fomUW 4ʂ]B6rO k\.,jBMm6?@k)l0b[~IWٜr Hv uvh16Y2y}ˈ-̻X ?#^{HY]l!эT / ғ4~b8Z#ɺ2>ⅵusRo#G4'eI V6".RTrl9]ͧ}>CɉzjN4mI GIoUYJ0L5DVY}euzov&)*o[hy >߃L*RHMfu9#l.ĂB O@qmG0MÛml ;I{9g=ۉ/!1ɡmuAβB[rd"K:My1Sx.'OA<zI˛2Rɹ}%l,,t'c ho^Ls@`%(\S3"ޖ ^ ᾡE53C~{U!z :/}m@ }׫YpShbR2Nʯp's/ OjpڦB?6BN{KQ6Lm*)sTdqZM~L2ǩeU1|i2KA."HExG7hJ~JwC +Sy @y8vk~8t$ĞuN|<~74`i4zOabIO)^ΜL:b;1tz.Qv듚eXW*YMV{uMuԴ3o5jwEOªW=GY~`!Z[]5f: KpplWVvH.";9^@p+'# Ft A 19=}5SRb*gեQG-$T,k41 iK~D/8ITLW҇|*rhl=B-i?  YfQzc miRL-rHѺ,Aз;HHG[gifݼ"x^Ï't[fZAgԋq%ʰwI1x5cOd#' úOdQhqAD0ԯb"8*@?Oͷ+y JCi=W$c|{ݍMRgFēPwigx&Nz23eGY# OXs84TZޅL+2*r"DU\b{&KZc\F,jbx6 zd=3@#pAcH9ze.r4`2EPu~)jy0 `| a:p#?)BUh{K{>Ce`LiܨcPRDB/碊9O=q2O(IFiKރw[tY0F׹>m:@=\i19վzDs0bĨL澌:q )co nl_Ddː ڋ|n(TwЕttlSXq}oWV30e& b{)*@ h=`g F7do uBbϴ|YNj؝sΏ={yQƊjN".WJ9X!9.@7KfL6]t52z~L:GM,qKNyõ~ G\)6 ~=IqwrnN/=j%Dt[M@a7So7t7e}O$8N:lapuzVO:PV9ť_@ ɿg^eJUdSo%rWI.V;=wćuDȿioH,YkLCIoh)̂ zngMYר\ӢL,l--qGo=Q12)gBz^ !4*bq*@MOqׄsQjUr֏62NFh\|0{GTm1xs2FT(nIF a9_1ء@[ q㩡82(+v_}v0"30iFR N Su@Ӈ[+1=F8ڮ?*VbgˏqCd sHYΤ30A33xR 5%w3x•y_./z-W6P*% D om9U^.L_z;P8J,e/c7ԹWEg#;d*hsCrHzLsAE@a1QBИ9t?epS.,0IM\bK B=H"\ϣ ^\*nbuM5@t6'EA5X&#DHrxn=b +ݤG[tbt0 H leTׅ \E,.J)swhlfWL Ek. P-RyXDr%:p`?.9 C)>C*n%2F d?JFlX27eBLr,LIc1 ˤ5.DQezB6LLTe vֶԼE6%S\OsIx􈕁FZVQjh R7lg\r4hsrXcJH> '`=Æʰ9+[-+j;h.š>S܏jZ&Q-pu|ӽRSMu -M6{#r{Mʴ"DWY]t0HՎ#Q72vrZg%F_->LZd[ kCJt_c_!P^Pz.փ6Z\oNb_6>oT/VhUdT^,wEƂH M/Pe-c @UXH{tMuC$#K~jیg!1U3&%J"Ik}P3]s*;PtZ qA vV+(VQ\KD[Z5ErilUVp/Ӿ>)[jH烆6ECg0$+wc6*|:Uxi|['£ۤu5 }"7*q4[%8VnڦYn_J5Y" Χ8):d0vs6Dw|h=b=|nƣH#нaYX m=Kyį?G;ib~@+yAu4٤`;Y4*g XQְb4QŇ 0dkڴbDnH%ϋArϛpWz9˴)^ZIcwU"]p5Zv'kHAG0cM¶v~V:q|N.WKzflxq w)-e=1>cP!>ĺ@seT8u47w󻹲/_ݼLMT wBe_D;>=jZCQUhciੈXLHEUGKRqׇRM =Ur!>+i2_`1%"j[߀}/P)#iF+-PC 0љ LYƝK+4JU,p&1KXL3CM_& e rA-@H%ĘW2,P 2-M<ܩUHG# k)1K>aJQlц0'`q']@Xȴ8W,{j@~=/4 vHK$',GEb6PqUn.X\&:Sk#qCIORwࠦ 9{s]Y/B0Lr ov_(0/[gl!Lv*)&V^hsc^n8-QBׁAȧ(p:tXE$iy4洉'Q~40IMqK9_8 @;}_"AnO <`>rqWQoRIbj!J菍 SX8 , 2YgdlԑP*+a MDLG[!8%4W EZvT_Vrq)SpƳީgfWZGҦ=*MRGLߌ/x_Zi>@ Xȩ!>ۍ/13W6%M<PĨdfPI:ێ߫-4XSW {CDpDx}pԠiV<' <KEm3B'bAJm`)&7Ȟ;(.a{@ @we`Go&SƐ' r<[{O` |Bo" (׎1V͏]fᨵWFn95[ϜA߅ydPr\`!P{?$B(ӑo(x]1'P$r&yC F/ڒeMR96\x4ַ㎷\oXSvU٬i3%T={"cvRIx[O-q!粲`i hWx"ut 6.sK1> fUQkJ8;r#+hiu %??2pL:y=6@4Sjo2Fj؜$tT@*+o)aԩ׹v/p ( cmͲM_א&Y:r3F f|uN_JZ shFv{xn,:r c!? :;^iiF'BYa]#$-<–tEDg f yPH>/O["t]~Ͻ(X& p!+GT* w.*{襺z}9zi hskU$.,Ks%WA0AIK3@ (p;nr OR/ ɮWߘk ?Aa~鯵 B"`<-Gתd]3;. I%NJ̒W'q7RͮOL0QG qFR vǸi7NeίU,+6nƆ_)yIrjLCSXUBr=zBheQPo~]@6% %Aye2!ܦ9RPK~d`- Q gcY!WhEF@׶l7_w,cGi.d[?D#%j7B|ƍ u{LQԻ,aV:U~ps!m7W.T5}d ^hPzz~H[VQ|q88/i-U܀b*udsoZ w0J|IRnj1&tCT]w(~k eˇSAQd*n za %1ոZ#.dB&em"nR*l{T5qb7vM7B MW݃vDMycGW8_2N♜g|w Qa2/`*fsDzDl C>UԓjYM_@BUr-쇵ל{Ej8` NL.՝gXxvjҩ]`4ym_-ٲQꈹ^:6. 'v׬פn@_vZ\l0mR2 k1#]Aml ZhM7 >]klTR Jꐑy(ЪkBkHJM2RDݭJե>S>PH{:݉K_:$r#oa.pN!Nr6Y*&{@rPظuivL l-A[\?ȼ/VqW;fd5騇~hڜ^q4b~LM~DGcOS\z yma2ϿoUgJZÙѝܟdPZa./gL!vAc)'·B*UA\!ሊAX{yH8I"xDd8If6LB;l5aRc_4-b\` а7j܇@YJsz@Ag%ِmȢ?m|7baZ뽍)j{.&'[N:&wa>j9 [2nc ZOC :DlUD}U#VϾm@MoNHL 7qX(1CNݟZFf}$`-q3Iz"J2-#QYAi?&ݬ=X>ՇD@S?lba,p[bjE w:Gyz('YD2B 0F:=69:)j7@΃2[7RU_6j>XyY.I(\Ӡ~ HQV ߟKˆމ'UqiFjԍX>SdW.5 S;Vv3a>tlFV ֞>+B*iQ:yF}nU,j͂ƃy f_I?g'_Dj1.GJ507%?E!R'ea4ӏ؈pC@&;@)L Qi +5ZI_Y& Y9?k*7h\7$$)/M-_;GL,>Ќ&D$!e*nɣS/ήٓt`2If[BH*p k.[9m\!d?E^#RUF~'=);l5lrIf -UQ|-PF?)vuXgQݲN;o9\v#*ڵgSU`O}ٙ4NyֿXJYanEl-ĕZT 0^smuՈbቤlTLC֩o-1F}jɥ!%~U4C*@^/#;?Srd<n./ qOQ?MXìyȞYR{QZUf}Cnʭujm5~"VP 2-#PR 91e\vW'7 4Y#hk۟i4йxJ2 (6NRNy" i?IK_jX]NGs@GלaX%'vľWR{OkbEj5>318k7.2W:5͛= vrq#Ij&C[xb䪠 _+dN2Q"We" sg),7 OAO[IVuϚmPC}X(᭶UF2mR~r8'hlUZԊ"mrd9ZLޓYԊM\fc؄ɰa̘ilR噘>H=(|@W{fV@7AZ@}bQ"ݽc2Ўa@hYY|_䄅Jhip֞]f)R )#g;uJBXbuF1vtofEEqV31XB2kLP3 QoyB&^u-:\(L02d) &7:-7^6%p}ճ}ܡa6x^8/m>bT% oۏ 0ujhd o/ۄm6T=a/v(z/~䧂 LUVEW?EW>۷?Tྦྷ+pʼnt_ 8;G+qq06/bfB>=3A2ЈH?HJ+%A^ToiaPWZ#W~-nͨAjVku}i(2 i"xzpνjBځCBXjPA y |Hq6&Gx]Kr'hRaϤԋBZ24Z0_N?$,mGDa :?cV 9.S3gBra'Lp5/;L|(쩐ңzO 5:x\@}g}uYPYIsɾZ*Gwna"9g,okdChk<&ϝ8q+قsRh< 郢FjBVtK!]us83+OO$ђ` CeB}QXZOofqO\*gl lboKt?}Ixi9nՈcsX`wrXŠHju_Y@ˇj"sYhDV,Y5%E|8ֶ㬠*Z&躽gp.)3o]Bϑ6:hsI¥i<= :^Udl8mP.f֪DE Muv t:{ 7\`۪%,>bї]uAkr2Ï=/jmu8ҼFd֡dB/$Iݞ{s%7JD> +(;l[264\zF~,#KG+?M"y[ve훚igP;wc{WġE`v~$m1 (%){7Ţ2bD4i yQZ&#>C0])3ƽ@)& 9Ztz2'XE蝄,nz8bNCqy]sx'?=V#tWn9wPJ\@&@!!:#1k/<rWVWVVc3 ^i[vWǀ.(p!]hbS;UnvC(Xl~nN,(ԭf*cTW"pQsF 6;~KTInEYac?w|ʉ[J\ !]]8zA㸂|,O/[ _D jw~Ԗp)(@!W>Ie:XΖz-%D ̓O |zaAPodwMrqVf[vh 0R#KXD} ؖs$J/^3Dd5AW\Px[5oWsPj?/V,Y zҧMT/#I`ozlP >aݛO۪3 %JEoqRgUMw2.,)%a0jSsEhe̙m0?uNk?9`Isl~Yg0(Ԃ:h}K$lT6 ZBٲ.JlN:rL *6fysA1"JR0R[WK0AK ;EF}΅5O}^ ܍͡/Ę.NiDYƅ .t '֨ppAШ B]#Zu=#b;2-ԠeNjѣDi8(h'F FJE.Ocl(j }|c-=hiJ ~빒_^4)$#I^)"E:۠tEe8}QٽT& MOP_Kǧw[JI-50-F 3aWTq}FJfNOkVA([J<9UG xz1%ÉMK ަ*]R::/WPc XnTp}FQ *ė{RlB|`7Fhq,}nRNG X@5#k5DaE{aህZ{.{K$~jj-R&ۘ82]ZςOSтՊ[ jF-0S]/rֶѻRl=Fr{K}_=ճ2"|6lCؽ8PhX/oaOF8[s好Bax:XqhEJtSM ;L`-=Gsչ4_<{lFa6Sx2d*M{ҁlF٧y&8(~$c`tVHg;j%fڻ)Am5EB}6=!Qc]ђ3~ţfFdOGo%!D$yt0lb0j3—ԋ^D Y 4`Rv<L <)n'ɥy[zutaf *#FkB%MU:}ڊxK+ rBSK1*BKeF2BH J.26B6IcSRӕCdkֈa3,&"凞dmVEXˏ,5=Fh[,u6MgSGGUZ阦N{жNkXQ}4xsZڠl%OM5od44Jlau=Dj(&Pgf 'Y#=)b·'Hlǎ 64{u D2u\< 8oU\ /\ K=Vaޚ#i\O22O}O{I80*bo$Rή\ ~\<lѹW|QȜ|XD|U*R4Uh3nATjPQ] YyV&Gk:Bg9dA-XX[H}YGH`=Ug}W=QGdػ_`" J(!AYڶ*dîSS L^۝ۥA"΋#-\)(k@:ן !_lNŐ/wɅOdo`r_y}IA0+(  ^ .cFt^@l ;xZ *3ch;̄ GKHcc~c.zDgP0 NBre@ &,"3^HxjBرBh^NTbSSHub=iW/Ujdpun.KڭTkec?Z5-P^}" n}XdxmUFIȤp>ȾaxvɭLNHR4)ҐquL\A펎#cN CEV2drd:Ö5=#Y>@AپƼu#LC sуڝyh>AMb85c;ڤdW$%.Ι\Zȥç;.F1vI8`$Vq}mLk6/`ϩ^ 2| ?VCRI* iӰ?2"?3UY 햼+գ 6YͨEKc:  S@e}pVβc7'cKOQ]FN58[ epM(dA1{' b*b)HFqclߕ˒v/)2a#NB*B`lY)D|_hgf/fAVW:A쀗WV;ls/UkXx*!|NFc?דš%Dr' ޱ4@EEg24# [{`r}ڔĤ>n,2 %YA2Ds8陛UQ!%G<{ W[(xyGr2`m^ۈ!X$3|%v&4DZiXyrCS' Vnau ;Tq o>@N+!BNP˃{6 nRaqkYlC/UWa_y*LivͰU 9zzLr9ڽg6,?DZÁW 7L )<CxбgYZ @7[% lIrrationality_J_HanclHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! /]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@NϧӝU#BKvso n~΂ja&\ZaR M0)rdz::QH<֤N/ly-#y^6 dѡ߅;^ (Lב+uQA7LˆoVngpU2nuCZ*JO!v;yوkw+Ynr`Di@%\R3q;`W ~ztlsb ÝSBs.䕣8:kN@(R'5M ޮ7Ve.>Ei'Vv73blF@:8i@@D4-(>籂O >5?'d=B(XV'l#Fk>i}"ܤg`T0w;kbl *7/% lIrrationality_J_HanclHOL-Library.Floatdocument.tex7zXZִF! n{]A-MՋhvG"uIBm5lk)1ƅ6l6NƛRn$W"鏿m> vFV&]$ ȰB&-Ė[|5:=:2a zV<\ a3!xy8s@=l|dҬv"W#'N5 Rh1 *2[T T妹"!0 ?\#?dGsu$7d6WO\9-dśۜfD5"lԑФ:8)'! wqWBuvh\=7/vb(աZy: %N:v`/# d=GUQq|+T rHsMD,i\M*C81s8~k4(g4\QK0FඏNFQWi,SG ft8 DNPm ΍/BE_&UH>P2 0_e{s_^6 |_4D/3m 64F>#3v+TέIӨ.:.0I9ݱ.ЭlB3@*xƝ a [irX8,aDsJ,VRvXS8J*-wА-v9zon -}Ish/ w[_«O`FqŐ;2aɀ :n؈q)|"Wi讀hhq|1]Z^#64vm5.wQ3=k/ukL+-Ç a?FݙH W xҸB8W2~fq- zڲ9q(|/?+uucᚚq*(!0#,Q熛̂,PU=}[zf4.EUcwjQ*ia]Whe ٸ~ ̭@VK&N=X+ w^$Tw ,Ê{1yGwF7dsn(!cUPqy.1ƜwHh {Dʁdr%yDA+Uڛ3U ǺkHxn(x2zHӴ.5v5X7 R%ӈ?3o;Iɯwd|*&Y B[a0&  "ee/ wQ2Mz;RUjy4V~nNDa@$\]KСɄ֒0~㘮AWhǟ75Q` H!T@{P cT B*mY@DЙ}qz!(u8_܆tu+9QvJ9; ,d@* -/-e kvj _e[x6Gd7]bHOXt IU(㴈#Q"Bp6 F}nF8HJ(_cJAjdYP'`W^hGeeAFp`Q?Ga52)aD<;S{;35_ꀍHo~䚔] u]O,Kz5APhNyA=Jgō]Coo|ic)L; DUՄ~L14e0Z 7OIEKO-b%Z_-2*?'@$,4;NAe>Ҕώ,彽ɜ\kFR)sph Z*BGj-h7W!fd;K/HtPF /]N~qJNU[\TX4~rMr \7k`A A1&6qτykA_;=Nr?I lEGgn0/9l7*5vö<ޅk5=md/~ȳ1XJtㄝ Zk>zT'6[^\ # u|wN gje(Urd/­*%l;0+Ũ%b8TUr5nd w8p#n^ 0ڋ${j:nNE˂kTN;#̇&~*x5mts{)4Y PI;| By2횔7L)kq`5S@-qaj[:HLEzLɺT7н2Q^̇`SEӑQ;1QvunCruTj?@Լr y&ߤyv>zdx.4tE̠D3]#)Yٍx7`<ĵlŻݢyC> ]XπO1eg86cVA[8hRBj~('UwU1#A[oq[DAoX_&<^NT5z9+ Efm r N^} m5%~`[`o'c$_!@MttAqzz鍎Te>̍T0kr˩ yNzɔG0g/ƍcyP5Uc~}X߳"}pg6q#3 sr(x<6jl0cZP/T. f?@ĢyFZ#3ܱԭd|D6?4ZCp*|[?JPs_+(Av!:8 -`_h£. !A폢b8=YLIO~I2~o}A'ghưjWsCk"?OsC < <3-󅛔KRR>+FuosyN1Uѵ4-6)Š5B&˟tekNJ z] EBtD<‚JUbO:(ߋ;;#v堶cp&ҺNE -ٲ%/u~ucխN x< fYM H?s"] w?5ţFs,AyG(!3-o8) n>mI''T,%(8r0 2,/Fonv^ FXw[SGLhVgjLQtg.H8'ECWv#U=İdT9ă HD]e*gv x8y2/57>wIVŨ#1qL̆94ÎRfkF7,LK}Ie<~{+bA$_PFf9 ~6"5F4 +|uIC_Dt }5ϻzNfwޚ咶\ 1Ҟ '~zNQ0W/zD^90+6T[O {UZﷃ2/LyԎOJQE^*5Ra`wW)$vVY좊i0TK><݉lYкELȘ&TlSC Pbzl畱(3汾e˷M 73Ev&hǬ/s{VGf<}{KaMޗ[8Vl˷\O:h{&+El^18Z胸%21'ہ`fY#^"C&Qߝyx G)t~l. e&ʞ]EQ.%E'Ϯ&gEyM:_3LJ 7hE F6d1Mj<&#<}.M4ܳm1gәHb2_=5 \<"֝!C0>{ޖua_7q}Z#7bm,{kyLC"њ|n&NJ~ivf~݇ Y֎ T[~᫭GuM( xI^d hBǑvSd\rsO4JC+<}R+\JhxURvC&DlwvCH7DNLc|0#SS"h:"M=Gԍ{J*4)JjMƑ9LvM:͚,Lw gK3\Mk٪ʕwP/5}NH0yֺٸ(is`qu|8iQ_9dejIp}p)Q ˿ZA5,eYݥwRf%$TN]J~gCC16:u2g{Xl8Fl0i푛Mc"^.k6XYױ˲Hvuk:/ׁ8Y `.34SUo)~A;#u7;PD:30H"/,e'l휑j o,]ZBGҶw} /(J#dB(kq[}ޡ=Muȁc|Y'횁V w@Ҕo|xָ'b{`t BhՠtEm8i%7ݩ^O d :VLʇf)!Wyc_y>VTÝ[`lȼ+l{4ĵ/{pGٱj:qȞ U#S_B2\CQ~ V,ł˄r<4s sJ{O-R>͸R| F /7>2m]B&]t!S^l U>m,o(>8՘S\v ގ5L脾<0Gm_&U:dt݂DF?i`q }Pxh}dCcC*ZaBM}T̳4RZխ㓁 86))zlz o9 t}pڰQgNސ-#^wy^4/>o0n*?.j,#N; Ɓ a߼$,bvۆi\ QZ… ݽѱ\ܭ԰x$-u_kąRE i8BUa8ແĝu2Ց5h{OG?7;̱S O.6c2 SsX6HeO׈YZ!. Kn4*JZ0B'իyc '? roԏꨭ=D? &4ѷ s&)oJ5ww7*V>i`J2nXJPc:k!!P:Q&5Dif}\wOEM"lчdNbg׿7i. ;XXJץ r㖘kw>/,!PC㥋x{E]4W 8-N]v{# yQIdiH*mOmȹC-~k#ol"#Fa[.V)kz̝bա@\#NK#T}VH,j|!m u\JnO|gXS33s.f_$|>7s 2r3?'J?Nev(*'BV{Q\>cAB%46u^}2зa~*8Mԃ!?bHV!#`)ܛ_z_W!'lZ/ 0cErX!B#ĆlPq^jQ.#?;]$UNfrҰjG3Z M{ 'հßP- |ԁB{b9LOi #p]xwu7|ܤ5^g%Waji^"NIiab;x"v*j9nc\v 3l3B3)&v> _BɕTо0Ŋ8:x7A ΋Wi6Zo܄qf^ 2ceiTO9Q^Qzq@%%|)^ 4"64YĹxT@ N3&LHDxq֣r =qW2a@Aj<U[oЃ > bI.+v9 k])ԟ uA :t+9!elvQ8o"]ht7Qݴ}*e/k~5 qM}Gַz¾Rn9X%) /v;q5ߋXƌJTk5E&=(fCUER p4}Q@G #(9Glfo; _.E'T h2NZգ(6dF }wRAGА4/!tP/@qDKݕO08oh qF`Ƞ~V ^։Hhn$4[mK,ؙu_h51e>h9F,expja-# Pwj`"!}3nqNlj bb}ǷSpW_Mէz#Tұ砄`2]X7xIV}@j E2Q'ĵ0D`Zږ$5XYe%@ҠHΊMC4ŒuB_ JA4GH(^5qbqFm3 "n6u,}UM"G(nj nr +OجT*@O m{ B"ϬBV!CP`ʟ&חCar @tUp:onsR TڼJ!Yn<TidUGdܱę!Oc w?6HO`l& %uIC9ٹU]p@A)y=Aۉ(Sگ%cʳxD2Krgy&<|^5DݨWO8n`x|7֠ #O3(KKc_CwlzH7' I8h4cl]^>^'=En4`Ъʚ pUS\bJ}d e[\EL+L!"x#ɐY)DqnGگi3e&Oroz.}6Fg%mr RYO]K02.Nfp 5OSO\Ľ.n' uOW&Ժ?v%*w]J,A0N]WFt'.L,f>2Cy_NJhSqq #!zm:(3keIWZB%MSI$*)V3uC3L$zju)uR89yYiaPLYQ!凄 LRgdN1M > w6ql" ;/c\^ @1fU,Jc:dX*ID#R* -`VV͋g=vP8m0}LJ}c_6Hg䦄g '%6yU#334Nжnr.Q(V >Ui-a-vQ`>Mk2>DUMKxn̔o_A'Va$hH0T'Tndnʓ}S!XGyX 9WdK9ުnηKLQ:&)Y %&QV2}Я VUz$oQdu9*<SB1Vb!UmWQJxqij5K_~tB\Lj{b&eKBBA TLk{GvcAw m-eA6RoYV!CW~GJu-1GP T9X"/,S Bg`oAdgo7qˏGۏA4!7Vɥ6ƀQ<3#Mm•ZτSX*5gj+712""2e+%EHJ2wDXn="RŌN )0 Yp؄4/L>맅Ւꋒ Or\֖'/]|ok=6,Z5ďMZ9$6/ Ȉk$^z:0{@Dc/_^i۩;-fIyg&F"1s4ŶkR1ŴkR8Uoo Z2F_q)N/iТZyy5K hϰ.RcM$filh+76b }Jr/ϫ_ENgYG{26f b%"#IE.A|xX"^5Y0d,^h7$<^j點BEt7Q+Ǥ)*f Ј{;Z"`c4p('\wi"|]/!mxQj9kG>W>|_[(=)F:H 4_0GPzq.": rmF6DtMP:sQ\r2vtJx6wnWpm\\Sܯt I^ ;/Riܽp :Ks*cYkʸ1l nwTȵtp)S ˙_/2TsH};6{O33ba;]U/0d~W4AʦVtTLK;EN3W~ϗ3*N`XR,:u q!"sk]!UuRo$p@98'wTe Kb{ Z3l6ǡ\o -0ǾR皫L O抍s@BrM"KoP=|aySE|Hwl=<\5Bw<:vucsDn>1vcSdoŅ>w- WBI>auEnp@nQ#:L6hAJuIOp݉㓿E,)RV)>3WLk?jG]+C[]86ߑ9/.sT$"z'':T[PU[քȦ u]b$G ]>5}zy;*R|.X9_ ;!iAfTf:g|;R%8Ce̴<>]6y~1N瀄0l }n5Sn)bNC5$`_vjcNŚe&ڿ't[؝ {sqEͬ Cw/fjבM52rd|0m_pO2^^s$=ߞc<*Jw0m0rA24aL 0βd8eEjxY.wʃ%.ܑ*7Ȕ nNP ftā-]-To5Oy鞚-*{ARrBJ(Za/^ZL E eLϧPme^vaouU.0syn16IkAF,S~tנ:$-遟Hg"0*#ԃ2dDJ_UQ=|OOr!,'4$桜 mT'~nomV>X 9L8ҟ9ʗ9 p +)po x[RJ£PEi4H\L֪;CL,v޽Ö,QrWce 7GXLR Dct^ˤ#F;o5{uאwA_ Qxz%Hqr1+NDuBft9i\).)5WNE>טӺ]Ta};3Tv܎ \A^x vh.w6:Y8TyyauCbrwN挎' 6%HҎ{hPgߞ})0 {@lMY:XZ5}2g'/^J[U@*UZ >RO]SVXm0]6iK?-ESͮ.B+j>8R#M]1`h]k.<e(ki2(T|}DomY"~7ql'37| -_q"43p=0.ci_锾xjmϦx?,oxY8F*dT;xxԴ<)m115ħgmM&QS*+'_-oX?ԅ5~MrtD^KX|rhs|:X&gV8~cZF3(S xqTD{=+ 8P᰿]b+؋0%>"\yDQXMɡw`>:Te۽Gofu'mCsú b[DcAD m.0CY-(iS=tvz6KZ%ƴ Ī<THq  nTH^FBb-.Qs_K|~"N1`efzTt ٚP3U#!%Y\mByT34p",K B*MmBgEd@[<EnV8F<С_]4p5KeNL˝NB=_]I \ |$qK[]%}4/,!xH,kl@}+l{鮴-Ư907 S9s Oh>%~!omHVhu;j \UZ#(a㡸] h#Y~D&z :Y*| z7&7$ގ-xA*O0tiI,x(oXWʫF;B蔕dw}13#":;k =S?yMg"!YVزNWW8H1t{ 'v$K %T.D689a4=DdxqZ/#ƺ yekcH*Xzo.YX o\3vAx ԻX{_s!V5ٚTw|0dt~/xCdGTS%QHSJ v]ֿcwxKg#DbTNMX9 1bSB l s\t ZbN,(=Vyp+57 Pyq$P;Y&]c ܨwˣέ3v͏ pf`_Ũh&\>! 2IT|)Ÿ5PD+p0p83rצ/1aVogG$y*=J'\K)} fiaô!cB-'5n_vP=  xj'gy"<2P) ,RCLTIr|-@+| W `g#,(š1p:JD>\VPXٺf-i9O!<\tkf${J[ސ|'9( *{YaAZ~pcrs~C$2(e6)fYP|E>2~x-Q kI%dB))yHzN`#tor4M#5 9SSCY<+6bH!M \suýaܪڏ%NҧXl̲1a:C81;Aa% PEݘ6ZeR@6k,eq^W ~FuٳkU_ *֮Z3{ѩL2G}e['N ϩ p˿yzDI?Bޜ͙T{th_d[(727vs G0b^v{T$/ZV\w}?xҏḻgYZ  S,7c% F)jKx@➏ڒ)լ4҈ȴ]!5n2=xz;.}\\Z~?}9ΉUmNE^-|H e:oITN5UN΅TG "~$ؑ*ht;w;?Q-?f=]rAMFYJ W? ynnià|P>mM#Rޔj@ w޾" ^7W>=~+frGbxLazz7=M &{H2T5zjiz"-rMKbC*1]&G |%DA3[lXl50_Hr!$-zgad^ D0ݣYpl#Cc7SfQq{<}.´(^͗Fn =mVsfWa TWyR[T΃xL7%Fcq4cv̐dhk ]ܒz1AڈZc]+Q0n+x(n7JH ?cQ)َ|]n m?(@<,tGa )vۇ'TiP9(&yzތBtGTJSLANjL?|k+37x&h7ʓx]du.FKN_ch IǝˆDFO[/o!&Z<-b:N\NZ]EU\8szY$a.DvzV}b΍: q Eg.P!I R#\'0,ߢr+g},i“ "7W% $Irrationality_J_HanclHOL-Decision_Procs.Dense_Linear_Orderdocument.tex7zXZִF! 6 ]A-MՋhvG"uIBm5̛֑ 0I8M\:ggkòkH MaH^]wx5Lڲ6Іnuya"\V̿x9iu7 6d t8azv:AzLl if2[¯]d$t,M} uUA؜41Lc0Lچnv6g<{Sv.$඀7W̓$GƳHG>C7vMؑ IE bwIw)'[nᛌą&VT@FZ7~ sV"\g{ 4;5!SP%Z,K݀%DFϙ=o. э}W|$~T咋~Ԃ#@|@o} . `ٚnց}|iGBVٔ꘿tCNo^%۞"+8'%9ϬO@ǰNQd-ݍD-,&s@)¾ 6 <ryd,%DvVl%XGC~R ob6 A}0T6h80} 1}oԝ.yՎ9h "=Xg3‚;q,;M,9{HS*'k:&fqбc#_Bcp= J~*=RSM3]IMR՘4Xju|Z笓Dz3O2ά Xܖiʔ\؎$|>u:e4B4Mjɼ_);MҙiѲaR|,žBLE.ItP wdBMS<&/^s%J7W_F짃v* j%i,Q+9acR30SBW鄊AHjqW:$"SY%uɹLNE)$l<:!> A> + BD@>nx T N&966~Tn3cpƽai-* Nrr̢68ek)s8T+ukBc7Bڼuq# E^ Zi?M=WbqK\G`8u1 P\5:|ϖ(ek2B꼴ZǿM!hyF"M1镖%ᘗ(KӄH2u8ΘyY5yLšCxs;{quL PdkyjDF3Piכ`)Ԟ3ƅPw11벁)3S_fܳ΢a퍇 G{Ѥ[ eZA 1>et͉n 7LOGd&Xu|!&=j@+3nc4~ Ng~ ҹ*/qp㍋P˗nu8wή_c!]f:N !ؾf4*nZa~LL{E7Or!nݼbj 64hA:[i]ԛo";~,PZq#@.)ԋr25#q?'MھP>ʼ@-.ykIt:'Xl"**@_%{Wn(ʆ!N5gG7/JvF[r[:AF:bp44oL^X,; 9 Eks_fEG5d0 ,^T5^ (#S;L}F8$t@)84#v 0te:1JNT.,_~p1zeCY: PI1uzq,ml!#ѓ{ bxI>}L{UR+p$h L$q:"C")ǭxN}%d{E 3]v8۬fNnQ: Ez^<0F:-s&;h`(G 2p$"8v7PlMnz̤>Lӂу]*]K=9aLU:kp^}!ܭ63g< Y5(.!MǛ!mˣ<:J;q- (c6UP\\2%e|vo:~C7=Ռ (.돐 .^0fzN8laKjt4ES/0>4#Oِ~*jFת=R>= uZ 6;vb ;L 3n2f) TO m҇]%Ԡ~=nUEt~!=k D}#TDPanݘ V_^(;;%GDٿݍͦr=5<&D|ǑRvXFuͧTD>߃TNA{v@A̞ɑekY y|?6pW||LFu/a{ztQHh1Kj=&ַ̏m(r}$TL+*<-GA:_C׸M8dEgܠNa 5;?>0w#5җ].nڅ+[5a{{^a\:~| CdQ#YrYr{qeJvYS W-̉.ս;+JEnAc^%5\o]־fÛ;W[m}qLfU:8i'bhE|&?$Bk, Ȳ t|}xS`KeoDqS"JյNxƏ/*7'6fO$d}OHd\àb:(>? : s",/ Y B SbSKbaϜΊwq~0ܷGK9=T~ Ts䓸Bbx˒&G#V.?=n4VD0<򙃲QDNio9 3/.l$jW)$&wնY"fv[ #լ%$.񞃾ZHf t3 D@QDr[ "LRY +XoEfxΎ*99ul\_^{L33%_Xx%C/7q*B8h;4ďjYyzwGXOSALؼ0VP@ 2!TvMzO g\l- V/ng͡˂veE3hy̓"~L(_'(9בpVjT03c:aИ(p>A^U[I%H.hΰU^>^>{g"1da ujv2 K5CBıޙc9FXF Z~".% ,l/$m&AL[Q6qVmhgV LޡD3?KEyYq[r[Ri쯆"ז&TΗBOj,BH"헂P\OʡF SuO#qZJx3e"'s9s\7twׇ<#3m4{4C,Ar_.]^?$]6ވRcQp_4ܩ-aYŇצ;J{6fdࡗ4Ds@Q.+/J 5t5>p@! OĮ~HтOg UFălY*FߓGs/XBxS̀ -fIinSOxZZNV0oyױl2ۈÝKL c\tzkO<<<j6b cҞ>|M! S@@ $T=Z/0%a'? RFbg˔vuA&DA]5NbC1G2w,vͨҖ0Lwvٷeb/;G{P>d${t@[}' #|аa5\X3Ft%*m} g.K}إaĎSU!]4ϻz.D#Ű(tSbuXu0PĻe{ pPfbtQR܌Vc|QD=e7xT/_ſ4/Ė4CksB׆$RThQ\upX9 ogL\lKbyA6/ޚVJg3e̘G!VgcԆR@ wQଉ(@$/UKyi-Z%hEuh bP`55?4 K|%VOpGMegNu̐be)W UPxT\I/SDT&y$i@e-VӢI˂a bBONYo#|$E򐱳,j{3՗B4]Xa;zW RwJ[ᩯ_>3% PiUErQF$ Xh/xI̓LpO-'JOaLx$koMs pB[6ssDEKss&ɻwp+pSVC4vSc'2waNPsmTDM/!PcOy'>Sc84B[ݯ.1&ɉC %Aa7J*y~7ⁿ't,*ׄΜBXud:*(5K|G.y!c5ZӳI7WfT q0ST"e$dX“5yeCdvzq{63{뀣3rpD>eSqDt}8]f4A/x\ʯ:MTIWOy$4[h)T߭ا=s~퓨=1ݹoE+,`cq`H PXE pnzqFEm(b58/7h~r3W gx\]M2kE`‚T^`?,~KO"/UW-s! KEo1_oۃ{}MeaaC 99G#2~:2~HqYD( I )JnRKMh]|zZsDnP`Etm@l ѣL4%4eڲPnŁ'Tc!aU*w2Ycg4[3$٪v|Mx o*]&ʔ/ͺ&6M¿=P@:a(%^o8Y #0MX~Ba4jlG8?&JPyvi!!|2 m*E0؟~>M3X5qzA,) 얌 t 688'Sdoi7`quQB8A}5ϕ%\gBr.B7~Hl^wԸ2\]t;kT%k򐶸uo*IPH$O*oVxA Jw aN<12w5+tFL4v&ɐPGSpB !`ec c:($?ɢ<6t1{ǶꢡO7cT]c.Ũm yI+O$UT3/MW>z1yN CAVX| nloe"=oh#o`lr IL'`w!Үss! ʖ[wL;*"3VPm !@.Xi<dE4 OL]]9b_ -EDD!ɵqE G# @UAv63ZB ̃7lU'=JM{p|׼""?!hx I|,uQ|$ o_pf( g1E6$D,c)>YSoJ"m;t6 L*AFH=m9^ДAVr+)>O4z5%;X\(:ׯe)6W׺y[rHF^T8A]Wm};Bd&wY$tǺeݱU';I=Fh # %ޢBw2@@aί TWŚ-HÍ_ȑ;^M𺜅saޢuͫ]mr1 Evc]I[+RVWDM-3 Cw%\@Hs<$q(ߕ#cUkN/WL22ޞ]:Rʘڗub39p:=Ȍr0a jn\> )5`N Tԋ(͍!C 7O@Ol*s(nT(UT$d"͙3{A6C yM|FK[yDLFnk̅ou-Adܖ*!GoA!ǣtn*ܮ'kW)@2WۼCj\3K$ &1Mvv?0=3aGk2xIY{ ($Di,d&^=#l`zH2pߞ)c%4T,=cInҽg[ Y`,E\rz$|JXlrKF*⿖Y>ri?hA$>0(Ea`+Huc k绀 N"<-Tg[iHCƌCj"HN׵kjtQI-Nw'<ҡ+q|z''k~oBMfk'Υ";$6mSsϻyaD}>4RC&T> |<( /nł* ֋ӂ:INd{u͘$+d(!랠 G`35FW_.#/zgzȸN'K}\;9-HM:*b@DS Ӆ@^8pI& q#أԖ_Ij0kƅ۝Z?UҪ&A^|ߐhnHLIaYx$^_VKUˠTf,`Fk69}7{CT> 4xh6c'%^9\@8\uC0bX4Y )juҋ{KqJYKw "PdK%Cv"Uݢ2׊|GGuq e{5|bKTB mmDaEna/ԂqaE|VU=3q_B>~Cކ{ {y(;lۧy=b `,ih\Yhk$veowyK Ėonor""y>+_XUn摏h,s٥엖jTmf~#A-8=dòMA5nnߺmh=n'!np)lH^CV@pK{ǝDO3÷"Pwl.3trz 8R&m8AiH*[CfDWDLݗ x2UnCGuޤb㰗y.qځ,,~h),Ҧumy=@>J/Mcy;`73;HRV-9$@򳢼w? ;bP!UZ-T%6l8vs)gՀLaػUGn3oC!p) amgEvwؽwRu41qbpG 9[;ZʀZ G=_r^)5:d#2)x1nJLflq++Q$8 K 3f6`[u)ZBz72 P*Q$I JO?7(?ؐ)cI*oG]L&vaX 3[CiFLjt,aR"a)r-Zl`m/`P`s9y 9kJ naGy;Y/n֌"!M d䯛x$ә46ӑWКVqfv-NgC APnx`cxchB2[3g}97= Ӟծ+>x`<.|ՠ]K9C«}CJ*L UPn}F! K7T)%,ŶUn$Γ0Bh1KS_= z7-4OJnhQ<]ny@O!S 285l#M m]mj+O*``j7ܟNz(ԋgyk/ OseD1k@wjqJ!'KuJT;^~!ܧhKB& ftUYK$s0uZr^|Z}s`OX3e|k"\D:k;U[G'h *8xwX=Wփ8f,_oMphk^̞J8o76e:^:W3$I7NpAײ8R,X~? }2Jƨ_*safίsx7xn.ư6#z9C&ftXlҦe4K HHJ66u,H-nG鄣;yWzqY5R9:t _{Zpi 3CehF4ڇk{H v#1L.N4 =$NH2v/5 NPX5(|4 ïFB.S-})8#Pz߼nSwu)@50Y@-8z3WM_6KԌ.96z*їȍ-RVp"Iy)BٮzdK)wHîQwKNZQzolh3|eRTHKO+?Z*<$ c06 JUIj5mt" ~ZMc@$UD=I.}6ST+=' i&4\Iw͐zcDFW+nJSa;ؘBp~{:x /d5Xwo$Q28P#F$9s%i}WwϤ8fG,պ1_BlߺgcQMd4i-Am*s1->H\As#.]&| Gy8PcsQ8Ubg^(4!) >SU.(3/%t_Q "u—ʢ‘"s/|g@bڣ!.!5Y}APc&Հ̭<4_,&*^rgr9uQs<؏$h\(j`8I][%|:"rEö|q] 8(p->+Z{ndz~`7zMfN+R)9p'ߘ`]WޖH lm' ӱWgaeN[_ټ(pvS#[^)RiDI Đڷ= d 3U*8'Wnbb^(i~'r~̈u⢐{,nIR'N84b,#N8ָ{Ox">X̪;<ݷcbB|&*|9$ 8P,fQImh GϜl }{?I'GVJS7h=nYk-~`Sv&DE$IǏ챳yQvb|^ zWǺ*]~/wͨێ~!sm82 F@I=,{B)|m㤖g6.;("?)Yu h* `áC.@;)Wj͑۬VkT6E+-t>vhk#=xOE<$VB7V6Ő -d T6\I6=XΟ8k~/W2, T=t}P6@sQCSmGb 9ZHn\nZA O6X{ҟT?յAkK:2Bk:%IȾt,)=`d?3 O_;ղmXًw*[ݴ"On@/eWI`DE ƋՕT6.=9NoU?orpaUfsϠ&r"xA8NAY?doa89z9+wm􀮮мr%w58fQFqHt)靶܀F0BDVD>R4TF`gO~7Fԑ7^ ީSp9Or~K,@j|*z]eRݽiс|vJ=m@κk{tj.^{wMT1XՏe>w )a}51ow]nL+/ ѺR7r92%TFivqkTW6z9z5 w^DTb{sqۄVA+dmY@R#aKB #u9FE:vf7hE LG h&@G!\?cj5*RĀGɪп<4dra3PɴNVQ04 3^&"}l'A 9`1@ U8X m]%Թは+- F/~)N\UQ6 RD`qEfK/iW%w2ϥΘ<'O_jrV}I+q  xO(yT >ni~2OD64g!Hwj YԬyN7_o0TB\$;*FS5OW rld _5@;Ԉlt WK F 8K:5}l. D/%`k \Z6[K\qxSũy#\Fpv1zs|K,  fݍxԕ!$lD8݁_+1.fcܱ1xYqLq|$hɻ2F$PZK)j4! Ni:eܱN4j N'i5o 6kt!&YGT20@h o>,6/S{Ub1I@m`wG*rz?/TL tL3ߘBB}QMi =Yv (c=P܊̍oh[0<) n9bg?i:z㍪Ă A,Z拰$)TiSëЁ Y,Lg+ɰ%%jǽ/2sb_p֍zmbаz p|E)(ZQ P꧚KD{餮ŸAc!eg )%6m@ͫ)UBR#ȢND('a4x\)%k* 4jRTL(W=ozPJ8'{/3LmĬ%eP'|8.Or+3yD?ND,zt p\ 9dے3]! ^*{U*$0_mD/Z(pU|xkYMɺM6[zȰ˲Po+a#2M_wM -gdl%<٦o!DC=]8o; ) NH{eD.Su5aƘR p}dB]{8p GB2 091C.cfӻLxW}4UǕDžDיr~dݍ#AlE^fSslǺ6'p'LR_S}4]t^AfF.47R.=Zd.H <[$.18̠5J#{`Āi;Z`n'W~"cPw CzE.W% Cr@`}:; OnVqzQ`Э4̏>On@.1g݇z1 8m! 3?TS $Ds-(\-o3=0 w2QCz2+{X)Quoe~W~p\c96 hSS4ߏ>& N&T"ș8ffUl˾#!`e]6L;՝v~ _ԍ\.pE*FP(Y`']'_=G&夜,r[4cMpEs̬˥_+xtwؾZ01Pf*ԡTE^ᒆY[I? chTifы ۍuhasQB%\x]p3ot@TA~fߖJSmCT~xқVə2qi1˲"LN=ʚPg>)" tS(VGzXpj.AQ\uTIH]Q"Bͪ>&;7B_C3:¿Nt1>tDZwW۠hIW߷H]}k=`O yq=m0D̿[Oy$vkSZ@ǹ0m:N ]6ΘD7n nD`+CpblTbz"= ۸A`|+'ef="mg/V>)\g1g&M=QuӴ,5FL Xb^X~\il$ diIoJ/e滾vg_$Pׄ1ϔKyB*c 11އ7 ۫NeLO1RH0dr$apzz\9|?; sV3[xof oUB\񇠤/0yָ4chr+S=pņ!t؏}nuLE/sONF.l9d'۵ #+gfI|^W*6US uT$QpR#><жTnz<=oÒLΟ?-e&?dԉ=eR67xZ-LB ۻb"ęw#JN'0 1`Ƀ'݄_,'Lo V&/E+T$$ %U2`^FqK:)w[UL7䤜YRy=e p)D#RۯSE@N1{X|Lxx7Ķ՚ @amdu'\\YX?AP}.fSkCxB/ۄ&B ]|7FhfH}VՇ' ? a",0juAJs-[Zo0Η)|d;:"R[AeIʰl -΄^;M [JWp,G&}YN%v}AWsBdž UuO\}sؒɓShxRZj4 V ]bպW|a emxUz| ,_ƙrზJk]N]ᬾ2q#rD\Βlq-"}vUIfgm#ޠ|:3qlN!RUs/ j//@om,:=җ AV/ܤ:ssŽqkکTTVQ2Mo y&6>``W+־p$.5k}Șnc΃ *a8P^Q!˔d Yd}N%̮EO2K&OcIG.PB>uw8iqoAI"3O L4֝g:ZWRaG#lݿEJUӑ{C;rl/P5X|MNa2Xz}eAdznX~{ V|'~ Re(hXgz0LS'c'P[`#]t.`xht?0}aQmzDYYt!3K!O 3%ݳХ1M)}8Wg  !?vUw?l/ǚդ*IY3bEc4,#Wx+57䠣F  /h!NҞ^0i~oVINӘDHچ[dEhe0RGz ҿg l'JU"%.8O>Xዙఖ2aʯgkpMS{gj]Ͻ~2e|>_c#V\SA8ئQ\"(q̑d~ gYZ*'L7jZ(5ddf pT~dƹBB`'gu= 0 ; BNcJdL"Z|~hdB,U=@QÅUm3~Uq P'}*D !yY-4ʖiƴ5cʂp\mJp2D $u8'4ɪs Ȇ0{·FԜlp~ކxOE]W~LNnH*7',Zg4BNɴ>!MӬ+p)6ܟ.jYWP] r Tg)B- et#AQ{j.]p{k|݈|Ś$Z.ꥳp$(n{7q7U4)_5gA lBLqȳȗ[꓈&$_XfYoLR(BN/cdi-OrS&+AQ+-ø>EQ 7i}?eE 'nd.f53G40;~}5Z #7HPOmU1:'贬P"ֲk#v-nVFda pH[Mӓ rDb\xd.bڡml =J.2y􉴼S`4Z/ߊޗ&N&wRހk7RcNGkT=Fޖ\?7Eԋi`~^/JT&q:u)`7[vjĀq2&=`mXespf( 3I%)PVQKVOx8FT`+N]PR+gxk)h3R&Hji%y0F n^]ʛR,Xwz/7Zpf]X+_ 8矣NŴ{H囄oQ01dF6ʣ@\bxVPK`Pf$ ~g̒e_et⵶/hC*yIbb ˀ xLO^ȭ.^XF!p4b'f G"-W_[0Sr?MkzHxc3QHkO| I6$4s @/ޚJ|^}ȥ8{%0 \YA=*{Ld^b/-7;^e wr9Mޣ`Tw=ǔڙܙJ،zUUnu x/{[^Um4R67FTS />LtST{^m(ARrs?E쟒΄H\USPj6`jՊF_uBKF.er!oTAPL0Qj3 6xFڮ* ߟBTi/‡ew;J8FrЌ"u4o1{0ݤ_*:I3žĔ)ɩrVA__;]/z 6U@teCHiԐ)|NԡH atǂ*u"fqXHlqA2=jDZ -~3"r.ӉlsrP^o.Oi#MJuvdH##3נcfb:w8Bխ9otmhjW 3QGc<> wN#n|l\,9{Wԃ=G-hB}4NC'¿fJbQsu`0x//QN\.t + U#|ERw x+\⭣k%V5qt~›VbWęRˆ olsP7cw5륚iQy҃i5> bAgY^{' GԢjD9" +qH@NB*͟e #Q.6gnPTzliYɚEmau$|0HkFM=s^:1[["Z/X9F"H9`B6l9%lA f+:~sz?/`FK6dS*Z{ϗ46uwxYwuĥZRkGfx20j1 o2SU1,k|:Xmjɢ͛9 R>0.ۙ,x~GHtx0{B,>ן#[f]Ѿ鯿H5NKT'lqa)4gYZ  73% $Irrationality_J_HanclHOL-Library.Log_Natdocument.tex7zXZִF! ]A-MՋhvG"uIBm5&"w8HؽC3.UwTO]Uh0JvItQ]w}n{Y@BOAW~wݟI _\,WKFX(hL5˹L\N |M纴=krf? cךAJqevX>s2R6X'mC毗OJmE(8yٴ)'bkuexpG EWe{J)p!X] E[ݤ#^D&ċf`$uR埘ז2c= ֝)ŭLOY|$+&[2D[l|Ww+SG ;VKB!齦ԍ^0x)IK 4r 2w R$I~uD$qF?F=\6I5kE#*| %6waۥ-r;k)Ć:A z+H$tw%bt܍X;_|Cx#+`[*~BI1' XxzCloR.pd+neX7KI/=҉ ߹c+:=J-ƔJ.2Wyo!`b!ixn$.ɇU@ږ+\~pNnlI x@ =A-@@=Npx6 5ERsw[1N2lBrI1z[=*Zb23PK0+T daBـb]Z'zb$B'Y^9pQ $]{HDC? [C0NJ],pɾ%RUQNB.'eO_J m1JɹZP'(U wðwŇUtUQ!u8`d-aI"'YcЃ;-w`ntAґe{zvl0s6(A N*L]årqc#Pq>`ɃrX$֏ʂNK<NDϗ))A38.{ }֩@uN 2fS/»ayuaOjey qM+,H1x1(;/-Fk0I8)n`eT(8snbty&. Otˇ֚dh%4m}Ma?9!-Cc>XS5Hf Zt@;yZs6.M(N1`FSLFHmFM "~j7x˹;(z}]C7{YNȳ7J`+hDio{쀄lHcZľR_WkfUzt}Oƺ·DUɽmҞgRgF Re'( *g-GB%@[ H(LKү|:&Gj?,jt9>}ӧOS2p& # &a.d/R#iC[]p b/Qj]0MJL9@Ӷ2Ζmm@k kYN+īoC¤Q D `ihOrD8bD>(j6rꘑv ,ӗ* A>LIi܂'ŻWUSB!΁ s`u7;a2iC'辵wD  gCoYTOAVQ[W Tŏྨ6H~]sB#GO!pG [>s1Pn$<:oՓpz[_TQ"(.X^](?_6%zi5+3q3dũ.v ;Lp|e8;>sky[:[{mŔ5jDq UBBW~k5سwTOc 5_X֧:@(2GŕtGkl;FLWH ~1/R}&+_oЫ$=9zՐ7Ɂ4֐DRAm2a4^hqcрy̑:O 3{~0*18W-aù\2t{(3G4Jxx\U7J&eAHS.jǨ[69xs pmChWPd(?v]!Iy 6.4y#"G:Ԕ^w>iCkLT Vj7C[c!OoOp̕(xU`Xcn~CISlSKGq&HbtZa^~ܭGP69aqT?L" }9ιe,I SbYQ(KVb2ǸS <[zá*Ix\Bnb&JFxFR i3mJseYU0wM<,mb"9,ca|Ж-p6sw[R6cc)B4U aUVпD=:pWӘE5 aoV%)7}t:Y!7{X~ǮIջUxTn>^eI\xӥNT`.i[)BxN3 9"&FCL%*ЍIQ0x]]&+r&# 압甼HxAJ6\=a"Bh!´E[>|s}|ҼP~(]O[R?{2 ܾt+cV=+?HVs>Us te} V9 z2]{>Eem5 8(Yo X|q79`u ̌2Ý*mb`]`S4t+k,;Z3!\ʵo:GA`҂ xLċ,_ U\_ ! UY(QҋZŝm+=VNaWlvg? {&=e:EmH9:@KHɉ s f51Vd%he5zxo{F5$uQKϬRQ jJhx=Na;hbnѶ &;2R*Cm9vn)Jd`DrHtVZqר( x4\}~A)}yVPT,:.۠Խo_IJ6v(L]6WFW"y\mec_<|N`?Gb[JPp00x}%5WBJ i0LWcߚjbb@/ I<.{2{_ j-8㴩[zD xMlA_#YW5,F3QGLZٰb5VdaВ8ؒJ:XK9WjE 7Ni8#+Y|k YBfG;Ze]aQ?fgYZ 11D7E% Irrationality_J_HanclHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! ͸@]A-MՋhvG"uIBm5gbP\8(iQ3$1r÷t& slb/$u_!=#2og.}]Enq]vY8+ g*FѥH*IG d]nOOxJ- &Ss__v0gi; gg66-܌2A9^=S0ζ^}cG3;n@gW1.e0f"D6Lb{[T?=QzӭTsJHG|&_,?! zlx6-MJry[&?}!H\vQ$f0M̄fJ& Bk\m<:[[ wri6CZ];MzN~/Y*%Kb˟]\䈃 4XP{$l sAD!9Zf25.cY65Q&+k%h+C:XKB-2#NAdAb5A'6S aĞE<:D``zY= fP;e΁ 4X4(&4I9 ?:9?~?C0#ѦxqǤIB@]u[AN{s`4#esߡJs%'J"ۃNm;hwK#A:6<-9[N^N3m 7p:'ugemzpE b"js_ŷb_\d,3ckDc@e-B:q?\F%pa涴郳6/"',@8gQN ykvS8x1ƞk{э5.lfq+0-x?3_qL?s ch+K?G F4&$zG_AE3S1RR5 R c bceqqG՝ He‰Qo"O8ǃ9i3U``׵xI_+GL+~?0ygNC^1+2p[-ipڛSV4!DD, ū}gOra@H h  V1ȷ>į~挃n.Tj~P?0|avY3bg R{s[ Q̈ \̵M$UO4gᖲp.gs30 j= b&aч )|<_|?*a iɺP4䪞*̼rB4ln|`ɐYƺ" *|T hR(E⾧%fV@!߫5Sf5ͰGHd]Ԉ {/a*y2TJ 0ίҊp3jZNcqq ٱ1}vC=Th9`}_w|K-F`vVIш9TjYڽ>4>ӦrܳhY) =|\'=yf]\ hv@~9q:!Wvz%DhPm t##@M{Tؗg9Ɖר nTN+.5CqViD KH_U8?mbYA MQ.v%KYs/l-Z6MPk*_M'k;r"QDNIo3Ig{ƃ”j dĆX(q6Knje1A05: ۶:jk)ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?)@& Q8|墄Mp3\>v}IlU@x@#\Q$Eߚq K %?Gی'&ٟ?r b =FNl6ɭ T"N9HMR3\㷑 P"3q.4'8U٥F˓\l~&&tuň8aLY@tu_T]x&>O¦NDJnT}:g,Sà $TQ Qšʓ%$J)0.tŚ-H6Alp&k8GL[yvX}@ _MB|e#$EXeaZήvJʾqQPZ{Th٨cd=#;u^>?f2 K`{}"M?4%_{^ї@,ܲr&{\U!lA&#!iy!r-&[kio??]u NSL5yod^HS9uwHpbAK(?+AP >.HV3 \ K4d,dIO!@r4ɚ ߗk[D̑'Z{Ft.,10aX#=\~$4DVS cq`iG![zp)Un3Bu &@!j h[^{NQ+S7hؽe(#z:ZץID"ҫ9_#q$GwQ(AϯZ(SykT(ν#?%KsTK7؇g3Uy w̵iVc! eX`l|[ ;&UPH( x?fß"Dr2x&(t;/r'<{~b'[d!P^[x1_PGIcs.Dyi=ncjJ̰lo%a?bAj.V_;( &sNQ.ͥ*s%c$` EA%Si$75sHmEҰġ[3 >mj7@yx_Z`v+bsa<@}1F-)W8:Zajz/w(B_xѐgJ{[WW)i.#*0 JU8VGk*`fE2F4y[Qc*-LSf v!{?5WGӢ>JSWrwz=AK|Q[]xǤGiOD=>XP& Cijμ0j, b4OtDN9s6Eh0_|(#sK@ڔUuԎ7DGgMs(#4 ce{%n:Alm j3 ЅPZP8mpSr7P=0 :|w7Ņ`sO@)P& #5-bD WWaF6Ec@o=u!ѐ201lU;XɮyMnvN9Ck $0/vŔ4ck 2jT#w/*D56z>TTZRgYZ  7K% |Irrationality_J_HanclHOL-Library.Code_Target_Numeraldocument.tex7zXZִF! w]A-MՋhvG"uIBm5T6Y)AEŘmUٛךa9@b kYJ΅b>Jƀh$qBkU:H =)s#Lg`n1YǠ~gH[؁?X!dɟ+WQྏdiqjbq5GKTu&&&hcj>&v1δ׌;ϕw/mRr뛶(ARYY^=hF1u5f/R27x-!J!VtwA+pnJT|< m;^:NH&1L;2ZC35ɒ: k"b=^q&S z Ε gYZ' 7C% TIrrationality_J_HanclHOL-Library.Code_Target_Intdocument.tex7zXZִF! i8 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛնW6U[2\Wt}7;qj\!rNĊ0[ezs7ymJK[dPp ;\ЁUIؘm4q-VӦl4.2j,E}C@E4 Aڀ}[€V0;)ug-/eIӗ 7 ^fs'N=.EJ3HT!uchܲO(1gӆ8pUx_A}X&%QnX\$3_&EK4RKXAtʶmVQg8N$eHΟ1Зmީv=1 ?`Jy!W$R'; B]HS%$Qt_&xj M#2r'c 'FeGtm,I/GG/1ćN;̞(竞pXĹEDZO`d$9>}8 8# 햘#oTFE_3 z! S%\.κF*&rCR ; 73Yw En.ntZ{v %P#9c`sP t8 -0koeJ, 5tt=PȗMqM`ֿs'O&Y[OЈy.zDOG|I[3 ?Eʎ!. R;![OK:|A`"+_ Z݌-1=ݰϪwyXģFSP~ectIЌ5Zg8 { ءbr`t!A?<ۡ䨁ԎfP.09l]RI[؞|U\nnH23*bi}3@UVAigW%:Vgawyn+S^v?H yk Ϙ̄fuæBw%sS)tq7`Km(W~b₤1\.8>)RƋ$~q5b$'qu`F_h4jo,#UݾY`rޗ.\LJ*ʾc%eAG U0{oy5[KBs5b{S g-:\!]C*ܿ3Bl4gYZ <<A 7G% Irrationality_J_HanclHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 7 ;]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpLq=ܿF觐 g2.ɓ~ΕX2OJJ!ȳŨIP%tb!]knl@&YVG6v; w(*lB |{|e0~l=SɢȻkK/,zV4GǗ / )({ayz E _- Ǡi_ͧAS5j)VnaiOesrqwd}}ڶVOssdk4'a\hM2}n $^[xF ߅PCea <]Ryk-(tfؔh&'>daJY?2ݟ8o?orY܊ѹD[g+=n&1 > 4jH`4 Mg)e# 8c%ob) W3ٟڜQmDM'fIeO1]m ^=py]NxN 6WWv|+:6W88,&Tx2FV*!۰,cA¨9_[̖}Õً*y2π8GMW^.\(yWFP2/:8Z% f0", NL3~aӸq놩5`=h7b\7Ruw3ҮcW5.;Rn=BʷMȢGQO۩Fvj{u1y n)3+Y =qjD2 nA^̛ف)NdɣFk`=]}Hm=T!DyUdxHOU"$SYG+U $TN" % rKwo %3bb y?N( a!pGXc^G$oDi=-{n>qgYZ=6N:vQ kс[ھ<.0:tRybN؟^Ck/tNO `Vȴ] I |y 3!%GцPz)^%cƊ0qRf9FeU"3qŸ 8 ]_ ?] ow`z <ëʘ(:TuN̂`?)[*+q}wۚI+rXE`T!ŗX 桻p7:KuDd#YekfZ7E` :N#&+/l0fJc֘? -}4¶X[CvUaRT q&9Hq%SxʀemW;Xr(M<\ H7tbi=as^ ?6 fvW;zTJ.d[<7r†B67+/+֕1!TݴMU67ӳK痝d{bpv€#H p/ '#?ؽRxdc3w, jsݤY\ [/]2YF =:^NSN%aYm&Ԟ+p7AOj0*G  5*=8$_$"m@Z鸷o-ZaDk . mnR?ɡ:瑳EzI1 ezɻBp{:fuZ#1 _]$qAr~ѫ 7[P"zFif+(&K‘U羳p'F72Л+\.b-LPd?_zc-fbCBLioCY 2-߮_OLh殴7= \%0}LA":ԤKaG jķyN< kq#;A=W|N4#$AhnAt=ʊf1+pYe!o6_GWotL 뻍r$$gZ@tC?#%w e6tťe)ʧ5-X-Ǿ>&l;8_FQxifYM5Wap:߹ue͇*'Fa'QJRCn1kDNM+ž3q:U W5n aŕ(BdZ!<^јri aj-+W.A"ꡟ%B&y*ѥj3l[X<t0ZT|:0?%l On?/_kU` Cgm"oLu Oqذ2sݕUaKbfc>טωHA/4wmEb0B}Vn\v?q<(}f K8U+rzK>`1OiWBue.4Q"ob "Ҿe6B/W43u4)^?J vt){CgV}r&\5q+} (b :%#b- J| )OQ]o8l;ecsݵ4(1{Voù/~UU)tWzٕj-OZ&jMY̔/&w]8e'z)m$uqt'fa;z4w .GPPQs,{coLg;8erc r&mM4ǜ_ԡofrC,S϶gJdf9Pnk';{yy\;:h!sG1V{Ji^K'׺5}mJ(HI_~fGDfo3b/ߡZ Jc.)Oﵹc͎?MpCX?9c91 nz[^& g[;d^&,XIiyDTEsǦI4c7EQ-[rSt^Si N?YӌGNaIs}UmyFIǁ_ Qā.6UX}~48y=)V;lN\صEP5O2|f 2ßF|.uMMp Y.GZk ~nd- %PeCSuցl( 2'I+93h&ZRMtGGwf`贀\x,D0pUZ}tPo9T$ӔE!ȸ_Vqd+H3ɶ|a;H4Y'?! IVf~D`׉_UW-]i5{HUu(틖AhF7O)D9=*.XWkwh9/=^PX2qp-gu O#SMzIWSց)4o(#A>vw?E)yvg%Au 4Ǩql)O.Ė3v `7 O*5NT} 6јX̀pbG ,.>8Wդ]KIdpGWޅ^=R^bV.кVT$VSš B{z;b35rHL 릝?zxQ\G%FS:'J|pzgxjcW|zZ÷߾e2‹  { VӱFMP9+E u}[.6)07'!EN/jÙ X3pԂj{ $م7y],=#2 SmIڲ=^Na18M 41JJr/"_ ?[c|?Qq}U3fkfEog!0Qax\ 7m'ڔR2IK >iX׶>F3k1,D#MTPd /RL s䉷S\07ҽ#o-ƏK18銁āBӟN!UwLetYAxӁVPT!FjYԏUxn5id"e  T΍= +;%& ׶3'j~ᜤrwW-q"p^)YxVBݪߗ_s ɾ=d(HueutAj{.o8\xJ8VB0UMvV@qw:KorC#v 8lo, !2?XvE^Tb>#*`ߎRG{۩vdO8Hc:o!k7gYZ95c770dd522a174d7e9c8ef1465db02a2b55d3b50a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9