diff --git a/tex/diagram_groups.pdf b/tex/diagram_groups.pdf new file mode 100644 index 0000000000000000000000000000000000000000..61b94022e85196e7e382b7d4e7694a113e2f8219 GIT binary patch literal 21387 zcma&LLzFN|5N27nZQHhO+qP}nw(a`Mwr$(C-EYuyW=_wda}}{jEOK$a2 zwl^__;^TvIc5yN_w1x86oY9t!$6<%-ovW`X_BE*8jkgY{3EVcbwiBe=lHAsKCW%1T z0RFm4S4zz*xsFU60&3X#VHJ&}iTb8c9e#C0-U=swNcAWErDf~b_-9?d$S>4!^ZNNb z7RH3%O7l+Qh8w)YXAjwG=dK9e5~*ub|Gsm*J5j-A>2}uQxMl3kg~8bee$r#u%YBlv zgD@`z(Kn%Mh5Mq$in5>90(DkvE9BP37B;`kB5;g&!mScn1UxP?FR!|~G(4G9sO`)Q zHMU*31Aay{EW0fVBW4TbYp+9NcVw~Vk}R>;tmaS*2kgcEJ$S$}qY}*MHbj4yQj$Lvy{Ee5(Sg5>0=sCzz zXM}f#C}%I5yqBu7;Qrs)X|$cIs{O66MNt|aTq(|@10Qe?L`q{ktBqo}Qk1x91?i)0 z{*f-C4w+ax=P5C;%jaU&H8oIP`zi^esQ;)e@FRRg?KX-et#dPIO7rh~9YzP<;SR8d zSgY`*HL)C#JwOE_=^xvv1FlShilXZ&Q!Yc!`k}9Zo}gAZ3#c8Y&}Izv)8*Ku*$;Bx zMh7_WSXIdulHQDI#gPvI+&r7i7AbL6kJHLClGM`IPG!`|WRAG*C$mM7CEHLtPC{oj zJDSXAPj*7yLb>B6oFN9NILrl=n7wOKWLo)F>D!sK1Oq7wPdH((`>UgxQv3WmNRi0^ zi-NN+w7c*u1nma@2tJ1T%`3;WZ239bPk0s&g#fNR$TthoM_;!}tMOcDp2V85kW!_B5o za8{c|rjwDnfz3exX(?UE*0KpF`5_gE>b*lIK>n0A4J$>UO6Ynf0dGFi?U!YuPjNM3xsw) zR=R`x1~da|NFWdO6w*E|a&2GZEE&vm*D1m+te~RA#7tsvnaFpF_j@G#X>(;;*qtm& z(%>sM%5Y*l+R8&6l8Hutl&Qr#s3TZf+_uD}@*yUYZDfjxV^DBoQiv`KPfFY^$XjsO z41Y-qtvv^w{to(dJ3lnAIzoGt>6dfB-*PU!O@YfvjV?iR)In*q>4>+Tl-oQemOpz{ zuqWN{r=EpjwlvG}&K2x;foMQDabgOT)*?ymQs-hZ)M>naqL*#9`C~7;%dCBFg0Cf4 zCjWF2lAf-D204uY3NsEe?K+I-PkLV74agJ zy?O~~O@>m+^t2oJhY(hCf0FwM5Jr379mEMsNE2Gl{C|D1pO@S1=ZD1-j(7v!=_1n% z^670vbkltrL(>deVP21_=>)4V?hVOx#=G&@HLSc{)`nhp^BXAWm7-#r8QAy3Q&} z0ne6VpKvNg7l2I2&&o-!to4rlvWm>1zSRdX^oBd!ao+u98k9GKB6!ML4#Jl*(njfN zURrV0V;Orkt?fqH>6=aO((JM@7t01CxYC#e?UfQ5JFBfeX9vKxoZ+V;C>3?x=IOLr zeRhxNt95mlaXE~BtSgf9>{h#@W?H@e)}bpp67SxxJ zeV$)cARmtfjwXPeIvgjs3%85h*|#k+iw)gt{r-(H33?j~AtcH|rQXU)fxTZ9g}X_y z!nQIA!-dhPOmVb0rQ7f+Ms>9v%-QxFP__ONgB=m0@l2bBhy?lAPFZa|52P_|F z!G%DpSOcr6pQM~NXarpCnHlKdyN${-b~B!^#0v{t++dvb=;QGo2<%9Fa;aStB&m$P;|5Z0hqhBr>T}+ zE>@En9kdu@+Q-P5{J0uo4Bl?5@ci7|t;302v(JyG>$gdtB6)szem(5?`+q!td0&I?{yg5j6}0%h zebwLjdwl?cPudZfxz{r6&oTb-kba*k4IwrHbW$&&Am31yB+W0q(GPWX+dAp&Ik$Z- z`Bc0f+0UhyUcAZU(+k3kuW$olIjhEW=zx)4dm@)It_KgXsy;L7#H9ICJ z)y65Fdc3W?s*=-e;%}X`AbABO7ZuZkA-Q4(h!c4J^qSEdRH8yA(_( zHu6+{3%X{YpdrslnSWz@f6Rl^_|@V%oBYfktm;WlJC~0hjBW+h2L}Aq)YLx5(^X2Z zJAIZrbdZj@7|B@w6uJr8H>P~-B=K9aX$sYqS;O$*CF2!57EsT|4O{Ds}DoEO(4BL(Q0h@CW2dcS^F=5|`<6eWp-*;P5-^P;gE%dduH9hJz6wm^X0U4}9YhwK$Zioyq?Vs{d902jntx{x7u4NWjR##QZcW{;DtwpvVmqa2W)gqup$@8AKUByaC2m~pl zBne1SFY${WN#xXB!7L?E5y~K!1R_z93(@^(yt$sY?LYmiFSS*v*J&PRZ?n5I&o%5> z?JzPRsaFXI8QjQzr~r__MF3P@URneM0FWpMpujnEEKW^NDV=&>NLIV&1_!!rqjsy3QAYDK*2@0IB zmtS#6J56#LG*ViUO5zJfdqu3jja&fXFnuegIJ6Z_w2r=zjQjXAXb_ zf^+?oUz0y75bQSaA*@oc%h6fWXc=f>r1#cmU#Sf53q{3=%&4YrwFs zAVQD+yVU^zS5jgC4E}@s4+aGmoX`;nqy4%*Gn7wNF#l;Q2yfJqY;2go5rywddDOTt z!H2V3+UGMTT?7gFkh#4yU>w7{duy1la0)_ZknJBr8R-{zu)Cu7wmHNw&}P!T|!d*lA^eK>}1_)vJTYd~Ow1$aY0zCXhpbgZF&CUt)FWg8-0k zs@H1$Z^56PrZIdZhd)IK`2GBm=R}XoL4fT)vrbe67>E)7z~4Eazud>a;*WZ&KkB8w zF5;K)y1KrjZGXVue2#V4+shyD!17yR8a*&CiEa#pKiHOlpHf}k4Bqd;Er0Qre+Jz+ zDF|^MQqTb+pn*mH9|st&?da3H2yvlYKcd-v-)4OvXHeq(Fo_uN_2Mvm&=BAC7<#4( z=-^kt5{*_sm~_I0+U}`slQzkO)EFPCu;z1l<=8_+=;p<4R3l=`= zeH%e{=k{N1zlIF-7%4_hIFPB3j&*RBoK-4D4=5U#Nu;}S+@0h!3@R4FVK-{n4Z1Q6 z6SG;1o`rlHph|6yc5CWx{F9m4>o1yhhV?IKya)#B`pzcd!?F4}I#|-roF+ZIayt_D z%S56dWzWnm?16;ZEVAGoK|RK8kmN0QJD0Qak$F1Lq?bsWg|wfxxT&O?oiH^@r~3TZ z#@PhEWzer94iLmPz1o>VT{WX)2_sDhX9ziaLkC&B&i%MtW`s7B znWxJ}RQf!`sEarb@oFL=lfZduc5bQ_x6<^M3qQd4Ip?0gcG}rYYboBMEJSH^U~LM_ zN7;(+&nDO;&#h=#dZ@)gPcGU#_qF$0&8s)A!e}3<2U^?1t!QKx_+td6fY+RJ?3=|x zMwp=4#P;d3^sb`Udo-jmP2>~{bKahf=;QZw;2S~&LI;XS7|xB6+*>5m0O!gDR*u8; zF!fUz@y*;(Z>R3cNR#r9`rirma;y;ZXs*gYaCw-~%kk_Fi*Fyz4=2nl^h=TpbYX+| zb=_;yT5Jj>ZjZ?AY%@O@R1v!s^d7tik}}bYgL=w#EOQp9Q|qg#X-FLcOoEkX`i*RF zA~>2E?oG#ajoPgnjrsy~39V~=)J<9Fv-!^;unDVo8rx=jMnpPwbF)580K1yvdMvV=a%{P{d%pZ1R#R%WsN)}kp8t#|RFm8gN@^*k zzd+a5>SickF^>`FtmnQ4wiKl43Y-_;F1A&CfxaXV`f}xxFGkt3`EN9QdI! zOTDsQn35`HqlXf;$ZuVQ8!yNTf`VjUgPac_uzzB$A%~n;NFx~CR09AX^ zvomWwr@kG?=6iqDd;?;7Ec^m35noC&SpF6x!GCZoW|4O@9WnW~zphH&jHu2XROkY* zL&b`p@^&5#-tZ#cp(xa@N-QP9!>CmNUk{E9yLE=cgq3@)-OY3Jg0B&;O%;85&s>2iJX{rM7+mb}vSqQQ3`upzb4>SMDh(*9tzTTs z?DqUniww0*xfEPgx1ykUKl1PWvWUV>p*}Y1S^IE19O_~)c!Imeh7j-AM4;;6DBvd0 znvr}9h-5K#1(wRc_KyC8KR*YusvA*}B$>61UhVQliG*!|hk(fQE$qW2vw;l_Mu!)1 zr$27p*ezVr_weB1$MMx*qORy8(#0dNEZ^ z(_YrE`Qub)a!L{#Z$>cE$skBbDU`WuSSyWvx8f*?Ghz#9mLK8*5vfCtGu*R{{Sa&42tza?Bs1LnZ zXWr>4GdQ+8b_fJF(`3>=1H)CK3OZjZ$6@g>tHs4Ifq1#V7!mX6(E9D6CzpKwThzT9 zklnr`wLegcQI^e_y_t)W#ZzNZ9Nf;uM%)k_BwiMSpvzDALCA>SSsxSbB$oF9c7_CF z#7}(tPl8An}_ME2ddnBrWJW9|6h5K0QXy;jv zZbxvM3q5PkSns4U`6gR*@z<+sYoS8`9M#03cf&qi2Dii0OCPYSiXk2}r{_$I- zOZUA>FB;3jrp6zyiVhu4J0+8cOgQO2OcW?#s%D8q0T?>*%+kIb#Nu++^B@fqZ$81!t2~5q9?#ntW)4)I3(7oxV;q z9i#|rSxwI%I`Xnz4U7W{B|pJRX$ln7H_=YTOhbGIKK23Bf`KGvCJ-+QxaQGyP$iOU z(l0X>awm1hh|^jABfY;m9bYnmtHsAE%5w6NQVYks=hWF5r?zv=5zZ~4(ynS`T=*<; z?(^|?&KSdEJL9S}5z_|T28zGHyOTX)O3B+95~^IuPRawaw>}fyR{N#&j-H&`ISHm5 zg~hNedrpa--SLtlMITlI#Xn)YlcPFMeary33wFmWxYCcI20iYs6E<^8La9M)5O}LR z5S^TCROiRMh$ao+&02LmU74Jy^qV~m#+U;EM9y?jm**O9HzVPXeNyN9N1+>ZV@_E9 zF@Rb#(H-DDM(elird;8lN6MOA16EZwiMFqJ`!Z<73c5M~y_e*#enVYp^~Fdj(|omm z&9>eAPrk(G$xyX0?z}*JbP@Z0qYN(+p)|2~TimN+s}ta{XB2P%Yw%e2%$HhlE$EP! zSq*j|JWuSWP@)mi4Ns%g_cH2m1m)>dwalq57XXzn^sT}`_1`+*uHmSCHmSXZSn~;2 zjh+|Jmce7CL`{%#bdZ>_{7S>?+Z>OJ?FcdO#KpTNEF3UX9tb}(9Y&J5yDnuXz^MG- z9^4rl9-WUMM+qw03hxt>v;dbtLTV4Sd_>UrI=Ou~_gc2ZIE}b7^-8zBTN9{mZg-ny zYJz5S8k?pr)hjMP*#&Lr`SP)b65R12BWBG%uqlIUZ^kF6nsE54VRgwWy!iHw1bhOa zu{WIw$KdcUlqU^K4)R)8w9K;eO36#}_|wB1AZf7vEE082xxRk`+HtP+!(ilPXvpIs zM;!220d_Nh;5srz3i4X1y~td=!p0QB+QiopEqkPST_SBPuvQhEv5vKrI`D9yC_35{ z<_*%bdP*r#y{Tc%O3Sh!*=1VT#*}?ZN1N2QOi#UhEXk0_3fN|Pkg_7ZOrbt`w&>b* z78ZXSR5{CJe~;C1>0J`$3xnF)*UYVr(=YAty+dfoIf(s1f*q#%PcsC2NU$bY;APrEK9pucwQZ~h~)kZ<27#D0;dT5xk2aofsR-kLIn^qLO zJCB@!h6@L~v>2KL&tU*)&+o|yO$zorB5X9Aj;GTnDi$N=c_zLbkeQq*?zG1fU3f*M z^`c2wIn9X`g=uZsys%#UCF05Q29}g{oO;BUj*~lD9nHt(x!)VR?zwrfTMxrGMujHm@ zw^{9z&XBNUW3rZG_L?P?@u?>z9Iul8&vr~sCXZ|pV|V$_oQ0Kd_Mpj4LsF)zV0BtFa*IlwE6XyN0KP-iHDQ!kNItBGHy6U;x~H;h@JNo?sep>$uM^=n#k zR!%(wb3{=!$TbT9OCfOlRj2k^g5}zogH19g?iEpk^yT^XF4{@zWlBCW0en19c1+B0 zE}8^ULw$+MFXD~eKIrRsXop))a}G3f-7VSPxa{oR2d761pY6){Q`y|_#K2O*1zCEm z<2eGB)WNQp*~sJn&Do|$KCd--8a>Az+_@K%3)gC_PozYo!8*5(4Aa`-RC2eO%F79t z&8N18bcZZ}Dk!D1t^TGYCYJKYY1_gry2URgDonSss+yTtXOnfmVaXqowW-F2FudA+ zKi`!~wZ<7@hupr&yA&4j_v>?~kSw_d>(@!c;;Cb7RFj_33)ZR6PEF_ShFvMRpET-k zOm>D>8?P?D7}Bk?T1fxGZmI{H5K$;j?!ilCZ8m3BKd+kI!hXrnubsG>(4nlxs<~(~ zGj&*fx)MPxsNoEq;HDxm2yki7%gs(y`HS zoTxa3*J!FHTN1k?t&2m{KKbtq7wEc}Qr0+f|C8AKVG@?lPi~vFx#{SPx&DdXhA-s* z;r4acW1CKnU(nlPMipwyM{QEKp>`Ey)AEA0l26x_=G1lc?uYrue=1#6RT$M<5vTfd zJzEvDnTtOfkvMd`g&j@jZsz=kgd+PW=hH&zN%zW9OV^Yz|Mfr~>ybfOG5H7rQ(~iy zZkC7YC++vbTloC6-8mYrx49NM3<8T;hGVVe1s=V-0D_qWQzYbN)0+x=|*&&-wk>-R+{BAcnu4t;an&I~hK`u#b7$oKxs_HD# zc}?G^tV2{yEf)=T1uD`l*&*m(-iLMSoz)6n`R>D<`v|4RuH)1Wm9dF`@a5-HJhM+W z*ZmcaiuGbb;~6DLXBe2H?yBg_?)Z$dQf{=hV%HHZlEvJ+9EAv6naV)gCpcQJmJ+?o zw*2j+*UDJ0pM}`xwaECVvK>IPt?6kcsYIwkcsvzF^-!%5qXsa$LNCxi$p{SNqQ|I z2!+ct0LQHCrAT&n`vl8$FSTrM-P^{?l(b_E;%NW_locdPzarD+gCgD17tSfU;G=_T zb7vHoq~Z9+hL?EL({V0J*+!mlg6Q~BKI-k&H~A&I=P>`=&=d6r#N#lCZ+Ck1v|ZYX zNhysMw=hSaTO58IQdP0lA#hpdXSK?&C6YJG&wOBVvS|GrN84VnlpzAgsb@tKcS5ZG z*j=YA;J6NDKpQNKubdtth{ZO`$?r=>Mm1C6$We992nP{ah=3yuriG0CXD06C7BEL{IvIA3C-piLH5V=`QO>JmJ@q*VEb6vLN}@T=?#aXU*5i$#c>*!&jN35)S5l~zb7uIXbzCTMl@MxS@ zr$O}oZ2+*{g+5XgdT;hbB{wVWHUFqAowtu?tUWwCt(6lrvbdbh%>}umg!We4wWVYX zI1NW1W%XinYD^>y`7*&wi83$Br}@*Yh@SSNIpCn~=;Y?!D2@IQmx~ae@?-PA`21kGv32LVnv~-8z9l!&aNxiL zA$}+RtWr#@=jCdfUlLvvc?2Wb+9nTlE)-9M zt@8plR`7spEVq}UQM+o96l9?pq%emkq~zIPv{Z(-ez>W3cdNCtk{qhW{`$g0zGP@D zaBFZCNpD*}TU0USBrJ)xyCx`|cX-{20T^N9XN+~VQ_Qg6cDL9oxAqva7fjSMqo5z< zapXL?#Tm8CiR^NUQr;U#=gYFyJFNCQGv=et*~5iMStWY09B1fsVzvi3p8avP{~A%f zx8jm`-nx4$82qHY+o`;Ge}Z^QpzhGF?mjMhr6K<|=w#tX+~%eUKWfn41s2uzwUaE< zJMuc)tgqdvzY=C`sUzrqk74^qaGY}puYVlnfY=P>ZazCYpOv+D%>H}!n+ z$O~lStLH5|W9{T1XRf#0Scl8KE93Z+e}NHK@Gj|mwCHOS19x>8GS;_?eeyRcJZb#* z%9R9{*5pwW5cEVHw$e|er{w6{^_E;vQ-HXhGQM5LAy3UO(6SlI1Oa(x*B@c-PJyL= zQ`HS(dm!0$fxXp?=ud2-VJA1chS1qetiShIewALE6lBcflUI;^%KZq@z<*Y6u8?t% zx_o(hkrAC?_ybEZ!ie8d`gu0IA#!jUcp1@jZz6rY)_p80I_$iL{AW-4j1Udl?I<7{Y_Qa1!CXqfm|1C6(<{^g;kBb~C|nyyOBwex z`=j@4#Q4>nQC|XhkO-!$5@o`q(mIE|*xXNsYSRF-{)=eJQJJXV88c>!f%Ef;L-cf| zt=C+${;>Yv2mQso&Of^bZ1gI4Fi=DYe4pxF&4suxt9X|W4@*1btXuMtFA8>Gar0qP zjQJ_LeR;KHOHMj*)U)}<6wG`6Gb(lF|JA25G5-JgRA%=7w@+o@{C_0s|Hr2?Fme8G z`&2hj6=a()c2Y*Jl0-?0o>;I8J4wh&MlhIlFymv36eI)^RFYCu#gbA%ff5pu6gpB- z0j1xiGta%ZzwSNv*|*%>rX6+tHQyh-D#iHL7V z@G7DM3=o(oAS|H;Ph|gRw|A{OLb5|B5NO417fWEIK0fT*p?^^Jn-0!g;}~jafjCz zAk6}V-ChUX*goESs(yc$ItLmBC>XG*@xVX_djcMSQ?Sq6ZJv4P-!X`f+R-=speG@3 zK;3)deqjVUhi`a*GvJqC;06qR4~ScT>|aVi0)zr)pfFIb0bN9je*ea!6^HablkZc; z2!MTE20RZ0g7>$xJ#ucI)|>^3x&FWQKTSG`DJ|`#b)onFTDHo{Lf`-nMMunnigpwX zh`@+wVAK2X1b;KeFrwdEpznMQ-4tjniZ}J9ckNI0AwPe6{e62Q2%x{rDTr8c8XSsy z{D7^X(td_-^y5G5Q-7gf`}5!2lRv=wzgzLCwWX(c)%~`QzkfoB5Oe)~Hy+)eMi1-k zB1f13pZ4m~@A@vRA>711iGQ{$BSH^23Zflezh6j*d|D9z?M;k8(9U1bRQ?yVe#q0v zfkD{Cz6gEzC8zk|s%Gu<4%xBx<3?FZvRQLMbGS+};_BIe%EZ%mVfnUI ztIrOK4pCXvHK6();Cqqx1a>4gOGk5Wuc@VsbS6BncdKv}7nK=52)rFujju{t`H$U) z#TG@PLAD|n9R7hzOOR@KN;MSd9SB2u05|Uk3mC$?_oQulQ49no)QUwI=1l~7E=-8e zCmkK_^4!??*|5~;4}?SE3)mbju`s-8^6ia>9Yv1Xdr2ITb2lJvn}x~JC`?d+5hxq# zlfJ`iYdYxub}fo*Fa;vb#?@v_d9}I`Dq*Ugh?2Fn`N99$=)rS0hh!a87}t8w&Ds2k z3j97#A6H2(I-U48uCAiPgBg}v-sxaWe!EgkyBpxvn5wG<0xLUYD_X1}_Cj7df@4;= zLZD&bK%Km+h{rgd0KayWVkA}h1#A0mBumDovg-W zC&q!_-pdwcaG_P$Tjy;pTcK!fPcE*+5+!dzN%40YB5OJyC z;;-A`-6&&kH`{Qt(oljdpEK>+6TH%{ti-9{xQ*8^iX*?L5X!}}q<97J-ko|E`id`K z)|||ua*`yO@pz_{b(?7&AYal-Hm4~dE_A6Zv@`KoITXJWQh_oKJ~~tlTCb9+e=!$k z>{JiVIrbqjp@3y}vvpbgy(l#BJ(J~A{4N(g_v0GrZDPv_gsvV(asguqvgQJFX_MPq z4;wgQ*`BKS3|ya2U~b*I>hZT2zKj9)cTSEs+L!z$XK8q|8coWy`$VxUg z0lYwnI5k;}Bv|~evzQY2g*>Jcp}r$LS|8Qy26uiDLhIiq!$rB)6I#G3&U-0tzwW_U zM~kg$J$8ZA^54*->@IU-?-FEb0OreVRI6;IVp2tO@XpmQsPU`5a;02GS!ZUemVUx(Hx~g4<&I>P!`Rq`C zzUrI@OSGwF%S9aYs+U^lRhRaP(T=vo>fWe(rYR@c*5*>9J|8DCUF+0I@T=2m zxM&x8atUA8Oed6c3oq;b2Dgr2wA5 zk}st%n|tabdgx+>f$W$pc#iG4BYPN?gm%4HoZbQK8t~fo$8n4}@?aNl+f!NT91Z4a{;2NZ3A8dOh_l>Er?2k&Vz9=fZSnl1_LkRPO8N=9P8hjZQqj5=>cPN0 zhWTO(*=A$vUg{(4u68%+3~gNadKN0oob-1XVqg5 zJ0P_kos&93G0&Sf&f>kBx@MO? zzSzZPzE)O9W7@&_Ejb2YWkaK%`+hNMM<8#9^KokJu6M9oy34mUmfXHP(EP9e`6bGw zD-msTYmD@|={M_MT<_R@)-MMXSRX9^YIB2wUw;m8ZM8^yE$8n1p;86(j<0qE>DU--tGOCCwM;~M7cm8*7+ox2D&)UR!D_pchy?V<)YIl8AH^K2Uv?Sie|&dCzAf>QD_;-A0{TahK9-Yrq&wS|9e@ z!Sx&+vX=Yng0>73Mx>A*#ym@UPl!T$gxfbE=FdK~Wnnu^d0 z7WBw;JfLewavR7rL67>#(d!p|(LO$w(1WzzX;eWaDlNUb@PuTcPJ?{Hv3oT~-deYubo1{pSi25} zV6$5L0yI#NsQY8~#vRh5?BSU5zgY1c@)}_ZlkSK#eQ#FV4RBqR5;!>j5m$5 zWNbfA80hZ#P7xr5sYaoWvz%2BByt|3I*>wr(&^>0JbnD>ZT#oVWM64Qp5|}TEG}Z) z#1)1gRpGLRe9fcokCIF9yUVGe4Y%gg%tA&Fm}}Lzs`q<=CAK2(&Py4OC~2~z9$?d^ z3HiqYiltkQOGC8~Fs&QKI3ou?zNmPO?TgFYx@$G*+u$87vL)WV9`aZ1ST}oU&5uy@PG zOw52vi@mZerDm9?Njc)C!`;-@?ULD%T!NRA*Bu_pHT}Sh$pI z@A;y|K1Fa~?5A1C5_=YCXJPn6O;BlfZ{NNswm#Z8TL=o&MM4QLAx=s9n$RI0MaV{X zW%xV~KZjgfa^;kcnC*6-guZpLVo7ow_hv|_-jS=1U=W*&&AhILXGtyI9N3lSye!KN zibEl}k1%MVs-Dze6^V>lt^8=A-H=OuAJI&>WbHSi363Q$d4<%7z&@#J`t+)JGUM0#^ntM##OVP z;W-!eoj0%%PzmD1HmqH)6f7PGG$+}+>)o|dM#X34)$4*S;nh>jOE>F?2fg`=E_-tU zU$(E!Bn)IFi~LVk5kR`YXS9RECMU2)@3>ONtu_EE*0f7~Fh8&1NbM_{`BGBrC)-O| zcl@|=v)ww?MfA9WQ@ z*C+FY?M?H3da16A*oxxon49+yZ7t%pW^(Diy>5$>B>x>{y<;EO=nX0}4Ah#h*Lk~t zH5C2W&9hL1@tpRLf+-jeoSvp3{?AqF{~WkLo?gpSt}JYCbCI_yN1R-lnMA0M)lFXh+>m^za59V@VX@OV=Z zMmh5rhF_M?M*s#Yt)KN|T<0UNTDNYtiS24bV!?wm%`nIg>D3pOQBZo>n!;*H{4VQp zq5K10ux>nFFWYzpn!vt{7Pp{ zwY_FG z%uxk_qp_AP$Z-JoVDY^P!%LE5vF3r>G`HxdyL@QIvDxgz5KY>~tu8(GDy*cdDc2m| zo`W#x4qn$X?NSi(@gc@IQ|w{Q7iFqj5!}vGT&^?17jA(sI$Nx8-iWgotGff3^PItSq*3-t zqbxHQkevumP!c9FK1*SCkpVtaMAQq(fa0>v3$V zs;TcdSM^9C8n_|@{Sox2;P8=|8~xLB7(uqGIjKlAL6=5L@^+m#HJ`K|IDz4pL( z>FgF_wh$Y*cu^otc@#I8cbP^CXBe{n_RpCrI4D1ABA}gEK90?`7!kWTJ6AWI(|ncB zlbu&_?1+KqDk0OhcMGU>nfxHF4uv&$jcEAYs_9P*i33MI1|lTSJK*m$-xU&GiK4p( zHlReJ$Z^1=o3eZt=W4IMmPBRwETkhg8R;?ENXv{1T(3(= z(Xn~~70m}d9*V~)HAw~JSK)I@bfy}XB8!#^SJZ@YY3xe+DV9#!T6d$>vP z>rVW&dE=!>muI70U7KAM|E3G4lTx6Bb?M@BvKT9!S2t0Me&H&V)KvgPI7%~X$~OcW zH<_eAPHN8An6=Er2j&0->0`U739;VY$b6WFZ($y5N=fksNG4|K)Gf8khX%k%X2NZy* zd(Dp(*WSf)B3okyAn`^sW6IzpJoQxRmwHN?kApY+W%ZCsE+0#uKWn^(=?=`jE)=^Jx=CcF(zb(UGYJ+y6l~Nkz0pH91ib{8Yj&;DT zw$UeYZLI&%$ax1fwS9XWqzcljfD)SYgoMyL0fH21q4yGcGjxz5K?o`+J%E5n2Mw1Z zMS2kg1Sx_vQ2~|Sdq7^Cd+(b&@7~;1Z-?PrFwLfD?N1$*X@_?sw z$KKof45Ox1jh=FwzjmNdo@+YHOTHWyBGVIjk+%)S=e{n&O@-x^>Q#GH(yZ?(IOz?a zkMJ?F=IvQ}v3?5%wb4s<-n;ZFHm|yws}X3~ad<)PUPw2Y)p{q@ibs;k3w=wLRUnfeSJ^T~aMv%U<#Ql}+s5K~3Y#n7eZF`v)Jj zz<*>a^&0|TjT_Y99dh_frWxOBw1{EPRxP-$iI0$$L~< zw85BIev2|<;k=1~oBDK2wp`TJ^wQ*|NoR%+JI+MsR`OI}L~9Ni45)ba&Z78|BM@=1kv z7c&{G>t+Rf?C9a>(_t7}zgUvzx~+6Ycb5-d&cm=zzfZF`bhRmc`)CROMpvWw4Q4c zzzk%KiFTNtO_jJ2vyHRh35L*7hK!^QO6v^mcOI{cxs`Ttb5rSA9n+6jPMx^;SXxDmJB^E zc*7cq!NJurid?}I`X)^8pZHKU8DLyk{x5-@nYir#)-AZPJolMv}vwsf7RCE%Ts#8*olSPS1 zJBZzi8B}-QG0^8ah$V`nt7+zSjPhn>lAUd`V$9RVb;dia=nyf-k#ikkW*LC}gl#P4 zTq7Sg8;G}1z0bwq?L%Xz3~`IcqYw+R=UoWk&Vv;RUgwhu8HL^_WO{6l93cM+e#Tyg zRT80;gf}tdr-{>w9BB+>LNiXg9RIVui zHC^Hb)Y)bdEaMz#8CX@JZdlR1xhLK9gnF13*rS3a$}xwV0X5u=*}P|F9Mq1amy*Wy zL*1&d7fLfJfriniRIG#2lo^_626;e$X1wuqJ<_3YL+?JDf&1={tPV*b?8K7Sq&K3Mjl;a9C@s;ZYQJ1ozvr@p+V_^vu?*PQ3zuUX@vmd4lAYi@O)FoT$910QS}k|g+rcM#dy`MP=+j6- zpw(p3cUMo!+8ob};=EyAQ)EW8VRPk2UHw>kuK9EG9=%n}Y#)!BW;vdu4erScA7!3~-Ox>IkK?xeIh8j9`2m^DuT*1nb@j)0-tB0kC_X3C%Dn)j zE8qFCFrzN?^)(#n0Yi5S%fW`%gYD3CjBE8+`9#GwpYJX1^N<__mZQe7q(sYcw>#lsA#(z>igHC&BusPn z(LZgA2EIv?upIbD zp~IH@vy@2YBM+7Watmf$Z%;)eM;afnrd4KeOQ>vk<>A`bJhGN|SAW17OXiN7Us+BX zF{#~wf;V1=V4F{9+&?%EVaY&06dwh`iK>I+uz*5bl7SCG@6P&~$wufDG=g}ge%+(A zsno!=Ljhot6Fe{V(z#+-deupx>7;!6zV6ZA$z($Us!r+!u2+d>Q;)_$ZUmW@^_xSzdb_7 zv^7F|b^M`vq59+#WBz4+3DEeVfi)CqrH-s2dXrgE@n83<;IXjd#)# z?sA`t#_qe6ddjqSTQ1tdaT|jR)~3<^xv+?XqD6Z=eOThd2oRsU7e#BE(&Fj;z9m?A zieFh)7x97$jT$zXAhu(V+Nac8vT2An zWcx_8GSd9cqqbExiQJ^*P)J;KwKz;DT~W{_m1DNDV%x6X#++M50-I5n^_bgf&f;uy zWy9P(eenqtc-BDF12C02==gqJn$dsvl zUf*Tkj6TucRGp=i@l4II3RP=fzQ{^WU$0$z#n}q(k;^LSa{ja7djGR>t4TovvwA8E zBd}b#_3(I$n^CEeBdWNp`x~$VZ#81are6pt{k(7<+jJOajy#s9$%wnWA|qlf)Wyf1Ur2{m;YpfKsoyRBV7o*HAn9NBo)XIp=kls z3i9@La`g2jaM*+p?j8XE!ttj+VgNHFDu6IGKoSUsf~Djj(o*6Op!DB<66^`@rsoli z1Q48(2Du=Eg#ljvj)Cq0NJl{MU-wD_AwbCQq2FY;zepKU{|NRFgk=GM44gbo0)41J zcK{H`Z!R1vAdnF8{coigKu%KT&w4Jvf2PKjn9ljm$I0M7OFdDXRP|>Rs;C#_EiPFSPiy?qkLr9&?dCB{f;aA^X01d{B`;bwwBZ@|hEZE4_yfa=xihYH2x_n16bf5e!am%lER41J|n!>ftaeORHX?bZtI3( z%f-Pd^);tr2f4*U8&FnVmQibCGn)9ZpXKDL$k2__S~7d&Ld%=p^M?L?cy!9ydj&lO zTT<`1^q6sp?t9c@`(@{cB1PC*9qWT`+?t3%UV?DW&Ey!{7C2ob(FbZGYw<0!!$sCo z1D-z$@m9;esJpX2f;p~pYK`LR94bp_1l$E+l``-|X(M-4!OSVycp+(wp;ek5=BAtK zEdR%+4s7fr16nU&8UZX+qqEQT;IUi!vGRkItxue8n_0Pty%;qnb-&K}6wY5GT~B`% z9Z{iez%ijUu{D=F&Dh@Kz0|_Od3{&Jh`Ek|lWR*a0^V|DzdHK9K|YBJ5~y#-CTc%v zdw;==PAI#W+YjhxmzUJ*9;7*M5hdij<;jt5u`;8Fd z$5aTW;Fg-`w{8cgi|1=3d)d99x~}SaXTF`fOK$HICN{hY&~z1hY35UxvS?p(DtV*h za!=$&NyXQ5!NU|ABG#)Nz&xQpY!po%mdqDw@JFGIdmDv3+Vlr%6wGRJq&E6##e=lh zTi;iO839L;cSC;eWW0d;h%^C2Er_~AY@{rEveat1>v~!pwAZb_++1axh{%z`MLN)i zhX^JeG&O$sSzgX*K-zhWI3nwig69uk?nliXe(oZz7U|Kb_Br2ZyK8u&v_XELm}7%xKUEJOfq2h&G6XvM{IKJW*$|l- z?3IZ=QR_fm!4S=