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 ]7 < ] Irrationality_J_Hancl:threads=2elapsed=64.571cpu=112.560gc=5.068factor=1.747zXZִF! .']ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıa븙EQr"öMIQ^ďӱSv7@ $@VMx|疖0ryi*_YoRlz]A:S^?ݜʩO%FGON}Լ$KPϞX4 c4HYD}w|B~ͧ@ɤgtuN =L{by87I?dWڎXA4]` vLP\ ϳ4zw2K* F5Ji ҭ"F8Y; r +1(H6 ֣*U ?~G]@n`MVOjS5ȱ$mUԤ%2ΗQ|2Anltoܥ6t(uY))+$~bȿ 4ƗSnQ5rtj$вЃtK)0RΟ5Gl۬г΁$F c^&7e'0@V'7{L6$9GkbG(|,>T(z"B1ErRNgi\g&XR`㶠 tzXثZ\11r\,65Ҝ-i_%f0oŝSZrMPԊx_r~:6e?i`R ^5ԃIDT>Dk#P+ybGR ț;u@OV͑TsxrO4nuw|׉@GĴ4F?/;EveP-8R*`$[en$r-m>+0DFQg&гJ( ^Ed7SCoSMZD)|akpզnܹ1lN#@]ZJ[F^RT4ay-Z^e;K{sLGa|M #EJ{pNa5R] %RF|f_KxA|`{NK(tcTD7u}-'Eo7'ҝ,>C7%R޸Bq3S 7јجYs)UX>oPuJ2r915tn^g6_%B_SKp N׊a[Td"9#w^TXo{3T=vRk ꖟ%P[ t-.';!9$U%GogYZ7zXZִF! =6V]ŗXi%;NPsQ͏*$. 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 F7/% $Irrationality_J_HanclHOL-Library.Floatdocument.tex7zXZִF! |K]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А-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 Ԕ]owS, *)%# 1yM  E D7G%Irrationality_J_HanclHOL-Library.Code_Abstract_Natdocument.tex F7K%Irrationality_J_HanclHOL-Library.Code_Target_Numeraldocument.tex B7C%Irrationality_J_HanclHOL-Library.Code_Target_Intdocument.tex :73%Irrationality_J_HanclHOL-Library.Log_Natdocument.texB7C%Irrationality_J_HanclHOL-Library.Code_Target_Natdocument.texL7W%Irrationality_J_HanclHOL-Decision_Procs.Dense_Linear_Orderdocument.texC7E%Irrationality_J_HanclHOL-Library.Lattice_Algebrasdocument.texR7c%Irrationality_J_HanclIrrationality_J_Hancl.Irrationality_J_Hancldocument.texG7M%Irrationality_J_HanclHOL-Decision_Procs.Approximationdocument.texN7[%Irrationality_J_HanclHOL-Decision_Procs.Approximation_Boundsdocument.tex77/% Irrationality_J_HanclHOL-Library.Floatdocument.texi!l\JzA wEHǢ-oqX}qjc**vz"@{Ɗ>ߠW|.< M5JCZs>5My ,\ ^NC_b98<8)F{۲:.j2 D)_/b%?2:@oU;`1(Ǝ}ߧ*3T &]H>^)ETE(0*+֔E-V{g/M:)5WK?4v>J B* Hw颗I應8SUUSex[tiOD 9X캞xŻփU: @F }6.CtXdP] .K%uӁ4Z@ xUP9 /HRE/.ߋʖ^к`Y!WAT+ }_`GcĜpc~EwAK׽ʽ7SrKp-1F񡂧N_IHi<>DAcj:3Ohcpf@43~xb ©̾;dBߑ8U6ϧg fO]MXu#7 ã CyBҼs .7ڣdɔFuՄ \e<(ɞhH{/upV]{B8cºAsr?7ƒ>iqi~A#٠suN<4O l/% BwNa:ShޟM)=jz\+✉K4o$w'_mCJշM?Xnڕ JͅR,@ r=7V#S>N8ߗn-='G]N( bCjMyT ms<ލ[$ "Qf77͑PeV]GWr"(Q6dJ7"XX4),Lh %ܨN &ĭ]\<3sYm߼GyU"/ iel\&1q$l cTc…xn~H|}$@?ħXK$G ߙR4DSPu~RnlB{EsHe8"5DM Xw7u/$#j[,JS.OUog„g4'T8elKsy9jn-{~cռWQybl ^Z!.w ei\m'ɓ++Е^vYa1&gS.ȶWQ&iveBJ}tK>G~,]c@=>XV5Pj"4 k#I4JsKҸ${]|eE>r`lJ7dIЀ7EްiDW2 [wʨ`DLutT{i5}ׯ2\w"IV\iH ׬P?<2Z X㢕N*^,ܔ_O&`ʃZ`!m#~HKuCu)iNZHKKxSZLWոݸAoib%[S<6s}$ےkø:S hπ~FoMF _la?qOlRud@ :AR#_(D6,2YyPwϿ97Lt@yi+>[+To\sYS6v\d~P.Rdڥ_dч~grY8tB*7e-4d}418jdԠiGˇzиgZ_xgƖwi \uKGx~L3jlrfD$蘲F=Y",[JrX97xtVH=[W̞osvAm%Z|LӃ d|Gh..2W*'6:%b 0FW8A4{]E 9Bˉ"c+Ѫ]WM t w=_ ߅4nL~*s1%9De3AV=^Jfg.J-_dvg0>ܕ i$VSBe5]? IuzygniRU3Pi'GzZ}]Eۣw 4G7uUm7|CV站/ uvO6,<#!0{]5NP@4<խ@<U6!fv2Н\fOHLYz(z?'c!.TDIsELpdM8PYA^!b[ZVX>CU fdDEUෂj6|O?#4CU 9('h ?g=y1${`!waCXGeڳI EkC_GvNjs|3`Ὧ){$3?%O'5]P -a{#|:saP߾Y_Ì?:\47aHp'dʑ\9= t;P,=B-iԯÚZ[ z"Z ~<8\pwgqI2U  7 t!GbkX=c2(a92^piލHӊI 7,U=sK\P!5>;!1 .&.28M70+0W:Cja^E垝$\*g*CڜT [Az|DY^&AP3` rTMbVj(q/=Puc,R鵰l_h~=<|"zZ!X'V; hw4ek-9v&Uv(.Mɤ+3*B2 ;X5gϻ 6 b*- !9˶<W4a!f^y5=hK{K,܁> y!\t{g@eOqƝc&U5afC|Vg -8ڳ@o9tt|$U\ G06"Ŧ&5?$  `F2>FszYVzs×6ѿڛwA9>5"rFԗ> s[c3 R!i`AJ£JkYp4zE1##_m8qoqg,-+{6f >Bxְ>qD{CTˬG,T(q3Rxq^g%mI&u5輷AFg|y_J_'{YԱȒ<d{M~^gX9j;o])/T׈?7I`2JKׁO^u=CiNzP0痂=g7e\V[p{i#b&*YKT -o7-q e"`TXa[Y|J&,p./qzkw1O;{bJV.n峤jp!%\N4\nTSW>&} neU#ģYe\Dž&p7faKW]dzMI!?|Ap!S5 txH ı}@+gWKTfFUCΖ??]y8(~Ƥn`IEu?.2bsEjx;ҧ{.-M5LOT6$J[HƈN< Zhp}]_OP`v~(|8J0kDm#N6 t1dEyOٰa|ݗqg_8*&E 2 ɁK<]mǿjn:i? xJ k!K`)˧_]bIl0A.5SIQ!#6o~"|[͊y. ps!ˁnS*[cҗ|@% 1TMPIRׄ|;-V^s Hը)Ӣ;{r՞tMOεQ%u 놑̳{ yTlQgJ1~gI%}dTsE81r0MS` [3i GBLAtwu[bѱ@n|CQ>ҽPaX)lCi$wrl4C¿=kiMW*X}FI8;D=}3.XW f<\0E޸ [4 ~R :CTQ~+[iNtUUګ"&4@k)AR#U-aeLjӚ}FY"1[Ȇ'W%P6XbN)_f$,C놞cJǀMz_ogC\~$hg̺_=:]B'qC5u5j˕Z1Xh^SA$KJ#.~ÕlzetR()=B@{Pevd/;Xyd&`)mqOIC柦2a92O#OUAD{t gp{yY-廛p!)w;nmd[yC`w;u3@f9lzTJ+(,2&| 0(2n}b%kE\_=W0VMW4 ?%ĺj%53 0 6̾t&ē6?_, bԠHOHW0s&;N$7T/xPAa`$G餄©ڴRx;kMz~l1kl700@|K⹨>BЃZ'aS89k.IUqGL'j/F]B6;\Ù3D!n!|ukYȼ]f&89Ta/Oys.^yR}ؚO@y )pl}8}&SN:33dv9Hy=˳MX'wu=5K4>/Yc/M<q毨9/Rv@w-,fdjuwI3S?X.RDSlBAՕȧtvgA?sr~: X8+vXR KXOפ&mè[8QC1hvl86Apr^]v]g#[`! ,DKssvzq *A"+b;BKsQpV*MW26p0$(U"*tVʷ?TXpeI&:h,n 1j xSxfZTڞ!b-j֭(d1N"xΛ*+t7D84gm|"΁[$LY 8 )MEגv[82wԬ՟WV17ƒ(brF5p rv\&%CD^K7{~cԷZ^-Mׅ3/ʱut%o?0SO"XXk}I}Q 6L#h(m1@~<{ 1poc>fQp2-?٢-o [dtfBKTmdkg\=r%src-B`OKX=]o€/?qrk9%%|8T#0}v(ҭu GtØGG|a٠Dݤt'o;6GwiNθaŶ% =v5zF(dkuƼkyD 1HT3c|]bi|fR0NQ<ُ %r@C%?>T_E¿I/ ( ?S6=Bl ^zJ+ ,"P`[q |%-2$xm7]$RۄFud.o&sv]j \BMɈZHg3=և$T5ySRB}*|ߖ?n8NHʱK6P!:1&KEN%sqn']臺~GWIEɟ;4QY#) }A^e.ׂ[Y)c{I@]^9 %7p:'Q&G9T&ZK*Ë9|Cz}SM"(_}o^ŭ-kw#t)T+<|_uagv=0w :衷fnʕ Q,0 Xcg"gB:(z:LcnbbkʱPMHxlq !YP` mR[Ť 8ikcF;I 9]Jn<Wn^}zR*4RUN0G6~[}_.RK)d}BSb۱-уg, i QD ޗ»$|$\NT2tldR8nwWê g~o-t,WiThuu1Ԙ0&uEݒ"X0ܖlz=Z8۵󊡆f8ŽinG<)(ʕǍdT/2K$2ɷPcޖHz7N6$^(k1̨5W\IgFyҋV̌0ᘐ;Yf`Η1Z8q~GIw9^ Ő-6{,~ m.Bd' +%5,&]3BG~6-Լ !'Uo}Hq|50=4on]P v@ vϘhđypo]<A-~fnt!RyʯLrt' )#{Ӈ7?y $ѻs %PBgdkaŹzIη!c{e,E2~'kVdK:C. ʹQ; zoܸɡc0a&֊Ӝ;rKn>tmͭ8x̛uQShގd#n34p"UEg5CuFfa췚' wC+ǦLoPbbcұ'"AɧYuW=O ^GwR {Cf{_T5Ǽw4K/TNvFULFn;|Wg |ŝMaY VLTV'vMi `+ܓRJRXxDIgDg`FVB-DlҢv `?q)zL eOWc7o J.ز??E I+?&9iqߐЅQ5)La,X밒ƒ꤫zFYbQ?.< J!$"z"̛LISPkYYęԮl|g8I۶[AԈwe _3%J/%݂>18S 6Ea˭E'8WjI1O}f\T.U~W%QoV8.z? e5`uR۫;\1('^(8E=tOpO\X]C]\nfwIM2FyR;I\ob K9Ƌ:~z# ??V41v$cX~bIݟS's 3JmUXƖ|'tz=~Nz@(\74S,+P*H² LX-{B{HwDp7#7Du/q*(_b΍9GB)}Uen6"‡۴S|+ znŝr:%E\A%2DUx 04^~[HMX I5:˥9 !D df {!mĬ!b6 :O7XT1OݹD>HqŢy6x Mo)HTx?5 %vV˳ Ik!P{qݤXvIV፥bwK% *Q}c 4>tW3QPaE&.Gv`ؙnҟ|H{YV]uPƸY9<*>];[ƍŸ|3GFe)SAO)/WSKB^JilbL_h\(Es:dFy\, XB^K1 R=V*H]fw6r"'Zd=YEqGA;~'M-L#x Z&F-8vF/6Oc/aoMZ0ǫbmʘEZ pB2 }7e(1>D:'JnL"Qm82=Ol7W'yqw%%j|Nׄ+MaTO2~1.ܳie?M,5AP&6ja Vo(ԍ/wPB |_`z**e:G0&([B3\y㨊p,{49W#D"&UwUzjizjar6.Cm8#T$ԑ;c듛t?FZ.x j6? ^GsQ,S;L3 n@甴}? 2Ͼn!K<ldr[!eEA;kܦ(r%8zУ jvl竴v<e;L32!'aϚ$Gʍ]~lkوkui'rul^ݕX!?AOiνk;4o" ]5)q5*YY4@Bn%y6"t~U/m}ɮSR˜(޽aAʔj$hmTa5y4^&pn?^g)\z.܃='\xo܃4x()r1 `?b^B.撚j T13/3Zb9fQx;/We?Yyv#; NQ 9C1TVʩƺo>3h{?Kpcr.!F([9Yrx|m? 8jt45?*5"KLˮJNFL)̢|be7\@d8V̉6ua&G{Z{# 31L% =:9R1|kdC#%rY[B|Zԫ95q3l)` 9 ;X{6MAas<)]d1y&ddwB}]xZ K?@qp֐zWbb\uKrαAsJGosgnF#)]j8kjg]ptL|lF.ݠuJ' a#=-34[?f ZA}kla>wuEݙzY}sQٱI }1HA7?KWB;ubjR7MDxuf5'a̞­( U¿};6~ Q+ؐXt3ʾѴS3z*J.SyH5W AeDO*dD1Ix- ^V#%S8}{'/Et%!6-S$b]e%l_!VOωR>/{qO8awER{I )䊣+s04쐀ǭƞ}fmHq@ެ𶎜t\ٿx\"xoU2ksFR.Ь5& Ņ \JX)KĄ|B_2YHsE̚U*'Ze}'sXO_JXyw.x .~5d#*xqY=-X_ ~n9ق&(-zD LdF_>O ]"U?hD t_19 ܇(t[s4޻85$?b$ɓt*qǁ4\|&a~*<߲KO 7;2y9}ط޵X(ʲ;a3M 5ȷwKtAxaO!<&wʰ3u34Z;I8g S\:|u7R2I?qUDV5p"0ehGNSZ?'>W?tyT l97@w)3篌(rRƟ08 i\طqVs^t"";XoEi)N:< cD [i=ғЕU[sUfspF| *#4vqNctyʾ#x/HM u$jrԛ\G 8:r"Mb U8Z$$W?psCN4$6n%l"xiiU1F<,"i\=S (C,gspө؜SEٺ5Ћ/U8ž'-.iVGpX/nP3zRDQ@|Dk//& <#* Grh["3< Ld{j]۱,/S<ހ+渰isN/?ʭ v:d8HWһ{TTu+vYtRYܕ@j".~jN0[[ ִRDj'JtPPuؘAn4/J Z6 oDuVa$+d2𭷚~}#Y^GmPUge#?L ƥ/눿ؚ<>#t*WުсQ`ċKzʉ_l&T˘*85kR #sV[,D.E<~N/HP!Y  ܮr1 :suhN K8sqN`ϫKFŌCn M~,#Ea'K7E QQg5;n^َ/fW[ZFeg9˶Ke˄K2Ô#w6 & +/H !ԇ赟R/h:b޲ R;/[8cTcRd&4>6x> H2ş 5:v(u> ag(Z Yj3V/'\-&2z(ObP1̚-A n??.@'||!`7rNsO`lSѩ&[gi§w<(J|]l+'qN=Xh00Ռk=ﰄ]]y)TXhG.L˴.~}m':/.`ЖT[ہ<ӿdd_kO7|OWuܕ}lz]pK=>|5I9/G] n@)ZL?Aǃ#摲ݠkP,R`"u\ 6|-~ZS}rY} ]='0|=O3iPG/Yp7L}:e]XKr1^y Tڗ׵ c͌"V5E9a r Cp7.6"Ńc#qTÔg8=Hέ cvT-dDBIUfTOM)M^IAWs46u Kwt~b}˴̘~Wͫ68Cl=aZL $ߘP5]]@%Eq5rzYXoZJm.uiBw52O6 ȶ[\_)67aw6EРd `ftb%I 2߶:/*Uބ^c`L|8XgZ8b(, 'V#'Ej;yd xr~5ҭJ7:|xN)184e/Fb>]l˅!)glSPeIT37mJ R2^vK '%@JӟU)tKN9hL)O@xa5"87lKj*,WI-{4ƽgrjQ/&Cɗ4o)o=ֶ%bGk'Jnj} *~ 6;nH3sT+OKͽ@' ɆP:x V?ynST8u5 ȑmUf"[TJ$IT*tPm"@,'[VzZ(셶Gpfb%U#+g?bE(ϥ)*]R4)\Ӌ(?a\uyHMF`'qfZΈ34M^P/Cy~0w#Y=wMBgQ=]_ػ?5Pu\G*wMc(`wR(š9ܐ}ywHN8CjDNtTݿQǁ[%EAq>CxPr `]|N^5ɉ%NiҽE)+<<)szQ: ivFy:~ɶ3;XL+\[Zx>uR,?u ez" Rvf> @ K0Rs֜= U &m )PNX(DڹmޅXB/h$^Q5xA7"L 7:2L.oh.U=t^9(oX8;A -뿭ѵŖ%'|<˸?i ld/xxד$YD +> IuM(PI(},wG >%/0l9Z)&:)ږ=60GwS<-lVAӽuHMN)g4-~%<|"ٕfn1!b'6aR|Yԅ`A&lޓ7}n^W9M>\A'ݎgK6v^64Ci/"l?1)207d9ݗoo(wz{܃;ɑDg~">&o<)NDy\fR\t&7 vA/?k8LQM$ k:IXQЧ#"ƅ毸:e&3\W[+5rkꢢ潓Q-&Z5 (". vAdupgȘc3| MYd0]6D ƔXkًD/PLWV-?\cƺm6Hps0z&JƤ0\4| 6OP`떘ZӦzb"S/J8?r~9&=<ÔLhE㛇tUEםvOg-2{ y)|lNɲBb|-> T~ω ]VcgԞk[w&/GE87\aV0ja|[Z+Pw`!zUf6ѸOB2W?*xͨZ(c<|.z&~wtȿ`5}P"az ۜDr4Qwt,yLjF|2@}Ճlƾȡ$Elo]OxhVϩ9zQf`M!Qo[VOҒ+þ>#K@rEYi:59B])yU(J^. vP]!,ׯsзϒ'8uœ-3T9վ(f}rr%U&y*=VhiM">'d`8T`k c9Cv-"-( ^PkqBT@Jx-֖wC# IhFJMtH%Z;\t0 x7"EfJCp0K&Ͷ@N̡PZ$?Grɓ|\tXqׄcV\0Y"?ߺ`'1ջGdq: & p%nr\O;N8ݠivlճ+8c) ga缈6"CEI!kW)i(5+W4 Z)}X;!/r=M.XÀj Ǭ鿫`3ǩT]#!L,z*8mmMQ/ rC.ӫ|iYIoHIF>gdj@ڲ0DB,% W-O/C͊$jv*e)KxVT5.ۄ6p8"幊RHXnٗ4w;ct3. +Q! = Q(v954ݙIa25M= ^9S5l=i %bWBR{t-Tg{ju7/|M+~3"9auZ 2e 0r,"2RY盯Kf_^xge|Rp_wlS$Ot u9dNқUVش4p>mgIKzD@ 1)"QqKaܚ| p, `|q6<,E eIxace3u >f⛖C@ w Bg aKƦN,oGL!u>ʏmWɀű> SNlg;A_~]IeO tW[xyk c$e@Mc .F1dž*1.׿fjֿ"Y+ؼӌwߐs$QND?K<& Q+ҫ/5\JDm&$48)GAtEG&86|~D<'a̚sonh8;Mv!'o #tyB; ;`#fvxČ /e1SmE/37^_6rf`'4,͡!^=C{a=>䝲w8?RW$a%斩V|p 5W_6nbJ p V ;YīϛK#|h^]Е.\nԵ7FLӫDXVCDųZ@t)^$md=y$ud lcϤ9˲?5j )U5Фe >Q HV#x5Zf;HWf[=6)]LҊ)Y}Vn w5Do'vJ=mcY/э$(X+94آ 2D:e߬,)س2hȺ& A&q6S8-Qzvfq[Yʏm5ݖ K]`pgAzL]3"O[w|RlྜྷF VnDD ୢN9K{ ʥtPKCpјDynemo÷Z 0,B&b TlcT*RޜCV,G,8s WXw5~BZAnJIX 52@If 9šHj{ON:ޖ鏸;0vZdVݑ,eMq|ػʃ\ȍM{ݎfSOL KxQug :9(CvmY?T6!§8V<`J`][?'\Z jSwfrI9=p@c jҦ@etL~lY Sv]u5t AyK^d+@Ov}=^tP -VÌ?R$u į,ԼWNM*ϳ!py {wǐt%}Uѫ 賮XS[\4mE(K*+ e|+\[,⺪2^ԻBE9acGhПH9]ժP@0\kX)K(iuE+ޠ Q砢u6`W@K2&w]abЍpkf-_,VaRŹ`䂼VȽwAY?#E&=?^1*TB|uEq3 @((;@WZh<4!9[>ɦIݦG&ʤ ΦFɹ%yJlq0\MDDRvL% i)VAAfHD֗]:Ƹa/m5&<]7E={cH5'yH%Gj$йc̷9R$yn6 7VEkVa\Y>KKA#]-!$]#d^AHa=/$Y׈V9IgsIEId&#UGиCVT2` wa4EoI7օSPObO9TJcPfx;a {i@3M}ߞR%?.E4W\񂡩,a+irᖂM '93LE5&g]6X..AGaTHѯ ~d4%_:R[l9cKSel򄕪j =]C5VfSqY=kt5"$/yXB\qzkKS\ .LЊ ~4NN*K|,ޙ\c+u@i޶c.P־_s߰I a[-$,@J d۰g :A9CLRѨ" EO3H]:Ism?uP[F)X(񓸇\jc޸aLCӦTc 1bn CY+@'4Wgm7{sYRNkFԽ%Pu'UT|IvkV^9fbo9˟<2~PZI Bqc~y^X@#=t^u,25+ډ2K5XUn.5Tk?wy0 M\޸Wa.׽ʆT}&CK-bjԍWrnutK/%n(<;eZyUҽ쾣ӆLzނDX+qǗ'o#_~'8"`FfN)}%F(> 3ҳ!GMTjNne~rr? . 0t1z_šμ693F4 1.{@M#kr V`̪".Z\xxh^.U 5bF,,Wgy2EN7uرebR[unq6Mg\+R=Lƽ*Q5n}%>ܖ/{M&BCh !1 K}W $u--VB.}'Y%%K dD(֬7>1T^1aho2HʟdRAx$7Z  w`_?٩9{8$|EbGLk *Jx!\wrsƤ0 42w}Z%}vj׼)o4`Ɯ7cGh1GWT. R/~V͢Ua\NgBOcMI@cwrSlI2C H[0|mvUAcՉLJ'PV]^v=>¡:5pfja yt9~~'hg<خ5bUk=uM"*wS "Ict%eNE2NSjZx?׷4eA! m)!Nuo6荺MAX2UsPrJ0\W=+1zNY`ܝHxFJSRc!OBo`_>SQ"~ŏ#žfZiioϣc>#?~:z)k61U&[e0g/! EꞤF㥄 vC (j NXTH17F}ŵcF҉mO5!뜀}q^M8I? V8=!DVU7^PfcI#[ew\3Ϝ|V{$ךYcK ވl6C|!BGгbarO]+Z8(C1-jӻbRia, MX53)`mf2]R4}ab c?@e&c'n%d3ele'ȼ?2u/ W-p&ZtT\Kw-lѪr^>t %RpH/"?_mӉhyҙCI^!DH3QGȶŅZ{Ow3uHKgE4{aˣQC(}q3_OUQ&3>&&_SOL9߂k5]bS|R#4[Nh7bYİI!iG8"6O2)~ tQJl$ͭߐUA+β59ΈYQ lZ \-dA[gUF55{jqcilۢFR}"cw.TƮ5zv8P?%F-v0kBq .+(Joc]L7dR]%- voE"`c 70\lO=*0am:iV"h-B|J;p&Ki8̕^c7o(YzNIpJKlfXeˏ7bǙ-n攓/Qts;y|uWPkl>"ɊAHB;wx8}"D5%:mϧj rJ>?l (PRp"C^)+yl1ߥ*Blt:x ϑSJB_=Dn2Sņ!ili4HkC'jh,j4B} U U,О-_}KxqJuE% >$a w@&GbQf6E89Qp؋*ҫrI<bWtԮBJ3#p 6S<<:ĐIѰLɗ'xn%VrFY v 1FBoU/> ѳ8.pS*=5@QK>A6_$h4?Q|gjsW2]J*9B_|AH~ oxzض( dwƳ=NK,Nɏa_&lb^I:V1c,s7oM!){gYZ.(&7\CTHEئW/7.4=,k?y{1z+{8Pz eDhgIg93e1EQxnŎO%o C8Ky4뒳*`p3NvxMޥUz ~ nS0Ng䕇'<٭ E ;Lm MW!]Cp(7{(D~Q ,sԺDU_6aQjH_GjKasI: 2>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 F7/% $Irrationality_J_HanclHOL-Library.Floatdocument.tex7zXZִF! |K]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А-v@ʒ6kLZv~}FWM)3UyP#QRK[Z 38m> Z܈:%AiN$z Ac9#xijDeA95"OlTZmeUw7*Q+bq~7SJzZxZt,r{=~RhmjNPh!?  |',C.ȓ hNyRGn{pd8{ܳxPŁl^AX b^9@C޶#ZyӬޑzq̕\ w)ݭs3VZ;S]r6 { Cre+йn'pA>ba<U%8 綀,6aU5t|Gz&5"4 v~)sl{JU̷f#w{zwUTL\S3w,|K7{w"-|VD(t8(T[hV ;ctI5qQ%XfT"b'Fljiwgtȓ-g3n]+l70'Ԅa) ^S+B)\,f{ƕW:aFxw1Ⱥh;Y* @{ @4K:I<8nnTto<%@ŰTf\ N>EbRTIVƏQ昞g6:WvN*SR5FSx°X5@B#%Y|j QҊ`tZ_3~*sjg]y-|R8!*Cꏫ3s6e6L_R!4}}PZӺ??uXpJ=',ڧE~;3xEmW;ϹJTMONQgQ_>`h5ztHwLBY%Ln[榖7HRsZrHXdHQr8ZYQCJ'/*XMu4#xI*D2ϟ u;u,u5ZDh/8tUQ/ L2O!/Ϭ cta]S-fU!$*J`b{Xh(OSÜGO$Xi 3<ضZ)N Ky]& ͐`8pwS-NyS Aʮhޞ{'8,aj1"Z `ֈ.ȄlHCVIqxEϷCqͅY&Qf5SZ5F$S s8#|>W-r_<-v"`"TA h)}izp);|ޠs-C]L[h& "syXSn YS*LV3hFMaoap^4.e$7lk9ue- meiM3j ʦePbRkHbnO.51 Ԕ]owSy>Fκ(lV?Ssp8>~ CC!7M% IEKO-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 4?R,meQܷoµ8b^wHnùé4+H8*MxDl̏nRiuD!{46g@_ 2a$Oi ^95PЕ[`؝Z>57.6Xs<;#_X5E&Vh6C_3ՙ}dZY)I΄e c̕+y3UGKDlIuۍ=mF;?!r'~%{pȍed o 0YxyBjpm~h&Ww <;S8gFb#5`9 wIgؤZ?5?q?P|6/(h3Oh$p_WV_"zJLH._~)@F PJ'U lCxqĽ> ^حx<-K&I C[fF4M2cع/CFєT/(ommoa^ZIpD"<+iE:6?YaH?ZrkLqBSd .Q3_\HYKQHhu#GOۋ)"c0jh$^:*EI\>Y)  ˌ]o[`lx%CJEP# 'L<80 ==}[kX>Z/+PG\r8X4{B/h.Z_P(+562gSu!WwZd'r:>iq.ENs+y5VrW+GQSimf=YvT^? /gZ=liO *y1ljA+ixɉaVKVe_֥&&Doe >  jI0@hibr247vo)(",%n7KYg>aIpQ1 3,q^p\XZMlSSzkBc\ttߌ_;KQQ2YL~9 0N-2W¡zr@m/B@ED.f'۞z^\B! xQ]1Fp^ O w?3 v LɱC&<ƧF~+z$Zr&?yU r)\g }m( V),HDAj+G>R2nϢ3a!i~DsP^ҷ Wg;P#8$V[Uj)FIu"%iɓ &LaQ4TYY| +3ݝ~b Fè/>{x/)`*9kƩxK3\qg{GqO*y,--D3.%N4 1j;a[﹀J:wp$B?8MPT}몌( lU =`>3jI17/rO3N ۢm^J&7At  rcQk-;-YaNpMloSEwoܙm4o:}Bއ8k (>B_V賺XՈr::zڞ'z4.8{i0z+fڶL4JtMw#xg ЄJԃ6 ).Rvu 8&'ӛ0VC]})` $\Yoi14f n3HuFD$ ?Z,_UC{c'dhyNwjJ.O.;CP؋&h[ i#=H:mm/F_؅F &41NB(3jF%2 VAkIYϙ@Q)O@%{⑪-M(oQeP|\y^8]8*:D ,Ѕh͓ sW E?npA'd1EȘ`ul ;J3Q9~~Z$k;|!2]SW3t zyfT9o,U>rIԵ1k+[ 7|`ArŨ9foI}E0AVN b;d᧺^QfТ# v[VG~R$}{NoÌ߳qJ b(LU| z2g+i+OG ^?GK^3Οqy‰ -8K5>i+ &_ՋWI-ȿ":m[fZ,ILMWϳ4θA1{PQd%hD:1 éi 'W}WEP -Wt'93@ hΫ[ pt=/U?Q.bE]|41X2:J2,T]Le14JH񾴉)˂8,o'_RfNcƱBQQ$ h -aDV&$H`XA4F^ 9.“2MmOʬݨx<L8Z\(o_gn @c,lzd/.nZNXsE+)^؝f|VJvDͨsL@]{"23L*>с1^#u)93_W([gwȧmNk$_ѣA㱑+nceIOvz2!*VSx3%J@LB/erEJPݼ8'T~ϴDabŽz#']9VɎ"B-Hۏ|}dH?fWCv8ŏ@N *h'; ޵Mt"s=i YZ$#I+wEVv;<Hn{tp^dVYѡ7Г gt0<>!4U:>9TMA1x*h"חKqiRfB+v9EMN,;n/F ` -[G0ȁAnjd(KĹvJf)> 0^<>V+,K-B:?ls5$ؑ+ylI ৷H^?"D ѽ 1bc$@m9 f>enQvSb;S|1Տ&-2EPe*_ dv(.qv,f36)U#lp8~;F{Ȭ-]}D 6В}6:3J]GS`-d=R# t'+.)0%.9 Ȓc|'s0iRxv3{G(x)Xx$ϐ^gc!% K%5hm(b ؍3'4sf3+WEM䎡Sh\4Q^SL>ng?##p3@T)F:S,)ӎRo> "&Zun@QH0rva5aͅ,SFE0{5rfAW ':Rr⽇7fG,*q8B\3,(*N0&t[a=:.+cwkά& gv$QrH/!Οiz[p2, (@|R$_ +`%ro;7ilfGUG:ĪRQ Yɍv%-*TbrsXVKkJ_7CRŚ|!_FqjVUФ[ Lƹΐ}X{)C>i9ւu/L]{Z3Yy k.F'tbD _ 7 Smk%  BHX-#̘\t#*:Lesa:a_~a8hU4&K5#X k{ G ՚O@R孏,b7rҠE n@ޝZodwS=ASecBTd 1u@x],gY\5WFq O !Z-˃+}Wˊ[qnk{is٧'@Ќ\Jn5-F+iل-1㤀5 QT c_ǭ>n3XW E@SnD`Q~=Yiǫp xd U~ xN)9j/@G3̣CZM2;5JtKM7Yȇ {~pZ5鬤<(E #!i~61dSڽoƔA b'aQ@XHf/8|yvFf2+r?5^(ac Jbq7 Ք{R$zaAuiO? Jm]ա%.F3惆g&-y-\idzHCk[-XFAC̵ۉNJPB0 $MKAv8_2hԫI~+JIUPJΰǤC]\/o`U@yE5@=L%G0V>]Yns(h7Qb\X嚗RSicJ \ȍ59cJq,̘GZ|qi;w6z#D.s-_2# h&Bh pW+SD;o2OKxl[Bcκ Pz-Ր20_5" us.QǟyhG0)J3闩E/ְJ)|q aURVmIӑf͕InYci+X1$c@OE9يڬ`xj(ipFц3Z_Ijlp)S33}FlDY;Ozk]رv9z8|Ww6UJ=d$T@4Nq]}!Gk_ W& ǹ#À B#, KqpkS9_kb<=x?-$C_am~5M3֛zg+|} <<B@iʴZbA^#3t-`jzXkCqV0ENGdӉ-8 ?fBvJ0M㤲7dfqW/Z>ůpixyAN.Y[j:wRQ-sm_Ba^߀QJy (i;Eu7](7O0$pD'WQY 'S_ȭ3tM;%௻C_mI+C39'/k`sy}.x*g.񥺳 ʌ=,pS񔶙鏤GEn:Ȅv5N^h-#qBYCi-^g[soM3G`?Лx<tlI(/3TGٮj -,)Mw%9x,Ǫ"}@2Q,Fw[H=I)WAuʈCs'9D& ]]kDWiJǨVuN#tNeGͲBބCX7'rȉRS2:x zH|@ )' ,vV=ꥥ畮.uZb|ɚ Th=,;޴(VeM@0wօe{U:_Qo8s*h+BBp5ot]dEMxz͟$t2]buxq|yi!WOMh+j! Cw3;e {9J:JβM-z*M5⣁5Ua-R{ JFR 6_P1sZ+8PvZ5"0:\S_nJHT,-332I}`u@4 2Ph9Err`#+2m%,n^RӔWmիyBOpjg[@}D=>ǽqmԾQ4 9-R lIp/[4F(=zb_ʒ1KȨB\Kx;P3:Tv^\L϶a"B NՆdToD_bgji`9-:%vR>BP4FkBIc#)Kb*4B;F9aPڝN![,ic@*Sޣ6݃ &3Xu@AEӬ!Mg(ũ8׀դsW G~W3JZofmtDp!'VаRnyxS;GRW~C0ʐ 8et*hKȎ&j؟+I9SίM J{6lsĀ O#9~k3g0ZDHߊY<֞f:2kPeLn̺ۧ=%Lc~BE18v!0ReK nQ[[@#Z4'0 I 40 ֒I3i>L{ꊽSXSISW\nQk'kCec\5 ӋhP6H2^5ě_X%zCUC;@$T8Y3ˋWF&2@$B#R i'|X)1yڏLKfN6`Tp@؆ʾnI&/( Nâ~v*s&eث /]>>E8hj"?pՐvRzWHEh$gYƜR?gM1s=xlZ5 !>X]rgb B $4.c+r]3 ڲZ%syf](uֿuT 0u/ 8D̸I਍YZ4ԓBCEsfB0xy֤Z/%݂fz5Z>ڲ} Əf,0kflw2uPR5'XLwVahW:&RhHՉ$)WNƠ^Qkh臱30Xd4rcD>Us@V|ǠV>WB!>rѤqmBw{Nt_I-Nm ' 'ǭ>O4N*5i<@yWأS2=ԡ\- 6? 8(b>|rWqc+9{9k\DaѱBT?u!HvAG J\/@suyv~>ۻ9!m7[deQv~[A )r<֩ ȞR2ya+P;mnzabsdJȒۓ- lߑ֏ Ǯ]8Vu%y"4.I+}ߟ!WJy9.DPcoעE5.UK%* >ǜ咶{t( 5lR>i7w:<]DBΦx"9~{#m^ll1fGJv0U^[Cbl$ iAJdJփ(-ҌkL% HCXγT1gp gWx. 5D+4mWݳI=](t%b5$+D;!sAo8P GDIHdJKr /Xx {܅ƀ gpc"* (+)l5F'[ n.e7{/x?/ _tYȗGTuHNY~V,7L6T*4V`Ǯժzx6aWZ_ξܝI-=a=FIyfwk' o~C4^ve>*^?jv PaME GNٛIq&򆓾l>1H0XYv{뤱x<|"μ?^A{k.׊blBfn"(CuQƣk 0_ۙHeLL3"V04T0Z.ٶeO0fCS]PTb¼P -v 11h5*3oBVax€ߍ:gs?XMiyk\ԣ[nsbAҮ5GСEx֢.-%vOpĘq#Rm!Zr!0NV{L9u:$K7yxcR}J;-Nw %R>c}\-{{`xo4 S,2l 2Αz$@ءr0ǠkyPx1N0S}|ڂEcA^n6%a ~%L_XZW=^ϺmZ/,R,E+s3dНN킈"<8Gj򼆃ޅvj7.YfW?P}sZ-4#OulOAw!cDd?R־5],Ǵ!Jߔi' {*GHI풪 $lPCx6+9OdL$z%s4)@/hu81BֲeIv)xHH@tq9iׄ)W!  k_AGnf/˰BrP3Q9ᓙ$t孕,֡jյ.d OdW<&3&s(7aǍ*Mgr:Rk!dķF3p]hUL;V_\/^UyY耪BM_lfdV P;kb$' @jgv[6 Sh{IzЙ凍a cRt~n@CD)NxPRsf+T}÷~;Q~4TRǶΛ@`m_ B:ڍJ3j5)O~ ~+exdG?hn8ng?imV1DM%$W>1exj<7&ص: Qelm9_ypy`JˡG㦒1AurMCߔSRa,j+ܛUK 2'^H .n%sx?,]D؆3=u#FM51 q[*ǘgjT?"Bĺ6y.<ċX֫S;{'zfMY>TzHi`>FLLkU &WR߈`fٮIPWw= P1/M ] V{ydj2\;KM'yJ9Fb[ !mt9U%. J`kQ{f>*l" F7k^]Kނ5Yy)%j) STӜFۛ✏w^66bkN!8~<5!evvoXP^,@ݘRNGV'QYT5@O\# _sԏͨ)S%^яf6?Ckg G['K37"^py 1+/wWl@TLb᫔S+G>e:Oa&=5v崀<ӃY*SZMEM] Э7Ň:` =l"\b=9sY(0kby!C)'=hĹ s<uf߻% ~Y.t֟ Sn4I?4` <{kn fܩCg9I١}NY`YܡInS;]yфݾB`")ahe` ~hdE՝9| Wk 駋FT]]&IOwh$3HREB3X[DxV|MO`cVTJ@4E2~%pN窍滈̓tƔ$zp/>J=X$:/KZ"+"߷\:ESizzQI)Z3}9 |{L_nؿ9rA |0uCѽ(& I`ѧ&L-k,PwcNP<'.&ڨ p-%-jN|LY ~LePU'צ86yD4R]YB0f-Xl ë> 0Dj(,nA|,5Gҧ_j&eU*Eg\moLQxiɬ7XlSG̜4e2g[b1 Y!"Ӎ 6<əOֶ|%pWt^̖tȗx^ 6ִDxDdg8JL2G:.n֒Hjy6CrNR3'SHłڶʆ L07ip@ \TH)XHD(n:|ISG NhJ] 悤N@jE?I_p|Ele, 7+ji^Gmb2o-,kzG8lʅst"v@PS倫gI'_'#~ 3&3[rV]d q*:s|&:QHI,u5oC-:nΉLROP WйFuY[nm͏2|2nT\#u'R ,ї| +M# SSȊM#,,&P~j8$H-c * SnM;WEqZ>O*|)<%%~BKQCwowvo=Lֲ٭q3_@.,5'cU+/1@lX*^^4ƫ.R"6;o ^nTʷpIrR +73-'2Z<L F(,~;sHu-!OZ'ik nBYd IeLQl&D0ҙ`p2"x0>*Oy?05 k ҢYw,%pf˙NwЀU9!õQ@FgM)p6>"߇t1? pzh71W4+eH[P-]_5JSY|g ib"`$'H=p'1ݨ]Y,#eY+[>t!Z gL3CW^"S?!,9yˡ@ {8qrI{^aޏnAh ZjZ(?|Zx-YG 0CAPO#7<2$6J?{vua;`tnz:c7oIk HsҘ!]t ThuۍyJuď 욖_Eu(kÈ7ٖ"@*^X/i@Eʖ1ԏ.a%^WeFGe[RnS#|Ui>LFADZm:Ww6 n"X\iaDXۇD"&MckN%&}u`b[-& ؒ/ɀòiIZQ7&dڥr"0|4c;07&MWPlFnvR&  кo0{ͥ粿n{Om9 2 KP^;i/Ӊ\w qMm[ӔDuyT],ZN6a|Cp쓩?)Ǒ Ҭ3mj/G[lp01qZ=qNZʕNHW&-, iL>!ke?[ l.q$1 -^{,r[-="lPogIf69Y|40(% '\,< c)9j0S1y5;jU PjR"?wȀ4A؂r2Ү+<=#9et%(D8'=RH} {yqB~KIQLdam><'hVP?/t5 -.ߒ{ь8lڮ-1 5U~*'Oh`H,;fo\[FAQ0?+(4¡CW5Zfa|;Љ@9Iӣ)1E%؋pǒ:J pwe*`_&{m,5{x{e@; H_4bnϙ{ خ6=\Q>4WܣwHb > ۓw㎯nl,M /-FomfcZImQQ,:H!MP.U=Χ8|G%O`GEcu SʬS$|?ų˫8hw5aMi"XSA,ؿ2|TBN!J!OƟ2q7LC@Y6aD"1}K mыdNkIr)p>D`"x8?u]:WsZgyE5Sh=om!. _` '$cN~,e b.qRQg96]gtʃڗB sV^v!aj%]}Ҽ2x̙ J-w0Op]*>Il P_|Xj@%/Nᤰsx ;@@]^ܯ@tT>~)]{-BL%#-U)nj ]̈T9B-o.P-VȲ[v/Ԫ6N;a6L5Ĩ_ǺN>zI{í\i2o6!35vvE-mCֳHuLhW8c#.(#.AXymmdip_N//Ԡ&NIǚ:u@I<(>q`4Ӌt hjEc'c;9aK&0Ј0;kQ2nq(D&W`ݵ #҂C|;Nh\*wwra酪i SÞ,îNjq ͎ˉ3k>'՚Ob֧[CAmYH!G t8*C~BC2:͡4EOQtVn1\ eAp#rr9lQkfGv׺f{W ^,x_+1;}_"֗@"̶Eת=AgV7TG#Qk+%XʲJY{ wPC:F7&BUyN0>-L4:lnTP2o3< g}zRyH;گviEa# cNNBˮ\b2F1}OsX@0j=ǿ喬Jz5vӬ x “b V@,6rN顇8ۆ?]m-9\|i4lשR0gP4fmg{6(ȩj_P|# g15{R.I2GZe]N/+gܹ;'R@K>Q3^SLШT7X>Бhq7Ȑԉs_J9΋BN^|똘j\"k1=>lx'7\9?uL霐auZ9scJb<p>ӎ׿L p^[W6y XFOSf~Yo!T1/R(yJg'wAM||&XfOmѪHapYhtUKQ$ R<=|Y@衐{1g! [)9,M/zVb0RJ1|Ai0<""{>FT`j:!T+qy0_ u,_!$@4+8QR2&y6O÷PSԃ=#ۭ< reHSrX d~T|Y4T!Whz3qkNWKPrEP;_ktdnT 1:w9ؾzC+9K_=g[۹N=%!7K$#:JHK΂&`-GoqC:& lfn4rmc L!xH͡aTT|[=e|k#[$tjA"cg&\Hs{W(3lCCvOb< [&} `&" O~ڵ Ә\Aޣ9("%=-iD4TfW6R7Lv=KG i i-U&s'3%d8GU~}+~Vp)SJ#*.3`'/~)fd_8ܛ"Zb)%vl8^\LTW+{Ʉ#d9O^|sj4y%̢&F Yx+o2tJO.9)CbJo!0nM2 oL3rYo!bDz( D"K%Ut2{D53g2H?I2S|1[2ftƯftG9a4|Ma]ft87qD6 sy7l)T$HݍAsd*ǃ/jR/̵C6~`q1 #?gJ2#2JʁTig1tt@ 2o;TY{ Ix܏x}6!ZQP/|1ν Tv)cB!5$/`(A24k3HN3刊SCFk~y`A}"p+3{zh`W`pUk>`*QJk=M%J=M ^}u;E=#u8+cgW7b[mN@ *> CMιoj~"VFgq(V  DA=^\Qdʝ=BZ.v6wJHEu1-a԰G1Y7$dtiw Y׏P Hd''WM]v$vOыMOYZ b>u,H诂*zܕ 3HQ7aF J^$p$:MJsF/TBʰh1:lh80#oeQ{8~76KExɡV@%3M\SQ](N7"l_lM}EX>=N0޵~T:wa[4 z\۝1'SuO>vp HRelF3Zi,izn!~@862۹GW`4Tf8 yFy|c,;ca0 "5֑h!k1e74A͍iéD ^&^g3 ~ gl'FQT\H2<`[md 03tW8j.b$خ|wdҳ2s} 1f Q*ɼ=`o[Z :=}5^-^V {Y%gZ qB &[UTZTTi. !+7MSY,e^N&]e^n6EؕDV(eE$ad,tBQDCzl9@[?,bYj]9ͧ%kͯ 2'rN^mkW\GSiz4:gE 9fsb)f(#r3^z˂Ĥoӫ<|LFo{k)5N5{b2:Yfz!Թ$ &EJu{`J#h m qNmB!>= 'enyk2^R{8D19M: j B78TMu'R7^ ;]싹>'w˴FVnb5l+qX3 䔇$#n"zzu ""k{ڴdG%@ ?y#O:Xt{Bs).@ ݙOVΰJ ,׏Y䦂Čh:W[ S ZY^^kd^{X)\*)&Z%)`Z>԰6-/‚y ?,,Nnr}v.AVˏ2:Eh9^70X=T*[SH{s ]QkI՞VYF`g_f| бVU2 7}f /Avڝ< }xb3-[ou1ӯk_|'FEZGGQ6eZ;x~Yru[9VVG"&?[RE.$":O{Ҙ˦ [By%U4mmxKA. 5kwKFnm2Е[Uc"!]Cke=gYZ  ,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ǝ /V kѵVѠDF;]7MoFgH\L3+y9?Ct>#4 x.%ic_]9.97:ZWα,WFw+ڴ 9c3 nF~TecWRp^"@^GSRP=;~W/+Ryy3 1SlnhU׆s8$݊ ȇ9aedI<8Ic=yn[7 xaGiI1d~ťڬKugo/7Z݇-B7͉/]͐eGIFډ4}H-Y g%WGFU8 p}*)s&6rKs}H7 Yx}:MvB$1l:)4G7q̦A.,!jA.xbu9Ň#V+4DC0ᖬ ; vztmS-OdQ@V74'ɴ [qʮz΃&.8%leo6"cPl~ ܇օ%Ǭ:>`z{TFpwTٖ-Jy{/H7dv ޻gf◠ADjM!' k2Ujl e'~EO}sƲvi{S u.K-_io6.,l/R "NqrSU.vOT/]u%=K*G%k7xxBB !kz+_m߄i1ǐ)Gfw!\4b@\]OQѸHCFtnWq]:D.3qM5DG!FXH%CnkH3B_!A#_0>]u f>h`woq$X WSVMJ+Potx_:тu<&Vn-``Y"h1/ZD\Wjj"n@w\>9O ͷ%HS97~:th<`Zߝ) Qۊ?ݰj^Plӹ,x?퍼 2o0톢ѭp"sDÂC7m%_DyI HTԹ9b9,l">=Mn4w2QJS$sw6kf;kED:9at[y~ipQبwH=ʵ1kI_ :ufe$hÙ%lt**DVa& ` k ]:R 3/F$π7o`>/a-_Gȹڮ[k> DXҫL^}MڅZj>Mtbr\Ǧ1 !QӮ[Uz{K2}?t}YIˉ)렎+^q~n_6foסws ۥeY i]~-ZVC0"d!0_mEнrӀ0ھ.WixG-d6\{nE t!A|GH Q5=n dgMݷ9K|F̦h )n^;LiAҪo] P*C<)>-y>M|P~6f L:i-t#Jx͵eY@-]CjmTX8qg.}nAI"YSJv Sc3-@̜x K1* *05G7wN^\ylz@O_oO e_cQT(($-扱rB37@UL5Yٜ9|f#." OdxC F;mނ\&|P~9]gNgU@<.D 橘ִ{,=xbD`yER&=jd8b+lZGP7CŠI܎QZܱpYy <%g<*ZbtUmD6[ޤZ2v?gYZ ==87E% tIrrationality_J_HanclHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! `4]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|avY<uU} Y+> O\{X_%IhnH}Kwflz&7_ ܺcuYi?'])ϿtXd@Zi 3ŨG6YSJ9gpKAcbķL:T K!՜NsGTޫ.:j)rR&ijMVp`\MБH(_JG(ΏBSYʴ|mTMdcndBJqHpK㲔4aƔ>崅} x51dPؤ ?=gK _6C(nħ-ىF[;)m|O2Cx\1ţ˂Cuջun?"e8EGApPyJ۬BOOt G55Gn~a1{9:qBtS0pc9DPXB:\[Y^UbHh'Lp 175'ݝ`}SMc(<4vmRmZ.Ɩ NZp Q(]OӮ7IERR+,vAVIyԡLe-ܫp_jUu(^N `!u{h֌<~wvk-.S@KardJ$1].:*poKbR?:O^.n'\ ^ !r:lhESKuiY{bUi>zܖ(V!gMS Ovi:H s/7י,(BLj ׮q`^Vi:\>dB+Iw,8[07Mq#5H.%yk=Cc7(JGa *`:+-AS60}9Py:8ҭypbɁBfLCI" ~5.:,G\6I*aY jm͙/L=?rO=ns ÏQ:nNCw( y>bTUb"}l^n=xD_[ `XhUƠ\*E=BkfZc7IfܥF"D)$\r~UXx_?v$U&+Ch"*:F)tt=a H,i.q6~mI2uD;֫{U.mұsx፥zNJN3 ~ap)x vAk $hJPymA on0[JfmϕnR>*=,9px((5! mABkU8NPMWQ\N58R0NU+sCç1@{91*x9_o)|fy0,S84jR@tЀ >mz@ yRG1ct3)˷Z\l?ztW4H H%=(Q0xRCFW_8@R}FZl5r' JHO*a.ݢi ,Zq5֧t^2)gN+yj~h^Qe&@g_( џq0=6|txȸ ',(Tet)IƄ~# )!lT^ Uq[PE: ]4Nߦ Y+/=PYIv یc2Ҳ'&uyΏd9jK%U%(=+4+}f}_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퍇 G)ȡ֗=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>TTZRgYZjOy258W@tZEQ%о}>1s,?k'a]:8 /W?2|RnW?Ʃ>&={Rx 9(-*?"T{XsB*-LQit{A>",m9R{DڧQ$~eM~mhpe=]b9' xiRD~L#U 1`\CPdcpGb.x>BB#X_3dƒ9-Z÷]kNwk49Kg7OĘ\a##"M:)X< ( psO( X~ COyx/(K Yf]SsfqDHNB:$U R|#&Bz-KvbJaPfW\YtDԾE CҘ_RW[gԻm_4JW ղo'Gt{{4LLh|K:\ɑC`^رNEJ/Q[+sʵ(T2:^~W<*+]ڣ<3 19 17S/WF[7m2Ų$d;zWLW ryJ3 k9ծrA Cc{OQC`g'G}W)D V ǰ5tI-:ǵkyg,%/qLQz.[* `Z7W[Xl7ʑdpT)8"hEf*b]ۜ5Y#MԋoԾ^06A3LAdgm3Bء^O/iX]gA@bx0ua eoA}s!HA(}<եf`{vVjCyt.!?}2C`"6S;lף[-Y}tJY+aA7|SF<{[n2THp+J/u͕(?eU9~x r%{x]tw}A?*m b7N`:qVU+2aJ:H{nЧ,E,fF=|XY2ǿ\MY:Ә؎*oRY ;=0X~wr-zmO$1q٧n]vgt0ln9r""/(wg;u3rx Pfo<" - `69/hcC G)yJιS6֓ƌU%`.&kN_L!GZhS, c Y_(+[qc KlN9g)OpR9K3&^PuS QoxӝO$²pe#aCzrk]2嗱 Aa_!|m[jYtϵ:/$.5!h&@.V!n:`:uJݔxX1 3Lr:YHTC:rzgt x*"ރӎ .9`})aC61ٸY|J' @A!9[Uw''Y uճb1x%mә=^#+mD7!\Ƣrt lC4 14 sLK^><=q#`@z Rl&hS5h4U.N_H.5Rrm;ܦ:SZ8µHfU?D*pg&w]`Vbh" M,A\p5h-< k~D|o Bܣ83c H /H̗ BC"^$$EP}׵E*k̸8'cQLtgtٽ|i|;'%;b$lUF2N-;!Fi5jf) 2=^y(l7vrW#޲$CgNd;;LMOHGWΛ$}\8G~p/M.rB [R 7bF '3+v f*G%c̴a SaDqtoʶ,Сáw{׈Ծjω<9751-%lrކ4C|֘k܅s⹌-b{me ZZ8RoxS1*>cW?Y!"ΊfQ4?DIre]QJxK8Ga%2_' hq (B=JByllq9@,)r~<߉fRQ+_8r^ ܥ:ɤA;=e"6&Q\wCM惬HVshwN vJ@kR 7!k) |й 9`.-kug[l3Ⱦ+HXw-, 1n6&XZ2x|Veu4)=-bKm}N a #"snMbb&a긶*OiD0r#X=n*xot\q.$(O^30]Us-o|)Od ':<Tj:)x"Y np)'Λ'h숰ݕ_i57秼$)A}yuҲ¬ڱ"]\Gsyi S{J8W@]o^Mm}0}Ӟ?K>aq0+3trht46A60IBu`l䷸ЎPf/V̙-HOݖ.غ8fUS>ln- *̲,o`oC{;Co6ZĊp9zB-;]Di:pB` C$K?g'L3P g +BJT`>U{ V|3sAKPWOh§SrTf\sQ|=~_P.g(EyT:|J\Ye꓍\RRR{&5L[MLD\HVzۯt=k}bQf=i;ƻX y;5Lb zH2xZ,?biضc a%06"KG>Z'k ,u ܘtԢ#3רڬQ34(r}붰ju7b{)ۚBg7f_'چ/kr2H #A@OCX Ne*xM|]Š[=9DZ]:9xVFQ= Myzvyik:MU~)ܻ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{73% Irrationality_J_HanclHOL-Library.Log_Natdocument.tex7zXZִF! 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@Qj0 pKVo1iBIqVA^kHvRȪ/O$ktXsMXA@_? &h@ktF}X?} ^Oᵁi[ަTI;;9b*A0[_.%ؤn9: /SGLt dq$[Kpڟ#ԦV3y(J\% + : :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 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 Ε gYZ9<&M'7~5ngd J9(:dsiRW3C-rFCVj9&.F_ijmP .ܞp{כikP4Q CU5^%"jVk)4(Te BQf\_\܇k}k7W݈&/o !5!=z"zAYQ, jEhdhIЙ`e ^*|tt-غw{أw&}j`-:Yg$@N|Ko85茷ϋ=X#j66ل=`nh`4mV1՜q:u3_,R@R@ɠSByvr5òE,Ұkz>Oym}SL.\Օ_,.쐵'-xJQ E5tjhMS *@] !)9X- #Qn/{H)[ _|G=C:`#8($DJoRwvB<+p9.Eeuf]s+j[\pЄ^PWm*ۿ>6BߦHGEW\$ُɉn,cF$*̞".Lv'J :1&:Fki$RaȤ6-4Yl+/nb gqMN~9 ` 46(Ԍ\lBj6xprCJ8dJRAz$ز~C j}yþ;=h3JT<o{m Ʀr0PrNbL0í}WOybcڗ[ }?_{5;u8oAed*)=g;QK/_ȡT_Vb̢.0%k̻Sڟd6WmOSr E>w|#L jtYFf{Ӣ!įSP ztDԾ_XX=x̑m 15q6gb ӔŹȈt<-Am|<0d˿IvޢI |51WFI@fa=jkk40hC ) H;$I.z.MnQb ;`)99i2Ϛbiߓ&Uaaׅ}&u)帨}*ֆzL& Ej]SQ-,H yE7ԔI0+}1Κ,$YCubb |L^_URUL}J=9h&cs(l 8SBt|}ml0&hn>:{`%Xϣ^yl3E;Q^拨PȲ:bbZZ1'"1TԁPPL=yH8whȉQ5$+ ]vCVt=,x,i ޲*fœ"jꎈ+Z$o\ Q{dK SpyaL$RBt2w6Ba,ebveФPM}Ϩqܪ5۷SӍ=.pj.kuмٽ"[Pwqkxju5sY\_cނT (@Z%CD!ApCT<"kH[1,h-gJ}Cߚ[k ~CUF4"wJD m&gu"NR'%NAF@a` n`XEaJhdMyXB4k^w +O A t~{y#:8|!%LS&K^=W|[0KMD~ӄHLӟ.^Qy#4f98XJ.xa2kdfrUU(?H΂h dq.p*"-;6el? sS ܐy/:g"[my_ʿ۸&FK_SiT&DĴCm[ 8fX;u"M;O|F-&L%e EgYZea0191a039d5e3be84f6e390dcb472782f72015ae6f176688a4aaefe6d46dd50c332476ccfc258e7 b1373408ff8a4b672bcc15de0dcd755f3183d38c d73a2fd4ce523a48c9109197e311bdaecd90adb3