From 27ee17d8580c54dbcc54c2248ab51a927825bac0 Mon Sep 17 00:00:00 2001 From: Doron Zarchy Date: Wed, 7 Oct 2020 10:30:50 +0300 Subject: [PATCH 1/5] chore: add pdf --- ComparisonClassGroups.pdf | Bin 0 -> 67470 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 ComparisonClassGroups.pdf diff --git a/ComparisonClassGroups.pdf b/ComparisonClassGroups.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e462e3a8da6024c7335bca4dfe91c80e2230a5aa GIT binary patch literal 67470 zcmc$_1yo&4wl#{oySv-L-95OwyX(Q--AN$m!3hv7xVwZvu;36h9Naa?BVYF$-Tn8w zcf7yv69!}Nv&;6Jt5(&hsy!F2nzSq{2OBpM?cCA977_;qJB6!-1Cp>XK+40~9O&vn z!JzEwZ|~$}4&Y&9r!ZnrHn+5Q0lIqH2~oUr0a`mzyd_YmYEtM?aIl+laGCNNF;Yml zxj9+uT3aaE0|7i-d~962Zxt2gwUm`uD4gsattsTJEgfCo3QE~|xH?+{_}`jl*-`lkWzR`PYm;#`!@eb+F zg@VBj2z2ul1ORO9fp%UNY?iLh084Xc3lDp97l65?rI)jp)1Q806n*>qKWXv(j}dcm zvHu+}*Bf5G{~2CSpuMFX(B8$?)x*}@#oqIcfs?tXr=P8dtC!oq0O$W71LqLneKRr- zr@$Xm^ZhY94>$XNY-s~)7dcl}y}$7O3s8aoF;FfJjz50zH>BL`T>nF)Zm#Ao)<7Ru z4@ZEvl??#sVQmd?HunTtd;HDV|88rJKR){R!T%rnH6JGh_nUk0P;l`6jSR>Qd0cg_raTyUOH-MRy! z4di~+&*w&W%}MbcTyedB+)uzfq*|XID09kzAovJ?G)uKw`os^tC#9 z4C0pKz;G zhI#P95D^Tb@5~Fv`S#7~#GUCN`{CtDYbY-&?Ku%O|6P`ANY_(e_H-iSX!frySL~Or z=tBK_!>HaPThoEU*3*ZIbMcqomnR_rNOPuP!bQ5ohm+nc@@o47U{MA`NoucUP(W8fi$qT#FjHme{UPDi}g(X6Zc*t@uFeoOFKdar|+ zY-o2fT-i3X3j1h)eBqwLPqw4*P(U}3F_!Ll&&X7My#o41WVOVEYIfucjQXxu5Z)nb z5gHU3(I=SW&0}u(iH0HTfiQ^Ka;IdOYUu#zb5cM#jDq@%PYdiu+|8a6`M2mx_b;_+ zmvEBGl%=EiK8<`^E?tO-)^GxrCxTOx5RmpR9c24JNV7q-b8N)btN5O>$}dx50;rTR zEhi`hDYPB1v5Dr&ru&F3sNc;)mDDcV_Kqm#qUFpW9EYnbrKk7Wa)4=-3C4wDyK3Pb z%x;9(toyuR&c5ugS{Arw6Gqm?&aKJ*>@t45LG&zK6#<8N^G5-PSU7?#_i6rUnOOX4 z@uy|>UwL&1iZDGa@=-pMvB5cu>SXm&j2QLJha-fS=U=kQ^IJ6qPoN{#yq92-`4So! zigZl)BHN%k=9<>lpM#sqhoOQ<#DN!WmoHCXfg^>)p}*lT-KzP*H@BgsEXUl~|a%?1F2GHH6bLg>cj0>XA>Cq#cc?)DL zG;@BaS&>S<={^lMccf(_r$Zn_Ed^U#Tn=treal+ zgYmM%XJ5V|*)SYREB&GIeuD2}c}|$d30(!G%)<@@WXMH?KTZXC2OxN`hNxza`FlTS zJ9%)~JA;qf^4NKx=y9B4?H^o}O_;wg2Nly{kb+#~Y1!t`UGLp2R1=W^W0avk0zDyf-oB<$-x}ERhjN{SM!r9nL4zPZ9&Eg zR*%N}g`p00+m}ta?5(&2?Ju2yHh0_*={bl~jN!2~v(p5-3B8Q&#UnTJqAr|x$`%GG zN#K!y>gZ0!P&S1~tZg3u!UCr{(CtxO(6RaeY^B1aWq5Lj!dTac0a3arVAimJ7^MzN zAA1#~BbS+TjE%g_HJ0poXSGcE)fWaZw_nxl(VzvzElyFEPEm*?qvWtFf~-(7h2fhB z{GGB1tcI)ft<_k&T4iLM2>ijRLmRff9j)85dYJu4SlVdm z2x&c;_TIvwao({LN!^c}Za8E4#<`3DR&e%`Y+Evn!AA1-T;r-K9)?BbuwK;hWC8WI zkBG^XQC+%U;jD@-O3$bQW7Mq-E6j*$yaZ+ihZsQpMSE6v<=bX}suLhx*}n&Cgd{+< zjE40nDR*`zEhFh` zqds<``mgD1=s1#SjNm$XVYQn{tQS?IsCRtW(|FyGv1MvxgiCJuT9n$tjs0RjqX+1E zkS43)=I&@t<3$8qJP?i#Oi%=Vwf%CR%J@9#0;x@YyZtd+<7-Ti8_hwVFO3Gv*wc|b zZj`Vj#o|woI$-99YW&kXN;;?s)HHNAFxx*d0H1)jFkCE+qB+ate2uJLV_g zlgK2jn50FHiuFxO?L_3sTgAo>2P>=7^0%{W_m*XNLJa!mNLpa)}WJk z658nWKB1*&!IMWA1CIl!x991^e)MkfuGo=v5bQ!fke0DsAfplBh2H2d1@9HSj@Cg= z&yrEyXT;=^jr{7P#AD<+(-t>6Y2OHq!kVb=8KxOj^Kj@gM(FLsRz4L#H6Pr|+|9c+Hs^Jw$0>pd{jPmw6&gVV6K#&G+O3@T z*@|6DAKRYpTL(zk9b6o_-+UsX#KP2Fr2auyvgd#;)1ZiKU_do%Y>rk^NB+p0xLlyW z1c=ag5-0epzUBzJ0NSt*RdEVj{Ohx2_lH0ooL8*Q8kExtsNtG2;|+e|24XHx!*o6WW5T4@^)nxqacvv424gAAqA#JgxjI#o9 zp&OTPHT%9Lhz{E}ddZ9QGj9BzToKHO8o=3k(XkY@VGHvDx9_p{!!$T}B%^0v#Th}aeStYVHSEb_r`Ux$Y4W$=Oji(Qs3i{8$$&%!!@%VS%4nvG4x zmpP_7!Bs!h61v#vZmDm<`b2l2$&$7(J&5!P=6F{Kd5$F6eZS(gjRaQRtR0<5lp&MTHK zB)7@(FJJOKUjUI&FGO9N*6LLv!raHN^>l(A6=tVvQ*(hD$p!~{11lBe-y&7AC_5#{ zA`J^Aq!`O@G|LVaToO;VP)F?U+|Ys)k4 zOSMp+HLiiw-f&ObdG>92Hq(odsFJ&R`h(cVQZ5E|@?s2spMk{!`$8&85y@AD1oc*hWyjUrI=^n+Bkny2hz#86dBlim`F=ZRh)ZoQ}d46NA`)0O#vw z(M5ht=|WEC=T=(qB@b34a9yUYJZxLG?yY&NBx#(y7xY(MPt-Aticz!EK(8&O7oS$$ z?zszF6-u_;Gl}d!JRfPpA1^~*%Z1nzWUsx;WCM#V>l4Y?UPoQQDGt;fsYHJw&4)1r zY8aVxHQ{4|h5;e3kC&?n>W|w{g?sp;D<2@zZp*}())l>a9~8HsZ-h*)>msA~*sneW zXI9r49_e-%2L-)o+%+sOW(|Hbd{nRPomx_8J*xX|awy9C`sk6ZuPCD6Ie2k@6TDfC z_`?;}a4nIV=XnJ2Cc<>meWOkSqC0P=#{5~+^3U$W6aZ;mJ$>i}!do9A^b={Uf!c~( z41PJiwDqla{ygLQbdV(mCA-iIUDPTDBl-HbZ4CbDkKxGo$YeHF6+d^1NdxYSH?@^Z zKbdNUQLF$ussSy`IBQ>i;T;CYNm}cbSi7{0lq*+S=UPngI=l4Q=DEUC6hKR!1j-@s zI8O%Ft>ipF$-}7|?nPVnO*!84(`7lY0aiZB=nGxDKp@{hF*x%45V zceFeugLT*!1jnF+B{Gbg9%xql#xPZ-5vv>1lXaxNIPNiJMRa6p^ zcYNF!G|IX9LY!gTYrd_sK!QX{7n$Upt|D4cdbhQW&Ro+pkswBqd`d|P`wq-ZP|S6x6B-@O#CfI~ z`~A8AVpzC!LVi^NJ%)@Tm{1Y_Sc}0xvi%4wNOf8nu0x}VO8{4vX zu8$@LBY)b8G@%W<{5|YxuUF}(_PrcswK81!o?8un;v&e4?+w{KGT7Jf8DnQztF8;d z&X(a+JkKE~D<<43MxpWnn_JA^zNyVnfxC*}$wW5IXh|4P&n4ndQKmsVp^B&vvf_}x z^&mqdp5f#f$tHLib=qDq)=HftbD>%<<}Oyp^oMJ8Gm&3_X)xnT%vH6bdlcBd_oGGWsUev6&{r#La(tT*HhLi7SvdQzs=6r*- z^F<>z)R0GBhfCgc+BHjpmz5<=!k3jsl4vpG&QMN*qOWghvSVw}y_hzwTR+Fz(e3WV zU?+>BUxlb&tB!f69IUj?HMat4+_$|}05l&@6P zeYRFkOC;yz%)F*we%EObub`|;#-a9nj~&dF%eo;>&&^!gbgei(`PP!G>e%)Yj469_ zowv(39`07%uI-Rph3km`uL47W@;*@iwMtokDZtCH!m7ty>;xd0KTw7TTK8a&D1G6O1@cKu2 zznrIUpzlL!>1!{ahYG#;R>#+qv}}1A2EvaOV$Zl|)20&i0;Tq58NcU?ZgGNTY&jpW zK5z0(f$Q3e^2Zdi1-%SN_Yj10n z%Y=Qck^A3a2s`#v%U9$$&Wqw;$i+7$Ob}xH@o9A|C84;_FVx9+e8OcPQ%9x? zQ?=>R`j@w?lmuTg$cMsh(#P0U&WR-B=nG^jI9Y7Yzv=O3MU;3O@d%t?Ta{O6&7d=c z!Fa;Kdg~5ARp-@NZeK9;(wi5lCXCe^XLiAOd|vw`OrkNr#^!8!Ny~gaj&03=hUR6b zY!_!075W%F^@($c;1MO3N1c#zqwC4-GzlF*nm!P6mIU%FXGR&qS=YUs>XtZNA*q{q zn(KC_@Da#XpXnw@C70Na{K+2?WfB=SvrasX+PMf5jB*#ii>8{CoUHvWatsZILqoe9UdY#yhQ{oIkB z1c#PH1O3s0^NgqBo{aVggeTV=s9`P@ty$WE!a~o32{B)m4k|$VdG-iamH|pq6h5Cn z-Pu?4Itt|nH*$-Zsfgn5sUHIogc~_y`%ww?;Lm4n+psYPa4*=;4JWMSmAyi+id;{t)m^-1v*p(O`9kvdgT=pp0^<0m&pZF^sU#N{-@l$pu1@XpWA+qQfE{TX zMagL*o4AfodF*J&LI)M(DH^(ZBP~Z&wo3(Tho%Z&=1`8&PWjn%+f_`zdXKi z?cc5MzB){hh5WwDdJR4ZG1o|k-;Wdy{ym!2`*M0gzBncHwe$@C^)}!&@<^Kexv=-? z5+UT_WDy|tG(g__^1XLL?PgQ!Szibi(+AAr2 znF09)ROVQJ20F4tm6auhTs?bDW@npax)_d1GC~P|szFndwD8LUoCmW!vFHMYG5Eb? zoJV%({(0~gNBNFr&(Tu@JK(|1B44fHvdT}>UsDBUM+C4g^h?B(>Q~Az<-T-Hm&3;H z&v``$NooH86}?v@UfQ2tG%QJ}*g|J384Il}arvzf(8*5LM9wI7YNBvkPV)&Mg%kYi($5;PfHqIh)$_cMF z(cY(~1YED@ z)HdW5Yz|E$vh{C3$AytiR&U5XVV zF6+vtem?aZeC>p|PQXNzdRHWtxx}RQDY(XVNc=gH##Lu9k-P)iOFjyMxi@{1i3nn$BQ!2 zwbP=!Jk?O!s#;RizfA9tww|q(uPv%&aAbsD#u5$<=Y~Zd*!$(>@gPQXw~d7U0G_}x zOab|}ZXQ=W zPalRv+cVB6Y}9Ys^-1yM0e$nRL_2#8sDY?>1hU~`W|sYm7Q{vwIH$By5nognSUPSV zx`Ntj1}FQ|Y=T&FTAk_H2Fjl1v%b}$hNDgo+~V6>r^?_C-Lelld>8zk_O+UEV{?e7 zFYX=BFwMIvJyPUH=kwKRcpOjN+HyNYl~RXz-fhXOo$$1avcC%bRaAypBK#66#O}hc z(wav`#?3-QISigYT&$Cl-#q}}&QSmA^hP2F3Y}g4lTQTppvxT}zk7LDyTTrRrSrXr zidpdU;U-L5*To2`DdsKXt(tuGZ3K3|=;uwitMmllZJEJFWHu`l?S5%UErx6KGRB#v zV~bLD+qsJf#jlD0JT0R+w;qnH6h?$J7aZlJkBm5D1@YFc;NramOSWe}HwWz##}5&D zs|Riy62$JtjJ0+87*xK(*_+wERk)D|L28kpx$4%5YXduEK3?7W9dZX2!$a&tDOBBS zZ?lP$b*Xp79>httYKT}D>FOWje|u~%ZTABM_d$IIz5O5l^aYc|xfya#$19Sr1U7LC z{-=SZ`XsFg4vQQ>v5AD83 zBJ3yOz3o)r&pkAFr=`xdB8&Dx12_|lLKfhF^y_@`DyY%O7^rYdox41}H9`-C^;DV_ z+wF_-`Je`;r7lO_=vnYdoVLOSlaY0WGA<$6u2ryr)!RIbo)+5f-Y=Cu<11@gI5~)K zyndJQpwwMt7pg_i4;MD}u|d!huCOK0BUT}cTb^a`P*Kw(^arP)pwxQE4IOI4fMcDv z?57j7P%ClXaBA+fm_A18*fh=&!*qakvL^iG_9xIZ}@ZD%VkSMV9 z5qQ5abrj9&mxU85F{aZUB>CjYqUcJ)$VHE+wu06=^Szu^xsbnAMpAJNYdvX*z}cC( z!N4<^rUiS_t(3ttQLOFVg+E~Rr@3hfSIq(`@nMybQ20Qx=$BrT5%H8~Oy@uM3SO|b zgb0kF)R~U8DGLe+Q;K%x@i@4pp+!^dv37b?Vnb*QU?f|X2R^pTk9{I>OCu4&15-J| zMg>>|vR8`3OTp_QD&uT_dnq#8!trY$JQBYM6^4b6@ef5Njjh_;#C)K7+BK1S!U#d@ zx)d)+gKb2u!O12LWgbI2i6*GZT*HCeSks;hpXFa@U%!uXLa|kss9#QexNwKGt1%_n zuEO0Qj|-Rq6G(f0W&n>_)w|s#)RB{Eee*UTwxBOG{uoVVZv)SCX>{b6N`6%1Wgv@A zts(>qTP287ThfapjQA{mjzkI!G;-s3H_a>qWu&b0QD-&z0xOM^#0iw|@G&WmH5*%$ z@>`p0B1`sYN*_A>LNx4x>_=G6mTy_Eu|%C{=rEgLAW^Y%M|o)#^uyefbYdfVbT${8Pp29hx9AsN9vlxPup^W!Q+Gg=ZTKdkhRi!h{VZ;E7#B+5e{gx zwivJNX`ncS6Lr}Vn{sJYT|}m)tI^8hZ?}#b+ssTc0?OO|Jl3Khk!`VFyBTse8l#jL ztfDwV5#bSFV9i;Mi0nH13&+H^X3+O1M$W|LvkJ0YosIWAWtg58`H@@}gO-F1SEI8K zgbmA@X^n|X?|mk7XJe5qepAf|G`uwAEiGHxhvqFkyk+M7$;_FJ6==wrkqZgO8z1@h zX|h03%4+vlip(~r|Ki4n<}!89`1jzSWy-t`D(6oP+>)}cw_2sF)INL0SLNImDm7ZC zE^t$Y{13SX7qV2+lnl{>E!m2e(6sNAhl-s=4JT5-)p{!0-ZFZJ$F zS+DfZPIu+@UapKavOiwDEOlSPs*OEVol>+yHyq%w9SXCW*wBLc`?BwCLHM@pyH?@} zzvuG1B{9Ftt5#^lHDUZRYd6FNM~Agj?r#!Eu=OShK=L&4LwZ{!ZV^EfBEr)w>=!1; zf2cX+30$r$VC|DOzkwxS_@?(~ttS#y{j}5a1B%8WfQNilMgu@+bvqB%$-A$K2QvNnPAi!tMGj$BbX4ceH?rC&lI6FJRXn|RmarWCu0fW*@jHW87DwZQrV@CQ`oM6}NQ|yq#+P|$w2PNs(tYV;kv0&G zymG~T3Ql;x{|~2PErooaZK{1Pfn$DHa^X<8 zkV6IJRM5gWcc+T2&q2+kj(qq{mM zdRkjH_-<)ZShc<{f~AAxpeiBmx$X+fE#Q1w(P)Y`Rn0_X&g6o!(ev)@C% zjFjV5d@0PDaUAJX>WRsKp3J^z8o+mjaYJ%(h{6|SZtI;+j| z6r<{UK`VIDezCnN{&Q_z07f4jQoJDSS1#B{$RT8Cbk&g1JKrBl2KIB9 z?hmO12-n8X%&CrGVILS zdy`E_veDWgaZ_#*NxiCleK%siMqS@BbV#CRXyVowlkZyd8PcQAPms{Tg5<&l=QwOJ z3=em{0;giStpiX-|y<9@M|^^jxD}(=+sJ0$oU{QL1>;|_W8>mTT@QsF*`3^ zQ_`@w8OrrjMDvF`A+y~KqQi`yg`O7P)=DCCIum~p2Tk{V(V^1ck8rRHXV6kp-0Zpy z+V@n3YOB+RuO_e;P}m>he`?R@oMFZ4`h})3smMxY*!Ji=tlXiqg#|ksyQ<4>hbMp^rsEnks#X`dDsP0!daM0pJPRk)$We&Tz)fUfhCodeWKDm1~)4g*mR&gbcZND#Lr*d}Lf|Iiz7-$=+FV zU7`eBoM&EJwm?^~#DSNR6;o9pD`b%*+?Y5&EtBOUX4N7p^($Q>Xqru{2OhNVn53$4 ztQV{q3!`~55;%5s`ZnsE!dreK5Kw7TyEq0u9q5p!DlLXJVD-#v)U}zv5W5iDhZPNd z>g**p(?jGGq|5au_;BLXHeZ=Uago+vZKj9mO!S}wIiQh04|n;MwjeWyFWQTbeg%}&3{BI?8uvlagiOGV9k>zAKs$unOaX~~m@_u`O(n(He5}l0AD>FaznO=8Kfr&rEa5NQx9vA zriYMpMuM|+$QSQb{I=Pp#d}%9>k97ir^S1WZz07Hu^U{;e{iFVFLPSE=OQA)7*_Zc zqDX=)PX2y7qAc@N!OFI_#mgC8i7B zhoWN`Vle5wqPt)Xk#&7+SE3WjFlX)5Ljx5zR6CLr)_(EJc^aTXn4%o;;L1W3*7EtF z7k@TLbmk?g3`4jN$)ry=hlWog_}gm55`JDE;3oh%Tlvx2vQ!q;JeoU~m8yfZv{RsT_8wJ;MOOUZS^t{? zSIyk^O`@t{?dj^}VQKC8N45VJsbHyT{ig5#D@XyLW$g>30K9X4D=7K*yVT$B@7@%} zGQL1LP2iu{g}175ToixQuo`cgeSoa13-C{xEH?%BpR~7>H(mJOa{uHjTU*(iOS=00 zEvkU`O&rW8!1+g_{3i^-lfv-N0k#IkAI-l8#h<>?p!lOs*LVxi_}lG|O#1EV46lgV+HUm%VQk(iNokn)|;x~J*KZ&sWcsfaM? zZZO66d+F3`6cSVtr;1qOFfgcJX+a>i4J6;~Fc<^^jK!M94l)F0lTApb4OxBs8C=e* zfGQihXs^4wQ?axC=i}eY2Ole{zgN}n`}KTR{}I71DGxh9%?-3tzsNiIL5w*-w`9mw zuDZ8m-unFsvBj3U^x1qiFRnSdt^`176*CClER8~zG=x42LSBW(#FA6~oX@)tz+X3x zO#L2_dj8xLcjcG{KaLQE()7Xp3%;uHP9S#6~-y9!X{FP!{jrrGA(a}cp{Z5I3|W}J#r;TR{Iu>k~B)vWXsNi zpDm4Tq!SpKF-`+?Qu0k+kPRSkj~%?Gb|ax9piVi@Zy_%!43utV8D+GlT}BXCYUZ%CyR%elxr6k z0uf9@$?h-!{P1v#13{#OCy_{@ct!lvQ;tC1#PL3rN}~kmMsZ2 z83)5~3qG(`Nmz!eNM}KJBZ2wsu&SU036r1&VT~byOhkoGM9P*x!74aGXycDhNR!e$ zY6Zh!CvHqI2@v*|cM_?b9!I{h>`!Fr?)R5$i#IDdQtXt^^uf2j2c7dU@_LGBa5ddvc3H~DAyM~D*i zV#6>OS>jL^3F0sp*hfr%gmt)UbD+?)+%%~;xlD+Ba4eZrZaO(=bS7WCwWu>xv>%)S zb^)mt1%!$wokDly&)7~si~E4!LwP~)VW%+uBqx%&VW+Z&p}fU0>7&zR*KU_VO<6Ox zGt}a_(ErNWF;Q;kWw*r67ULrRg z3<{Bf5ABI6P$iR*3+sv6kPU%(MDvFPcUB5K=w6eRoR#2*kx2m{MUv5=o1(L21&m^Q!kFfsO;4HBGrSdgyiD^kM z)H7W7d*R5Qx3>h3+9CTBgYUrWyToAlYqIIN#23_V^lLdF3i#)YJII#c88Ik3kThS0 z9P*hk2;~|dR96%N!WIvap${vNDufXEZpZw{^1!43(iG1CdxBmEuV3#to?Tz}vR_U@ z5)VvYiIrX-eX?JE^!8r^LSha~pWw5Dt5E0mjYAI#pWiYQ%^z)h2d`BL%R^Ss=ESVC zUl`w>R?Q#j-%>MB=2SVA#2!pz4@O_a2CiFQV-EhjLQv_|^=|GpfaCe+!(R#JkG&(; zy-%+YbC^^tfCz{*fym_?_*!alg`6)O5Udc=$FQ;75UJKUpkdrl2rhB1tWX_iiPiQa zDU+OoFs>^|IU(qrn+UF$FI?4-#5Q5ST7dF1K_OZ$2 zOhn=EU?4du#8LI=ZD@LnM-OrWq3QX`LJ+vkg$f|CUZMOk3!|&OL+5$J1KYRWoyFX~ zys0>0P@a(Oek16?EWN@XEAxh1FChgrA({03)k}=nZz7G+TGXu~`H{6LuFSp0i_h=K~t z?zr4`>7z?&*b_T&8JgKDT%YGN=Jf?a@}^i?d-yvBJfJzET{bk!o}Jyvj@usoy{(4` z3!fX{>N!0tT(=&}4a1+f=@I*QP{x;mOiD1deOJPTY)qfhXchK&1OvBYGvTREdH=9&|3T55aQyqeE0zx8 z(NGEi1Je&i%Kn&z6lcVHt*(m#JSaP2*c!l52&DcSf?R8JxTsVxt$}kcCw%0 zw35Hl9LLGWo_E<<n<$@6k2wziFQ zYxAnNe@RyBcoLg04+ahVz8?(4dTiHg(_CV4!Y;rv!BI(|JCJo7+u(n7bCft5Ma7{oK*j@<)CZ=3HKOjEwJViWZJ!K8}Zh38as$=fQ zRu9o#xN7hnSlDNC8&!Sal@BOuMdhK$2ZWXRwRBJIWUP7A0$SnM6%>2{ei>bem%@OiJ;|!d0#~z(-l*HXa|Yx0x;|gs~=Rj5U0)NuM(6nf6U3 zS)U+%Tllu75~Q(v3Z5u(rr8qZ3FjYdYq`kxP2@(~vGulFi_v{yJKd4}@`&Ly&V@r7 z*zuy;f6s6kk(xx`ruHB(?xP$@B*$#hL*mPBSv(Hx_`*noj3}z(S3|KJo@3lE2OcjsYFfm^ceLFbw5(N6gbT%DMO)lU)P@X`8 zUE!j?3ZfUt>At(Yf3i1+DL^BtN9oGy*!5`ABbexos-Q$mkx(yqBv)*=5Jho3kAQHF z2W5$bS}B9EYO!v8#XaC6j1u7@+webhLel%Df(Su7SVwF<8{uN20+!U+ zl$BU5UcnvA{pS?=FAY!y+fL`v=pZ>-Naf7!z8$zHJmE7hJ0!w1qdw(#-$H|zAi6

>$gBt;UT-NZ%aoVRUR76mF6%4=5^MZIU% z_oHUcEh0f1ge~eRI0%wNZKIoSE&4fd;P`vtI&AfXo2i?+yMlofc}8UzL54b$Xf16e ze<_H=26p>&)stQVj*GjhAOB#kwV(Jv%5b_*=C?}T8oSf|Qcuv+mYeqI0Nh%D#%>iH zPJ2^7k!=NNqb3Kg!6#y<3ULyo8nF=NjmKMO{Ij&U+F`qVJZ&6%G{t$7PG?52iGO~z zqQ84LbH7!&t^M=e(vOpr$M)tR5iUuf=gG>CqG;B^(H1eH@}?@JQ^>`1yWX7UXVBrz zbXEsc(ZLDY1W`L0oH1RYAo4R)-n65_#->st*@)<4kGBnK{YYyIWRf1q#@^Mz z@4okUH>jUUd3dp0D$nJr=xz~@fuLq;ytCUw%CjgrLA+C~X06fFCcQb>jP@XNg;fq6 zi;B5f5T>(8f_(xNv^WKkWQOE)dIP3!Ia#LCLD+)IA!J2=1=654YDO3}7t!tpkK>O5 zpjda0L~K>s^hzOyym;weC-R+=(ivvSp=vDNr@W>(B9iZ!#M>9q;ZRIe8m^m+O&1m| z>&=#119Vt%^Hr335_d)B)2-Om{&*61F@u@?M>#+st`qk>I(hC2T2b{=XQ~NKodX5W zwY=xASWj*djY5H0Z$D)in)Wn-lqoo=niEHDWJtRV&cQj z7P|G;2wCI$_ktTGCwd+8W@jQFt}=je_X6HHksg7o<3P)rPhlwox>k}R?e924wHihE z=j$Xsx3kDpXS&^sbyYI@<(LfX^csI~v61?IAGO-ew$uaiD{m&@CQ#Y~sqZY*YP0df z6@RF56ZeP3N|8-Mjq&FL&450t-}BPu227j2@0EyQJ5pAKcu+i1a5Zr&7Bj95M}I$+ z9Q6zVUZ_36N4zmK{Nin)+4xc=FP~JiE@wgmsQr9mn1PvBzWd_!5*>V04XP{ODFETX z7JgT7 z?;7P|enrOY0ppg;+qnd}{6%m5H!h$Yg^l!Z@4jAYqK=p6dg4~$V=Zhi;fgJO$X%G@3E~CTut#je z|5X0Ricn#IXj(pkvDz!ndZy~7HWf3IEbqq_@#SykdVIx`Ywz)c_$BlX z6FPnLPR4x(^zTz6q0`TvpGSLDpR(D-nY~=F{NN1^B&x5&WSz90mg>&qof`GDm9dht zeJgvZDGRvToNW-hNDm=7;1Qn4;Q{V&HL>BClsvnA$@tQcgygun=XC2V!tuaKllZO; z1G^iH8>OyGr6Wc=H%Bi&ef9Q9V>r{AvIXFeGOnr?AD{LuOzBUCKCKMxYZ@%7nU@`2 zDF^wyrZ%Ik?#cGdLhJRr#qA0HXrxP)TjAS#Pq&5vz@<6c+49)|Lu3}?#YD1>UmwCs z_<)xhjJ})~96gBJHn6D6C85*8u*$^cqwKmW2s&;88VK;j^2d}nBuE^?M(3%mp`p$k zF5Sfbk4iTmH60Y&4U(A{v<>GM@a#C6no1qx<|GUkKL6g38e{{o9gUC*YPGWI9OV1L z&Icg6P;rfuq|QmM8!9>oXv8rWeMO)WEy7bdzie)uRuRzt92^$UWVpF}6dGqdIHf2L zzt&`n?))4~QC)OH5`Rc0No-i)u#Gn48n$ETyYThPj~^89te<30#DHLo$*V+_;BiMu zt}#RD2SNFUzcaw7nLMvdA4-NVzqX*y|BSbl7Ux>oM`-(`b+aFn1L^ z_dfBxy>ou=1?Tfpq~%vS}L{WdW%Uoazd9&Fhz~0le{)bwm(6OEQupV&PnS z;f1Kd3%l>0nM{n77YG*hOq&rJt*%phZu_UgHa1?=Z!e}UHZWiGXIXY=emm{6xF&^g zwCfnz8Ce*!Zm_O@>Nylp*}(nD6Krt4#P3{Mz;d?rCRTT6vZPjnV=NYDi$ zc#ZpUIbMlUqFNV+eu<|(uu)#w3W`xdmAH)d52}ubBbq2mT|p~K$hpQ#j*hzP)1n3Z zbr&zqey0Cx6X>&*L-Z)Yvjy=hX<3pr)$Fm`#nEOeN}9$B-|MofLMiAFf>cD^^n_rL z9t{R8a3pA=Ee|%4=X4WM-0o1esu2>(2JI|*`w*pvP*DqQX$7SRi>dIEwhB!)8(|gd zvQ;CQdQR#_o1KgfI_N%n?_F?fswze!8SSQM%zE)()kfu+)<52lb0Wi+4%s>apxs;Z*SaI8CUyj!=fr6BqY6hSWl9>HLW5-*+aPTbLl@BLxh zJ=fiMKi+5m<*!H2UiSEl4~-9Q-+oE?q~_}nem-^99rv%bA3pZY_OVYMcx27QE+8pm zl3(yHkd!#CN;A&r_2{(!JpqKNsK!mOfjdMLv(;n`DoO`uFu(^p1cVOeh}q=vg1HT; zRQN+ujB=5l9xI~gbEt?e$W~TS0ifOj{A+nxec4u~9*h^$ALU=ZV0M}Nnpc_mzS`y5 zLO(acHCvtOnC!a7yx6hIyw-8E|539dgg7QQMw8jXOBm|Klr1_uz;l?UP|dh&qsipt zJ^RTc$V;Z{dC*D$nrXJppAecGA|Vfz_cdZn$yjR>y;6(XvT5u2>P;^UAbclPBEYDfs-Y&557BfJXZO15{x@;F}r8 z^lrAXrs<}8O;4C!H3@^c!R9~koDF0gnM6(!6eA}g6Da#@9Pi*bo--q2GK1go9C?m9 z@py}_AfAU)&}$0cM5aC~2#TJSU8-b|P)QjkR`{M-D5VK^*Ugfi6DgJI!(F9~Rzk(e zXm*q$qLL8d2)&qI1BFw2={01Jr3tTRJ^dY^9|OWO6kf{JFI0wu>Y4JhSd^gC8L&~PFj{#&7%*Efl00B9m`A`0Ov@;yQ7xfz z1VYq$5Hy1-Mh6?iUMr)6e2cTzX5DFj-2Rg3UDF4CgKYO$3VfX0S?Fxs4>-nwcBpp6 zX|vm3vsfJ#yTf8NgNo>O+7R8c1sq$8Rd?caqn@?$_$XB$Ks7x?o2N}s=c+fT8&qBe zCGjvN@nGapJ;aky63@nv?EvnItauX$RgYbkJ^xBsvM*GY-_)g=dU&8C>_MwF_yH`O zT5aeQ7l4b10UyIWTnEng1!@DjVh=mR9Ow&jIwbG}VxymT-ZT5g#_j7bU!VWPt>jqi zvqM+h){G4cZaMRpR$Q;HU3c)Idv^`3aFM?~omed(la+sMwJN@|R1j;>d zjjh)nS@B8Y)B`tvwf&>k?n7@KGVhUxu3PdXKhiR@b7kj?zyEMjP2%Ub*0x-a2jQjo zi9c<7@%%^CPgXTOc=wJS&;b(x?_9#;$c$=r%Rw{d;Y$p>3|L0BurtBDY%jwl~0T=44O$+w)~AgSv20x&fIV)u8TOUATj5fNMbP3)9z~ z1-Ua`hL+)_`~pLrah~ZK^Ah(uv=*=DR~eQYSD03rZ*jk&y==GTfTrvUgnV=r3Kh{+ z$54!_Pq0JCgn}Mqf@W;#gxmG>{1;>_H<4+&8lP{~L!diWjI64aSex)|dy75u8z7X0 zGceK-%_Ns$t*3SOoh30Q&%~^d*;_R_wiL zk8}PGchB5%{KS^2cXcQ{xaL3-VcfjoPk7Yy6*o1ZCUFmB8b(oD)w3um!7&@had z8);S{s=(CJj~ch-#4x=LT5wvi(C)7 zw!65V9VUw;kJ{Y`2$Lrq5<~gHp_U2M$OdSY_~@_{BsbDVWbemi$Owq6U1(M}7E+vU zq%f_u$&#jPMB5mDrMGN6{A62!zR|v5+~2naDVq zEY)szEuA=W*|2W7+jDdFp2yP58(OYg^0$YcK2BbLbitxsPb^)w6^~SxTs`=P_iIg_ zF|)AY{S#QdH}P5G$HbS3-Os$hmEO1a;Qi|XazSSHLHM(ZkFiW)5AY)dBuX+7%XzLG zi@ZY0!LLDtM$B6c>0D18#ZQO^7$2BA*t?cEIr!~6bm$OQb?DIf#}6HXd$X((ySD|c z)QjdDZ!+FteAsx}C_rDvlpV7d5Mr@a=;{z6rt3eT&nPGw6XxCBSIFlP^QG@;3nlE0F%A3fE2-_~RJ zZ};@e36u!?f9;14B>IqX_|ART-m;F`;yb}__!>B+F@Mm$5And0{xplm^Zg=YB2y#t zj-`Yk&c)R4gw6HU|rix3s* zB^0zo8wD&;q&+Vh=-oxeYtcdFKpYi~nF90*lS0okQMqu^vrN9itYC;GokHo1(^-as ztdPz&{o2TwoGOT^{FB0RPSx>V<2`Npq-yY6hOmvwmNV%TQ#uy`KLD0;P=m4}t&B#o zsUVi-n@Y5ByC~H{A~;-}N<_pW5Hb~ar^rLgcaqq)*XK{2wsOPe^?zEQxC39byvM*n z{ce0P@d2K5WvutOo})IcPizyQBr-FL;FPPwp6@Gt0xgA5v3U}zMGLa((Tc2%=w9I|?osnT zuF?F8`3O3d_4h2zV$0I9vbX{ZNviqCII4*aN@lF?JWnE`mXS(&dM9f5KP4^*J8B^W^Itx7_|v z;)mOwOMJcd07c~o0ei-QL|dWnKG%yv*|@hMC7qfYv?2pES;pBc$s;qNk`lQ1+I^~@T{^?lI>YR@jr-{Q=cJ)^n6Q6)qUZM3snCWw zpf~$KZ=%?)`}_{SlhowlD-CvR<8pIR*ybit6eLWrL$nPTi|(L>0}oinIF=X94RIVi zS6&TE(41mV!Yo%hQ*)egoLMeEy`Idg&%=3Hv5d|pWhm8m2>#lKw z$(#*|BU|22Y;N3*hkdXa2;^(xVa0x&k--55&)q7Qc4d z>Pm^9DP+bW^DuLbxz^10s`5az-!=@9(%uvwJFj9AiH~9#D+t5mz1W~9XqGi`5jX0 zNHn$13Z~W`UuyWIz^s;rgpI-u0b~`^*Y~%e2E-R39SuV#&}k&tLa=iq;)GPrk@kWo z-8HDd;Hj4_23FsSJllcZ>`RB2~9>)RV>k7c#*ml z@Qe`J3)vJe@UopYV}>gRkIBU%@UQeREg8TG3rPlW#|%W`ID^a+B1;CI3xV&NX`Rp} z0D_G+4Yq&QeYAN(b;yWA#$m=9W392?C>RZZJxm15P}zS5Lj3QgpbdoDJ$k%4&iGz; z<^sOkXdnw-8s90tdfCBLq_~e}AfGj9rG^j?(7&oKov8{!=QSGier53Z&3pTm8T8^* zvA9gi@s?2|yVncF;#86Djj*C_jFd?h2mI`G`^;WD6thyrEGRl@@t2*>vUE#vYQ+@4 z3YdbaG-B=kS2(i&mGcQ<|GDM-4Zrr|>(A9w3pqAHl6i|r|X+0#5Tu>*VEle zi~&BIB9J575fKZ7j_!D@mr(BR85=ANb`OYE3!@`rV{?V;xFy1RZoRMx-OD|Kp5op? z@3=lkpSwTz_yR&46$rfqzFN55b7$N#7bRdu>qa|fxg*&BZFdN3}dy?&T)Zp zS!1#<4_%%!LzwEE6}v8WYv9({2c8dOUZV#)o04zu@|V%qFZ3S%GT!6x6bL;9o^Y;w zPRfsYTo7!5uj>;C-9SQaFlgn7AvY+=zL?!Zd2i3ixSb8mm{{R7^P%jSNS+q-D3t^I zK;jD()EAI~a13P3$neG}(nCgXhm2>Fa&4;5R-S3|A6qJzgOkQ_cNx-3)K}G4tJ5A2 zL{8PXx^7-HHPN6Q_EK{Vd%J0+B*v125Vm%Y%tZ0}ucCmBfJ^4Y=>Cuj77C zUETV{wmDBN{`$6KiBGZr!|CI%nDRh%e0AA%S2W}C$B*I3`~Q@9^!T2{iCc=Q@5g1k zuyRM@y#$<`cr&k;7kIuEv=dxUor_S_r?9Ev$+N1lV9@Rf)Cc2IQ6_q+$4TJw}9uPd0n}(KyPk< zG&rkocAwmSc_X^+XXA^z#LyH_E_27l{+s>8A9a~K z2J@mgD!2p+EUBzUu%jFdx;WdYEoP$-hIqwqkVKv% zB97+fz&>!m{T+Qe6}t^S>}zqMj?9T=_EE(lJPg<1TD%d9xCuAt_KvhlS~awIpd3RT za0i+}v{=aK4zy`zdR+%!F+3BF*{I>Ahin-kx3witY@?_yc)O&XT5!lI?5Qm*lKw5k zQ^7YlMadcZL>irKRmP&|Dmvw=?l&n0EVOqIl9J+dgp!-b(!XpdI2{K%9c~xzW=x)&n0KTfb!0xd&cJ{QVyM zo_h5ymtQ)+Pv2<~_r!Sjho{W_)8rX%EVrz?b@>%TOG;+t_u8}Yn#1!Kd`%^_GsHOi zS)S@<-7JtGbU0$u?d2vie|IRA?Ri!VVNygB-x%+~X`k~e-N@jG2Ou=k$!K_PS}_!XzBzfjryuT)G(hhb@SL+ptxer>`pn742L_3yN`GGKT= zI;M>;PLJE!1Psn3^(Yl2$OZuuq3EMS>PLsPk`lOI1skIA>$yb&E%RIrQ`T&>7*$RIetO$SFXL<9#Rf(%uC z9a4}%o?^gLh=Dnp`DMclxZbeQ0NWVrW}@epO(1v!*-Qwbd$f=+Ody?w8t`75h0}r{ zG?6vCjWqz4UYaqZ^MB~iL(`7{l0I*Xr=px@%F>B4nkP%8!yLoMjopQ;N>lQ0yJQ=t zD}w{vqVH3K3srDhKAhGKPTNPvXnRyuu?bdmm@bSF+&=@=^w{7(VFrSGjJoTsX}-2LR=D6 zj>HkRi30HT8J>$u)P2_#R@>9^edB1B@n2Pe!(GAu>l((5iTTHl;ad_jHi>zxj&5WZ zw+@h5L=#!3=uSr&(j8?n(gC1`$Q%){SPlp>MRyaSoJZwY6v3_P!GFljCLiJ%lHmX@ zMq&H{UXDER_}MdO&z#b17nK#II9AlsqS6M`fx_EU3CSP!;fc55Nqc^Vs>A0`K+^#* z2PVJb1N_A(A9W`k^+MS!7kJISf)3__f--YAXLo1j|&GW#%WXmZMNT1%U!9>A5BZy z?rcxIu%NVzFDo3tUsgEAP!*qQm=RxST5WpO^bhkt;#&7o3+C0L+){UO*x{MbVQvS~ zAy8zguxzkwwj?dWX3GxC4;Id1O3$bLCNsnKjP9iK$}DVT$Rg5_Ba0=#xtqw7dp(;R zfdJ*>8QsU=p>Lj29N>%{CaM#W$dDr%&ZTgiHiqA&;-Flfay^%3Bm1t=6UwMhM^PS(WCKRMX?-+*ri9iNqk@; z;t)o~*+_cEBLcaNfBrc&9jD@%DMXp`>rw_XGnEK2H;B!OKy^`S5}3j0&X%sFd8r8! z7ZYYdTu!IM<&MNSQL>QKs1KaPl~3L`bH{=H^DpZ<>-aQW(s#`bi?bR$S0A}~&6C4a z*`0GB;J)hM-0{V8W=wx5mUYwUeow6&vV4fcV)o@mm8&~mR8{AxTQ^9bIIz>A)8|%R z)B}H%A5ilvi!Q6VV(3NJf<&(ZiKfvnoeNv9--iX0HCN~=^c94P?1pTTot+aX30xYe z&EA+T_OzF~%6)@fgMHP8YV%lYwd+dXOv7yRbnDfwt9{Mc$4tlF$GxB0zjJ@*{VeNb zb~4)=5{j%vj?O}bRTl*u#=>Y&ZaW zgZ;a=_nw(l%%d4J*aJ?+Z#&cBR|U)2Q%Rwb7OD#az-r)81c_5ck(@jZ9E#sYk2^lz zIB(}wJL>erkIx^NMM_8Cw(#jkuUYuCu)p=E4MR7)Hb3!0;@t=EoiB`Dcj)yaFCPNj z9G3iwYXQ9S;c;opTWYz%imgUWQ!cfLL%c0ulsp06h%HXZK%ZV>PcN}CT1ll(FEI%} z^!CdskLh4_G5t{k-Cs80>_BgOZ}&+1NOz6B#(f{TkGt3Wi28`nWH5V`nPdhxQ@F-d zYpypxX4)g~RrZ)nF4HR0XN0rlOt8+i-eBdd7$8Pp+?nNpYM@yg(H3+Pod(CjYBi$Y z+8BVQ=UNO5pK|>0e7VMWHpXDxvCbHzGwxi*c;aI`84z&h9+q&nR3Q<`LQj$udXmK8 zRqEm|J(%`vfGa8Gub!8FHHJ+M>rvG*?@YX9UMBykl@+Pgr{K%{L*QE#cBdxGl(IR` zZN4Do99OxXBKCw`vy_08Kq%--R>VceQ0A6YT;R=m>v>|vaRm8UUTzGJI@*6f## zzWd^h)W-A!o}EaIY~j)RBMRZoQFE!ek6GyI=o+}3j8aB8Mh2#l$-)$QlA|Wjoc*@& zj{PI==l0JXKe)g3e$F({m7N{;QFR^Uqq-|~BDv;HuAZc;c@XJq?&lZ~xLg@yo@V}B z{L=L+K4Vd_ld~9AD`=!q(h#U5XY`cN5qxV@RgY*`)pV^!tJgp^sZ694RI^dd(U{Sq zs;Y@pf;6VE8cT-J9@i|i$2FSPVABn#kA5keez3rn`+{^>Iw2(`p0a4D#7RLWatx=X zU`iAj+n8CBnDvpo!O~&vG_AU>vZb}X(y`YO%1=?AmDAsEdIo+}UAQa7VgTb5!$9Y7 z`zaeerX0NCooi;keN)YyMY~%=PhYd}(QVf)+Pdn&_2(YmjJdVLFCms+`w`n4ul?!e z<8K_KJR1Zk8U#Ia0?$V3?raorlF?kXP%V!(PT^(=bLA;UgERH+3hRJV`UqOe3b5H@ zwqwGtj;@(OW+b)rSFo!aNBtAh`>bK9N)yiB5{%PEII2@kqcYRZuc-(jjPth zxdPUW>K2u#D(?>{653Cmq!OD!vu4l+=yw&gW0M`U$E};e>M}RqoSE)vruLt9shOTH z=M|JTn6cTHP1Cl~SSelWmrygCjk8@PYObW`7L;Z<6>7(+0OM3j!2*m&EJIB>)gBY8 zW{!!4`b}D`nTpN$XpWli{WwV{Tsh1RmplxDjUq*qd;E;^V|W)X6{cgbAJd5%M>OS{t`7hsK|nv>45-L-kM-FMT%!Q=fsibwQ0e3-j;eci0mewW)GQ2Nzewf_86 z(1=SD!?|xjBj~)Oxq6M!C^!m@QO96oUxz4Xd9w6;TUDK2M8v_y$|JV)GE zb?fdLcfFf0gf1te3mL4r8LYY6V9m{7jZU#-d%sD+8a<0nxlF^Fn>qyp*(}TjRvbk+ z*|{%R4_i-IlU6?4T45auhK^~B)kk@2&0*920`yL)>B3fqZB}o*a6y>DTYN}6cstXg z{u9Ero;pis=AKGVFglfb*R2kWlA8{yG6ym*HLr-`oEu^*mY0aNpPx2$hq1W#f@Nzw z7QC?GgVR_4^_Bxm9-H#PmOp-T&tuD$Zri?O(YCR^;nCvB(9^p zo)9+sQt9o=kIQ zj3u&zvP7l^hE2kyL*#7x>|QoDKE%Z)YL<2@ZE&4-ky_UlSA#3*;$6fMO%2DW(1z3W zt;!Ihe`>_D!SZxM^;g}^w3N>b%C#Gm`8DMaBEr;?Fqdi&e zscD(j^XlSkju-UGn#RUP{@cTc&pG+nx#LtW;hDK#=r}H!sQbl~4n?9%`=QtHiNVmAs5!EZif%EWX9R zE1nX+mVOrhVQ|_MMc_D|h@vFR2H21dhNvVuBuV6WJ}M{#oEUxk1J)k)=9Huw$_?cl zqv?dTd60~=1gDmo@ftFnE>V}rv5wK*K+jL;#N zT^@SzcRT%M>7;N~D$1wnVWyY31mg&nKoaqjUngeb7d}pGy+PQ2{s3-BENq=jvX>;T zpmKQ=knT(uKiexXMPx(e-Fu{l%uBnb)}6bg);Xymbv+8OY8A4D&B6(R9}48Oz-0@y zLcNd_ct9{m`DdsgVu1r)-571K%KmU!ij=QX`s%%+Mxi(EEC&(Oeqk zPw}VZPu!n}gm;9qA>uZKBC^LHk~uCC42Vu@IwdSdd|p*K62%*%TcRZDcKa;RjT+W? z7MZXCRgI;iSY+a0GmqI@lk`C~!r~JXi%(c0O3O^g(=xL?wI*Dxn>^8te(Yzr^S9m3 z&u-_ZuViZUc7A3J{4BuqQ(a<4$Zw)I_GdC&etJI_A|;V1K7uffbxAg&`o}T-%le)E zv1}D`r7g|*j4yabcQBKaVudB8lDW|)yl8j0e|!HSlZR+M)h;#BE~NzGMS$ zM7iK30>m;U*4*vq_*hI1d(2_d{Mcr8W(-o=MW=6Hv7rz*n-9;-67v_^8>p?tkIh_o zSN8Rdv9w! zmhmmV0C{oYWx8G9L_680HmRR+U)oP|XYC?SA-5a^X0eLzR*!g2dXgSKWN=smI|Q2xoW(Aqf` zd|DHmb=yBXDns0C%6Z#|CD>X1vi)B8q+Z%Dr^Ekk-iAxmWW}IJ3MZ;Dh~oX&s@T#@ zrc3uaw5|8YKc*N(ommBq_i=aW@e&$;CGH(J^J z#y$`u=K&YZ$cty~b$Zg%7`|dkM&E?6ZH{ZQ=UVKPMZtUpH%b_#Tw$8cO%bLj zvrURSz)KoHh9lR{e0)C>1F7v*aET=?(h09jijfu4?{TGGj$s96Kq(XKxzW7k;y{CJ2sCPv78zTF#fVoIjyw}e-L|*3+Zr63I_yr@zKyZ z{g)Og&OzW@eYU#Y@Os-D_%yFU&6Ye;7%5*RTqX0=Hqle;>?JOgex<9u^WW!@oB#X) zc3t=Fx)X_(eY;k#+O>P->RrT+^KM<3_@wpFw>RP-Hox)u8-M-t>#sqBRwrigVc?(* z1@Tq-ttPdjdXYLvHV2WfFJBza}&8iJ;3>kX5d-?~u2l}fFSD41T$NOg* zW|?NFbKJB1&7q@?k31jwjs{OTP6bbfk|9@wkE?NKSH7p(j~}RxQ$II;o0U+FnuT)( zXo^^L1uRBn@#Y>;u&U@vjZ&}hA;!Xxo_>M#3*AT=sd&=czh)e|?-?(ZOuAU1vKC=; z9v5JH2`RBf5&GAe;Y>nUZI=*MFGvWV{pW-*8?XV0WC`Ky{@p$Jf{bt`A^gwj;M8=S zvi8|vdj?cpP6vA>Bv0eoac}h_J#U}B=E%%zPFy!`LnrOAg^Qkge8K#ki5bH4YljbC zpS=6w#JP2Yd$ykA9yxUI^>?LCU6D?t@s1|DkYRlQe{9jiQ!@TGijek4DYU%-p9 zW{?fC*{;cE#2K)Wbv{z${EY@|$O+l8o#bf$K2~b;Dt^(mc914Ak-xxprNSk#ojW6hdl^0)n zX|F3CK|Z#%?y{bb=k>3snb-O@?S+cuSKLnMh0dH?zmCsw-*pRqGMW&z7%QIfhVk-vWxR2`X}o!+VWvD&nQ5G9nrUu~ zHRf6A#DLrm-Ezk%RmRD&$@vQ+3v%mo?@;bH-JX9};ik@yC{LIk&U++(ckItGSANFl z$;lKVnL=)+ke`Y}(&x}ZBvZ)E6td{tJ6o`9oFOl2Qg~k|=H!i?vV1fdlH)C8`C4y< zcc^!QcZc_|SG0Pwy>q=MynMEIgO_-p2i`bAE?D+ZchJ*StYf0$BM?$x6|;HAyB)65 zR94ZVm15j!eAetNk`-`Dd}>gSg?e9P!nrSWJ7q8*=w!_HVPCFSw|h#9>E%T%1LjFl zs#jk2uPWXUz0w<^S9w{8;$;~`ZxgvzvL=CWo9wyAdTQ(-l4NO~|a9JftnqSQbn}1mlU%q@fY6nm>qONXxjXN)v*NJp3?biKw zQ(a&Ql9XAARqV3feBIJTU88rre9zEJdKBC?a@q6av>kN zAHx>~X3d+@=c0%wT0CI+kp7GFv*VXtH_bC*{D|(6K$cy}ExBar_;H&rf12uPZt_P` zAl!r8bQZQkrxwR(gx#!P0)=`nM%ZLlFo#^K9JeZ9Bsim0%|SWXY>S$3QZn?F`_@Rc zQoXcM;t|;BEmDKjEFFdQm|04B{^;l=Y`ph9(ixPC&|k zk@l0B$b-A>ocd4U5c`v))^hdKnQ}H7(OOPHUMneK@27z!kGfNX5j5ATb!Y!#z}^`p zs&8=lRkI6Mtk}J0k3F6r+`3u4c*;X$(t0e-PTaD-^^VFyAB!Xb%TCh&d&WceAs@}+ zLySm5b{Czfcv>&9IZESpoNKVVOxW%+0+?&iO{l~b^|-0y>SJE9oB6|T8%uPy4d1&N ze7oB`VYefl@=WK~+$^+lQ%~4T`y=Vb&2H=-;$x8~b%K4TeWcd6#n<3V`goryDz_O9 z`aeS<`G|Z{=H-mxklPGLI=`o|tRB5TvllY+f@PLolZSXO2tH{V?f33(c`F+Qswgi@ zzxWMGID{Xd3lo`nGKpBQHQsnU^$pzxHdgbln2Zy(Lmr`Z1NYBxr(Ll zT>0=&)!1m%t{y)8)?SVGH(oYpXxI7V_SW6Ebm>2Q0fDXK`t|vpN>K=i)zksy%Q2-4byY4y{gp9z45>1Vm8asVWQJje zya-*3uO*8Oi{xvS)p#{o#oa8eF|3szKzGZxDNmz^l;_d2(oW@7^k?NbdPn&VeWsj4 zXOu#C9L0lNNGsY5|U%F6z51ThSyeL?pz$BFg| z+e-w&WTaCpK8i!%!0%A}P#hJtO%Us@NCrbxRvfadAdV1lOdJ?PLlkgX3erW}K=>vFwJ|UX>&&{Bx_RH zNf9C8S&$AJpOyJH5*rLnGo9$)NFyR$mQ_^{m6wqn(mHk8NyNA@b>3;}Ruo-x43QOvds51CL z10A@4@1T%@+7;TZ8mEO)e;AYg>kB?p&?xN4+2K+(kd?}i>d$89mhz%Wwu^q*YZG|H zi$>XKG1ydO=NwYN;5TMLtQ3_B3~@^->MHd#^s@Bf`ir_$X&7YeZSAiOv|V8xVVfmQ zHcYcE7MDm14Ex0W*1fi$#B*}KQOig9<~&QjHP2S$=z+T1t~IPO+|Au(dK_;f+l-Hy z_MpAue#>9@cg17!SNvDjFKuVUU*&+2&7n3is*0(JPt2qEB+iUYQFBxBUA;R+DKki40gDRE*kKnHqZU)*+9-a6GG3dlE!Ea)il*=&ilk6eq2{VLlrz%xj`XH6B(_`Lp3~CyFnuw-7=~Iu3;HT z4wUQhJ@~Bs>{R9wc`MIUS9`#(fiG3EYR?yKnx&?f)c{{T`LU@pnA4si@6_o7 z)Mcdo(9zmH4#ko3+|@Yaw5ikkRqXU6rkElqNJyy<<9yi+e8^yg`oU%oK1KOinD z7pIqrIqS)J@fL>cP-K4+h=@+5QE5@w$mG!@Pxjk-o;XKu1e_sH+?>Z2y6$54 zyR=UK2W&;P=o^j6J+~0Mb@_yfZS^0_cN1mUVuj~Hllgs5Mzt4zzFtHGC zI~2UaWjKg?NY}YTzPuz<0^N}HT<;AIhoWjuCv!NQcAJ7JpMmk*!wkb?x-hBW9+%=a zb%((X-F%jwb#k+roIxU|!adJ=n5WsT1l?{$cRCe?JFpUPyGdW+XZ|Zad)y7WvDx9= zQ_wLo94a_gI!f{-`=teMTG_)JR-i7g^zHsmb!Rv^SYWI$UpIgE)<17}mp+TJVnbD1 zH&nMu${WT#n$%Luge6qBPwT5H#Q|@$F7J}>Qq|?%4UxP87XC^mZ_1a`LV4DZ$vX?l z=~p9iMR|En-i^S3(-RRxPp`NSp|miAeQNTNU;TYYa#r*BOOt=c?tA6sg_CdcRyKKV zS=V6CpC;Ysf5@&XPHsTCGLx&6-#|y=?Dth2sndgo;!=_^!|!l80tLU3b`{*|s;N6W`-sog>TeA!4;TH#KrytbmM}0?v|Em8>@ZUY>&2z!2Wc{>8g#)f+!e$H^pE499R)cR{MDSPpT1*}c!)>Ck z#LOWU33CXXk1a)S3iZJ;g+!3n;m;Oh4m z{CuPTxS#tc*x*5fHPCQE7g4gd3TbzjdxcwB>7H_PHzdY84b%UW8tG*}j6uKf#~ZxSw_VBjPUV4+~B>*phmAPxae{tKewktp?%zWAG=$-*LjZpjwfPTmbGa)XI}e; z_7YRY*>cDX&E@D`o#K7GMl7WHLZ{9(U2kR_!yjj2^9{aPJhbl6H+#t1^-_-JIj_zq zm~jAuq1|zme~^e&aoI{<7H;r7=4Iq9csF@V-rsud^6BX&5#`-M`X0vi5nDmqN$j94 zU&y1FVeZI?ZbRIasoo_$FC4Gs*=@?q` z={AHXi^b%u63NSD zmmbdZAUGbr(6RK)V~$4gS_f0-_hdq?{Oe<*lPi?#&p)&M_M6zhJ*a4o2X8xn?Z=&8 z7VUg&auqAue~dDBA0~zEDMT?9f1LBZ%07iFyNJZz3y;f-YF&Ac3a;J1bHk*wU%<>#H zQmiPx!MM1U83*V|J#&i7B!Ir4%my*M0%&e?}r(x664k zcDux`)~JeIjJBj=xFosfI60k~D#|d89YujG{^U?xqMSDP>`uGgUd#JECXubjrOWTt z*RYGazkuClML9vF={4*a^;Kbuq&A6NtzuWFvD<)MxMmQ$;c;ESZnvYgu_)4NG>u(% zxyb3#B@kV-mhQY5yCth>0=oxJ61#DzD1|nY*iDc7QtZweRk6EVVpipLNgytP9jfN4 zVppXOLDs3E*uai9n#Mk3^)7H>Wi7VJx5(j8$?mXUgxzj`7k2w4*zIIjEuC`O0bgJj z`sL7UPGEOxwY+Bld%*NwirrPCDt0XOyyP}K4(WlWdC^>+3)pp+xTfaP(PTDL=$Avc z>rSf_GlxB7npDeQ=qDx>;&y1299ERaYZ&A)z0!xmnufQE-GM5W?cj1dP*l=wrpxUj z6(w;Qx@*R;i#m-4{bcoaBu+W>gy{V|HBzl80}FC80zL`Eht~3;xeQrcQr)6#SYoSQ zubteEpx5Ii&8>P}KA~wdh&>U;x<{)9IGrxiprb~OG%L#Q4+hB>3P@i7trhf}q6{Lb z_|Al3pkY)4i!!exjAZ2WYKA9(0?ib5k!@Wpd;zmd=Yj(epuyKvHQv86WFm3L%xI$rEp&M(En!=Rnp#+2Igvj*K3j+ zy#mtP>h#4&A8}HrjzW;w;T*Sn5S9NA(Wpz!)M0Zs_ zEG*4U@+I9OFLk(<5bg@#35&nlwe)iRt$nh?kaE^sX6gL;%cPnHk#97+yGDpBi~(61 z$2pZ>1Neg{{UuH?(^ZwFq`bITrfpMKHzG_yy2yjXEx&nj>OibHuM6GhaEOZra5Cwv zq(~E+L3hp`6hGTGh+-h=7-W3|d|_E3*B6<}*;*2@aq29pjWV}I&yeypfe}KP-a0%4 zA7y33TGZc9i0+3CIFvTSG>fn^1>SJ%6FvTAa-jmMszP~c;R_aM4TY_(+asls{^xl% zylR$SFIE>Axo|;P^T-Ek&j zL~OTupCD;ca!W`aLPB+*Q8YJZj^+0G@li{(bt5&;P4>{x2Vd{o?szVD>BWUG*ac+@WP%MJBuLA|p&*ayrVl=16o(2m!t)9w^zd&}$h z&0J@0k;icR>-f6LduO)Y*Mu4T@20-O)2R&Sptep2R{T1A$4 z1#Yv*zFp-q%LNy1Ejqvn@Cvf+?L?3J`7+foIbB!;Tk&1Fc3T%s@e(KD= zGt+NFw%?Jc&mRx95KUFjZ${gnwc!9)b+8ZzY(A?}qA`3t zl{x|bvC|xBoLf9GlEljX>Qr2vSSf|0s`;~Hyg=DN&;t80tRp61EpoN4R4KzEZKLn? z*GM1hdRe%Sy-b>0pwy1f&fd;~KDC@d^-=x8>Vx-x48&2C4Yr2(4aE!hQ5{V|o-iK7^9#3pldSqC)Al4~dn(24 z9sC66lYg$ERu}jNP)*YihNhmwsd^_?V8S-tWbNbdGO^A@?lB^u4oQ??;EOMn^l+~b zxRJUccS&&B_ru6SOhx&(J(;!3?h#Zhh7hXnF+Vdn^Xno@?~_@CE&*yLkos1jBek zJq3LXVhel>j0>6xRQZ6GPWsf&YMw{A^rb)I3$yr>o3G9nWO1De@J#RhZq8S8ci0Ip zC05gTD$b$?d{VgtfOnI-_N&OU3KBJ$o1ZN!lmwy4$1TnW&SsW;VJe>uMdY`o8)w@4 zRep58gmL{l1bP{J%r2xZC~vCOuPbtZ7mDOxdSCd!X@l}jfR{3Izxm<4DV=^p|3%e@ z$*0q2K>7ree6DYaKj}A`JAgtuf-9wtoWVhBW~Uo*Olj7>1|EYClXvcoUDk! zAhV7O(e7v_n(bLh353@d+a)z{4eAo2_KO`T-xt^Gy{>#mpYb^9*m;Vo9;GfpJIPnP zV=GKlTS?RgseFG617mdBP?+KEyKQPZV?0k#T?6AQKLlC>W4?Qiw%~;BJ=(wDCg|Gz zqq=^`!0(z3$W;0Us^wo`MuC3!@=8(_ZbMVlJo?ug@=~q&DYim1TcWJKnNM>ZnZF(m zB)zyS&*ubds(Dm6`z1%zPcT(qFsW=zig~J>(W&n1=bNj38Wj^$Ej20zB*!*@l|>>^ zVY{cY>4i7UQ>eb6QN`3NrX*)*lt(1bSGCgjF(p%Z6|qoP-+XnL@6+u9?T+hXDx3T6 z%p1fDV4p<)r8KYRFW=FJ6uSh|Y0%aE`;Qy-`8ID|R<3Y=l6h#-om3qxtTU3OGg5k% zFgQ4Hl89bIU29yUtbRQK|Ki7=0X`{f&*x6`BzvtFPl8`P?FZxKG5X%`9h1DYaE-xBqaFA1(=t!AvpnC+Yd6q$5otM)G;p zBH|%xIb6v!iJnw;MdjZn7sY2Ks)Q{rF_J3RMg6Dmuy{9G8B|7voqv_ zGW3{OY7dv4WfrhAWcDyE1a5YLnL4|I;5fdbFYt@9p0Kvl4+#tNCX_gIM2>$o36876 zH6}Vh)-vDkaDL`fWs{}%S?Xx$c8E`YCt_|et?R;PW6YP;QM#Op`MH#ghrKnk`YsZj z@@z)>qZ%VyUy1PeQh2Rb+4^|E+s%)c;C#80PmfxWxvP?I{Yr0lLXW{2!$@hV>-c8+ zxO3CxAWT#>E+w~uDy1{TsG^2l@niS&?qzP^9Oq#JkUwy4V}L3KPbIa=HLwzHZ!#ud z&(7GlEXg6+*h&BqQX_f2IGWag_wGjBYTnhAR}9r!pum}_EUY~ zdiJA)lmb~|A?+tdR1sYY$I|!oLsJT5+BpgeCrWK3#sd;X;`Cr~AH~Qzc9LT8#G&HR zbr`~Il>{#;C{_U=2ZR<@=SsSl4Mq653%bUrmW7fr^)-~+Q4cimKkCDeFyXxKl`baTXWL?~~Iq#x%DB2KF2;H%ZByRyNh@aQ9w z@Vd|z*vm$c(*?#@Dm%{=6=0eWuCB0)x8rb)xGFlkZ^Yl@fe@IF$SMF*(y?Bh zg4+O&2Dh`Ta0LmDucrx)pA{~JuPUhdnZgOG6_uLkToodcS-m&kFtzyodh_`0y9Y zAZ+4fo>7c#b;-uW#^!0Wn=*+-#4%qH?c4?cgAO9V5McE zXJ_Gnrjr0>)VDAaur;$b!3V+^{+bp17yW^Tm6e&6g@vAt9iN7Yk(ri_o{gRfpOK!P z9*BAX8U|`Ju>%1Qe>H&F^-UOow*N98{*k}`FY)33LvZ*j`@c2*>nc9uzbF9Ebb zCVvI~;jxm7p|giQa14Ybg#TVr1{Q$s153(wViLkK2KGSWg)z`?3uljiRV#To0lk*6 zHMRSTxKK1PvjF0kJ@Cl|jO`3fD4^-&9F0vJEo{y3$^WeetWHpgW9pKtS zd{$sj|6_}l1z(Gqm4lX%i5=+6-)8^o&p*z9ljI+z|9bqNcK*k!|L86Yum#5dl-d71 z zf#rYO)d5a#VYPovivNS}X8Z?~oqoDUZPkjG=D|j)XsnB$))s1ige$Fy=1(&2v3a91@IXiaU0! z8pB$7DxMNDcni~%CAC#iR*X-B z8fy$`pOhqRFxhur0_@K*Qo*u)o<2)#K9bulzo71R_H9jRoiT6breI7~WnAI;>D0FV z-|_Sxx8-k)!2efN`uofNKk?&lB`~`E4jw2{o*QI42gUBM8AaL`bhd(SA7F;4M^n0TgBXq3pJ=1#mL` ziFMHmVmLVOgE%hOX&5Nk3`CsY3lcBgPF=|YId6L&yKmwieVyoBDr{AET7?1=N!_63{KEe|ZG*er)Oo----Lu$4_d$7>d<6CEA){|7gT@1(B0;+ zf#l;VjQfFrw-+2=CVPSLu|d{i`}PY3$CrK*r&2oGuQ29c-`whT4|P2cvT)q8puZVs z!OItAvYjY z-VB^c|8n=3N}I;9#Xvn9aKRVL+@j6;9*H(3^2X@@T-EdW=OlGXw!Ofai}$tuEiwfx zDs}L7$HzbF%H)71%Cyy+CZ+(U@2cU-{5D!U>zEP)MlygPSnG%VDsx?S`@_zc4IcEX1-pbbVi6mWe*2__)>fIlwn|A-Hx$LoiL$;0axJdU&XhmOj_ z_eF}#M=$^d$EOx}aw88R3^tLEuEQpTq{;&Y@CWM+;FAlfLmfau2!ZtzK=uYw{s@;3 zkPKd;XZQUU+K&)CpsWs}0vQ$*Scg`Dm{Z!1NKgGi5*?iJ^jjb0yO=seGvtgKz?>Z( z@Z(2>J$1C8I=lH@&}{(<1G`wf*f&pv?r3``7Fd`#I=oJ~$>-0Nm!W zexZSUIDjGG_E-{n7(g*)*LPE*F6={m?JrJyBl%#51lo|dh_r!Gd%69FZJ+?8HWYv& zDs9jN0&UpDUhXf{*}!W__3&#-R9)C81YMA*y^$SF^+5X&Xtn-^r(6S6YB6^l?SN~~ zHY5Nnr8cY@fi{TR$R{XUe>3C?;TzE=C>6r?cPhl1AQi}!0T)O+1wgeuNdJbu%Nx11 zKMN#Ve+;CZ8UUw`)fe!v4rP(;@CIw`_y%hse&DwB1>MB$ zNVr2TYyb>`<@!v6<%r%Oa{^R@djrJ~F8xOkL;()LTq>*Ja)W%quB(Ce=+-fQUpiIV zAaaD;&|8Sk{Yw#C`xhV|fjhom0T{s$J8F>dg3KShZ<--9{j$M2v!T}<=3-CW=Ymh) z`X6`L>L377b?5-8*??;k)DJWu+_j&o4jxchhX=UY(SO5nmkFsIs73rh=Z*prV+GwI zbA+Bqx$*q4wgb@-dSH7adcm%KMM3^nA$ah=_HoAm7`TH0Ag(F<;SqbF@cOP0K5%t~ zo*24t`9S^T0f_D(00s8o>$q#ue!f1f8@8PpN^WpFqBqcOfhUTtuHtz#WrURoQ*37JZ! zuVV8FnV;dpXU+Ou@8@8NU-kN3txD!cv*kjsqRoq1h0Ld9^NC(L>w9JH>K!t$2vpFk zV11WbD)B2{zoP@n76WCKZC+9+LAbRj4^PUaK1L%Toeanq|w?Drd4o z9SilB+KbmBW!YmLH+-LVSLrwDVt9%aFLt{9yy7YYs^SMiZH8Y?JsAfNN8;)k(H45Y z#5W0x>)MciUL|4ghPnR1sSz%X2>Z@YH9@4tu^5cIsLZuK=@pKuhDNqNl@L6_Y0wtJ zji49mYC~`NSa{RD|MKKY{o9|>3zOmrM9yC4N6YUroN1!xA>=UIeno zE$;RwKjx)y=Cze0Y>htmg9}fKTEv;4%NvI_&Fv1FZ=t<5eDFHeB7nmNVU5fNuZdmN~59Ab)0?L4V`wf_PT?#GG!85X?1Y zeWE9z&YsYhMN=J7?FhTbg4bJCa@70<)Gi!ez^3;L%S$V}uB+P(`n6UFjG@X+*zU|8 zbWiH>=+{44^2D3VPC9Q1Pqnk?kbp>zA0s>%E5TUuoq7UL9~m{#wS)Io-yYrwC5U{H z1Y>)}c$~p>`nqEnRbv_)p(Gbgn>cOEc^(S8-Qn-A$h`&6i9@0ZnMN=6tt|5zkFhpE zHfb+$a<1hFdxP5Mj{q6hpz8%Iv(Q}vpw_+di%C&q-x?ygg=6Q*-vfOIte&u*uAXrT zP`EH(d3nLrT-aVPjtWs~g|~S_mu=A3k*a6XGISfxiRi}o9rX|>q&FI~Stb&z8>V;z zs@dIIe-A&K_!cn+-@+FzO@eMf7d0lcPy6S)M?#mxM_?i7{d8WCIqXA+Kdm6Ij@(s| zo57Xcj!(F+IA4ih@#hXGZ4lJ~nq!>3LQN3YpwIY(clgW^#I@0Lxi_|1i8#Al8vb8y zNe;Sfc=9fFy~vw%hpuL|M>SdP5j;cqRFsI(1$igt&!WnBWcWSH1`v;Wyy|nS(FAyV zG}&EhcL{%EqAk>-l*NQOW9atyNz#?1=6yIvIuCztN#78nUkvh47Vry}oB^_>jVG2J zDch26fbO^+!QX{p7Ho=_yMfwiSifTSOB~VdQ}=$P*i*GFjjnC9UulNO#K)Mk-7{j)ChEFtr32S!sW^pskSNG z2_H2U1m(m)l6S5RO&Np>eYS0>t1rpPa5Qs&;fyC&umdh>p6VM;Mca?*sEA}D8@N-z zQjnhlpfJ2Q_&f~h4`CGw#fUCGb_nYqFVCNT0dS#i5==MOTI~}dY8GE|1g)A9aPwZr ze?OU2nR#A`@Qj7hqLvNu5+FntEZDCC-qi8;QC zf7KqD5xhFn(=Gb8QZZu$e=GWd*(8T^tixR3!X=m!d=>7WlLb@kh;+&x$2(zUPLj4{ zCCH-{@p3Ex<5>O#eojc}uS^ODsO?8R)_T%j4MSo0zH zDoX(f1Eqt@CynJ8gfY)4z~j?r!tVh!GlX|YFFeyYfp9U*)*!u3VU_kA$(N>!7LMPx zRy6LEMY~e2VCzp(`Z3lUSPuba78d;FH$rhcj`{5`sq>6tT0tlvEwg(1m5stIN=$hQyZk-QGms@ZkUW*e`=!eK zy)6{LLJ`1k^y#a>Xl-gQiV`SPcvzh^G^=_VESohf4= zRHIL0fzCSIaREyMFNOX=3)w}-W%7N1h}9Nnx$fb79>sRc{?VJyOS{#!ns1$@25>(A zB`79l6?}KTYW>iqdG(%Vbg%=;_dKS?!a6*WWwkgrCOC$Yp=YfRKwbK5=%e-HHy1-^t+Y(}l17ECH=Y?(Avrq|7~yH|iI^m2AbW`;xM}J@NBV&}Y^`XZ z`kV$k(QV4_<+4^!Z5+96VUVor@2L)$b(Vvd64J+#ocfK*ysnpzs&Uu9GK~jkn>Vo=wKtB zX;D*vB7$x7ys7H^lGbk8prq=3%3VGighHZQxoi_r1=RgJ(}e8CwFgMy;4@vM8QJ(5 zDd^d-jLkK?-b&WK&DNk(4${GakI9(wB5PHERQ?!>3}8_aWgO;}vM~%?=;utoUjgM} zV*xgFafZNKvqHOv@Hf`eZvlRh3j`L^f~VoR`s$WBI>d8k!*TM z5yc+lW<&@{?w`#Ta9n81hHkg$UksJSaFbz^u{JLZhO@$5UtP_mF~oi`Kv|Is?4)dA zqk3O^wQO2B=aum`hTPU!9p>7k)PB}O$_UYmYLyI8Txf3{4t$Jp?=95%sI|?;xoUN` zJHeant@K;Tli3tqbI&Z#EzfNq)h2#DP<^Iy)oQ37?3jFE+bDMb>~qLo*wr4e1uhZ% z<#YPkyg^juBOEQ`cje_o^O@Qh2g0_f)S>ocwM?M~tT2aybMdSNMJEej2X zVz|zwgQCXV&RUnl{Usf?860h-=ol{9o)7FTKhHb;^QqOJy*#)Z55KTQ$LNcM6(}&u z+ZrueY-zJAH-anbrid+AMoEh#OqsvNsux?N9$xi>fQ!c5?;1pBT;>=ZAsJ!yCkvCS zoi}lwBOQdwm0_fD9vzyo+2CkCI$LXR)XL#$ys-Ttrf}y=@qL-1Ga@tk%_NyJ%sGY} z?D3$|*^Jp;mc%LEkx0lZK7P-+MTnHhIJE=9he9aE6WTtpX<+QNaBRf0`gnYq#51V) zH6=3gYeg(>W0X_$cvorMt^XCOp@?+b6T6@<@3pm?s?)tr|W-dhT zm_?`fa&~i$WAkHb%V%CouOHPQ&{2q=vMnTLt0<%+akr%TFg`qdo8^l-`JEE2$=0bY zR;?KimVT8>(k;xKSlvlJPBgb!w_Q#?8PJ*pDV9<(L?_}7Z7s`fDz98Gkxy6`cF}mV zaf5D6S3hVPHm*u8W8G5|Oy5;Dn(&Pgu@L@u=&IHjCr6 zg0U~8M_$NShq90&8K3%zSf4Hya zE{L=o_!9M<56nwa%i>j%$uc_>$nz)=>cSNzEKD^R&?9krKc^<3Xt;+V*x=&KdK`%| z2Mjl%FyjN66^o@eF1GhBq&<@T)_g{NMx910F;W<*UDVf&XF%SzE-&6vlw*$Xg<{nY zar)q$;BUX*S~6~>=Sb5XeZNV1&fJ7A;ZA$eUw>GwkzNJr6Z#E=rLLXHx*lqMK$gt* zE2O*6;lLlqQ;DnWUrDFmRaIk6G1riF-M`Bywpkby4`~We4*^KE{kaHewwFxH^_iQ} zm&6&yP`gBH5SY=TX;2OBEjKCV4Un-=x><*k1eL6VFY@aN-c}Yzi3@GD2L!|gAQ(`E zG~diUJUoarR)hZ-LjBa7kY|-7%*Th8QnfI3K)j@pw{}<9g*9t9Sf=yE!Da8PH^?D< zNDnjDec8G5D2y^HopwSZczD+lew~}Hph%+4@VQwk&+UFm)tj=;Rq$!x9W=FIK9z)? zR;2aLL#cM@+Raldt&uC%Y9kA&e&E^UHHdo`dK|%xS&+4L**-1!nvLkb+rR^=fztTb?fhb4^*eAhKGybXn3RD3V!4h1s832;i%G{kHvS z8VSY}dz6f*YY;Lm)GDpYml7t^ysU8fLn793q#TI+^h8d~2{BQ_G8#SR-WJ(*bEvRH zVv}b3o*WN28pvsG&!;I-wGQ6>Q@M;42C7cIESYrbJ|{9W zG_o9ZhwZBoa`L(H?cT6|R3Jpz3zUDn4MSJ=89`!^{-9-e8^d?SiWud3rsf@C?{^Py zsC1~kAt_9ehy5X3NPK)J3iTblus-Nb^2V_%TZl*!wkv^2Q5Pc7@SG91KkS`2j6>Xb z1$W0o*dK1bPHHueh?5mjRb!o+hsq&wMO#EoQIe;`XWyGqaOu zr$lmC&?;nH$ZANFfNxTd>T}qd^)b@cZ$N**eBdlJ4)z;yFxnc{uuFR|idH0!08BkX zM}Zku_hA%|mm!%Um-qw4WjzzR5Av&jNs`~-9k~N~-e5AM)-3I)WXCBu`v>c|D-rc7zk%IRrYX4L+rq!{z-X~f#@ z3g_Y<4iecFKYTjA;Vdx-EZWpF0Twp05qrC5YgReDAUq`NwWxX9`AfhYletw7ja5}l zeby#Tk?m3xu;JUocL`~0XBGv%MJ}~vVY7n@2Tauk(U_gsxh38L7sNvyF`y{2^i395 zX~IlGK8{%~2ucMulN!^UB&n&W&LA#YWBpN~q@n%xQ(l{jkq+N>pkWSHO^4%s{Ll#N zjlZz7oYPDI~YSU-c_HCTf72lS%KK2eCiH- zNQh(s^s`jUWlL6%7HBONxr~+#P8lz12pgRgHfzx^dCT&ITF1*0yRoqId0%&sIS<12 zYR5>t7&IdT&IWRmsI_Al6i{=22I{(ENhy>I0vqiK3$D@C2b^Gp;i~U=dj1OqWlp;Y z^4Y1Sc(_*h;C3mmbxTRlg)V=L`$u!E1;I(xq)FrB7fn!D2!oZEL~7Jkl83-hX3>zm z@O}$#V{_$avRB<$dVB=UT^W`BeiAyDBfhfJ;yd*)9%^H_)g+Cz0+1ESRoPv%le+%N z<{Orc7jalzeWua1#EY17qP>{U0HzK>fDIEXONK&xibr16FxCLp@ z;M@7J^0IP|ckJ?&XU+-f=?=_OGp}|&Zpq1$)$pD75H6wgQBl%e!e}TJ-Jh5j-cBJzA$bdfx-o>YPo@8(`iCZN6b)9VvFu3 z4gt_yT(7{eaa$CxdqXq6AN*9>1#`3kn=UUN-3h~D(IZ|)RCP^#~Po&%pWtV8Cc<@SNrk_F;+{j;km5 zn=_02R%J;=PDx!=4G7?}q;8xQO?geC2DGk@0-H2nUZRM(-J21(^q8qZBjth`ad%oW z2{Co*ZU2HTPH)qDXT{{G7Fww9yo&4kf*S7d=SHhX!K$$jj8g*Mac!e)}IdU&m#tobH>o_$Xw(XQj@RLfSY5xV^e znv>3NSLpPEQBMLe9zmXR%XtA8tH>byCYaA3f|Ie5tLWx#O{C!g4OU#iRlmWXI{pWG zgAM`S%=jj~m&_F&doze@1*4z0E+2gj9*#<7;&zmK0o5b-PpP{umc98C(}U zv%HX49Jo{a)gTNF)y!eL8A5)g2CYFALew+I2Ddy@dI;spxSc>}n9Jxt$!{-jhi@ss zOi)<2TDL48Z-UCGUZHqzErQM&oX0N@A0VW69a}udo~$(7sIqN5r?F{ZDzhp_3y6A4 zDXIYd>C#k@O4s$Y-nH=L>5R;dGG9TRMQ&Tm0oiQ4ZplLwu*i9fTBMy1S(Is8T&j`@lLSpZy<;_ay(wz=Q3q%v5L%b0f64SRc``LWOw#vP1t;kkZ?#G}9 z<7y#37UN?=<0ln$yu1&G~CS)@0?ig z6bGYLMT%)eN9Ut<)7wT^!JNu|mj1QltRoak?P3ZmrAy??IT&6TqnfD2+1Ga6b9)K)ZTEx&y)V@#xf#+yfIlqBU7l0)t6=jwRTZ(M$b6R3UOKoGy7OS|z4OR({5$scLwf1QT?I_>|`#8I62eJ;GKqo&E8CyET)P zULK>f{oP|0yEN#1F4LA$HJo5+kf2zM=&mrD_?96!)tEtq*~8zcAjE>X^F+PbX(2$Q z5@Dp^IqY=2tWc|`S61q&dq!q0Boq)M;r5U=JX#iOy(Mlv<4IX9%}Rd=+TNhJg~j#F za&^$<@q0m|CoalEb}WxW$C0b(M)Z>dAn%%W{KcTSg}a;9r=dx@ak5UdalLN1nNx(S zV-TfsA|ugg%;Cu0X`Y4X4*eRrS?M1AR_#`;J=Og&?O~J-OE2+vYTN`Vt;$^^PU`Nh z>eH$xKa@ks1A4RSka3Lq+3IX9Q>7c|cLp?5>PmmJOe zH?mwD^L4)H67PithWo>#(alyqg2s}VxBaCCsal?Um-E-vMd6sQ<{ASMbdY0(asjzL|1e0Pw=1y7~P4zf~&%p`Hwe`(3vclaCe3QrnK23Y*s1A zV<55&=z_bzXUkcEEwEGRx&GM*2pl<&Fav9gk>hApbc z9u0|lLwJC=UD}?YW7I84TU57Tu1GA%tn@8)5S}<6Vfdf2YE2<+nC?YUrVqGf?y{^Q znX;@bAzRWCs~E~ECTvb>E4r_l&Cj-IB&;CWzw%$k))1Rjsu>s)h}zI0*+^Y=WDrOV z%%S7I7(kf3A`^f%c+Q6Mj6RsilC6*ZHHa2cTKnWwYILP!PwMFdTswtB&+ zra-Q&V&vEAse!jk;WM0@(H~_(FtB7wGsLV3EvMh6R;|-^Q?WZQ-c3A+y&Y;%xaJh! zOGZwoW0!5iIR%O!5-M!i)A@x?*YN_hw@BycI<|#>lcrsFMiqPyUHx zCO69C{ng~O^*m+3mp{<

%ImG9rpOKHWVSTNXX>N^PDs7_S&|s{;6pYHo)ox|chS|*y#KhG0-Ry$WVWnQK>StzHxDD^6fz!WnmC(st%&vSN2whH)VMk?=uVWjpZ^@Dt|Ci4!rFVbLo%m}U|a&u#2=pOQGs~wT)juyE0 zwD;3JZwvDFd2_ceVLsTqGWDG-!VmW8SmL$%*+pqkwQfRCTgIa)kRqJ$GHaYg{O$7# zw!l}bW!{#mnd<&wWFCXsb82*+%0xq{y5J6@lD!d!a*sbo2Df7DMnrqLH_vYfcb-wB zf+jipOGVHYvR7q45zC1hc@yK*n~HNZXMWCN&uq@d4dvV!-!20q%6L!%I-{I~FC5g%KIyNR=oaxUatEpj>6Uc)0et1;0 zi;NSEy#uY>&D-g|V+*8AfB$7kFl43N$ZCQ#8#HXqG0%^D8Qv1wGeEFy3u;k9NX%Au zC_B@3GaCsFBZHGFsSPw6qlHlRo-{c~GSmn*tcWYc#yvYuTdM=uZ21`4oR}F_?mVOR zH)JiGL+}dT4$oC_(~$wYZil?WSgEndcM&?N&G3;-Tt4>a04`nbUSEMNVMm1%J;n)4 z%V|7a>a&yFKUck#H;3Kzv0BSnxtfP_i_0xr%=gP3i`0InZGa#{JB_H#wd5dD^pJ5z zGop!=0_M#SMYB+4_cG+FHV&M;T5>54x)4pWs3e!9?4+%j^55cyP<*58qpFFFS+z{d zYoVo^BwM9R7}CK=*So|`P>I=7Au_dWLDQ(S?ppH_9a&QC@$EtTl;HES;1_ z*KbFKr1wYxtCjM|+}C0z+ClAeku^0QJuW@BnvcmjGR{c=l4p{~*FRpDGea{hxf{H0 zS!gx~Esi7PXXIwpopbcR@nM@%I3_kX9Szz&s_hG(O=nooRLx3V;*_iuNtj6t716!C z29>RiIdbm8F*9ip_jvn*;5a>ykzY$6O05Oso z+?PrC<{Hzj1$>!?Lg2{y;FoSI6VzkhT@fhyaMR(?FRZvT1bs_^ zm!>wj^88Ut|(9*JziB%1#wp zgH?&YS*c?%sE=hZ>rmUCRY#hN`B3B&enHz&O-SxkN3mHs4K0gX3aFsJWyOqRh?*~Q zwNs3jB3&+zZ~>lZK*fRLT-m!Tut#&v7`mD^BQ%HAQ9PQ3Nv>vrpv%WWSWA-<&x!OB zUCz(A4SsZ(^49lm$y6D}_3QBY94}g5MvkGYsv~7Q)->V9t#lfE!Qkf<4=V`To%CN)T9x-$=9uhPI(PZG=~T7iexIfN z(|usE6W3odYuy9uMd9?WJm&`&to#;(1kqzgSBUv-^zGE`#cku^;WX3?9YXq&6O^pl z6{kF5g_yDRH=VZRhD`I>IGB+&2vfC0OBv1S{fUVN>tR%#D;=(&cr!h1ks<<`SGK{P zkA-xsjH7MWg|0QWMblKSd64O^eNnjXo{yn!5jpO;?XQy_5Dz-qYaW>q+t>R-aolgh zRIkhLaCb6T4nFpRnMkb2c;))Y6!0WMG=BKMk*bN=L!{UB)6EcP^PARaRI$uT2Pe}q zh9xw!r!QyogDO`-m^FuTG1l@)9Gq#pPr0cq}UvSc=nykETdes zaQ1_P*tu&eK=;sTp~+g;(>Rm86k`2iRwIY&Fx^8RL^=2MX-31lF=6f*5__0Y+v$ctc@5pLLHo-I9P{ zS%kU^ZP8qLx>*%L~B{P&HC=V~jp+g!JLYy|f zG%SUPXbl+_qnu0+SFB00gi3x-UrVqy+1U{nc)(f{1MW&~q4QE~2E&Ak|V zb~33gOq0L07yP7>%ZC+%e?zflr1V1&bD4-W1yn8ciWnSzORS^W(dW&Rx(C&fRpD-Y z9lV8*&=F|6*KxX}sPeh%FOECR>nbsc!(yi6bLH-?X!6wkTy@}eeoaCqlgVJe=+E%- z!aQjTyQLDV>LnAkxByXlU8?D+J^DVqb|D?)Fr8JW;ULADYExmF6MD4+HJzeeSkB-_ z3sX>0gEnT20_({maDz`kR(2ZM$?_ojky}=kdL*WtciX+Gq#B_j8xCWRd9%yVmJyMo8aM@v== z&ZevRxZvMbzge)+W21604yrSL&#eriGt*%N7iVM+En!XN7lJpD1RAE6g~xv9&2g8*)uzSX=VZQ}mUe5H!*37I%fUxAH3rg~Qm@)D5oa^9|SIna%S46A4+j8f4>}? zqKr0w(N5=lu#uc54KSB64x|@Tr?dxK24CP-ib`Iwm;%oYu%#b_Z5pRv=7+^`Zcn6= zAphOwvvT0Cx{PM2)zr1zIp47+S*oF?>81{^;ZgaWpuc>t)EU)cNG5hfaY;fk-|cLk zY`QdqyD%<5t9fgSd<#_sN|ideqs&TBr%9OSjE>Syxpz^*zMrIA(3YTDx*$wPabc7F zpsO!v82vh5CUx=W8&R*P*Etoo5y5z4w9#bY43$oS$al*I9W=FT-LvionKic~3lgvD zY|Te3E*UxqUZ@<_oN)xFn55{&7`HPvjaE}<%%ao0L=EJOOa`i^<&I@vqhZ+e^@dsd zdR4x0_GN9X9~lHD#-?H8-$?=zqZ9QdN{CNEqgZ!XO|gJ`G6EG%L+9=40no3>u_oECPJ=Uk@3tCp) z$|j=;f58o11K5h^BqrA}G42xQN6+)y=o4BvPZ8egl!nK)kzc_Y&thlJ@jG=bxc9Fd z9-nm&YFQ;!c&@@s3rO$oKaE5lPMO|}q6OPy_B0Cb# zAU0!<9j8EK3Z-LA$M(Lk9Xb0?ST-W3Ca*_iE=Y2Y?U+Q^p)~e^p)Ths`HEM z+BB~xz~RhS#HyA_0i8yOivjXNm~3@V=O8AzaILk4ER*se3D;D!V~I(*$}`%hKyfm* zWGT)FM<7b)pgf9!CYZVzR4P)cf%>k3*2mTIf&4MrYPz>Vu(tb>bN4_<%m}#_zO=+U zO^w_3$-i?9OYFBVw=2`1Bh@BGzG*0ZL9DO^W(e+=;?rF*0-;#kg4x-QV_k{O=acx23i=ObAk!-(euw^s9fIqset6(Y0)#F;}0Cfaphc$=8^xM|$~)!bQz#kFkfIth}X z!Cis|hi=@1yF0<%-QC?GxVyW%ySqyWmf#-rHf!&_lC{=(&N=t~y8UA`HM(lntl6WB zhB4;*F*qCmru{8|5i?#M()1B>QpXDOd%_(%2W_$+e{wo2v1y|)#3VR|vg%;QnF@k3 zLU1Y+2fV~oUt+vvsWC~`O1P=h<7-vigokGYZoQkeA28NnT6f*n_}gWeLp#JBA(|8& z(LEz;rEX}RUDq(vqPIy_pIMx_GYTkoOYG`e=eu0(!0dJH687uQU4JUs6*!g6B63ez z*w-+_1g_xHTuJzTrBf#KTM*%pW}GfO;jh$_vUnCwC88=yOiMzfx$JR`(L00U)E4RU z@4K5+Ig#xB)`IM!lA>JNCp=|p5Xor4gvV$j7@{#)mc;EF)He4Z?Sq}!%iR2_N1GQRXP}?UJkV06e zfo_Eq%lIe7ev6NC@U8rUea9rs1NC@MQIO>5_nbpv#;)tcM7pj^rO7(mw`VLROh`-m zV~9cFaBJptLJX2Qtb~9MK+tV&k)#^I@L`+r{>rR&2OF%jk(p|U`<8`H-0x|BqXQf$WF$oq4Ko=>%c_k@Fc@00de1r?fa@( z59ku-l;lTs=|&7XnkGvVm68Q&(49B@J#gwolXaB!7YEh2QDCU+2{6?TgZ))*D=MeHFAFkVB{ zfmA2xXA|k!m32p5NVI!ztuF4y!n^$uC9R#87Ml)Zj-&=LL`>K?i45wH=1G{p5z<)<>tUoB~Jtj zG|-Y?D|l8h;PwUeB zM7@r+*0fJWE7BrJRF!3f(aw`Im1#WC_nLtvL~~!KEg9|(-v}LC9EJmF%JnLK|7;%1 zL%ao^;k)JsZ^066zNzBc91z$PN>%VaGXMLASc@6(Ad7(4pF9H!e&;X17(MSMkBTqIsJQ&vwfsafhYn#=L4Lci{q>=TC1b$&uUYHQxr zsdb$YaI9t*X-S*1Xwc-m&LPV--n%ApdF+^9*-HhBD#9IQ4jm}kouu!Hh9ELGLhYKV~(=o zb*mixguu;K+VCNa7xNs9hOmTw?OtwvzR#R)|IbSokKFa=_RwgxSz2(=JIY|8)$Pwz zck=zqf_SU@(q4AW*=^$10QqT^$Z4J~U%tly7yhCw^+96V`M>9z_EGcF5DVys8&#yw z1%*$o;Wq9dJ9=99$4)yG0g6sP3WUypQ3&r(uW$|&<0>y}<1|AY1kXE#x$AjJX&5X% zXn_aJ2e9P6!xoLoLrf=XBxgJyY}01;GtPYtg-<>44Lp%6R(sjM`t?o&~@) zB-IMcB(e3bKoP4Nz!3zb5zheC8LULu%q==)4u-U!sn!j>^h3^KsPd){s6U{kkHVs zj11MVrAN|1tDTv0<8)V<>VZ3FZ+FeODd+Q*Vl6$vVe0N zvqARu)>a%~s5?tWAK1C)ODxx5{dncl6bku9);f#&q{U^&9(>(*AT^W=_M~f6`c2$> znm`*24h(Eja~uvQI=zIqkh%^cQ?vptqCg%^Ct)*K*x0R>llB(TfQ*N)-!#rjsZ`G@ zR&rOikYIbpi#t#<&~@EDy6&R)=)p$nkoD7H@xAMTz{n@=0f(Inx)|>GF65N-*cXqr zkyn3jxJazn8TS0N?>W1!cXh)KkmS&HmCW6W_?9?6^*Ps)IKHCKN%p*nEtnp$2e(aE zBH~$+98OW|=?J4=S9#*Ri2=0(VdYwTz09!Ayi==t?Sj@|@5z>gCN)K%*yse}`gzc- z6OOtMqSR}w_!ie4k9qH~L7OCT*aI`(kmjOKi)zrpWMO}Pa>by$V+C3;U0Hp zT2J-U$L=)o(C<1-@V?5|JqEB7 zItbC31)J{zSRf--`Z<>sfApZGgFbh24#!X^_z+vz7+*11a-X1ZMvzbSfq_EBc%} zOUTzT&7my~>Wa>`nk`F;x$+~cYtoV4ym8oY>KJ59uI$-s<4@zkC8j^PKj~|$w~WgZ z>poryU%C+MaXKu8L={dzLn?Z@w~P%XcVvy3$()s2P=*mB9aXm!;x$=8AXqRtvVwOF zly$P;ZYN44^`CmR8VdUvCUMwYcv@Tw%Ok{VWB-%RH@4|&*$eB zTd_G0vFhz%X;AGO#U${l3W!|}aeI19%?3W_JCvnQIm)FRlCcezZ4t{W;x|B>Ho5Kk zrotO47DVXjw9G5lRxNi*^lD4;*WX47`lz+5neU%7nH4T~!|lmVSzcKuWEwkasg2~7 zoGBh77WUm{T}u~Nm~uN7gxJ3|MQOp0K`0|Q5|ooss*A_=$&)!|O7&Wq9cQi&91hK7 z>)rW802#ue5nS}8c(S5rmMyi;o<;75RsKAI%#Xz?97p>2)i8VL#*$3`&+ym)vwj9- zN+E1ut(=73E{eSk-gtOe^bHXu)UL})9jRba%b1B=Nz)2kes;0%s!rTR-(r3@wXtJU zDB9uP`E1susbc}1Upy1af^RA%fH7!aPtGPvOhAyXKiB%e9A2|_IdDQe%Kg)R$t8j= zl6y+~NPfy=aRt^h4Q5Ar*fS;KK+ArXpX_9VvRf_N7mx1ts(kz&196$=jCQa7AtCNu z+%V|7*GGO7VehvusKVF*H2qGRpEn!Y;g_c(5T~C$rA!S$ifJ0bpc5mvm+EzYi4j*$ z6PQ!EbiTt`8J)fX^sCdlM>uS$9_38PUa!D#Eej-cS_0N3#Iz9lTVl>E_g|BKwWD40 zjYyBIZ%D#`nqmqTU|;4(dn|@SlDdLu2fI|dB)_C{zf7u+Lbq+G3k16FJ}%;ANllWN z8*`b~MR4(A4T_Y`LIblXt09Z{@Gz{|M7y^+e_A z>6zpi+M$}?ko6k$4bSty#ZP~;fQ%CZ1s3~Y%-l_-w)yQqZ@+*xYPTZeTv(-m#B1KB zic7!b;%rkbD##G?(#}ex9tzlnt>VUL4gW0@*afXd#W58hZSsH}BMDW690&l&2=p28 zgrW7m7}OkrBX@GhfT=Kyv7i@2AxN*oK=fitFv8XidW{qT-w|{0UW`Uxp-`Ah?~6hG zk4GATj|Ub4fP(t3r(S9Kmlo(LjJKDJ|Ha4ypb>KrUW|0#e>@LCTSBnhI=2ch2C*j+ z!vpoj^q!Vr0Cfg~2#5ko|Me7xQ5`~1a#4c<*25BlA%wV1rh}sZh#>5j>3wM{gyjTT zqW~hNci5Zw=4c6r3HVw4$O7f#_=0TS$-ol~6QJ%OWaIG0@eO6s$|Ui~m?>&02Wz83 z2CVoust3Io3X22^4KV=SDwz&HB2fs24C;&N4I&hj?*kbWKsJRSrA{s3iz&t^3z`af zF~y*UPYdX*Zn@EipSO#$7NQ~H%IoY z_m2?d_AjPm(Z0?IsQo!SIw#5SS{ESRQ~3(CakA5Kg!0JBS!%KP5J-x}!LCz#5@vFK#m5xz3X=N= zFQ?6$5`i2$S)!%sr)QxN7$75ByAdPv6`7~gyKI9?BoeLXX8A5u0~ zOQBsDXn!7ruUd9qltGK%je%qduvSE(q@R+j9Akc$6UL+oQBvk@#&pK-_eA0R1`^Ho zNO&?KE!X>F$oj%j%ghZ#_A@GG=+`sv4&Q`r}w%$CYqn?BIX9Jv<-m~ z)lLnTV)J9|Z!4)|>INJ$Xg3@`Kf}WrY=qctlsZi9wybaPWXPJeD}Zh)jd>by3w6(N zn{nTEmrzOE*ln3~^ooWG&-Lc28&Habi|CcntNS@V@?Bb_^h*6e&TXk3`uTOgCYe<2 z=lSPX+pkbaTuuTX#zwwt0lA7weU;-l4*Y6mnm=Jtz{U8;2E@_ii8zES5SfZ&`3e?H z8S%qaWMNG%F1=;ec5u)}pCf{eHjGl50qRGY@4UMYmxb$tQ=RRfn`(yQ6H%`!Jnd7E;aFLC_@)C*iH(vu# zZNCwsSnmwhkL-mi&Fte`0}~vL84(F86SMtqp9`IDo#H1NW*KzqbWIrJ43HIl&Cs+N z$D~hdOpK%gs!dpgf?Wvs2V7pGX>+C_@|v_ojTg>uLzOgKRC+p%Np@(K#X?vqm)Www zj2HVN`8G1L^AXf3PD)`ZQ%@sYmiX-y!~Jwq&g+mWt1;?&uTUMMAbM9E zSLkm2Es(99AJo4<90ciJ)x(bVb#^I>G)^4~(nc4*HWEjPx_gvG#1 z)tFh-P*{?7m(*mwxtf#yNgu9I-H)ZLsW8Var#2Q+qO3VrT46G;^hGxBn$e9b_Wmv) z4GUwKYg2C9p?Dz+mbm~NE0Ap`oN38t9w^cY905uaF&av!EG{5J78AVngNDDB@|P;#>FVgt_dj8esMe_7H^c`Y z(#AAstru&E?Q~hTvQ@8ii=2aN_j4&iCkCuODddS4%wp z2^In}{et@ZA`AVZm;H-o_8X{;n%B}y@Bf+B2B2rA0lt9N0Dr}`fpBXe0vX8p-{9JS z%rvY(Rwh;uu8o_1paf3Eva=FX?D_6sMb{=#GX-yqo3KQJFItul^1&2@0_$>2)18zwBKI`f!Y3~zy12@&&B+4v|lZj|A6WK!%X`% z+b|C^%#j4 zT$=w)YWIi(qBimeeqLcHV`8*N8RPe#4haM(`hj{~N2UhigmXyB8&2!DOWT#Dl3$KV z(L5G;=IN^HXNJ33R!hMhyiE(h5CL;TLˎKw6zPjLj+^1ZF=SinW^Jt#4uBLZo zE8KcB!Et1_8r)Yl**ArvC>8(|SqJL2Ie z9Z5UF;izfwgG9EF#>E``j+)Jq=s?TjK`|h|KLje8kB_`&l%aLE@sG0Dw*61(ZDJYc zyw~u0v>I}gd6}6DQ^yApK8Dj%9>&34#41wl;_S`E-x@VuLDG9FvaL=B>@=;qQd!P7 zUw=*MZl}RL0-@8=Fh{dh+qs`c>d61O!~I4r`?bOSkLa{NKkolqe%j0C@;83kOK|+Y z|FHfFmjCe601S*TyvzSCc9@uf48I4@Q3{ls{9N0>^WG}Et)YkkX{>n+!Y(`?@1UMH z_&dKu@j*hQZg|qTS-(nfJtzd@Oob|wE-x%o(=z+4>L4-gm{;)Duc<9QknxtW%TKA& zQ9)-DHk~+1y@8y$;cD-8&A4t$A9-A_d6)n`+m4^CvttG!MuSBK3r0#!B-R{v1@lvZ zH+_kP78~hbWw{5Rwhij`P~dDRjz>MC4DOZ@M=nNRC{l8ZiSxe%C*<1+TTZe?ADdea zQcH7%!pPk9O0osnoU^cklN^(WFyp6WD9;PKKLTZPH-WqO9e=O{d|dsovv+Tt0PX-@t}?zs_Dbjb=_u5}HuIPGqydE^Ae zNAzo z9-jkjfD}vhYP~QgzV}iqint$>C}E5K2mIY|ZgjBtGVARytm@z!)gkBr>30~SS(y@( zl1!kgayrmBr4B8VI^-ur-Ta%elKerW~_F&erEolZQTGn4{%3C^Oo z`}t1N5FLc?ufScSu`gqwuSwr0erl_wj}z9Ye18QQ3w|%_b4@}5Lj2|s(+SXhxicvs z50B}xJNJGhgE*8b(t^zMPKtwv&-7SEXOOl+xO!Vd28JV^w29DVhV=?Q&wF_n< zmIsfQ1+a)(F{ndDWNmFKH;b|hZi5fZyeoZ#l7Aza8@)+PF~^ltVvM3JnA2s01ty91 zfEW%@FzHn3L+Zti)*3)+B2*Yt4p~wNn@XW9v9r8kge3u4FcaB{$pDc`uFQwJNp%Nc zNulU6h1iouWl6~QxhPbHJ}Y)|glh;Yp}0Wm_v{ z1T_YcFwJpV;KQBsbMs2R#9f?u^3AEBY9VgEe(k%~;P0IoGxnQfwHU1er;2yM*NBfk z-@A5d!PN+yupd#(GBb?vr$w9b)JUAz*IupjFq?R0u^VG9k~yJ2;yjS7mEvZ%94MYD z`E=xKdfiOgoHB3nG%KAp*kL>2GkSI8eA#@gg?9UN%G0cV?}eAm-ZeM-?g`H=124a& zlkrl_ih8ZAP3Q;s!c0Y{&_13O*dwHy{3)Or-7VFlq)kj}(tQ&joO$}BQ{wU!M&{ct z(k=rRVb>H@BgV!gJjjMgEUS{u*jhB$X|^NkWx*d^id_Z!h^NNOuekUkeI}-LHyvEm z?&*&*KX&fzzu&y@@yrchPN|J$GWN_yCwtW{EU_sz3)?PEy-8V%xhn9vbFCKD?MwPB z{3IT6z6{|Z+|m^Z{(h!pbD&npHJmG}ZCT@vvJKLM z;+EM3mxK4dmeVfo+BXBLe(Lop#v>Gmq@~YCaH;8xu89NlQy3Q^*DsP#>G_Ubv?yo!~-ga5;BRIuBz44%Qir@lYIUthG>1lrKh|4eGo#Eu2afOn&(a1e8 z^vloi&cAsr2QKGd{mdyLg_xX9!N4hDtF#|B7=y*{rLUl zr9bZsI+R4keOGe(B@)9UTGm0sJBbbjqdVHCvV-UO%aP237XSPcwB&ZsP>ZbJ8poal z63=%Tf-_Q365J#VkDS2*y3@!ya0Sf+YTS6L%>+B`HLxOnKvu#m=9jiZ9@Zl} zggsnv8EqzQA4qcG%5$G}mJfA7_sROA)7zA;v%^ourmcx|4J<#ZsnvB+xpzC_dm;#H zuuI3?GA<2KP}cro%@FN7v~LdOuqav@MYL$Cyk$m@qD4M`({qX98nD2d7r(VG6KX#b zDRTM~*^U#2gy@*5LW@(pJH0X1f13ssOkZ7iB{w0D+jKw~kP;|`{x%I)=yRU#C0guH zRLBJF=y*}c)eVhYPB-Fy+yGa3v`YsR6f4f_Nwm@-N0peYSND@(+~GnKVwKwqlQa$= zGsY{nP4g1qkn8RlF0(xo0$QX19Ezbb&*1ELtZd^{RH>W;T=8n>k4G5|o@HfyA5VPQ zMY%4Y*xZuSlxHk;kKFo5t1(vxJ_^@W^Q0FE7^eVsomK+{H_7~6lz0~`{08tcN!tZg z=h|x?VRw1EqeEm2x8NC|o>XACTYI{dVa2rE7p<7m$8<`TRLV~Y9!T5cGooQ-ks^4e zv5Z46+wG*;$loXY*pUiTq!yu^GO2X|-5AY|G8)`sfpp9myA_VlcV&8(WZ|Pz-f6ZL zx&69unr)v40eUhd%>jXZ+m@}zjLH{IpVbU9rRV#SV7))*kcO`1DYQl({;n%=1p}sg z#TOBpxPigYZ_LX@?pF83*ZJ3N$r7gX8q-`oa(=JdT&<*}dJ8Cf+IC3yFVrW8?I$ZG zq>EqOxuLUPS)Qh12KowA8qKF%=@(I@!RhEODl;XG>Dik>-Ltm%GFER?->Z1lX)#Px zqc5@_$~pMB!%uXMtqvcpj=7$pqz}*Bl5xe-?u9=$LIPgaPj zCo*H?3{R^K(H!}q&)%ZyALR`0g9?c+utWD<-5gj( zWlv)KnDQ8dQ>!NwcW$$8bS z17=-X4j$@htEG^SRb$fzF7f73>v~+v#0xdfhZbe~Y7l8m< z8)WDXtisa5>4-3d++>?Nw`XG!1;ueSDt%{n#=Fu#8N|+fU-t9>_0+mbX%k@Z9y68E z>XU)sv&VsP5qbN!b`f_ZWEWRgXL-koTRiJ3K>2>*V33tzVvhw3T$So5X`fMNDNvOB z98Ia%yLZ?tbsv|DLqW>5BuZwEBnOyDSaPeA;-yMHIvYy;SebgpDdriN_v}MrTgVz0 zo1Bg2JlC1dTY;q)I}lIc;hNQ;23H&GR1`E4Oo$lbH{gq95?zun4Ob~zM<(6cn4eWx zjc~-MLJhI*a}Ym^Vp6S)SVxE!bUn{hwXa4>$k9yJ5*$m8k^|lA0u%ZMu+HoL?lpN< zp^2*2=wfwtH%nvz2O~)*ba9&;*f(6X%6mU3)F6vD{XSlV%`%1u_<@SW66EYyiV(OA zb<^m;G4?VOQI$`{6btw7F0wYdKV44ul%K>Ht*S`Zx0)KK&Psnv&ig(T5U^vSb+uSs zo`;vVvttBi@62nh&j)DM$a9_g65+kyv%oDn5SV;SJ#9;2Sn|5YF|i?E+ku3XxSrtC zcDz%vuI}T?sTbzwTqbd{3zs*}*6ZiR-FOm+vvd|BVqu!$O^w8ic|(ZvTVtdtZS+V; z%Z$KB-lQNXTTVsbu@8F^7vYJ5GUV$z)jr|j*4q!h_Tu>BaC5%e0n+2rlyq=2bd*{& zg=SWIKYqGAdJ%MODPT(?=dZ0?FZHo1q_Osc4;WA9+W@zZHSsI!y z8bh~S_`SG<3eGp*);f4p^v1~kxGYs?2R66kv;CT8;C?}oFnD}8^$+0^2FCKFhlBR> zR~55j4ym-ksf7tt?3y-NE_vu9jx|o7LSPe-Xdi0Wv%5n+){}jsa|V2wcRRyad7*=yvZo=#c|(~2=ujlN9i;|YhY$Qz#OFl z*TmWn&I+=Q@5$6m8*DUYigaK=xQ5p!>$ACN95rEk#nBt!S)x9F?v#E*pmG`FE<%WH3Tn$3($?<$q>?%4Hchs}g~h!Ur4@bGsH^qw z)`bE5jMms<9}?c{(wbxM+*W5_o;LNwEyO4I(vPwdyEpYXJdQs-7H0cU7Z#rWL<(Ei z2nKu0@>bt~KhO|J8yXZcJUWQQVD%}xAt78WVuSN8MG22hwx}@h^eiSp^e%&x?N5)&eccdNv5^AU z`c9&b3MZqm9BE{Dx_aPhj6u$9srqsK;7BWx+%>oUNgallKMc96-S3;+KHK;0Uaz~o z`D|^z=D;-Kd|_y-*K0UGIEDN!Z@9l3-Q{+vI)=3k!kfONAwvM;J1x_ZJXw9`Y)n=`q3v{aXO7 zOD@;Si9bF}Mnn&)A~fndjx>~^x?V0TMRC}u4X*C4o%;Z|bMLOv#jyfShGo&V?P@Ni z8!Oc#9n!~WgtN<#o&&2`sSOzTN0z{yTCFC6F~gSis@P4MJ%jL!~ zQ?09Rg^lq^rAgFJmWO1AI`PL19E5FTj|yzmL%W&vJ={R|Q?IFA{oRGJn3YrukHOZV z*0s{4@WoAFY#4NWa9l5HA7#xu&VuBR03cSFXpGs`YAM-;UJc)~L?EWeG`3w@`1$ zQX}XX!)~hXd;0yxDrsfl{V{tkv(&$^*?CRj= zLuBE*@vqQ%O=^anR7;!U`o8vU9c@O~5uj7gI=FEI2b1$t6-&-rJ^Q_a z(Up%??_(F&ujy%}#)Wk-Pa59q63|W@@0e~3Z8u&eEh(7wHFc!le=W<#JX#24k9=}1 z5-l0JY}>$m^zAZ=Yi86Vh6be2O5GKXTeT4p ze><Dmp5!}d0@6V zRdV!E--w$*{(wnZ++2;{FELOIUb@ucNY`XLC!0p<9zL)rh3L@9z_F>9L(|5JZR};3 zi;fPB?)}Dv6ow3MB%Thgx=m16t(~nMi%fNKh;#cl1YF$dF~n$oV~vW$Ju&#Is;o5} z@4VRPL}9%a*rS_$?H}`8@#C58?tN^{-zIAc)Xf&l3D9W6$jM)hC9NRDETnsYqNiu~ zgz^)KkC)epS?H3G0+T~|^nxVt+c)8=%@#=UquW)r(z20B4^=ExYmW-4Y;pks9XuLV zJ%j%5o@gzNQrX5NBrgtFyj4D`+w#|PB^?T6O-DI}o#%^7HyxOUjIn#JK*qks9Vtt< zL4Ayo=d2I3*{m#vJ+!EM7mH$dE0f%dcw5GrjyEXNo;l2z4Q3IKX_ClW_Z%9~V2=d+ zJi+|p^ANU7xcg!B?WY$Mmm}+VKx= zd>2vTo>7)Y*8B$h3kCvGT+2vbM;ig$VHE`uEDhTn5pww+n?|V%n{m?a?iXpzk9WJK zy?Oexi(&eA_Ikzv!uNrWYSdY{O12IIb(;AW4fT128d4SJLxab{A8$^CZzMn6z_+96 za?lvPow45CYDFvv8(*mB?{}1^7uuhjukG#EUu?KwtW@@OG3`ZIxTPj@h+v9PyghrM zazH8LBzDT#Wb|?NIqM_` zJp&vm&Z#@xUQC1Yw@b)U^|bFf8#v-ddEysRIi}Mr4VGppeyqWDJL5|>u{vkntIR42 zATcXFIn~^onM6sLICyTuCo9+7n>t3(dp6!v-e})o-pC!#93vhp#o#+y`p&tJ9cQwW z^_bY(L~$QCv?w(XXj=uYT^+L?I~S8BZ+G=s+AHNufBQCc3}h_40g9rwsT~N?e_j(H zqY{S)*3TU|ZtRYWqbkr}7JpuQT!UFNwwO{E6>@ZE?~l*btZ%;0tkK9$AiU|72K_x! za>kiw?K|D5Vcg1NJgS5hND=NE*Y7Q=%bf>MH@+kfhZ5CoMbfrO#vx51@6`h&i3`S> zeI*47>~9d=U9wC1O=W3@RZFV$;;I!q(Ie)2el+{a;PYln7K#>=JM0U%gS_03Jmcw( zlVy}jza%_HYmaiL3NHzAK+_vvcM=`}Z1lnNFW_+iZVFSK!w8#ikhdWpa-j5i&~gmd zunL~t&9Ds^cjs5OFH0PL9PR9&)Uix_*&Bt!mQ}lTlwKO5(Y$D+xtktP0vZf4joPS$ zer@OFvEhgbcd3?gFu6d3^RguG-v;$Thpr3j5yIgPeAS zG_NvTVEfXIJg>5~6!Nk!#_ zU=jM#m7eG1Q4FYC_InvA?FITfY4nzSMN1j&*ag@2GDYo~uReAvttRR4kyR6XCG$W+TN8Y(N-UL4j)n3tkKOPFAOu;p|M8c25>cp)s!Ezf!m;tQM8^~ z${045U#JR^cz-)1@oue(9Z5#XBipQ?q7u^RxNuf9m62YVicSg`#o?5Tp~27?q)%ao z+X^qsky|uk9_dCHb`PaPv74RqwGRca;&}$ES17IU&MAtC#%^GwUwy?tM$;eL0b!sc8sQeym-i=iLg3DKd zrfZO^Ipded2aA9E06@@Z>2E$d zIv^;{{@Rb8l@3&U@>d@t3o{ES3;y!>^LTW0AZ5mX_!w9~g-Czv$Mlam=;&A&Kq36s zegHbq3jXc`zNq*8tseu!Kjr{1G5!5`03gdhd`wIrG049kkBRkVbNI^~0D8KA^aB9t zK_xbS??+Dul63pqSbFAv`WRk>+5XZGRQv=g#`(LC=VGzVSC73q8|6`mwMA|9&e$Ib#?7moTN3wX_5&e!lEkpdI)R(aV=j`z54p?X+#|{s?F$CT37q5)uI^!T$qT CM>^mD literal 0 HcmV?d00001 From 92596d2e4d69e2257170c4e76d83838b7ee57cb5 Mon Sep 17 00:00:00 2001 From: doronz2 Date: Wed, 14 Oct 2020 16:46:41 +0300 Subject: [PATCH 2/5] Optimize benchmarks --- .DS_Store | Bin 0 -> 8196 bytes .idea/class.iml | 13 + .idea/modules.xml | 8 + .idea/vcs.xml | 6 + .idea/workspace.xml | 213 +++++++++ Cargo.toml | 14 + ...on between class group implementations.pdf | Bin 0 -> 54978 bytes benches/class_group.rs | 30 ++ build.rs | 5 + class_profiling.html | 435 ++++++++++++++++++ depend/.DS_Store | Bin 6148 -> 6148 bytes depend/pari/.idea/.gitignore | 3 + depend/pari/.idea/misc.xml | 6 + depend/pari/.idea/modules.xml | 8 + depend/pari/.idea/pari.iml | 9 + depend/pari/.idea/vcs.xml | 6 + depend/pari/src/gp/gp.c | 4 +- src/.DS_Store | Bin 0 -> 6148 bytes src/example.rs | 52 +++ src/lib.rs | 192 +++++++- 20 files changed, 995 insertions(+), 9 deletions(-) create mode 100644 .DS_Store create mode 100644 .idea/class.iml create mode 100644 .idea/modules.xml create mode 100644 .idea/vcs.xml create mode 100644 .idea/workspace.xml create mode 100644 Comparison between class group implementations.pdf create mode 100644 benches/class_group.rs create mode 100644 class_profiling.html create mode 100644 depend/pari/.idea/.gitignore create mode 100644 depend/pari/.idea/misc.xml create mode 100644 depend/pari/.idea/modules.xml create mode 100644 depend/pari/.idea/pari.iml create mode 100644 depend/pari/.idea/vcs.xml create mode 100644 src/.DS_Store create mode 100644 src/example.rs diff --git a/.DS_Store b/.DS_Store new file mode 100644 index 0000000000000000000000000000000000000000..abc095452a5d1726ec964fd688967f9346b621dc GIT binary patch literal 8196 zcmeHM-Hy^g6g~sU7L1XLO&0HZW8wwbz`{z5F+pHs_QJ%7(F-+f3oJC-ZAn`siWqKu z2lWkn6raEc@d5OkA4n;ziC&o9IET!f>CE}gocWk`IE9E0O$<5g`kZ*KwwOz8%i&v7Et(<*#lEhrcw+h;TSi$Idntm zh13#GOu~t&nVHH^n3x?nQkd3_Eqh36J_ic>eW=dJmcYX>H za0Av8a>%7V?NhMK_m}o`KVhGz7Fnu)g;Fz4j1W7u8-vkSj2 zW(x7?(ik)PbSmO>u(l!Q9#OQ#&ky+d6kFdd#LMR!i>MuV^MP-zd_NMNCm0Xma|{+v z6OnyPc+A3P087qse~WFL-5fooBYH?}dJMgfIFbk+Zyb?E90B##{fciPzA9y9Ps6e8 z3f{ljW7i3za``(;r8C#EJBE=r@;CCYJ0pMEiL7W6Hm%?#zj|UtBU`nf`M$eqTlRBj zFzpt0TfP@rjyDJd*y#^o^6G`-_5EqnpLqRH`02<2!^j!AZlO4v)eg!fvvyFKm&{qc z&fC?y^LftLyIpy3d~*Kw-R%AR!)GiQ!qk(W_?C^!7hI_2z3Bv=>w81=aO*6-aJlsc z6eS4aTP{w}n(ZZ{saiiQnU#Ch6-|e=`d`tsw#WooIhtZ0S=gt1rw06fS*J|gadFB( zu{edH_4$wOq(w7ul^96NV2eEeKf3t+|5aL&j#V?D8Tdm6Sf<@+HvwAy!b;-#DQ}{j rpm5=K3#kPJ)!GjMT(ABxMB9WZ$262)NR1wdei0yO(3NK3pEB?Z{FyNR literal 0 HcmV?d00001 diff --git a/.idea/class.iml b/.idea/class.iml new file mode 100644 index 0000000..e97c456 --- /dev/null +++ b/.idea/class.iml @@ -0,0 +1,13 @@ + + + + + + + + + + + + + \ No newline at end of file diff --git a/.idea/modules.xml b/.idea/modules.xml new file mode 100644 index 0000000..247835b --- /dev/null +++ b/.idea/modules.xml @@ -0,0 +1,8 @@ + + + + + + + + \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml new file mode 100644 index 0000000..35eb1dd --- /dev/null +++ b/.idea/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml new file mode 100644 index 0000000..6dd740c --- /dev/null +++ b/.idea/workspace.xml @@ -0,0 +1,213 @@ + + + + + + + + + + + + + + + + + + +