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 7D| ] Irrationality_J_Hancl:threads=2elapsed=63.107cpu=115.264gc=6.096factor=1.837zXZִF! ,]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıe:U=6>xrziARI%&:jm%YV#MD0Tu K0M{TP(e_=klj~Vc^@LYz2Up>fBqfYx8$į\,lB4Sfƛ",0m"Ф6 dFN}K ! Χ`kks݌u;" p`Wl oB ‡*ūR "쇢AJկF%Cge.aEp{ 僞KU646ٸ\>TpF%kg WI c6̋k~×#DDHTI"\~SlaX-YIJ Lk”F&;Eǁ ]Вb-Z+`Si+3Sd,T_1~[ˆ+RJ6)Rh*+ x""<@AA($ ]?ϚYĖixףlgC0:aꏫ# cz?څ຿*VQi1hA#Nu IǢDд v(u_2MA{pNa5R]ARF(ˤ (Ce kl%R $QxAۗ8CoMĶt;34bTx";gVy[@yȡ>(&ImN2,:ײ,kGYEi? zuC<7؀[9fZ^N=6;g" 0u%~kMe 3I,WBC͌!|Iv#|_Ď[&I:ZM_"a[\1a#VlYwrgYZ7zXZִF! 5?]ŗX/ 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֎ TV/-d45WdpEsJI@)@ZȌCr!R?$+(4!Vߔ>hkӸ h_=\#IlMoH22~.qnѤ2AK|~asq[@?8rǡ@b*ɫk[?#mքаKMul.l j0Qc=G#;OoJB9£--_@q-em㇃`{6W4I +Mkt!A?vI!vnLjr\4noT3*e㑋qpR G[D{o1Y7r%T\3Cg8ӭJbC@vP%z(HPkfƚ42CoJ<ԶC wߤ͚FD+$y!PBguA& WzSK9Js^.ƃ­sή* 6쏟ݘ:{OmUcDn>I#DP͚2|0 oR ١1udVz'N_C{u$"j&GSt5Z.kje7SJP4|!MJ1JT@W ns1.amSˋ{^p*LZ*+ @G<yK?M aBYP;L=.RnE(_Ӟ cCW#k APgQP.DViQ{Ŷ, Ԋ\ LE'cm+4Rݯ9bRHͿX >$(#s4Zӧd"P=N W04bY# -G7 ^ѤĘ#-A%.•*;:zec񨖏0rU4a[ؑTQޝUWOTk k=Q:[RA(B6@M#rxo3(<Ѓ(еqJi& i.|W+W, e( {= InNv,J&{+u n 7o %Rf!')Th-0IyppFXdYOvJP J'%Lp|!R2$O4ACu(k`z$aC4/~L7%9\@QbYDTFTVV2jh.+ m(v 8ū#Y V*+{ި7DZ` GK'U7BOdn5*Z?<+ WC2F!.gM :Fܨ)5_=m܏G!әsz7r.+00܅𰿓^bNGgQN.ͦx]BYJ1 U_ZygHDjF+u79Dk< Ϫ%Ua;y5b¹q: %$=;o^4˞9%rϼ$x\DS;#%&䊏vz['-*eli( ]]g0oI+jH' ji;K偸*U}/ړ&)W}LK+;>;Hb{k*=xq;dJaWpIWa;i+3ɴB%x*u?l ?2![j\++Ye5HH<|8̍HYh޷L JduOCb ¦háOJ I~v[ͼ$fW(Ќ5_Y|,uǗ`RaŤ86 ?ɸ/ûϽU~*d :Hhѐ]ZteKqpMCZUQɜW~7fK'Kw 0‰[R"Ts=nkA[D-aN;~Se$Ӧ3Uz,O ]W0QX0,2Jȟj.u7Oss(>c>;Re>@D Xur90+cSoe%9wn?/"Il>ə%+2K^'DN5~,|塃Ge_ܓp $t;>X%:QW,V7/IȻy=T({؝z!D{]7D6;k'/{*њhm=" e@(fFtJ:Aphct)+z-JAWD8\LkF+SbDV`˨K(>8^3DnO\i* TsT| x>;k"RY+J /QT~&k=0#e ߬:!edZ#$|MΌ-g~LHe !y/ҕ=IF܊=ެ{:Ψ Xr`Ё]*i!9[=su+YUHnd:~:I q\=:暓G&nߵ/Bl_0 {?3ȩ\ (,8hb(AAJHA2'4MfU6 #>^$2z墢;Kz"Bŧؖ;m+1ϡ^ Ȝ: =u2&ݷh ;2͊-_F,+aBWP1 |$(Ô↪g#RYl8`_cn$V(۱/^Z j`@|OF"g2 @vC珹9 ٗ=M5rB{3'@~ϜHсo`;MՑvncvctqc}hhzG(7Sނf7^9%$4~n#FrdANbD?V43r~9~XOI6Mbo@ߢ!.<`wqIMI}O;2b"ν3MNfP3pϦJm 2bE+WH,',Owlsy-C"a]fh4=$'Ie'Z(qoK] 9tʔߺd#^jqfwUs(IjV&@Aۥ.((2fLL+R~ah7lxc5N%{Ɏ(M Кl7Ew{m>F[_7 ý[1Y0{X|m^ZPۺ莞jlٔ߷_!ίV[h|Wd$AQC( >"]D`Z9a!ɨw1Y! =xު=93MѶbb5-48@x~PKI{t񼉛M_4).0Xe?ey$ ;RncX[#[8:4JmSo!0l *l *0_-2M!ivx!R̶[OHYo* ~+*!j:GFhaAa-1!t>IŨ0Q*n(3Q(RӠVѶ Ȝp{;u14H+x@MztT2y 拁f @ߊJwbW52%s.U$͔HLjDJlr3 lJ R_=?ƣ\0c nl%y26,twU]h yJ*n N_,e_ i.-T5[g`zafEHȦf=Ol[qbVMNW)Ttac, 龙wrga=,2P eZ7410X7 *Qb}{D'(W3Vyy|\oe5>Nsgˏ;SO, c ɔ!ㅷs2"ݫeozմrja @>QC*12%rj{(OAF}l B@" ej0:W?Ú8;ܼ M砸IXH,OX1AtmOCmÙ7P@I0="6&'1!~QdWZ,yz'C<"ܣ-cݱs Y0M|} k9ctD"m"uyl/aㅐI{"pCI7\yR @_RUQs= {Ziq t Dr6+5(r9%'M bH%N-|Hmh2Uz/ic/SG-=^SccvoZJN~3 qZp%&a p16]S.RPТL0VmėH6/7tͨ;A=I-g9xJ7Ql\/ .2Q*\UƜ 'YohäŞ ;f@Π%WR0gyqa"V!unywܐ=43% t(.K<#vVKsd+Jŭh>{D]@4ٵڑ3JCl_SΡeHl\Ɉ[yG|!']P!5y u(#L[E].V{ֿm٥ lPMk85O}IX(N@Z@}B>hLŒ1X.أyNg:?S$]ґl7*Ĉyggk%k(yLŦ9 ק?;,X"!?q}(in v*e/p_G*XLuچcb$x'm<ʈ]ʐ6+!IjF4.+ٙxrn9yOev=gPYUlNi^_3(YLd5q{D'>bkv$t>S^m*!#ta7)99ZVHPL?*,{ x0V[A$G-kG` TGQ_^,9_"s=xo /6ǏnT,Kt@;/y!MqP=NՖ~Ѧw62`|}]%O3Uz~p܉N#/7˜c~hS󽪗INt?E [X|/y+$F_p41Ȥ̘%ScT)y Ps#>dx]5/JD0FȔއƼ2Z#r[{a:7ң-'49aG@W3Oᚧ nBoxPSt~(]4g_HvuT^c$IB\v{ _:99|tNPvam U37̷+ X "Oz`7"4w.h]qktB-gJ,)}%cI.7{̋{瘖p-EVj [bqD{0cȿo; HؼnٲZ$jJpK ,5@=ܶEq$3 i:B䠉\_B4ӻ% gqlF߆^Att( ~Q~txR +r#SB:`czc)QVq͆\oahJ(sIm-ds1 BH7SfASRb8`YxZ772d!/چp8auXH5T`- СK -UzQ %-0*Vx%`Jqf`"EE7r}e v(!jqcOvrYG9X [z7#fu*Lwg׳j/9Iݠq2^YN C a3\zn5Gz yq0JC@҄c_h}lH<Q>hSߺ=x)%)k,"T8:=1z4ht̷~~E6)ǵdHC]ЉBl:}bS2 (`YeDG%Հ҈(\}ffh 06E[R81oH؆w6P¶`ZdAFt+XuЅhOuR4{,!›`fP|I8);9-?Eżd еLD1{T =)1TqƠ Py閮XLdZ1ӑG;֑w{?*‰\+/Gp L_pe`5a(RsJ|tEfPEOn;jCImG =9j{7z"2(N=JMUkj18KV’㛿$.h'J^,p{?fv ?I_7zy]_9.h(/mYLfq N(+aD_FGg'&GbaJ!Uf}]6~6/A@T8[F%|(͎4E's_HoEnsWU؏ o[ s s2@jm Nd1h:)$C%t.[Tx `~޷!J0g<+-YIn&ӥ33Sj{KB,*Jvxu JM|(VS&Dk ☤HY6^@V.]'JR>pDyP/֐XE{-;ŴV_OIWG$óHt^j?81|!>`+^ݦcWފ, !0둵ZCxWpP1DR-@S){ʗqd'LDZ*?[fFa%*Dc/w1%cfJU=8Ow <$8Dn*; h  i~rz[ Ѥ4!D PVmF[ s\#)V)/I|" V9=~^{+Wqrٝ'jP>,OiF'dtwQ GRJvcy/,^qȶ=*N] AM-=so ؤ##ËC.M`])biLƤ &o,OE*} ѬXȜg Ogvԯm83soV=͙%T|b&AfKzg5np"+WtDk7+gv<Ӷ,v<Y)<7"L^]˿+8 MY{I. dڛ[ 3h;͏>#eZ;V+aUrUw@y¥A" 2f$yk$PڭZN:)@K\E靬ɢn |[5i e0& :92ĝk|O/=I:#X'7Lʹ9n[k2+}d;   r}g ch)70Ä/ZICYA 2%,v9NhoV%uC &99ty.BfG;qeƶ9uk+-Jϭ(4O!N#3uL pB,W=J;)Y_ 2y`rhJ2t mى^l6ϲ;ejԙ2R]' 54o[M釵 Y#|}^"k*3&3P~%sá/ YR33b[DWsmmDɚ9qarX:!j-\Lcy +#a "c]au-S6J@>ľPlQ^TfEwCsϯ4᭠4۠"%5Cae.ùWt( wdjiC%VfOݨ,aVN|GL?P_N_'9%L1ެ',B[΍N/^ [bNGbE)wgqaF#oJyөǡMq(?iUb/Œce"n20{I7+fy2c&aA0X'r֬u>c!9-Q ' zr2Ced8mfnRh /eOYj~=%cgC NK>4ROnDoF|Χs`2 PG~1ףȣ<>1*bMB"ibP(atf̋VL|5ݐxtXtNm>(Ckj^M^e .+{l;=)3me]:s؅CVa/i0MXkǡ(+}eZ.3ļԄ򫻉y[`Y(@|J ԅip` s=ٝG"57\?+~D=J7x=X~Ņ7ozΖ:@mtd(_*Qk*1tvrb뷸 ?OlZg8%Z}9AoHC> Ʋj4߹'g̈́u;DaE%td!* PY^D'5{A$0ɮC;.>{+x}*Q:9j5KN,IQ qϺX՗w 8YHDo yCgm?z)ͨ>8faK9ǧˈ%p y/u]v=u\*H$o2F&%xΥE{? 7.-K!^#5maNڧơ.%L6>MOFWƎ8 ?y+0 enHrSO2PFD̯ _o[tOKA&=1C$U`QM×n9iio R>ʼ냳=#!0},(xԫz-Ym$w7p3LKQű+J62-Yj-#TAqblgD M:OzHrxID ^NF>WAgNK5B$]6n97 {yvpeI#]mS' cfQHwuZQ?RM.ES:2:B^akrͲ|[}W@ ap[i* !2Hd1%K⸢dZJkٻt޸zȋA)ɉM{8z e"hMtmnus>RJ\ju DSYrd]JH7k)+2OפtQjmU7sK=Iۋ\m8OwIF bFk|d: E87~j)9=z t?pP9Rn\~ZmjbXp;4z,*GuSv2YBqqaV 9xutUKEȡ9+0 }wMPG^f:Ew4n3#Dcه5rIH+RP4FO;|OW֋Ԙ'hN@#0o(41kUhs3cQ^U3Q?rdi?PyI6&bMyg"d [,5?X;Y[-L9x'S-Rğbo6I(5+SrҾt$ixmp"´pIm{0f!C:Ħ(%믫}9ިsm, 18]1n=+ے21mʦ;m2}M[0 ػotUz%KO+<%"SF{Ѐ:}8ikҙk[\4ΠhYAʬd tWp;5 {QLN^Xﷆp!ZuLJ#^AЀ2` Rá:&&ƒ]/ilniTѡK3d/B¨PtcG}_yH ?tIWL9fĹgb3vnj[\4\2bDbjmŸ/?lR @EЀ7Ĝ xn]b>eFU'$A]|5ȘCD$ͪ)ÿ[R _Bִ ѴgYH F4OI~wnCU+WAVѻC! .+CXϢ(5saTG]PUWFnx19ܻ_/ mE C쀛;A5`CX.>q+3ҽ gShk=)`jF8n5*êp ~Esv HKI*Ftں,'5 C\Bd1혅l,^}s*`@O4I}.p=%{<)쎫Jo7e bL6b챩aKzouSŽ}(/[ JOK ,\c_k_+Z`_: 6PJҀ/y`kb4\#C3yHr8mOaU@Y/E$Cӣl433g:tr9I% *wDʧ$H2W9"aD#hLA0C~BZ g-kV0Ǜe^(n X0.Ũ X˳SF^]PRhm)!A5>4 \5G IY18B&E-u+&6yne SM2mpL$knp.J`fry }NeaXzQhBgIreo0G0)ﵰ(Y0#;߬S͞gR\.AJFYkcpM3K0s)CW@qWEVV) =kV:=ZU&%-e2d3:[^+)M#=sE=3ⷯߎ S 8.phm^KYHUV5 $;Y5e:Hi-`S9o'ּU]% |I$fR<+q)+xZp7 :xF̹ERnj^+8Ti,';X0aRv p*ı߹Un-y-7qt'ny L_o:_bhmzqAPmm$j牣/-藉":7VQ I*k*Zā=]{Bv:Sl1 HIs4EIfiq$[hλr[7:)ٙWvsX5hp8!L M֗qM`t`lRBŊ@j^ʼ8Vb e8z'?ZJ iϐ\bۢf#i?Lx #"ƃ"*НӴ) ,6/@GdobO.,jJ 5s}d*.cie4/Q!z#R {뼰blnZndJ~hߛ n .<߁ A]Yh3B -jR!p3$j*ITfD\VSw>N*Xp>hp\S})06f+.F0c04>I, އsI_[Ö@ IY"RL\*I E]qmB;+>^8_^ĩ_pzHj$ K&D: TC_Ouiͩ q`I`,a5C5XM~t_e k*2O~$`*Z `l(7V%]!K#QPI.|W<#23uVNN(@n_faY@$xL+Ls!_T۶$/WCɡD&47q\S Q B/JVT>.V„/ kZGgY#OB< lZT[SB~^J-n Fg&{6JHPˌfntz+q/_Ш5ւgy@k8X"v_yu"e;ZgPjoZqmұ<@,$|Ak{2I/ɋspgݞa1 xUn4D e|!<gOȘ"Mm]57h j[E\Đ Jt0(4P|d=&Twmԫl&5Zsb{]ǹiΣ'z  . Z ,gfsCg<cT$(2]UUhzxț: OYلYzo2)3}F٧S=(C/xfc<iiCW̨&!Vi6}ɭ0 Es%v~"7TE,CYCtR ^%YCnJjFs^QA?a5紋JzGx-5hvEu ~|\ ~8ܮ:Ge襔ErHuݦtB,65083(Io5?~x4v:2`aq8g^%WGAr:K X|"(8S\/ ~ZDuW?l6nѿU\74zlgYZ \7c% Irrationality_J_HanclIrrationality_J_Hancl.Irrationality_J_Hancldocument.tex7zXZִF! a~[E]A-MՋhvG"uIBm5G. 0/sɶ;dIBcFdЫ}_#/&m.>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?(@<,tG*@˜*SEaFlvazF TSj>PƥoqJX^g3}cD,v/k`t&uDŽӣ Ӕ8ղ7x:D²6gEM">CS>#H,Dq]NPy8C8c]&0@sEXVm0q61/cvc%!l$xIa hh6e_Tz4yB"vw8yTOޖqjc'$H]GoL։vnM I lsx4F mGρ.8Koƥˇr REmQu*&Ѻzt@Am|Ce+u uu^<-#UR TG>$ubٺ/f# _x,6z--r-e%; Ywo?Db~42-doQrg6I,etܣ(Nc}2,%Za)%ddV Em')o܁_b҂ki40Dk7 ` ~ңoi[RFH9WvIΔc` n}P|{OءǗvu  *"igPQhpCrϿI0tg wh"1bE:kaw'x *˺#yʖ,RsM$9c4^GYoP̠#fg=G%x(lX$R/%[~᫭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 S7W% $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퍇 GwŇ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*'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* O7C% $Irrationality_J_HanclHOL-Library.Code_Target_Natdocument.tex7zXZִF! }0 ]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=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>qgYZi%;gS[NfjilQ9V F~'NFXk~&Qdj}xLBjaZ,j@33;yhGѾff*4{ Q/G\ԟ:>^rT~T$i9t&%Nw?֑Rؐ9y +sux ؅;5h^(ޯ+ [*p=8sHZ'(r;&^ʫ4NH%qM ϥF5T^B–&U JpdM^ꥺ"ؙ(3;(I18i05pLu[˻y!Tǚ}2vLU7vnke 9m41jƹwϲUiu$6XX%*xpBmasmH|e>`}!O&xł5VQ+H[6j |#JW. ΉG@۩[|n~_@F ɭWb?"qDbs'0m?/@63ϾTLʳ˘"" Ɏԣ>$/TPO^]5⫤.{bZïžϛGkC\._~> ͇{FRm9/>`C9w3Λj @rՄgὫ' wygKv< bǘ;L$:SᭁuT|SOŰ^d>汞 Ƽԋ:ػ%2\1TP>aπY-(`vR c r+կz_(@\ӵʭ״;hfI>fYZwَqLbOsJ)1: w~$_ FP1WO$…Cbd'5PFv;6SSI'Xj<'*1G `6 x8Yq~(G}1EJ' x6'yv6zI,ΰ^\3CTمՔJ]˵c0פvl)Ril@zB:sm@Ń;[/C\mQgN!.6>p%ތHF?#Szv'=-%RٟC*0tד #^, Ќh)hh:ڰGzoAC] Q+KCnSqlG_!@, Ҁi6p̄-Ph @`z:zBl\y5 v~!Q΋舋-Bi[ Nh8yK 5P#DqŬK e7)hN| aFQsM!FcGB2ZdENz c,bj_pd}Xջ\,t#T ElKԆG}/e4InD#_h3)`=:=#)s5aNPA"΃EI4btqlʔ(]bT&"J\k$$r)G4ԥ4~hCh);*6s>fR[c\&:)R4IXTkjH~޶Bњ^@ Z^%oG)Tٻ_`%I/׬EU ' Ӳ,nT8P3͸Tg[hN2L:"?Ko`P .*&՘LUplVD} ,+;Pɗ}(q/vAWhCCK 62 !1)x =-&-ժ\mPR;?pҾ,*29R +kdXނnr eS]TZhQ8-2nѲ­^hK=i!9Gf,:\ B)`wZz WR܅krGM.4&OU(HNsI|weLr&Ï oki{BVBW}KOm'6j d<8% ^ _\ED;"y@z|O,L2 9qma43y{^W M_5y%p;-8x#Iq !މEgZxxD4uspxy.ޟɐ2­Ds*CV1V=QURTAzFw(| 96%""ֵ|VhY"ߟOʴypKͅO_b>.jÎMJJɿ x:Yd)ُr}8y,ц"l^z} 4hm^ 3l"~uIe6idj@Uz0f&D/-СʹL[ڳ-!1]N̈́;`[^K폼w{ q\[2jܲy}Eceͨ0"^ T[ʧ\S04]K`| >3Z #,יMO_UQQ_S~l֗F|A2׊ƿ^p1h$a8[؈Z{ n8$[>2渀5صKuRZ+V#xb1~6bSfT`ש6fw{V?B6pHR'5T<  *1 RD;ܳzfpO,G9 P%e0!LڟL:m#:1w&W8k5"DܢҖ2xm$N|![L q?Sƛ:L\:Ի T5 هwQf멧f6raz8Va ;|MC=+ѐqtWA\^NՅ"qn 3Fm"5ō_m(%BΙF6tQٗ9H.&^Uƨ7AUN6*2` mT-t&_,k2oW4:2OszcƉ XosXw 4>=Z3j4j*UH&p1߃N'y?s(5; B+" 0wD&$|VWut{i=c>)D@errU9w3 iaʟeU hW4r349. ZҾ:D.%}U:H/Ds좷a-Ɂ^# |g3ap"XW~Y6 q,yV:6T|LgYZb4f5b101c79649db8b7b11dd10827905ac3226fa0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 6e1fca943c4c583766dbdc0dfc914d2481cb449c 362bcb4c52fd53d399ef9d2a29a45dd20027970d