From 10d000ee04d3d7bba89943dc21b8a3df5ef4542a Mon Sep 17 00:00:00 2001 From: Daniel Besse Date: Sat, 20 Feb 2016 17:06:53 +0000 Subject: [PATCH] cTSS mathematical proof .. outlines the mathematical proof for the x/y exponents of 4 and 1 --- doc/contrib/cTSS.pdf | Bin 0 -> 38503 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/contrib/cTSS.pdf diff --git a/doc/contrib/cTSS.pdf b/doc/contrib/cTSS.pdf new file mode 100644 index 0000000000000000000000000000000000000000..969db719fbee69009ec3ade65f5c6ab1252c1b7c GIT binary patch literal 38503 zcma&M1z23mvNntahu|6@g9d^#3^TX}2^O5-?(Xg$Gz17P!QB#Eg9g{&?(Q!CkbU+& z`~3Ib=ezJ!dskOiRrh*Vt)clKD#pad3__(Dndq8E1p-(BHu~nMyu7F^(ni)Mj-~*1 zFe@kE&mSs_n3<)ckv)J#%u>(MNYu!{#?T0rpC8r1(cVbU3e|P?KvT+LjT5KkPSsWp zyI2f)F?vmQGVd){jmsoM7{4hysHwTFv23@ki)Aso?Ba-P0EP6Uu|_wNOr zZzklJj^O z`*lgj66VHq)aLjM_x%l|XV`W`>ppdS)bhcNvpwW-ygZlO&CLDWf_~c+fqh`RMg3at zDI`PoXX4XG)Kuhd-qrDt;~Mqb=nd0d)yog;+(jfi#YWe*ijUq8Qf!-_AyzAI-V8KU zl=}R151?$j;O|E(d&(RC`apZA!x(DZ3Bg9JHdc~Kr=IG~ z2JLE@tGuhxwHuSs=aeKW*Z-{h5) zP)?vo+h$`$y`2mzDx%ohiwzA$BK*1f|QD&RIaNH9*arX1j@$l!Fh z(8DG1-tsfs>T;hNov_}_7L`SHcu^%;eJbSV-1045!Aq)o>u5(^Bm{>*`bl)W!rYFD zUv2YWJ|tEuz#j_#Bo4c^G_2rxj~?`(E=+~^(fncA(U2k(+fH7SHj6%Nv>t#hzBw-1 zrljRmI1w0SnrAP)();LS@^n9QwRG`PduURito+dry+HUMLlsN7;#9+skQCedH1lNb@r?}O*$^Wh;wuN-)dvnw*BUgKB@O*PZ4qGM3mt!nGbc%*AkdMfzK; z%w1zPhNJ*wLemd95OYUWFD9XRzs%*d7l4r&bxGXm>HxCHB&E!d%HXuzm#FgnM!ddj zvO0d^HusRTm$hf4YR+`~xcKH+qbz z5i!1R*Vv_O^XW!xjSDZ#idpoypL)cLOlyFMDaedPMQ>UPTX}U>;qKX6rKub;SgvGt zr8x3#j29}(zqr$gzB9Q>liETiwHbn$>XSfj#7S+Ku$@Qu{>4rAfbQ(xX!13BvTD%; zlr~g5)8~1nq@GlL9-^8kcZID)U=0EP>zJD6#WJ4iAs&EPuAFbQ8&LcU*Y038;&1T#?6%2=%K8?fuY3Jy^)2ptWy5j~UP6KP zTy;Y$x2d*sT^C_-#1Xsw(sbwFZWroG{rp_>+8Ujw)5gL#Kj%my>@$;XeQkxWjZ6~U ztC?x3j2ea0!W}XtA;fcBBDr4uVFx?h(+GgY-QDb^Fnu!wqe&6yy=*D$Qa>I=4@*fg zYePTPg+49FZt;?RxhbW!451@DRFRXRDs{atvLY^vrakWCa^Eer+>{${5@ufj~dboGt&M%GTwsv%_d`m9*yTwVjGc?uTrPQzyW=C`cdZC+jQV5T+|&^Pd+&o%B)oB0Tb5Y1$>cm?%C$7xbOv7bhrNUTPSZJ*0^gT4;J zb`;!81;T`4Kk~%aJQH2)`mk=Fv$3oD3(!KAnA)@;6(Fh>MXpD55*JvP6?i+swcnGQ z%r>-jhdK;rB~8T6pVDCY?f5g652**>I$ll-A$qSUaWO8db)a|P!O)|%mVeV+33)rtaS(#Q*q^owrotnfY-T?Vis=U#7gkN1t=JROA~Rxs#=K zOEKr26&$3kRvwUm%v)o5PA)WU9sd>F3a^jlkQJ*h?}9o%04LI^;ThmvzL4%~??o8< z^q%j)it(%`Z)@5BTkpn=GmHuCHT_0hMHC8L()e_9McEwgJ=o-x<;``Lq3?rx&nvvU zj0TtQMehO+3lmBMTcT&*d&VjLdWjb_kfSrlA=k*_QV{D$W^R~yw97f)c(cxIX|e+L zyNh^eOi`}#ie?C<5Jc_q$0oib&WH_i@_Lg%f;Y8an7~5VN+eBJ$n*j%+R;ha#e$co z7YEl@Hf58fDfzqlZB+{Sam2acK6b@X3V9Qvu6;N1E7Y%a((7<%AmdUP>9`Q7EF+{u zByLP5Q~dIYAR10~3)?&T+C$&vU)E>pRWD4#YOGsdUsRMQ?4;1ue@}uh!RkQzy@3A^ zp=VZ~e$%_5aic$8ain93bW@MHQT)KX%E8we-1FTh9g;ZRhBivdfajx(^prX&ln)3M zUS7r{@LIumwdPu`CfI_eE%Ru{Q(93@xstEoRQTy=2&c_Fp55^D^MZBCUflPW@9A9`D6Xl`@>cD!2jtKz0U5Y~I^^Xvw86lz*R;)%lxTZ8#&7a}6i&(2~(<&XhG>GroRclCGoa1I=X~n`Xi(QfK zM%2l0k+k4`^4A!vkuQ|v07(E6hwBmFX&g-kev7yWBeqi0?ms5tXKT8AIskL1_IHi{ zu*NrstCp2#sATV@rw29~+Fa!nLbj}FTV(q%6i|NLanor3=zJ>l>(5~H+|lRLVOk>d z7$pWoUo@$nW&``ZMw9g7T{5py+jo4Kjf+Qk+q`(;28lcpt2|!IoLSa8yGnN z*#2seF)}pM6Si>$Xs|*XKwKbZb}%OZ!okK2;nG5da`+%3q{WyYyghufzL${0Q7ee0^s~tk)0C&{!@facz<*D{Y+Qh6g0O;^p?mm~vay4~%n-o8 zG6)+RGaKNq6uQ^v{Q@{SIhn!#j}!uA1^jRH*ZjY^{hf3ES?RA74B-N>u>v^(9AI{4 zb^r%-Q7$fM6A;SvzZW1tsDvDl=fMClC-~n4fdIfzVq;_FfF@8~J~Lut1wAwWcLMyg z7E}pP7Jo*8K+oD>V`XIpuyJs3Fhh6!-&+19*dOsg?9U4OpHdEJD|G2Uoc{mGzgYe= z1OL(dKh?_tVg>w@{u=S@cx(_Z_P-K#AO|PlPr?BPLzMsqfS?ZfOq?7Xe+bM9RmwAQ zLe2d@5GPdKAm~c}+VXRW3%YrBAhg5|ftG;m&=L>~Epf0xOB|fg5{MOAg3kJL2B5uA zML!b<+p}~0EB(uQ|2^g40&qa-c_05&BoO$=W&fxI^hXzer5tQfA9yAXC}$}BhpPYK z=KtaHY^(rID1o6;J`>ajIGCSp@h5{G5UsyY4Rp}Ijtx5)>M-okc|g#g{CRWF^?%ay z;D6Tt=N1?rWkFnQ08Vyx z!1KWZazP22gTPRNZibx=>P4JvP#Zs63z|cq+K2K5vVoun33{DCJqpMMC8#W*XE~t! zxu90!WP=_C=o%m>zdv(Xq5Pp9288nX)Awu@2=q`v`EzhW{=LJ$V-6b6c6+8jzV_^3 zU=9E~RB{ez`I-JopXK~(90%mD7Ix@vp4wZsBBwj)(R??}Y<;Lj#}hm}mK+cPtnxD+lDc47DueAHMti zko)`T_g6HD?V0J{p(W@UfZqFm*Pw3jcMvm{a^`H{LII~87`shHrv)Qt!Ul-(qsB_&mvG?34Sb;B zM$i1f8?GSU+n>TNNEx@qPQ@;y)ixS}Fg*ef!$Bfgyk~B@qwfSW5ImC9cKSxajf7*^ zPZ-uT^80K5d}5)ONxN#}{e6zC)$J7-{-s-NbBX=wU0vbMsn~a)rit40aXS}*+;Tt8)MtBgwR*|N} zpiF90B0+QCD= zy@Q{|uqO>H;FlJRh51a8aFn+XkY1dJu_@czC{Akp3L$g&aP#_;7GcUyYHnixLKra- zTmU;!C*XyR4zCnEvKTy8IV~qlm77cfnct4IHu7?helQFkH+3rULr z_1aONxh7($yDuYVx|)P&w=P~B@$|2~rj7bJIwQ!6^9eSFh)f1Avv82%y_6K+x(8EO z*K&NHW~7Z5veT6AkqKp8ZHx z3?KicJEs7#1vaUiiJ3X!4Q&8}u+G~bZfL(~(uic6f?yf_f9;*$u&5~WId755T2nQ# zYtS;jUeKAG%e%yYEsKrBDWfy9$OlWg@ zNRp@sTX;#wR15^zlIGo6Yw&i#qx<)PqP(*jolA41q02!%S&86Xtg~< zj;6F4ZM5~!Wi_tN!q8#iH9KjO4ALGuio5qioNH~<7kD@=uc=}Mp1?8YFzJ=D2geAx zZ7$~|G@g|=jzdn5L`y!B2(5}woi@a24DB!dJXAe-LsW@4kGjg$%~{l}t3!Myxm_*A zVx3v(2;xFglyPEx_P?sCD>m6@ZciWM)W^olA>T1h%)~micQ7Hj^HV5oE3SBN`)QY6 zt5Qu}y4e=kZ(T0>3}C(7EJPQP-0Bw#UreO?#Q;$=+YiBD&2P z9B%o0`viFBN5w?3deIrdP>Acc04qv}rbT&`u)O<2RlX7Pij*_evVL~*d}8bnO$vh- z;>Oc8%JLDi@#~95v~abuG*g))*jtF9F>dL7TQNKp;cL2jQY}E+X6rtdBKI&0Ln#*) zbD@rn5q|N61?hEYgNWztV^{s;etYPr9nu3UB!kAZOA>s^;!u?x^vlU+vLiC&@Vziw z$)}lx)WqImbP&kX@#G_m ztlQ@fOclEmOX|%Po7*Sf9jh~{q`OnP`6=Obn28zkYoun_3J(*%J}fnkPTr#Q8t2={ zYYZ7t(~q&8v$BJ5M#3(^OO8l;XoOqEF-ID2Dg0+GXELhE-?&%Fgj}PZ^(q?dX!nsvqtGMWjiILf)~WzKs1?wICQ)wrFJQ+0KIpl{QizLGQuG&$>z#A zj(4UeLykX=HH_@6Y}Ohez9@nzt%&}>6$XEgvD7J51U763OP<{I2%_i#DES9i+v*G)ypDyovno$-CBSIM_ z$azSdd4(7|ZHudI#MWc>g@XI40OrzxQD01FKF@rnBcwAGDcaGn@^Le34@8xn;zUwL zsA5MUdD|x*e$MN7cTW8voIxOV=Ub}ir+S0Ls^1tO)+25ZZUssE`ahDAq z&mCtNVg0&eq%be}>U-bH2VyoE$|CiM+n-;D9Gc9ZS6`)44JM{9*d%&O1s}mah!EL5 z0ePoVvESAXL)7_BafN;=OFYT8*7sO@{Emx`^AR5Am2+4}?Y~Eom(hRy-(w9>!2ECg z^H;FpIR+qVF~b$im+c5sDqzA&|do|HO_^=*aee#g35*UJ#`l@++17&gNVtb(S|r zV}^@t`pxlVNh*s*Jq81*#36P=5a72_!}!304?iap5{1Ky-!U|p$80Ye;a1VgI7xn# zwySMO)-cCh@N(b1?C}~pyB|7x@Z?|Gx_j_!)tQSFqHwig#zC?c*JVqu3lc>7L4|_{ zC(j$l6x9=wL)%3Ghb;)uCH3>K{(kXJ=m(LouD}nX&Q7`)FDmrf5C9Eh^c>uNs4>Vd z-sYj1ycf0Pr=`$`@q@uC{3Jjci)>2~MHC8ugB9VR&DihjhAf!V)KibM@>&x$G`vFC z_ovS%9ym2KW;iqjSmxfJTt}jvSV%8OJ+bxPqModEeah`~-OsW_y#FaI1bHcXlVNO? zi2Q|S>*O6DkPu}=Z7w~59X+ZZ#9-EMPNUy9$TpYJZ5SNS~m)HHqH84UcfXK z<4YNQf0&hkPq|;ODZ0@!WAH)|k*A%o5~D14?&$Qrj7j~Xz zp1ZH(TS)n6$>jnk_;Oqq0F(n6Ee~MA#cYoT= z96j?zopLYzk?e?@?=k5z)BPKYOt961Z?M=X>Q+(G`NS;!DlZkiZkxG#-W3R#S*=X$ zppHFaY_#{iv8G|j#!|6rv5a&IeDSM{upS9B%)B>iATVn)C9yl^o^NOKea05Y@0%5` z;GRf~_G#3^A1=7eFD`Dgb*Q?$gI5l2b06SR;>JEL07@v;eR($Z~!oz4-i5gUJhx9My26#lfY;@~r!Y~W{sqcb(pZEX)k9yQ;Q z9#rE`u&o@o{?vGbOwSws)Lf`spOcmM0AooRt@_n*u*WF{Plmv_8*hlNIX3>7h9+YQ z8mZ!UO*T5crVBa3$>?7i`x1j%xRIB$WZoi)ZdaDHYUSFm56Lk;`Z(&WWA~3~OqBB$ z+;OfNpud^7Dp4i0wtmo`y;Y5SKu2+K$@+FBDKeG-~s3G+i6QZ` zmg~yUat}9?edw7@9jfHy#8us|evNCtatE(7B~s-((D3|1k~KBfzr(Ci*#69}Qh7Dm zBYrHd(zO2&n|9XQUMa(dmI8gd+}XF%oeX+?81jbrYa}6CYw*Fx#Y0u4YJw)oiv|Pc zTkKs3(Gby>S`Tt17l{+T^v*G!hmSjWd}3WQRxQB{One_zIT^?%0$!!+rybCynP{5b zywzGOFXH4cK8cQ>QQjrl-N5Knc?`PcW(%2`)dZ=fe4OWd>1-l4OI?Q2V)#K1A=rq; zv=`~}7_XiHPCTBapo(Z>M_GNlp%A`Sj3ZDs+B#U4wBg+0*A%MvB_2yPpG8ZlnABl8 z>C`5$sxWG)r8tjV%ezEf)ec|o>2Sx;QUmFuciBomhB;aF=>}4gF{YZFO!2U33sxR| z1|HwOQ)3O4MU;|LSsw%P5>DjX_d#_MFXQe^A{pJzoenn&#Ozycr+NBz%m&!=TzOSJty@lC|1z6SZaAFmRl6K6!U0tE z83!4<)Vu@bHqY$V`ho>Yzr3O?-QMTQu#*82Y#QAgbvP$4Y}S1IrpKzqVELUg$)F#4X+1ZDVXDn}Y`H)SSL4f68fvq!SDRtt^K zr|~bM`@{PgYUQ}hb2riku|o~7Cmb6Sl5GRgW2#^A6mI%~(wmaWv`o z9N&W!nTNRN{L~?MRG(Mj8N#Sw!4ZS~!Ja-y$>zRr{{!rK{&ewo*ysNRdsG!vg;Z4k z6ZR;&S?SwYI{Yu7hXcU$jCr6D)93I%_}`cZ8p``$Ko1l({1fpov4Q@^JRm59_#5*4 z2jDTXbJDY9u{E+cvoU-IPDb`dhAg(0P7eQpTK;^m`6p_5{{Hj#*8dB&fc`7S1w}0! zU?&by0GG(K0Wi& zX{k^0sG0XH7fMff92}Lk)h92$eoby??VV{cG8S0#Aim;5^H@H9-Fkv<#bm|% zG(7Os_W}GM=kdgXLal{v#TbcjFkmGO8}a1FnAXL}CoO}=s1?BkV;syml=sxGd>}2I zX32OUjlZA9^aMhJ;ieVqe!^C)tl;?Z1L)+8Sn=@2(A?xy0QBTw{iHIGNkN^J`Bvsk z0P%2%deq0cr*mwGG;?3y)I@*V@U+#>Cj=jz=|EG7m+Y~2+lS_%cKF=qx+<7iHh~<* zs@q4VO`y{!{pp9}(`ybClo=1#akff3nC-7m*u&>6p911Wubw(MoSp31zdPJqH9d^a z`rH{OJnd%`7KRkE4cvw|v$=#SyQ>6Ckr^-cehGEXsJxCg;2oHD!KnRKs^Al!dRQ|5 z#szNF%9$qhJnJzP4Q}G=DF#gK6@gnw?=)_u`)rdSzUj$iH0d{|t<`|I@630(rEeHM zCZj#g-g% zPy=I+%`Dozd-$U(6-8wa`aC70(vehtcnbp zNLTs>)yQ{$#yLF-(|ibgXx>CWJs%7Coz9t3awAqE$&p%Uk1D1-^W#l99i?*}G7};Y zujDHaRwlv-rUikrM|LFH%h#N@oV^hziwbuXmY>^R51Dr!AZyD?0Vdbr6s~CKPX6J$QFXC0LiBw}QXfHD|o$!lX|Tek`bQ_m`EcR%EGbx4^~X{Hn?4pD!IW z$B549lp~!HAe}=cSic+(1X3|Dct|i_HXXFbnG>tP31O(ZDt(icu=I|1&0#N8p`|3(O0Q>FKX6s@SA0# zJ^eDs`GYGBgg;b?HG|=`CcnGe-AamC1;Kq;b|pg8*KQEKhj1A1-fx zxyJWhLj6NML|O*#v9zQfY2OJwJ~b1E8YU>n3^zsiO=2Ght$_9tS+c~-+32Y z`s52feK8tC=W|(G!wjsLTr#XIY!f?#L(VnLkHpFgHLi{v z4ki2<1r8s0xo6d!Yq*B`?GclRR8V)cSxQ$2*3Le^d0$q<2S4##Nr7Xb3%Jqr(-5jp zxs3*ZEMrMku3cOZ-s@LrQwA_i5W+}apwjVF#D=SXlj>`!f{6|gfn4zp9WpXm_Y4iT zc5R(_jLf!C>m}P`uSm6-?WjMwUGA?AX_kPJ#tg!;;xQ-?@<% zR4x&!bd|nFf~OM-5RS>`QXtKJ*G5~`QS91bzmJoee+{G5@(&R7*RR{dOKn>smVu%D zAK(^EPKK`2724;=Qyy9G@yC(c-zlKm3;pyb64hjvG<>(wVi=oa`*{#qge=`@jp9=t4|)r}YiQYcj^j91aTdnmsd~W1 zjp1TI5&P=~r58^|>v$>9!7}Vk+TBlyMb+uSZhk}LFJbMW_kMEF*G3eAkXINmbNNw% z7PsIorNHwqS{PKeCEf#q@X`A1)!BJk-)xmp2Bf*Yacr?`zQqb;9MyP+f_@j?DQCzI z<+88EX2oE{WT@K$fgv>avA75d`)`B@Y0bzJ#AmFG>%Bj*RBVKB11ol^<-U;SkQ^jq2KAoja(-e25hW0Rw{~Yj42z95j`FpbljmK2 z8<}r9_kK>*D6t9OkLu7_Yt7{In}xLsXN!+FGmMxbHw=*SP%SSM-QTDz>Z=4M4Y4~A zt^-e3XTM)dU;G4iiep4f_M2#MpsaDF+kN-t=Q^8H3BGHIfF+R;!(@n8eV z?rMB%V|`u}BVJ-ZAMVa{8}LxDvm~t{nIQN>Ybo^YIEl))p7Y7qG^IQ9(L>wCbj?S1 zNh8`?#Y-9Nm$jdm`8sBZRB_8I3d?>Ejb>6UKipk)-`-0FVPuq+z1lBKqRVaVLMOTY z5M+9;jWx%akW(cwQ*2I``?cxgM>~7kgyUugl_{b@MwK~XEl*bVPPZOCN4}^%mW3;Spyr>g4Nvjm01&lj-{8? zFJRaFAu26g@~&`0@9PrEMuw(vac^q!k4xf8*wK+u1IgN2qw`W4DHC!|I)BHhe)Q@m z#hkQhEhdrNwWT0JL^q*PZbFt#G{f0umsc*S+!Y2>0;JqVobACgv| zhS@SuuFAhSF7~=Kmk$b-mTaa;^m`LN7ooT&+3$$bA4FTXRR=2KSYcW|w+|`Xu^V=k zTEIK1@L#`httnUR9ST%8*0;6Y@|2LWi^?QUbf#bE&O|c{4v5`EI3h&iQsZCvNvusY!o!wicCM0xtsldhHjNw3Ats9QMk8PMayVN23Vt| zBOCS(F&K^0A_8%hfNV##NXrPWIkI<>u%uUUX00DMN-cl3x>y55ausZm64bLEu-GpwYgmj(2VKLC2D^iDfqgNw~eH89vI z*Ll}M6W`jbt(~#8zQlEW@D^Zu-y4|eVetWv3$_p(Q9)n#y&ufyr}pbk3eloWyK{zz z2BvHuks(;-?0p8-x#h}F6$kg!o6G9D2(j`Y$jv3SVnG8#ET>?#*u|xh8LE?40b?Zn z4Ufw`EdFcHij{dOmj)NRE^*oS;kmQKU@uy-#@$X+U8XX(3nbQ6icdw=C$(~3-*{?sjHVs~eEYP*Q zm)~4$>VSY{_(;gRlJlE>*T&Pfe2BtNCk?9#kl2P<@O1f(DWbIF3HlbfL58sTo>A4I zGGRv~eay29IeYiWz$gH|=624?kS?3LYU~PVdk5G5OFD@eL$LZE)9@JqAYXZ_#XVmS&n8 zewioH0}Hd`d&4Vz^68Pq=$W&D{80JLOfl$xtD^ z(I~^iljd8$FLhl-e-#UfW4gyaw`-6o(Zw01Z5(oPwTp8v98V`I@J{OSM`1Qr>j2^# z5@}?y1Jr5N+iwk`ZldKvGCgZM%0#)heRc{SUdW!|#37&=q@4$MqcB@Bl{Ty941KhY zo5`y5)US}_N*uo>i%hZpbbr=ee z&_cgd-q<4A@4=Lck?}$Cs`VR6jZA2@Gq0f^HhV?)x# z7fTUGwI_X4TIVplk*Kw3)t#ZN1v}n)8W<46aXBF?tXHTPh?A!$QG|^bbd0CS6XOG+ zfoM%XLJhFCS;vjXT9z5SB=|x>-Qy2y-Vmp4@sOuNCq+4Uk8Upi58u$Czw+q!(Ai1QW$xaBvEZTFt0^AP zo5T}FR7AL-Tx`1dy+g=^T0sabDTV~Ed%b_WKch6?_W!9{=B_c{_#xM{RTr)#3IC#} zB;3aHDv1J-;U!j#Y>)k$xsSLI;{{3)vH$~!;%&M_mN1@SvveA-LOJX5ao>!*^6x`= z(#9Xc@hO0q+AK+X`<2BjkU73%XT&86agr)mmzlMyKvNNQfPOwY*m9(KM>zjgqaTCi zaeDdr)z_V#O1h^WQ3016#~-<=Qm^rs#`4Q|KmWiPfcF5Ms|r;Z^=c4QV>q`2S>}ZH zC%FkKZ(lAPRUIpfVl~{9l;|9I_j%V*QOjMuvslk!6qrSNny&~*nfbte*{$QS+Vhpr zrM~MM2L7b9iA}QYn|bJc4t{hl77%01RYdB*@)rrNaO?{A8?>db#f=+ ze%Z5#O#eKNinR|m9oJQU8F6=z z@jke+ygKS}19X>3$n*fCj9KrQuEeHcWoghYwjFe2j-MPyBvWpS`K@zLoak0%a*H9R z-f|a<%n_aQbsox;mSn)9k)OQ2lV}MbU*#ZIUyflrFHR~G#WehNqWIAsx@E)9TzI2? z$2eSN^rqr+psjI_YWq;kD_A*I6tH{67Ij-Mp=jRuFu6&(tVXN5K1MgV#i=44ZpOo- zoQMAD1tk@)?`YVA|Hb?p{|bT=$rZvby~DPEjhXxFtwzMz2*1)C$&biHH%6oE{QKm_ z7M?V&_uoE8CY_Xxd=ADJt6S_i&HZK>#3|z!wsGk6p%7=RaXYj@oM6)519O6JbAe*O z9o_qt{B`$_D~5`|iOS`cy#q{@61l zx^84T$J1D2##2J}@j$AH$&<|HJjUwM&PtA}uhP6s`m+WVjE7h}m8pYc-c~nbsajn) zwSCfptnhq7@YjfUvtGqsS{LL%nryi!H+mTt59^NVbl`2VYFhW4Z=^P`mwS=NKVYlR zIN}Ni)w2%7C{IuWsQNHRu55sd*SCg=&8rgQ6)sK zv_w!PzO+4$TXrX5d`-48`#?K{{~IMp9==5RTu}qz$#8Wc$`2&dO^);8c;8yYyp6v9 zLs9D5oO|q`P?BF!;7a?cQ1qZ}<>7@woh*W9v9GflcP(pnV;<@tY9HGkY5-rbAVX&m z^4rjZZXr>HczAU7(gg)ixp{CS8bg}+7c!Q7DLRggTV;ECQhkeaMY;9yU}cV-`!Uo_4BoT=H?4j zP(3#MVqetO)}<8h9tz`BX%kNZO7fB)@x;RykwlM znqql+veAvORrC6^oymy0GL3=O+)1|kI|naO{^j(Q!6TZhwWxC+e$CnynE@|bu=nb5 z@^!-MS$U~G+;_O8lCS7y!{3#QW#*VkKqc1aG|inikD+j-(!`t(Up`*gcZFSY2K0^} zcjCG5ui}LS-;4*U<@H%0VUl9)UTvoNStq6`k#4-8`)%w03Hfkhw#{oUT(h(JAV|6K zB0q=-vUA6Ge72m4*texT?1NT&+jA{LSQs3ncI;nOByZ6ym@vN_$MJKtVqJz~-U8T9%(MXX$~Bg&3zweEYW ziS%s`!_iI}sCuKu*Cb{@Cn~1CjAhvGR4ymw*OrQw$Lw?)n`^{fY#`!e47 z(rXOCB~&;ShirS7dELd4C=GQdx+B>Mw^3n`jFYbr@mz#q&Y^OVtQNIz(0k$w(NP0x zeUt@jdV0{nWrLUWMlyD!smYpSISNI-Zdl_D7U#&7ZUipQq7IW6WHl1s)zJO#9?KaP z{Ef&ytWJq>AD!{inBBGT1e|y{@8MQNMk@G#b>F- zoCiu)A&m}L(W>uZm^fh*VV`;;C+Q4S;gkW9Lg&Z4G(@H-AHdZN`EMRhw|0nb+1xb4$8YA;<%ON%`&N9 z{Yq2SaPg1?MQ)xbg0X?tK78i>S1smi@G;R04*dWoiywXsKJ(tklbiLO?jtW7KIaq8 z%d-u57KmDA!oNZY^cQwaTjtz1C|FZnYxI<<{loJXT%}eqfg9(0i+fcx8AgE3PW6 zrYr+MI)EHwCgknq=FmAuK9oF7*{l15F83~@X7yb8$>ijI&`(%w2oO@$bZ{WAl9fBu z{kzxQYILtjf$#0@p=E)r>@RZo>P-y8<5>sIxAm(xNMJr!HacAJ*BccB!q4azID$(A zN1Ap&1s}piS*jIBHKXMX)a7K*2R}BcP&K+bk$fy;VkT}T?UW@9?)p)ie}6O8m_Lw< zl_u9C33I3C)4z(SUE(SAcH-<)Y%rTuPKBnfwFUA>{dZlq2(RqlUq2O5yOVN zMEJ3ps#4jcSFscCTQ7D3 zM`DHEF0$Q!fOu;w_kUkw26Ylfd%#cUClwe3e_We^`QWVXJw6F|p}1&lzQ(O!`X+x5 z`4v#alG})3wxTFc8`d67H0{H$G2`nT@+I8v(VY_#xM%F6A}fNTZZ#Fy^^QFfS*C-1 zWnkFYYjk^ldw=z%L4-0V`JHM*LY1AVlc|;IIi`?y5{7#8eb;3dmcz@MV^&*#=KWb% z4_!92vbG|oVJ-qfep&PCg#vglbr%0$C?R|$8Z6cTbx6C0B1^>7?+zVPWLwk0jZlnz z*r4|+=r0Y`Bh7wB(Deyzb#q_t8245mo5Z|##bPqe*tytSH7+sN_(|4m?VL()J=aXn z59c?Y$LNh3=XE$g!W?(2>+vpo|H@a~$lruQcrbqYGknPYEm_(~Q=WiG7I&U9|5wty z;E@^fCPv`zLQLqJv=`lP^q$0Vr=;|brw(>s+BhPz_*jxwi}f){#Qj z*;H}X%%@=6lA8mwftNBLK zcRQ|!ukrI3i9MUyFKK(RG+Vy*tv5eL?D8MaF;l6*;*V5PtZCX9&JsoBWQkK17!U+4 zs5_aEF8_kz%_6@o2@7C%GZUP$kA^X_K@8&LF%QPQpyyqGgHW5lFDZ+uK`4<}LQvjM zf{B`epg=$%xNi3_zOJWbCQT9i4o#Gv z6FPx<(4p^`F!qMA8C|rw9|tXtyX#dzeiFZSwZiNT!c&_lIWGwj$_XxiYvZwHAOP#YqAle7P;xNn*GzGzhUZt%= zy_(dV1T8$q+trt=y}%e$78%MHzmn9uiBsS7O1@F4lqwVtd@)*=O0$#ueisZ&ICa++ z+fGxCi{xEZ^OkB73B*~Dp8YV&&*U8uU%>X!seMX2foboTBVPD;8_eBOO%}0(0}*-k zfniF)bPIh=CNJ0S<5s1Su&4S9Mw@3*-SDYcNa^okxJuk;M3|rtu#bRu)*-=Se&t5nPLkjMfvcgT+5`| z+Y@~ROv!JdH1!g8g`HV_$I}j&61DBc8PpmhguU!q5w9#9Tjobt2s`gT4m6j;u)CM6 zdmET?b)ffBMjeQMLosmBf6<$5KspWl%=3tf)FQ>=KKoW7xS^Q(g!h5!{#Ts+!i3Al zEr%>S*8RdB?n_vp{g;X6g$K3PZBf2PFqOO$wpVw(Ny3-TY?4M}GKuew+1S&4AFtHi zH7KT4tv{{d`ky5LWzmo7hw!pcE3xjGnSK+CTphc*S3D@u{A~Uvd}3)FWW7~{JBS$V zh>RC0a5r*Ss_L(FTX#eoat^^G<0BU%oF(*`;r4DlDLMm@vL7m#V)a&hZf6W>Qas@q z*j62hzv#gnhQuihND|pu=5r`(UXKx$8>T2iBC@DR|oK;sXw`{%UB|e@`IFpt*~nn!nyN@w<@JhDy(ghKqxVa+R+6AB zPk9M>eJBnSQ`@QfC5YL6jreP4wvL^@QTFEu>?; z1g?tEZTa;ELAx>wrz&CyozQ|4RJ+aLSW==V`dESDD8I**vU2TuMZee6>{@x>?%=xx zYcp-Z&bBO`oz6Q*v<9CE`*Y)qnY)6OGe(E4Rtp64gnXYs^0U8u_gQl+kS~!0EPZ?Y>V`E!@o8uf8 zia%MWLnyeQp>)Tvhfml;DCVriMf^s|-uNt^aNTY{$6Qa}4>>bb0#oSx?@IAj-+BbH z4n9}Q=%V!WkJ>Lxrb!G#IcC=D^m?>sVrBB9g{EBW&Mzb*@Pxz@Zf$HNte`)N6wz4X z#zbI{k_&z}P4dcccSr6nw_-IkOXg6!5m~uSk)}Q?;~@EWfu--Gf@x^?{3wxmNv_+L zu0wbgx$wW=sCUeEtQ(pHB!=)e_0)LI9HR6x^B11Kwz3oz`ncwO5D?Ym+Qe0-EAoQV z>YWPp#&wcX8FC8Ewh0S0H5xFnSw@UM2M{y?C>s-EW7jNGer_Q-nE|Zt#NgUu)*e)z3T-~rM2|z2QHWZ zZECMQC97XyG~BG?3t5bVt^*-PxEJpYYa~d#d(e+1np;gfF09-iAbU+QJ+=HZjFcoj z=E?@{>D+)c}=brIZ}QIq0-I9@F-v67bVAbNp} z1%6Efx5v>Lk$4i5M-6k#{Px&|VyoY;6x5j6g(x=(Z;PS>aM52R=^$*t7C5QKhgXhjowmr!0 zCUOI98f0aNu~Hi?P9$!mT3k_TzA(5t3-X5)q|P0b9NLM~bz$+lPp~K5W)e_n&)8_G z!A4b`ZBC&S%jVOZE^^-`_nMWvFi^DNfZ6LniF$ud|7Lh~X`a>M-3H9kvq`qV6@ME#K}e!hnh2=!Ql_ICn8*r9UA?9Y6~$}Zd+rV+AI(L`y?KUVLxjAsYXjp zHmp4}#dajQ1^#g7gf^k1E*egCw3Y=#zrvX8p3ssfEQtNlWjF5WTd>ANtum7sypN0V z>7Nb|_croo(U!Uzxo#~W3oyrwdQ^TQl8=s)W4LP+-+J2!hh5V)uBu=U=~CB~>qy5cbTr4Vh8R`v?4CkUbc>D|+F^_!RsCh< zXgMt%bP&JXY^T7{JSdw5nb>7Cgs(fH>Ry;^y|Pkkp#el4Oz z^%3X|K{dN}EOXz;wO@YWDR0n%&Ho~>-+_tWGCzImWnh){p_c2^PIWB1I{+rMyKSGk z%{{>nXcgOu>>CzsB%`j_wi@u1RVlkhJWwE>l2X8 z8vV@+I=*o4yJVJnNS7=~F~y0udt-=smE^8piZbD?e7z=+pOC~UF`qWax zduhiiqWsvM!A*dXXr9j1sGFoZuar zQM1bxu&e#(f$Ss#C)-#YtrfqgC3O8!5D*@K@ACjt-(*J&nVbr@g%=_Xgz1VB;%b+_ z6q&=)<&-+mX~zl5vY}6RbSKX8vJY4=Osu=VLpb28Dd=@5^-h9QZkEsW^TIbiSg9#o zrcmBQS9myQOTGw!#z^Kj=x;y~#hvLupP#KGvu@39yjSO?u$Nrt_5<)MjyZ z%c#+Y?XO|f%&31=d-ZPjh;TA#^}SSmMD8}J-5~X#J7cJ{bS6JN&;>{0Ax&4_oyU4X z2yE_4X;|S@Toa`zT6}Y7tR)?k*pVP39*@sFGf3{hTO6&DNlyDjGsz~0(Gf1qc(Oe4 zBVb;b8+Cu$({I6A_m1YsCn!Mb>1ymb1|5O*eI>(x*zp?vX6+m4t-C1CuBRsvO2dyY z`d<5M1*&Gu(^uAGSU2E?uF48E8$CwB|LLn4TJFleXM-^$z9}UhAD2Pl>UMQS=dSNP zbG{+z*5zB-*HRNk>BRmrP_X5-M(0?qLQAt*pLCkhHWi>3@BhhEeMX_l2br?prNd+a zHF$B44?*dESDA>2MnmhTuyxa5xo7Mfd~zOZ^zH-U6uw$AH|1bJ$2(r7=oOib*GuHS ztYT&*>!7Gf{rk++X);gJrbp3EZ1#cJL1?asY-n3p0cQIMzCK`qYwUssuq0A2(DCCa zpwCw|XgZQ({GnYq2a7uKQcli=-k%xDZhOo&3hhY4_IGd74g7%(@)9-07%IP*IO1TFUkr*R=>N^0_Au`FkX**XlnsNx}a0e^q7 z2a8W#FWZuY7zN)TxrwSWwawHCt>MDz;A7M=SJTARTLVE~J4EVpZ-P508hJNi&5GR$i*3 z-kDrO#Rbe#QN^@C{!*!#>x;vTCdNw3@QypV*I3U>S4!S|hirQBeN@9fh2+=@@YIczRvXcVES-Ak9h{pBZh+CxQiY1t`|W8O8eLf zUhvkGLd&0^#*;6UZA&Hz=DiA^q6C85zruI~F$7$w-3H@i?a^x)N-&WKz*w{JT|c7G zEntGDi%3^3b;ro?ZB{aZRTevw>$JkoS?>pa%L(g%WcU8VQQb0!3~>~s$Jf`@t|4Q% zd@~KzN$Lnu-ga4GXnlux00DdKC+2)cQ~hf7xIVi)I=>nMavi}5=~G9!m`Qug-aR#ySLW_9e8@{}2Rd29vPF}|SJ+>Ak8boCMOZ%68 zueOQs$K3Zyn3z#?@@GkLx7+$F%Sn;sLhCLOOwH#Mm0W~JwipjRW zvIcK>)Os&YzF+zY$t$+9M{HD>W{S!667%0C*htrOWI1bz!C6YC%j})KaBrGK+_;eP z2Cn7B(N$}mXV>gu7>T>Ob6%ko6&kYqC+DIU&KC`*UzQA!GnuWHqkln!fstCssqL}y zu0hc9P~(d>7gh7X2VINTT8`2W)^Ve0IqYmJH6coMrwe`en=}Z#X_qJl5 zeU%aGumcj_bj;(;h~xQI%eBgkT;AjDXu2%~XO8^$RJq6=c*lM)tq@op{#ZJ#>ds-1 z&gjV$L0MrhJ6G*nNvvDd;X5Jt5l+*EX(NIQq70c@S`Or!FU1gAReQ*Y8E{oVJj+8% za{L>s)3WLdg_agYn|pOJT<%Pbpo25MGSDuh>wiB!Exj$|Nr}G|ec9}8s44hb1AN(D zX8t7G`e>A8L1;|IAMBx6p*_-}`>TUra7L8z2@fsrv7I~8WP^fdN1+I>kOEkTjuqPR z#ROfa4I0}<_hP1CmanhJE2|nr)kzwL_ohMR#CXdI^QHe{Otal@eJs|v3%ZZjzvH)s zuYE{h`?pHTFdip&!gjhE_4uKBT!d7z4OQphF%0tXQ@Xb)H|egD+0$zKUnDq&Z@xy6 zii~8)m@uI>dFjLQFunuDTV~%HFTz?^l`_+2 zhseMpq#TxpCx{GEiJhh6#Cnlh3mG`2zu3NXh4Qz{)6MtW)8}tYZrRm&_Btu$teypn z`d{_6fwwX;<)26A;#>)mmJgd2`0#Nb?aYDPdTWo?aiBTFJI83rMTb0*uA2{v$6JIr zK1kUo=Zy={(le8i58a(&lOq!sr6~7DHWpc1oThk}b|tTb%@oqw?;*u}lX){~zT+{* zp&5-c@7BSL%K>E^LK?8G@e2!swOgt!`ouO}{*6fUak)G_XG5xl9P~#EX&bT_G}pwV z_{Cp)r|^v@R8B6#f(0<=p}&rJdFh7xQ6MePKtB{hWW@UE3g$+>YJfwFtBepmo{sQ; z2QGDW=U`beV~-wClA)CtvG(&`4^GxW$~xWLhn&~mc7qNYX_Kqu@-ASLc*@_yqU=gkQjiT5tUUAdE`z0I zg$2qCXp}NMn}J;*W~mO{PI3j)(XAEin`u+P4gV|L3I^TiiXfq#T0L58yQ<|R)9iWo zzJ>O&5<;US(wQM!IdP7O?UjvT5tgbSwXJy>48avE=tgk zhZK%niEG@aDl=zyFa^0VreNx`yZiRr^d^>&icPnViJ+XCNhMN~YDC{3?oi=DpEDy| zL>qd>3k@Zu<1N0gIG5O5%pS_9{&J>8mHGn)OL2fch+P!I)d{vE&PP-h{1<~(TEO(C zizoQ#WJv9=!QU19_*2kuSFH}`J6DJeMqR4S2?uL!LqzrAbeLqhLFRtn*5(NJ$)dpst21p{QDHK8 zg%m3fAIF7mh&TmUv?M{1f5)=!4<*(Ge5_AsCGWMeD%05vHhd185a5@3a;5f^__+-~ zeFtat1N&x0dz1e3Ca-^S;2EeO>>YieQD&8*Ky5_baWg%|jxhRELV)YZ6ZjEGo{WLT z6oPbmb<08k6+wKS@6; zVuGeBE$w`B*In-#ig6}mmp~Ng357Ak)xX?~At$Wur~vjGyd)WMS}vQE5zl{i$^w7T z?4Pg*{pcF5V?O(E^TPI>3ot<^x?XRcTfsYE*mMww? zzCSTJM{3Z;E3b$`2yBKl4n@osc8&v+RllRTSY*%Ki;Q)JT~dovbOYbY`!7&Q$F_*& z<9Z>;M5Y1gJ|U;h{Cc8-59gc+5V46VFLYsh?FmEML6vxTBS;^}Cu29ag^O3>XT)-+ zO zq>~1T4!`jstBlyMHqRu9Ecq$Mc|#QT1-40oCU-ursKzqfpz+^;Tc20W`~ll(lQP6J zf>&Bz-a*u1-8^U#VgN<2Fw3TFDxA6Z+05~4{m1=At0%2Yl|>>{Y)=Q8`g+f#!hX0Z z-3s5*<7_b)7v!6XJ+Z}cF@c&@Nf;l^oEQ1E^!OJ- zk8vcd!x23(vHZEkPua}#ISq{-$cI=B<30bV==1&r&p*0Z9vtz2GD{?4)xeKtrtEoH z<5iL;4xVVzTXxaY`Or@)c?+}%J5p|AGJ*O+urXL2k#l>Iv@6d{NnX1hvsiMLT0%Dh*euheP1*@|Ozu2xlCRV#rWiuK)okTzjkV=;M(2F|6ax95616d;+8iZ#8*2ZF;&lk~-y z^BHAHWWDugdC@`1O?M0htaI12)P8yO!^gb&69#>nLtX3^eVDQY4=#A=Np+;$HR1At z?uKx1oni7?ZS}YW<$sarAg?MatNX88=k8$qmEP3==~tQH6EgOr9_iMrPnP5qkzK3#$*S{8h}tsi_1edS9pkCN%#AUuvqK~tc`!7OP!mog7*WI;D8F~>)Oi4%WO{1>MiJ}w*E!+Nv}U)m>wcli5tPs1h2 z5WlmcAI+)9?{4+4wJPgF>kE?X8D-@SgL-KuPICTTdSgt+jRamu0m%7ZG0X4I;@AfR znpmpk#QZps^m@?8rh#jmU893S)OS$Xnf55$%1GK^`O-Ssu0p;!Bd4X|KG>>mT!g{! z^zEGxgLg)xxbdUgx_PoG0=Zw!yib~W(=&q{g8)vEyY)zmU7+6?1Am5}Z~Kv2g2SaERvbN>EYn_*{W z|KH2&{|vGJUvP$r`5*ZAzvtKgI_v)eXE^_b(Enq6EeH?-hyf%4asUN@5Izzkq!2{8L-&A{_!HJEzJ#b076NHvFCTK>+caY2!)NWrSM^L~Fx?5Y3 zfH@+90H_Iw0>i(I87QOEW3AI8qZ4RqYwKsOaHc=}sPV?9Gt1IT7dX3EBY|7RSw z!2tvaIF67Rmcl&YaF=u@P5>nVer_Jdz#Qha94#PfOn+t+n$XnR=G4Oe^tHVJ8We>b1I!00DGhh}{Kyj~e-*}tRwTN}~B$lUrGm;pGG zm||_Rr+W4aXyR+l`dwt|*5>jA%1H0feo{%DdX&n0K>>cCt zU-!NH71^z!Jqc?2&Gi{S{KFOVBMs5g*zo+yANo@_2lQ3VZJLl7%{upY_uRh}t%8^S&B*m8oGMf*DdIaeC*opHe+K0D`*7=sI6>39QhB< zD@83-OM|Q0Qv)P$#y8C=|LW9FYZ@pQw^j$JOU5@Nuz#q3{*TY%2LUZK>}IF;JhQU{ z(3$49m${jt5u}47^V=tTX=8LT$@t1!{=;*7^N&up*5|eW;y9j3%$@oCOa}WJ6CLw* zCpv|@gN{o1n8v{((J#Z-;;_|0vCeiWJ$tF|SoXX}>S|<3vsHr)EG#>XV`PCj-_SNe ztE)gIUcA>wC$M=b8wd|+0h1ARv@ja-sNx6OuA}CFQ$Dka zEV0teo}(Je_C5{j8|_uLDSi{LzNbHI*S3>2r^kv2zJ3{L7~EgxLfD|sU*qz{qsb#= z#iK6cI1+CK>2r+dJ~#9S9W>liJNtQ^iV4D%L}O^8?ouk^>p145w0`Mw3L(+^t|uHk z$1^Q%LXFehF074BC@!%gO>Bz>+?%`8a*jR7KvjLK5`YpuG!z~o?@WZAjoy# zU7JhR)O#Tv0cJJ7yrBfngax@a^%zZ_f{+VVQsw2|`t3HwQyHkU$618!Nxhj3BRo;e zuX|C-p3)=LJN61%T&a{Xc6=b+1>WE-`XQUWOy@`K5Y%9cUWlVL(>5ZWgd}7=(WA`^ z{5I6bfkMrB)feJPixPWNFkbh0?uG{>*=?+EKY4IR?_D-aO`wz2hXoc(t5I!BFIdPQ<+7K7qaqM9LWp5~+qEABn0%!>2QhlULOU z4dEk-D!*1mHudR$k!9?QA6;d6Srk~)iJGs9^uQcc-`(wzw4c`C8XLG3X~D5=7;l0W z0b=r#?09EOWkH1#J8kqb zspkSOVt3jj1r4754fYgu7sdfAHxAx2LW4z+iA*eM@}^>Tv!3_V z>xcTEPZjS4>fGEuwjh{rN+kiB4HG`*(A1Ay2M;spb<`HiP^bp!m59 zcr(>Cy}>1(_$VI5PEFdy1lm1SO&sz@m%5Q^X7e}Un3;`RbWFb`ch>Et`92jE_=x+Y z=cz{CP5cfAE7G65`M13K7ZJmpSoK2@TM>GE?Lr>*=vF6BNzK-nIdNiOe|XG80t+R_ zG3}&8*4+C(hte0m;L^BoIa-8dwd-halx?<3SfY%`Lo$P2{GEc0m$8{z(TP;uC%I73ciHXhDqtZbdXmYT));E+ zD&~rm`%($ki#6*KR8wx9Co&LREg`Pru(DF7&(&bY5*Dy01!qpp=g-j3ggG)t_>IOW zp4X_DoM?jc!&)F4}DVDT}e zwLhuYpzcHi2)uvhG$LqnrA`rjjeG`D%|C?c^LvL?wBJ^s`N4Rv`GW2djIrVAEeeKDPZ7@j<~7-b}RU8z&6Ue`{xyo#_TkXstGimq0LfE#?E{hJULUs1RLX za7G^+#Re6@;C2ImMY@74FIi{2ZzujFN1)KWyOaqID?wR5}p_P`9OYIc>kn2RdbqhZgx@hMJg+4CS(#H zXv0~P`tew$kU6HR2XUV|>;4*)^~qxE%srYAUoxEzR}=h_UM`CseE{^Wu}+9;lEr`G9D;F#0j_ykLLh2% zfO}Is)vO0of42wOb;2%fILed3%|ahFQNB}OzpOIHS`o4eBJ8Ts^Za?|R3OEk30X@l zOu2)sF2tt%B|MqIU_rFPV2XgOOpr^g>CxLeKx%){=P=a!$v*X_nl_?z^<+Lxm?oHF z1wFei>HI#JGZAAhjqtb($ohSg(i6nxKV6dGfGj;-Q)fnTUZBbgN05|{1R*Sr{!kP% zUEa2`Jv$SQSpF+skD-;|PYV-Wu2RK!H&MTK=aClsG4JWdPBIzWCB6O6TE5y}GI*Kd z`L7kJ#SRaXl1O@Ke!q-{II!VoJT~TEm2xc-d1>+VaGi=N1}HbRiCc*k>QN_12-(`? z?T5K%;JHmgIvZP)@*h|wfA=U$n2!>$ZlTi-WJPw#vevJJEwrUE&aApAQi{^j=XvNC z{Luhw-xd7bgRVnvi(yiH$xrC%DQU>rDb>G2Tnf$l=V8PD=H+np724RyD=H;`mDsed zj$A#rP=#BjurkFPYbO7_$}ZG_ zXbT7DYF5b2^Jkb6p0VSf%SRz$$aPdSsoJ!F<#9iMEBPsMX7%Fhscs`;Ufah%OL+9f zixIx(lA(QnH*aw_XXCeC3}g5$$J(Cuxh*I)J8WHMZO{cyKfUDDY=<$%*%2H{7(w@q ziSh3rm6n1%ET^p?dyEKuo!ri78|^|$O8`wNh96~&@Cyt3#;*gGXC~}Gpd|54QcTI8 zrKO?z<6|O{Lzy`tAfIb--{Qf|Lm|`!&yY2zXTp^P1wr5+V+tQGT|!FPsQ&S6Og6wv zo<^vNc})QVLRpjO7HSt1P3oj9X^$TyWeUx`c9i;XhEznUyrA3eRn44f2@Kn-1^b87 zwx0^yAMe?Eui2k#QHevFNhq#GjS5ZFxJ0#ZU{tBZsf?g{C3-=)t*XZpm97&mF6U9Zfao7~1HKXRF+udBSSFU$&m{Z>?+vW=Ho<(Y-ZBlADp`LyU1I^ zu`jsVtRmzN`5`nKw|TPLxF=*2Qk~Z+%#Rwi^yXA^D^#J>j4!72_=PP8>%|6XtpgB? zx?v4AQ>;u46P{bieML(>E$w|kL&d*yHkW>Aj9JsTXMjei^DgG7Vs|iYc|6BmM}nEx ztaQx(yY$5pw|fZ^(~PBH`7BkV5_Z8s(}{ZMX%e}YjVdfLW%EZPBE7!3cQ>Hhm{Y=> zE{WI>Hy=kvZT3pnEtmXh^0Y*`gii9KyxA+S0kGpC0F(4W#4}F4THR= z#X~An{P21tZ@{v8Y&>B{lea;-uu={5H%1eb6S7GIj+R&n>&Z1#ad3z7;g)=HEMF{CV zKsO?88V|)Iq9Z#x#(%r{IrD0Ap=^qstP0C$TlEf4=m)Wenj`Vn~mqF|1-o zWcUSA{D7KLF+ExpQVZ%f@FpNavP5Iba*4 z;C_PlRazl(sbWVV+wNWZbc3hq+3#MBb%7=gi;P3{untFP8zxSkhL05)49f&)I>ATW zUEt}FkNW|A(G*@vpmtJqJUN3z6i$XQ@MJp$aljtCmmh;-pnmng2I`8pa`r}5d?zRf zWet{Z$)yhr3R^Xx2|MxWf4>Cx*A?Nh8g!LAe5wM*kdb_5^lvr{$X#a+W#tikn$yq>(qmpo-?PK?g9P=q6v0VYVvVK zaa$8wxzbwtM9z?c*TSj&s^k4rhF%1H;o*5m%0n|{@6?ck&43*hUFf$gO7d9nH!&<& zW1emv6H(JKwd@*yI|{l)lvyd=e|1YiTgbHm&m*LA-}*VQD82IO!vgdYpufKPcc$Sn zOr~A3k!Nmn{s4a+2-*@_Yo`HKL!tslTwGZRwamMoG%;~_F2UykEzH7VNCJX!w)p;y zD|Lpyet(0w$rC+BnK>g@R2};vaf|;9qEnCg+Ih0YUxV@y-TwsA#Vh=p`*x@( z%v+g8Hs2$QPfVLe6tf|X%9$d@6-UDZpV5;zE~mzZ^08)j3a0%oR@mOR)jGjlTg>## zKV6!gJvgIvs{`ulu`K`CTlKCT9F;y_h)mY_>t;g-VN)XOK#(NkNWhdo-j9lCHHdL@;IxW81tg|gh<&ro)&cF zKO64wWdVm?4LRfl9xX`62ve^Fx_MhG!}$YqHHkr?!H-(E8LIVRsHknwD2#pN90Z6s z`j$E!n2aI&W2))tvinR8#1z6RdORoepog|J7IuF%p{sFQY0;P3IvpBPfZjbG>p<13 zy)ZgNF}x66;l*P1u(iVEm+0_dnVC1W)f~xW_nNoxByEa{U0B_LVMTs=3&7c%U+?d- zx-5JNSA)*v0_DH5xMhvBMje6dVbMF!BF-_Uu{F7#>^@H0@8AMqRq~Ok)&Ut7tGuQM z+`MHLo%DqIGlx#1ZJzF15~cfx|5&aO0%j^Gwm2+f z4%vXGAn)mbm0!FHnh`AlGrk+;%XX6-JSeQBTDs?&>9|zH)cKMWz+Q&8&(#wumpmUD zCf)p5fe{;Bdt=R6H3y-B)qMYdj%QMDWHOf_W z(&c(*nIi#Xh$iS#D$kpf(xv+T?sJZ2n)qzuC6SNU=9C!Asm3kzZjSVDp_7c7Gppt@ zv^Tu6(UDB*u$lZWat!xP=+H#CrV!psm+~xD21On>mTnz2w5K5?57j4l4v*Wo)uAi; z%JB3KzO+6z5P()*{`)Q|1t~GW!bGJ&Y(SjDzwP#`*-Pf>1ElVN0kJJbmL)pf_87P7 zpC25Y%Tg3@NeD*(5r!$$$QJxShOK`T;Gb!-8*d3CVBUe)uCxlUdT! z>hx{Hj8ZO@2ji}WYO+{lnlLw7Z@b`azi6TbyM`4uG-~U>ym*B6OR(%3Jxac@m74gJdh4o zuCFbYZ|?5ftm4SgGe7};8;BOcdN5lGaa;V9F>AI^jV6QarsrOZIIp>d@)8On(C7Qe zO141HGOuTSM2eT?M1};zF8Cosc$Ey{yGM6LlVzryx@JtHE+w~H9i&XXcN0SH)m&}Z zOa%2K;j_wvp$e=7lZ*-M*w=wQ>QU_)uzX1U z^LsUMtbsOByRwD;zPg1`xB47?uy|^wq2L9-m%Ox>(u(0TmFrSISuX;!oT0`{nHp+Mu+tK7wpV)gRj1pW(SN63XMCRlQzCzPa%W9K#1Lu zItIY-_{Fceh4|W&^_3mCD9HBPMwEe&k`UHjLY1SJ9U1twpg3mhK2wL5`SVYUrAwJ~ zE|LCWOzBhEx z`Ic6v)Gb)_*-#tpsDu$U`)U`-+k@-qt>Qu zv)L7QDlv@T642+~Z_~>x793^MA!gCvVaG3r1__J9@xHM#5NaX&M4Ji1t$YnNt>#1# zUnXOasv#~>hyu12cy*h(G8DX$ko3F21N98 zkg|RIsv;@OLLq0=)vrgnQ&PFx%Zo{D@Ur9Nn2R1m1@nB`PQ30NMYX(uGSmJZ(cgbI zJmO4ba%D-{kEFopce|MV{xVZ^7|-erZ`rq1iqqP@Pddf(Yxm3xWdBRtPdIM@2jSY80;E?}s zmdPw%wOwclV_Ph)(3t$|)TZ0A({F2mg2QaZC&@H|*AFO-s5d@2_cmIK+iIdd8*fbhr=adl6Q$QV{cOd?g;(ASk!sp7CfUOG$YY>T zlDmU6vhe_e9QMMfr4K&bjk>4xYb;PThRg%@aT_#m^$zmkqr4S}oGBsqpVekZZT!Dv z9V`yC{nRJ;=o-PM=wCKyPRfoGsW-&&sT1C&vs+vsFJ{XG@bb6aE*p1V%8IvE5B#=V&m6Ywr%sAIoWC&{MVyo ztxDXnyFMRI%R9)G;kaghJo6t0e+1^`T?sjG{|KlbN;}0sluii0p+BA`O+hp_q3lCE z59`MfktoQd!Uj^EE=TPMlK~UNk|DAK8_|X5(*nnY#Q9?b#mV~V2X0zNJ@L)h@vYh7<18QQI_|=%r)R_m><)Onx^woxsCB3 z;#Un#(vD#}WADZwRjlRuE0SIbwXEXVznH}EFR1%mU+dfKCS;x$_Snp>Jo@eaJ}mCK zXGTUox6yq-u>E3K#`2m#q0T8`G)7i#mKDd1=i10q1jP;Iz0c2ak}d=i6Ai>-ZVW6I z_iP+rjjr!l9Lbb8u>FJCm5^u24wiIom(%2i;1ty^2+G_yiec(-zK50tFv6?$HCNELDLfhX(` zHV|2M#rb_dkL<zhi~;&LaD z59)8Xm?vzUX&qgHCY>kIiL+;UyNIJLia3ID95ywJKgcffkOIxytGdj@PJt7zldm_c z%izC^Z9E~TfEw>$Pcw>6yQ{8@vswO*y_>Ud80y* z>_pfRUKi9v!8JJwyE{ys*4Dax_l|`(cHHtu?qf7ylI-ltqBM_L@|dUR1wJkz2Dwh2 z)xsEtPBd&AL!MK8wqxgYI z`R1Cpx;OtAkSPh1MpjMWSzi@Lu6<*Pu|^5Ga&+(X6Zz(9_^^jv#&f#0yPV0V z%AE-p|D!HkGD9Af_>eS8gNm{c9E%YA?}RRwUAB$@%ZlZ+? z4IDy$#d$2p)V8O1qaTN~Po$bhk$tM6bf*hEXOLq^$1v<3qYw}qFf0|}%)1S4ARiqe zqa<&9_2G_=WSs(4FS9(O!mh+i*HPa`-i@dZ9ookVE4#6m8dXXyr{2 z)q&=*#nyobk_KPG!!|&W=~iv|d8ck9`?&jQ9En3&Qr#NuTd0gkFSS(PoW4ety&P;q zb}-C$$2-)u2|&EJ(m2c|J-^q9oDGKWCR9ceYCbb!-fl0<>Vw=genYcenjcS`7N_K1 zu9u&jUf$;lNt63fn`bNI5Aur(AZPCkkp$R>NqRgTF77d1k!~gBf6bp*XFNcqENE}( zT8J(>0semb1;6k(=f%h5H>f+v-fvz2pG1m?8vnMhwjXk zYw7YRWTHoOw>*+xQZqectDil(EUqhJ@)uwC>41 z5I{L|+%=8S|NR(Cshq5s)|=5ItieaZ?LQkI%3SP@R+>|}{+mfpfqc}?PJm4JwD_Kw z;pth4zVaS2?;0Ra4)HxGvI(i8XS=eoe2kgAGT z#5aA0S>b-(cas)zc2vQ@zIz91(tupaA8|44cGED=UcVj9`8tUszpY1QHs$_E!B-PI zgW}q0DJGw$>dkp#GB{vo*Es4Yn&esHLB(Rep1rE-UFl30$kE>^6JlhO!`ZB-)1F;^ z%<*r(DiWqc59P@?_61_c)0nO0UQL(@K}irXsKQa}@mKi+?fUX=6QXs$7D|l(rT8_} zq#7@Ew}sVCv(7!Zd|@yhbKHs}SE3EyzF|3nk5;6~OH@0QkP^ml-Wk=Owh>CzqB?`sDHb%AHCc@*cOh|xv5 z>X7;;m*+ko(60!hGxE{8)vVj>UlO1&WnnPMCFIR`toiNE%+u_ns;B-Xea|W)D2)UV zEPjdNYxbv{*U2_c2!+0P+xHBfMLo;ZOeeR6`2-~zsiW^V^}{HNiWqs?)~-nwylzye zM;EMa{h`o3j~$CVS5p35z%-snK9`oiKRu|^e0tadUZJ-`eF)V4bOuRD6sj8E^zvVq03?IEZfLqjaHH3o$Ik%Ot|aVBzdoDhPt5zXcz9-4Hb8R z!T1e01bp6tJCoh+IB+*;Z`M>cv^}iWI-?Q_AZ)RbsaWsIy-3=cKPn2A_G{nd^@j7A zJJvO@gK#b?6AOKiRQApKH*+bVT7?y!t)f>%Ko{TO?+XeClPO18SZn)bo{tvT7x1zofKWjUmdU~pi zID+B@*u;A+lD~Vb_%Nq#sL6viu~GG^2gA|x-w#6*sSEV%uj#LntZgU2nIUYD1%Z>P+D%EI-pSKk>Rn77*x*jVm1p5->fvou_o$G~vqhTbO`QPGC zg?4e-NhpDn6AUXAE^)uxiLgD<9kq^rb0HbUj2#v-DrKxR+ly$u>%gXbp=UI&Q-koU z`Ms@u<2LL`(X*p#TC(4ez{IWwGCA|F(VWvst0is1v~T*iMvotiZ1w)C5%p=$RfA(0 zT`CSuU9VMH4x{wNGjL(R7&F%0{j&YRpz# z%w8?p2-;wJ!}FQGavHwR&3*_AU~ilfV;~G-!?@9s^4MA7I2L};J4_kdn~ZU+px#=* zmM4xf{vCe;&tp?8V!u@&f%HvDDx>iDD=Mlbo2eD>cxH#Lhyjr}ehw{dTbEw=zZyI9 zsHToRjz5clL?Z>^p|W@pkcgVx-0TX007h8^1jHan4IwNVNC-*6P*4<$il8i(MHa0B z<$xgium~t3_|#JCT3Xp$3b?QdqP5_ooy#IgaCtd7;oRSunSAFrznT2O=iYCq8jo^i zcd*fHbKaGeC{`9x)xnPKT^j7&7Z<|bE^CuBQ^Z1#N5HU z@3_{(yjBZR#?pt(``c=&_4oA@TNg6J`;Mlq@U2Rft>*O>YnnR7e-+s-2w9=CF@)`K zt-X0!%E6BR_;znw?jblQ*3gYNp^2D&FId7&<|)AalK5xXz+F;AM@;k#Gbx0ZIj zRHIP6Tw~uvPWK_7@b$))dYC!tKT@w9(9p}g(cu%m+0C@K z+N@Jk#;bcKyT#q3`KEGECpVoAWg5hJc)#VwjjCxe@9CFcNl&RTo>yVA=REg;Pos$G9Q!ns3S8ih4=%GOb-6Hu3z z2^?+cwU>Tx?p>2DvR;@Sxqz7PElV4laa8TLcd96{aw+>l?tp1VEOT|Mz`4WXb@pE; z^v>y&M~kebR@ILT8*b;v$WAZ2JWI!mZ9_fQOu2Ec?7Q<?mda|>ur()jDuKbc+!^H-(3KGlI7sTSEF86Z!Pdvr@)fRUf%X%70 zLy`s)#W@3lpgDb&@sWnh6CCy#1~;9#aYT0vlj)nv%PWk3`Qpupkr6Iz|A{Z_V#_&R zl=V$6rByM;|B4M>R_t*)eO8#ddB>8)rB6mLllLE4{Kejcxmv4gSzGD{8M|dot^+YO z?q}B+Z$ZlRDP?`v@sEd0Ql(Kr44ZcC#FyqI)o?4*Lvb4G9(9z-o_p_YzqE(PwJ^$P z^S}FO;|sr%;VYKW1+@l)VKPik`4iUuU9(PYhBj&373gkw(Kk=GxcNl@FY-X2D)K$H zy8cSa<+F}Bjdt4M($SI7YlO+wnRaJ{o*QM-G65=IzU*eY)G zHvdI!;OFIjIVq5?)2sYpLdD_VBRAFC)4>zx=@vz*iIMNl7? zFXQVtiKHfDlUChS&&8@62EF}#1Mimv)FwGEdfQiY($M7O`SlgH!-gA)6@#~u6S}aD zuX{uHyC1@mU2baS#c~_rsPa=$Lmpkfe!r8BgAcxyc%1KMcix=0L$$`sF7w^njK=&! z>(*?p&&X17@w5)YS~ZIF7RKDJ&2y+TdUY2+QWvm|z|{5k(O8{R)cB=O*OKIg=HThP%=a&Phic!v3&|q zo}iIY>Uf-HMsef`Fc}4&Aqp8qmVrq;0btU=zn;Jb2J!?4;1o}Af#@*74Wc6x)HKAP zO@h-C$n-cW4UDsBa=5ez;N0YK4q775Ja3gVwfeA~7f7zuU$RpKtV_|=2NqYh+z3AE zXZm?BQw0-LXxt{%9mSu;5fapL6d2b7RGK?^L1X~8uFW9(*q`=O>HEk=R+Kn?G=MLjUQpCob~kqS-;J29UNOnf062v1!CuU>nugb(5DS0gZy3M1f?NFfv9 z6)@2phRs2{4Z?uWHSrX4MIwFxL|}6T5qu!mb1etYmI?&^+^{fIl4o#81O(m_(pF7K zgAhCePoa~+KYFG_E|=TJQDS}|28Iwa27dnnrwD~afdZk)7{Wkn1bsna?_+dur4$3+ zd!Tj{+L34o3`$cehI-m5$6yNB8;b3ybjHlSzz|QV9ZZ6WU{w|R!X!Fr=6GOU%I(OY z+l&~3fFne4JTh%&I}lR-4wyzle;pM2GLRYbfEg5U&x~R_a2E|(c^(L;k{P+8l0T4B z3PV{7iAE*M#Ux@b@KhFKEG;2|M~IA%t~tS7D3n0sdjjlChp<2)giM|f4)&0bCDjf= zD0WoDjse@V$Se|-&7iUA43Ka(5oXykn9%2&Y=xLiOoW6hmW