From 125a8ee10d7217f441beb4394edf066df34575ae Mon Sep 17 00:00:00 2001 From: Aaron Stump Date: Tue, 16 Oct 2018 16:50:01 -0500 Subject: [PATCH] Changed rho so it rewrites right to left --- spec.pdf | Bin 134956 -> 135454 bytes spec.tex | 6 +++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/spec.pdf b/spec.pdf index ac302ca8336d440bfba2202cb306295b273ed1bf..ee230c49bc19b9289b78150d5a1b6ae8dcc4c551 100644 GIT binary patch delta 19732 zcmV(wK`Oa-yi+~_oWA=!Ximxyf4qgtSAmAZNfY)__}wt?^^f_uKX}g%@w~poQhCI+2Iry zp@}sg{P%h69*-xW!S#GzrEhVP1#zTuzE9@|WkPLIy6>clD2&qtZp_2NBT~SEij&}< z-B^7-roiD?0SWYdekj5sjZ-Q7I)eK%BA7mVxKsmNSLmSaM#r;j-(7*EJm>}|o0f+G zrI?EpVaz1=Sh#;KFC0rn=_+_qY#V!U@&`*d>9%=tge4z(TaW9`D@DM?lE zt}H9!QX%Pp22s5pa~%jNi;iWYV>D|l$%_|{EHz$O9-cc=f18fBO1aGv4D74%>oq#T`>nleR2Fq?;U{r$u_$wYIqp~<)=x?RdcXe4C}KMEQ=HYRn=T; z*AUaJ)1P9U5ELZ}+4<_R~Q05Sp$ZFXC=c zr1#;08pAVEfzjaR0ODIc>F~KMX=s6P}pD=h-KWa#+B93G2yYdXLJvE7jKmE z_;q*nSQrJ091nmqU|;YgWL%h@0-48k-N|L}#f}7?f1Dkso=iJWKy56lXPz<#2x_}g zCeD@g2(U{62AJic?vP{_z@o4B3a%N7bP1liUXI#J53xCiZe709IwEW zh`yZ8fAaZoMP0^O)xyP%_|Ld7%oZWI$YD|U)*+W8pTbwgJ&)#>zyI`BAcLHk1P?nw zx@)atb6DAPv~iKG`AwN$AOhuSbR7JQj&JJG2Q?reG^fary5i|-U=;Rzc2{zu3>V(A zS*ka;u*|ZccmJ8HUVzPfR)Q1IJ@6LGEaNaGe>50Sc-Nxuec?toSeej=+M!}k z%g7P7k>r=$CYiR%NE${VwE_TPq9*~rTndDY6h?Y;JZrCDuhz#hgp9&V%O?^251`vh z;Ya?emkQq+XOfHX0>$=Nzw(0Ri73zD?FPBH<8kZCm|D`imVzHdfE`i7YuUOQCC8U9 zqrj7C1sfDiOngIPz7=z#=9ffu-w{(0M#W!~m<2+A3T(tQ-Oo2pct=9Ugi7ge>9a2W zqCzhwBWb`biUg`s^%c7;fQb2yx6B+@OvJIH8nU>_J_tlEpN{v>)112Pkf75riPcxl zDlv=MJzMlnJBXmX)psspjfa&^_E9^Gmi!5*graEV3ip;9QWc#SVFre=(G`hGP$@A9qO$3e`&^2Qx(DEH1aj)ZmLV1swHS39FmMtrdGBq z{|T$N71it+3eKRFnHzkT9(yyx>Ql^yz}v8hkX@gzRT}E(tG+}5ce9^(slb9r*v8~x z8t2=Db?6#NXXXmgP}K4QMtKhvr2~}8l)mVHfOOzHie!M;Y(sar^e>iv2?RT>!#tIX zAuLGi;vE*Qka)Tmp1eQ}`U$%NyG;yG$28j{O6YY*LY-9b>Pfnv!sntcap~aiMmd>`+n;C*Ao}euT%~L zaPj>j!&Ncd7>s~eY zzYzMenty5+y-b43dO?K`jKg%5Ua2Q!QQFKa?TuGth0XRA_C^L@R#^1~g++sHxnJ@( zUM-oGq0m{CJm<~}99Z~7@MT$l=(%!zp1VfU{o~2t8q1ERI?LVMU*SUyW0ay2b~qvc zix9jQ&<0@uQMYL%M!nsNgwN8AlTAXht%{)X$ z4io@$5j|sIp70)Qurdr3r>RwZ6%ih`r;-1FuVNCnU*S|Kp*7L6`(^Ji`@cS5$nu zQtq>utdzX_w6t;djCZ!9G}^PYR7o!o_bWdRGPZQJ8>v-MxD+1OC9@V>rQ=9N|%(Go<`p5Ch^F#I&VCxxOIQ; zL&cG-axE<`^k4KZFV4J?;Y|9u_)}}{oxiaumL}W05kYhQO8v$-_>~hs+DT-$52Jru|V zsMgkco%pfwquFi$`Oc8EEZLMSzxI(H0>rY!9g@SDZ@w8){(Qz-6#lVRqKW1$4IezQ zt?uaT{Ri6W!K1e=N(9{c;u?-x!V+saTn=0B&i;1x-No5AZ)__eiGSw0b#b*6WDQ}~ zv@UwB_w8RPrRN_m-hT6j$wEs@l0Cq~&)U%#9i(@v)m{V9?NxmpVqTMI#~$wze?79+l}CSe6(4BMRjaB=oI zcTkpC;vLlLq|QN^lAw21?V(&UVyN8PM{SkOgA5hXLPFTeYJYEIeqkxAv&51b=g++w zWA?-tV2^lEgDUj|zNlg4DBzU+4O_knYg>28#vy!ab39Y_4a^3f zbr_LJ;HfMkMS^;hR-sYZCyD|sq3}0FfjkN`62d~E(NW0!!4a&vf}$)+Q<%J|1w>|u zh40lYigQA(sPxZ6l+zJH#9@pQ#mpX2&DrkzXwQQ3eShL;NeU3>M3uUH8N(k6oGG8? zhq#=T7d2Yrh|L-Ww98<)6;wSY+Vv{xUj^#$#NfTkT)cs*CUI8nqPhxp)4-XjBwSYe zvakSi{1m?YE9Js3*dnrE3}l(d&u_|7Izpm0K@gX)0FNmuth9X_*S0my^UOH^b)6MxO3bP}SCmbDaKYr>4Ep_2x>YiU4<#Oh=PfU~_JE z$A}%OGImG`-BiYor=JU}Cagj2IN18GXfzY1N|rkN+Uid=vj<|SlHD{tt7Ni>3%Wk| zflcGm)-YL0tUd)a03NGq&nS8H;n7d-Vc_?f(tjOnH%fs#S4|Y`0cfqP;s{sKAedO* zER?EpD3v8o;ljt#(CGKEb;6uT?*sg$zE+uYXwnUO2XyCCJnI9hP^9Hdxz9B48_f-2- zO=_QNhuWuVQu|a-p!ON@;uvF8Rsq!U`r4-=E>2VtMuvMEr|`R&Y7&;GPo1dk2+mGX zkvc}nR5dD@s)sL`LfA7J^D?XK1K9ehIDd$2!Y$>29K^)5yUsyMUG;Y;1Rt#Y-P7|} zg1VD8G_t??eXB}m(7QTA1J{hR{3b{#AxWe)6h#=MDC}rZS*UdgUfL&GtFMS0H2)B@ zYewiQwS6AVNjae~;(FW!f(GtUw3JS?RHh|+>{iJhomH;qC>B;k!=O3pQ}28N<9{kn zR;}1;XzP%@R$6Hcrn`5x894jRj)v~EyA)Cs307xnPjMs+24c6J;!u!avgEisOH2X) zSRJn@0fg5Y#KH*wRzJzx3GN6h#hhcZ4z_y6>&=KAtDIY!0YO=Rx7@80c!qfJwh-Sg6>vyywz%YO>iza3X_ zN6j)`cb)_(pWZv_+bTW2uV9xspnQr6;4Aj|@~DM&TUXPsaz44`g`6TJeehu{mQ>)& z8sgCH{;EMA#l9l^U1%2gyLp?IqmJm~0=(ivP(uRGJuddK1baka4kAFz$y8Y2u@qHh2 zH6@2X@XXg?#u_as?s-a8*A(0};E_BXUq4!kbqvqgs9NN2!mE4Vl03@cnf%^_rggz55A2$O~IyhY%41P$IG?5(^j3V%ECT2EG#wB@J8~lH$~%vWXgHK$c3 zc?!R^@sLN44>mH!CE;LZ5d4@ikLlp{)>1~{Wi6)$UAS`xL02!UJTc^y0v5tF-_~y2 z*&$(88jSnc zR<@_-ti2d!Gym;sGW8-}XT8C2805X4fMgg4@Ed9%lVYxG%L5adT*avyU1eteY?Bgb z6f9cilq<{cWSUL!@Riecc013;z2#qYC*%Hfk$H)ObU3{8eOy6zs42Xj zUuR)pzDv}s(-j9hbnFz&O@&ngfwTE^(Vfp?E@y~b?UdU1CPc0!7_eY2s;g%){U?O2 zD#xzKyni7NILC^C26^eY7b6K+P2_86P`Sxl5Y-V>!ZN~wfyVr|m5TA(+}%~}QThq> zm-)L3_Xpt%t~`DYvw5eNp(%|A^8siw#8P<{Z2gy9b@Ny!_LJU_8zc)4|wl zPdN`j)j0SHSBhSq^MJEh^TOAcOfbXXvD55kn16PIrLKn%JQP~FQI3rQ9QK^yrHDfl370UsF?;# z{eR-@dN?Ezzv|#6%0gHbIaZpO*0Etw*k2}d1RccyebPBz(SSp63&uT4aUlNdbOEDB zBxmiJZ;2C&Y+x!$v{Fssr{kqNA4j2xL!I;z&@JtH=XB3OouQ#`b~DXJgIN|U<>}I1 z*Mt4&o>%L{57!yuGG;FI>^07u#=VazO@9n<@sdgS05%<@m%}VJLPLZ#wQfdPK22xT zXj9&#hFRbF0o=jW_E!!j;bEy`_oNTe6z1WaOoWJq7vN#N7yuefWRjZSmUKUr86Fel z8gl7)(ErCpuRjVg)AzG{61>DY7~H;e&YO>EmIX$FbmaLa2jplV5z{z0qWvOr zHVj{cXFHq?Tj~O+Qv%ixe%awjiFgV0xbiL-iCoaQ*rAAROoP|uac7!+nGWX2eNpPw zbTV4X4;@Vh{cH4`dFR>#9o(A@dVk@mW2EqjaRfgxBn8|>A(J&>!|ZBZ4w6o3eWbyA zNDl|IxdZDlz;+ie?))~=(9WTaNtIR|K#L8U2ZcL$Z!rDOGJqsP@upW zwrCQ}cvTJRAS(~fJ`SnGVmK`25+VKp1H#ks65oQxiYZteo|fu>&*H1!PJi6rv#V^1 z)IWkf)LDf|LgMzGeZa_1+dm=@G2Q+yg}>}gv;G`zXlvU)ZP0#b_1e+?0e(@Q#JJm~ zjA`ZsB<(+qeY1C=hi@;Z>1g)p?%WEbx)O5R?}=~n$Mo_t_3X>a^U|V#@PW^`7%~|mofs|IIo#&q@lD!aW|54U{|cHA|KP8;U~B>M z|1ri;1iGEhkh_^B{Qo@7W=r10l7y3xZd%A3_Sa4Qhp-J!U(P$(e;CqM`gthg3;cPNG8ZpE#|p%iy0 zv`}2z!lUP$dwcKw|Fzy*Su4pm^Uchj+23py1|5BFIV)#Nh_W*j&dtXI6bC41>hbXd zfItBrAdnxMg~h-Q?g;tEjLl*Mfw|c^L&g7tpa6q^fZz`{MG*Xfr|Ap@sJlA?_yhoa z!s2`);y@sP9|#ot7tt9e4p0Pn*jWKIc>wCpP>35gi-NO@7tGGa7XDD?Uw;AYU=9GE zn3%|uzrq1>P7s(K7z71qg5b6gr-zDQkRw3f8EglEd;M1mc1c?}+(n$1*VEIJ2jt|& z;|#NZk>+>;@U(;50`wqm5SRzV3h=vOfELIJ@^@!E*en18TRXSE?fTBva8D2n0(dYu z+JPZZw}%LKs1*bTcqk6gS9=Q3c7Z_uCO`d~@C5MBYyf;beE&}OPxS9ZcF@0qL13`6 zlM4vyWe2qZSlc;50NTn=dEf~6695Qm^_vKPa&&WkhzEIq>>NRs4}`x?4gx64=>k9x z4gS-f8yIHi0(awavvd62BJb}s4^vixS}8a?IYFRsH|*c%Q?!FYzz<{h;{E$(9iYyh zP@jK*wH?&T`gapn?k>EBP&-$5h??R*lm`>`ADayX4iEwYfg)mp0EjC9f&km{{!VXy z;N=4O%gOiK{Lq1)kBhSl!1|#Hh@YJ`*)bo@8M=Hmlc*@58z zONfmf6#Gy12Q$R_Z~SoiFgpam6!@S$J^=9d=imR#9^_@^40ZJSL;vf3d5z`dpX;e} z{oV1uee&|o2!Ic_fFOXIUx*JNCMpVl5D@|b{Qf(O4#@7GQvm;jszI%t0b+k2_F+o@ zIZD_CFeb0Tcp)AHMkhpOyYs$p4?fe`oo>Y5ac=r0nkK z_?MggFaQ6?4RW$`^!kVJpjmhLgZ?$0AGQGczf@z$-#e=bv9fb_`d_aa9Q3e%2Xasw z$A6E}&P~}40kP7tgM)4V7R%pu!{1BhXa|MpIJ?>XepLY6d_ds;_#QS3?C|h%xIHNH zFBjxtasIoc5)|xg^?Sqkg@geh7!2fv4SWz1zmO2Xhwot(tsscMGz{S7fjYwsGmlyJH_;6C*zvuXe@Q}gj599*^c%lCRAHtpg0l7V_(jWIj^*@y#2FnZgbp8+bL!a({YCZJn4T1gb|F6k|-C?kQhqvdi-FUc` zf8oC#ItT;-0b?)BIfEra?CU~0u509|J-K(rrDj-mjMF)|eHLJy?zecDDIC?=L2Ix} zxs;J!g5@nG_6ylX`d>cZS{pFK+mdwKfB61hd(~dnqNj5l9{7tTYfEJ5}+dy{L z_m``$QJ@2AD{_}QOTMdryC|McA@Q|mzY3y$pnPdGY;H$)w^~>O=V$pecZ^~5i@-Ot zECrT1pC}kH;M}y2IEjuC__G(6Gemh4_w?!sT-bgGF#;t%ChPpMH=n#$-Wl+_byG4^ zno!W9UJ#8=vHHmGrK*#E_9-h_gN>$rBI_L6a7yNL+++9N(bBtrhV7r4v$9Nxvr|&= zqLQe+j$Uh1O>}z0kcc6ebG)p+hEO{dX|;5FqMc}Wuk9#OFQkVfw$pQ)SMR-t$xd4L zj5A!%mNccF9@-}qPK%sZ&x#jOv|}^$GlqQi#SnPq!wN}bix{4T5^ZZ|z@|-hooC?w ziUGsOGGbV5_C(!(dpg2ne~Z(R4Vz9FDB&z4if5?CXeuuUjPLhUNEi)s^|8 z*@VSds+e)HH_a&F8)NQdDw7-HimOE78|o3UckE$>XU3I(y=P~A z__$h*$;2kP+VM}1W(s13sLjP1`bh4?-)OXPqWgYV#tsU(_vwoSEQSY^&nZ1wqs;x` z+JQnY-DwXrPeXi5t18saa{+Hb+bTpMlfJK=Uv~LI z#}}w?RDs3@xV?W^`O3zL?^Q;hV_ zfJG-CS~73AzD`)Jn91*_l1x9A8A`Ny1M+G*k}Iv7GT&}4x4?+I5F^VJ;@P)L;R=p^ zua1tW#ue`=+FhPFdhVz9Wx{4?N9y`H&ywj{T)dr ztzl%J)Gu_eqZkUI3sRTl;}*Rg84V%8yGM_U{2Wow!Lc+(bK%_-zYVeW-VzTl%Dx|2E29xueG&~%p;uP^v!CC>KI zMHm*}gU71Y3it3v${c6?HZ8L>`(M_@V7uFgl^Wy2~P1ZdO&oeh2J9K5)nzUc7U+IydyhTkL`0y4|z#jG+LLKf$kOSzd+^dqZd>dBi!GR`yov} zEl$KQ_C8B=YAQ7To)ESrI`T*?T0?uY&A}G#xxr$ln2fWAqle z)3$6b@20o75GfvG&-}vbWL}RFs>}%xD$+O1a2?kScFdQL|v0-l8f+yU_c}nE;Hr9m7V_&rg(Te8)JK zgQG)GiQh$m=yzNq@hF0|^l>Lm8CWaPiQ{Q@2AKVQKV3Pophz2ZPB_$TJlco3ht@oo z)r3YhyN?@Nu*gv1>x$Bzd#VW7&<5N|bl_N(V6-edesIPbqiW^0KNb(s7cw_FW_IsKu3R@Rymqnb;jt zB+?PVme__0b!@y4dED2d!^{=WL7!?=NwMS-{B3|_YP!jkXOgQD7->H|d?gQsF=tg4 zwq@ZluFt}vr8h?6T-3;aD_LsT>7Jc?qc zXsb6g9j_}Q%t4{7#@f}Gdm-glu&`^SGbU%c3m4C&jlH8uK8(&5P8~NcBOuOS0$(^; z@M5J_&S3DAymX~M!aJ;KSLV^2!SkVbyCIP&2ZY{QCRWLK^b{ zI?HHIUU?IsM^H?R2=_H%Fdx8w@2Ld(Y+XD3eWcmW={`F~P>`C}vP$dzfQ>5S5>;cV zS74`;@Z@yAHn2k5c0yflC?m7JL)!cek(fu`OuQE-H71*XniITbrb^sOi|HsWs3`gA z4D~KZ50T%;5c<=Kp;HeBIXTNeBD0b6Bp)NNYg=qLpIpCcK+%fWVZM(l(UQ65*63s? ztlS))D(Gh`1W8y`)rx@it5&L&Jkf5(6lPm5q1>1tbS$i=56i+1xewFQ{z|dPga9F7 zeb6?@ePpzM!`;r_%%I-bZ1Udg*&0@78G~81_vdBV&pb^5Z*NF(g$^T;Cb;906rVN- zy@V~O?(A2(+629+=B0yuc@spiXERo9 z5*xdJ0dgfQjCxUh^OcR`<4eH>+V_4M&kL%#8m;D}&B3ciuZ0JRfJ!EV@F&B+NQfyp z-q~HELi_>R^!1f9c|uUaQffOn2a2N3y>weXgqcL`V(GxV z1-j4;!g*dUO?q8W=)kmI*m_tUp)Xngc5705wZw0IKDfwxI zo4EBPX}8x%IAp z8ebWW%&a}Uk8MO$oR>XXEmx%=ZxIs%=|iJ%)DRkFc=}_>V6K9?x3EjVbv7b*-ahc7 zR78V+b-P&Cj(4Bhdj_=9!6q0XL`AFXnU;%OWU3&Bp_`edgiQi6T@3eA@h{O=yrl0I zt43XjLG!7P@Wr<#`4Bfl$*05H76}-CM%^hVtV&8Kd4V!bU;+xfxoZ+!g{8Ei3=xq! zZi}G>X0+-`O^-Fque4vueCtD5-TI@)ajS%%G4$IoL9HgjO_Mwcw?hJ<>>*YQv1!h; z&h%GrUWOhdJM-ghNv^b)W1&RU(hNQB!AGGBM`*^Yb(v##o>!VOTPYfRHJKxSxWS$7 zv+r+S4@$E0)#mx4B<5+UkJ9EgAdl%CzcH6N+`!P7$!~LvQatyQM7WG#eQC@R6AVkI zZ#`W~Fs9gFY)9J>hFaZWj!NCIo8G_Gl|`lWEDl-H;L^w-J&$G&VT>1uiw;iBXOep-2d=W}YYiXTFf6VoHRDl$vxyBGrFDMnCM(E}LG{E(ZJ zNxBBQ6Bd*Vi1~+|^z0&?WWJ@ob{{cKiaQXeDgIixC#rI+`Q z%kkFx-!$^3Wf+6810V13CCv-vc_oO}Q}g1s&0!d|ZB@THUwG5ncN!RfltaL2uIxue z&m@DZL%kc@62Oh|^XOG7l~dm<`{U&7#7D{=G)98}`bdrAc^(4H7i`Z9F9&1KO@gBG zh+}9YBj$W}iNshjvpWayR;^(o_!~_Dx*e~e&D?;eLXo;eJBPfcQ7D}>6sAc*0or=* zkT>K%rFT^NCvZxjy~jjHb~OCy>{0S7Dvyh>o>7;@TdJSA%n%9LU9y=}U06?lCGGMX!gB+4A7TkPXRIL+*M+y6&;`< zt0kKr{f#93%DTFLd*vpWf3>E#*KQ70ATos>#zIp_jEI^V6D$#VeJJ{|`7k7)Hhj2H z$l=u|@w?6(MNb#T3JLp@8acGvO001UeZ3b=&(ZK|d8R#owbsdhDbyx7?06AZyjpcv zW!h&K#hcI)sRwxAukosp)8W`i>?Hv;t*LzG6MrZR&|)RU1nYaMLS6h6Yk`NDx8Kga zF1A6|#lZn(*>VChN|&)bdIWj$c*tw$JArBF;0Z%t?b9-@Rzq6m2H2F;LU?3+6*V;e zSHl+}i_w&Sq9^McytBvVFbN?UDzOjq$N18^*;=1fOzbd&->qF`C)lKgxk&kh&Ah}P z&H&D;j!CnBY;ZU3oGJ14%`zBm*fLVn+^V+bTq_C@?j^+>1%IhpG?z@v))N}@;P$NI z+|k6JkBhiDOXUkPDlEmd3zyk03{sc34$Y^``9`aMSBipZ=d-QK)F5b!!yby9Pi-^s zssmf}J@;Jf=dYoiVCBI9;KPQT5WiIrLt~siy(&n$Y<@8A%xk2!2MmI;%$S?hi`P9eD z-*U!(e6Hzw`_wd}xj)8@6Kr!KJO9eb!P=utL3HKA5OGM@Z=7hncgQ#yp z^6f-ink)F5Qi61!R@95s6}xmlZYHym{lcMV)^l$wvuNrR>LSB*fGA1>K0))`m2vj2 zKh0`hex$bPt|hOE&vt-Ze;i9bU}RiQ8qM&3On4TO`K4VseF3b)Yu(wRaJ24_bHLmzAd()L%M0CTr1xu*jd(fHT(@ovTm|IJBk}yZb}uvD%IA1{pdDGzm?`WJnSr_X0s^O^+d>-9IfFmk zG*<0sQUhB%!mbKFzZe_7!*Cv?Upk9_J#%U^!hZXt#K5%U45Mga4is|4HUNuVe812< zF2$A4vk!mSIQ@hzptM(qWASYAO)iXchHyjBIMn4cb3P7@p${#0bW_<>kbETd86Yn@ zjLLN}Kcf&EWT8Fk>$(+bm5yGpx-l-WPlY$RPCHw==q~?~Mxe%^^Xn&V;tHt_f zjwEr4&)n%r3UgI(TInqLHBlgyk9Q(DA)h~Aui5D>Jwu4L%I&2oLG_7JUg(h)VB~wH zDa~x)2WIu6X7mPA+fV#75aXkNIMPXa1FLRYI5#u!?VoZ7W_Yg~YewmRk*bMLLOp|0 zBd<^ePdjAYWZm`0Jc7)|JlTus|8z|+S2U-bGw;yAYx&}0Yp>2jZRKir1f>}VwLq6> zmFO%7S+REZ>)8*7Yq!)wTj{1ui_nBTP|RDM8unNAEIL(TEyE+y_}GnqD#nf}PXni9 zP%?7Dw;PXdN-xn?65g`*MA^DuAhCAR$sva^6GR8a%(C3Zih*C~;4-SPGp^zeY?j~r zx@ZjBI6xoi?jcE;CP4BIMWcz%OXFfp+76&@Az5q*E;rg#jmk*8Sfp%>;Zs@6yHZ6& zZ9d2E*f*#fo30o^c8lkK?sL(P#;E8~sISX+6~_)j6%#{1z!+wFGd|u5wW#53GG5wk z`g1(HTHAeFYw$cAVyM)EN?LIVG!VdG+g1hI>(eq%=px{GQR8F6jwu z+{*EDX$4z-W8CyWQWnNix=1uV;=wN%pE1$W3R0w|-Rk{9Z%aWMUF1tobgc13T4?$; zj}W`Y#x3cLG#6%AFqdGv*C*LB(pB`F*h%?M-%X#>w{#?5V7;T|w)jaHof4Uxa59#_ zQ1XV`_w9wAktR%k7|V*8&_3p>!m|oOmDg4obI8uZW5IKI`WW7wgl$1_GVC9byLZ_T z2j$zb1>i%yrN?1l2z>*l)Hs63eR3oZFf$sp=&$`Bm_7rC*$6zXtqb} zoocVEXbt~J@dTm3N#XeE>1Y2>S?7hpJc0U|7+k~TvaI-jolyxd`lrmgb1aS53K$Bt zR!dwKNI`wyfr-{}9gcA;(DoT@CB+!r1{cgd1(^6r%^5A>&g_9M0h(0NHd4YK$>wN| zaU(S!4-yXujDf?5WT_MaaOE`REq4Jsj1`yxoT zVLsA}pL^5%(Vv!FgC{vf#(+j5WL9Vt3Dc4pLfeL02Q-d_A7q3xVxYD#>HWe^VdRyT zDYo(6n*MsUgoC-9n#lXuuYD*~dCnNSmN~s|ZiDYifdM6tm=9YV*F`D+u&vXA+l+t8 zAFVWho4<6e?1_Gh1M1j{bzj>vuQ&Lm&nC(bC4uAP+QzO!N@PR0@;HKWASS|4@!TZ@ zQHVoMez(70{y6<}6|B(BW6j9L!z_-fua!36fd0ev=@a+ghA1;|w=)kfze*cX62Y>y z#i_FJx{-u-96IT)T|fG*v zLw%=~{)Ez~#d-(h5kK#D1EGr#?!qlCMnAnETO1e6p+_&mnWpE%$p(}luOW#8jHHQw zN2YTfrE~s`{ZK9)tugxr>Y&-h&mH)M?&W3>A6V*697kM6usuPxc1Bp~>-`^HV@E{i zUBg?}A8$*EO3CsVtV4>O{SNQYQuex7v7#;Th7}&q=yAB07gl)=TwY8?I(dv9bfM1s z|JdAX_}Xggn4nvvG$PF2#%qUFPm^|k@i9#8x4`1Yn$Or2ExWI zBd&wFKCzfLt>`U6!QW+GMz1hpUjoSuCXczO!zQIup==Oyx<1oO$|@5eRrmEJ#%miHikbr2|R zhA6zeK1(6=(r_BsmMG2?>D7yg4Yr&v!rgfj1}O`er0t|9@bAOdQ;0)2M-qEgi3U>o zEOyFlqA1$?Hr#C^tFD=%9PP(ec!P-jw2a$wwVv8X1n>IHe$A)8Z6!1<))R1`T2=MZ zuBQyZqZSxsl#O;WsEHQ_0#VO@8XE{v943-Aad~4zu5s);E3$szFlyAN>}q|9Nee-H zcAOBb%a{jDW6=?A1MTYg$-Gcn&8JHO8>)d9YSc>S9o_IN(jrq;r{xA)Zx7%5TuF8_ zdw=aD!tncCKU{k(sS?3Dlw9!Y?W*1xSAzN|rcvRZWl@?Zrr3h?%~oQ6G)1@Ng5orx zZ?=0)d5`ahIU$)=c==5AY;q-i7~bHWw}ufBvPt-(JdEh+c9S67SKD7Sm}s%B|mPrSpy_n~>(%T?nctudjKN zVuI0l1nCWu&c0!5G!EP*j4s!r+>7kow6VqQkY;Zy`p?-0hL?!gVVa{p)&|k9ThYs8vzuS%di;Ws z&LtG1VS1x$s{Bv5*=Z!g&pT8N7#-ErS~I;3kil{;zG1L1_KyaCplJONKK$ghW_It# z^(&??x2N;2YNFS*QM4NRbv&F(?S)i9ux|_p9A+4{3CTv^I(Z>_j zhDrgTg|t`Ms~2Ast$xwMnBS)U!frZB6E4CB5jfkv&RR`ha7We-d9)!fbL6Y8-nRi_ z`Jj~^>_|BjLer~%0Bv7ujo4FqpU9s2Y39>`=l36gipuCtI?AP#IcW2|5vLV}J*6mF zz#$6MDOPD>|HK5roMzSY^YPGYHPv}0rfKCBg20c1mY?HWV~;;BFaHpFi+*TGKS$07 zMK?l4Tq{SHlgn0YS2e~=84-!|9%|Ugw%I5q(eDvvT+gGdr`ZG$I3mF97() z>ws$Jvtg3ip|KY9LmtH@PNm+j_ov5yxUHP4+;4y7MKV|a#FtVCHN%>~x z+f#?U+-HWN49ZvnZX)}AE}a+H8~ zPD8OnFqeg+kv$U$4%{BK&J&QN*%X^QQ*gKIzf?%=>W*8iUMTZvxee3XeljGw5U#`) z4((k&mDJUFuVv1HoNg8EqRI9$g_x|Wv0#!CTt*Mfz*P92)!#apemkH%a6Pkys`4G4 zLVNyyNvsu1`2Zh1y=`Vpzw}$Tpr$V7He+KG#d;zj=L2w3@ikDa0QTnDCZMTKEPTe&^?nD2MXjE)V3Ao~=@t#*vc3OpN zr>R^h^{SgI!2kOK#W@3ED50}I!oxz7(!tbDMZ=)u^|}A#3+Vh-x3ibKQx*jHJ@v8( z;Ho&R@M{${D6fy1*Fa1lZcChgM=fN3iP%EH#*kRxTg)ycy;+qB4T zAe%-%wHrmO*z~FNkDq8IRr_~q+%E<`20rqTO!~5>@QL}6`=A@XKnfTbX=!}qN-GM> z%M$q%nPzFY9!b~UPpj;v4cWmWlwMDme$iWf|EPbv9W{Yd**QC?arxkipW$GCCXh~? zI(3LVr~%hS-QhLu4@pf$43Pslsey*Xn~kWYB{P*BKYiDi-?r;mOIcH+#ZWDTkWhsy zUmtDuDMG;MD?&D+wG0HWECmLe4Shc|qB8b2z%@|j()fWmAM4V!JqBF+_jn(+PZchDel(eP6 z9m2r#mx}K*>wQB5j(b`aCt$KOE{Q{q&MOrrBcC!U!4+HXU%ma;K)ds7W&RYAj3-)k zAJfIrrtLD#f*LWpPh@wBIaST$3+<*JFiaAXB+A z!Ew;(-$jRPGh(8RN7YCXZz^>>brJ+T`a1+U~WaAw2paV%qf3g=7^ycX+ z4y_s&-YC1h+y-WJ`f3*%#@5x8bz}#RDFeW5`9YFI6H>Oj{3E*DlR}gpl3*T*{aJZVE%SCsfCvRYaj%m2TqJZayA(uqsyA|=#PNk+3=iVkMjLCB2 zsBy+ep5c*U{9a^#NN1TXyIf#+*6y)qvHv%1x1jMzR{ppYYuO&D;NG5ayi9IKZCks( z<+~11^HyZn#w-<4Yst=Utm}`XnmyD?41>~DdM6)GY!gljrHdml1Du#va}6%Wn9x$r zm1C5@LV}NqY(1LzarpHb$iD_y#geFWxg)IH;?UgVt9Lbj0yVMRW3k@yS${oY0Ex5} z3n$9FoHrTI+c8ht>k30pxa{Xkr?4d#v6kdT1wr` zt*mYK7bd{QLu5--DhaYpNj+xd@-^U6&l$;T`7(6{m;wF_0rP2v>1DyuD#FMDS47Rw zcjufb+Wx9qroxGAP9Z{;0sg3jkw2H{>1{t@cD)m=qBdWEe+RF%s0=$Zz3VVJ{KoFB zx#IEKB^lp)jn{Zxzrr<%S1q98+~KZTTTCDFgCisGQ0Mth&+{x+f+PQ~6H=uW`$;3~ zm#R9;FJH5Ba`bmG zVRU66C`39kFflkWFfleUHZ(aiG?(fD0>}d~Fd&mKFDIAW0sZsSZ0RK>DdIy%dDHZ_hGl~5vKutHZ!C?iazgi69{EmRbaHjMDb z2`mI1g!Ur3BruD?^mG(SDWMa-63z;x4S0Zswn`ZA2q4CiHUZBTBo_M)(}2MX6FnBA zuqx@Et%Rj@tA!1J9!gkYQ^2Md&f>g7q_`JaiC|$}5W#6262aRbtOxzPp&gpS{&ou7d^?4WvwbqSom$w_P7T>a zbMTgjlkw?s-H1=n`|-YzZ|a*ye4dHD)ga|oEHd{p364>IRp-Kx+q9Sah$|Jk0Nl|i zU9A`u@8_p~Lg(9TDwQvdDm;lbt?p%%?HZ-^y^OluB@6S`8C7~XP=;;fv`@~bZ6|pA z-1~%F-NwPH+E%DaY1>eVXy>Q|F>ZTMA(yu!eJi((>~~K15JBsm22}`#R;|H`iA3Qj z?|s}(!t1b&VW~&(~ec3*iA8u;<)l0liJRWTssz!SLc z7DKw)L{L~ySz#PSkwZ=*!Xj%~X`Hpmw$v_vP!t0whK|-iX)92onUkHc78*O+^>74n z_Pk3gQAdtzM879Iyt6pp2?HK<8w;EhMRfhjr#u_x92PTY$b$hFkl-jJf+8P8gaKAf zghn2jkAR7!c{GaZlt~l{~q z8ukPs0#un7?fNAT=5c|Fv~8;&0-=$byo8J3XgLa{*Em+Mx)IMQ~*?i&;rkI>Hr2iuVfj z?i!$FnA$+9=dp!{psRAB;8ia3IrQ3gm|X(8)=`C>5TrND8B@W9!M_bwMv zN8lW|C^*h~AE>l20d=IrmmJs5@g_q}fnRwvrL(t8M}n0?yUNo%`WWU~lbjNb(jtfK zPt26C=kI*`K|KsDJ+02{=hZ}iV_r$zBlz5$Ht$p|yv0+y;5qiFs3QWQ9WJVLjp4?KVv5G7sWB2%2n`*$-6(FPe6~TFkoeZv;@g%>Vz3N|L z=jk7ReK`8~+up(M2c@ww?4M7C%@n)*wzuVs*wXYmrVQU+@Xoh0J*9U(G+Vqn_OG7R zgYyeKM&FYphW54;Z9Z@M!@=p!=zLgUL<1CTOT_+4wKen4dwj zrR)rxpbKn_TE=F77pQz7To1pZ^&Xb+}$Ba_A9VFFaq=I@NjG|hL5hH_7X^>T$ z81(1flRtOg!l0vdUbofE>s7jsMe~I4>8C#5laG-V`|_!OeA*|MKa#fNx|B?UHlkt+X%_h!%zq9-C=mk4_P4z>2CK5 zpZNMUe3+|V_6z5EFNA-EX8H`6cy(jgTVSO{bKAD1KI=CDRQA4;KHP@5Tv;j)Y?|L-& zR!^pX{b328+o-_5I)3rw^-G3tUB_}jk8V7a_;}5E2=vy+!_{PPSudHhSqa;H`Eu_S z%z3l^n&RfsZ6Bxw`?%JgJ+!K4@&#JdAtK{lThJC+y|}?$wbwSP=S$h`HmYK84xYU` zeD~YI@y@{-1ftlo-Uww3|MAz90O%3`NB*6E0Z^^U?Vn`A6d^lVcIKKw1!mVL4L{N% zxa{_)HUDn1aw%W3oPO}+A7u6ilW9Yu@iN)Nb)bDv8ob^Q&YFuU{bstc@b0yDS-7pb z!b!v1h3n0QcW#p%+4|?Q!(6n!1L&Q5Uq`gS*L|Ug=bY%NqcDGKO3-8wHj_{ROGllF$g6X&_nSR8c(y!Rp zkb~^_V{kSVpV*7^zf<@t|MsjoJv+Y=f$#NE=Evu~%%}J%`~R0km!y|(4FYUaLNr1{ zL^m@uMmaY!IYu}zF*!6hLqjz*H$_A+Gd40XJ|H|oG(tl}H#0OwIX5ynMmR7rIW#vz zLp3xvMMN+&HZm|iT?#KuWo~D5Xdp2+G9Vz6FfS*69n8rQ0dWw;;rITQ!C>tBHg+zO zp#-3c11A@8pd=swgdz)Bpk80T`c-#V1HjJ#J_QH_Pz^+1bVMk+VkE|N(WBkXL_|2k zf7@&#rXnVyMD<~dp72DR2v;^6iiAjtl<-AbWJFd3A}8{qKrF8Iph#@CRwd$cwki|P zy;X%&^gOF7xj0zW$aTT0P9DEj4f3|MYLc(JRg3)0t=eKv7ukU>IN=Y=vJ>_SWo~41 nbaG{3Z3<;>WN%_>3UhQ}a&&ldWo8O7Gc_2#_TKHkVOX0Vsc^8OgHSHu9dYP;OL}#SjFzWloMKsmfH%T>PqX zh;zUb@tzoS(Qxteo3BrA;3CoXROKQ74Y1MO=v_ZOeD}jIDmkbuj8$R|4^Ib`$6=D` zLz?EHDgaa-eh=Qiw#PUPM*I1A(or1Pw&cmfG0uY5<4FbAs(nV73ZA;2H{XA`vZ`w* zi>`OaKOX)C_oWA=!Ximxyf4qgtSAmAZNfY)_`0{Y?^^f_u6#dE%@w~poD>iitHUWS zLKABt%w0#m<91s1(C}6Vx1q93AIV-;*-kLFi!xX&cnhZRKSah zli=UoSbaLC!0K25E%beUD8eivjZ^$O0y;9HoIZQFR0G^t=%DRJ$FpnSU4f`P=msa7 zmWKhwnTt4K%@V_tbpa-Sd6+0)-NeHgUxj9$5U=Y8;T9R>S7HXcCpebPZ;Im0<6!I% zs)85PfD6dFI^$bh`0UeE*S!A@_u)%8!3qJpBrq7A9dNg*Ve^$iV{hA`wxfNlU3fet zsS4hfWkp;nBpuKos@G$#10iKmwoH_bW{o9z@#2xC#tX~Cb4QAQ)6rHb_uKy2jlu*- zY)>8_R1~Gw!KHeJ`Kfj+LZ*&(+~={c+5v<@%gxgX=;FG*awLIpz9$O{t-WI5$wUL4 zw&ocL4n`7w5(gKHGWVC`j^$zfqy(TxOxChWyqdt|<$|x5)9WQOwQSa~K3l=END)v~ z&9!z7G0i$nx(la&26#je48h=v7o6C>#5XhaW=S4Y?S|f=v331sPugQY4MY#2>H6^^ zeg}1$iFP!6JdzUtrAgCb;nPG#fNF-vUqny@>m37y4Q7E@#_eicSq&W%9(#L6_keft zMk$Y9cUO;vQJ~2205}8o1y4f8h3P4fd0f|>Tn1n4NZ`qT*>UR0wDSbi#-e)WDRY3J zwi{*QTuF}ryCh(MSsv;RNoD~o3S0A8WKsnUzN8gYp50auCc&Th4)bvWoxAo!q)gwi zrXY2*<_!1{5E596@i4iE`K@wx*syVHW+}7H{wXe!$lT-=ENj0?kT5rT^x7IkkOayjxTd{x}@Xny_Y&u;`W$caht zuoI-a);czal|4rr7ulNMl=%fBP@YD|!7u3erXGDz0}?`WiVUeMo~{N)Vb5m>kLW}h zF1%&4RBvu!nPoxm{ySB@0Gs)&1Sg<-;4PL}#$if-XkZ+v=n+5hu0`Mb!i{dQGNBK( zL&ct!kt1v)$uGH0GHsQSG>k%O1pvZCPXd0q6bKn9jP&Ms)?UG0t&e308HJaYPa^ss zLARB{kNj0H6}~mjBpcxcitVv}zeh>FJ<$JtJUAbPo=gmJczldZ`45G4_-F)Sdojuz+#pxP4*1*`~P6P&=c zuFgJB0vLN)NJiBvsmqcuk265SF84m`gIraA<$nLi9SljBXyXsOl>=sVKt*9ZANYO; z17x|7eanHL?nwX!Riyj@P@EkUAOnBE?lBQ*{VgVvTPC0)2#X9-Xp~cEviP9GREeac z`&)pGB7xj`IfNcUsX6}QD>OLgkOHe4?MDy=x_b%>CLt?%abE4*#M0MX0QxQf2 z#ov>Z1wwxbY{WF(&o@qZM?%JgO6hOuvo8LoLN6vGX}~Rt1jgoVx9hpi`ya}jGitaP%E+F`Wh zPe3IUMI+a^x7?7b=)4FsFpQ0^NK}Fv{28*Cp7nnZmnCZgxPGW2xe6L~)j;V`XT|?Z zGnSgF2p*@AuQ_*9UE)+NK?C8CWQ;PkvR(O4SiP;NX3tP?2CdB8;Is7Dn;BN0Vm1Wc zhDC(z`h2a@P)A?&B?`Ek{lrTJ7DU1}CJ)m%-zKa>*GM`uSBQq9mKQL}d#ETKpj4*x zMF)SR1K(351H@(j6v@)u+e2%54ZdZ`kcY=S__B^5b2dSPlN$v&b@WU4h`>DT8GBZlo z7avaB_@?WMSxaFK&pi#3IC%hCP~%cG;z`oj*#(<5W%&3Mj?rbRER&2j_V0TL~J^=-$nn>qlu$ijHj^UC~n6S{Ox^mYV{S?HYm0?5-CA& zcNPhcL_CAAmwo^&sQ!j=?gzkpt8NHc74}SH$#C*iFcLp7lFAu)WDz^wM(Og@v!C9` zA9kS}k#i^(%hQ`jA;i>sAgvL|Mi_ruZ-lX@(Nq8#E>>}L!{B`m`APs?Z9lT#p;E{s zUi5JK^RRQSL+OjqfZdO{YZ z&Aigyctuv&Y+qq-WbkE$RbNn8G}xB=CI8^nl35uFomI(m?!3T(g---umW6+wE7#|_ zYb4!2o(!(B>}aa9+|B(JKGZNqDJo%yBLcRt!7A0Z^o`e!0>bvyM83u~eR4um^kn%i2 z?b6((%@>QzJjAx%M?zY;t@nR67n(%WD>0rg1|p#d{5}2yQ@WDn4B)_gPFPLA)%xNSBs!vA%8#Ml%gH`WmrA+PR^6g2|)t9?~@S< zC4WCojPE1yX>L1FHeoXHH6~j%;Z4Sk4j7#stg;*Nj_1D}mz4u**L z;zEBF_qxptVWW0WBky⪼s1~Hy%~odVe_otw@e!m1}8nq5q-(^5V=J8P24ii+^g( zy;E46AzVqWh=N4Wx=EeI(xlF)0U+-8zMQ5EW+|oey)rY_OJig7o~E!8^1Ig^v`#Olx4}LXj!)R zB|QYl+7dk^hcnMSGo!l!T2(zYh-tSy=f1{M1zB_;O&1)u0EiFkB z34&akf9DNYrGZsy+2EybQ0~eQBa`L*Gk;%}1t_9KApk}p0x~F((sY<4Ld*S!tCtPt zn_X$>Lahy#)ed*IDF6nk1uxBq286%@aD~ooaahKr@o0bM0fkiNvvvKJ z5(NA%F~VX4K@?b)Aew34h;9xPh5`1}D>Z7Wx=L4|Iuqzgv8qmtvX#DmJvFAAP6PT= zBoT787AmwBf>=|G>Mmc5@WPsem4q>DbMnLa$*00WSz?KIP^*)egEA#S@2uWKxn#sp z+1f{Koy~&`70^OL*vfxu??QfIDT`TRMUC?_uf~u)F$UNp9@L;JJ%KN3SUCzfWq-$( zuL4_MhHyiYL>9{zhYZyKGGtT8;Bm+hS`dm#X#yG?G;ZoaLsCPe)onnd$BpgUz+9Oo zRIz=LK^_ztL?d&M6?3R+JtsgaArf3RqH_frbw(a%QVM=0)mDGM)Q`t6b!15`%$e;v zgo+^o>w~3b0!DJbpz7?nCdMIrYI8VK_6^Jip7j`!NzPMQK#BzQCY@5Fs!x;!T0-GB zWq~{hGZMl=snJ2m{N53)xq^Z$N>iA;i2@=s#KQM_7R5QCR@D0EKFa9{A;K_5iDITj zRCBg_5$st|-X?#JR-^!NPE@7K7a{ziz?q6^z6;A)c~PS^4%nHqn19NGBoMXc?vOS`%hOgiadh zuA>1Z5~~lnYG+%Pjr-^m2}0FGU>=MeU~_JEhlm}jHg-q~-PFd8r=JU}Cagj2IM{es zG?)ofB`ckMZS|+f?15OSWH(LEYMCtJf{q72uxVV{2$QA6>SI6y;IXRrjEYC^AN^zt z1HaFdZf}3PQ3~X_YNB8dKx<_kN4O3K!Nl@rp;T2vsjPSk7e1Eejs6%~C(Ma-8{n_> zwaT3HMuQ0D+#Zb$mfRvm_(Ig7oUYKoA5MFciO{lwMbkuYTUWJhUD@8cKGwRj#_PIH zX@zxQgp^h#$^R#(RSh_;+JV!mEu2w@Vk&|5>}*7y`b#~&W=%$Iz-7-H7c2^hcB5z*fSdQGOO$Z*!rM0=ibFwy$&$nFEHMcHV0E~n1Q6CjlTE{IMT}oH8eI#!cf{vyINpYp ziUV1xX>FyUlVj!6$FF}4K#U*>O?EkKdh27uZP+w$k28)oo5NooG27Uj(6V$4jq`ud zEGsJQ-;4t@1i%*M6R;GWBz6+Efoocrsf``spm^F{wQeg$kX95@=G2<-`Wqb_o|LIlD^~GUwjGDQdz}$D= zy=#G^O;eHG^U|iXk}c?E4eQ^IE4Y87W*Lv2Cqc@mTSt9cr^kyLc3A+*$B+QNVxKP# zT4=Yintq-0$t@4$lp*Pz4`ZRE0w2~8`)>Ew4f-JV72xkevz))1r+J$4K2L`pu3RFp!;$vpI?iiduLix8NA7cqI(L%ok8IU%# zMZQ>}Pw4teKOT|LvHj6d@x6bIxtfZ@?|J5HKVuCR6kDEB)scd`20W6-fn~sFIC8@kecD?OE-s69n-^QV?`zQ$= z%`(;^3{$w`sy4(t{f7V#@i3a&t*emo+yf`oJoql?G$otXp{=Y09Iw#sPFr=dE(`n6 zu&~rf!yC!J-c0^CcKTLzhH!YQ$OQXZZPY#5mpjDIkLdP~-Q;KvP#u4v28TR=%2=sH zf-OO0mEil7+QWhQs;qy$=CsNrPvKn~4|()>ZzE$|5)Nht!H*g9m=11lEoGD*)^cjl zr7K?`=;~#aCxo0*z(Sbj+uDsg`x1gr_-IV!#7Q`@M>mDcJ(}1Hn=vw%zwMSnR*egvi@*1%H_Sf0m(29;5XDj zCdFLWmgh|9<~mH>=qfYwXPcBjqhP@@r(9WnFZ;9@{^wNbZaT^)S1<@k1@;1eL8sYt zJo6ui6MyS=fwO-q)f#!em(n&u=60n-c*U+GLleZ+Q zC#ZyFgareQ`EM%~CG_kxil=sgH&hf_G0SHjHPakZKRde~jYxmMuX^|qWg)DJ0xL~O>)0??*k5nv z2s(-Z`lNIGL~|U1OEB(niUaXqrwbT8B01~Md`p~IU;|T0qLpe2KRqwq`8Wzi9O|W) zfNtrPcTRU7)R{N*&2FdJcsR>Kr955P>w2)4?s>J|_~AN3T*l0$p1sDI)42CBrHKJ9 zUNL_OAHb%=^m3GiMreqzChBIC71MM^jW*>?YLpF}AHWq{ZU4!^B;2fY?CuO8n!-Gs zlZiZH;Ro=reh2^!CNfFn-IDHAnfYykTthA$5BmSG=nuwu%=G;%@8n+M91JdBI_E9M zG|O^Ef^_6;lLK-z5D9-R@;9~RmBwcMdAEOxu@$lm2X@a7UOryrCigNZjInL+c@)&W z|DeHCr6fY~$W#ki&8NDPcl`^{Q*@sP&W7QG@N9>(VXFhl5GC;hwZtc7k?i*Vz>5VZc5q{029;a&mvc-eGj0-Jj4{neKjK`|4(Vy8wpm8@|07f`WgsVHP@5D@rJk$2^BKHzN!=<0XTG%RIk*n+}$l z24m*Gf+ob@_}d-eSPl#SoFH6*Zl^Ph?`8=Rzf7~)GPbfL;UrHkUJH1EEhFUGe>6F}s-gFv|WDyRSco6`{d{XWCxMa1kQkQoPLnr)g1HvU{;G#n2n zF5=EeV1Wd+MAO1w-rOvvp2gUl+QQ%0=#PuZRl#uJ+Aq`9I=PR~IjFT@ZB@6$DprYr zJJmooL5$E<+u-Ib1LtxrIM(z4jC!{8@=dwKqyGUi!cxAofiIoc5Hd9iFHB`_XLM*X zAUHTOF_%&20Tcu|I5;(zQC9&ef3yWu6zUc>Oe5VbFesfvhtx4u60LU2vhuT=d0P0oMc=;SeXYL~sMFVBp_Ge=8?f6d#S7;9k6{aifo*>`0rqg^(}zLbJRmCa|4{B-xPN?h5ClLN2n33X z3jrW*00`2?p6_>he?4zk$X_7;Z})u%{=Tj*t^nKnCLsP$Tgd$nuCKe5Cj@|idqDhs z{}cFc3zwfC0EXHi0M-yYC=B;c_Io$P_HX-`LZqE=YhckDw5MM?jb#ATA~be-IT00{s6wi#>LANGDq|2nYeKlji6&u(x4{yUe3%e`nJ0QNr`e-0D|+T4Hf|354JuaN&g zf&b3(f7AH?9!Sx{$>}ec{V)9g16w&moxJ}c+-ueYaj$=Mm-{V%{V&xJ^7qcFL%>iE z=l?}j5LWkle*l8nIsJQ#P3*UljlkKM?po z*!^bNINrY;?)QrP3xeD)&VQFwfZ4c!e{Yz8un52k4!82g1>OruKv)>y%YVO$UUac!(IO5zvte+ng0O`0Qg-0 z!@RE#|5NPVa=%}fKk$9^Kb7x?$A|E8`49NMGmk&D?mP2=!2iboYq~ZbaQOZE@|XVa zNB=MTf3L?30zpD-aOY=SY@UQVG=z3t)Pd-{c(%r*rdYNNGdOsB=i%KRSA^K99JSfO ztMGGB>d-slr40r4GuZ{kU%ubko3JA~lC?Xp{cbE0btbktapyi!z8^3C25KCj$9c%3 zC%f(U%gxUq$Pv9AwMUgD-_1jeP^*ya!mD2if7v)tu{aVwv!%UVEAkBQrecyORzK!> zQ0X*FfpyMj>PJ`z9{LBIq(6{E(`V;XqXGf+fBtYXWhXpM93A^aR}B z(lFDQP}8HIk&aBT`aa!FQ>B{qEh|}tkEDO5>>gcrPT_ajW%t?A(7Ax`9h)?rR^;`XQsaBp3+AI$*lQ*}C6Iv?Jw|57AvCD4o z3ff!NV;WjQeo&b{QuUdP^xWIvbRz$8e`=HE^1f$#)E(?hV~(22(%c*@wOiMbnkSFP zMfZ}jF^AscT)dqQlQ#BoYIbIRyI`{x-k^n9!`3%Ej;z|<&H*pni^zem8{`%G6?dT8 z>U^~x5&`KI`Db^!u)e8ytG)+ZP2`hzP8hQQ%&s z$-Q>#LZg!Ib^w~EBfq6JXb;@78TIWQ1nh-HbwO$Hhn~=Qn+$24A=)rD3ehN~@9O84 zTz44wgLDn*Q2pZvC0@T>sjxZ$e*^9NXMF<#B%QH73wRxjHE)jY%VhOaMvm}B$)VPmfA5~Zw5IF> zA4~G9Jl3?>a$hd)?Ej$n)6S!=Z{vW{dd*>x3xO4WahIG_@Z*{w&snRI1Ic!^5zi_h z;%n(@J7Z52MfG$1h8Q~*it)?th+e&N{CTGacGU^t5ktL>7m2=d*A&K3H4 z_!)lhE26!0(WQ4X+8L~re_29k{U-g>9O<{kT(nWn+Wl-~;v(yFDxz40R$^Oh^4Vw; zj~I=BMMuMJnU`E&$HB{HPxsQuCkbQ*lk7^Zyju=IuNx-JH(M(#vEt9fDKmw6_n@g< zAu(@MF_E?S61_#+OXG*e{yID3c7t2uFKR#SA@-c~uPA(&D$Lj-f8a9LGMu)Is~3I= zpU)@Q3l&b4df)fRVs_$_z#Ow)`0PRs7NQ4=G|#2`RyI^~V;Vtu9Jyl|l@X@>I9Q!k zE!AEY&#}n9RzlDl#wL_v!(H@WtBIGk)=)`RPI1X z&XFSKb*3ddMjdo&f8{`3l!uj1bb1X?4)oUo_hp!zUdO7>S4{}mk!kKO@{)(?^@}D` zU$uCRCkJrIw4;~EJy^|8Gq5HXHUHw6m0NzM`lQN+09WH}3g-#Ie5}&Lx37!W=KZpg zru!Ho^^5OpMr&3JcL|5eoTdZTlSL-&Ges~>aRla9n?L0xe=snbta<96W`1$%((+^B zFc@qjbpFvXTbV;oN-D+LWre#_MR}?k*XN!QYC&H#(vb8D(>pF;p4QJ-C%7nh_+Cr-J?TNA+Wsh_%M&h;@<($mTu}1tCT6o;VWjiKTA$Kb{vh|&}ud(x6{i40p zqv6Rmmhf#U%`VivM!t19PRZ)#o~83LH>kfE|!hMLUJ&L~`W`R{FK4pX7lE z_O#OcrYs`X%_uxZdVMI~RfVdWrH-A!=+rZHe|THepT9{Q)u|Fx`)r{m5S3A+gycb5 znptu$F<0i*TD?=^sf7r|30oS?w@-pgmX4fy_$}-;d*9Gpz@;SBZ&y7(~}K?#8p z#Qf2`H!GduD<&_=b2r9A!h^a_MPBtOLSO3g^(UDiAneLIsYb@LpUhZej7v5B{YEX> zfCy_o^M2NKf+U_d>DR}uL_f#t&|$P8f2R(0yn36dcqnHP)Vr*eBoSg;(|JDi135}A zk>YPhrXQJ8RbK|`5EqjnBm7L5%m;|xcqv%T+SX5gA8Lg<-(|-N3DNOc*J#}Bv(dgf zM}M~XPH?N6KB!XDeq0qa_$srpOWM4YRNOOfD#4qR4x3HI8PPUXBLUWUe|(r8 zT$G|VMYnCGgUs(^3cCR_b?e}vrep;~W;SykIE^Q|ZbjYxREajM%G1U?iD6ZZ3&>?_|e1e>4RtORpx{ zO|upTlTC1HD&Pnw5Y+4I*(Wo5qqMo-K&!rrDHhx55> zLF?M!Ws;_A!SEo$M$WS1bN&}#R$PBWV2zk?l`)8YfNd`+l3z6wj{~2!mMmpTY8WP? z;2IaVZskT&82!BV@+%w1e@6?UdHOg0&x{LdxthT<(&jcR1}{b4lL8e?-Xpj_{30i# z;i!V1qeB7!nv9LrQ+dKLlGk)lv8TefoZIh1(~)biZdt}&g=;iTTwP6AQV=rPi81x2L^Vd=Y@SwFE$L}iHOQIpt-`N>C7 zwNNwSN@g{e_JBxY;}bvfaxmri!=_~-mciT9BUS|kw7ejhe-;~JYQmWda(ubP^ubr6 zq76KjgY(Q7wbkmLtJq)Zzf$@&hOxT$$Bg0Eh!`>T+dYPX$0JOWy+}4ggJA5T;Q6?8 zmuVNqpQRRI`zbC0gd38}ofSA}k@XJ;33`dp7$T7B2`WA2xZS7Krp#b@y{{%S#FzM! zeGdJtYr)A-e?Lv$9R+bOYhAPs_kpL_J_+kHnID>%nllCLexMc4+>ncu5w9(dT4US5 zGZ@>C7ZVL>`3VC+k5*wug(FA&&8VG1VX(xYXY{?Aay*n8pz?JoaVk4usRKiE$jl$L zMUlK`;BDf(f*zT`2WK6qB+l!1a6v0d;NZ6bCI;ItNrStXozc44tcDc626QthHCT%l zcLWuLYyG9oeCe+YZE%AKw)m6hg!8-;#Tx1O@H=L(3_3PyOHb!Z+xw1#f^&#D%@zG= z86V5we{0cg$F&9WVBH+PNTYS`d*SdSB|GVXqUS?{_W;JIXFuk6iLsxv85f?vk2^I9 zj?N>CrH_i7@!KX9XT{F$9w1z?g^Locw*+c;y@0jy0Mvw|v`M!P_)MeGx*t-TCI<&< z>Ucm(scxjVl={c{Bg?^)rh2rcHTYB`1F*OJ?(>B^*lwIoUzq-*Je)7V9v5csVS$w4WnalK1P(37DDO5#tl+w?Ko0di*Je^lI ze;cV-&Mx~p^BO0~&8nodqtDuiN0o}Sv}0kg)r%U@e_zkR{ZoNb|wKv5hy5ersR+i@ss0)V`}EeygD1` zW$B`hwA{mvRdsX!E3(5&q}JCM2FLFbYp>jq!Zpi4o7t$jH_y#F-u*Y=PkwNf-(x{alAUjc~1#ZS24GO(lKqu_5C!D%edP0>6x406H@aLQ3*A4 zu!LVtJHnPDsYTpt>wMEc%;8Uje`RRJhv$9}No!|o%qp2cu|uj>e`Y7zrH8vp`G!wf z5Pf(BoK_x{X8+jaVc0!Y;^UX4H`26WprXD}Ys6e{wL0(-<}r)I%iGCf;Ic+``} ztA=w+ooFsT^715&KiHt~H9j;#X0tF@^{H)GK26RydY#v3*ihe1<;P7zfA)CnVW|0Z zb^|ZEaK+y6%*4%p4eK5ym%U*3-_N4HiQ1;r%f`~fQ%}zh)vB%!wmfv5jx4bBiSfN< z%gT;K;zu1)aAhXpex#E8E{T{;64%I_?;TlnQc%*8Nr}B4=CnW z9jhqkjGe9PDOWRn)!HBHf6i%RcP2ac!r9T*vrJBGd3ca4G@O7yT+h`+Hr|{hWaK@1 zX=pxF)U~xzpd~d}TdlHDw4vDbEkP?KSayd)$E^3xUS`46Im}h&@jkLB9mtL0wJqb~ z(|DZKy7WNhi-*QjWg@nH)W#oiR09Tv6%;W{Mk3RYOry>dz5svse+%!?oXi9EMSpSr zsDp0c+fDcRjL3ehpB|V|+ox1Jb?$>jN(A1K&x@(#j#W|eIf7VM-#V*DvCv^`>U6;NuJE4)v(HCA++w-BXIwmqJ8|wXz%A!4(KGEjf59r6pRo!(WE+6TExeg; z9h2h9=iNhCG*5D~1-^c##j$YmsWcbPIYqKAWEkc;%bbt*P~VrHC#I!rBKT<(-3cHs zCY;u7A^%k&u9cqodS^np0%HPPPr(a~ zMo#4M@Yd zSD0ES3d(wi{_0%_ox}Kzo;W}Cp;mG!ytZZj)J)H>e}BRQ_{wL^P(50AN2)F%8T|xC zhq_D~GU=FgnRVMA`v5W>%e@=h|M`LuR5YWQGw0aEXZ`$aW4FOmW%=j!5Lzo9dVx0S z3h7A>s(k(Q*OP0<3-`1_d+C-;%do^etJrd_I`$V1ELt_;Z6AiDiEx{h44qQdf+l3p zUgbn=e>VTPe0`3woLJ7<8*T4#hQiv-074CCCXNY?oo2a;6SsM;h5ty2{m}~kz?X{4 zUuVtX>-(5PZ+pp8Cy7yf!Z04j1=_fIhJ2(A@8R$ zGWv@#QP-Yc!{}t?5UP6uPoJx93|3{YTw_DNf13nuFuJ%n5@Lg8rZeU1BUg_e(IMll z*`YhbyUn$x_t^5r^3fb12a^Dc)JGozB6D}o zo8n>oTlN4Vn9sx_L?>r0@G}fX`W{g(18_x|vv9AE;zmiMpc`pZ8Cgz0I*Ue_SnK zD%4mhah<2I>iZ5%vW@R@ieH9xPT?xZ$Kp4+V(-eqC64M&=t;Jw_qB;Jq>46C5_ieJ zjN}+L)1gy}`7$Ir%jwUxK55lP+|q62nASv_tX7bcIK0nn@-s%)7GnIcEhkA~0vVtC zPUW(>btNCjz|57ERF+8&!fI0Nf9aaREjw#?6T>uH&%TC(zyET>ci>ixyF{{s&Cs_( zq~nZ;J~H7~+rUAVbMPKJ3uS8{UfF(k00UoTtiI&ywnvXYky(oDMSBBUS%g+6;FW6N zgSH?QPsL0#`z17UvyN(t#TB$DP$Z{pueP z^hK;8rk889ye@irf;nWEe+R8kXo5fYwiyNOGud$$kYADtwDnQFYT9<|wwAS=!!evr zuAaMPC!Y#>xG3hPkBzfPhok88<`O?yrt8smly9j`?85|gi+|P5r??eHo-^^P)T|4y)3MG7<|Bgm~%3l`n5jg7ie~to+qDYv$GaPMB zEjU5>MeZ-92Wj;TUvm_T4sitoBYLux!DGFtmPLM)3mXg8A+uS-&6EXQOe#+w0^G(tszPakr{-~toD)1i|3!p>v^xDL+J zrLr`aI-6Wd*$8!slVghasF=KpX25nmccTnJOL>D?7KcIFe+H$i^#eY7)bsT;QZ2SB zZY<0?*6bAE3b{UYk~-EgX?oUKghxO(o(GLZ6$1z@LGa8d!i;_4;0WepW;VaKHIJ&x zfo@5h#eaaaU$0=mWPErQF~%^aZv87CZ`^dQt-nPq1$9Uc&tJwwoJ`8Ll*GdQYr4@|+0}Naq`8 zR&cEAN44q5{{X{ZzxabcNyu3SIo)cBAL=dNW!8bpNqycfN39vN;fu0Ov}=XP?^k8q z3=?A7e}XYdEoDx9D42&x)llDt`KUtMW zJfYG1sE4ewUg*y4>ouWXW}0!S**d@hc`W3h%<46NcOdL(kje6%&b+uUwq3*O*H>k3 z(Sw>}eEAwVI7nhmHSYY5>!MWs)AP%NZm1}oe_vNnR(@OY*Q9dJliRr_HDAan`c^@( z1^tahi!k;ZJ&1Va&VX!vJO#rL=bi>2F40R71(qvEY7tCmhAUyPE@5BxEeSWBIh+E+ z3vwx2@IznFJb>+@q$TG{<<_F_ri8guKt=SU{>n+Tk2zze+foB-K%%G;`jiP?6IMv; ze}<2aHsV_>Uh%VeBcC@#i@NQOoF&Jwa(9%Ji&`#95@W!p-Ip~ZXQ8Jc*X}1Y6y|15 z6fq*96XbI-(iLZE^U1PJ#YIVFpLKVbexj>>+oy^sRx-ku>~nDRbkkceXD(?g=#(%b zlFEKRzLZp6MtG*?lE>}f0dKTkky-a-#u4=mc2F4g~&^?A>l0HPlV8^ zvoI-nCXNnb7(Je3p7Nf4s^RGXRlaO~M)yi6mls|frI2me+~WbOl8v6=+^nb+51}A4 zPZ)~{r9NV5AD}&s6hE8F-7$0akkHlU&@1IJ{-mrHcS17qctC!NOjWnzSHc+ae{~}F zcTLLvk%|0+ey4IbJe0u;hr?eEHR9?IsAt15v)Buoi~NJHh=*1U)*# zWWuop&by+x)_7oZv|G$=AM-6`e_8P)ipZC))@awnbt9rIN61Xy$6_ty>9uCbMIH@4 zfmHbcr6p1zNXSf0;8|Hk{a8gt5aIm5qp0vJwLrN&EQTScPEr0x`!YlZ@siz2SAmPz zN48akv;hdo>va2}k5)ErGFd3Y2P$Kd3)q1b=f;L#@g8;k*b~O<`33lRnBnJW#VU8MG{IKrgDD};k(%ksxKlvJsu&?Qse`+yVwk#4=KhA{J zP7C+J908x+ie9Fv!NhhRwkDatS`%t3M_NUQ8)T>6A-^+`fLY4!w7Wc8)LEP_!vr|H zUOvJ*9)W!Dn4MTY)6}nCJ77l~ii6*G`D{#+4*RN$D%uIo$U1f}K8)I(BSWcfI0~6$ zG;pdc%5*m)!y-JSf9vkc7Mx)H<t1OO;qMwi9!d z?dZ{HYdZ2r3gGF4hJ)U0xXXE^DU|e!4-^@)R6m-?MYSlbK|kGu71VB zUi;3Nh`?C_e{=%;eIX&KLA|=-|A?PYvi>%Qd+b`Bi7J2Ro8wruT>q|f`NeFR zg-vnEO-4K7y3{ z@+mhx{SzGcr&XW*wWydY4PeZLn1C8iGpb&=y2*mx8dvrS3)5$oowkj{FOw(3Hrk=p z#UpeeJ&{N9DK9)M;Wwt1sV1IyvWF;qSiw%?#ygi3^f~aTc6r9dy$o;lot*hX{jILT z$HFpzf1$>h1h-VEz+}nG;kl069M@f;XBLvO;|V>)BUL@V$2j7Z9;{6$v+8m`4oQ?m zxvGsF=bC~~5wfq4&x^=6uhSmeZNK&cWxTfLm_R#c<4(Wb+Z1weFMpSU`+x?&W74nD zd%rCa?a3LCpQW&C`IY35Z@|2tLLs^w@j|M1e+6O*J|b9y54S zP!kM#!?(PGis2r`vcC`-u>^Xe~K?~&3t`jzSRklRQOUdb^O(6ijC ziDP(!;4VhA=gU%v9QY;jIZI3|6P^LqDadB6URwo+oax2V)G ze=6pVlJ~C8VyibEh9}cEP|7lG6L^22hqqtYSxyyQev(qUu5A%+3Sk0+un6@jl3be( z)qft?#jT~P~>~n?8!PXY)$devUWBa}M)Z;K%Bsk`>VN zyOATTNz@>2wwIKrRuU{&KfzTQkISmheriZYT_0aI)Lj?k)D>p}lMl_zqXFt~Z zerG+Dr(w_e#oqK+mjoFO?}X{mrz#$DVNa%0vCU5kYPgB zN#(&n2Ykoa#BCBXzy5ybsBOz_oQZ*&SXN6%XZg;i#-l|glt>t?&{Y!32vaGclCW9} z6@{Y>BfN0}3qc2=y@)Oe%wjM-9Ys<~=!CC?vqEVD9$=xZ5(Yd1h_R$iz_SI3#lFKd zVDQ33kHsjgO1ft&VQJlJVS|5%5?0t0u<3=fIB%g)fF7C<{eNaV@kG!K5JYpVK%bf`=|vgy3No9%BL)B33{_RU#^=rC_c0s;9sO zs=@*A3J>)xSYJU6(7B*`j~?~pn;%!TkVpOVx+nL>qiH>wHo^ee*FE{VZpPPtlhe8Z z%)D?|pAGuE;~Vj*!h#3Cko4ysj!$ro_!HUhzcc53a1)On3AwKT3hmGo_O(+e=-Vl5 zob4+Z+)gd*X{T%x&B0q9O~$9k^;CR<-jDZ%d{f^{#pjvWTMbff#UgVrlbj-SS9C56 zxlMbykGN8y3&0(X($$Jl@qT`PDs;Zhrc(LRsKS$2)9PME*{)Gq-^-}mU9vE5ol&KS zIm0$`+9&7Jwi7&l?tManZ{uK9Z7Wozv~8$Fv~%QRjN2YmA%Kd$mD@)4J12aIp!H6J zDg;BT)?md%qHvV=K5i%Bb=XF7C%+w9ir{IU&*yp2X&Y6?Yf!clG9{0HDG{G?#VeLn z(OFc|Z9AVUXrAZgibXA>&*CZXF4oF3w5lCx5fx#R^~!VwKdp$iBHfH(3Nt(HJ?Uh< z!JZ{NfSe&4@$ITgFq#iAstU|_xP8^NpT$Z+ymFl&!_2#P{MGo^~eC0UYVEd?!)KJ)SDQZa!-X+$qb zbVUpjMXyiUf2=4X9EU1a4-BB5cB}%$Zi-nH$Cc-p)OK#<+OdGlTK4wJI78nsM0wP0 z9y!n2Ail!v4D>^^7}C`yg2H;r3gak>9C8v77Fo+ma<=HUju$VbR9t^mE z1V!=4~SfGYE%UBBePJT6eN9Age=;1lFHu2_aSax_}@vyG&w4Wad; z;V`y{o=oR)(TgNGd zSIwMqiS5l5*Hz0&xiZg)lu4a=PU$%Ij)^Y6ePtS4k#N)XK$H~1S^Ghm8W_1 zG0e3lIVBpUMGo1Ym?>e;-}&}~dKg-ITAkU?tBJ;cypp&_@VPl{-nWkQus9LhPO{j` z2<17C@E5)78BMi_W^GNo$H?!F?I$2nu@`*WB-ZLC_cr~VW!E@|UQAY$qJ6u%h8pDkd#T1QEQ)48k5E?pg zyHVUo`Dz{LuM1VXANXpYPq*_(&B`fi!dXJ5%wysfTdp`yjY(T}rlZ!kIxkl;XIoM5 zlyh7xDfkMS_H16~I+|BP&|FFRY{`>p3^YW43b}k?vJ1+XuX2nB&w2b@yyVgA*yFl6 zoeZv~<4Jx!d)2?h&eNBFeR%!xx4pyN4@zTW*gtQC%@n)*wzuVs*wXYmrVQU+@Xoi> zoYFfVnk`-(`&ZBE!TALqqwh%)Lwj3_HlI)X!@=p!=zLgsAX(_c7e(V!lj<}<>~nHvM?_#}`^|-Hru_*pyIw&lZGzIvohLi{j~S(KJ4mXsbBYL}ti!*-BKIzSTwT;7q~QPNNjMrH2j`hce+Xh}Jj=4$5d12? zUXQ2s*~yRzW)GQ$pYoK_xT!CH2U)?U{sw_LT5nBm`H%dko{X2AZ8mZC$K9hR2anm= zYpNgGBUir^?#+olM5x zbNZg3qfn`-=S8Q@>yv9F{#0W962j!DKJQNl<55oSN&RJ5-!#`J4M>{7>To+o7b#E6zipw>}=OCWFg* z$()VK*ZbXrgS}TU=gs;niknBbeW3R1<63+6(59Zr7idpMh>Umb6>gE$i`&~(du5|q zzLec=qbm01@Y%bgcfTDT?;Nf{Ac`&PjZnt$AAU^I5LmxbDJk`?!CDH@N>t?>|j+Umkp~5x$~^5