diff --git a/diagram_groups.pdf b/diagram_groups.pdf index fa29bd9f1b02406b4f26e8783ccd41b04d5cfb35..61b94022e85196e7e382b7d4e7694a113e2f8219 100644 GIT binary patch delta 11411 zcmai(Q*b2=w54O)ww;{Vwr$&X_X#>?cWm3X?VNPSwr$T}x9U#K+q~^nwehlF*7{D0 z!DGt66RE)2lYkQRz!?LD1R@@k-nqK+q93L;TL}(9)xjIq4$fjM>v9{q4^)x3x{&YZ zY3eDt#TQY(haeg@Ke?o$n4&-Ew1%JDFxMk!Z&QHOU(DPctMv|L3nJnjmrrjGW8oa6 ztxPXe-o&As!Y=Tw&OU0eEm1~}buXJ2TNCBncHYM=ZtE5SKz=;FKG?$^vtEJ2it{R3OMiza{}dQ_01(DD zDmGz{DTb9cq>!YY5PrBAGCA*Cg2K_9*bwKh7^GQ~PWhouF)@BEyE&{OxKC-wI^|pr zbFS@MoM>tl1Eww8p_V%=F!d zRgx;`5x8OcLW@SR-nBCZom++!#?;X#pZz-SN4$WzM_A;`XLOyynK3g-Q|3|N+0A(# z9pJkLa%s_k{ybYS%V6$-dHXe4FVGWf9i*0}|ItocK2p@7QQYUhnaq;HlxxH8I1HQB z>u9o>J>2~D93~Jy;Q=?mz-uF>4hX1DR%{hsVr}Qp7Yn8 zZDzAt3lr3cfDaV1(f1B0k=WogpO*|MRNHqwB9Z7HL|X$ap3ss$$*XWj+XBieic{x; z5j_snuTeh0tsxo`X~X=)4UP)E+L!r?2XlQ43yBNL8R+rx|FC&Zm^#`15-! zKNsY>7V-EetmXuI`Xl7c`()45ejn#fv0vGhbls!mDj6j^C8ik1%@C{6u_M80QhDuw zQswwb)rEQ$$T*7xu(Qq%$Pw!YdcrlJ9lCP_E9g_Dbm{POni)1;+_Ne*JAU(&UT4%i zG@;heYS6y9iz`f5B0?QSLWEm{Yq@I3sqfR?Fx>|7MSNWZ(Z7mfvlkbNRGqBAs_5s7 z5Ef8qq6%#1+zt&W~eRG&|2NuqJ(;dQxOwJTm2Kb*pOZ$Ah+IYBKDCSKt z6`C%zN~fLPK*zP(0Wz6cr87$i`BqLR+J^@;QGNEh&J4WWd3Cb=43tYu-NR>&81Vod z3W#1srg|m^LXI}uBY}1TM6N_Lxsw9d{Y?0d$60B!uK|H??Kz}hw`M7DSjt2m_LgcJ zS=_qk3oMOl_SuRSr(VV#!kAbm8#Bj|;Y+AWMxo(~^Ya`=Kn)$-MLqR=17+i7h%8e; z?Z^1adx_=EruH_PpYcmd_g3(`b!!_}^(9S<5tY_0gRQeiT z^2bu@Mull1AhV3tfuaky{zjwH^yOMWNmgmNr(J_NN=a;@!D2C!v;BIXhbwqn_V9fn zf~Jm9^K@#B36F2g`HBwGxH4Wp!8z4QR;%-VGqZ7j>(Dt1RY31{jgwB&v05N{LMW-XCB%BlBh&g}C#jqR$@g-QSFm@KQKtvCjKfqHL6 zh3NK|rt0;ibU|CGtQlxDdQC|uk+YtqGJ4TVM{Bs7wOi%}hICfvgo^c9S8hrXr&l=F z=<$XTn7GUNdK_8+u|zPil=4Q+=ZHhb-=2|<3%k{*G2=YrhfE0q@e9E4)!~jO_@eP( z2rH*>C)Ud!lq0^}pwUkvByuN?MqH^UYte7CFu*O^Rmx_tAy?;%vzs;KRaG81vtb!! z)q~l1x2I~AoGnz*nD4e&;Jd^sTYh?(;SG@h@8wFu7I!&>%%k)?+vH214cW~O%5uLR z@?7fHUr-$JQBSq>61u19v!`f@w|fLXFRxcnBrka8$J0#O6pk?bUj5#0H-W&{hxdRB z*sagI>*xHIpU>}g*FgVQaM(#_GHah2ww*clZ$avhBlRKlMzBuCzgU=;^u>SX|30$< zhq}6*+zq!q+TQ*KmOt&g%%zo_KC6(jiXn|J3P2EeXvKCI!cbrMVV1D3gbs0OJ+K?b zr-`9jv$|?Dr5z*G#H$_oJ}-MANjrP0;a-5Y)lKYNAE%e>iiqp9Uji1a1 z{wkaP`)_!o1jaBf>PTfBv3elCA=ezJA+ox$Gv>=@@nn0EMSJW5Q+cm!kR!|r!?K7S zhy;6NW#y9X=Ou64oi-~FHpl`f!muzoLTp0(5nDEP`1?byX$sp5plf#fnEnJCinu}; zs}{FD0m6^EJENHH5qIF`Dmf-rFT?P$dE~J!6C(CaPlkA);GvFE*r}UUyqX3o9%22V z0(fa8_?%Sv}O7l!dczC+y< zBui|NB~1F-2~k00`py+G3{~QJ`Cf$#gu`OHWT4L3Yr~{LiaQmjUOMk{5-_Vn{~M*< ze}c0aPT)OC?-6w{{yj(ZS~QLKzRXcjbN`Bn+9$ydpuf~z*GP}K|Aoa)Sm@HUIVD6K zWF9wgJd*V@+7M&)Zm#JtbX-!pR;yJiH+&!1ci7kW1Z4e0ZQN&+NxDFwr{e%1uqs+P z+j!b?ka2UebN;Uakg@%5NyY=<YpaaJFz-lI~FK~x={-&VNDuh^&JL!4eQmc@I zLzBn&BMUF(FLT->hncb^mZ=UcNgv{wNFgP8Dzy_sGS~CG@ojScuDvAxG%W}Su)aR_ zTPB<}2&aLNf0Bh$B#!Dw2!aY;0K*m%Vn#y)gNlZO2p+`B&MtMWX1s6_fiB}iiUS5y zqAz?0tBMWv>vpSP$BsZgCc*_hN$7ydLV;nV!N|!%27{TAsh+uzVK5`BLI?C;g8PSn zIZ;7`7wl+?6?TJMWoVgx=Jln4In$wnQBhM5d43NZqw zk)e&BXH(BwSCrDZ(1W!k4x=^l<1% zaB6Bvsu3_YAFye}GpYv%NT7xb)`bt+!&F?}z#MFtBskHHMgPYR3fl*27%I#KIHV~E z)$FJ6H~veR6gUL<#jYw77=*_!O1dv2;_Gm}53BuaQsid{U5MKUNbsOO;ctDteSGT# z$#(y5!msz}uvjIgY2@kGuh@^e{6>xi#2rd93M4c%97qUJQ8l?BDB#cC=Q;jx)0aHq zFG?N6-5{tBhNmi%53$e9rZG|s*KajA)SbMMhu^+ugJ2uq)}7d@NN^*-;IFyB@0`2u zqSrcxZ^pmhU6hXzwY7cw8$j@{Jl+-LtFuqo;IbkMtYwrA`J( z7!mHH4$s(175BpeD)jisgq#hAmG9y@=EG{}rtr;%)Eb>iye{b5J4~MAS$b*bU$voG8&Y+60%G8Xhg=1L*$QDoWOUdP`c0B|3iJ z_L`tnfC{n=)ahFdxju1uZ~HQ1W5r80cPD~Rfp@D#vE!@MG{42t#s5RSr7X}%%fzN> zD-nLFP1s#I()Lh51}{}xsWd@LE4g_vkmmbrZo`Ho3*S>14H)MTo%OWIdhDkjU-{^ho$A9~ zyBEJ|s|I+Ov^(hzS)_YE&35%J3^#rqmWcJU;WxaWF}RRHJXjJ^J+$Iv8e*Kyv|pjkx1CwXmz=Wa7JO7HZWo?k zn{N*RoUDK4KrG>dq_y443i{lt#ol+A?c6h;=?sxu<*dF!yK;xmcQ&YW|$*i$P@ zz?4*s4p9!Vier;T?q^9Ny>y?ZgW5)e*40K6QI^Ek{>uqxi z!`ivoz$UOQJsDxuF}&gXUsTxc&g+QRoPMJxeGG()$=f=Q>)*=UImFvPL|*Nuw4JcW zU&Z|DEhe=7c%v29&?~${uPoQj&_CfH0MX|h=H3U^RTWtBJrO^B1vCC1+&o7+(e^JU^{=^45FQJbkwq6->wJ-eSHdYX1H-mb=8IxBJY)=R9b@& zxn+^>1h16lG*JM4f(ht;-v?0&Bz;OqROI^t&iPSDihO7c_En0F&2Dk&&PUBQz!RwE z86H6?0spACDk-BDR}qAa693Fcjz8ry3ccHA;!Q`xe>T@NFLzoz!re@g`_Q)O5AQgJ zV8|%rte3Rh@qJuqz_ohPvNCG?raoM0=6k=ie+0$$*!~Q*Lw_tz=louXg8d{epT*qD zaKjhgct0}JwUqkh zy(MnP3IU{XOXvq(tOqk&>3?~TQ)Vr%=$ZgHeDj>Sj2{sv5XWkjH>XgYdzsPe_v4ZE zTzPNL^9_iV_bQN*x*g30{aIJvVR9UCO0`$`R{Kk>*xNJ0oAxI$n=X##p-EpGbPKu{ zqK_Gz$6v8`&}=HUHU2#y1K(MNm5~bX)I8OSxpON=wz18m1D0XUD5HE&O{HdXsEeYPETjHdOjH?huWq*^UteVv9JQ}M7F;;rBJ4@?;4FA0tH<6 zjPTg}V7=mgQEoa$VjB{v5+^cSQ+2|VHR`J}ndVDoX2cxpQOT$#+BGA8k?S^j`XU4-W4aIq0TadBJT zHPnoYCD+Z!+^RaC4U02cWl5fTQ-m$FDxxYJI}Nz!0^rWdcV~FVQ|?N$R#r}Q#Pp3L zL1`1HWi&*T=aV^HV_C)XYrz$po*SN}Zh){}MI;jT<72SHfp``mC^Z8+=9$)j!-C>w zN)#AN91l{sGphiD}_EQLpZs@?0xxEO35c!qOe7-b^IuMg#QVo z0Tmt@{tHx!r;_r*3;ZD-j{5Ep7~I{g#}$F|1yfDkA%O_u#LNc_cG(DNnAytcQq z`uuDY=w~4I$k;pA)(>A}<)o9Z!tSl0toBX$oq-y>(k#BLwH&NW!D`#0&~|=q%7)Mo znbKG^BN6gfa(3L#y4VPJ>D*VCV+~~mjQNQNo%Q@be{EXK>hJCGinu(cpOYQc-CLT_4$|4?#f7vrp zKN`h;cjXV5{;jn1*la>)cR?gJG3+0|Qa|(AuJC8FD`;x`^e^u)8j>9ELU$b%8uG&i8%v;muQCAvY1t#LLWBS4e;XDv@n^pe&cIioC~B#jhv8Kw&5w& zrPZEwd6zW*XB2HV-$oosV<*5mK?Zs#Kq2F*!O9JKvCzowvx?hlyBEcanCGE63pUN1 zB<6;JJQXOAhh>T+kIy1g9wJ&wE?3}YUnh%(nI zdbz6^Dux`nPWoM%=RQlLR+qnN9X;7sbFv)Sste(nE_|{*TjRxrYJps2YTpvhhx@gD zCip=pr#x<%C?&5$4aNdphuk)HKyvv(LMT-GTqwirENqXv+{h-~A8R!_#zu500+w2a{Sxq?-pLg`tTc%uE z+_G)&2`;6GYUM1oV8)M0@BL;*3OWl>@>Y4;_03M*BKJQiPm&O7kbHz7fWj=1J3mL+ z9%aLr;;z>PmZX;^VB?PIP{5W^32p#q`Y0{9@MoC~&QOB)JVyvpkqQm>ql`C-Iw)ji zX;U?T6wgzzibvK~35dE6!w;_r>^{eo-U5R8#PdeK(+9iIu@Z_Vcx4uN{5TQy;gt>E zyM=bNSX9cQElW;bq$yuC;O9(-xm?bcXXzm%wg{}RK>Dh0=N;63qNaiB%fuuz*cpVl z_HB(Y1tO_oP9M>Yz7r);Bk@d~`c?1x1h%*L^;)U6nDw0Qnw4kOqUUE;ej9F{N}QRj zK*FyP>*i17i?9WvP$&{ zE$I8y_tzM&IPQCeft*S3n5u-<#_&p#y&PeIxlXtSwYIk3s|?xyXuj{N;?ufhZ9szt z1{Z+V#_7j))ZQT+%xv`j5U~!e7T=NRBdP%>vn*&&rQe<`JXxiI^o~xGuCA@tiluuu z8rQ>r(L{J+s=b0qz5HY3C3s_rVfJv-Fadr`QFfZeZA!znm*LD9kI!^{J{&K!I$jAd@#{PQdm+a^@kw4`FD9iYFm~NvcE{N zOp*$kjSFu+4R{uld7ClS0ViZqk+2GV_?CRdvxzn}X%8j6$06u%&RUGov{kENR-8Pa zOv?4^ZA)+y!k9xACa-#iuEF^*PP52YLcX=RR598Ukk;z>Dzkmk10H#7Ov!G{MX$Ib zA?2``_el=;;LPD}dB+_&cAfXYS5Wcn0-e+}ByY6@QwtNT>xr1U@=j`>4Y|006EO~t zaEv83^(fU~d^1URk9(!F2TRCkOp^kNE$ZdPIWxI?Xw4;Uo6H=5>+1R;pfisCp;@c} zbSK*fHubrzQ4vUDF8zK#ngD!$T(W0E|KU!X31fMOu3Oeuws-Ftn4^fU#;gW`{r!a^ zQhDT}FIHxdG1#Pd=u;j&$Xb@?;%V?lr&K*qF-TbO-kAe{;;Ba#J=FL6-=j=pcOdQx z3C`ZS`V%r%}ZYR4Grg`b5v{+|uE z+7EoH&eiQX@D<28odjKIbKO%@P=^{`-LXv@L@+2{WoZ0MJZnC3GGp1}1lPnWnQaAH zQCZrl9HeeYv=|jV7He``DQW3t5FAg|euXE!%GIP;m>~%n{QUf=P_MB_m);Zjk+ekz zv`x5KnLC2#%rRZL_%ke%GRDm?=@$cXNO^E?I%zlSN+y0|(s|}^HalN^^8A6P&^oJ+ zQ6GL;HQ0oXMR#}uTcYH+Hmmh^-s~OzMT2|c&fkQKU_VyH&ydbn#Igjwx#ob&-ae(yF^h{9p|pAunSX~;EZj`IhnnsY)p}Y1z7aJG(@ng@^D1J+`h`TC-BM~q}9p!Z)iI%Gu(8+D)9Xqk3$%og{*4|n5M_BxYH z^gjOu_HWINAf^pHKYKZKAh{;_!BjNEZIy0_ulCefz*ePP(q*wT&Pb~d1{r842FpZ+ zM4!0}`m9lz7w-b`YM>bb&fX@g&^hLTp5DF2pRv`MJ&*($gMu8M`a)I=fmm<=1)$-t zMst02kIZo+|Ifvtw@rxS&!z>GpD7YVW{48&qGDGdmO@Kk1fLuT7-)#?cx@j1N7wC{ zo89X>Ek+wL6&s!`?k`3xv78_+g+)vG2CaOMtl0h371u7 zohY?t+L8OXam}gK+J+17x3IqcU^ODnCgu@aR6`*LaxW|~WXB}C*1g&#p?jQVw_#{- zDF!R`Cu!K&rW~Q(iJgzqPs)j(J-I!dT`eHF_vV5ZFA@h~V4KGUv}IVD*eovL&>$+Y z9Mpmrq!D2&qrm!Qy*^y7}gLUh>Oj6vv(tZ^Cteje+%l7F6~|bmyshz_Fs4D&ol_$9~Uxgkh*yu z0B`qXjgms#o;}pe$xMC9+b>NM>JuDmkH|`G<%5nYD&zL{#Ox?$zLN23DISANB{IQU zI$fI@lMKf^OSD#}&y5ajezPuQWqxfA+O6F`eBAQ`asa~kau3-p;Er!ju{cV}$()pg z<+JT8s+RL;<2J~G_YUv30&>l-e>tNvy>%9+xelfC{=z$MHfgm}HHjsb{dTy6qkZiO!NOW=kX6`Nwj4=^70x7pS2?%}@o|g1?F%Oh-!;h3bZzdbieFJ1b}rs$DKleN~Ew#)8)e zmoSVsOtPfZk`KfGFn3pnqzMhLxU)f`t$vPiEp|%E-OZU`m7~!eGGIj&{6x$R+O3;_YkQlzozJ^#~2~%GO!C4IT#YrDtYr z%l6xIt9~y-PL8@|?~CoAWNL$>zTj7&FEx8{mQt($rL;};Lpbb0-?v23@kJu(vre8& z)G4OL`NKMig+Wq?2mf4xkbWZeQ@MCs%M%oGw$-lz;!L2qQlifpUP#jV5-QC zMg`fK18wvK94keKlfpgq5iKroqt1>WVG5ksPw_{W#jpG3M?|G`4YHuz20X2+Th+QcHDbzsqn+gEi=R{4z8~of}a)sYjiY#@yT=eK8=2~7|3t?XD|48 zcq8Fl7ZEN?>4mu4*LgTM`PM|7LJ(;W`ZZ1 z+gvF59%Bbg?VV1op79G{#yOFs39k>cuj+7YNZC0hEVfVPOie2Ge|Jg*^4xQTJ3hMU z3FlSws{CJeQgQk1sxIvw|3)z>xhH`^yF=bRLQsZqR?ITfNaU<)T(592g2Qo%2G+@3 zNEUu!bjBo?%WK7+lxdvTqM{>)li57)2W7zwmRN#pPtX9|1ejyr;gg82m>O0 z4dSD$*WTk1izgp;6IsYX3Z$+ItO?5shislAo1cmdYo_>h?-WyR8Wi~t__6D3d~f%> zQb&tzy*7Gvdv*1%tf%va_0A21xRt0d(CBcafmK_2p!j$D1kYDrJ7>(yE83BFIvz+F zn_+6a`6-qi6>an+J3bZ}?Bn^yWc(YEV+I{SlO*kbXoioChn)++3*bufS0wm%3?`mUX5rLI(G=lHstR|M1Rww>d*FDzS!>Vr95N@%|wP zIjz-g7U!!hh$dTHl zj~Ie|KarWBz156#`or0{@J^ss%5MO^_b?;iU0=QK{k4r@h%0(p{yJ|k7=zG`dztn| z$F*WCmm@1PF&EALzv#yh$@k_*)!rQ*m_!-5Dm65JT@ed*eLlP*BAFMP^6eEEvZghq zsdcw?go4KcUGx@D8K#I!8=+0Cwz@ipKU&A`Wq`lmrUeuQjG!EUB?m3A4F)2D?#n(N z8H&;yatfd*l_CUC*0y=($`F*mN*atioK@-!vs{uG-^YFU& zaRzypG0fUDP}gihdDHYw>iB|*`>w&Fb(;PS)OKq6y=T(!3Lx(LzGEORso43Tef(_* zh6CTnl0#Q-D5w!#vQZ#O^)pm`xQ))PM`@x#K)WH6>tYOr*-Q4kd%DU`jb+}-&FAAKJKw_O`j>@^V5I zAXGmMctF}CEP1^%X-r3-i!DR9ZZgolcilFi_ORE%sm)NspC`BId*?Nu{;B)?$94Lh z)6qXH!tc-d)qm09+hU@eWdsD84w(S(_o{TB&ja5|yhlc366C7DprQPyG0xwoVIukk z{&evJ-Ut^)x2i8f7cdWknTDZwuj2l*EF6xj_UN8wPDjS1K^F|GlcS3p4XANlhVNEt z7@<=sj4JLXn$&_yQ+?pB^fcs2aB7Ycyd2!@64LC_lI&t!99-f6DS!mK6g!^;8?Ph> zub7mCFqz>0uO+EXjZd`=IY<->3iRm$HBB_IwD>DaRMth2h*J-s!oi^&c+2m Lpr)2mkw*AGRe2%F delta 11142 zcmai(Q*hn^xAkM&Y~0vvY#WX3#(d&`Y&13+HnwdwZt%pm8av;6&dmAd+?~7io7pq# zX06$KX2+C49v4IYq=w>POEyrZ1E%zq5=eN_x@T&C7x@>o6we=V_tgZgTTQl-r(aMz z!U!Sm3c;)x_iC0G7fMcCS_DZ!tS!8U7gFOr%gP^kJU3NMMx@^}ig15)viQhJS1joWxS5ttkg{y+76VQ}?FS#!16}6^EVj7S zhTYd2#7^tMeJ#(-EP5vn3TyLRn%kZ>hI@GagJ$Y1+fZ3VP*vWNuV@a170@e+qGc6l z?L((YK~>MIIPvYb{#Qv+80c!>@a+w%G_u`(@3G^@tHHK9a9E`pwf@9|iS^jD7_xI1 zbUmq%<%!g$cgT|Uwk&GY1T-X0{VdlJiEwjyM*9lKe@{8)DT1I{%~OvGD^v|V7dS4f zSJavYS-_|+35>1$EcZv|EJR5+a%+TXg(IXC1$%fc!-q%Me*Inp;di>`7xur$BxdQ);Yml;Xgalb>BXEp(8s|Td4YY+gRH{{r>+5Abr1PnFz~NL|B4Od)v)L} z_>!~nya-ibG;GeToo=cdS~ZEa&H`Co0=?=2-jf4>FwaKq!iG1J4qRD+cKQs;$L#Zp zb;hr%o8&noz>|*7MZsvef>@y4u-30g_Cc*?RPO)IrixD@k9t}$+kU5`HyhQ7K`|_q z+QlPI<+y%(+{ngXZK9*c-lxi;I22|f*q2g2vaZnVi6g5J$FLfWAYU%=ELM)sAN^$# zmEQx9d0u8r+)n@Vw~YCRl9-L-gyyXT02JxD~erWmmJzg16$K@^&fNH~3`9MqvgUJ?Ql2u=8`Ga`{R*NZ|MM*WnuJm1rXl2cR& zhoj?+X4WLU#g9r+OMjBeBAM!1E?opUBS1Fw=XG!=@5}i^C@81j^3E>cj?yrv{8b;-tj|m_OXPmco(dYpF z3RNe!)^zB7Vb00_6nmW=g(jSd3Bx3z#W9Mr;!n3a`tZ1cl}Hfnx9sRD#=DrDLCcoj z|IS)5zM1(r6XNaLdPw!!QKk;l*J3INqnt>vf$Xce2YDLiybC<5!qCeB%bF$rg>0?u z=%zB>QF|NoxZG-n=fSEDfB)_<&|;8_&ZZ?YKP*2`Fqu3ZT;z#TlKxT}w z4{n7Xr?~!UJ1m?))^n4mcG(n~7n_dj8bh1Q*_ftg&wRyMc|Ljudk_~olb?38lTT)~ zL#Eh(ZLcvxHu|$N-aBe@+pX!CIlUq};1$}tJpA`DHNSb_mAjJA9ch{(M`5$$D>*R!$jBhNQY#5xEu~ zug(tB#O_$BH}?2KB>jw*E;Kq)KUSO}ix6>Xq{;X%KmzG8 zx3Xfp`KBV;=^EJySQiZ_&fv9g=npC!{+6xtkMx|fedaBFbV#7a~7=hyfBJ5cBUTk3*x?SOMHzScgm)~}DY1%* zSWBOGd4%fIyrxzKIxf--rVS`8(;p6wn_jm#QRf8*ran0nJImX?<|x|X@@VS$UgN~( z2R>~l^g!&5$s}A>^EMME%skD1Pb86pn>4^KC&-%3;KtNKE$2)NqK$;>KLSt$wI~qz zs!22JDZ?12!?^2Po=T%H{-GF+lXp{CW^2vvV&&2dn=}dl!o0Ek_Cc|Fi8_u>$DwEc zu5XQBo*!E7SZlw-7Pw3+nX_j7EJ(aj9p@!8{&+wS#k#?{Jla!Hz~#3T{;2bNyc7`$ z__!C!c)A<~dg0v*LA@V$AFl~pyRu5stGHx|gXQt;pA1+lUFD&~LNLzIqwPsj#9zd} zB6q*N?=_DD0iFgsj2oitkX*#utj04NRzWlQ%5v_?&tFC8_OX-k5>jwlERdodof3^% z?!=tB&N3n}a0a@P8C|NAVot^c?NDS>M?GRB$lSh(Y2M9kz#KjFcV2+YX?cf_Nv+~| zk~yVAMXnaFZI1(YW@lwUTBmb3wi_SUHDa4QI)Ci}*Qwcy*I=@DRK+i??bqjbjRJu` zMEm}bC8AAMWIZ4U+>P#e_^T+32w>Mr|ADV&hjSYsDDAI}?@RcYZ4=J62C*i}^HleH zArTbv6o7D@wLIhaxvy8eh!b90Dlzk3?BlI7ko|^w-he`urns3=J7cpNjl)lI10U*| zfSWv^b^0Qq36{toHeZUqte%DYenL_vW*Ef9Ku!F|JLzUkO`0G=4ka#C@cXZJA{(*^ zr_*bGy?p6m=2O4EyVskIn|IT5GH1)J-L3qDeQ(&ji<=rO2ZL zrH-NX2dJwA!ym=l``-FliZC0ur5`wWS25TYcVWYlO&MfZUOfJ3)3ILpUfzb(PBGyW z%V%))qqeW`p9_*!CKW_LTA^gEeiRmORFaqm+1De_?bVsHbvcAcC2=mJmP9!Q-=tg4 zQ=6#|&Bf3&B!aNIcE1j~?B7Va94Z+$dXV>7;Yh#Fk5-lIF+QFTo*wN!*G_ur!uUYR zr%3d4Y|1Ho%1ug&w!7f0e?mSbV^ z-BI6d`lhnTBU6ad$;ncZ7Kd=1bj#tNkQU41ViZTti$&w$mf#1mrny}SJ$^2~^rSW? z331N+$pgQ7Z{CORO$$i`!0H#HD&j`<-Gso3CPC1UlA^L9KtLfP28sq-kdR0_S8<*@ zi4aC0qQn6~RG3MhL8{_|snbPyo$Qek4`f<+<3Fl2X~$g!9a zRm0o*9U%FkAe5+~!YTGt#R~=JoPFV$9P@kAAz0{mA($vAMjjbS3$~#o27h6|h{6YZ z1h#K`hKlDvhRf2Cgx|l(AhOuPGvU!7!gO?YB8vhBY*4aI-Aue>eWdXo5CnZ}Y)!;} z@UGn~0$GM&AFR0`InV+Vp-FB9Od^{GJ0xb=Af|UvA_g!B3?`^TnNd*tF3{Ni&cYr4 zGKt(Wx!8gb?#my94213bWO$@~wWi?P)#iXflIkcRM^ND#_+kPN3WvPYY=*7-q9Y6e zWBLkUBe;x^yF6p?BCHddg+RakAca!ZnuQm2#{S4ehn5;t(}{(EyL@w#-k#xTGyg8O z!a!kYV1mFDer^p+ICG&y3xHI%^CvyT$u}@J0ew&B(CUpDc6+j4fg=cQXH*&CH)JT& zQV&k~LMX@>kWn#+Q85rEH4qu_e<7dTps4^AoO5lAw}rUu{$=7YNyu|&^FF^FPquaR zOkTKMIB1i(1e2c4Pr|1%DL6Q2`yExLJ~%6MnV;{S{L`q7uMT^cWT=l2f-pPB@Nj_v z0Uyl`ee8emqMRSzc;A+Bp;NWU=!lPRJ_w(U#iXQ);rp_UWik3#>7bwj#RhgE*w=x9 z$9#`Vv2EbxDZv0Wloac_ab+gJ1^ym1;|R$1-OEs{2LgBtQoFyAp`G8ePY%g3F>oGX zKSXZdwI@Ck4n->8Y85}P;x);>34BJoy~DkUxI`kagKyEHWHw}Ua!}lV^0AYD5dT1W ztu`dhV17%S1Z24DFmgz6Fdq2iZ-J07SkZyrcjs7!b!aPJ^!PCTx6&!6-hV3n-v%-3 zd}UGIj;P?$VWHl&QOY=eV_&id_q*JJ5Q6*V&|c3dfmODg-yh%zB&g`7_i|w|Of?9Y zxNxte9Tqa{D2T3pzRcAD!GL;V2pm!J`ZgR0M=Rq%QY@v1+d`TlNYU*48o(HjfEo#c z|AXVR9{CQFD9&yVU&xvH&EXSE5akduBuPny;+J}VJa>Qfs1}mq<(nPVyre++=p*d2 z3=)%ET{pwt_sM_Zx|y7MB^3)oCRz%kXogbDd*@+~zMGZJRUUZ*5pPu$#1B+9l#c^MO#A^8UF|F26 z)rhRqZE2lCd#t#88<6;?8S$M8T=*?&8}IY=uedml}s-d5Oxo@)$x(rHa+RuObJe`8Dr-a^S#{hgbnc}FNESnGKAGwfM~Izu4yX=dt69u zitG76&n`+40*DG6x>d+tXqKY{`gks;GP6oB$j&??j?J=1*9|YN05O5th#d0KAt&y~e?x)^7vqk_ z{A>g~;rlLFLJuWkhSv#BU?p8Ba%+w67Tt=|14du7eTfl5x=YaTDs3|SESb@J(p6jy zlIRTz)XXvjN=29@*#ELwVN!9u+?8vvc1ICWWN1jp;z{tDle{x%?*kIyTVUf_I+3ZO0{X4sp0)etSOt-+`}( zy=T#=Mhyb@7sa|{3i~xkxU^hc8EyId-Z9er*c!CQ8O7G%4wAp(!*kvjC+xdzk@Us1SyCm)hqp@G~wdl;o5Ed|g)q0AEp@VQOYPoUq9=kB%<9cyp=FnUHNJ;t61_2rOQ zsWw7c2>Gq-s?ZUmv5YW*O(Ocu?yXVs4wei-Zr+-k164M=JkC2Lf%Vr{A`~r{Lcrj= z4Qb0B?FxoI@LBMzzHy-{hD=A&;78X5qHi3$fy;fEpK@!N?@uaIFtqDf9rgPR0b@TB z-^cQ=J&XGZ-V0$mQuaWVgkedwR=BQ6QdE2VT{gAKKIy54DV%}zZw?kUu2!r#mNt?$ z%q4}xi}8Fx6@t9rryq%UG~@$P0gnXZwqBZdwGF0@iiFw0xYCR8+Rq9G5nnj{aMTOZ z8Xs0#OMhtMDouyad!^Cf(mW>G8!f|diJconvz_Fo_uSu#>Z2R-URZTX%8L;Oi5A`>;>u_hXc7ZoAtP7y&r4`qQSQ&emdx=G_3W8} z$3`-=kT0kL^WznY{EJV^>+M@><)mwy&TmyB(|jeTZ04{9*oS^Uil+qw33{*p90w6T z-Wz`Oh0K9cQMV(7se2kC<>OH|sUtLHF8Kk@F$_kDDSog1lUR(@n79=Ta<_8bkx-i9|C8>#PaOl2pF>sqj+@etZP$uW? zRMyY=IU6qqXB-i(Y!jSabpLvbQ~|R*9}OqOQi$gE0S_u9aI|)^^Gq&x<1D&IH$T(8 zlR~>CBc5Bcd4;l+k<76XULYGk?mRj%jGT*lL+G8P&b-TGomq)ie$6v5@c-OqHY|zu zkjNbbUFU*uI2+`af$~@Bgn{LnYJdD)?<=q6CIJO+1wX1Jf6#z6@2hgrkD=XdXUPTF zy~9|~;FLvk4*hovCDe!Tw0*}$$QtxJcNVxBV&3>0ZnF8&SFn;ArtCFMFGlsd*Cdi( zmdMT#8adGZo&)}wAdB{<$r2gr=Ol01@Sk31GCE7W%HPrf50)&9{qZhLQ_C~N#knY~ z2K%Gl$J1tUHZ*3|T3P>)mF~}J}- zWnp+*2j!m!MTEpwBr7(}j7kYAHT!kFjXr)??|J^iWm1dB$FS-co-wBBrGz}?PNZb} z(p)1_Wn0?|c+pz;U#9s6i5G;#)}CZ!q*;+5`E{6%By7kkY*aDSV%|;oJPNV2VX($3 zuBzf7*MKfFTLWy9d%gsvF9es>EAft)4d>pIJ2=fFNtd{8U?`~Bpx{2gN!#iQb6|iO z#TT!BRlk)=P;eLS{PV7L#GKTJ#tQV@Pgm>|PVf)|ENk}rOeGzs{%9UD`LT4kyPtdG zgctgDaPuGUl|%Rh6-RGB#pR>dIKiaCcs0}13Q1{Ws5vsnHR3a*CE4vk zQ<;g#@zBqcLX_fdy1i7gTP7p~l0^kGu`NMb{CkxXK4C^QSacuw7Bg&+y@g{p{al`_ zXUt;_Jkki@vRvhN|Lri`!TQG9Yob+fz5Mbz4bP07%SG*X4#%dRE_V6v7wsj%UVq(%RFg>Jr(^+R`qM0k05zY(URZOS}ZcWZo_wC#zDYLHN{6=+9sSn zCr3js6F8E$P5Qvf&aaYwGJfHIwoMoZUeq6=&198IM{mLgBbXh_CStAl%G;(S*XspG zZkFmJR!c+;=nxNhx;NEqUP8ud<5L-diY95dYA5=q6$$~dShz;5GJ?*bj<;a+LzWL! zTDFEP&^x=_%JmE7FCcy5d&ZP9b-sGonGvt`@$))LoPS{o^W* zuCh|Mt39CgvaDs1Q7hU9_I z(%mwE*O+2$Khkqg$mu_Wi8eu&rmG#5Tx&0fvx3=VAij(zf9PEQdorz`$LbPwW?5NY z>x=&}@X55YJj~^m{OQ|0-7pY|KSE@_N1RQ{?Y|jkn^e{;-`527Pon|Q)*KWFroZ3S zGU}Ff`5Pfz4wVXnm}w8oE>LXRT< z=(1`5o3qeP0h<;z;(-~26>HHcC6b)dVIn1~AD81MV~CoPW_1sBWwbN*K}sO^agHZ~ zM{)}}hH#$Hn24q%pCJH%_@QgOS+ShrX(&0RU7cV={1;^EZrW81;zC{!e-z)}dm0x_ zgT|wZHHMxUJ%9iDwMS4`jMuMM zB-Lxbq~UAhv$292>fbldDm0r?rNkLm(I012gnr#1V!VcQ`8oj-nkVfUS^kP{r{i{C z{BJWK`Lck3m!>fmR9(MWYRb{tw$~8-_Up96BHSgS?E7>WaTp-gVF|xsQ3W6gT z2EC{^`7I&{z9v!d&8WJh7qZ2&U6@rqQrK!Cfjhm9i`-_c%tIi`Xo7XtiRIq6u}krt zp!mf@{PnK3vj1?~o*k^-=@G2C{`0hpIawOM*+&6XBGiE$`Z6ta&XHt&In&&)_)nY- zEup%6(J{o4nhMIE^8_`dGeEg%mv})z`k)qOw6}xyR6jQ;oJcKC%Nl#1TK+&r>Zjes zla^4uE*QUq>Q>fL1>j^43$@eN)vH*luduHB=kB6sej$k=F`2Yn=T)j|O;(Y1ExlYP z0<}uZ_Y4#r2xUo=y9Y>}=c>n+B$-{h?n~oV{}JT({KM~^&a(h+&QX{(>!DJ@A4w@` zPDH4%d}h)XjEABn^QUc%Ro>`U_Dx=W$;;oNsf=BEE6JG{@4(ZLhO=hA+D!Iq`qoKK z|2p`nCYnH>qAIZYAj7$5ZCN8Gc`x|1)Na#vO9jB*+`yRs>-jLUU_wW7i+c_gFS(ut zm#;{F`8CtY%VddxA2t>bP#%9H(v!m%+}QSgJqTYq{LgkMD(GY#B1|u8NLFP?y0{F{ z1)IAws1n_T=3F*762^s0(GF+5FKrpoZXWSmujoc@#nK%ABgZAg&Tye?SC}uXnyyRb zLk~xEE~kjPwy5RuSn^+-Zu>h@G$hX4Q78rY7-p{_!Th8LVBiew5myJfXgi z^QR*3*z1aHc9r=xYE{`R(tByY*d99wwj)bH`#0z(ui8^q%vfc)$=2J+Qs(;D32F95 z7v*3FKDqRp4(RGKy(~}o`t9+cr{fz1Hak$wYP{Q)U7ypy)%vM=6E7t;;@!VooW8X? zDa>MD(S1>NDNjCNr^suzH9Pyw;30NM0ly3z?zHYnliPEBDzP5V@|W|kZI5_Mk_6ebufBXZWr(W7!#{IY7Y23-u4vAt@b{>N{!`*-+$7+o z@ULuSJn&SxuipfMw=)s8E`Q}oC37lEG#>mB5tX17q7FCcFHPIBdhh7Q+RlO z^!4mu`)JbZFHXxHmejPWA6q_C;pARghL>Wo%4YP~Hf*&=Nb1vIX&GalhcsIXdxn`d4 zO)FKKc1!ARqDF}Nk^5)x1VBzPQQ>6I1_lcrb(Hz7;ddlp2Z@^PV!TaTP+woud&VZN zhX~qU1%fi-WvWbN{QsWn82jXZIS-$^bwcClP!~A6Q>Gq%5I*G66)NQ)TLQ*$Xj%?W zZP{2h0AFy3fmOc90&~uF#4262Q>yN*Hml9*e!u~p2rtQJXUzCtO6^QfpPT4%|NUD= z{9{Z)6K+d*TAjr)?crVD%Gt(YGYK>+<=n3`$9|k8!IJ9P$*HA0UWQA+yWAViI(ANm3TiiDUQfKR*&Dkp;-2mwcG#{S|5t+RYqmegHS=`iH?a|Ptn zW(UinywDvx!>NLwBG^9GAB(Em>TkNj8^#Zz*-|moBd*Bnl|V8a4~e-o=h$!Q&%dZ( z1hweYya16)P4#ZC2K<@VtIn7%$OcsASH6-|=YE2fpgZI&*44$a>@+OLM>2Oy&JcIB zpCD3IbLngnp-wyPCsfyV3uJF;Ww}uWVRVG(P=O}L^QI>ogh;{DhNa$gfD3ob;r-n^ zx+ee_{JNY_3CIi}Qr^imrwxlC_Xjoc$E1!q<6&WPf3a)lg{$DF!BN=wz`qK=&^BvP z&GqDrc|r(A?($3&W-D>f6?0q1ug-JGidePCQ>rQUh|Wbl-?#zTL(!uhH`zCgD2bzl zwA#V5WpiCrK7T-^rhkXO;Q6!fX0nq$aPLI>a3F1V0Rgs99%C&9pu-$PztUA9R`6T2 ze630H`=uz%IH~10R+sFLE(|osx5_4rmsAwegwWfd03ODR6pe3(+AUmyWl5$Q1*Brg z?C3Q!%mZ{c(Z0LYf`6bw9VwZ>85G1PAsKqe4)3b7XfrM$OX*#>7AHds zamX~`01}-1z`nKr$8?CMfWP@+018|eFL`m?K)D#Uct#;1Z0j>caCXp`dPAw0W1S0e1b0j;TB%_#wj8F`Xxx2>mLR` z+XO?m=h!cYywO5uf~U!l--lQJ%*LtI&)jA4_e6-ynRea(9sL$r zl1r^_1^w?1hDywg9rhg0x_wLY$I9}MCt1R}6s7d$zU;w85O-a8n=iTE$zm+fLeN#W@odaW8 z7}^Y>W$kRGtBv-)AikJ=Wd(bUM%oVm#mOp_EQkJko}{U%(u+JIt#SA4hhhieS3SK| zLsTcOCXr(>sRxV=R6Ox`Pjz*KPMPnWVYzG~-9NTt=<*W82AW5(c2l2xv$Yul*rbmV zUV5E5e3Wn3QC5oK_pp(|ce>Z6$}Tee0oWn{Hr4LMY3dxCnMy1Krsd(1Hada=iR zT3!zDNEYkD@0HcVRILt)>w3Pq>sCF#!n*I<=;s8@b|K2mWm- z*SFy1C>-w@*+bd&$;tzgs&S8Mkq~@yy+0%+i=Ssp|LFTib${B+DTh&*iU z>^z)&+{S02v>hjL5D0tLX#l)WLBvPpwt!O4EkT?4U@##n2?`w~J3 zDjzb$4F@Z4hXMIpwh-a>iWemmsWVO(ITtxi=vXq*E*%tRp-_!;Kbam*n-)6@R9pc- z7&H|y0z#18qKL0>N+ zSF5D4#EzWuTY{2eTuwE``XlPei3E$f?%QBL!MWos5QS?(&;`+m3sSrRkxkd3 zmV?lR!}Vkm zrDe|{M{w)jw7+^mQe?#N6C>C7a?EXILZlT@Pb_Ty_Xw$3jdy>hH$=HN32H6d%-2q$ z!o*$R*E3bF!Dg3yG8b;n=e8#`exP>fm6!~Y8H?vnar%5QN{mlP^*(suXVVw)hVyu> zDl63250o_iP!FTS#X`FDoe_$an+XRB10 z?A>L$=4)xrs_irLvZ(DB-g0WZ@en354=b-#A_$Ix5A8Z_ui^a9G3hs)M>EI{GtKLu z>b)R4`Ku+jYvMfgXtNohbMrBto{X}raOLHScKD&j#*7q3aS}yQzGOyqdkIN)DK2qw zDM=n49$qmX2{tYc4n8RfUNKH~E_P0CE^%RU!T)O{c~$+JS2<>&C=Sfr^E%U`r7VO3 z3OPMY_#3wvME9;%0)d=y0iSd*PJ-`dM!nbE}i>>!H4B zU*veajOWw~q)HZC50a&$g`2yprK!VzDJQcZNN(* E4=(|2xc~qF