From b7b868de8552eaa872badfaef579dd28ec5879df Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 10 Feb 2014 14:01:08 -0800 Subject: [PATCH] fix(library/elaborator): bug reported by Jeremy Avigad Signed-off-by: Leonardo de Moura --- src/builtin/kernel.lean | 4 ++-- src/builtin/obj/Nat.olean | Bin 22847 -> 22935 bytes src/builtin/obj/kernel.olean | Bin 51235 -> 51320 bytes src/builtin/obj/num.olean | Bin 48176 -> 48291 bytes src/builtin/obj/optional.olean | Bin 6740 -> 6785 bytes src/builtin/obj/subtype.olean | Bin 3016 -> 3027 bytes src/builtin/obj/sum.olean | Bin 8857 -> 8874 bytes src/library/elaborator/elaborator.cpp | 12 +++++++++++- tests/lean/elab4.lean.expected.out | 2 +- tests/lean/elab5.lean.expected.out | 2 +- tests/lean/elab7.lean.expected.out | 5 +++-- tests/lean/j5.lean | 3 +++ tests/lean/j5.lean.expected.out | 3 +++ tests/lean/j6.lean | 8 ++++++++ tests/lean/j6.lean.expected.out | 4 ++++ 15 files changed, 36 insertions(+), 7 deletions(-) create mode 100644 tests/lean/j5.lean create mode 100644 tests/lean/j5.lean.expected.out create mode 100644 tests/lean/j6.lean create mode 100644 tests/lean/j6.lean.expected.out diff --git a/src/builtin/kernel.lean b/src/builtin/kernel.lean index 48a19db34..78aa51c00 100644 --- a/src/builtin/kernel.lean +++ b/src/builtin/kernel.lean @@ -809,7 +809,7 @@ theorem inhabited_fun (A : (Type U)) {B : (Type U)} (H : inhabited B) : inhabite theorem exists_to_eps {A : (Type U)} {P : A → Bool} (H : ∃ x, P x) : P (ε (inhabited_ex_intro H) P) := obtain (w : A) (Hw : P w), from H, - eps_ax (inhabited_ex_intro H) w Hw + @eps_ax _ (inhabited_ex_intro H) P w Hw theorem axiom_of_choice {A : (Type U)} {B : A → (Type U)} {R : ∀ x : A, B x → Bool} (H : ∀ x, ∃ y, R x y) : ∃ f, ∀ x, R x (f x) := exists_intro @@ -819,7 +819,7 @@ theorem axiom_of_choice {A : (Type U)} {B : A → (Type U)} {R : ∀ x : A, B x theorem skolem_th {A : (Type U)} {B : A → (Type U)} {P : ∀ x : A, B x → Bool} : (∀ x, ∃ y, P x y) ↔ ∃ f, (∀ x, P x (f x)) := iff_intro - (λ H : (∀ x, ∃ y, P x y), axiom_of_choice H) + (λ H : (∀ x, ∃ y, P x y), @axiom_of_choice _ _ P H) (λ H : (∃ f, (∀ x, P x (f x))), take x, obtain (fw : ∀ x, B x) (Hw : ∀ x, P x (fw x)), from H, exists_intro (fw x) (Hw x)) diff --git a/src/builtin/obj/Nat.olean b/src/builtin/obj/Nat.olean index f9391e528daddb09b4a056a613d61c29ce116217..8c23f25d87d94080ab941f37093f24a58ab3568e 100644 GIT binary patch literal 22935 zcmb7Mdz4*Oc|UufbD2k6W@-r`LU5Q6LWs0UN_7c|9WVnEuuO^plN+i5Nd^WblrmW>!+Exuh=#W4)EKzWkT7hM?B@pTAAFbNQ_xpY4p1sdL zXYNe0V9&Sr{`R-O_kNsn?&xr>IO|CO zBD-mHBB~D8tK*SyS;8_2G&7$arlcG9!YyGD=%m9jp!wMVF0ER43}ABN$-p zipa{}3s8x3sM{xp1JtvLdJ#~Q9I7y!C%R^BWCUw9P%HVa*Y5g~*Edw#5+xLAYb|QG zRSbwsyWONfY%d%g9gdbX^p5<@Ym_w6-WfUKTU!%95ws{|XP({%J$mo*=+%du z$}m=SvydQ)99!1j7Ri55-}}kgNm2EdC;?vE_~hozgCn;(YD;4~Qo9j-Le$ThdNGN55Ft7{7;-x6NQ5cwyChT0leFs{i#b_}mn?Zbb@YdSc=$Mw*=~;Q+8#1b8sIiG#vx!#F&YXr(T;)J1Du#n>kA& zO%^C;84IAko|99ZU2e`ErkV4A&_?ilfEr+H0A9w{wE!eSJvB;&VAJKX#GtJcG848GqpGXC`5TH^1KA>5&mrW>! zP;|5*NCCN-V2#L%Uu>xkkJkok!}aZ{+st8ND-mBElnhS09S`LZT+};orD0QoC`b z!e=()Vz53kF*eG^)B|QCOw((g6bZ&BH;tz(IyLmse|kaH=a3@Mov19*SS*$pt8I~G zkk}|bDa?)k;r5hmQl&6W4fl`KR)$tpg)PgZQnQj|w#bFLLhpd5R@DCp#kw|oGyWo7 z^egn~Gf}@y8&S5>5*R%JNR+VaEPzueC`%W*E3Gu-^hB{pB~=!vG*Ea87rlx79nA>5 z02nR;hw9^-$LibbvS-3ZsctBy2RzJReVtp}}KOz28o zsz~;yTbRI)4}phHPm+Qb0^;Pi;K!hH7)3`;!`MK08g9L>q1EWE?gu6^$G(c5 zPB%$saS8fyDfc&FV2*JoxyA+%DE@ry3Hmkfc(j54Mu^I3oL{}g{^x+IJ%Lxfjh;8l zbrO=^3EY{z>Oauk5zv1VjmKuE?_?do2scZq1HUy7NL&5I4h=e4V6bECacXe7&PTxJ zQCR}L9K8wSa=8KZ6^>Eej!`t8ZZrUxS6c=E$gBy-P+ryDH2Ud!>T0Mm_J0-#rU^lF zQw>;>9m4I9`HjF|j_Jg1db$dAl6oBo(bf9Gq3D5%&B-WiVCkc1Tv%>t>56`hB8)Ct ztRpX&StN+&WKD?MFiH;>eYu2H9UmXvTw<^G8BZKeW@?*)cLa?q$Uh@R&B?V)LGH)Z zvb(?(Y-G+xv77?S`k!!Pj2K~=<1IC#sv6s8f#U#4z zodT!{>yrcv<|#F;zZWCloQJ~D#kBC$>yXHdb#+xQ>)1D&JHdvo7SrSijm)61fw_~p zY%6-Y$Sb?3F&*jpgVTfg<7|9%kYF)`HA-2YVK0_|2}Zn2&2CjRd(f?$N+-x}6|_(~ zTGR)r5@O1_$74%~nj950&>mP)H6=bU7kte&r2kMWeC0Kp#qr0XkCYDu`lH|nx-*ZJ zBat#C*Ue^z|2g!S?ag}B$?;RD)6$;@@Ms(Ay(s*howDmlyKU%B?ZN>1r`8)J03u&t zPvBIKq33f;;hNDT3Kfe6njf(BS#&=HL^CD2q z<0$A2&Q8H5TkU>yb~ZukZ%`;ho?;oO=u$p~zqIq%$5Yo+9ps5F?!`wf27NTE) zRH;rL3Ji8XNIw`TL*pr6;yz&RnVpHuZKw@hSZOFP*qH%BJvLaF*8ec&n-)^)Sre0MXg+FdS*M3Py$7FXqPl7Dlw{J(?-iDixXv z4yt#dD4y2P_)B!P)G8H9Vt~xgIiRS|UzY0A^Di%PI8~BvdMm_RQjNPHLs?|cxoXrY zlf(m!T8fj`=-kf4=Q>BDe$~LA24}hv;Z;`AzbTa{T?99xc1ObUg zT;$`=Cs34}iR}WB``=k_Eb=MiIk@V)MX8M+n!RM zkbrYUX9hksH^6!WbuNpb9G)@kVrjFd0@G4XT^F+aBA3q-WA#mw6Misc_jxlOj}uHq zm8XYIvf^4Xi@BYmdm&I zZ%g}r>4}~qW?2sjJ%t=-c{Bsf=$X9Lcn~n#X0#f~N5Sr%jdoEPrRt27%nm2bC^(^B z#siZ10SU9 zB_1!R7w{1&9{y#s;h&OC#l5*Vbi>?->L|uEx%^10q1lA?l#Ew5^vd#~z`RNdUQF1l z%aKSq5iECyq4?LJ$HlWbpW~;1iA-RxMR8TRCn>v*Gz2v3SZJ4k>RRhqZ=g=9*Rdz> zZ}w_wwAUaxbMr}|(uIJ^twkIT~{4l%+0zKG*GARt^|^KT8h-S0$wgh&%p8WLN=74 zQZ;-eFcuVMFVE{H4U>Q$hTY=X`3Yp_1XNIZ>y-6VEh(#PYzQx^n+@PqQnzttb9Z5u{dz0nSh*xn*rk|oJ@|Fe7WI^@p56w1ZmXxE z!riTmxgAWOOW7U(s7oeJN-6jdK@OWHD24rV@WvNdNPx?t-4`MO6SqG0@v@%ZVYeRI z?iN@UTa+Do>gB0Kotlvs?9#a!r%Qb=hWUqasoJYD4%G$vS#J;({oD`QucFS#32n}0 zMfK7PB%gjpnrB|Cq+xA61Bcdq9QfW;otYtVr*_=W2og{`M~X-%LS3_yvik_?YDV6L zD2UT~dWhIXPzw7Dii31M|Gb8nh`LdDXDevQoBat!FJhx z7nCe9mjL3Xhkmn;9x)}248++sJtS}S{MTp>GF5@>qQa5KKJPhY#$o#K6B4G&N!G>P zb9(oVe(rI@=LYs=;=6T(tFvx8Uc#Usd9$J(;!~xTs4QLqJ(mS+uzR=vjP8G$TW-<~ z6nIY;5{&(cGK@x=SnCbcnf!jto*+T}NE+=c8madKLB;F?7)H{pIUNkyyD-!{$uKCx z<&4uV&B6z7T@2T@ObpI&1S~s8$Sme;Co<0^YpA|2fCCMdFFNo`1eeFwO@x*du~)$g z{s4x?wBSMDY1D8zrt!(i@`qPPHM?nPnaG8deTM8qYq~+x1J74bSN8wHfqzMGxs=FH zO@v+rOW0=EeU-Qm1F4j8=v`ib_3kl>JQrUb()7LtM3+$EOuowTU!zsQ{R9g+NnSS6 z_q)2;4|Eft0$1pSB5_3eBRs*vo_Wo8;kv?bS`e?;|AJ_I5*_ACJ+ zpK%hi1Jx4?xh8(MyrUGdzsPx^o?+(M53kCtGa$A>u^cYvp_F>flJVL^l~F1XuD9c* zc~Nsnj_7<00?~Nc%=p~85NY`=NZ60XXU~k}PI7vMNcf}7~Ly==swsGFd(7TAm5i()k!8|+7Yx#Lmk2RwpYye!}ZY6Y9 z)`5TLz`sZT`}93vCSVN-C6RZu_zWi*Gc+R1oE0LW@q8)b>z$5WEYexjIh00I17F9G zPy@9ay-yFk+!^MGh*v*WNXVPID8Ge5<^Hw<@v30FRfWA8&HBz{k0hN{uIgXONPC%b z7t33=)lK7*V?(8{AoIK~XC~0>M!^(G?RCh=H^gprG+h{xG8C7{P)*KAS6BmiOTX>^E2bG(Y}#V;8>?)VjQ zF}Lmdsz^pY9!JlI@{vkq#bZ#lW;@PF_m%gz!P&b}n1xM0`=-?VH&W%R2z`sY#l9j9 zv}i5mt$-kB(3SHaP*-2mHHHd&*0plMT#L8HZ^VZzB!UP@2hsJ)Q!ibHnF900`Xco% z3_XE$6!+=L5NWQ-);xe);dJqRRM%~2V4Z6dbwsk+i@MJM*$+R_3*Q4TQ%gU{Md$f~ z*jw1J`J>+v_8PEE%#`i&qcjobafZ7Gf zdr!peYK5pqf5xnr;5K6zK8Ml76z>y=x{UX^x#=CM+#e8~(*4kZI2ffWe_5b-9}#dk zi1#f+-`yzG5Z@!X6lFI-&O;qB;He$V7=J?-H0a(tAK}@|&6-8|=0Cysz;R5o8}vAh zE}<3F**E~U;_slIB_HuBdoxuc0?3yJsvVxuUvIxR51hes7eWZ z>V}cA+rtOuAw|j*qC@+ni|2~?ImXy7)EQ%N@AwdSW=itWNqI_o6caHKALh)xY{a0P z{vCgr0k}e&;Pf8rHXFmUn0`?zVNA=B#JREOaQzq=otK>iId267s8~Ju{R?o^U4G)g zR{@?!AzowaGL-6C0>nr;@lPR{ny^nG-DSXKP*Dp4i1#uT?9X(q2Jb=NuTc2sjtnV& zgI!wBT6HKbs^bH*rnbjWcvXBoinm%L8Fa_TAdD_I^hc5pF5VRL`c}3TB6LvQEmOW zm+z0teN5AXIGN-!N?QTB%tEogM)|L3R4@CP1Ah)sz3krvO6HY$8Fw}RUY3aVdg!!C zA>Rqnn0v+Dux=WJfHdWxQT>-`SM6Ssf|9PX<7sphlq{Y5I#4={x;Ap)dDN=LIRV=?!fjzy5q zQ!Gu@N&e^;edyLL>VE^&w9dD&6lC^L@Ym9x+`tsMAGkQ-ruzgy*|z4tq>|s(Otd z$%lcvB)iaA;wgy)XfOYi8VJe>sGSYE5WslNb2Xsio;A4_{3d*E?}dUUCr`x~t)UJG zN=dGzS*}A})eb1gK1qY!j!&w&fRy#eD}hh#4CH4gCAHeaf|A_H?kS*CEhOA>r4dXe z-;+(3{-^-!jV7t&j=Za+dnk0%nBjWNXXgW4R1N}(pr)kekAIkUX%D?9f7s{va8csf zT))oZ;g24Ye66_xeXZ1X)SjlXOs1%l4naOr{c1w-bLQMm^i&q}qq=tUaGxA-Jv0Ur zk3Ke0Pv;;7u|-Ss0k$*A0s8ksf^+wJH7C8E9{42n!TT0+fKVts+9%UgH?ZOO;-L7CvDD0vA6Xa4rt&oh<$Kyc=APXU6Q-@VwQO7`*v+#q?K z{5AyCohev}dIJ7%p_aUu@uz1NXR~a5d6(dY8-nAxT}uu$15nq`CmBiHscNX52JRGm zj{~~}Or!2}0drSs=z12#lPC_AoJe!=BS`Txz~t4@bjh(Y=FL{}Jz#=xi<>RABhHpF z@8|;GuISMl0YbZSsR-||Dp(LI+-e8D5q|A62j9RnJzGH8ZKe0CiGO2>o+qWC72~H$teCst1m^Q7 zV8!ISC03LqhOQP?l0X3?THY$ji$_XgiTqu(dhVt=0*>&6@|MB^5^Gn}+m##RP zdK!YNGInFohbYLDfZB*)ugvgnzY+~db64Dh;lV|0<+OYjtDFMT{9Q9fl6M;%oC9gh zIcC`y2|Z1%0wj-;Jtrh0C=-V(;0+M=U0qHLy z^#Uwah6a_p{?dB53Bn}NohT^s-Zr}f74cTvPbl7wAaUtgMJavcpo=W%B&SOeUbt3n z%nYTxbP+SJln{x2RB_L;b)?#eBd3IjT5}_y*`CyMf0(>3n3XfhP6MN0vkHF^O|Oi~ z=+gyTKQa(1y8na=7U+-VlORvGN|dL7=C9qEl`_~r)XCRQqa$18>Z$B^10_w32)>Ab zyOVai-BkcB;Q5c~L4VSRsi`x&X93PSrl2(d`RjdVtw5D~vmf=GXO#o_+zMBi)sZ2f z%D5S38$hRi$-c!4SZKTQAo|wNFp!a@k%!w0d0MYyC<7UnpC!x-n5-AP%0u()W_kYz z;FsH)7~;VC`=rTwruh*Nix|h813^^bA-h9giueWkqfVhEZ_+uvX$0x?KvnS@sF9Qn4 zf?RnB*So?S-clIGaA|5q08&++0G|97xPE2ZAW2;WF475q^yM{{j4#OE~}l literal 22847 zcmb7Mdz4*Oc|UufbD7L!Ehh3vgz$(nB*Uu}(sXqtBvfGrCN9i?6@%KU znTa4#!C65I)kJ6zgn~_rZ38V`t81wR!9pHHV#PL0Drs{MYy@7%rj z+2_o?Ll*4$_TJzA_V?b8bIzR{ua8V@Zj9HH{GVxT-8MNjlU!e)ny8N_9~_xV?1qt< zq{}3B)8tGtGTs=OPV9@j?n+V}vS~+Se5NrmU7tzJgkWBfoQ&LKFGslyg@O5K!mjmOx1l9D9WBPV8N_FYZ>mpC zPWdT<@ey|<)maz|>4LG2y-FhVtkadKC(Txs-jSC0XvbCtaX3t!v@mwQY>`NbE#Imh z<4BL!hv9MMSUM}Ujm?{rgi_VOnMx(?^&1=0Gt+2-6WLJ(D)rNYzG%wE#Mq8eW|Rf? zN{;Oi(_fhMI$SIDmBJHq4&u8psJ%+A7wVx?E^>Tx@Bk?^9Ruman3-#HuXWQ7OD+p$ zc1fhk0_Ch?0o2!Xa;kHYpRg09%TbtUTpr5k8bHx4Bf0|+cttY| zh8q(zQ1f?sL&s+ zK>a3dMA=G9VDva3QNl%M1NEy|6upW4oz3`r8!&wC z7;8+APBpeRWQ&A-$0Z<;9Ose`)0Yd$W#}ZQK9~2z87&WAk4sJ&nnM_`9`HVZ$5GVx z1JsQ2`vCuft$zS;KNYkMAQxe#W?KA1q06FQEJN!9zO4`C?I_6YCjkweMgMvmU=0BY z$&xXtV9wA*yY2$E8VAswD4Z_eD-~IwT_SES(Bpp92|UZ&&XNiX$|{SIOv3rb*wD`g z6i=Y&TxbV}r>~v7p;gR~s3ZmqpvrYOQIU6^kl>t|8kuM=bP;2Vv>vrGmD80LsUq2* z?^q%~J^~)P0!d0*h=`Nlk{^T0S5b5pG>rX1pyAfr7)AiS^?dTfY@*J_EK=5biC1v& z$7I8E&81HRi?Sa^e;jzUNJ*Qz2m`;n7v%vIaV8+r3)LC~KKapuPpd%=L90|t8 zF3nAKAV_wIw?n2o@|Rb2Vn01yg*wT-4ut4x1MyJwK*eS;iX^i1F*KfBZE5LBUPlod zk{0VM3TAM|G>bJMUXM|FmKZ1`tdZ&I$u>HlnggRklw5=s>J**8rM~;Bw{7tJz*l!$Pfat>zcQrF?L;?X^iK` zsALg844)laSV(In6~2!CRajHEbDNXQJPyzvg8_umM;OjAbZv z0nPwg6r9nL`wydDUhL8M0d#ei`5@<>7%Arat3C|L=P0}42Lh*vh%j3{$-x1V)XlZT zOe1`T2xop$lgv37t21{+wra4at*yL7J&sf#r=3L|L1wN46hy9d`3(A>?*@!BQQ{zX zts-f1c?&>ISRW(UHaC%CxECYeY^5+XxE6tWJrbF*zOL$JJq0hff(;uCMdL0u0=kvC ztd9DkXd%#%zCSuWn2)>h-0+!O%Wg9p%mCPc)W&&&s3vkmd@X@#%6x>-Db9C~l{P@vx@1-Fsr{%Ryr zrsRGb3dlTw9&>$jd=iJ*=g@uM{KCv{Lw7n!G%IP{N8F!czBonSkEtG54%bX}pir@B zAl)sw-Ld%-bbq!jTbf{kG&2Oc3?3G&Lb;_yY7n)TUKXDFx49|o~aO=TEJ?C|*NTj`j-U&EaBILu!L zrS^9io;1UUq@t69IR;Y2EsSV2coI{oRVtM9I;qv$K&4u%Kj#GH`1C5FLP-ped5Htc z`uusNKDok#AxNRUDoHoL6}lOeb3ck){@3hj>+&S-m06`xN)u^xerMuUUM1A88u(M- zOgAFC2{LxVtGK{IK)od*Lw2JxalV-VdIQBDMgfUNT;$^q*NKWVu{|*`h~Sw$oH$6| zKGW*Xn%bkmqBAkK1O{oxo(f9eiL8UXZBMDT4)CAVnFZ9mJH+}d>fADda=d`qrP5|k z1*Qd3o{wFAk;~_qsm7)qGhr~e`@A`i$CQyO&kvhq#kWEy<`#;=`&zXu7bXSCYdMqx zBYTQ)li(z5PmsE0#tqMk9-qE>9tK^Y``gl!Jc;h>s(MK1N#sDwqZw!> z2a8tYLBKTTv>M4L(e9p&c1abb;W;Up2`>#VPN|pekxvhUN9JwixqSI-e=CsHYYiT2 zR=X+eQUyH%{hT)UNA?^m!=!Zi&>~xy1)a}C<%E-|b#HS4|^s1Kj;-qFuJZv5Q9ewX-upU%};m-Fvn(D#B_QIGMdQcF}8&w-xL0yf&c+kZv( zzsxT;=>`hC`{xGs2g)!SX=1HA_1W*UCvu$cNuzyEBNewQa)3ZNfFh2hwmBUP*-v0- zaFStA#>*L}?RDXUw=Tx(n`egSI09CkBV-nHwilVZ%e7SBpMe8Se}C@52ML~&T0aq5 zxHaJmdt6<)3DF=V#p0RY4|UfmEwidNC^d2m0$bELGtB8UP* z?Ze1Q$$cm)xq}Af&DG#WqRd$NB_K`IYeBS^s$&{ew*DHe3jPhjQg)HohV)IXW$Xt! zlC9}lj`}hbJTj^?p{g(T{cY5L1YM68!%2l?k1iO8fkbjWfWC&}NYRnR z{%1}oWsUSCdD|#ve+g|xRqJVFp}pe5cttWB6wBjs9!eQK0B@p#St88{ke*o-wSeS_ z^40`I)3?lx&t-~8y={=Nvr5mJ8_A!^^zx1P%Uj?JJzjdGeai(3;szs==x$pvSJ21$ z(I2kzUgrGt2826N3vl4$)ESc<#IA@Puy14yAs&;G3 zIcCD_>G>3ARzSLI+KamKsPrQq&%~g&M4V9CZt=dAb7>0n?+i4D`jF;vKATQ2m4>t* z&CI~-n{N+3gmx3X@+PUHd{jWQO5f)N6M0Bb z)F{T&GrVL>!!UwbQS`?23^cBmBHie9OmmSYokbO|G@2Ut0*1sIsBaIx83=M`oFfu$ z*sPF{cWzOB8HMJ_$36Ijfa!<|`(8Bb+mAhxbg*5{tKsE}v{xzjba`KPWYhGHsjyaHV2b7+c>bad+kcvanGK-7K&ky$wiD8nC z$4D5tM2d7Pdt6j$xGriJRZId9#-2upm=%ywrD6y1OGe*t{DQMS(9}1i9QhRYW9hnL zr1Fi1bR4SIY{xn2YVsyFs9=L6ZzVPT>@lf@@0QBv4EjEHi_JqGXvsRtTLVGPpeyGg z)YaDxd+=!w9s#%x?|*N{7bqlhk?*GKRi|FM3^N7hOF!XdKaO=2pVl+p`5>6HwGiMI ztjp=AIpiiZu)YTnbwsl6mD_{TTnInW3*YFjQp+HSB>GNHE=co3faT~}hJw?PD^=4` zHqyDcPf(5Vbg~9arl0iM?Ex;hOz%fy%HyhQ^e+lOBb|{k`DVLg+LKgqIsG?elq4>C z2jtF^F)?__s_%~aU8d*)-v{}}b)Kx{aFYENKyKdB{Q$KKQ1He_fv85mV>U=|qZo$o zSTr%E`vk&SKS}rbx#=CM+h^beuC+vZ(y3;pvP%+39X^d#v!nkGN-%bBimMc z163jd$TtJ3ov+Z7_Cxgx-0)*T0(4TP2he{^>%gaO7#X_*eCbH_u%L%dC`5-22&6uG zm@&2sbvpeK0n&runJFnmCuNs#)2D%Xh%@&KSh20}{5b<~(`uq~c#27NJL_Wl+tL!p zv>Zvi8wU;ICQ`K)PEEsA8jq1}F9}P!0Da4k`UHyR`0Fbto;W<0G@aRK!d-3X$}ut&udm zUxqNc+<5ksGiO`H+}O&tU>g3d+odPS&MX?~MRZNwDXFp|FZ-z=rZFcfEoE?=q(1@8 z`CW-?ym3C5DZYYFF{w|#xV(tc@5sbVL%t-c_AyNl;$)J`C~XbooQ2X8sjVNOQN4_I zRq!RWs+U2Ytk#Ey$jeTYru0WuiD-9#&RI(N4nw&y-VN*eHB8+oNI^`yYWIp1lyy}d zPm^PyY3bZ}WRf02T^j?Bqf(e+Tz`5fYP12q(8z-07?UN`nI5V}ib%o4RDbp+;yahg zxi4y*k{RW`eD(4obR?o(0U3Q0>d*pwYmN2g6lgQ!m znc)k3RFmB)PIr9f?>&2amxPw>~Q17o* zQF>KSGNuh(DO|9Xu3;cXrr-PagK%ZAsh{I&Dg6}LnI$R;e$Ww|siWXaAXABxZj2=N z+?}Q$LH(G!{1tQ0>sW-44irmMb&)^%1%=iv>i+;!t<3kT6lC^L@OA0W#+V}a0~aS; z4PRxm>7D;A&BblaOsk`cXGY1eKKH4G-Lx;~=dMcy_&@NYtp3u2zY;K;gc{T*VWC{F zO@{whTEcJ=-O3MIRBih;Dkec}AA-qXC!lj0`Z=dJU@w~tVh8mpDbjs_ZYTtUv?Li{ zDA8ld5E@{YEPQvui;ey)zfA?|P83w#Krww}H%mwMQHZV{PRiX5y}1vi43Yd3E#(Kv z;QR3&lB7ORJ2nIi?`#90DEnkwmHjhsO#~$*XTbDa5TU__ zinEiFTJ0`D$v(zzx9BV3mMe{nQu4vYG&8!^T}sMsF1kv-hXP|XX7s*Ewii7^TvQG? zP*YO#S3Asc(h+-6@vzVF@uI|+JoP&(e#Sx%$sTF0K#x?~j@r{S=448`=n&*1*Duk6 z6a7qnpH~&yqmU~<(bHDUkJLt2^KhR%>U$VWOg#G7L?fTOBL%Ug%0mI9vPT&pClj2% z*Q+_{^$h&SsE<29n;Z-PsyfK0B-zHpu?@ z37iDNwO3=nM*@AR8v|a8yAGk1T{L2JKCvgSGoC8&PO5s%Qa@-#;ADbha0!-nqp99-$diLU~uN|ko_W4 z**64dKKB$L$oYeGMgD?(!DRhB`E{{HR+65GKOE7rXB~ffW+FM-%&jj-s_}+EuI%Q0 zyOurL3_x8!A7dmf6{>lBo#sJiI}N}yq&1H^J}wHc)X)X*%W#g!4py8<3-KdJ=|2GT z2%x7bj+H5Iwz6l?Pq(J?SKe%?9ghL?uoOw`+pl|HfnB*&q|qH#hGj2%-Ra)@M*Q8* zJbVMBa8V&Pr%}L)*;gy9C`k-mEv$&{*HQ3(Vh+bMqQYp{KlW` zdTEgV_K}yq81!`7!ZCa-a{O%0W z;X%vbO#l)-MP3VAB+F2MvM$TJ-N?LN)CL=~6EG&qY1%^vLU*Qb!}vpq#TflhokOp@G+f+FA9VYi_o-f9O4rCW;WSw*RQ8=wwT!h%a1g*GIfi zz@+U#&C0DFnhpoqV@6Ik82qo~nNEPtw!`X2dCKL@HZ-1<=Vn z|1mx2kMl79$>C~5@la|CS_6ibm}+h zW5{kvKMEc+Ys^vW=NQPy(#TtgAzSh>l!1)P?+F$K%q|tY+TMkBRNg-V__>ZIhB&bP zuxNHE<5++6fN{(@5Ja`TQplrd#7puYC=z*8F)DA;dA(@_>GVM8#Ct9ic!`m}SVu&P zY!^tc83c|YxL%;_QX()hsc7g|sPw8|?Y@HCz`U{`F+G+d&}E>_+QSRwH~xfUzej*rd9+XRqbKm$qTrgn}O-QO=K^4jb z(WXt{cM-vzBzS<>W!u#bFbKC5(`%lqIHSy*)SgChko6l`7vt+Mpw^xy0UyP*1US@4 z9g2byJ^H{;R#N$qH+|J9TJQD1&Zz3)63Up(Hy50M<_TO$HKrfp6M=grUisAaI}N1g z(r?}e9#sABkF>Q1xcVR?_9m#P_C*x8lS;pUITdhP`x1(K(CE$-tEFPh(6*8M=Ya7b aJgCaI0%29|XW0o7i_O5q*k$<9!ySE$gfBrmAs!vs& zsycPHI#pkN-<=p686ICVIyREIfBDAo(KAOjOpav5%dc5>nI5rq*Uf2hov&X8?a!BW+o|Y$C ziDUWHhK(b_&>+oXld?#g9AkHaNI1EDF^8!Qqi2o|kEvw0Y+uywg=8+0eUDo&;q4~5 zt{EOPMZ>>lNB^bAo0AWZjSibu-TkI3i8n9gKd3S0NH51tLGf>H!>NaL==21|3p*uz z)5lPlEg;=bRSy#zsEsHmQ|5AxPiMYiszv~vawdzAB}SvO>+{YdU3;7(lNh6#{s9P61^YN+3xN) zd^o8i9i!{kkByE@0=XA09aJ>fV%*di{{|Y)&~rb9(odlg*|?`yza`eBYK(Wk@qLLo zE}=ON57_`i!$Tuuqw9J)hGiL*_JyE<%pn(;EM$HuYGfXN2Turg}y9F#UZ zjfYsKa5gf!W)13kF-1m$N-C3x=;ZXF`@evk-jj4auOgzmx4ccY=wmrdYXozZPB%#% z*p-zem+GiV9FEdvqgXaB++&D^4#p>@hDOJyHcZ5Rn#D3yXZs;pOe$XlPzL_@09h6M z<&jn*Z#BGfa^r^89bFv=d^qN1BrRKvtQdY2K=sNIMeEThT`YzJ3|xM(WxVg-G&(so znTq-NFeo`k2CM6rq7#XAIlxoJ9PeA4&aqGu(dxnxhHT+G!}+|SL~peiow{#XjEE9+ zoHZKGA2uioXhpW7S)7f(*&N788VJ8kDw(7Nw1F8We4J%+u8^yS%_TOA<58W>HC`Sl zkHZe;k+*RI3xh_mjD41nH9f005T`U=*bC8fgA6zYpm=vGz=iWT%qswAS||1(%;E-m zUN;rkZ$38oMI#gcmPX-|A}VH^V-2BRW37lFXJE*5RXSOU)kXm;nQp>qlL1DR{sl@@ZYny@8nWD0iV29(1j9~qF*X;72q^(vIp zqBS??Vcc`Qy|dvbq?+S0^4K9!=W#3sJw&b!K%|B0VY1o-ZF6CTBo+7FGrNgHe;(DJL2@IK&$95-0Kb6bOGv(mgyU}*nVc9q zbL7Ct?L^=vtw;gKCfDCa@O9`z(%l@ve+0PA1g%wME3zxRew}X_vqkJBCO58}gfluE z2w4ov{peK3D%hI8cK4SIWfnAjbPKmUordmW>0N7DAHwgWlZg81g?xX6l2PsZ8ndWS%= zIQSv-lI^KU0_6PIqpa<1DAc0)c7U?|cL0<_dMCg=7a+Y8i5LV(^%t`+4!~KEzwKxW zu~Beb5UihvIqva}Mcy$ok>x53gSFK}7zc~}%IC%!l0gYJVj+2|8nWP0^r^{T22hiK z7eGz!a)4sgy8%AHX72&`U}Ooq6)CJIOLk~jC{`cviA25-C-C7Cs|$Ly)>g6h2G~+i z>m!0;v9T%o8Y|g^E*0IbXcle7nOCBWbKU~UivW5d){w$Pqr7|EF2uQL9i>OaEu{5* zs1cjq52%l&SFn)a2LZ~GKLoI!r5`ph+b%V~D4}o%M~eJt18+{FSc|{;ZV5HSX+*-< z?a4u{a&GK3BX1t>wLStndvTM4fQk5L0gLg@EfeG%G%V%Z$ALx)nUDfoPNkrZb3h^E z5}thoh2q&qBlt0ZOWDaasNaX+wE*`ecpVTN&oC9!87)5(IK97yDE4f1`wNZXz# z+Y?vgD@kWUtfBY?1T^eKBB@07?Tp$k_Hhnk$>-2O?Bk*22J@f#G)eY6nXGXvMy3i!b;gIxR~W9A!S_~5U0lJJ1nSM zip4s1!?EUgqeL9hhqY6yCr+1a6F;N_Ao7QC@{P7QqQ~sUIEyCo^N=v)q3F*;mcfS$ z$g#KOkrmW8_NQhfQ!=xB^4 zv3&!h$u)j6g0})Z+B#kWAe&Q}Z{#-TTLLEpyW1>dF;L|=;XK9>tBJa;dYbUg*Q?fA z=I0=O!32^MFR$~8kTBZORBb?HpY-m#$ZIaQN09P9nrL^Rv;p4c=K!R_wC9nittiMS z&Nw}`3Z{FTA-J8^=(_bLQAGvvwJDodsV`cnfv{e2GTJez64~Dew#fcL1pgy~KQz#Z z>qi3pE;R9dTf8!V&rp2e0y6C|>hV$!TSs(X;gBfHxM}&NQs_A zzd=?6h4?Q+^Q2BqJj(GnY#;vyktk5RAE2D-uK_B)`whSb=kQyAgW?(61yN)VXpi

thS0__YxU2G(hu=$SRxV6f!BLTlh@1pPz07c;g07c=00QZbiMOA(s^RGh{ z6ewrZz?vIS7Wnr&WSrBr<4PV}bQ}+8`G?tSpSB#$Nf>O_sn|m(l%W4Rf`0_(`R_AE2 z1!(dy?4M|>FGQcolwu(#OCq_X=RlM|bHWs8UZ9i$&B@q1jOqhXmfe%s0tLDqr5uV~ z2kt#$#a@OW%Q-1@xtN8K7D^V}k+qdk$0I>(?pMORZnz=TGlnFd z_%ZS%j?SJXVZWGUu)X|l@?aL|5)XC(C>}fkpm?w=K=A-BBNq>zgwn^hQzYxj15THW zz|g^(b2z9l-H|hWZbL%CAvJ41;ip)!#toq*RfSSUqkIf47Y-D|8#iV7 zTx1sY!kA~XMP>0fdKUM!Yyq+~2o8>M)tN$D=7U63BickaPQa`;Bu`P7n@}P|#>63( zP0mS3@_Hc7n~7v%_;|Ni&`D~pT67|L-U2YAofi8TQ~FCx=@f>t@42RqcAedS_2ilZBO%vOj(k-|lO@;*HB%p>3h< z#i2-^i|Q`+&JEn0IUM0kmPgJodfyYoj#epd?}yIB4dAmB132Yr1JnPEM82TIVVm8k&uhuNLZG&Q6ldS$SEPF-*}Qe zO;|QQyfWF)E=6xzWS$LBL`dDp52$FdO70Hh81_K1Y-n=r#95j1QYgfJ!95_}N)x-l z3Uj+X;UB)y<6Hq$MhIkIi7ZB`%;z90@gbF&ub&IgJuN0E z{ZT-Y27*f%ex#FrOPI zWY1*C?kth3I~jnXaPiYInPOa8&%aoW3bzNl+KI9$B$Q;3$Z;rfZpdz%ZA_nC+Ps2t zk?9JPNa(B3mFD+qgNl#y@GeJp&NSpJwIm;=Vxxv0%$ae>E~W`w0wgloKXl7awi2le zo;8kan&t|Cc`E!{Y6P#OH1l(52D_rPiKLB0>bnAaMI zb5-^Y))b$cixdeSrY##Lzl$%cD^z_M$yX|!ZYMr!{>>V#OdH9+qMqWVbcwD2HUw+( zm8`Z$fXh~{L6hPuVrykM_Ou-|C9xnorFi!h`BcH#Kq5XElcDQj*L8JHR$bhLB%MPL zYjJaBJa(FlHz$rqQc8@6c->Eh<5k$f_S3V2)j`pRK%8_5=Mi1^k%I9r>!D4Y2whO3 zNUs5n(jLZd0@tBbiZpIeelCOO9K(Ax1SE!fzkIrtIO4F`=pt?znq*}~lI&w1Qbm;_ z;0&Td7mB+9I;;-UJI^?a0K#p#!nSt8O2i}Vwx%KDm|kS?;zGU=U5bn|0UlE!0|CDC z0PN%fAkpN5z(v-=pgOMFa|+hs77$&=>v8H8rF9tk7is4JR6xfKf;JE2&|#?Zdynie zoxXAD)8LYokq*4fkw*Gohytw(fQ0BtJ=;n=GlxcTGlGkHa$FJ#eIlAmlr(A)x*4Uq z!ka@hS@uLW;U1uKu=A}l(eCO!jOB4Ca+-<8dp-K)?VPezk*rYTkWHX+r-v)U$&|t} zq3esZlp2sV#6JThcXCRcSY-=^#M+I)x^?MR&r!!!|2tm%=y)Vf2&}ybC-?w$CzU|?t`c59x?qsiAQ`AASX2mKoURW4gGWkCMC8@Wf@Bqs1Z2+H5 z@SOk;^><@zU3YXeJRJ)RK^t!bS>+2fVlu9kMkiMu_GtJC$I;(Q;6rnI1@;fEFJC}0 zwGB+%Pl=wjs1p;>ZmGv(7o)~Kdo?IOiR6iI3=Na6RD}j|%FI(=1@xdfFJ+H}c zv62{OJ4Iu#g`nE4v{BJu2H7?aL+`I)$@~wXN(;&r1ml9T&GO|6@0GWatJec3^6zS7 z5w&Q|k#2t;g>ky5)|#Vp=ue|MD!C89%N22eFyrD8*@i~BMI23Hx zHY47Ys%$bt1)94*DL)Q+-Pn<99B~_H%RkBn1V0wRYX}AgmXnq*ryK*zNzE_zM-s)$ z&ce#9%d;bAXv6Xw*Fezb!TNI_J)Yuq{W0$l)yD219DlYBpEtA{9Bt)td$k5Z7 zd^!xNpjw=ux^O;X2k3~Cs_1OVg@sEnF5UKC=E+MkM+p_-M)b?`N`{5yWynJ+{CioP z4;c{?bWwbgi9>dADCHoop$p#8Hkx>sAvsdwoTJ*xrz}JZ`QI-BOz65oRgSJJDs-`7 z7*upUG$UOLoqdt6lWj-_FYOffDQ z6<^3!(Wa;t??sw_6Fq9#xHW>`BDfG!$gxB@l z7@`Y_su37go8?(Qy|<2v08-qN`CkB|BGmR!mDYvY9+6q(i)-js4IXLZPO7qY)b_Rx9bH-|xi{95;}*)FVNkh!Si%f(Lu3LMX>ImtQ3(@Vm16?m zWJyeswZR(P5l+-sGD#fD22;?6Y;nIIt+z3um;I3Net5wi^qL?~ z8=9=@=%R~apm2XleiU`&BcZ;^`930c^5Y@jefL(%GlOK285*O-F`&LY!K|(G21CTI zu<%b+Nk3dED2i%9ty<9ZRHokw2nQ*05};}+LB@2>maVXug(_N7u?xYVFWFMd*Czc0 zmM*Yt5zkPz#_qPFq3#vj01!K22|C%J(vUZ!8pkpnPx-k`VHLTA=D_3Ft{+mxkdk;> zCQ+yh-R-$(un5U!mU2f99jOswy)HepfyDg;PH*`pPVYDvc==6{f1D*R2Nb)ZPE6Z9 zf_tz5*p#2b(vXN;WJ#irZHw7f;-Bp3b?@pK_wi_yo!TspAdozDUV{R4%uwBHq@9J5 zdwQPB+49k5u_qevEVFnDz*C{Nys_n`@>I*$-pbOa0o2>Re9TIjo?wM`M?>p|A5Je# zVOsfYHhnsfc0dT(zu5mAbF`O2L{vVT{3KPt){c>oe<`EDocuYvUTzQ1nhr-3JR%8f zk$TtxwdTBn-IFyOLo;WgW=`TYbCSs2K`|fQLM`!z+a_e(tKAgWlx9p7Q?EcE(f;m4 zfl4PyJ{0Kjc>pvzRq7;djkGrW0Wv#X0nC*Ei)R89jkdZH>uS@Eh*aRr>`dnk->Uzi}YZcwR?<+@ey4I zr2vx2lPH{i*6v60^Lc1SGt=#r+OI61@pgZCZxkV^qVzc9R|1Ix`lr~%K~~aBuW%YN zqkoYM&|%_bY^{5Lb;kgY|cmjTI-wq3pVk+dS0#4u$4iMFXcifFg1L$XxDgcg(l48jlDfa#dN#eDVqe=L4+g z1ki6C^hXVbL#Hm+2O=S0e(hf1X-9EiMK0`uL~_*(%OGUmOC&Q%gw!p^fM2(yE}kOq z*voy8*n2EWc_&73uxp?tqxN-a7SzHF)Be}~6Oft5P`ccThbu^FcH91LsWd1ycbH07|(kD-+ZF2E4^y>W3%K?fHuK)<~hvf{@ z$;akeT09MvCwrn#L+iJ^6Hjs2_jmx2f;%Txf z?nd(E7+xprG~+1$(t0{5a|YwX68aijK)7wIbGB@;U1DmY|4B>olQ5K9c{oF?$Mq3Q zL?=!TU@P)wBSBd9Lc-*;ZKm+M=q=N-M=CLRKH$}_ZMjbOwSiy73NoUy)emkK>(Nig z!`d|{h>Hkv9HAtsoSdX}j@39LIu}??@-BzuvO1XxdmmGFzWwo5<$Mc>Ov5a%op_k& z^b{EAWCH*@6fP|-U|Y^2wZxHP^j1GV^a0NMwaCEYd`r4+XnS^nSb3Z^6B~xd#)cjf zx2#c}L6;D9#gdJfPD90wi&EImxMo%;v zIX7v?Fx)jJPtd|{J3NDG7H}Fyj2Y(8FmAyt8*(3a(gtc*)*_+(+wGWTLo2adEE`&d zQp&1+8CTGNn;&fz`P_!3#YI4pD}8eWvE_25{~AF&&#J$R&E5*|@&%S^FR%N;^z0y{ z{_eS`y1^1|+J@*6?aL1+MMOe!>sKapd0zvg$aeZ1XT=^rXe@PeQa22vjWIM@T4sKd zZ-yX5MMrZ;;aXw+>J){hTmMKE1r$)mAFbA;qsi_oZ`tTdG!Jpy;bA&O>$i9(sG#Dv zo5)}0^VLgR^{e3+b%Tveaj&NQ$x3ZX?o^)Lj@(nuZup6v@v~y_J$k6LIR0bv4$r_cua@0A9IP&?*NFMlrwAIa(2GCnv=`I?S|l ziJaTkIk@&od{9vC4SY<1zS9}Gn{Q$;R$spg$u#DGs;iNJbvbzvr=sPHJH2itK%;BC zae#V>gkz5)d-F_k0Kzs)G-N6vD|GCiNp>QQ##Cv{nbdz`z0|8ZO?L4iMepg{ghtq| z)W3#=KC1o=1F5q0TT%Eu@0#Cax$yewsQ1pvVeq4PXXkYlFtrn_$9S-J+<%Ntd^Jk4 z#T7ixh|b~NP`Kg>Ajvyl8Nm-m@Iw*&uz~dl*^C<;bzd4~gz}RhB@73z|XxUCtD3K4wYQCH4+C3!cK_>`5^KU*0IW~~+Ni>Urm#mq&B z)%5kzhQ!0o=%kmjPh+;|`A#I9?3M}%n1M+6ci=$bGYhB9b5gkVhdCOXCc*{kBmW=7 z`V$OKu|}E6#1~>nO@r*++w!V`=GK3X5BQdtE z;MAk=z`s1l*Ri^$|JUem-=QQIYqFc=w<7rM2*!u=#cfvFp}+6aG$E31{k5XLgHRDf z_f5+L+I1<+zE1eK_G8vV{qjU_FPGjjJp_Yc@uIF3=W>2r3M8*PP$lqt5&V7xe_&w! zayI)9f>psZt+aR>8ekaeb+H-QMM2qBb0rGfNVZbYwuPLF+#>s5zmgz#>mqCE22a{N7H3r~$M*WWl^qo$YU=4BXBQ4_Ok7Maw z5&VgPE;Rb7fqh(hD>Ldl!)j9YonZN%>`S7hN*@w;&_)~= zcQfv!QHlmch)^oUDo&w@|wYK3C^>$xVvdbi2yD{iY2@63R6~O`aTTBpW$}FVymug zGHl6^AExV#zS%IdtsZ?Pa(YaZT|we$-L&R5^PpX8<7QB)+i$8zQ%EE$kzl#$IKtto zw%Kab9ELa3wFX!)`msq{TKvwE@-K1Pn=MbewIhXN_lwIjP;~(kz7(LFT2&IO)DfTC z8QpZN;`_(J@SoGZ>n?(^{PbN#s{a>MNV0#9AQsxb4}g9C;je+b0NHny9`pVh$m#i` z-@W~h6}!VzXx$8VSc2noZv#<~&SeTD znizD}H3Ft|*3a_W$g*Aciz&c{A!blsnU;3I(l*wB460l*0&KxefK(ElRK{zADY{oS zi!mQX*AP7P@#LxO$M6(rIS|1?AbhK$YkcddZ@YBuVIcR=HSP!#U9+0pAEB&~|mPvWTK0*?$Jw77~~&}rualKnntt&Evpq-%DrG1 z5=4F`o6cd|EeQeC#ABRBHkQ$lbJ|vg1iG(sZ_q0eDpy>~-KqtD zQ!S`|x~<%+it)GAg1xH+Pp=j{1FV2~m@uMC3CGD21!T_sSbA4fK9*vk)@rSICQ$Vj z!1VwrL6}zKMC5J>iz>adJ7HA+QS7vMJ=vjw(Lv~EIAXp5gNsL$jgu_PAf<6~wWeqP z6eZ)AWI>{AQgcYWOW;D`j;tfWZH!GVi$}C1sPUpsx6pVsFq6v^-78+DSCUy-{2Hgo zH$5Glb$!7a+-jW6nRG3xz~79dLTt7bKGb?v*>vU^AK~ zf@8iibmQdCp=BQ^YrM#`#cfB9sme4CLhXQ!HeOXlvch65YF=Bd>8TRvq*x2os!FhX z1dk1bgpFf6aT@2N$=2R1uZ~1rL4VbdrtvySl`2=2s+&gdA*?Um0k5#OSlh|k#%m2z zd;P{1P*9aB$$D&3B}X<=3VWferu}ccwsSm*l9TWE>Q$I(d4MG@3Vl`t z4>YiG0>?TBAWXmUDn(J8La!)_v0cZd42#rP+fSTr7+q;!{ld}O;TQtw?sG(47QCeo9IxGiiz#qpB(@C+{dKHlw@{ zwo_CM$%3MyEVwLe_o8x=B+(q1IR4bIgdjRZg>#r_aY0mOaL&%`C6MpD0fc8Q(zV=c zxx~Va8p)KgA)hxbX?&QnISwslW5)yJ)yDE=0249YZP~`pJZJ8nXIY+zQ*t6(==UcXVfiF_fMq^zt7e$fa;G%>BM6;8#@Rtfts98kL>zhlYo{vFGEaW^6 z&j+HA69q<7-SyjH5NG4Bd!uE7>1XqBG8;6hCFCL>kBn&d%{uz&raDWm&x+I)K-8zB z$OjOl-(KQv@8l?Vv~wy=*o79LV34rh4!!AE0UwJ!#%bB{m{dG^Of3&_9ptt32Jdy1 zYe9`vgib=Hc{)m?iZrp@H0L^|Hup)G>PL$Q+RmUz5f%l$Jun?(n+p~g3J)stJq*f5 z)h^D*?wV*mvsAT{5(;-D8Pfh|_@))(-86vCQXtSWldJv!2l9 zxkJms&`rOy=cv4+J)3dI!;e*-^1V`nDZci>zgj z_{<(s4d>2ti}mFkBl1oFWCUVsr{UZVNW*!I)gr=Xt8cyn^fT7;ZS5r`4l|>m&~%w4 z(Px-Qj_(!;@TfBSJ}RPPa>FUT>%ooKAp*3-2=!SGDRBN}Jvm>y7kJ4qdssH#9n*{3 z$gZ)yOwKbj{{kdVA9PJR^*~&}J6|S5*NOI8lp^_nyV)>#{6>IsGj9TTs@UzG%CUkE z1Da=eYvLBBrjKE*L6hj%EK{>zSxMdvXr4tEaDmn2Ek8V6Qqe|RYG?fvfV3^`jpO}e z=ebeOpcjD_GDZ%H-fT(UoNsA$VMGz5MjE#@lT2(WlwH=YiG)EAe5oqF0_<*~Py6Pr zh?ua3&9g|!I}CJud?!FD^Cbo~Cn)0NlkZKGo~7N_8-Of-g?_TI^t|0Noi7k{#w;;# z@3sA+htp>uDl%ftAsA`}k{Bm8;67dWei=Y%#k&A1KDiuVYk?*46sd_RHXgR5sV|&` z2Og?X48yQn-#O!4o8VF7f4oAF2z}~eg;m(sS|IF_v2)5B&@MFas$EB9*Sf)qq z#^>XUo8yuY)!83%Zo#m(xg5jiCf|H3-)9w$P45RNp??5il}#Vx0C42Zw^%}EH?OJi zGC?{kAn_V@!f+w=k}8*zo2(&4+x)~lgPQL_eh#3IBKcGY&l@>vF~4kuc-{sq{4)(` zR31PzL09uFRMm@tnI6Y!ijkA(tND5)^)P#yvCD^J5Rn?aAX%iL-ik>iHL&UC4d{-v zYcmrR;k`iSD__ol?U&O1TXU(eJi_oyTv)T_0$ODM>-$@x9|kS2MxpfoBLF2>GVoT6 z&DWp|S9cehZ<&v>9|1GWIn(bZm#||M>m9-nB6PVTP@>necF;EzC$cHRE1e6qy}n;% zCI0!=nES|iSeV1yj%4%Bg_%xoS5!2SILQMHg??9OW#x6K5g)DxC_dZ(P)qbD3~Js5 z8F7jBZQaW?(dF}SB_%#c+fRMY{j35>VYgJ%mietwNyzhUC^ z1H+dbI+=qvoND*FA(%ag*l4{npQOyKXOS#nULqRr2 zf5fGKLy5RV?lms;)@dV#-PV>${FE`iXN zqByTgU$LUVrL{A$Ny=pC&ELC+K+QjZB`A4t&{Fo?+69a#zm8%}ZyO-#!#50c`tVJF z(uZ3C#-HPAVvQBcQzhUCyIW0b4>+cbuk*_bLGG1l-C{+Y7Jig`&Bk&4K0>#3tU*_J zV-&10MZko7aIeEix{JgHgEI0A#?k4y`7P@taC2k|kK(5tGjt@^{$~(Sl6l_)DCT`1 zkeK%a7V=9ACB_ktYM5!mHSXAzaM9TUJb&%Ayu&i)PR|_PU_UmxzT>yODM!4ec|2Os zLuCG=B;^mS#6G?~Haa|+72p0;rl%1<%*tZO!fWHObv9&wli61L^C5;=k?d>**CU=s zw~oS))M|<$jC+?A`&XMWggq%ph7hH;wy8rC;xs)o3~$E%!DKyYEAIg)R^JOye*Zpz zJ_65H%rA?>+ze4crE76FC?iB!2xot886VCX$&;hw?Xi)miSd;3z#K<;Pz8OyPyBEO z?qwQr$fFX2aw5{1Un8%H;A~K@gqFWWX=A_(b;y2pXgJGJ7=N#u)5#iAEO6Y5g1s~L zA?v70Br44He#2E15`vGR)n;w!T)9f~6>Su|2}AaZ0H_88T}1LA2+%}e*G~B#GO#rP z!>1e(k!-Szi4lAe!=&r}Bjn7@^M?6=VL7QpQhQN~#lVRt5UF3>ENNt-j5`Q{@K*JM zBW3o3s$G;xlt4Vn6NK$TkuidE2M_ou)lQoX3QmIbzP?TyorW-ybv(rwbOsDOwY{lX znPX;+Qm1;?3ZQnq(Qk#VHvm5bZn)=$FxVo5`IfX!0?134tqTZRqAz1`g49c?q@U#@ zhT-G4O`{X*h9=ewty()Vx~lhE{3n=(Y(md?=}fA!0=W*itc~0nl-ot+v+aIH(`S;~_)hJCGfc@cAk zkSzF_B(a5G&e8rJ>qd>c$rb46{jnj4;HNzmWVPOJ`QWH)b=10_9-4fO{k+e*ith_n zMIC9qol{?Kty-5vE|`&s3&uZjfu2xnR>FlRV{CC@HXyDywcXI$+cEX}YXM$@*0TasSyq3TFG6%(N z>c>6+#k#owd48ZHeg-c!y6wbCfsWS88U=R(ndEVZ9|4uMJAF>SYqcx7oszxKIo6hx7&P zbqfw5PJe%Znm!()o9nQob^yTS5)Sy)`T@FjehXsJdQ4WDIK>VUVs^qFjCv1}yCP|H z9QRd_u%x!QuJX;o{4~pprTUGLg7@KZaGAQBR;MwFmxDiixJl6Q!qx2TWMh}Mq%O8dDKdjSdEs3Ut$ z1CWS6jUd{zeuf(H;S_)vm?smhpBkWk4`FzjKa8rD-tIjZFp2yb(%M1DFSP%yy8+F! z-xVG8?>?hIKkV5etBD4vcy6O!9EsWz31483m$F)SgH*m}-8u~*O_vn4?$YhO^U+KU zzDtKl2!LG4oq+szwrYzk<02z}Mf0z+IuM^&o$TxHP$;W=Ev$X6|<|0zW6RIL7|c3Mn7Rvso! zQz%ASK*eJEpTa?d#q{$9*NVlsF|E(m{TR4nEB$+-1}tg)Ix!IB5lFjgTE(H3*X^r# zO4%RJm3cdtI@daFKeYcH@S(4XMfC3u-J)?2zkd(QwN8tK5g$1Hy91GK_mHTX6?^F4 z1NgNUcvQ+l-L?MP3i<12vICkcSXms}sG|`U!qWbW?muCS)&odRlL6j~I<}Q?`_W3m zdNbBv9 zK$YrWPY?+fq<(li-c(0PY8~x3S{qeVFAm8ES6cX3LkXxR^pRWwWW#x^zZmt&IWdp- z)DxE%c1QeVab*o>sG4X-K<_^sd0kLueM!ed|Kfrgk>=vEY%w%R>Z$gXc}9n#c0jMr z1~~mMMsgHK-`hYj$c?@f1sVF6ZwhYjFe~Z$m9E;N%GKi9(rUqBEDp|j5< zntifmF8YB7_dg3&7}!Ey*gINDfh=Yj3bLFY9c#3YviTKoT&5tXp=B`d(ceQ^iNnd8QQEhhzDqT&E^>aHt2hQi-Z5fOqogs;Nw2J;WQIe>mo#_t!x|^);pbv6-dJxX_W0re{>q zt&oR}{cr76L&CarwW4?MkO@O~_UNd85`$w&=syS5k&BuZo$PB-eLe-Zw}GkPXuU9@ zWSkX&KN8$qty%{%{QNmIM(z|{8GHQ)h%qGa-l1JkxEtk)wi+crXF!I%&=&`+%o>K$&LshDjpv^im0qr|Fs@x zv*p}sg;l}{;?xK-hL_L~Yg0V_4eux)z1e;+n;{Wf0aZnjL{O9*wN|_}>@HE;JO1oL5`17sc@U_4ex3G`BmB zKnET1^coiI;{{?NjqHo(weGgeb=dZgO5XcWD=#5oV#sjiLgupytn$)@j)Y^|R5Pu|F8c7qUsch8Giv__lKV{@=odY8gRVdvV#_F-Ch{~V;PgL$_SobHR3{}&tmqUK$L#k%?OcPG z^3O}{hqF_M*YUQ(D#J5Bi>+&NMRMLrBV$kGRIu=q= zwK3Fd8@CRi{2;N_B}cbEa3F9wca7?w z7A5N!4Hqszrw*O$Im3$c{J8bQsLx&!pr;0C?*PpY&|(kOp6;Qn=^h4+pFXl`YV^#G zM?zuUUBh9PBGm+W9HD8SgHnO#0$gejw>Z7bly%b*6lJzP54+n$%v$1>+Hks{NWOEH zn+(sag-@%-C&q^+H*WA$TFrpHZ|;sx8tyywxqHIqegKJN+w&G3o|qA#L!*XHZBZPW zZe!#0)}uk%08WtJ|CnqB-f$>`sfMRV3Mqs_W%YqBMTDJXBM8L zZ?)o-qg{u6o&4k-fcfYPW`kvdcavADXw>AH8W4ShBxp6n&aV?6!?YQ8)mLLavMt~b zT*N#*4=5kFs9`DZy*e>nW_c&3cNyp$`{e-T#oldD?KU=h4@yS~zSp3EHxYcFf%$b^ z(#=njbR97XoiInY?{_GouO|wpZkK#accRGMr)EQgI!&CrbsLsiQ5}|*^|dy%T^Rxa zUJF7e{ilF19zLTy_FzrjL^^P3U8 z72qJhPgDaPF8pf)BB>UqxM})eu;h4}W>~lsHL^u;Ah%c_ab8pQ!!hx;YdWzbF<8`q z)N!n0jXa2f`E^u(LZm``=A>>TD#7nY@b(BMxYSZH>w7>D_)68&2rjgg!^ERl zC(3DYi;Fvc7-HE$M{FgObJ=Vh0vY@;@Y+I zNd}0x@Y5WFqzMPdeDiVO_nxqOtSDvF`q4D#d^D<(nft+w5;r)+Ke*Ujgs1|YeAS_G ztsfi#Vz{rqc5<}+SB{N=o;&E{L=EI~RKh7gBHcCQfD`()_DeJ~kBIkPB?GVZa zmY-HKU#AJ#pw?2OiYKnQ*xp$I)sKyH5k=qsy>!A)umm2&mrVSCoO{5|g03!;}XHKunzkO5R-e1hN$mRq9Yw zttEVW-hm5H+GY<}P_!MX?+5TW)Wv68gBNjJu!HN&-~ij+Y1tU$C$BE&Csj$NX`uaJ zP7?P*S1{edivTr3e+i?x`02PjIqqbmMUfB58%(TvJNgUa*~c=;USX}pX%zu=`)(u5 zd$VATCKo3(gH~b)9MY_;3e6Tb9VFz4R|nrr<}M;S!Tlq+ID!X6@L2#Q6UNm7m&DS8 zBKT|rosT=%z#e$ekvm7J;<{T zNJV!Jg38d>`4|N2-_+Ub@%>IH3b0|x+8d-MEuCnX{E36H2Kkmi{rPM|@xLH~F9ay- zJS>77U@)*v!D}1!^1Iz^i<4@^m^ViYT5Fiqp;i*sAZ}SYXC$&~!AV7V@{!=cedv-z zh!SL}3ngdv_sGldyci(gn5Z8GumSI*r58;He~Lo=gkBAsobGO26jFbY)hPra!JUD6 zDupB2jg>4LrW_cK>y{V5VOA$+#e8_DDFvS2;lKwd zB0Xq+#M7MBL$#Vc*l$ZJ%7OTu8<=kLs*c@6&XS2#BM#;I0iDF2Gl0(hd6K~ypZSsM zq*FctWntn?$nYpmxwW0sk(e~B(ixQ$HM1bnS!L`8g|2g7O*U3>NG}o9g&{k+kO_K` zPH$pyr4uR*iPDovc>{n^`X~N0f%O~5I-cjy54ph6a0f?{cu`t!tCWRy&>8nxFyyuS z=N89(NoZF?$d8$CsW?3BBTP)(eV4}|sZR6=irJy6bOtpA>i>YeoB>uA7k|FoKo@_$ z0;P;6>j?VYf_IWZvt~no>n8);Eyj(r5V6*-U1aIt21^trfHr=%Mjumhlw08}oz(%6 zTxC+x!aDeqB1ZR#ezQ3)J`Dym_*yIFel-J)e1=*3F{-K6UDZ{s&QG3ixC8e&&QkJ& zlT9nDzX}P6tgp62G|QF5(a*Dr9DJcqvS0l+h+dV2v#@H-S`-wPg@d6Dt7|_ejwM+G zq|EBGBqGiNcZpM35KpjjXdxfBY?!dO^hP&q7=a#2#cXe)L%_^l6;k*^4rP0KJw6Qs zX)kF{N_usm#Ho$Hbi`q292OpE9n}7=DBPcfCUfyp8UH7#b9)z zzI8~`WW)TSr0Rtpr=Z}9s MzWT+ZV literal 51235 zcmcJ237DNlmG-yX+jr?kb|xq~Kr|r=K@cU%pdceTYp_uZ-0osC~hIi2~w_-;2=sHWWs#u znKXf&pD;B$Iy*5n39P(0GK0W}QkrHqyDBTXgpLwC3HZAp5m7+mw=+OV!TR!vq=qhe zWG}&EfSH5Ks_`?2=j$exhJ9zv(ppnCq`GRWY6r0sC@#G`ADAl;BUwXWG`RMA2QS+)h|Mi2!TM+Ue5|4TE%Sm%k{F~o!?qLL-pP+bAw}r3& z7z(okDEB_1Ff~nYL^+i*pMBhq`G&a~0T5+R4n&q1jc(HCokzKzK+^kW-IcF8Se0me zXm{0}Z@fIIqt}m4t^i_oQ0P;TLo)a-QjW#l^cE~2x%rf1VMUIEU!_V=KfJr$op1bb zQb#!^)~sDUF+Kz2ezJ5)(O`>7b7TA)Y`B4*`!1Be3yrA8y}kP#YE7zx@y>sFe=-~o zb9_oiG&R7`Z|rVCUH8p|-W#?e>#bd%CS zU0F$S>5l5e(I{;;ilvjnJ)T$~FgZ0lJTW;tJr(IRi>0W}o{VHMrF6mS12QANw~<%*@WD zWPnU9hY;iuvLRmz!3poti#CN8PdBcg{YBD*^ON3e`EOW2x`)ejKoG~U>YK)FE$yb7RncRIjD3&`eVz?tTWzaz}z1}LwY z4eGZT8{(pgiGNF?@hK4BIyL_CahQrn3~r3#saHi zbFP*^APF7PCW%e4iXi=6!;?WAp+vUbEM0+LDu~E_<_yEcFdNX%cpG08lS~DatswPsYfoz7&Pcf3;Go*XmK<* z7l7}%e!R2cr{tQG8sw26Q5TRG7d=F-G9c0-QJASx;MiPL5s8IWvMl6SPkTH(bJpnE zwc|-#R?pFgtC3tqJ)Z}#U(c>5>(8V5vq-K*@;Me>1Mmw-zKG;HB;-FmJ~Op?{rDkK z+lj%=T2TV>rq(YY_>Z6=>u!wT>j2(lhSn^y8QBrV-H#5AU+#;7qG*>gr5m00m!uZWv8$Y~H=n zN;ZI+{9>e8bhNnqAj;V1O|ZKJVCZ2DC1gmI1U@Ei5#oHbj@BdMCStxHHB!?hfa)y0 z6yN~C53!!$WdK_QKWt#OMZW!}M8d7)M5VDy9pKGt6szzz-y@NRIE^S6$-W}ERnCpQ zdgKSk`;10VXFqL{36zL`wn{PGxw(OwgNLP>`vlM^ArneqbEq8DX$~k! zG=d)kxP(MLj{5xwUI}nM!A}Cg=?q;lKVrFDig_d*B$Su6!I?f{#ofI>)Vi1W6553T zX=6rV!a7ZTiL0=6d_O}N4e%_=VuahlFsPUDQ zGZEHM{Hy^Pwjq&KqWZQ`dNqokES3BR8c2PdX$5j>m6KeDdN~Q_+78wCB{bVY@XJ6r zmf-aOUlgNK!Wc5;%ZNos+9vT3n>4y8xyHW6E3}y9ryylr2N1i)o|M9ZyQNsHBN_6V z=LaPg4+EGmHD%&R$#(9;I`yGaxH!JnW<*fTu8qBDBEJ9$*Eux(dB}3b;a1_;(DIxL z?i=Z;8AZ9#TI6T2+vlS-t0El`&`!ypTSY31yi{?aHGZZYO?s#3v-vp|++?kBZ$j_%jeqx{#_@@!PJ%V=_=mfqK;5*Ed+>8{J zFAbm(i3a&GNWJ_f`=iq|te9(6@NbB$D`}PAfx0BTAD|?B0H7rNJ;1%ARe_aX$vk#I98ftH5E*M2 zw}bwEYsFqXJEP=jMc0{trhg23ZO)c~5CuaZaW3{C3T5a&M(|HS_)4(pyeMJ^NKuhN znm<^vAKp%wIbsk9VM|sd9klnqhU{%= z!`7ttQRiq93ah%*-4;B)WJ@WOFDQAK?ott89agqE z0#xYk_?fdkhmVSX3;_~q547iC$@c_!RUD*%+*BRnh(k8@u9j}&XDW)M zs~@qw8U*>|ApbjnVoQx)tuxGHP;Bb*(?Bu-5RL1r?k?|T4aC?&YrhUNXj52qh{k#x z_=x{L1{J%IKYM{b6CIJ;kdTn2dhI*>SSuFau(YJB(8_3(pMjQ(28+>k8?t;pG6(j< zSYW+HW${=&fct880J0nqWDdR}rll?O!6K@WY?7N*1>`IC7Re1DC`7J_!&){uC!xqw zKwPjrk%{5gyT!t8QFGOTi0t__fEmYWv7bT3LL>_$)w!rslX7&$3cC`30v>?mkFOT& zi!~|a#(&PCqr`3|DwU2=d^{2jK$EXDQrQ~^r)fZz5ca%7rH&`qko>?_@R_3A+vS6qr^yg_-;+Ir5e0_(uv$WHxljaKev5VFJ5J9^5n91Xoc725e zy5#X;`&m}vM6o*)z0bJga#xEl9U7Ak2gBh2*;y%>zADW=7gYj}0Vr2^o$vN~FZ)g*mLRMLDG+37SBnajZz5V6Abo3 zAjt!vCGg*#u{ME>y36f>I57wdJOT80D5q1zhWNu6efb{;eDSvjmG16F7;eEv%h_H> z60{Bmn;XPjqIIbpYh3m?-ydil=qo=FpoDx$1W$_KOARdEMckJGd^f?94b1lkPj#r{ zCh;t>t2-IMK;h)4V=^w?GN40b_j6G;b&+;;?^Bqy#wQdq*S!TR|*n1_l__9Ih$ zm`d7EO>ymfq|OUW^VE0oMUg_)7m<9aLUfB2Qo!QNrjfC<(P5}!2WVc#Mxtv08y0Jd zm8^zV$5x_U@g=FX!j6=-K&E6ZNTM|F6VZo^573I;0TLgIp}|HS>1v;>y7&r`v=70o z#aAo*NHpO$k1kJs6opQT^}6p0`Bl`x_C)Wi4ps+8ABJ%9C7eg}TtboyVa)gOCU%4& zC~+h%+T=Z}jkxovH2~#ElLqDIaPgdjy>~-EQmBv1udxy*95x$0!YxIUtgKj)G!`Ju z*P>psoC#1%<2wL4EI-zmJ)Wi}|R>xWeDeiAMRkbEf=ME0f@HIEVJi9G<{+h@(j$9+yNxcSVg%`Hui4 z=th9Lx2t_awkw-(575mFp&;?@>g9`Nkrg$~MEw2nqeq(-bgxmY)nbKa)Z==8^!`4-AVHur6g2OFKo>Fh6$z(Vx zs!CXe!h$4}(@qpc+enJGJscJ7z*G(E;j)s@x07KBm8;h*+NO4T~T4@Y&<#Tp~pC|_OjztX3In|Rs*0AM~ zG*idGG(>^2CUs(BNnS3c9?^-+J$p4MKZW8+Z@}gH!;w-I3Kf)@r@u!2heiIRPnp9w zdYiS4%WUUpqo9aO_HL$)j)q~7-9$Ew{%$U?!u$iM(u8s;!8oDZWcku=$u32Cb`!Pw zNq|v*A3-)QGv(W#M`6?)sx{~69Qqnmt2;z=49eliAoRF+7f>PtQ6K|SAeYEM{K-Hy zXgv>O*ES=5C{@*D0~KiQ(xl=zn^ylK zJ&H)88aPxE3M;)XH$=^F3@dIB9r(50cMeX%6-3E#h&D5W|PdMa#aE0I#X!Hc|0jz7C8q~%NTu5N0X!VWqi zQK>idIqk_cfu#bJG(mS^f20n`5j$1!*%Fh4reNH(?LW;^msE}tbS=LY4S8P4^;r3C z(Drniz7bB z^?{09Y#5kIu0L#7u0?KqQLf~$p(>X|f-ssFzCyXkK5RQm46ITTY87z_uyjA9)am3G zSi(h;X#-b7wxbLTMrlL~r5lh>l<{fg{Xu@o9G31V&9n`r6-eeh6nZOw?{+#%zhEoz z{TkXfE1gA8#FO`a%TEAFE!EZQQ4pMQc68lr@>+-V3xpGph|f&`-C7gi3G*!}t^(*a zmM&v<5DU?2CXOk(#rx<~H-n<4jc-QqTLc%O3pu7JLqWn(`w5m_fxM!>oUFRix};ig zMYZ5_)q*cn3%*<}xV~C&W3}Mx)q-!ptKFsNL&F*`POi3%)jsPcgBTBVG_1p^ThL3X z=Q|PnElg9F+>d++hxe0tqCk8imxBGEO1 z!fI`=`nf}LbOeav=AXL&Mn|aap(+Lc8m}rR4(A%Wsexx3i6f{M1kOvP=|3@1n%F{a zc@G*_CWzYOt<1@#*^sLk9Vxll@J_T-Y{y90&f*{{fitmo^uI*wLVNH^OS#4h+sio%0U!Wi=q59S$ zCDaNjD&crE5!3qsCQ4YMD(4AH;I7&ENVot_oMJHw<+*f9DnNzXSCVkNk{;!Z{BWZ2 z2y#HkmmYvviV(k#;2#J=Z6&4(P0i3pZC_5!x1n%*Q}dSU9C=%{;78ShUsMb3trpx} zEx5B<@SAGE{m|P4FOl|HgZWb!hI~4WRz`nB?-C=w7epXfdPs*leBzrdG zK)Xx#2*D|vlacomNbThL%pw6ZEx#aX@hi`*|A;}0CnGr?yowy4-tyzQ0hd|Fcai9k z7)^M>Lwyv~Pt=F6asiHr-TL^0C*Qj%^2#7hDnmR7#?@$Tl^+#E?77_VVAaywDg{MW zEhwr5176DXRsV1#qDTNuEFs8+n;WoJSPY_yBc~W52=nTA9YLWs={vB5Au67RY>wnM zqoHmHaNUhPtqh%PH91;00&~QwyPnr`!@(+Q3C)2=-i{8X+7G20k&u|4(9mw3`6xXQ z$wr{+Yzsb87w4$F6H`Y(2YmwzSdkGkau(kIigwNH6P=#^0_f(!HFATW|lj3d(K!4!vM&)r>$-IEobf_C)0O~Cyk zy{kZnydMJ!V*?z!$HuzJl~b!%biGa(gzol(+6`oWD78bDI&YL?cxCHQ@o-v~Pu;lI zEFlHk%+dr5nCkA+P^Io322jrPbc1R)EJQo{uK7;j0IXTme+Q6Fif7?3&*HR~o~1#P zI|1DG&<$cttNk$P4uzEH?9Nt7`3#WN^N^%N+CrcTt@7QW4<3!werN+yUo)xwkP5hl zx+3@FK|Tpk8DtxU(+MjD*yekyqyNZWFI-WdiV_kB(SKaGIjQwXG#<{@?lwtlw=bYl z8TNVkq{cNTFXxv(i+1alGS>pc2!ywc3MjjuGvSY2dyNuSS;LtB6mcK6=k*x ziQeUtmsz&p;R6O32NKq2>@}_RJ#SqrIx^Lbn;TWc>xOl2ZeG2 zKr|0<=&7|^7Ft=2Cm9xXC8r*dMa$@{n3m}ncHWL-HPQ{-v#y8OPP`g16 zrJ;wOy9pE!G>E^oZ9;;eHd2vL!|YIqPC#{Ea+#Q1H99siJDxm^ME_$_PIHQC+V>VGfU5HtPQ`Mmm!g!y`-lxm^E2jKTI_?$SGe=C;w7lyYyLsz zo@u~54K3?5r#&i->yCIP81*6lJq27O&8cXsMH1Hy(!wiIdhkL^<(M6as7btIkh?Jg z$c9!7k%H*+H~T(daF=;j?Zt*(<%PLHX1zLgOY_k%_(|#!fN~(HymoaI6@9H;9}UR1 z*+pnTH9$J3U$SE9Dri$ORMA^C;pk!$mibo_idP$g8x_$scHz5&Z+(OSMO)-`EOtU? z@&UgR<3ugHX`&tnTXk?HAin5cK;iWlfxTW)=VPYY1t>kPVNM3hT&C8K8!ToH$#NA$ z4cOza4Zz7Jkf{HLc_`LptjIA`arwpNK%m%1ql)W@{J5ZzoC7v$q%=xT%iMtR4vkn- zyURT#ufv(dcFRIk{Ge%RvDT9O6tHsB4tsc}&P8!hL;q#e0%hnPI~3OnoY6unu% zD@+(0n8TyEyRvlHeTPY#rCnHygySEVdxys`T`V15j#3I&ui)nJBz<9^cq5P$O8+H- z{~EzJMexlA*7+Tp;;jHLJiyZ8lR(fdUk*VCQh(=sR9(d?)5Y)@Ap2f}C9Z)%^@}+b zs1H8YaQ5HkbLd?B}?IgQ$@y2QW}dAc?Abq2xgn z-CQV+zQc?E3-h)xV)J|u6Ggv$pXrCVaRKP6Lx;}4|cP5T{iUk zM=MNe%j6}-9%Te3)Ij~y3=NUfrI2A03_nTB*DnTxxJixHWca1kdkhX5khp$5lFA#w zEHu59R#zZKJ10#vC(;NPb7=0}s3O)jYL0mj%(QKZ{kguPIS8zi|MKqvGLP8l2D$66 zMwr#tFGg|+k~xM0sy=`Os+04_u4ww=uCBK$Xmpt$9FSfnxxye$$Mr95&kn$cetX9o z+DrZ0vz^GFyxz6j`>^O4?Q30=1SRb;>IL-QLf z7hW2j@X}j*>zUS6pA51VG5e9s#-jPIRkyza=g@!|D!% zfgK3tI1mw_{%bb74B&m#H+?6bq>)1!owvfO5}F}H(HSCS8$sm~C{2MJ*L;R0cc*Gg zphAG{*uN*3qRoda$$HG*6=tE6`iCl}S7brWN07)%D>$4xwik-gie4^%`0x`guW#=* zQS)cy6@N*pMByipTvg!&|KYx5Um=(iSX01ja#7Wl;suyujgCCw-{|OQ- z8wTn-Qq`Z)vR|}Up#O6p^~QN%0AsUWea{2JQJDHSP|Y)uXh(?&oPo!5YhN|n39PVA z{p(2nYDwllF;cwGGQB~^mTwx7=?$6XXo!WNyvMHyt*m}8l8ZRr<36`rsbQLiP`n*&IY+{;i+@D+z~Jnv zxfq2VB%5hy+d|Gq4*IBHOps?a#Y&WdnC*|vBbEcoIN7IsQAi|`q*8-J++uaTN_|uV z!YI^#ovfAQme51}HQaxH4VS*VryN`*iv;(bZ>!NX0bf{-;rle<54Bq%7uh1cM=V}ABNQumU2~Z5`cJZ#;|2Weon4G`bNXdHhc6j z*Q0hNI3R(6~5yXma;5|@Z9zRmS%ZdY+=#lRK0NEY50Scpsu`fO(-_CuN;B@XC z9){_}={VadL-Rf~pmvMsP8t`l05I6UAI?~+?3RR~=2eV7a`i^@xt`RWhv%Z&Kqv0O5^4`}; zfDN5+*3i(>16O$)Yaj+)F5!T&;5tAliB2iwJ-`&*JDaUBci?L`8n=OOLgbR&ph2~l z6W9X6jTK+xyFvrsl&}58F#7pgIbg-^pdJy<&I6!_+bU9U=-MRee~&li`&aOM5@FFDX8C+zy18+bx_n3k{POn3|;?>@gPI)^pXQBxWem({)cP4!r z8QVFh%3Z-=OqMlp0HL8#r%g+Bg;N7H;^Rm87&KD+uwO~Buf}2OiW8SCNgov_LsvM5 zO?30M+#O)N1lXW>{`zlYXWEVXGqR@sFldUaZ4_wG@JejPQ9v1~-o%zHWK5wz)MpYY zbeg2*6)#{THdjlk=d~0VNhB<_xIyo4C09Bg<>zI$(P4a|ps&WHH*lb=iL&-aVUy>s zsA4QSQ!Ye*HCJ$G>+J@H6Iu{MtAV7v(Nv{L zmEpskFp7ROJ4d{p>|ln{l96xD@z_QA24hy3kQy)Xn2nRFHGS#RA-R4@f*5Tx$FXeC zLUCJ_U*9($SdPUA?X9c zY2zgJq-RnE_l-y@!e*PnCmts@P6E#H?Y3)1Bn(RiYesFR8$dECHgoQC9u z6|0_Qg?4;_v`6JtPPD2*3i}WpW`nG{Kgd+A>blXNg`w-dcSW@YZ!IKNU2mA$>o<57 zQ?)9^dSq6mMkXsgSl`c-#C%~AXLhilY8+=$HeQOZmIyj7vK$magr3H612p-m&5S|A~d6!e!+!Rg(9DkXwJlKl5uGVx} z5odX_V)3Z0I09zTs*U#}&%sbW2Vg-v9tBXwBcsH4U$mMAoG*v^k zps8q!SAZ%m#?n;DXC-7w;)H$6vkkY)R5*u;BQBWA2Amsb_QJ<4Zv>01MY)!FFPB*k zM-6+Y!G=7CRO9`$4HpX)v}G-yk>4)U|F7s}pzhEDb%)0MJ-%Bo7k~do#y}_BtH+?+xChDQC{&F*$Se^c zrC9f(NVj6QAIhXyrYk|(&N(D&qT_j}h&pz+e=6w2q25mcD7~KwP{V`1lIZ;bt7$yw zRrJ6@%ld1vUR#ukR_=g~?v*ny;V40e%D4y!!UAL?*PV` zR;$U|(aan?a$z*pZ9gEvF--Po@&wcO=fR{uK-RmP5*Yc1Vryu(@mEXwNS!4YXenyR z(-rrM1KLPxK)mmr9Oh1RccqyFiKYxg@?>d`AA0OoQ}hYun8>VOvroajX%I( z%EAE z6_%QZNeyx)KiL(=9VP{iyS$wU8e8kS8O?MTNI<(9QW>TfecB!?fqXBcL~S(wI){KX zeDerU=;fcyCj1Sfc_i?3di8mOXnn`d2h`;#=iPdIIZv-7`cF1$Ibn0uiJ*gb5??}~ zWlsTZz({QhPn>@?p;kixd1nbK0*h5Q1kM4dA#g6h77@-fsLB11UgNm5+kjj{jgw>T z(nL2Ppkc8RAfuD_3`Iq=&WXL&3CN5j{2mDv;|2(-;Vt6WJhj3R9O?rODX@8opo$Un zNH$@!m$l3Hgr(y4q=&aR4|?ohjl@x&*6(Swa<-wml8>PeME%*ChKkcvI!bk)58)M( zXtmQJPk4rxvu}&6sOjGZZcc+>?Se=)&Yq~auIo*Lrh9|ZYI6JCRk5d?ij`I-N3Fjc zU~&&N-d5HygQPkl^b2nj2SsnRByU8c*kaGIu!`E{mW0P_vWX#Rh}N{ML-%QFzIhd2 z4tCq4Ip4`$3ewHhNcgT``3@9FkDCF?uP-pDxf&`>o|qAw&D`s9t)5zuk(v zUpMGp;lyQrzs(x0)A!v2)*KF|BS_+kr|}2mwb*|rK=tM#fLhJG3t)=@_Ar*B=0Zyv z4+45;znTYF%|&`C)64@d6w|ohTZ=-}_O&u66u+WVo{WN2H;`Ru&{g9PURRKzYf7K6 z`=O6+l})wKC8In0v%pPYd$Y??D~-R>{r=r5oSH5MD5Jj@U{y^YAp^wp=9?{{vYS^_ zG?pM?y)C3G`yy3D4b*GbSwm{E`APU)^F7E@=a(aE4>Oz@&}4uQ(a^taL^{Vb;P7Vv zmEazaf|`)4$v4G&k9i~nQ;OFCE)H25e+}|wWz0XpKrSpLYK($ZkyyPIok(h~K$9zj z?6O911awx8;0Cb$1iF96E{&DXH9XE^dYwuaZOBRf{~=V%|1TpZ&HZ5mn>T?sUz*A- z7;$6OeDgw-{Q#Ju&zXJ@xx_eDu{=4<);*zUzTxR5uC0s>Zj!}fR}tI)Zg2TPEAdam zR=W?GhdDa*?HDx7y65O8p=cK*O(dI;jC2?JJ)qT;A49$L@Ns~0@J|5LY<;Cc&D)?k z&ep!Idle^!d>*A}cI7iZxRK*-5qTQ9xb2L{T;*sr6@4ICdP#mC20m(3{2aMx?k2Y?LKJx)LlyIXy04+N%c4@40~A=tgrtsAU}-NLVpuUt2&-$3Xc9Vmf7^-&fE)E$=b%UKh7W@56ldVF?jGL<|i$4MSsL0|8aKHLcKHjOyc zQ3<7f7 zyg=AJ6nd}U9X#MSQo9FY@M;QF<176-(Qt0Ttoy`C)+a>AxD( z`_jJ^wq6gUuv)`axU*1_ZCYqaYdJvP(`>ztAd(Iec90O*MhDqu8NX=TFfp}ecxvVF z@>Nq4%lp6Rf0B8Klov-Z=;6hZP?a1B+g)a!t#DOU9t`)$5XP|v!(RhDK^+BCMCxY* zg4PNm5k#q+tyVLz^>&sbX0Q3b1qQ?T;@m&aH%pHw; zoKTH>yihviX3UpR!H$V)&=>k52*@j2pNV!k*?B^KG8=RM(4j1r<;%FP+9w-&*?X+U<7w^2FTBWwS6qp{oCPXF=2g}T{S*w6YuJo@vLqr2hlRRZ8hQU zW+ii_dKQ0ZHqIuzOWwjdLjxM>brTCAcJu&%a+XB^Ip@@#3^2Kx1AVm=DxQZb4qDB- zRHd0y>d-T5_86*A@Dd6*6^Eg)hnkhOeiTU1~Aa&Mp8g@S;PkynM^lv2@ znpFIdFLqDV1Fl#lv~G=}HIdiHnMhQmh-8W0H_T55h#GhEG-BRKrZG>-y1Yt!tp6O( z`Diapuon{7hvaz&F#j9m;+moLqlL&n%MvYeY6lWTLc!IDc2!NKW4BYh!wtRlV>E(C zw0`{L(ti5HUQ0rW2-&SkfJD@by`fF(r>NoUw8^DhptmqeMfY$nBXdj_R#Fk-rx3Na z7%TG0^+AW6s#m&EI)NxeNX(_YD7l(mH9fO%l zpFshly5I=yA$V-+1IWG#m^{~tBdQm3juAz5-sVTp6zIVQ?c}GF#2MzBy@K^_ZcSItoY zH`bjj>5al`*U2gl2zXlSG=#v`y}$=jG9uc$!M8X#IDp!_Tds9l6pZ-5Y3~L^hTX%F zmuptWLwk4N*PiK7X$z5SJz$0WohyxlAYE}p12aSI5KHJ)toc27w6HWb_eXJlwenBjMq?w#@pHfrs(MCNhZ9VB%I;*m2zQfO6#L zMez9mc^FZ90YI%cUkH#73TsONZY8l}4Jy7$@I?l;PbRnw;4A457!~?L82d$O+NYzR z{BlNqin)(orp-^01EI@&h)@4*zXn-!Q61s6npmSKMdd`FXB%lmH6jc`q=p%q3T?0M zQ{%o^P_2nt1r73b5?Rj6ZlGh)jZR@AdV3Po<4|@cgzmZ??LZZSkRr{K|}f`lQw%%LwZpBT8PuM|4uoeel8r; zh9=-u5Q-tr={4$!PQef-mjn8mDmsW@B(~quuZAMC-#cKDC{(YvVp$d~-Nw?W{Z=Hr zcpm*s-C~eM3~Qegf~;y}I9y&NwS>vgGMqJPpI`Cf zw*(my8?iHQ^Rob=cfm=g!n`ZY`vb8JZb7iS0}2HJUNu0LiReT25bt ztGxs@ikBxv@TC!anSt$(n#YWyEdB9aj=s2f%aT<9`6)o7(L5xT@BZ|lLlv5Yf!^lx z=J=SdeHE*@RC)nGvgiP+zOF$+$^DP?jS$o&DiJD(RE39%+-Z5R8F^BWfm(gU@B|X{;0>XKc_#qifgNdy8}2;^6Y3YdyWvnr8Wa-XOLv()i-Ji+eyjA2^BTw46a9 zLpp!wMy?hHg02N^LVfMkz|`W~p6_^Y1fcAV@s{sLTr$_1WjPQOQR#S4R<_apx51yE zcOr_u

1bA!ag6_yR(#e_I2*a>87SD<>LQiGnjnga}U7+}E`4uGUadRqh}h zBT|ibS7KC`dHZh!^hwpYG*U>9+ShmHtMw)LQCZ2R0F5Yl{eK~}_(M7EUm%;jRTh7q z)P2&mN}v4^eQW71d}1=zs_d6Ba8db;hz&H7Pg9b+EnB-HVxln7cA_3~>p!mIYBGMR zvG!vyT838gNXh_}xSBZFf*=Dmi}_k4WE-m{jg)}TQz0j)<=XdD(Sb8z{|D>Un!dil zP#_JlB^o82=Wqf}8yoEQZ;{**anQHH0ZVjftd-yn?MI$-+Ha7zT@~%-wBKMIOnKp0 zm~-2Y+#Z?zfaiK~FBI5+`N2wahB8^;Y#ho69| zq1SG*7GJvaE}@WPU;gA3wbClJp0fMNU3%)e3Hkq^r@{TfKbZyks)SOd*M88b!InsC zYXC|mlK`a>tcIOR)&i7D&IHIs+2BC{sa|pQPm7ZIivyRMA-it%U=x$)FJ7xP--`mY zPk{Cf(82&M_E0V2HQmFY$=8f8pPg9W^++hpyRe4+t`HJ+a2BAt%>xO6bj>C9a0`cR z)@y?fCB$bCh?|<4;YV(&jfL!QcQ0oQ&qfQMR!vS#4$rKc_EK8S;IR#VucYC=UZ1-s zZ0;wJD7HOs(cy^=q7Bx}OfVnmfsr-j(e<=&qrX*_ z&HL))X-R7jK#2NT*|4O>J)4{Zn?v_}^=$?=e`D7$#?Q3R&IdwvO)O7Hd6~6dfM>YQ zQMHV)EPRNB?5p%c1AGWbtkz%){NHW~^}-i!T7zr~AqO!STZ4m^=7&cSnt!1H_oK3H ziMxiSFa{<0J%<5<=OHVP1;nu$j)mWBC8S=L;?G%=AtJT@Dcga-8y(5#P;u)LzmmX&pms799;1S0KIL4@aISqZhph3w#ms79_dAnPDMh&%XN zk5A%*m!amvmbeK6Q1Fk@uacKlUXyD*y zNZ~^OuQ>oIbd-MiJYkON&!M`(8y4Ab0cTqW_(v`QFsSgomZ^txmsQ(UAp#dwi11la zA#VP1#v1$#RW@XFD~j3x#`LnAq*}qd<_NJ_b+& z=HmuAMSTL`w-QAGi!M($y9HUWic0vfWuyeoRm(?bW`qA2z$jz`m%E4t1Z1wU;Fj>D>%bz|F=&HR;-432xEv40uK zGvW0{#_ke%`2xg2e;D80n=SBKH`0A4ueFkJ8+Fyp*=yDq?W2JQwN&(z%HVoU7Sy>6 zcLQ6}-v1fFuL9H}_{Io+4d4(zRaAo<$?V}&*6`i*E5MTc)J^snvz6;Hpy2)2TPF5v z)_y}KUS&-?b_`lY4@d*Ya@Ht<7?@v4_a{Utq-S>ZW}*`OW(2<#!EXbUhUldNzY|Np zYhZpQDSVIMB1;G3@K5HnIg~8% zVkJ--ml?n!KnfK0jLl8WfPghAlgu|eGnztS;8nQ*$scijf>^@81DMX93JPNXZ%9Z8k++%vbwkd8TA zWoVIw2t`WBnPUOfxZE@UwdKNP^i?wxoxhPc7(IQ+FAl}X=jgEh=Ur-l^c-<4zsi1; zX8RoR?u=}}w`f9lZGGjtmGsv+K*l>KntGeYkH1Oh-kILT@;rMTdWHe^5erM}ISLuW z>qP|V)qKaMUPGxsOfrM_vKc19p%*Q%v|vC0FGp63Q>ZtYDqK)RnQefaQ4El);AaLb z*5lt0XbvKnxO*EMWr(AEIkog&%?U5Yo0*DB+X{uD6!WYp(Q5~?WA(zZm0NU8$5zlP zU3(KyM}W>CQGX2boJ{LG1L9;_hfaq^sFK}SPjGhw@j{W7!b4+EhCXX>cc&7K8)Q33 zI88KSc%@NHDOEk$TkAnj`i-nOw3Zp2+7H+8@dW%v%ZsMlI4?~ zvvdbeZ&KKggQ3qJg`1UyAd7p3ZWV>~)S)OEJnl*Oqj5kZvpvLdGA8t zzE-8lw7wre&L#EzBRC&mhZJB$Z9I6De(<;htRO!08akhR85qPD^*pRh>=94;@>8lJ zb3CB^;6rp6ip=46J}5N;y+qLzxaVM#jTS~dB=01#3ftmnp2u4z*&wX4#aYEby#bq3 z+(M86B%_&K-0Wr07^?sXD;mvaG#M?w(r|{jGOY`#VFf%Gw%!87#O=T*NAM{CWs?IV zcu)ivNAO?+U0{2vfqiz1ikr~z(A&a7!QEK^9S!K-g+j%8&c@Vv7*Io-K_ToRlO|R? zggy_QA9!+*#W97it+<7$4;RVlU=xglye)!NJ5#IOn@(${9%BPA^l$K~#D_mY`RR!0 z_t3vtLQ`~~In)g(VVQww#_AC(lB;c9soVbNl`Pz=q_fms)dJIc3IqbA^TrBRis}D4{e zRjPzX(_+u!hHR7%SvXAp~!u`Rph6l8Xd78`?i!0%fg*7|L(LP zI4lc?LK{}sZYPc74z_%?Wg#5&a93mpRG(~q$!Ytg~B9~#|li9@ORNO&1 zzidqPR^2lRjgZ*6C#0kk^;A;~a=~ebvRw#PadZlXOnNsHHf47i X1Bo3L4DdudbbS8giWf|*9?$+SDvS~~ diff --git a/src/builtin/obj/num.olean b/src/builtin/obj/num.olean index d904b9b9a9096fff76675e39288366388408b978..7c21f7b23a72a52ca6d506c3e91916bfbf2838f0 100644 GIT binary patch literal 48291 zcmb7t3z%L-dH*@*`}Vt13~MYPQ01BsiJE{nw2hZ0M2!$GiimczNj9(~*@WE<1f&|V z$|V(0BZw3csDB`VrXX$QUxkPl6cqYzjV(_BZMB-xKBd;8u}$^={(iqXGxN=Nb~nxQ zFwB{G=bd-n`^=f|?1ptC!((ek*NtTEUp~5iE@C{jpht*j&r&f$?9-Ww+7#dkOx<1QV z#W1JKQRdBJ4WH`A)QVw%AB$lZjI5d*y~xoezye^_IksVJXkycN1q1+^C<>rhGdeap zd5N`@6EusZqZ8=Px^qz0P}uwigG#H|tcopSY{Mky8o7{7S$;HT=YS?^q^K}rjAE{8 z+`s|aKp}cj8?;4f?RauMzlmD2SzL_&gMg)~y~uz)_l%vB;~NMee1oe;)?{@yoXN6o z(~oS_f-*dWu_K$~;T&`T#{33~0|KJ=;5o}l`7x}DC&sfrrl9*kLcV~IM-!B55z_~u z6X-IXaKafnvyv;vM~qv?5!ow=xs8Xwy*XH+G-qrcYuTqrrCisr$BnPuh z1Vx2-H4vZVah^FeHZt@cQ`b?n8=Fioyh5O59$9dxmVYE+BE`b<%Tc_ZU@tMIrV^h& zmm(Y*mgZ^cbN#?U)TnPoklCq$pjz?f4I7Ms)OpTqO1vC{vL!IGqfuk$$$0b%?)w%I zfMBy&9*>4WR@pbpGvid_ghYNEV6u~&QZ8w6|D}f=cC~GL6Sl}(z<7%E70G3>-vpo$*|fyk3>GPet6xwk%>u@ zUZhq4J*9Nw%Ob%JqbEC?rtE2Pn!z+z@{Ks);psI0iV+>^%h7D~TA6d;OdiU!B(uqy0R+#|C*tr$u zRx*fiTPgKVqE!=+`Q~6X{rHF^>pB6(vD-YOfL(L@DTsoU-bmngVc6Dgaq7^R1wuTq z^V8)d%ZI9_=@v_eCeGh*aXG{hhT%7$2>h@hi3Vt2mfebi(>8l)w4h>K7)E!twNbc-=Pc)RZg3*`aswl$1gxX=a2$o3UTl4TI- zZSx|*n|fUUobh6};qg8cw~5$yqMj`xd;Sd7K@`nyVN4yeaHHs~$!Q(Qv^0@>k0lEa z$I$En6!)TNc2S-aq2TgmT62PqR1q5NPtquz1agKV@)A@aTj(Ran5Ye|Kxe%3va2W&q;^c*J7sstsf3jW6V5 z#wl3@XemdzvQ-9XD;r+DdT4w+L&zQ8v`*H$s#h1sE)7ei;G!tQDRxjCr%935gMh8Z z3Ck+u6@9N+oI%>YM?G86BWiTqhT`OTDDOuROlBJ%)s5O;aJth`^)jy&YlhcN7&nn@ zt+a&McpL;kRQCb?WDb%pz7%z*I*tu!Sc_tvXMrX4n=CuuFlJ0x9vA_j#TMNcM0v+< zdtPWD&Uuyg>mn9LY%kl$w}Yq+-A3g7<3MxaN#HQ zi|8VnZ8q>dV&y5OWk}#7H-9F@Ndk6b$ls%wWkb%?kY#?xW^uZ*wxuS$jV3&95tPr| zRWPu_y-3Ls%l<12owXdDjX=****;ZTqNAufek_vDP9JuI8dZbnz_+F9f!2K9oEm0)1By6>!{Y-SaSN)!Q<(08y-6gwI-NFMJCIDG zkR0N4rYhPCs*3^VFh$5o!M?fHkRO8P{hG0oyH`WPN_WXV+L0JpdhQ88gv8Z5s3GU0 zK)@dFXo8O-swsTbK~yaAU^}bIMLF@uh>+E5P*vo*)@u1;wqA$o(&H$r3Hcpr%GQ9C zaA7Tr%C-C&p)i_CuS?m6-u7?WwwIWwcCg{_ebO?`NB1MK;`5`6TNJre`n^(eLql=x3k9)6nJMV^tt z5oTtBljFl<5TN~AZ2#q>ngt!3M%bKVFO#n=13EmF{R42e7!1vkq2?<>buIKRdjf?; zB)MsUTT8wI1!7wMF0O89bhSO$Kk^aF$oF!-*pFI?yB&eQ27+bZ4+SeI{My8I42Q?&+N(zP5d-tXl%_fopgKZ-66 zr2}TMh=kt@4DxRGh3Xejm7}}gYWban#pWg7IR|}Qh!}b|o*mDumfxK6W*@l{@rEu} z3-LU+3M2;v4={A8pQ^H;Uli=!LB#ahIsqAA1H_ci)ugCu4kreC?m4Vx~dXnNFOZ?`JEw9~l4>|fReHw8b5(9Z zsVjTLdvRNbJMnSh-meD+8&*S4g(W%jW3-d0{uQV-C#Epn?T}%Xsf8km zVh`1YjX><&K5M0!J#J6&@dNhM#xkC~c}|hE1H<&hxSJ)!ZO02%^h7>jeG$5Pb{i3j z-RRt{0Qd;%8C#5nls?$4w4ivATYXA|B0O0IB8nrN&J{;=i?L;AaRm{}s64xM%7H~Y z=dM}Z6li@~`V|&S&I!zq;?kR`(*2!RI-Wo}%@Z#JzTI31m0-6?UV94*hc3mjIr6iu zo#&T1p3Ed%Y&6?oW|!a8Eha{74>EKqhvy#vWwsBpMoU?&k&E!DiWHR-=ghSi#XP06 zn1#JNk2PFwN({=U0>Pda#X`);9kwt^zl?52(PA!m3!t{5u%(U}@zU}TA&dFemtPb3 zU%VVDUozVYwzWz81w?Q@V*u*2^(VPoPH{!9(W!5>nf;)=Zv1r1+Cw zFZ09DZ?e!?WpQR8iOkCuk;QbT)FOx51{Hcm60qvU9XUn9ak^msTZ*eAC3fQVWw~3i z48E7&+*%gvdu^atPlDl-i}hv>r%#mU|B*d#Oh$)hT5|^0RZP+(mM2r3?w4Pj#VXVU zhj`}0P=Fmqn6+KZkEpa3Wcp&K1Jw-Luv5N~161);|NbH#@X<+S3Pn3|Zo5mMPQn z^8xFU<>&M~Ww0+QEuVYw=`0@;y}c*EoA2utc2Kiy9~niF-&BhHroc^}8@Zf-)CLm=VC!HnD)jEsa1(W6CzJ85; zh8jy_aY?H*w&XYH^l!a@Xe}C!j`f%C_)G|^MBrH3)1f0uJ8J$Qd zXo=)_ba`F=$sBu%5*AQc>;cGrX|ee#NuMPIS5OlzTea$g>SNWDRXpgK>=fOO{6@60 z;z0{VQk8;gUu@_#jaY4gcEI4rMif)M5j(UNj;r#gY=9^|wDvl5e2C!HnbXoTbF!SL zd|enYfN6P)XmO}e{1?{^l$j)MS%x8CW}vuwDS;2}rGyzKLtybg7&{n}6P?1(BIl6m z%N&eec(){nR~R@9uvvU0h-YN*`C)GVQ>$@)h5Om0`7R`Hzmb?8@{n3RGChDQliFdm z5Fqj#P9}T4cUgROQ>$|j6Q!`%v=yH2GbS6E>t$PlfQ!$?J(AYKEc6nS$c}pBCED|r zR?jk#x3Dp{l{U3XcKnvu!O}Zp$%83Mz6JBbdlqLAXaP&F2M!edTdeRqT1qX++8JGx z`S1YIJp*BWi4`^2W$idDmyy}^qZ_8>;uLC>i;v707CSmP4tVkD^BqwLY>#045){`1 zasDPNoG*W~s>M?LzjiW7BP|Ge`JGl2WxnIC3fv=WA@(~kin6(sd-n<9xF6x+9 zM=b`_)|M;0%)yw@+q=CE@gaVs!mRdy%-x{#$3upnS6{Tg4hgK~k>#z|OM8 zXREC7U1SrN!=uamOw4^HHRUX;)qamvMxQ}e&qnKzkB#7obHH4Zc4kD#fV(J)aq*cO zaAkv@74AfojwHMz%%3SED|SPbi(az{%k+!Z3Y+l?sV7E86k#zptloC#R^;zPRcrn| zRC%zO4_U1?P5^RIZ=kT=+JtQY{e8C~kidULNtd1-js~YCkc9oKP4GZ8$5Q0CW$A)K z+hDoc_u50%YNuGKLD$Cp0)dHJ?tBfZTGx4~YF+1B&8=$`ty@JF<}67@jcnV2nm3{m zdx%mluXxbKY8lvoh%)NRH&`Bu9vo=Zem~WqS#!{Qg%y1^fVK*)vew!fuS(gzfPnfG zTn3fhsn_&C()G2NPz>aDS`0*H;}}T6GLg(4L+i(g_5B#eBmJqDK~l(LOUvY4H9D*H zSgmauoceq=;O4TLm?c_U=$?en)YMTwz&T;0aA>pn%NdLkSG}bx1uaU zYTm3au!kzM8ri&GR%N4W9|OkxgH||o-GZvr^+Q&3>Uud^`}aM;B0uXFJcG7LbGy)- z9QY@EK)@7sQ)W$h60N9!R&Ml_@eT!RojjVfe*_TJE~+f8T(I0{N{`IQ1rZj$>_Ci zC%qrGzS`|`P}1BvF?*;Vl=|+V6}JQMDJ!x?Y*a!F-nhs|z2K_%Q3{eEU+KfYn0(!22cqEHM3`~6I(*PN2z@ibY@sp?S3!e8C06*rdsj-j?sa7@FzB|^e4|k zRcxOH671@N+xA*oWWRR;ZDs&Lh)@HU{rOeq{{bkwAh^bEj0RXTqsC1;y;6qMtM;Gd z+j}rVEaWu;2^%tU2by3%Q+&rwP?w3DHqU~dd5Ceb_2+uA6g1dQ)hYK+Vl<7b_MFw+ zj)LmX1USI z$vlg$N5s!_*ND;QXyYE+O<|4Plh%{QfTy+^1H~z=KVFYEUokS6czDj9_Kd)7k74UH zDoEdrR+T2qwi>C(o`$I0Xi7Mv*5dZ@$b~)kslP{|e$2o_T;RIxo&zpl54r2Z)-MS~ zJfRnYi*vGq;-x;0Fn5&bi)G$YxMi2}lKSj2Z(2wy=rrrcVAVzP3W5H@sWLIce^9;Z z#{qo}X}$wO%_k}K<4H|We>(^0Q~$z7BzK>9xUb(Rk?LZLw*)dRzm(5Bw5Y>~Go2R( zgLsu+c69Vm!#QC6)mG$d=b_rQLbvgQS@5~O5QJ05^^8IFlTf_c>qSlKdV{q(BApPKFmDQaE@t`P&MFm*L3K^rn z3#ny54T{a4RyL~VMC+k`<+D9Kt|wx5FKLvuj2wtLymo}g9t5tF6Rbhno=WuH(G&(G zADEz=Mxrp^`m1{->Tqx^k|==Q(kr(5*}cy_P80A;QP4X)joMq~8b5D!{?x>dFWqZs zwxHO7!X;IIjJgb-YuAcEXZ>(1f=FsdfDX#hHJV2ox2CK<&ra+N zVvxnEIT)ZrStwcrrl5Nmh{&f-6rvzrSH^__dZq5X5F6+{=b}sby-_%Ru@Q(hWZy_s zs zdflZr=id&`=+=+8o*{?n{r91tZ_>Frv}0&+*nTh(Krm@Bf~Dw?O+?tEo%j*@#FEft zx$gtaK1=oNtSx!tk7e~#o z{;BGy6i%F?YsB>vFm;o^dEm=gvZ8(hBa-eHSigH~9s<&BexYtk&I`!k`q(2Ub}PFn zW;#8Q38i5usc-WZU*G02%V7)vh!-uL7S6T?nZ>7~QPwCMhfM3AVnO_{cF{=8bh3K> zJbLcHbfMAVh(@-oKZobnpig5F0lxnE-sc{d!J+W{^=$#mry)%UypH*!OsmcxmdGO5 zh18<1<$y>!2@#=2>L;AN8b3v%A)@-HA-&=(6w6Sp-xS2jpT4Mp5ZT^n9ALlfVGA7U z)*njy1J^%o{o>fofP9$6G~ieUqaH%~Jvt}~uLzuO^T8KV7wNWlFuXh+`$gj1c z&R3z_p3Aqf2c{#n;7WODQ~wFTbv}XRyBA(CQ@R`OJBqVfc>XN7iXViITWCnOx0O)4T!zIP5#U4b!s?Z4$?509y5)=l_Q4U$P3F>A3^T-$ez2p&gmMg0R;?p^+S1FCYQU2&Nqu$!vE+k3@JISd5_XfNtb8zWFs7J=#+@Bqc{_(Qs#&kkanZ4mUQlnobD ze1?uMVpRo@UeiR$`3y*@%gzVy0$K9GUkQtaZbiq4wYn#g?wBz^*&~FkBtDw75-5m@ zBa?*&R`!0|AV17c9cI;7D0pO7Nw?DntVy`#YbgNBue};hvo=hijAxp)$;?1xB!C%^ z#yh567+Ea<-I{@M*Oz!M)R*8HX||G#v#eI`qNWE50!ZbfH2{&W_(nT`69P^@Cpql` z|5V*n;bJ}0EuZHPjC!`0TY_oF(|Zr#^dvfx(iS5eN%48$JPMk;0-YQ*a6W6Gfrlsc z6QHg64OTcLRvS1E1y4+Lf^veV*|Zy0E9 zOt?jHnF0J6;3^WC$@AAw7yiir-RA)t?Cl6MkrCA6L<5g}J7Sj?u$wXM^HR~P)`6?h z8e$>CtA05p9jfYAl>atHD)xT|Rkc2Dwc0pMFMbn{E%MS&2;}b-9F-&v`OLr#6yGkZ zRvSz)KP)85ROo*FYJ^(BC7QnqC>Ts1dA63GmGBjHCEv*E=l~Xk4BQ$P?g^t-L<^TG zZoz6f=62Mum5u$-?1_3!D8GIy%ijj;z@mvp zqOH-Zf~s|sJu#3vLoN%XKk{WE7l~uHpOA4_XW8*Rgx)Yea4$%q93%HT1!{v7yfU)s zw8>LZoa9-YM^Tt#AMykWE#7ZKm?qE)|6j4y#rZPs)wli*kWHy9hdxcwr? zp2cY_OZg8Sf_wpQwN&==j$rmYhW{gqpI|s`nXK>^EgrMx_*#|S3=5us!WQ5i^clcDFVb|~fA~0Q)d=h9BDEP65=MD98B$s`foPT+t7^3;TdWd4(iG08kFK`y1|pNzzMe8=PZs4X;cM zIO)bqQP@t_jf1N2!d&Ae=r|HDtI^bW2{AGsqx~vSmv4R=M?$)KrASV&2!P3}Q5}0~ z&D)7Ml8L9KY7I#wA=?`-+g}u567zt@%Q4|}*3DBj$`iR_gRg#dJhK?jC-xH8csUwT zL^})VL}Jp7@UmOPb0p{Bk8C3zLU|htOT+`e28%@kxZ7CRYt}sJrrtSXX0TZ;5X%Vm z6X6IH@m;3YlG-d^jm5)*7LZFFP|S&*2F2ZAIaG}*Lv6egkn>R-Sf#J(hCVwxg&^y1 zw}ReFUsmC%w@9W4$>TRux{3E*=qBC+jVAk3Fo=C*3#yV<9a*T??q~?Q)xg;-w z2V^)d*Zklxuc6>l<;3XNdFw_d?Nd(t2Lkm~s`Ps>`BUkS@V@W841d9d(CK$#IGrW! zuLDA21?ybolq-Nxvb#{qASoK1O#TbH%HJq=XE$tD`td5L<@l1%63FZ(*&BEl^;=6fQkT;ZUDfxfX8FyR0|jbnlI#q2MOI2%Au7P$^WuBAp%Y8u&V zZuv%F(wyXpAORG4F803ykR&YfH=L8X$)#bUtp=&!0=YH7)&}pF=psj;!+EAu7{Ui6 z`c4|Ma_RpE1bQqQB2)1kWrtK0Akh^cG9heC7G%lxP zw^&tVU&-f4(xl-^f(F7Ck*J$Eu0S{F%I@N9K}J_ZOhrH3xMGafGS43CT{HrboMDIujSr)d9vJ?o z@lg~X;uK*)Nlf9G#_ItjGRdC~MiQF>Ng$KmAMRzej@&V?UU)|lEMcGfnYY(6=~l#_ zJwW1hc;MG~lmmnIDhs5msf=YGF_^{{6qT_|-B9eD>7QgBwBipi^6e--82CX(W7Sko z?ynmY_NcSgC=!PEzY-4RK(SG!3F%alDjg!DM1;*NM@lvL21}7K_Q+Ehu?@|iCxTwl z$c(jj=#>^a9oeFv^U()fCLC=5l84uw4jr#%#I?BX)} z4~1zK$)Tnk?v#hZjlZp+kw2);c$!t&FMg680~pSeVSPKLUt33+DBn2aCk5a>#FaNk@4fzx34>nT!Y#9Gp3<#Sj z9iQm*?rL-;{dP&&TJy)OaKFjY+`;|v=tZlcQ877^Lz-iQM0J9d>tvyi!qDMhbmKXU zY5YGcvJ@NIFsAYE(d2lZe#`)LvGLPj>YV34h{HP=0%g0&($^S##5^6i8VNPhY#y3d_7ic> z$vKtKCT<*|qp9zMa30wAzR|4R9@Ojh*iSJ&=(URuk;9RF?RKDovZ|jN7#(=`;Oqqj zFPgfVpX&McKu9=^~c7)T4NuHLG5_(D=q@F)~Uci{}c%_ zK~KZb&u4fLT7^VzEPBI&IhqGU&ty%#IF)Mvar4lKL_bEVo6>3BoTqvC{*O7@#xSgK z%BF7NZUH7z_!3}>G8Z=f7TOp?r>27+F3h(8l4C?tu#0fco=D5ROo8BuiWqmEI4v>HkQfR_vGPzu=7@PQCJ(6tS#vPjeni%zh*+Nm)~2yRte2KC zs?(H1Boc2CC7W*s($FK;mkY(@{;QYy8Rhpc^Y{ANh_C&^*M1%S;NFf#FhQeJen8(2 z5mur_hxgJp=8^VCTQ;jBcA4%IBE8?OeHnAFHz9}=hllUh;ur?{FmCDFuuw4(&|U(L zsCh1$xq7O!bO2^-d?h-F)*es*ta-LS$^mu=IKuA#97yFfWTo8eU14%Dm`cD=Jm4-U zYJCyA0Mi`_0B)X*$7cA3!TL=&=-3~Y+P9KZmL`Ny@XcQC&Lel1kR5XZcWv64xI0ct zQINY#9}1lGNo$)!tfH8ivPGWpn0S8~PYTFlnn07kWo(94ik>HF`ZA-qeU-vH$VUl&BZq`z6#a; z-zcO1Bk0lrXM8de@Bqp>{BY<>jP^}GT|$VH&fwqw4C+)qT-hklA5MS7;wOd*BNAe)~g z&JbafLy6|cK}fiXE*jD`b1}e~z8GkJoGvEv0%Sf3-Oe9n6~r(0@I`fm8_uYC1Lo%d zy|}^Sb_~+-g4T@Z@N2HfC8&&9BBm|H_PpeGK z-7xX3O6Ms4>GYE%xR1bwv0P}Xu=iuaPg>C@arSIu_dF}>%zWtGQwiS-AiTzGe!+@r z0Rx5s$&}h^O(LQ?rsBE}kP=sb#B=i&6t`9=|4vG;(pHO;fKFS6NQvmYQ)~E2B#2b& zIDk}q)$sK(tA8kH1!(i@D84oW3wf717>Ne$;_xaL@nDI#&s_B7w6IdGpM-y%s&JzX zb&UyT8q2qU8FcGjQ?m-@p#bAix~&(UX;xbMSLqur0J_B(^tFh?cz(Dn^0i^48u1(q zviWct6;4VUUgM)4dRA?)Z@&77P-U^0dKKvpnT^8R8?4J&>~FJ*@YZwhK3T>+2^wsm zDgp=^??Z7z!j>PSQARj}p4^9-f}YS$oP$dwwFfvc8)10X+x(*92~9#ntE}lqWPNN+ zK=n{q<91+;PFpD2e@}RVM5~FS&sJhcnOOU)6G8YRTu{s5iHQyP(||5h z@p{=RR$)ZEMcFEb2ewnI1_4FiuY??p%~cFEZ$y^@4YyIMzL~AlX|SK6`9r{R2OYBg zRs)UN2gf=QMlrrdBq2aISAm%!(`dagQ4cJ)iDITJ2CaiIQzUK-YJm-!BN2D&Aof_{ z#2pfotw*B^#@@WaS9P~7Lc%!aQwD+mi;c10ZK8M<1>HvEoXG#|?p-U91Rz+ffb`0_QjX72CKPFE`;?=+f+3O| z@g~Ia{g-H@UGs1(QUF+O>t!g&b!YYf#~89yCJ+Wxr$ePKi0#cRX z8?F{VFCdkmuHQowUu<2@#FvEXDXbn}E5bx*5ukg?)f_+z{8o+%UDK+X)r!~ihC)H_ zqWn@mCXKI)(uUWk4ZrJGU2b@zq&ZdLagf1Wo(Y{cyl+Qi<)*B4Cc36bdIK))%o6iC z+eYRqP|UC?YrV^WDmP{9>DiRcH_#b2Wvw%*7JXhbkjqG#q~xs?hIjwS9Wuyja?#_+ z4a|VhTSGE2mVuDL5sHmSs2Wtpv&-ZJAGjG%y5Y+5T(W26Y# z7k4c5u$ma%(Y3?!Fe6ebA3rO#i`)%?sd*XZ)b9UOR23jkV|B&=30}EPS;|404z*at zG*XwqQv?zBgS24lt;;d%3KZe9Gdf~RHesy~8qmP6tZ046iaw_AK@VV@RzN(hbMPGP zf~X)EKBIWI7*Ojx5F2?;xZKtjv`MgG4!^+G1=d@2fYIXj8T;cU*zWdlDc7`z!*tOS z$hD8B>OdW1rsiBKaRIm6w^*fxy>4F=jZtAeilP8*ak-zGXVt0q#;t2GQ^;O4=sFHh zxJLTG*ZF*@@y1 zlFhsV+T8jCpKr9P7;<;j@OuCW4b1L>p10^z2JtK$$(pVUtN~<;bftn1KCk1+>)fja#FBHK)jgvN(gFeF4u}TR%Y8G)Y$U3%oRI`H_v>zpUkl z23ei8pvT3hM2UYWv9KJk0gPe0^<%5CDD#$gpwFcb364G1F=Jpu23Q@~&{GCBP*A)L z4Q?u{FtqWpGQRx)v`-P=<^vIRGL2-vu#U>(*%o`CLNgt}w|)*F8hoU@U-6GfTBzhWXyd^9jW8=moa3yND) zV~AccRv81|Ogf98F}xEZ*lRXWx_U}_yBBQ-n{8;QjW^-3LUvuA&FtbH(WROuLdDs`-Vuyl+i92G+zNpy4u zbsMzaVt!yU)UAD(710}qkPWmC6K3lVIGbPK@G6~bpf3D-|cVlYpWzJ!>&$UOEU;wT6CukO7 zRKKDFbPI}=f$>zBS6So!ZAvg)o064QtKO6V#_73LT35i)6YBPFM{EcRqEx}_AM=kkI5Ojoi}Qulo`c$WchF9cl=hH3_E^!E+A~?&Rd%<& z64*_*%6qERzxMAKkfV@5RodM81idA;Jni2BRHD;NyND_1w9*#lR&I`78nmpp03}a? z6$D_FqGl=h8M2smxPf4QMr3k)bmgYWk;pUqZF|+}S5Qt!p?pQt+e+1Fy`SdzUQi+R ze_yEn9;?$?Lcj<#tp=aTwT1TF=G}`aj=iZZj8x$T5>GT*X9T{{R8||R{W6s{41}iA zUS+jPQz1+m65^9~xl23HQ>%_br}e3Nn-|VRTkkhAnwQa$at|p-%4n@B+(|`(oLVOgIemXfAKGSmGL0kE z>+6Ul_@(A$L0XILx&5cngzPVi8BP38!0BM(JOys=u4$iS1gHr0~K)}H2Ef#u| zucqg5=xI{L-3tJ`G;x&i&8H5Fp(xGEXoAnO+N;LWq~157Z65AaM}_8dm?ZM#GD*A$ZgVQRUi?TWv<=;Bik-4i0KR1{{x9DaW_iV@03;*SQf1hkf(< zi*Q7O3_!YKLr?J6)R0t=z|_?1O;&l6Ch_0oo-W#?Y6iYGA0i<^&ESIQ#G6l`My|EL zY&Azsud25HS`20x7WOcQTG4)-m{*t2&4-im{OYuv_IFAk$C7llP}}xX!LxrSVLtu& zQvd>{^h~k+R28MlOyPan-_hwW~zIZs;tG0^g86)pb=w9qw$d~z{hj(nbC zht{9)=P^-DOunixM5?KQk@iIJKP#ti|L4?e*cjIEv#K>PaspEyKO-xIiZXX={|q#0 zp;V+OVPnAC>(}6x4{#3B!7efJa*24NxB#F>F;b0M7>t|;wPdkl34o%2`FI*1SNQmd z7lr@pi#E`35w1`aG+xmWd9&MQAbWPz^I4sFn?c?XB{dIj)V*8qjoNXLK^4w2ARr$Z zF%m-4%}3`5nVum!hbC>~f^U*onYJHo6J=R7TxA~yXT>wZ(o;@yhRP=D4(VSpU zYWG-t=f%`h@_~oSiI?l(bVfmI9FPh`Jl0UZ75B%b7EK?^+7|&2~VGkHFaL&;a^Ai zN?n-mWzyl_35^7Y7|@xI;$$nDNyO{uR1VW=CeC>>Xps9MUxWJzK=zT9nn4vStjMy6 z)P!GL+G`D@vyen`s_08P>hEO|cNU$6KwNc`mfh`l`!#2i7%m?x_9mQtMS>pgQtXcy z1wz{1xp&@*$6rC?+CQ>_E39;>ofCUJXt+$Yf7cZabw`^&>MiJZCp2p@t#%XZLRIoV z9$+9*0Mp!7Le|^q2bJq7OlaVwyT;P{xf05NXr#*~v>&@>3xB1t+cu~34 zfWIlgS+^P-6u2taTweam@9c{RLPha;lhB!~68j`9d3M)VPgoB-$5OPW@Y@#6}rE_h<~GMa%gmHa(n~&G`Zce zDOT~(7&5vPwa$h1Gh_epOdyNjvhTz5VA?8+h2j=pu%fdC#pPD?e3n1I!!wn?lFa$J z7x4&q-3L||DW+OdrLIw-H+Ykd$``+|H~Lmwuv2Tp#Vjg~_>#iYC_p z$sOtvz6;U$C@8v?>%waWhdKee0zg-Lpy)f!<>CmcmEi=FV(ZL z&3mk%iPe@<_i*Js0^X|3pCts*mzoh1 zWxd6<0O`BP!I;5mNfv*;%s(k2h2?ftUuj_o?$1+&KrYrM===!NByY$%KZ!Wb{<4_q z;%w)~T!v)jF-JMc9&7CUxJ1{NY@)|mIL-b7Kth~CEN{-`Lm(Y)CL-*F{3nb-ck4XV zxH;mcQpal?xEVd-kYYEVQCP^LCPMvO$a*rk5TY@eKkj8FvC)BG)6Sdr}HZ#brt@Isdabw4$)ixvIQ8^SZNR| zv*>%A;3K15=c7rmp*Pu!Zu|1`viQ5p6jOm?%rz&L{YbZq=@NBh zzEEg8L)+t@eoBC-u2RptfP&kT=8dR|gbKvnj_>AeMP*_-?)k@)qst5zVGnHdW(TKSW)f8^f~n% z)~yd`2QSuz&UJni$qra)`;=SfpU@96#(%^X&t3k_vM9F_6KL|v=90StlvsCOmams6rk9i@iL9b$DdjA$L=Mlau} zW!+a&f=}2WWetENM_ob>C3WV3;q;t(j-mw7zfw`ePa-Xb!glAekqS&7Sf%vcR|68f zmB8eq1@3WBm7M^9GpKU+_{24lrf6bX4$&#jmO05)hNdqkSvW;bf;qFPQw8hnFdQMy z=XW9*Dn4h0OSo=T)xN#88MW@aqflVaoxidozY|^YPRaT0Clq3Ob+PkdKuZ#bpi1%W zv`}M1)T&6 z0N=fdQb}VT979(>=C}Z$i}C!~h`yuIdRH%2o_uvbXB~Y(uz#pQ5wv?7YPZg_vfi~q z5ho3WTxvL~)}Wg)^0p*a?Li~S2jaekiW@hjAl{P5x~8r7w$Qbs$m#^_tFOhTz0-9N&5R84GRRBuAVhcW;62hM&JU2~;5F4}F^td$ww)qQrw2U6GQc! zZ?P&(s|%}fcO}A9H(6Ugce<$nfGt7vyT%A9#%E1Mcti`gJ>Va;jogHD`~)t8%b(j* zPjInIpc}@{vxDN*n^sMZ+K1s=#d3_u_TY4;Rel^DVWsDD@4&Ohiu_9eKGz>0;b|$B zR(u`RJ*oGZ}ub1KK* z0Aeev-?dsX8!E0yrLSN<4}hQBe+M*BqcTwAE%6*f3qqF8JG%S2Ruci)WyhkALG-e8 zZ3Bl}*8z0^*y=}-Vv>TtM~jGg%4)@T=?(UxRewbFU^eVS1D1BcL8#ezLKOpRZ{bq7 zVYScOVRuSe9UE(JnQPC*a*`R2ow&4poaR95Kj2^#WJ>WaO z{8?yV;a@Kj*LdU>&gi)U4Kh|P9UI9=%Ij>9qMb;gz+ARg!!&OLKr~pwkmN}>_*Lld zWpat+fcwis0HDDZpCQM;4_xB-4=|HX)@cj31@bioKnJ@hc?yt!$xAr@5|KTQJ|V*{ kky3U#jvk-Mf6X5B;pbv(ljL$G0Jbh3TfJm--AMNT0Sk4mrvLx| literal 48176 zcmb7t3z%M2dG6l(|L4CVhBOGsr9hAgQD})&MB4_@K-3sQuyVNQFi9qpfn+93CJ>Nf z5v^cAg9H)!P#z_sNwlJ(f>JIOg;VMM39VGnr=HW3O0hldL1P>0`QG>lsW}V{`<3pP^PgXzxpoyXYinU|o zV^ddKOF2QaSUR=|-C1`KWetVRZ!oB|iY=J(Y|8Tan4JTfsF9+=h%t(} zs!0O}Xaj}lMQyGvN^8fJ>vf5Wcx05XQU$#X$klMYzs#Qhoxf;)(IBk16Orn2@g|?>{W_#-UQ!Coa8W; ziJ+(uZvf)cJkIln#z%%OGIbq8yRpgi!Yc$?7Lo-=X!*wxCQ>Y1pMv7e1p8HEYAW%Q z7f^&l!_qu0eSsf17d7fz5oESJ5L7G9nwT&KQs+6dDe(#n%Fc$7%}0%$Z^ETlaNoC> z00f)E@+36OWtDw%JTsOXCnWL{0h7I{S{K7EgE>rxcNO88M+a&>db zT(0hQXcVTCQC&(*bE4IubsY+hpG#7xM_TtBbOrjGZ{M&HEg4pu=aI-aZ5Up^eq_^> zNiR|>fSyx2@nw-8$j$(-%t5HnihVqmw zkax|9bJ<%@tku!^&f!(YJ^pdrN>nxO9gLyu!my!@lOt<*Men{XAl74|A4~A{+7R!gmEfC^@ zou4WvSus>KO}AJ&v}xVMRpk&z7>3`0BJjh4BpRT7S@vlZoVM9ZqXiY?!Z5nCt*v5J zS&1!kt2`9Rb8c)W;N&o9p=6+RpR-(yelheCRg0w~SI7f=!PYQx#Ud9VBimOXNtQvR zpII0Q-qh`&4todj}*BJvVcAY16r_nIYs3Z(c9!UEQmTNi_Wjpd}XFPmS`9 zJ$AjwK%Da`?bk&tjM!DSk#C1k8_4s$tX>J2e`572RR6i@T);=Wg{{{+A#izllXJDJu+YyC!Qun*O;tF^SK^q8y-!t;6corSofsFqPs>L8e$Mcc z=U;vZiSJfSoF9S#+o>cwI2OfR^AMH@_yA2dMBcRmQMMlgN!xyE)9JXDgbu2Lr|}Y= zQs5X9zDT@d?dpJd?5gP)In5p_@DV`0wORU9N-m@}oO3t9DHMyOfWKMJ zkLn79`2}cgT2LCf!jyyOGQgg%Oz_bQ_Dqa{pG2`$pu~TUvg~u+9&u#`Hir zMX{2r8yW+C`y(H*oP3R)@Jvh&fdVBH`5Mno+mtK?bbf)wO#@3#=ofJ9cxJWy&XhO%$(4vV^srip=eboNIUx8N1C#ox zDyQ~~g1x(mSZ+3&6k^I3Xi`)^3#{7yF~Rv38XqR+!%+Puia)l(0kKg)=y|mC+xOd5 zEss36Nl!LhB|a}3ONN2QgkxzisiGduvFq3C`d|ROE6AAQnIg*{MVG|$Sg1aZs<{6r zR?D?V|2C@MVn2!1@zOw$M=Wy+NHQlyFM+t{ zQ2fve7a>a~KVmIla%t{6!&#KEdz`M(8;N8b7{|5C|2+lNTd5V_w_5&_X0aSi`A?KR zL6~lCiUaiEK;DVXD()=Cm|Lu%yEWbx<5tzIEUAW5RHf%_JXhrwl)ADfy%)E2xbqwr z?)`dTuwgayR9KQTKSn$0!e4?~b7BfpzZeA2izw(|X#hI_GVOvkZE&i{WiV(>X?4Kz zFWq9r2Fp%?0@BMDkdatz&cHjji>?dvK%@VI7VTEyUGHJ zSGvWfL@1z>Ga#Zk%&Ay$ShpBo_HM2q;t+LZkB%&`Xy?l{tD6F?&q=NW}dMTtS_Qy|#$qIez9 zaJwvw(l4XiQS??W_*y`1MPW-FH{zw#As`lm)|Y=Y@V{694KJ9xg6RZME>8(cd#xi& z4ktHEj8B;6hMdD|Z?9Pkfft8Zvx@@#3DC;IUr<#RUYtoPVc}uJSG)z6Jr-V`AJb=* z77nOh+deN9If+TLes_$4;o5OiOxU01@-lp;#KQaZ5 z$>__*T^?VI(;D8{E5~A)Uw&~et8n(kGApt&kUBYD!I94cNPNe_a@tss4JDY*qYcFS z6pkYQ*|p!x-3`Eef%B8eRK>aA0fpdH1eg1rsgpnVT0^lB#WJoF+U2gTR&DiVrt(jK z?ac=54)x5z9YfCaGs~7~`uTu$$@KGvsxz7XtpJ(H^sT#C(i70l`SprCC|kCljH2K_ zSqlD>ftw8AE(f5EP?;%`ibR0=KsAj#DfQ!SP(6hLShRX#DU*S`Zp|@I$4h?3o8G`b z4&IG2C&ubDKzURRQ$BB}#c6oorH~A9x`a>zlHi)Z(g#gp@6YaD!=T z%sz5DHBFs_vTH69u;P3mfU}K~KQG%~vF2E|mOOxqO!uZ|WcH+Ig3{pp7~mKCepOZ6 zp+hZu((AFo>c&dGLwX#PhE6zHrBldgl>wfOR4=U*^c0j~d7_seji$&I^kiSraZNzV zbWWN}nyWSUSu6^(7GLbw+h?h_G#Qt>N^hNiV$kq+vViDv`$=8%cV_+<{3QNhP0sl0;0k$}zOgFsxvx93Ne+n`^P z3Wff8qnnO444p_VKAHxovZ~!y3t=M9b$pO87&%RidZHAM2NE(>W4O%QlO!jU|M1w*T?1jh*@_x?Tst1iIG=M*vCfj#5rKfe~Mm* z2pMn}M=>rwX#=iou4jci2c;tkHv;o#ODjP5t6cQj%~+;iv{u-RS4cfEGNK5JxwoR= ziEsX1RJG>!p~~aTe8_6GajuzM)O{zcw>Dv$LH`Wf5J=!3QPQPnN1?%K2_#{EwFw@B z^1hnO$;kvk0b*{s+Dq)BYPHj>6v)T@0)c4`$zF@9)-{T%*0s)RZe3$&-72y$XGt<@ zWZQ1kyb+DqMU--R#e*(Z%fJRilu=i{%kl{HOrW?r)u1_pXuiRUJ{v$=g;rT>ZIxH0 zY=1yNeF`pv%I?%_W+3VM<(Nmr(Xt1A&;?} zCU%X^YCTqKTL-5;cLm&BRui*CYYW{|@R^!A>IXO{j1&%SHh(#TQR1q9(3OH`4APl* z7gX_m;B}3taqYILN3m*!-|q*C_63TNM7ewpu)q>u+FJ`}+9T(DHalhnPckA}@AJrA z50E9edwDzwh}xZsV5t5f8sd)^GW-M0YUAeUeU@0%Z-He*wET> za!*9DQAKof9U74RgfR$=&mU}-TP)M<4K&x{UbR*8bcIdpN#^|Nahz zrR*qm+l3Dz)b1g@@K3dS22s-7IWc>vAC&r@pcVH3kQf)UQ3)}4<02pRf~($7CA`tP z?15VV++;I#*zMo_Uc$4eG|y1A;sYI{ zbM@d)Y+UJ2{t>ET`z(-fpO=ZHMfMI8Xfp!{DnZ**_UBib{}fR6(BE2n3N*ly88vR& z>6J31UbTNE-!8%kv5*fBNZ623rejU8pDDiMCaBBAO`GS`o_UDzt=6CG{!-9jJ65OM zZ^LLBSM3F>xg7=79}6n(Mn6yZNp$fkG%iIW#GX@@`C42rv46FfJwM!Ti9jg$AWn|h ztxe<-+AnnpRMvE~=&yyD5ANhG_XM{aNNC`Zm)DR5XaF7ByKymYFB}$gyY*+fs|C&H zUD(>CP;Cc~ek9}dx)oB{e4%?Z7=5B$c*Br7bhOUbB|>AsQ@a!c#VM^nUXM0kVO+fi z#)RwaIV{aT!8D8u;|R(-t&k?nvl^+$o`deW(UfpTPlP9mN3Q63M*10QDanG!5p3n;cv6C_sFZFSRxwk}LoEA#%!8|Bcq>)E`tA?0Jd_Rp*cgl2-bO8u1N8iVS; zj$)D5i&{o?xWif<5{@Jg=yT`*PZJ?f{S>eFwPbV0`!g&^V=+lge!2{tAr74sVFOt| zxwo4z+Gm3{dz8uknh6DGL=;#zAH+*%q{rZ7qLQku1-#M5)E80ia9yHkl#QGSw&qv^ zOVJ=cpb#Sgf5WxhRB3J2mEYBirM>`a0{PT2f6m)wZoFR}ePR8LUgI-xOr`>Ez&#ze%^(&v}>2W;~yL(BatYzdt%;B{o zJa&>#96_Se_Ee(pj-~)@^rZ>P86*nxO(p7Za4nK3fEee4*y`u^im}IO0{(3%=p9JX z61m3DS}R{4vExg3ADS&FcB61f)eh9@C1WOmhxNm)5PP*uFGtsC9%vGS>nBeKCII^NC85c3abRR`4d5-_q2%sArY-D=U;8ir6@ZbDf+Ik~GHF!%~SEY4*p zX_g}{e)53Yy0Iu0Oqfuy}Q9`D5 z9NpG$C4N}DXe4G@yRJWto_jG}XmmKDkuB?Ij-)|+qa(oAKaE9&>mHZEq450mZ2`-6 zND~6DWBw@9s&4}-Sp>Tf&g)tZh@_Jc5o)A~)4Ctc- zz6&7U>g6pHk@Yyb`4*GJLR$SQvMEosz`qF`4|}TXdeercz{gr6dbA&*NbO|_8yC&` zEzFvn+7!cR%$OS-i5c>bTT$n&P;Sp7D~9PvEx1x1+SGpx@c(Uvj_tB&dk*;8rB)Q@ zwyex~YNTD|JtXa3YbBS8Q7;FwvbK6Y1^_|+EPxOtv_tS`Ki64H)!EPbkqsM$Pd(uC zpHFbn_XEFs0z)4_WHYtoe`MyB| z*LmkYt0@p8wrDL=({^)}x(D!efQxtEKvleZ&}xo%5201}d7#OzN^R^vQRB-`fnZ1{ zvs(~$J18`gyLvGLMv&*8Ozy*?!^|lTpSC*)jPDoZkAyjRpro_xM-9oqvEDIdvoMWk z5)1sC5jAA2j;pBeVP8g|f#a~41wDs!fgo}sJlU7G{0s`_IhG0`>OmKs)dx~5f#ym> zp@V%#z&wRlP6Vt2$6JvvsH9t6wDHFb%AFiNZnfesy6{oJAlC7Fef?9iHp%NCH!H87>ZHoe041_FR_0EBcAQ$mSD#5^xgxbHZnSr z(iS5eN%4AMH3dyxfe;QFSi>5wc_2|=0HX3ctZ+!IHn1AS=zJ?P4F|mT5yYg_BdB2& z9|EB|Yje{XB2kC5dH`%7>s z%STX;lMq}gnEAlsrJ|f|;P(L&Vj;t;-j|XNRrM>%V|VOg|DU0%R@@7!jnnkvI|12Z zFa3nT0v(P@5{G6;PUj-BlrjI;ZOV3Ie94q-o zR!0Z0AY|a~uy9WpwIW)$Oc7fbielg%)UcJ0&$PpW`7r@ez^D`!(k)BdGW} zgx)Ye@I}l|IY#bx8q@|Ucx7ZWX_Kd-IK{JgnuNuJ<}ZVmS<;pPX2+3cRjvn!#4&$r zV=dF?wF3`eM0ngINqcofHfLcCNZ?)!70NI-wGv1Ks#poP6y3g}@+4_v{xX+8ZCWXw z=t(9%xlo0~?QiKHA(Vk9W=1L=Lcs^V8_~#--mnrvIfm2>{3#tT42v)W-?N&1N(0x2 z`^NuiwSn(Y(Qz;k-L=y@BatkWjeu}>^AF}y+-?OEkNRtq`Ti6=VJ|Ksp6a62-5ig+ z`1EE?$1=rf{|00AP!(Liy&YtwIE`f~|Di*WFW^%xmHkbO%wDp81J9%QF)nG#WQE^s zgJ=ITy$H zOLTk4|GxkxUhlQaz|V21JHCPp(*bDU=Lzpd2`|E7!kPP4#XEQcLgEMZ`>!Pt*x$g@ zwA78-3+TcO{KSN$5jAQW>mK--6^)EkjagMVK8dA8;Fl!V;iT4H`!`VDq;f-XDgME- zBP4vhB4QHw!!ZNY!C#V{EXcm?_DqvKBRH~!%50F(%1C-k?9z>ldN5}lXQVo9N?Sm85 zy`VmuJ7`6tiz=vX9E9R16thV6Jf_I*u-HE;o)O!OX{KzjW!i_dJOajiVu5 z-BJW@(G&m~@xzTYo$zbTyQGMI(6mO(H6)Ql3sIgHiPbMB;xZ-xlb8oI76N)E>%Io? zl;_D-Y4FxBgBMM>@oT-98!!+S(au6lNKCpBZgz`!j^rE*6COf&8>f_r2mTY?B7x!y z_qH_=?k|X95i^U;YJpfr?FEda*aD6~5$|QHJGEKf8jFXA6)Z874cLO-h6dsWvp-o5 zRinyK8?OW8Nhms1`l@c|g0oWyvVM*gI=|(y9Z$VQGDS#+{5D0-a69E(|E5Q=erF9Tvh;)Yuj(rR{JvUaQbhdgavT!(m!1V zgj~ZSR2r*n5%GDAeK};Bd3FPSKgOH{s#3?fjy--bl`Gupl$RIvI25z zV1L%oeO+2opu>5lRGWm)MrHc;8TkODjcWw@8uUe`;yKC=sVG32C?Na%%CMps5ki;q zMafXm;F7unoeeAI-HOI_l#zL15@ zYfsFZ#)u6ne<_8;juv+6`(8FDA?E~H^0mg0xxpy%_JJ#a9Sub;WMC{0iNL-~^=zFtpltf!Hsx zriaLIqTKk0mX-Nmpg$a+)b0x7@3NlSQ|Kq3(nIiC(r*tb8)*JL45&qO2S3517p;ay z6&Si_&<2U>1S{9cLSKbh3-lP>cmZP?e^y>cD&)sB{yCa__Avwh4wx5%sdJv65{Gv% z1j_UUtJJ~pl`)aTFdkM3k_P@gP+ZYXDK-9uO#Fdv)WREUv06xotl<*ovmNBXaA5DW3>yb@0e;Y`{NU^?LC?@ycy3ALWU%kvP@wE|O z`?;_EGJ4_Ojz%y+qfveo-wqL0p+$%H(l#d0_CqWZUN~j|*e(>!-mlfZmbuqk5JZZj z!q;kX3iI}!lgJRg_M@C}0vn{ldeAS|^nB&RG* z2%+E;?k*&E&n7zt19xrO*|^I96Syn8I|anjVKgsh6~*k7E%uDZ#0ScFQXs}_r7S}$ ziQ`FHv53S_5U*zyGH9-06$KQec^PWycPxwJlLNovgtX!0wBc0u!Pw%c(oBlMkn95* znu~8z%%r(eTGB+qe*@M2Cn`bn^@PImdrn5g74#983dE^!9@YFXE-yhb%AOE-lD&HK zLk2YP9{`HN++Mq452qOTPbNzRo*0ZK&H1s2>{c|E$C=IRXCs%+U{^x!$0F+kI*K1f zdZyD%A%)H$n;)NLp|^lCXW^)khIGxhu*Zt@#z6BHx|qldknbdP7hlRMh+i_{jp_(D zoKf>O;O2mxs8Nr1VUUg&v}Ur8n>%?_Z$i*7m{6o&Gy5)iT}*T-7440fRIW znw8f6D5i+C?Xif%*3*2XEbIkKKT?gj&b>i4A4#LaX=%ghJtn()!oL6NBSMwMV(KB% zA2J(-x8JlbXR*J<>P!|3G?8LaJC!JM1+jqw6x!XqEn&+)pixFRi=O-ukOn=Woj3=V zNOLc6dRyXIZ}S1glhc4hL#wRmN0o$sE3k_0B|2?cf~o#F5$!rOqUf`g7*g6=f;NAO z+KaRBfRqFtXwVB7$&;8!Tgd}zD-ieDiq~VI_}&5oibm5OsEk;Kvj>Ho)6pO&#gB(b zZ%D8|=_Bn0T@5SSS(zxB#QJ%$JbnD9P* zWpru10y9P8#>m#eR%nh$V0+Q?3iepx#2qrQtxz^Dta+QS>e;pk32p#~ltJMC$J+Ew zf#yG=Mz;|;C-T2HA!~I(c6Cf@LRrO9@tN6(s*E$yc@1olpMOXGLme zJ%hZN5tN@WY#l$dnYE7Y<+}#`DyEwc*+wiQ-;ZXG6{(rEj@Im+aC!x1GQuP+fwgH) z@f;Q_Al-7Vl;aCtj(xUIIm#;-BH`qHDXMbwB{Z(%9LZ`($e{I*SEbnl9Ag~Uu^1Y? z7{9>oNNEBWtIIrU^(@hHto9bYX%kXoEBHvqSY9R!^!GVIs89oSGNZ ztX904k0BI`+0IgqBn_gA(}p*v4R7;HD|fX~W}NEjIOc;ta0drm#5-_Zx$|nhi=bp? zpRWnHh%iZHTj$x(1KN4DRv2XE&Wk-gJFk;Lj~0MQt9D+kcg;pF!(~eDML>5T8^zXz z23bumdK|gX;mD3Il=iR;e51(4JcTiy7;1TX#CI()(g5CT6}J;5?ke+Z@mIU#x46E@ zC&2t#SRc^~2GZA~ophryUwf45K(||58MzyxPm`xMI-H_5Y3H>ZQ}^p!mA<;2SIR*e z4OgII2B}NnDT0XmL0T~A*0okRU07(<>33SKtF3$BKQQL~R%9vD_o4?dPAlLYTRa1c zwmK9qhR-VAYcPBm#HNBpj}vT|!!NM4#(FDl<*Mnq<~C|6*R)Z?bkP#Xwf`~*LF;{?2k0Zazg_Gr`&+kIO*B*jv0s?)Af`$y=NAsh($+12N|j+d zCc#Y23lehp0SAq|83Umqgw*4MEyS>v?W zvwFn2*3Ai;dnMv3WZcD)qCT$O8^H%1xexPxKH&;2>@(=uiDDi{zGPL0p4YeInhd$G zYWU}@ml~Mugp+FRD8U_$WKACp)WQ3-NEeka;$Hw_KaXQtUnizY!QX^+N_;7ebniEn zGxZ7nCQpvU3;S!`hej%IbXXASfJ~i0R1B;kwtBMl>mGA#>Rhwa0Zg)kLs4+%R0F;p zAqlb!#u8~bC;b!P{Ep{_o0$@&1aBrjN|f{Q$W!Sd{7vg)=#SFFkEKb~+tY?+JpplI zoS$5Fo5rf3rB~w=nNZ@_ldA%rHMX8b7b9l>_JmGn5CD5v1T~}2ecl=mENgkrAgi+$ z^tkvGu#?UFOi}6mY5+SIMe9dpk?m35vJB0A6cWcjSjVh^ZG{0<2R8JSfejQCZ%2ch z$|?+PysV6G&r;BpsjGXn64=s6_J6Id@(i}co^9+-%rrTJZT%~NJ^`RedH32Cd)&!u z!ta0eX22v<_X~HSvGrphq6$RBlEMFO9Zi^uTSlelKxSIaV4t%#`Agode%?9ihcY4~5>2-_}bcz;a4a;rAPgUxedJaU#+J^u~m5#BeQpehdNXJ;hxiI9B zL`P>(H;`Bi2D+hc?L)1IZYzXn);?62tv}#weu=}Ybh16q09*XRUSuJNW9%Ug<&9LC zL1L#%2VIm=^J}Of);PUPz4nT0DTW_g+;fJlXbdQ0FHDADKe^{q1PW&Q_R`?a|j zO>1+4M*9~u_IQ1}ZZXflBru)|^J{?A26drTXV{crxHcu)?*UQ7;=OjoDV(0;@_N|1 zY#-dM)bo=oX;o%HO@bh@rGrU{2-wK(U99y+{Y9#W^v!88K z9?;A3J`4rsTa_Jera4~BSy`o$$r5l#F|#EEj2PQ0culUo&aT_!+%#v~qyr(aqz(u$ zd23nV8%+iKu>&%dHipww+9bVd|4x`RB*e$*bc-17(wxLP8Kf_@?iSL;7E`5k9%_h; z6?n*xMZqM=sx{VAX_ps)hdn+dFc~JXRuZpt`2LZ<^dOV5{lE_ z2wG;b;r19tMmCH=?aNVYOiX7l8ewlloZ7Gul?kdrNke%AkD|R169uzr9TOCVQj<@{ zYIttnhKh-XD6Rz{_6zbVVyf~4ZGJyMG8|8q!{|1JNib9J1QL-v0eV`;Kn|^QtkBks zyd}1Xu*)d`ibei35(`^73jU#QO<|}U=nVk+aH_e%rM)3k;icP`p}3)Hb#lelEe@QM zaQre)bDNHfB;L>~Cf$h$ zvBH^nYFJ#TZW5w8+fBm6Qn*-m?;Uhewdm57Wj+9u&9HW=(oR6iL>Y8&j_nwfQbz{@ z23BveOqjVmqdcG^nvOsrPngn}<8qQ6atE z*_Kg~u}CcXqC)&3N9DIq=`)o}Q*j)$9dy>mi1qW(dJ_ z;?3`&My|ELVKqlhuS&F^7K2%ag+0QdRoK?>Fw;B)7Crcp5l618U z7taLG{$#>@MyqE^OzD|o`i!r$)%{ygEUMB)^9diWR1>DxagP~{pf3u}0>Y7LB>z|_aj$O@sN z+}E~W1dUoK6)AcWfnMt0{2JWy0nR}>*d-M3aN%%h%i8R^8Z`wmWLIB|0vkP1ZP0@&Do5QV-^Ey36|m*ECt;>dAASKZbp%nNL7 z?7%xmT2ZyP>C7$|WYaVi_xui5#1#9oz!oGkorO?v7j-Dua9dCBoG73L1hAFP$yUr3 z&^il%F9b9W>YT*k2_yER5p9G?1DX&q>FB&x$`@3SE1hdYX_}qrn=#<78#=C)0SfS) zQ&9t>JFh1@Ds^Gd%cOH!LN9e;5aUm?qM1azj!xweNHi1YJPkC+{fK5>pWOqLEmm|G zveq6_lli%{MHu=z63MAv%cTUpThz-W?kqa517aq1i5{}Mz0$8ao5FDUSg|)je^P=T z?o#YeF?;9Uc`H!zm#Ny%Th%ET8dm~aaH*Y>dpu}(V(7r0NiBNc|JasT@wYtjfX=IOWJR<+Ik_JxW(fOd%0VP~VPBl!N@{U%r#z~HbaT+_?Z zDJqMk_t;>VYslpLodGl{$67j<`zmMcklPH|k*4e=q!on8dH1{d5nf}ss*Cw+Q&U4@ z<5QF5g(kN*{mKVZ%O82`jCK8obA&95wl4dDm){JCTViRpOwfdPH=Xe$s#X!X_TQ#dh=?r>C7T%24^ z>^jQvbV3Oi$AWLs);^WDFUkj0oppfMULRU0 z1JLS;`dUA$6jB+uSZ&}Px(C1)e}&-~)7jXsXPk2!Nr+O5pcpqYUKj;>fa4)BtJhCsvov$aVFT2ec%2y-sgV8r|~{wg6l7i ziZmO5R3swpF$#3iF3B7QA|3(M{u(`V%GX%I)mZUtStIt7NLA5-=ShybBY?!5=xY2w z&AX&jnce7L%yp9Y(!-lLs!|WFr?!e5IFLEGc+SDu^nM2)*PsV=M<4QNhPm^g(gf;~ zI>j03i9s~h@)3mmC!kQg?fsDuG;0yJuu8$`NGqr@GkcQ77m@knAX3<8;al{*6&|wo z?-FPS?&U6n?O>Oh-UjRZFq)SAW#OKE3wc@cAVKGO@>T?U%xO4bjscGLWt8Y~7EV1} z3mjX~NW|fQOA+gG07cjd`5fASowqQeXT>BD^mH~72DFCUhGP)2sEJU&v84d({8exz zxTgQWr%`&o=1f)LXNHPb14`GZH3w1FP|TvzG$_hdKaP0-DyokFYYb*s>W#*TrulS! zW~8ph&yiYp=RwM+wEksGxEt>?h*eqmZok~gKEPj>1RF#oeZ#`Op}Z{qf-(mcXIppq z+oKr&UqOsZc%5h#CegQ&M`wm4W)_`aCQ=9DoSyaUUhON+4mhD21nS&iH6lt6Q9C!l zdZNgzg~HlWOr0ArlhhGQ;L`}*T0$7+DFCOp7|1om56F7H5vRUF+Jce=FV;N<7=IASE)0TxbztEXWBhZpV0QP|N(s{B zDX|`Z$N?yh4^u&xy7PNk(mf81DAGrN`yh`eIus`m=d_Npdn`HS9i?c9T-jbAIkrTX zI!X^CM6tHWhVgO4658c4q6i>%dqQsV!9U2PG9VEt&d<> zZ>lw7KO$J2lVDE%ymYniw$9F<0R(YA-@!!W4{@y+evhj56|F6(byq~8z^*$_S&{ER zSG-ele)~y*uMbC+;`^Lc*wbKe(sq*E*WSr6_2jA7V`Q4_GHc<_Or@Eg z@>u0}Z^l#{UnVZrP`q$r4gVpHb-NVqsK|XVC1kpH+eIJuE0|Ble;2@KTG3rW)_&fq zj+eYc ziFFkZ6Cg4(EQM}R!H&}~A!E|7M*cWh_oEm}THK-w`zcWTaXwbNx0vw_Td1s@AUD|N z<5t8!+ey{B)l;EB4#S=f$b%{i;t2)dySGs)@dL$Zy%ojn@W|oBsQbx?zWLS_`E_FD z$yfJN7?fmc6+;b*pxwJryK|wH(?0>&N>K`$`5hl)JCvh!Ual2O%77evnGelB4bgBU>_yI!*Kt}zh= z$HQAWb|skauf+UW!h1mo^Jl9t)6Lz1*^`g(cE9QwFFCFQ&O4yHdTRr|%}JmFF<;qj zJ_71w;JIfJsnIiz$~mCw-A{#uEy4Ajk(J;YG_r`kK;asJIm%Y_hLjK4lwGzD?%GA$ z2(#80R@wrpmr-2l8+ihyYkjYdB7p|D2O`2$w_)UhnWh2&Tv7D$VuTdqv!)_EqJ`TY z@aJhGH{l#Vfy?0XfL-+j7kkokVtmvNiq~vjJvC;ZcyAReFe2NFQ^HpHr9^}k|Fu*X zV`>Pz`GWwy*fnXRx)e(*zKxE(tUh72?h8I-cMHvGkC#&3*#JP7R^rdDMONAK7!z2o zA%|2B(XXc3mT0x*SSdttFh*bNKT3-Pg|VVI7!wsITT%Nf!k_^8wZAb`cD8`(rJS7k z>mIxAIq()uKZA1UD0C~Ue~s&dq2h{E`kp0C`DfPH{Vyvxk2KyA&vCRMWa+%4`~SLD z69L(^R7(cYYtyw2K*hQYf42HDq?n`trwjTOvEo^)6@N)@un(>JIn=}0z=2rWL2Y(b zGqARpO940RS@!Y+x}J?S-mfU$8Cee@QS9e55Wqp$XB~79u8S9WZ3yhgL|9#5rMoSF z8ZLQyqfIbR*upMDJ%lmNEgc_8e^LMr$bCthIf(lz@H@~P4JH_L#`sJ!!JhnOh?^AX zT*v)nkmo>gI~k1quVXNe#dH`+)xVo-JQo0(g0(J6Zu;{Fy+HE^iR@|gNp-N3p-`Pl hqsMQX{=_cy#pYssGn3EkMgVMGGQQ^QvGpU_{|C@tiZTEI diff --git a/src/builtin/obj/optional.olean b/src/builtin/obj/optional.olean index d559e0fe1ae86ec17988c17a38831452b3d50457..5d99ce1dd965fb44605eab29128801aa74b9c543 100644 GIT binary patch delta 855 zcmZuvO-NKx6u##fzQV=u#(8hv&@?tUHp9qZkfTs-0uh^CP$EQ(A};1xlT1;QAX4sx zX>*_-X(J@kh#|Ssz!1T<5iVM^2?Uq!+zH*Cs0#Iu$D z?g4V0f&g0IiR==Uc;3lmO7JWKJ_C?I_rb`vh8_zU;XAH-QO$J0TjE2fiypEY?P*0W zmAMqX>6Jl8r3a|W!XD>^=$F|b+j0S}d~IT?T&V`&ifVvopb{G7TCC@_v8s5qYI>au zw5>W4R1PrkpAeGb_BAb2KR|bhDw+m;r9lz?Dc)<((J&vk7usY5a~3Yfx{Ymy;mO!7 zJ??VsBeA{#uT{e8{K)O0Iyc--rx6~Zfx>Tj+r4pl0@T>2_d!?ST;hl~L@#*6%OqDY z1ib{ThGkY^f8`HeJ})OTHk>OO)S1adS%>nC9mk)QR@gMH0a9Wwh@H`>I)uu5cq0@| zRotXmnqCsG#6AVx)SyVBQeZy-8@O843o324U}Awh7k_vCmz4hm^|x(Rp{egO=L6FX z%6oWa4`Y1Sze*Jj{66}_i@sN^Kr%a&QZkP?3&=``i-prX)`0){G5X6#eyUC0tFIM$ p!X1eu?epzKa> zxTr)3TR2RJ(IV;BvUVaOF5C(FX9V5v-0->Z!TsKMzjN;W?m73)=lA+He>I*{`pbOT zYy3^*^ZTaspbzB(;3L4+gNDJ#w*1FJ?nJEV(qthhl%^DQL5c%jfs+5m>7skw?esKY zD;nhy=bAeTI@YOC6#yAMsK_;^S}AAh>LF#Z=S1)jT+t+83RF_dUY#{FT@0Q=(NSY1 z6krl}tycP%}Si5Vb;F<964l8J=*{ zsVb_XXMkF`O%3x;Ty?WqIjWgMtZF!2szg2`vdMqlOO*}KHZgn$x{=nXE(*n^s|BI3 zQgKPUX=!?1RLOk;x~1X&BWMHr3HXW*t3FV%`GG0!Q5r13tMR4YZ82JbzGGVf64ZC8 z^Oo^NWErYlOo8tw+G(6$B>F4+5y;m?&&iU@NE-)~5t6ONvm?B3gw2zd9ITdiU6O}G z2a>-F)w8W4{>lqaB2P1+HG0GY$rK&(-DE1i9yS9VFvcCok~_?W?&}Cko9AFFEJBIv@bO&7Tg z`yi;+1+605x9JD;2ckK5q=6RA;=FUuz4zQZ?>z_Kf|s-IA*nVLd^%u}QtqC}Q$hwb z3BjOmcVsdFs<1E*=3<%zwaZeJ_Jjg?2n7$z00GET$rBcHbmBP`H41A<(V#7DTa>7! zMThGs(E+1?V|vvxR@t~*5OvDRNbx;XS{U=+Y{ z$8oh|WO$xEIgYpo_@{l7_jUSp)N}v!j7zOFi$w^1i(4=~=EAW8=r00h($m01*fF|+ zc*W0UfIgi0Ms^;-y3XEq43S56oIi9jVhZ^ZfZcfs!8dmIE7})MRo}XGt@pkq>kYqr at9Zj4YLo!aJ-LLypZBbo$!2eeZgg^tqfP8AMJ`%v3L^x; zCl*?Zz1sN)BKQFo&bbLLS~$g-bI;s6=g#9f{uI9$4AHCJPBWo1>C#6iu4@%RZAPMZ zNMKliVSvtb1k_|YN_nF@=0aF8SO!RdOFKr79Hb*-UzRClj>;{XH|L~B4KvxXi4+IW z1=yuGGq2LpR#tA(f!Rp~E7e`LG#{%XYH7JOW@BkgRXVpaJ%^wUfDNNy6MaCBKCM}` z-GrSVI7~rdzZw`s(QB*)nn!8vzItgba?}%;xwacCExXm9Emz6ryrOE za9j&^ZN^w(zov5r@g?A&@+$Wm)H}%M`s?X%f(C1dMAOu&C<2 zSY9lagy1`hKnxsi5MEipth!(!?)h8^O$l~z#0MnQgCjO$i0oARn~4?Kd=pUi<9=lt z@!gO3`)z11Jf&XZF+8rm!&i7FtGkx#fkRNfs E0Z!g#LjV8( diff --git a/src/builtin/obj/sum.olean b/src/builtin/obj/sum.olean index adc566891cad4858663c9d3da5b395f9b2de9b42..31758cfe812cb2b7d5afd00208fcd0810cc86f19 100644 GIT binary patch delta 73 zcmbQ~y2^D!y`mU90}%KCF;k8*i1`^r@J?<~tYWN~{9n;ThAAH?z?7v161M~~b3iOZ L5UXmkzmgXK6n+fr delta 41 ucmZ4GI@5JSy&@|E5L})-Rk4b(Y_foo2|L4Opa4_W new_cs(new generic_case_split(c, m_state)); @@ -946,6 +955,7 @@ class elaborator::imp { lean_assert(r); m_case_splits.push_back(std::move(new_cs)); return r; + #endif } } else { return false; diff --git a/tests/lean/elab4.lean.expected.out b/tests/lean/elab4.lean.expected.out index 91aace6d2..144ace9e8 100644 --- a/tests/lean/elab4.lean.expected.out +++ b/tests/lean/elab4.lean.expected.out @@ -15,6 +15,6 @@ variable R {A A' : Type} {B' : A' → Type} (H : @eq Type (∀ x : A, B x) (∀ x : A', B' x)) (a : A) : - @eq Type (B a) (B' (@C A A' (@D A A' B B' H) a)) + @eq Type (B a) (B' (@C A A' (@D A A' (λ x : A, B x) (λ x : A', B' x) H) a)) theorem R2 (A1 A2 B1 B2 : Type) (H : @eq Type (A1 → B1) (A2 → B2)) (a : A1) : @eq Type B1 B2 := @R A1 A2 (λ x : A1, B1) (λ x : A2, B2) H a diff --git a/tests/lean/elab5.lean.expected.out b/tests/lean/elab5.lean.expected.out index 91aace6d2..144ace9e8 100644 --- a/tests/lean/elab5.lean.expected.out +++ b/tests/lean/elab5.lean.expected.out @@ -15,6 +15,6 @@ variable R {A A' : Type} {B' : A' → Type} (H : @eq Type (∀ x : A, B x) (∀ x : A', B' x)) (a : A) : - @eq Type (B a) (B' (@C A A' (@D A A' B B' H) a)) + @eq Type (B a) (B' (@C A A' (@D A A' (λ x : A, B x) (λ x : A', B' x) H) a)) theorem R2 (A1 A2 B1 B2 : Type) (H : @eq Type (A1 → B1) (A2 → B2)) (a : A1) : @eq Type B1 B2 := @R A1 A2 (λ x : A1, B1) (λ x : A2, B2) H a diff --git a/tests/lean/elab7.lean.expected.out b/tests/lean/elab7.lean.expected.out index 082369d5d..c3d3843ee 100644 --- a/tests/lean/elab7.lean.expected.out +++ b/tests/lean/elab7.lean.expected.out @@ -9,8 +9,9 @@ Assumed: H Assumed: a eta (F2 a) : (λ x : B, F2 a x) = F2 a -funext (λ a : A, trans (symm (eta (F1 a))) (trans (funext (λ b : B, H a b)) (eta (F2 a)))) : F1 = F2 -funext (λ a : A, funext (λ b : B, H a b)) : F1 = F2 +funext (λ a : A, trans (symm (eta (F1 a))) (trans (funext (λ b : B, H a b)) (eta (F2 a)))) : + (λ x : A, F1 x) = (λ x : A, F2 x) +funext (λ a : A, funext (λ b : B, H a b)) : (λ (x : A) (x::1 : B), F1 x x::1) = (λ (x : A) (x::1 : B), F2 x x::1) Proved: T1 Proved: T2 Proved: T3 diff --git a/tests/lean/j5.lean b/tests/lean/j5.lean new file mode 100644 index 000000000..2c929319f --- /dev/null +++ b/tests/lean/j5.lean @@ -0,0 +1,3 @@ +theorem or_imp (p q : Bool) : (p ∨ q) ↔ (¬ p → q) +:= subst (symm (imp_or (¬ p) q)) (not_not_eq p) + diff --git a/tests/lean/j5.lean.expected.out b/tests/lean/j5.lean.expected.out new file mode 100644 index 000000000..6ddc0d932 --- /dev/null +++ b/tests/lean/j5.lean.expected.out @@ -0,0 +1,3 @@ + Set: pp::colors + Set: pp::unicode + Proved: or_imp diff --git a/tests/lean/j6.lean b/tests/lean/j6.lean new file mode 100644 index 000000000..437a60c80 --- /dev/null +++ b/tests/lean/j6.lean @@ -0,0 +1,8 @@ +theorem symm_iff (p q : Bool) (H : p ↔ q) : (q ↔ p) +:= symm H + +theorem or_imp (p q : Bool) : (p ∨ q) ↔ (¬ p → q) +:= let H1 := symm_iff _ _ (imp_or (¬ p) q) in + let H2 := not_not_eq p in + let H3 := subst H1 H2 in + H3 diff --git a/tests/lean/j6.lean.expected.out b/tests/lean/j6.lean.expected.out new file mode 100644 index 000000000..abe3c1281 --- /dev/null +++ b/tests/lean/j6.lean.expected.out @@ -0,0 +1,4 @@ + Set: pp::colors + Set: pp::unicode + Proved: symm_iff + Proved: or_imp