From 61f7de4432cd6f5bddc64c7e7daff6201a6c1f09 Mon Sep 17 00:00:00 2001 From: Christoph Fuerst Date: Sat, 25 Mar 2017 10:44:07 +0100 Subject: [PATCH] Structure, first contents on mathematics --- report/formal.pdf | Bin 44059 -> 85068 bytes report/formal.tex | 20 ++++++++++++++++++++ 2 files changed, 20 insertions(+) diff --git a/report/formal.pdf b/report/formal.pdf index 8ff3840899724f83f8ef637a8deb4f2d82244ef6..ccfdd398f1d9c3ca2a368b6da824a4127e409524 100644 GIT binary patch delta 59768 zcmZtNLv)}4vnJr!PP$`sY}@JBR>!u@FC9A_+qP}nwrx9^|IR&k&Rxu|-gRx>Q|GDl z6|jjE$bZC;%uMVYMDg;%6hNkiWXyickFMwH8%41pIJYp1iCm==DDG4t|E%9o66DZ{ z6=i7p($S=DZj)pHpIt6{`X$bRp;FAj{`1eSLBQAjc^H{_oidiY_~K~Sf+R{Js0KHA zoVD5azGnM_=Cx*#*`oOm>1HjbwcDD>sK7rpm&fYgX?0jW>+dY_?^`wzYfbN|`fSQqWxezG@C_s~H)IiS)0VqwZ|M>Us3JVR8HF0A6 z3Ih_u_&YF2>glzeuFCo1&+J<`Gm+R(B$orRX2uq@aA~>H39A9oiBngzNSP~S(d~LM z8>OlD6yqg#efUt$8#t>?u)c8EVX&eb6m?l#VVSCr~;09pp~1rRNNHD zM|wkrQ!~t8ROcjbc6bs6hu4UJhg99sP>pqy%U4@`nfiroBei=`4E+$DlkvHbd-?`Jp)Hm<+~kn8<2G6gL+<{)J$9U~`r$taMxil!U1jaVG} zOVL}(x$~DmwJf76+KUK1kRAs1;5QvQIj*sB0Bx@EOmBNMmtc`{@n+D*s}$+s##jUc zX9=s*D`M*X!l9=&a#a8)l@D%IRY3M}(bsfqxVt00QaME-pPK?xfW*&uxS#Us!1F2Z z58FE9Re~5SvfJ?6(z(W*ZYxbkXdS=qT*T})Ye!iGFI1n<1&!}ubXwN2MOnyRD_X9` zpD3gkYg7Cd#-UkzpOj9Ggj7bYW73iQJ zCrR2C&s*GRO7#O?k&o{{eifO&08UcvJNr|{3Kc;<|2E4^r#F&{C2UW68L=wSPe#Jf z@jFnck-Hu;gpV&IDO0h+elsmYPxho|gDDb5;B1YrFD3CWu3~5sUxgARiu^Nc{WK0~P zp}qOtlGdDB1C4rx^#-+QD*K}Cko0^`0$LyfKnX%H>KhKNb7u?c zPR^Ug5-SSj$Ag%F=!8Fx<2Z~shb$*!1wmQ$htTKfb;}P=A_yNf znk^-c_-=aD*$^M}hTR?s#|k%GS~ zjL?hNR1m7vM@rvxLoNbOEbNOCTul<4FB0ey0 zLITId08|H9y+x6e9RAeKw`0MEoxv0l*ZHL3^z*D)+@Di=;5x3H6>`==O1T&YIptNl zpMvvijEHsvvwlUDtz%i^?qqlXWZ?DpD*C+CC zYJR(SI_Tk{!0wLw$j~kyx;!cuQ9DgNEu~1s$J8+`F^P;?9{;fFujA$s58`GEQ|2;( zpy{6z+n+Z#P*=cJ&hOFqJy$X)A{H)2qW^9sE=tld3ycU|)72wPu_YYQ_vX<=Owa?h zdp-LKYY1AU^U-Z4vtM2rMc|?|^pY1V+x?^MM-TQ@qJbw-n3JMJ#O@8mSjhZ&=AO5r z>@kw6OCnrU=m*o~%#9ya)VlL|U2KE|Q=!lZ>H)~4&K6yX;Utm}=-12r%73rc9Ax-_ zY{~J&*Cz70@4mF|noXm2%8=#D8DlZys*>K_OTr zTY^1WB-9YNmjJ%z&03i7B(Ce81d_6Yvq7qtWhZj|c)u|wG_+Qhi>;UE6r_d6sB<1O zEgKrVQ0UZ;q-vZ?)(Qj(5v_zFerQ)9-Ab;>q@AvxEioOpTl=3A)OTSMN8qL_iuvCP zj@7uIKbZ0#gTe(>r%vxMN1#2_0wep5lB{@+GLo|$M@;MDs&qm;)*4t6U{MTd73|zf zVpbm>@*AegetS?IKTgdSAG1!;a`r!w4THg*kDvdio%En0kBUKKJzZNl?w zyEd1>nb;aTIXjvd*!%odL#j6u!D#sSA5V`6LOY|c!?!Op_;KZ%8i@qb1l zPIh+I|5_&{&*Nm87Jk z^joDs`uFLS+oRs}z4tcPwbv8gQZ?w7YU_00SV845ofUX)*9?vb7trwO1Mbx4!z+w(ECsPcdvP*ENJ8q3fm4n$fB7X z2#Np*DJc}%PjE0$Z^4|CZ4pi-gd7mpfK?DycaSoBOv><3Rf6ank-m$I*%WR-0Bq$K z9>~9vlAHbQT@Xz(N;D|Yb`aJcbFUJXB4UUOh?xLkeT9Z&pin=#Mm!(Yu%qMZ>WWw2 z3YzPkcru^x^GP}r+opBE9uyRnLW<}Zf&$(;>`02`!#wHg0heZ<|?v#HbZ zE!M<{iMy`HY@PMX9Z_4qYC1IKgcBsm7V_!*p1<7=g@FKD=^--rV_QHv z`u$+%8i{TBPBHXA2zw8b0>-ot4F&@Ee0eYr%cLM~436IGy2nZVDyO zql1U_=`V`i?|o>V{tVu4Lw%?>Y@B*L9Q%pzmJfzSn73mwD?uCm>5T8?cL+pah&HSu z0^f9|RS1k%@UOrnV*=U)xMe<~u<*q2We7YJ4ugcq8D7+3%V=oZn$-I^eu z?=-Jp@-SrdP#_3nnh$7`J?Sh^Ed~z{=Dz5g>Pw<%0K)L1M+&yn_=On;=KkxOs8kb?pfkkLc={!Ih}>OR}O3xoyo3KKIm-*|B| zaolixeg5?S&6k6cSFLOx>Rux(YkzK$NL$JCd=?6^C3jcKMEER`1qlkYi92jKGRZNJ z`2499Ikn=D812gyR-Srfb-KF$`z%Fglv&)v#F0POhM)gfUYfqI6@R-$;T%&WkzTWf zMK;D1`h(c3rs0%ilpD6t=ECzqL(=D~QfV2WdUKo|_8bgPM25#kb1VWdABd zcN%tTZpZj;6va7uUYAJN^;lsuYul8&LIIX z@a)H@Js){P54;1pNO4N|WY>pR9qt#(r?uu)TgM2~&veh0EJ_=POMjr2|w!%`|sr66pb;UxkIjq}z>09Z7W@E{O8g z5awd_tYql?2OYMOm)@1v_KIE{gwojqw9UYvNaGki9=n;Sqm0VD+*il^A5v_=9+E#F zd_L#@wxgeRh1w2u#O7V4hj7nvTMj>UxVZZ}UhlVhde;%(#bU64IsIx@r#3UEHFJE?Xg%Tj_>xjqD`}b=@e=zWLEihizonLiC@`tj-70 zKNl~jHcQx*;j&HswwX7sVIH^m9Q;r!+?m}++bE`_n&VRZ*-m3GoX(+tcz00yyO)7{CFBY*rRY-S-2Xc(zQJ&iYUPC_{yDYy$#6yUp z58^fmSXPyNtS(OU{M9cu{ddj6r;UVJZN1x|`pHF>dwnWwT!* z1;>CU-V?x^8Rqd!KviQ^-8e%{`8MitABuym70UXsUmUM7S|huD1Qn(O-8i0%P8%&N zH|$iA6f#A7WK5MezOgB^T8@m@dloQFI0a;ooyS-PbO=CgcuAbb;eXvJ7tJ*^H~OwC zl+*d1%uQc7UfVz3(lymg$>o9WBg`KD^$)s_zkKtcI`#9Kr*U~()qC4rZ@Vf*k1!Nr zz?#dM6obvsvo6bH3Yw1CH(S03`q+7%Hd|9A@>jg|I z{-E|RFXl1G*m?E)O^mNPeEcuRWVQ`!;rGy*2gMLkKACZ^mL+od}Z3~z;i8#?D zOyhxpGZ4VzZAe_rAd@I>wR!lKH#F~f7w0`St_@$@L`b&0cfN(-XtjRCZ~^D-BpVPu z9#VIr@B}I*d}v_JOR?KQY1RdAU45w3NB64mV76K~YKl=EQEi_#q0I^<^LC7QE!UKo zm`h%l4RnVD9A+Isj%zJGKT+n#Ja4 zU1hgmlG||d$y&izh^`*ZF<{sGav~~#)+{Y?^94RL?hNPmlmGQz0H`WADO6IX|vI+Q9U|($De!@PF$E`%Ql!#GD9glOyWF zvob-=o3u#G?le*B&`wQsJ~#5 zmXs+*6GL6%0(ZKLNN$@ zDqn?ciL;hta~*hPSlwWz`EW9C-wY#t$-*i+e64Mc8$snRLs|L#7j)}m^w9>DKApR* z+4!18o^r2`jBNars5WK{cF`pg%_j=)Cze#4MB*dpVB)kYLR*>g;Rr2$in>`z6`#Jj znYa~`x#_QAB_sP113UU;e?TdBtq?jX=Y9iLzzyVfz0#1obJ%?@ z2kVpwY%hRnbu`OEp5m#;;2w{3Qqt*|E5`77l&!_) z*_IfO_TqLp)4{Mv9D_29dZX8X%-%))o2tIG=*7Hs3%~~Ji$V+YULz>HfSOZEbaVGA zd|GPH%u7rTj{_h2To%h_ZJ<6p(?V0GBm)X{edjda&c$B|WqRjn7P4NSj}*S;G|d-Q zf$+>DJJG?pijr$g)6ZVy8z+wm2T^5rIQ-R-@?N#QuNn-Yqz{2JIiAH=n&r()rBOuvCdA;oeE!Bh1ZQyl_;sVGh||@c ztneoSXJ{Y`BtX&nlV`;(RSg9cQmgT@jC>&wFe#E88T~^%SE8+}Ner4U^PcD!rpz7- z2}3rb)nTj(2f*9ZL8gYgv6R-15>nfVwWW^)>JP>fQOb?(#X8>Tmq^83AX3uaCyuIR z(z*D-Jjo$g#Wf*O2Jy*X3YrG$)sCiJVAYwF~a|5U1;fgp9XESGEx_dXnH|-6*_fy?hX;95HtE!|A1SJjbzWQIcsZ_KTA>xnu3yG= z(_@x}n?jMvSnr@q^J`e&=~e+?YEw?X{?s!-BRX0|+|Jjcfv1 zJHudBm?Nph7XM*RU3KSzHD?*Q#@-MGD$^T`IRjsgP*OX^%SY_Cwy-&kBzDP^G_)Z* z@QEIRh1!#^3w9DDJ4y>|w(&aeJf`3GqJ7L$y>QP0Cxl(7>A1C)^uakEwwz~<;IE8}Mt zieuN2633+y-dHLLB?;>N-24g7e9O7TSG%glC*KW^E|47{ddpjvvd}xQ{-h5-0>v$_ zeV!C|wcbJJLYP`7iMO4V6s;COXZ&c(2z$L9;x)Ly2CdG??_D)phX^`}bZD4U!uX`CuxV!iyzbTOMZk_za-c0JTM_0PjtSV-_$tlQ4^Lev8Oi&g0pCoB= z*DPEg@{36~4Pt|ma|~5LqATmav*Q)_R z-UKa&i(N|z-jB+z$2see9Vru|VH4c#bJx;2LQ8_G51m(dLfYA&heHe8YW}xKY#&oZ z@FOJ2DypF|m8OoP)!lkPLvZOR!lZV-Tq03uxwtXJ)QVz|M!xI8#~1zL+&ZDFw^O~k zmXc>LsP4Dsd)HXxo9AMXWn6AUq~FP6alA0 z_ulq1zL;*NC!8$yI3EU1(-us#SMjb;W*QGp!-B_tHM{(wtQC>I*6~HJpP^abKP!op zCACfA8GjjC{2>nnsA_xdME~0RYl?hK-E+LVa6nUPztKiaQcLo@Zf2~s`DvckKUPlb zHV@|0P3~*O`lbN9s(Up39<#{75S%< zenZ-hJ(|V6R7 zPDbfdTeda~?X0sIn!;YCD9p4$31_(>4g*Ph=EI|0R}KHUBY7_M^+E9#=GA9nr12Ej z3s@0s^~ElZ8CJuH`qWgKnq;>MMpAk!dkhQ*Cr?BHp+suyx8-ony8H)bao$DlIrX>P zVSYZ+Lccqfa?8AOZoR+G;}==@G01%6`agoKGj&QFKWd6}^&kq8?e6LhS>pUDoLx0v z;yT_8XJL5TrtVURa}d~dN#JT2G*uORRK5J1=#R}zambLDRpD0AON1FrMR%( zbmnEE4o^Aja%<9@7m=hE-Yvm`=4$A#aP+@z!fs-DDZs^nhB@7SUcUt?TpO$O$HDQ5Z-EZ#8wz6PtjXvvJNqi`hv&wm;2$CXet^+on3v&_+Ky-U(pGzQZX@_^nE%f0)?Fj2^o{mh zo;4bikEB*fv;@MP?Zl@HhbN_;v@#GNc-k}AAIy`yiVEdKV(f8Tx+SZaMw_covqPmb zQw(un3YCs4*rf)%zBZ%-Wi*h(^x-QFVBL8CU?*vkmoP{~Ls-3pbjo`Rj`AviKekHn zH&kgGO8n{yPy>E3t0BtZz}#bJu2?S{?xeVVwn!Bv_>s#jjP*?=K9r2wo%R9|8RV}@ z`mIYO9_aF}gNZ6!Rb*{A)aN`RpF@%Ev-AEBwFMz23++na9nDOc_jZ8|FuI&0vJ4Rt zArjDlo@$R5ZqyHHv$wk$<=w~S==CWv$fOB}rP!Tx5kfblI|?=Uf zma_n=HMij-J>bD^(bwsNG{x8`l3QNILlfV4-#idS*X3~mKl#K+f(@{~?X>n(3DRxx*Iz-45_~h^xKHxT-%fmajxu0sc z6K4MtYA7wMiQH>3V#wcZ)tT!8X_jNDJVPap|AcaF_}{HNktp&^sY7v@Ef$%<%3ieU z5;P9ra~B*N&mp>?g95N5ui=q?q-fcz7%4&FxD88UZA$V=D<}L zbNNgXgnGQQ!0;XM zo96(_<$1*AixzbljK=+1)UN^l`HZ!&%k>Z3!Ya+$qi5qk9=Nm!A*>O%`^a|s9Z?T0rW#DA9$ z(W$SqCytwD4(I+9)Ca{f>p@fK+Fno@Hm219rzb&*Y@K*2|28k*qjTD|TRnKMtDdml z)`9SOx%|}9H{%kb*0Vx4{RX7Wy);#!bND+){tK>5Lh59kY*yJ4_yl$E_bD%}Ra0{# z$7-s|Wh9KP#-%uA5&rGj>4WPMJ5P72?$`*jUmoJQQ&s(L@YY5n9rir4S*+5DvFZF6@D)^;dAvRV(5nH5BBHVR28;-*P^bckE(5`gML}1Os zR`F`cc0r|Sw8I*F%+x3H#_v&k)H^Y@KCVntzUYS*+QS@L(F)IE(gh2%X}FQSy23@v z_NJqEXGynG5wp&@lVkv$>^sp%9E~Pjp?=TxF-E3VYqz<|WbO9hudOJb`gxzO*9ag`K zSI?W|=!$VG-%u?tg4BB`?#7u{^VXI2jbip>YJsiWB}dt5;X{2blq_oe8raSaiYMIC zYiA3aUdk!uo8P7k*AO06=<+M$J4iXR^$R zZ+~-2wVZ6)$ZfE$Epk-WqF{nFS>)l+)TD%!Tk(AOh%&TVec>= zte7Ek;d*uJ%f~a?5A=u^6-&tXbqy{W#Dz>|m?g$cQv_aKK@%hs5b41WT9$@DYo%#n zdLi!*Y|}6-ocDU{k};>t@_bTZ{!r9cp?9D%R{lY8m=aa?6WjeYcWRWB@j8#c3s;=* zA-i_`IR@v~0L#U!62lA4Cg?KT;b9l-5FzpMaL&X$^sQ;y{u z+|umdPS>cR+Ua0UlrvxvDrL>gF}-$cMTY0TOFcM#k@Q$(Umv_v(|*`iN$8(fvhBHQ%f;pAGFCgnku|8p4Da zeN~Ljzno0A0+>D5iJZX?wx|Z8SzqIUzQ8HzF<5BDd87`j88tR51UZqL1wN1AXB8%| zXl%hDW{i0fmRkO3rE2;xtPE+9^B^-oTwXs!6-G0##gp$9@58#}AxDq$)gp(x`psk# zcm#(tfZ|25FF%shg-|$O^%JvLp6r=8!psPK0lLsQ3?O~Amdt*lO=NuF?X@x`o)ple z>mJ){^~_OZ%N?e~PSl+eb(oy$?b7k)iCnvLpa}ifog7%Oi|Ym9nlu%s%WGB>xYV^5 zgYk< zrQOW!aTCu-snVQ+Xz6Z+ShvdL+@ zKR2ZL5XuFc%p=m(lq1TaZklP;((jaR;STsN>9ly~lbB!bu4tvTIn$pD3n*($T%Z#K zAe50PokY=FNM1FybD*z!1`-k441DfQ8CFWBpA@G`EH4w<3Qqk&+xa}BT3c$Q$x_5Q_0LPmCx-0XAq)_`{C?}dswf~p#g8=G%1Js-6Xd9RMjOAj zey%a=U;p4oHNCn?#3)M=1E;w~JH~HVGI=TDUsub$-+rq!5@5Syzc;laJu2g1t~~`E zpy!#98-dfPeT3xK(D<1&{kT48`pZCr8ZfmQ*~Y|lul5QUsm9Z@o%Yi3}2LGwk~tmq;;643D865T0JerARy(K$9UgA4u=BYAR0}*Ns8nK!2ZXP zN=*ye^~B7It0hC7KxVjYL2W{_5XiAmNeJSXY-($;Lcl^)kq~+1MhthFV-@N_`i-`| zn{44CrVp))6&!X}vqLA$5g=JtS ziWSWt4UAaAE!kNjfOt+yLPAn%Sm11H`|H_l>d$e7=6UAx)v@Q*x#!52@FU1Da12&9RZ$S4e;^Dn1M)BsI6aEdHQgJ5f+Q*BxOibG-+HicRg3@(+@*40 z&WuNz1ccz^CMw8J5Wk?oUgA9>6hA@;w09oVQ)(oIK=+ZfHC%!`z};S^$8%11r7?`k-&isE(Y%wu7nf_j3UD2^yQ>7mB_f1G&`r73sL|62SB2Kk{6T_?DE2vIHkVL4gH!DE4yh9d56Vh2e9# zk(CKX1*ez+GDz@M~eg5ka8+Kt(x(?$HKe zWGKPku6}~rnyT3rx&atCaQ=2zv&>=Z2S9<|hphL^0D)b$D9BhKhi6Fl&!5|W0j)rN z#vU9bQP2wgCVPlofz4Ullu1I|PH*)V%pE3}Nj^r9hx6y`W(sppO%l}Tt?z>GEr#r> zw4}T&xMjkD@37Hvl1`8=UVRYcZWI_0s0cq$;uFko!0i?J3+S%>emWD}0WuLEOIgF@CuRJO;J3x8*^97lC`8Y(LqJ z_Ur31QtnQWqEVw->fx_B{-F{-9MwCtN^NwbpkJ5$AJ){t75o=8z;P|G?6 zrAc3Jwi<2E==$PzIcZnwS2?G1pXe|6*i0IwHn=;&av~mm4$Sh1D?lY#=hVzn?C5F4 z6b|`y1lSJKVOy>1`VfT?YPmc+$5GIDt%?)>l0V zO{23~rTRK;HZxVE`cs{etm&$Nl4WCXq6IFJl~G1_IiF~z4~0XnPB`ILYHj*xs> z_%MyCf19t~T$JLC@VbAMEQhFuQia69^k8sg6Aw3iU3ZnT(d>KM!bw!L&VDL=_@b%n z41`}US zp^Da{-`VZT-J>hA15viAJO5BBGhY<8pVhud{LsG-qH>D3-}nmbxVYe&O)mi%H+2m; zwyoPfshq`dJbu$4rsuZt%QMI8*S)lOCG zOhd$`bU>qGVEJ&FC~*m*@#I6Yh^%#d#wW^4q*Le*~#7?KZsU z-_@MF%v=UU#odAq>&>JviP=z8Ag`F`lEV})?p^vh?=u_{3BzFkGC7K#x}A@3qSg4! zxK#+Zjh&sD1g_3cDu}G-`$eal@kFl5JMKC-YrQC1x>K$rH}=!im0@ZL&z?o9 zn$$h?Rw2?e>U)v)sL!WWzJ9ooanTq7Rai#;7th--dSU5G$hC;PPY6jd0CW2^@!3oW z8q%Sc$9pvP;hEAN?f0l&nVz;y*poZ5tsKjA7so_b*I?q-v!hx^1sf~lF;gqT5Sc~r zwqJbUfj{~7MFHKx>k~cd9DM+z?8b^wi>rRtYf(d5U_U>bmv*xW$y1$qU;UNplaGe7 zN~8$lS3@0AYmHPRxo^ch&@WETVc15Xu|&UoP7D_l0rAeFiz{F-RVxK1ZYJ1BpRZc| z;>RnXJI|o6ErGtwT3C;Szue4f#!DdC*0V&(IatMpkA2dzEtl83E>_V1Q9q*SzIhGD zr(%+2g6ims00?f>&0+T%dauf2*Sff{E^1{N4M>Wm8%*6x3|>hB|M^@fFl~OsvMMY_ zygQZJ%*TPRZt%R!Xp=8Sjun%X7JNx4i8-`#9PPSEvSW*g6If@U z(%9$+I;_v$o`?k?b2;8T?nI4apenYk%0KTtm)L~NpLC4K+thq3tJd$M7Rrb^U8{Dv1o=g3M~psDL~!8OQe;` zxk)bzp@03qJ?kZ&bT@QdH-aaFX|a~?dSMczQHsJcjs3z^x(a{Oo08=x)IEgQrWl*K z=OzAdl_E510rj>A@<+3KdiKYxoFp?mm+?3lsei-gK}~G{A%jhFniQNpscg#f7pV+n zw6b?>o*5d%&aTP(3ri!ED{fpe@mx5>0ZfDJ7wM^D1;Ol3x`&heC z{)B`2UP>NdZ6s%fCxS}7@3cCHL)Vz+gXJCz%G2pG{+Q-jr2r?SqM8)^(j)z+V0FV^ z@}_Q2C?n1HkD`B)&eWU<5;o!@;_h%Vt6VW5nggQR6bBgL4gKLN<_;r4xO&9%>K+N$8I*3DjYC#WA;&GAk_m$@t z5w~Rg-n|LT!8@U`Nboz$XBB3?m@Z~sM?S7B<*hMWO(7m9eoj5V8EbR6JUW<2M@=wD`5l^e zEX-${OZ^XW{uwq@Bs^`B_}j;hJ5^@bF@DvYptz=B*1di+wP zFLsxEK2w$PbD%qG80Q@?Y9s{?Uuo*w5!e*@w{ngu)+0U7QT(A{e<65rWNTNV3W*v( zY%=Az<)+lu;kJylftSbioWlQz7`?4o{n(&j-cvXmj!CG;f*1<+2b^)`AVxC!I(WLu z^xt2rEVyfer0j6Sb5-BC(Uq@@-96v*4f!gAveDvJc`Mo4IPFmXsf>=BJ$I2tDv0yl zboKN48c<9BtF^)6q|qPBrA7;>*Sj3R?5{l!1o28I{=Svj-%U5a*{4)H3HlWQwQ*wv|3Rt))TNqLXt;rn#o8lx$!i7nzG?~$43_4HuAQ~K%N z@lexHM#>$|zSo5bZa#wpMXQbfH8c_gDEZ$@*hD-w!l%|78xQ+n(~=O=GS2*rq>oi} z#4z-mwILa=EZnphWC?UfmxEG(iCT+7F$Q$qGEW*SczLk!t$Ur?VyHr2rFHv+oEsNX znY%um_oq`T$)af4S4&$3i_}oq@&N#L8YTelTxZ0Xs6!8_^QyW!aYIKl-2O8gwS#Du z<*vos*4H_-Ufmb|-hHLIIP^H^zG1mPvs~u_EpA2TLlB$&;}L7!HQNG^8b0eQ2%Ybg zz2Yc$&S#^IdaX`7IQx+>J{KpOsT-2Iy_MuMB%LI1$-bIVLnCYE^bPy@kbrZVek%{> zMyRXWrp#gIy;K;9`>YmfN5$cqp8FxTpwl{mql#Z)DJWjXi&oGy4~5H3`bsc9ri|#N z|6n=+DxvCAZkFXpvDy#B9;V2;3w*lDM4ebDA;gaTPS+l3ka%0CNW3YPPy$V%>aAFw zxf!!0&E|-jjOXi0j$S`|5{~CMFqeRUmjChZ2AtHV5)tRVf$c__OUY-J8a%5xcsopy(_=>LZ zH^Vuo0vO!ITbqrs1X|yz#2Z@cJnjE=<6NIYYX%Dm5yk~++OJ30g@Ym2;F-4s2zk9? zWS+W|{gYJ8xIjxgsfY7?JKmk*)^pZ5$7tIrwD_DylGi=}Ptmx~iW5)L>-05P$}!Tn zKAK*l75VVJr_TZG)P9Xqun>^9j&D5#<$)(}P5z>I=5ZwKR=e;$Ic-2_RX-U{Fez-q zba5LeXf|?Xpy=YaRf#v%F^-NyUhNjGMD}6(;Um(|c|u58fYotUV4kvJ$Wfb10JC&p z@7~QJ+mq`g19GtIMEWRfv&&wjE3Cy(0v4ZyaHX;0Lc0Q}8e9!?;}wWBG*1YamBe5v zl$1L{;L-iw;jBQi&RN=AXiK={xouA*D2kPUW?JgC_`8pD=lJW(BA#Dyc|5i!ilXma zUyh8r!uX;Yl^iM8Eo=Hwb6@kW1sf>$v2Fcp#7@xv^yO(}Ui|n~=XiM>W5KSPcNZ1U z&SJoK4|xILVX^(Nm}skw5G;?WTj-?M4m;vT>~kbk+ei)f`oMJf?J_`Ex4*L{kg2+> zav#E|bv7xdVZ4|d3hkLrXoxp!c7SgEYDpi;Oy#I{?vPyt;vrQvF8N5_EeG`{^6=#4 z;S7nVf_|rEN7mdCD^~>6=IA^jokC>MH2UmTvsMEz`9+DEL_wp)HTc}opgV?5b+(dE z?0kMey)TJqDndcz6+fz23L9Ce0Xex45Jok6uau747hI_)h zJiQsf@W^O{Cf(;}4+-+Qm4DBX1Lmv8E!`>H3cIt>Vy@-p&0w!LlI^NJ`TNX$64;bF z|1v}`Wm{ZittMGbns$xnw+ZejDeoLKmnjq0TQ?(N=F=%iTN zW_}4REK!?^&bL&KYud1mqYgHmyr8q%v#tZW#P4s}{>kx)y0LhsBGx>y*T8*;t0~Yv z37sEn!2JLl1pQaqj1T?3(>CyB6n4gJ#C;8fA{m@I_?z=N~TbjOqSVBaxcbJizokK9rAK8?}eh-9=9yy4$|AGsUNtnuKn;I zRNhM$rZOFiulf67=UOa=)O_^8AJBjqFD}*&hPkgo#ABA>=cP7I&>~W&@-O5^wnC?t z+2!}+sB<&fMpZO=21zt*Nth)C*yJ@qRHN*I{sjDYzp^SFVJ+q4q?yIc#~02|xwnJ0 zAijN6N6GZ*bNkDrUHnsC^heGp9p58ei`sB##Z-hny{9qKF37z?P+D|6m_#5jG=YYP z>9q9l5`SLu6CgEJ3@Jys`5 zms5}P!PEq_^s;kyhKRIFHDdY>PeM<6(9WUG$6;n%6mzHKRMtziChwQ)?|IENe^Uw1 zEaxhYCS>Eka>1=~YiM2G#n?D_qcqC5t=vqiNU}j;7P%@E`~6&Tj0x0t(h3_$`hXM~ zF<<@88C@Jb^RmKkBq$HudANZiAF^;M9qE{LksQI?wZ|RzOH1>9yv4|vyG45EO667D zP}8BV_}hWk4CHsdgC>78D1HSme=niK~iyP)0>e_opBmdF}ktq>fJ zV;b0=yDeG$cgpxAdA4P$bF2HI9FobQ5%*>LImH0yxij1;gd{vd=aTppzM(#@9WU1{ zs6*LV`|U7;JV(H|l1sL7^FR8^2IfTHSr~~Vl~NAEI5%02_D^*7oXf0uRFW*71$!L~ z)wW%ei-tt*akHeGe;qt5AD#va5k{=eOR?|}ua}2(bMVhR?7`h=Br-#Q6`#I68IiP@ z^P!D|Hn=UvN4$J>&B2`cF~3Sef@1ZUEXhycx>zTa*FLCr?F8)m<5KlCfb=-dnT0-y z1S$>JnbXEG)kr2acdmw&=a%BF%X^L2%6fAPj$*KIa<=H0fAZfdUd~J_?++S1_FlG~ zHjpkkI(=~ZxGedeNs_N3cmqYTC!=2OaRsOv^1aTPY96=$nvr(BK@q_`APDqT*z(0X zwCyd{p>BdtO58KZ)?~Jj#Nt)aGE`2TPKwwci|px%d^r!&O4H!tb8NczO?PO!%%#nQ ze2TDoH{J8-f8&U`@s?-LG>?1ZQd31<`VpLCe^55Y0Znth&jc;yZF%20)V}Ns zG9tqoJqWQHF9Gk&U_TM_e|r&uyB~Nvod1||q9nmUj;!o$Ud!m<*&W6#9E6XIMl!yx zboiY|Pa`|@H8+;qAwN#fM0@FbnH|z>6*MN|2|rC=Fc*#`y@_WWb0lZU*v!EfqfC+y z(zI_ie+ljg+!Pouo2~3W-a;tRGzVH5Y`GOauB#^-na%n@Pf)E@vG6$sX1~m<_$qsYp-j;u2U2ykvT=A{2UCtd!@;Yx2(N??v zkJPOlyz3&xC*0`DmT!wG=1Sr_nocJABJ_P2e;9_W<@98$K?Uj9+ro8rE2mvHPZOff zT4`mSdTZQak1M;0qric@CKa};k+OSl*1s1z=&Foskr}mY>z=nigBT22iDIs5HkPUR zJ2N;3_T7EA#l=ORM+M)|UuoC3KbIAoOf&mpOMWOam!cMVzAHUR^-7u!EBq1B#Sla> ze<5{ux~gs>PS$4{C*5U&|HJfI)wAUGi4-wkqZ5ZteoLO?!5Zg2lyU!8Q;64bX0o$m z-NM)d9k$yI7MV8841}ZOKlc=x@IIDN0>hH3r7ml)$7rJSx?*p2g)Sz~s@=Hg7t~EC zMh&`D$Hr=Pcs2P6#A;Qg5YgUoaWH(9e{@-=@O4U*RHIL%LMjQu&K>-M~ zk^{GuGH#I3`6GW7!#F42{{cv#sPzhE zZe(+Ga%Ev{3T19&Z(?c+GC3eHAa7!7AUr$@FHB`_XLM*WATlsDGYT(EWo~D5Xfhx% zHZV6d3NK7$ZfA68GaxVu4KGY(ZfA68ATc*HF*lP>LnnWX^#gPr>beFB$F`jr+qUh- zjWMIfww=bd*|k(9y}#&X)II24aptBj*p9xRLXR zor0Y$K-Pc78oAwh+1YzI zTAEupf28@JuK;Qj8UPCq4;TI4?f?-RprfUUku5;M$k_sD^O4cS$Qqz(XJQF-_V`~R zsQE3No$Yy#V480{R*1!?F3ZkEm#fKPuwC!nJ%&=l|&VSu8M4e%dkjBpeH zH496pf8?rmX3lO#jzGYNz}nITXzTRh;bLnFbOd}P2dK)(1C;E6w*MH*|6@Q8_)l*D zEQ~Dw4fh}KzXDm>{_SjJVq#}wZ)EFXX=@HJv$O^RlqBUDo!y=30Y@j&;bB+H?d&)E4-SAJ@9{TCCgvp4+cJ7_ICCFvkwwLA4@af$3HkP zCnHxNz}e9S=;QTo#s5ZdEGz(1OA}{+G0@!77Vb~<4>8c}AN(hF= z`up!Uy^r-WwX?PM_+$R}e3_KQMa2|U=>B2+U!AC^ojbsbft?w^z{kLLXk57+;!1@(VUh6eDzGbq}9>@pBQ z{b%)cnK_tEK0a9fKOex~F8}}b{;w$iZ>#@*3zBrPw*Fg9{kQ)AM{Q(dY3=bJgO62q zasD_91-p;qu>HTLn!tZfSpjHj>0*ELf3-5sMjz)PVry>w-!@u0Nm{xCO_eR3O)UP| zq5qk}M|f*XTcEO?ljUEJ4S?ZeVE;$=ad0MIJ{}aOk6Hb#0)E`n|4u1kYhq{m*Ws~p zZ~}}R9gRHTK1Tn6H~?NO9~Wv0bpLy`0ZfdxcFrFzfDd{;05dyBxW6XK$pL?068TH? z58?taiTy!5049n5A}%%nlguB)31E`{gFY;k{)@O-0ZgC%pbtOQKZqT`r1l4WI?MKn(|AHU+EdFHw=$U_ohrPwebNR>OL-ud~kK+HG?4x>{Kk(ydnf~Sb@k%h+ z{fYiz`|%_4FZD-l_J7nLzV;svxve$O%=wR$5e>mcRz!c zJMm5|8&3!4a~jQ7?Dct*HRfr~bFEU1)u|Jg9QQL0A^08I=oEjYm*`=NEcSv|S@CNB zqI(N}F>x*;ed;O$3gaPbW{u^iDBGrl$9da-0D&11{-ev$F$Jcal>v&3%g&qHln+*Z#uaR$Nkr_z9;a;mI#`C@-MjQ9D(9II{5Y~g3(*k*xhC*AsW zj6432ZvwiV+Mwhc;zHr-$FP(8FPzD_)9zCFDz*dP@G~NDcP(ou=96+r7N+3jSwXPt zbaFCKZ+D9QXh^=Ag=huBm>i-;!GP@W&rx9v*2kt?eL`1elgK9tX5g(ur9$0&n-oEk zMXrBggk0*a7n2xSE1nV+3yj_^jndE!wTWEmNek2Afc z*~d}Nh2@CtcZRwc2&82OR)e&2RsGbA&%Fl@(fpgQ2@!?vhQo!wZfom4yAr!AiB6`$ zgG_5d?Zx++7tH>BlPEmq4Z?5N3bIcMx!TN?qp_}DoEtbv^SX~c05Hc~hoKBoHe7#! z2k@k9wP|fR##K3-;~|U83q%mT-Tq8`nDp`AR zJl90X-WI#*E&mG8t% z^xpoqg;G0l`EcjCLtqQUfa zP*gy;?)LeNggK#0JKxUpiTvzo@?pTAqPMDJY6#P9YkiAV&#t0p15j=7DkOhnF@o%J zm@jH`E(wLr+sJ|hvzTHEQ$Fay`4HH-ybd6gL@W!&k+_E4XE>Rut;vz{d@SQR z#t|5#O4y|yeQlR{u~2+&nD^RMLIWVBv4G3Fn#|c?LRvPKbW#qIDx4nM^a?j=&V^Rt z6jj-*8dESYr9sj@8)lq9_vU{mZX`09-SuQ!|D;fsV9nz-=nuTRkVfO8P;;qFGlweIxCb6|4qAENY0xYKjv09B9zQ zL9D6{u2|yI=U)V@mtK5A!)nGV{@ErOJpf+uQ#qUQ@TWY)l)w8UL`J@a*~f~`NqG~ z;(uub#8^{Xn^$*bFB?x+MX!-GA6Cqz%#G-7y*?SStFU0#j`{+=@oYP26gQWS76THT z^uL@HIGM&|+9G+zcfmkc6&@7v&J)Pzc;f2Cpk7uu!bcVtR0O#yivNmIkmBMYmyx%8 zqf8W8G{@hvwdQ~H01cCcjg?etyylmK-8)epD^iLP5y2UD4Ndf0pSCWbJZOB>-dkv( zS{et@T%OzuqU*Tq& zY_B=9h`3Z$WFy#%Ofc%O7pg9@8oMRYnE;&2i_R5+csPF+1mdIhYw&%f=_EwHyWjZe zxa@U{+}v@|w6~?;^w&5fs>fCj6EV>Uat&5nQluImwl0tSsfk1oteeoM&RGmsxm_4< zTGz9$WsHuZJQ3uWw$0jNRbnj9z0MV; z!ekF++#r)*6vJktkvx?RAR;2*ptki`rqz&$n>nlA!7m1*bP}UoU6mf;#7rrN2_u zHwuD&RuLXYmRZ_#rYPKfPs!@kDWl=)rTl;Ol4mh)n~hM1d!$V@yJFP+L#^kEO3Tr2 zb|an1*1$FyTvk3G3m%3#MHsIBAa7(c1Fou3kwW=y;w?)WxgWZtjmZ1CQ!++(|IM}S=M8Y$^frHi z@`qukyGy%F3}a!hc#nB_7!olt;wUd{6BtHKzt2BTFNpS;v2EcujqO9sos`o|$r+|} z?`y_qGb!cy?K>dQnvt#15xiS`GaI-MpBaaGQ-08yjSqNwl(_~GZyD5!dR7mI<%Zs} z3c1d zrB^*!+lkH}RVKm`r)0a5Fh3nOMM@?GBCKsZpO;H)80mxunmsDJv-?Yjy8um?*@4b+S$DI915j15F7jFD;O7%(C9I3RmhF_er3OztcpT5 z`0eN)>`MSjW;g2w5@5NNDuU!Rn9Yi#8;xojfa( z6AfFx#rsy^H$&4I`Xl?PvG|%Pnh$?k6_*M@zvYg1 z*BL^#&PwZ_SXau}jk;E>85lZ}79B8MCosOBp$(wnAdWpUjoQaYt-^K;8g4ZBOUx=%-6??KOP z85D*(V2WfUMLYTQ803j$7E}giR(r2(CKp$Z;?Sg6qNe$j=y#@o=+dZ+9=^XS6w3pE z>}IAF)dFc$Mx zpRl$uMU4mdm=!MwpWPGGG$bx<6;^<<Y!b>6vNRG|(heup?svBCIM+nZo}L*`9C?0d%zm;YJV0mJB4& z-O;G4VC%avsuF)8@$hKh;k}xn!^klqDRjStObIleP%t9!DBb|RgSQY1$uE(c(nu3%Fr+(|P8O{o^x26}OAW zD!Joz%G!TTvJ0GdkFUjkg-dy%G{$uAUk~)1A=r89ynte-N>Fc~-N+G=~ z)YS$+rGO(sNsV7`4wFz=f|V|Zo4pKDyy06{y`DiiA(_&jbtz)i&s-NfL5L71J$LkR zHb+FGJt+JY)wY{|unFK)Yn^NgwcB9GCOl#>%&>n2KM-2(EJzEl#s!#71igM~{=|5a zdH3o{S@Nb*ZquZBoo9q#FELFDQ2EWAxee9v=_RT8Hc`V2YpUe6{^@J}Jo(vcD zr(1udjgIU*Fl zyXTFKUN$9y{!|RU21pcfMnyPbsEDJ-pxJIUswf(2wb-8E(U~oEd52Lwz~PZgzzs(2 zRg)_>(jwn=GapL)p%kRE4dxz&?=TQl=mCErL!I*8ZiT`jUs@s4Y0~K9Z9&vY9`7l> zjjle?9p~1j9ZmQ1wemCX_{Bl*L{VQBOUHGiwcir36Mq2I(B)AW49^>)@{|~Jel`5C zA){Y^nG^qrSJk$XOUe(uQo7n(mHq0{$l!<=H$m~Cm1ypU?Fg+7;i-b5u2qeTfe zA8?-$+cU^dQ4SXV2EULq6a*MHlu>jWrWBm7bqqOG2(`M7wDs%jzC_R_V9vj)3~!Yw z8k>dCt+fAI56-b8g^gY+Rflc&oVtH8KQ@VC3L+up^peP-ECSuP{qT;KHW;*J zG=aMm#r!>TPS<)>JT-092(lHNYWdW6_VLp51EEZi399?khn^=tNo-RMDfxMNx&tgH z%u1=ZqD_6K=5mLI9*CiPP>X-BeaMwhPoIe@J%h!|orMwD9)M^WnYo7wi^76dH2j(t zhPw*w;eziA1w-$?TfogT4RP5y@6^^-Eo7gmQZdKKLF|6DL6N~jcr%<=u(ZO2BxN5y z$Vk$ecDef*vhjGeye1^chiBabyw?Z)*+g(cJaBlvbl6Vs<4*u_-QIsdL}`~<&Ucl* z*U2=hY!$XaV?KAX<``nO8)DT_-U=&Y)Uy?eW@p)WXePnoe5LpEEJ8<(^?+_%cfHyc zsCGe`?Tg&5Mm>M)>?d#zyI&|e2lB6a&4jd4Si3kNyM+Z1n7&y}x8@pVo!@vFLpE_NKkXVHk@o>1&Yb z-W44LuAbu^MWvO{I1m;rC5)^-kHRSfuS=XBe6V^i_`*A+Veo$&Y)Ejfgojp!*#~Q; zQJ2(f5fkQuO?}z3|7yr(S2D{Cd~~TO)DN_`qCUdas<<1 zmUq+CimbS$W)(Bs0@`5!zBsGh$qtdBMK}RY4qS>Wc89deTV*l~Y`@}p5AgZg)5$v| z(5J9hey%|kJ+gn8*WavS&ZfPzTZHW*cK%Wop0!s1H-28{yJ^#6;)`sS?&^0eqAG%G zER)k^9RHUmWN)Yu=U-MVQ~jAD2aa!%nAM$A)o-|?vaa3qa>U-Cu-6SC6UiFuadBC2 zX)l>7!3{dA>-_3nTD$}hfy*mGCUo}{n{}{fifyZ+svLhjp^rgb-$A1*a!7mTd$Ycq zAF3U-ukGp^muvRHK&?>M(~<+ex#cO+YoRlRC1eR3ywfg#)JEfDDw&3qCeWWXX&SV#ND2T8xZqOR6m(!7TDOt@nd8ZcazZSqPLpwnN$QBi*&A$<|dC;B73kIci)wU)caCGp<}hET`B+n7}}Q1B`qw@~ts!G{Bl zNWSsw8gHiyM`*Z>NfCHQg|DS|_fr)2Hs^34qP*SDL>VE{N$&=$B#@Vda1T#dD}AVR z4+8FYrQX)XuOL)KaVxr~Z|_Dzm|lN2eQbF-rwUxiKusPuvL9|3b!rhU= z9!o1;T(s^Yg&}2Hi!UFMdA%_!8whSMIHrIwL0HGXsnD+{1)W|w) zNs;N`KlpL6MCa>4+{B$xEnhTCRbz-SxKQ@p8La48gfRnF56=$HaB*majkSLme#g|w z=Yu4D>VUB=<9N#0tQIAN*W%x{qoWjna73?OWzIsHz-L2KK?_~%nepZB;}cXFdKF_L z1u#aG<3oHY8e1LKNLaySZ(|EH;e~Cu=xxm6`>BF{5Mq2noW;0c=wKiu)7YG~JEfGd zK|3xUCUoTn(K}S`$(i{AJY#%Tol?Ok?_9`58Frbkb;C3YB`1sCwDnIDbPkYT$5LJStb~$}r9gkoZfuf21LZVd zrQ;PHU!<%AgmEXoQtV~75f9Hdl~Oq~p8O!LmWTZkQV|TZ>#w5f`^*pnf8#7gr|Z=S z4+`pN^4zxdMfU_xf6KurbcQ!pM5)tOv;EY@3G{BD+x3Cdz(N@}I%V+0#*$>Jc930l ztMh)2!lJ4d3s1Y3^qqehpd>?yV=l5O#{x`<=>_3u$f@}63!`y}R^#|Pvic6`=KS)hu~oZGLXox( zOfaq0n#nGM%d>wQle%lcgEr8~h`zKiIA(303G-EOX`Rca|gAYE?|E#-y_lbtO>UswQmNZx|fcl zYj=tTX<&SV3EIO5Zu1W4UVnE_1+pwnP!hA}dBD#NB4+I8&p+Y=xiVT1k$BA-$mTgf z*2@Ol(sYFc!MfJ#*66%QutXC|=$A3Yu~{jv?@CF#5zwmirnt|*U$8NjB$9+9r_f@_ z$@dw^*o%J*Egw)wA7?mTI7)Wt9tj19Btr*xN3jw5(#>i6UJbtY5&6~x3#z&e(!-1| zt!%=*GP=*>n=(lB32Ni1)IGpeoM(v-F?tVMiK%OP@gRo|D0}0a@3B6Azu(jZ zIf~H&h`X!JhR=9DiO*1;t-u=!<3k?ivcaXmIv}U=8?vz1Ot4U>iFQC#8H{UuDcOQC zZmXioO)M)oWJtqm_2(vptUY0X?!E z>^8w8f(^I+lF6*j85W}tg2^6lR?u-k#B#V2aps5j><5P+4JW3z@!0E`8 zmja_vC217&y6+Oc%`bL7KMF8``nTcA-~E4g&0gkepE#_>exbGnWbCSsqzgWaeQwV? zHdIW73XS2rG1H9yjK)V@PKIADzfHm={GiT_H(^FFd;2c7k(WpZ?0R=|eW9Hh4NjrR z!c(5e61<0u2!b8xnMVBmin3u)h%6$y0$pdd%N%?2n%N1bb(?Kw#R-;n=x0JdsiS}1 zy@PYr)X@KsQwx!f*FosEaXGcua`823K+z(!y$+inMfXU7TcNje*aX(okYaQiE%puC zWZtL%4Dx_NE4E#!F;&oP_*)yEGSg{qon_Tce$71(LBhh^=4d1zyxcrQD7mwg7+vE1vE zWc8Bku}wAylgcAW^x;DLL3uDJAs87|V1^2UV5Z5}8$Nbc^gU2-#b^YlyY~q-wWCU( zGTVGmu%zX#Z&QpwJxs&#KnGUoRoB#x4Wo}U?!5M3BVa#kX)5%a3Zf&f#shxCDVatig&?>4k9A^F|OJmOjUl3dWDsHL;CUNL= zz~fI*cTI!MkQL`-ykI-ecb0#GLyT38%`KchAvN>Gp|=Rhx{iQlsT-Sf3D4G1L)pxj zg_hK#5pSIhhtB{7)bqwV)kbXqKs#PN!$X0E*DhdYnfar%SkATrB%Yc-xzn z&>E5TV(D32wbqp*%zsKP#z%4AIEv0y&f?YXK+-dtfkvbjly+`~!6(`ge|edELK<~Z zX90$mh>etqIK49R2#n&^(ZBB9-e$jVeH=Gt)l+BdzO9mq25y#iiB+^|MM^o-*_o z>G*~mHy17ykURZcta`?)9j&Uv_2M zc0Vym&uuCfAbIEWPd0U-QUa6$p3$G0s78UuHJ?3+eth+;na_7_vK?wTM7H`SGn(cb z_H8r}|Ds5AkRauEj!Fjp=W`a%Zv<&fl;rNGaTwm8n@@(E#-e#7_YhSz_q-P$xLnhy z#3lvwxE2CL33-2u3u>gRl+pCcMaG$(lq7zHb~Eg@iR_k1o5N}c=zEuKMhVbIST>&X zG6WKrRa*DwG(KU8`lUL-*fV zE^dExQ(-gq8!n7T{q3YWO?$m;{%44b?U0il437?-xe4$FxqFe}u|d5Nw-|2lBfk?v#rcM8%d4gCE&IZoa@0i-`24n4fD*7e6S{&i3+n&s5F2? zdzHcaD2c*SHaAtjG@yjx35V&=E^byYmE>|TH)`V!)yzyCK&9f!U^n7smqvelb1Lsx znwU|homBP{E}-%*qaFPUs$YH;pZQ4nR`>Iv#zUPnRl>my9@FUi*J&?}d?R9`?V1s6 zRDhIpE$s@!6As`BMc#747^un0EiBWv`#w}f%*DJWSL~EG#mg5ES~69{g8&XUmvxOB zCWH<)?406;8GWAUrP_YzTl{|&j8ll(H>bHl4f=$6d-hO7@r&*dk$`*t6++jb0^No} z=CC|#L-zyDw(_$U(nje*3!D5pbv#AZZcxGU%{C)X&0gm0;_7aebu+xrdzYv(h)Fz#vS9LSLz`4YTXInN+?@4Sh;ClwNME~ULGU)GBzI_KIc4RRII{!2Hh+S zwlWMmC$}~2N3mPmP1k>)(aI!m1{p`~s-v_f6d?OMAv``cxV;l-l4_(kp&e{}Mj$Ej zOQ@JJq(ZnKhE};X=SoMD>K9#7wUbB<%TBGGKm7 zv&+tC-*M3}N~+gAI;NQ;)xqkpQ&81zPwa;_oh0^ohWU01n@lz2XMU$Jm4TDCsY;0+ zFrupCQ+rqV<+iQw^**Op6DUx*6HkP$R|fY0_~mwz8EBh_FZE#;~X^ zef3;S@~`K$u^7nvlRI$Pb&9RSPMZEPLSw$%R%J+qgf+kJ$vL+JUpqmb(O_b*#ZMBXn%}Y4D4ugw^l} z+?N!Orvu7t8b$FYny(mLS$T%ml+fp;;t!(L`jJFX!kP5H(L?aLg_mR@N=dr@La3We z0G;RE%lu^1TjgXzq$E^8P5=0NxYO}u?dHj*JfeU1Vzdx1HSSw@vgTxSZ@zH4F50Lp zb|)?l+Q5|_`5mRqtGiBD=kvmt!_)YXlFb`6-c9h1BSrJohOwOVbY9Y;n=fU z^kfXhpLPB#jFam~tfUAI7@2QK&}!zq%&&XUx^aLCEaEbWL2HyJlCP=Ff_Fy&m^+Q} zDrA2|`&8frb+zs-r`nl;%i2tcOroghoVo7y1UO7|<~Li4j%b5mFgcvk014}m9Bll| z6{HeYL9KPZ0DjZkly{B&p)Z*%y6o{|;0Kg-$AlJWEtex-awPeifXyl>0t3)Dk26{v zUkvJ!lVAEnWpzX}6F*ar^N_mk>jm)r|(;owNeq-w4k!;bS#JyjSn%9XKm;irE@p+}9Q2tcPC_*{PI9FfW+^#o=Ln=AJ3QA6LV z8pMsbunUF5)N!cbZ#L;Xdx!%^$lCBjYYYuq6A?xH(Q|86A-!0|p;aX)2^E1ql}IoeV}j zyBV=l`-=Bt4&ieW)MRec|}i%qbmTMpGK4Hh;V5Q?pXYy3dymI z7^Z`ds$AX_A6pT7f?|J|;!eqLN%K_KHJwPG41}-S3#zVbP&->CIY}>Cgkjqc?XD4h zs+wH113H*~f{9D(oS|IFTb3wNFa_&Jr98_7e21N@0V||AgadT)*)q9^2xxKbQL2A4{2#C&NAWD>Ksb)} zz%I8^0I_MA-vfG(MG!c2f_MW6Goqhln_3Z9McW!%tJDr`FNyPd6_j?=4_~osZ6PPj zFJtkAZ3bc;b!RbI(!S1R_zJT%c-nz@VXnAQI|AH$77u+@y$!Qr6jMQ;W|_se8(7Ff zXF^`tK;rC0B%pse9gnO_I7BSnidKcKREk1>*e%FFum(aN5^p2?i1G-Qtq5g8M@`?L zVud+_UyK!!qlQ>O>J8s>%SpHNEalstdUb>PIW7=%-4P)SKN4h5NuUgpMQ*~gWcHwm zEXO}Ysf8rBM5{Z|bP&zn10I#So&uACBj5ywB3{L)4jq5$lkcV&&R-Ck`~a0kvYlFX zdwz_wU6Rt1L@%s^BsPVk$jQSxEu)XgF+-W;`l9)0$oa<3Xg)#s)0RM()sv~7F)p}M zpBx8L(tcf6MFTluZhlhJ;Pc%?%$n6QAzzelr=O9#=<82?QEncdH|@94TgmX z-Sp%Wjv4;#+OEUNnX#Jh;=_;bdeA=Sxs_jk<$QmtLRIaug~(C+jrHpd+k~%2C+L_bGZ z4q=7AsJ-r=(j5f;BqDl?MDou?#wkX1;_8a?lGM4t=g0PJkxD}tM8DpsM%({_J5c1h z%4alCSRdds>u`|0&>TTQnCieu!;*%sKN5fH_13@k()U_{q0ZwoyjQs-y!sjQ(tscf zR_Ru87-0i@e}4DiE0H;cK30p=_aTA-u6z4SN$64aqrXGf zF}+R=bC4!P;lfC<|M!e_7YRbNXCWEh%FcwC)21IBQ-J<6#yw~88KKrFT9{FN&<=k| zLv*h$P*deZgG?j~#r}~_-X`n|N%h#&kfDpg)_nwz=XvmAM?G(c%C#dzNF`$(zQF^1 z53Eh63>aix5wkqz-*Re(FX+)k>@m=K0QR-&EH7^D2=o!$3`}`n?PSZOaW48o@wlbA z>2kU5r}PD~+(53E#Dnf&8IseML}h=Roh2or?Bo?7>Gj}IeReis-v>G%2gcpz!CJ=vk*C5X- zwI2nOb`Tj1H_9nA*O6y7rN+0&lEafG{rv*b%Sef=eQhPD_LKbE0tC7X^}5|+qDO-& zX3=lo$gAk6TXR}UfD?nD-|Rv(xp*D5?QEU%cUV!|rsJfsZJUkVB#mvevF#Jvw#^2O zZQC{)+sW5i?|RqFteGFrKd{fU_x;@0HOU{7X7%%{4tlq=kB2HZTI0@V8u7^55A4?A zIUzcfIUuNe@I19%)I#N(Kn@^BYizKgB~OsB@dI+f&rw8Dw}%_5Ckp)7?3y_M-*FeULeG-@kbpBfysbo4M~M zDf+r`uc?|@&^|LBlLLgfy+ZCOlZRvWa79yokt%14SmMkIb)8VxeK$}uUo*QnR$Cxy z0rEGzw;pXN_E3OxL`LTuLOvrZ>{3NRqy|OpNcegWk53?M36jl#y$U#m4RO}I_8$L_ zf>pxa+rr$+*>vP_=KyVm-m>PCcAV8Rmj!s@Zrsb{yFXNo^&7{ngPw$4=}$k1xk}rS z$8Wz}G?>(23}k62yjp=b_GZ`N%}=@*cfog`OziT_%<{cXfdW-Xs_6E$S$t!Y+~0Vr z@EyZO`5|ZuwD<*xg^D#CLTmg=>n8KA4|1^_HE%aZziy2z5jxAkP z6H(2w>!uHNpdhj>eZH+W=;w}}ch!RRN6ypUtEG8X78h>LyJP~2$;J%brh%4eDO`ke zMre}f&NR)SPqZfw);6nf;CH*epC-y15{@0i!KUp6@OWl^$CKcDZWiphR(R-^1 zG$R%ZZK0vt%DO0>A6enLxP;BOm`)$k$e>8?)JSlDwzm9%&laAX`SVwe^ayIV4!2F- znl%Ekn+;!Pi$V|nTh+qGs9fAZ-#42Ki08E{kI|{rScpsDeoXE!kxUJ9@Ya;3VP!E2 z^LVnc2phh9jG34wyY*L8LLyf_@Aw<3v=7d|t^E;P_Pjo4o;VIG?kK*>?v?XoXydq>hW|3^=}nJjY%9iD7cmGzbx_f zq?%XS3Yyc2sUnYPvhCwD-y-wa{9~PpY1@@?c4vlxEl~YH&ec+BWTC?^tFFlm_xWP) z-nE>Uz>vjd@pbn}X#5Taf^tCn@vG>$ymk}dDG12#r;ph%td3+e+B6O}m->m39@*Lc zOMtnMlf1EDu%Hz7kM>({DwBPzWp*LOwc$9u?K?ILXwLSHslL!$CB0YDa!SUhs z8pI9dJ9k3O{Z%C%>MU@^a%zHZnY=bY=NWs2{_;(xz26?;<$-ziF|P!*UU>$C~<`0y>=V$pO9KOw8gGL^kvl(Bx>MvZ9t|GruR!uAfRgCmcDQ0OY}EQt2CO2)4LA% z9odg;JKM}(I2#KN&Q_OwQJg=eEGd^71K*q~&QWQHYkRs9*v5|gwyyPDk^Syl9f6;* ztp9NfKq(}TmI+oF3 z_@=3ZqQ@^bl2#j^Ns-Ep7ma(UJ zQswdCzUN>8$KNHUIa28$M;LtxpPSxgzgvVJ7L;46{`{LD2ZlGmU{t{Z$uuxAX?4jV z=x=BU36M26V`$V7rfL-}GtN%iRZ4g$p^U&Y>(B#1s?FBGfovG(zNUEVWEu<8GMeP< z(=fsw$PrQM>g!*7`3ih=)bVGp)-flGkhfFUtoRWFN{|k#a6B-JI@r)oz2(bnEMDWu zYM%rL-a3DSn(cKM8SO3Xz*~bGg#<=*t~{wg9f4{FcJ!)O-XC*LB_>`Z-EX)Ev#)Tz z6NBF_IY=sm0D)lo8@XBtm*`2Ag^sY7*g}(}r7_sg<)`YqwCD@J(n{H+^t4Q-pQL$&0gDd&sz`4cbE>S9MV zLu9DR238e)U%4RP!Nxzn^-4}jA8?# z!jLRJm~IjYJLJ+#wX^3NlCs3x_dq8wdS~jrT##k7O|(1aje}8sfLoed;!Syy`Eyulc3{ zRi1O)LCjCvB>Q2_>;|LB*;_r~bLmDIrT5yotJ`QWOFdV}CPHWRdqGQ=&CQQOh~N=n zTmSx@aTHs!Av#;(8R6IOMmt2I+7?`Asm^#gKw1<`VN#ijF#a%F8#4uFdu4!!{cxMH zgonKbM5Opu@Zi7b_O3PD-=uSH0>tcMb?S94S??4&5G-^-cfneWmg@Vf7!>Y~M6(TZ zv0trI8}3ErZ&l@O?n#j!?*3AlV7588GA?j%d~~W(!J51_@@n$ILNumLd8Xy+Ot})} zfXDludivy--Ve|xJ*(Mj*zMf!SMTKNo`XC7Ah~)P#IFclPC}t~PN?+7*$!ds%KRxV zy(d>TJ@1+jm5%y0z3|TxTWFu3HW?~Yu2p&hn$p>0ZY_gtMQC-Xk$GzKDTxLplH*cF z#ff+MmRCGkeSwD~-(Lu%k`{2@#FwiC1;g!Ul6+4Teg`q{BXJfhtRZ)Cl6dTfSX=oH zw(*v9g5wUdk;D2{jAm@X{J#tmHkJltkpng`Hn#sIBWQqiYhwUoWB-qs;D3`xScy5< z*#9pM$$v2uie=nW$|5Jl zfGHIfs+`JZz)D<+2?;^G7YsXH@jrbnzjh`6NpPFyV{6FepFTGUj@%qkk-!OX4zVOg zF(-**R)ET@u(Lz}1M?GNF(g(oBab zHJ8cmCIam+5CDy&0uE1>X|?Yc^x;5 za29^!_7DNZ2FHgAAyr62CW3(Yi_oJ2oo0Ck3g4L**4^U?fI@%*h|nOYP#<)gxhMMJ z24UO1at6$E^W)!8Ktx)=bPVjNdlW?Eu`gmVA-G70yZrz;dvsK^tAjI$KwfTRknZM7 zh#3VAC@w?n&)rZkul|l1YD0AR&&a}&+V5$`YT`mF@i{pP5V&IRR)8h59W}PoB`7J7 zapo`dN)qs?*V==OoT~qwSU`{T2xf(!sH|y?2!2TP-7b?39RV3yN?IZ;5M;&+q)c!{ z_COu90R&(=u{*Y73lXu8!BcW3&SgNBmi{ggmIU+xSH2Lt;W55?jC z4Si%QY^e3P4ml{ZBzRUq)*~@ei-L}k3c}^##S4jSjP9oy4jv$srWq{s0Z8K$lST;@ zu#kYj4;%Qw&1F8T8w(35`h_(#qhZ5_0&RJ~%V*l)XWEzL{J0dj8x3k%hYg$0MB}7*tvz8s>XeGsK6W>B z)e5Bv!o+m<^u>h-sjEuax+=vDz?zT|PpJ^fZ^v958_&V5evAMcsV(-d@`s*3Jg{zr zEx`+PSCI+A%jxzO&Nb@( zHEPM}7zc8#uz0LA#i_JYz{cPg?#AyFkD_<`gn+0ua83|4tb0|_MF=kpW=PZ(TT5t-gJj+=6LQhTEn6v5&d^0OB|V707S|}vvIqw4c{r= zr`7{jse9MQsPh2t0|Jyki;u;;&rxF-pYKv z$IJ&PXg$HPtMW3?vJnqcBFV_=js;+Zfgng6)dr>D=c{Z)#DYbYfQ&OPNz~!doKOd> z`of2VdW-S+OAAX1Q2+R2{_MIj@>fn}4Q`%zReI`sn^%Z>zzBq>xrWTbP0)`e&IniI;@EWc#j!o}Xm5>D~BvPo^ zH+kl{d%HX5##iPoJK=(q@oBBIR)ayl$N={Zk6$C~YidgY9)aEt9X?jMb5fDS3sJ}k5obO!0exvA9g`akDH z446YTlB$`|=6wutf8+&TIF2t$s9l#zHWOsWtK*5@tBA2@+m)1NeNzkfyhJ=XK3YZz zyK2KNU#(H}YU(oZSjbk35&{kMh&BxvJu;y&bUPXVIByZnw~Z0P(hiPsJI2g5?1If& zjFVnC0W`R$ulNDXb)q&a9s}DV-80l8UL}qwBTvzKL2KPbt>0AjXK#!S3r%^a!}QvP zgsF!9b8;za?k2R!8v!Wt0aJIq@+4iO$^o5OF8H=b6t59fe|RIL%k|#pQ4+dL*zRw0 zqy8;-?_kK@suW{E(d<2j8lAG3TK!RCoQwx40omUxyQUQB3gelR$~!oCg}_=Z#6!s- zXJS;60n1e;B5JpW6pLO}u4wfUh}UL-9~;wBlO)>6LF{s0=S>Yob=g(qN7T@$aXs;3 ze~}tRoS;nB3N%RQ7)G0FiK)i(@fhw`$nm`b+J0E9;m0Yx;xKaA1*rfXLfx1CcO;Ry zG6^SyH5cNp0hd$9Lkv5K;aP&khX6s zIG^Z_C{R)V&qKnvK$eK>GMb1#wMv0U?U^A2=eo@NUCzi;+6{}qMSkRz@E`)zLUa31BhFR5u za?9}SGi`rx@U~gc8}-l7*~ml&3znm_Eie0i;uZN%sU$oX>D_es{lU||FLc?dh32)B zmyMK3Uh~v-rXkjz=}+EjywlGL7ws;nH$40d)L!zz_M*3-7Z2BmJg{G{KvA=U1=tg3 zg@<}3eMuMNkY$QmA4R{jZW@CH7*@v}!Q%m7?g(*{w2c$hI0ub>=gRC{yevw{3>D#B zW0MA#HFH)U-m;Be7&5u!B_8(vhN|E*T}hHMI&@!fqtR+dQ;|U3_V|IiZ(Vq6sWsou z@x7zdRP?N(2XmZ$frz~T&>wjnp$_T3#6j0e(KuJyh&epIVTtg+(19DEl2pln*$*Q+ zD>DL%bj`y{#Y%jY1E<4dQidB zljfb}&HUEHji=3n-2H2kUdx3(F}}72J@KnTo@wbG~H~H0Kr&; z49`j&Jd_R@x~YuZ_5}-neFaO8Loq4Us_F5Fu5=)qN%o=7_~Nd|u|nPEe+-Q4jh*S- zE!a&RAuAss)D<)amS5a!b$sLa*)`LyovrWZ_M{tQf)UQJrY~?RZJ~_jzJ7;meIVsHjAadkjjRo z*jl_GE1RD>*mk$BGO;#)FR-e1Et?kwgNoffR4uO6lYA>RNACHrIkJMHh{;hn^%dlH z+9X2n)LE{yM!l`J6;7-sQ+A2;W{h2Wabij@66AJWr5sW*3=j%zK!0xT;JuY)?X9U+ zk9QMT7O#f`ccTUVRQ6Lx?h@$_WZMV>pQk62Ycvf@-^XgIisU`XB29RBp~bZyEq~9^ zt?!B8ByG%3M;BzD>sw$>6f#~O8~oa!d}g#osoQ6@C2aSZrvCnX?zq?WKHXwHag{FT z(Es*R7b3IF`m~n9`de?MRr&is6Od6 zk`hcR>Mku>n3UeyZGo(j=Fc&zYZ)_$a%6B5n9#z);u?p;?+vA!{dmu_wjBOriAHsq z-Yn?TnQKEW2L^>slcQwwuYzF%mq(8Wb+z7#OzHun{QHU=ibCDX_YtJ-F@GJM^C}7B zZI}8&;BiVhxoUDTOZRXNwxYPnt5zHdden}gOBcIaSsr^F^MTaDn&^IPBzU(!dd#@j zVm`+^JTY0#JH>2^Ny<9$c>9INm&BsF_60>Am_ykEN=9GUa=8o4y;Qhb@+=OH6xK48 zUZ)E$aQihacK&9ZA254_q+aQ)oYvXhAT=ceaA;xH&nV8rX%g&rw3CzkQ;6h{oJ}+? zIQCXv0;8EgjltmO78}8zj1Zi8?>IJtP7xc35moVzP8iJa7F&3dIHvQbneJK`>l}) zf76H>yZ#0m~_Hdpx_ zy)R_v9A*$SR^BuGo@Q2hkTKjepOeGD#YaD3F{sh;$l;1p)wEyeFpCylc2T&c@3`!- zD-&TtBMa5+rBDuJdFc!yx(oj!T(+^!SONM`(I1U9d*dI+IZ&SVp6>Q*o2%sogS-&! z-!XMm6dTL-G)<`q5D34Jy*ytB&M-Gx{%Tg-c&fqY+$qsihb^GU^qunPebLGZIh9_KsoCQYm4u%VH>6UV zN)m43A7l+49IPd(8k`$U`lFgeRSE0Sl@z{xb+I_4fl%PkJ+_=@Qg9LmCHSMRVE*a5 z$5e{ymFah{o88U>UW%3}mzHE%%@K9B!FA_&WfeeKzdOC9izDD(ua?OT5LxU=|GSrw z2C5dAgHW+FJuyN>osPJ;#;4_DoAjh1baFag4|X>!Z~46|Jr~cR@gzp{C#*`NoJO+< zMLC8)M#pKXC^HP3Q`V437QGNY8qTW_Fr&qE524a|ueH}({hY@;r% zE?1(8+4Hz*<(2bV9jLwa0xG`^! z{mru=$XTi^_K+JkNW_CUFbpCRxl9o#(&0dUu%~h6`T2Sx5y6iD{_yiwCI6BtYoN7#1NWNa za7JpVcasIpD&6e>O1VC6vEMF7SFL>oBlW1Ko_QYc-?;N- zp5qY-#8hjoMoyQU;$(N(1cs(=s}L>Fx}F3zhZULIOQgZ6gJW>O*vml(oZ-s<1i|5k zqNE!-bofQ}>n`E_uH%@=mNHKvDy8);KfP$PmYb0!5g16vejtx|^K~)u5vQLG zy!V*AUDPb^pjt12RE2o$vWo1uygx~}P8I_>U7r0hu-u8?j?zwOoJArXA|BE(Dl?m7 z(&sRZrboC1FxT0X5{--Ej@3Qm@S?->j(oqK)%}Po-LcS1*EBbZ z-a9QE!LZD%;%Pc9!QjoVJ6FFuaZm|{38Q$0tU!JWU@^rUg-GXWu;b7~k?6?Vnp;_q zP`eh)n?>C?hfVEo{xXX1;19bdDDs;+SF)4yuKoIgyMcO6Sl z?Z{zyCNB;RY5{&s#)T`2(!`l;nwq|5u*4kINrlcx!Ieob;p0}JBL5QJD+=&DkJ;nP z%!v>MShmhTq~e!Z6NR)P3~zsVTSucw8e}_o`ivu;iuu$h59Sna+1#rriJ*)!uU*)R zGIo03Cy*UyTUAJ%&$qmMO z(4yM7YjA&4*~asW{Xcpc;UHs1aYM(N>-T2L48_u&wh4t($W-5Y*Ofj@nzk0-rBq@* z$G?oqiD7qR?#uCA!B7_<3h&2ZexZ*UWyOsF(m(B2@jwPwJly)jv3V-;_spF9y*x|+ zhh?9bgtmvok0Oh`_by-UHOWqmX74NrE7~=!F3qBrBIt`fm%lbO$Umx++W&EHKFOZs z6;!FeI!UYfxDj;6k{8P~-*@?&6EbBvP>tbZfAc|N4QwnjZzCLpVup=e99L?i0k=*!281dH#jC^Q zhrPINLVM6@m}7VIg2xgSXty8gMt0b~Uv2vm>_RGg$q6_MEgBUJ!nGOsUd0h~d+Hwx zi6OuD?)*-nr__f8SB6v{t zNh>xOamyDcGyiC}ka*XIYuYa+K2%?EI#jh|j6j=A zG;HP!*1>RSNLAn4G*keLMRCjJ;KHK_J&8P)$e?`20lTxpK3?Y!N?zmEUBjsNX~4;o zKCG@*z0Xcwlt?QGhS?}97jH9QbVt&qq`43p=uAo?0lHPnk-K=&u8|G&bDiO*lbG=d zyn#PitYQd+e}F6v&b$2)XwLOa9_rytra-?RVy-J+vw!`O)K}El5VP_1afCQqZN5)f zfF_8sTz7D|L^ofV(t#h7?&uzKw`-AStt?yO+Owehfb;GaxXz-tRZRFwZkGg;#FM{a zmm6Me*4GYYG*e=Bwy6VD<$HN&lIl_V9K$);jdNp*p815aE#}kg9fNH;Eta8Xk`Ypp zW@MBk*rn@pWEDp1vt{F}W%iZdZhFaqN=C`}2X#ehpu-`h64`%KK7-m~&!Y*8UTM+c zE>zy8MAz}x3X@Y9JDVpfe=!gG;nL%SsjoL8!<;@H9>Ym{A6NjGZIwF4xnXN_2*Po8 zymI7thi)@pi#IU0+^i5}sTofCv_5;dx+d{BxM}-}C(ur2kW^mYzklpD<<)Z;33(}! zap;n(-#AipScNZ4eWTDZ>*>B(t7^q$X3V~KY7ti4in0kfg&Qt8CiSbH!+1+~dx>W< z+3F$M>>N9zENcR;zlWC0=Qlddr@C|P(7`<@l@#_YWfha6B9XrR-ouavcOzVSgFP%= z(~TiaVn3z|0}=efANsh?QM-w`eBP7HN7}cy-1zHPx}1(heq5sR9L2HStaQ}*f^Bu+ ziXqvJ)2=sOEHW-eMFyF^@g13jkgG(XqLa?Ua4@%Sdf5d?E|6BMo7EcYYdTC&bFw-5 zp&h+AEa+&iqC2FT?V%y*X^cRGYIs{b?v~C7K3jzp zicNdXEujYJgHxWu-lFm9-IU{<2Wg#YYU3N8ahc|#bMMviN$F0*_4%^JbJB~cx<2fD ztJ}Hp9ufmmoHt1ie3(l~dHBD!_#!~Rd)iGFJkG!!9K=@d*PTOxt{rG!fFR}Ev2Fg! zR>Y@e@yV*MLmxC^+y7F&%N9UVs8Q_w4Tma5X$=Ro*O((qOOG)d&Twm)#2pUn?GI-| z$c(Sc?}Sluwq`MV2Z$aD++4j<5+AA6DNAEAx;Cc$CK>6~D*oYzb~iR+y>JF;gLP$8 z_(opYK5PE2jBj={uNV3cd}(8+%SuV`cGV=Kk2SY$CY2{h`Ib~q7hjDA|FAe!bLc7H zb@&CaD~A~Nw{cavn@aeJ4rDucEY9r4W|39CN4!KC0F4kTaCGN=9AwD&x_WiM}_ zR)s54`%yWHe#EKe&^XsBX1Yu;IdI2NCFbT}<^J#2 z|LJmPVdmgu`)6*T1{$HiZ`h!5)I6PJ|K^$XqAGaOD`dc|JU3FWot3=Dob|dY5WNyb z3Lu6l5DO=K_-9I*zU%t>;@)=4YVcj2U}t-p@R^(xEiE3WF$VtwMk7RGFQ>;y$l_Pk zmcz<~zja_d`3=qH1QbGp_qAunm`$e>) z`K1!|(2)<((GT^5@9giQd}PA7pn;Eo^7n9nxG?&`qJsq(vW))F?bz&beY_s#0RS+K z>Q#`Af`UGLAPC$fOW4-HiWnjfF=#z7i-=AOJR77|wOW#)3b;Zx_GZwjdm)N2-et=HU$_w#Qz&x*PT16k3XPdOG?%b0i>9 zkPo}s9>IjKtNYjtiEf8$7JxYai>Q?H7I|mh_d09}9RLpD;qET_EDA!b4l**nmhhOUvEO6zC6Bt!n}OVe_qjl zslR+(g`;m|XMJ8bd`dolJ^N1?P+fIn$9lSk3SNfr+&hR6e@U}Le6-H|CC2;Re)r`G zB=7bN6U6(k@c+$9RQHP%-;w9VE&+K2TQ&FJU3vs8Pp`(^t9Btm{2KF^udm#WSt3G@ z0q@vKvy12FrXIrDb0n-2hlbDg8omKs%R4W~7l>dGAx_Rb&ZR;y!g%7I)F%gZ8zDVF z0>5Vx(!Y;L1SFRK72G=CR->CqO$8h1L3p=$MGFUOss0M|%?({Y(vQRHL3o9}1#PkE z{kpvcZ@Kt{gap}m{0ayFxdal$KsMyQdc;|rL_Q&j;Do;*iIiJE-~>tnKHy+MTXw$! zV$=CQ{l3_#tlT)8hf5ETgar|A?B0jlA;CQStLiWXMXCoy2>yz!*INE6<$aVUc>>T=ViW%RBUYPaRW2xjW6hOo#Yk zI}gqkot;#S6=vyPN_K9Z!PKe@r66oFnVq)>oHtdyW*7Oj8r25IZFBH@nq!&DR8mx# zEMq*b3{oOiBj6Sz^;S3c!&Ygm+SB)@<_{Xz9@mNv1vQNn*>nIsS+2?{6Ot>TW*&Amv z1u6&`br zO&*!FkXT^@|b?paB{TG{>or)^~@~}ws7GzkJSN52u){h*! z=1ufnBtZ*p;8MCbONrwbpHt2+oZ={qz2+n&vNWjmsf|Cj3b8-a_=7kkh{Y1#HkLj> z1Wk%~ei7i6@CWfP*5WnDh7HwR=T109vos&Uc$F5m(7jkE;S1?#H%TiZJh zQ)wIaP_}ty@0ztQP;_4eHZi>gt^xM~ePf7FM17KC6x|A~UL;1RCqc!6hMitQ!alrx zoEa6-0V=b1HPu}_Ar3C1O3vDhbbX2GyAcRuJxx>*-`Th(-+l>l=pRnbRnB25p!l{< z(a1xCB+tvT`+m^9P>GyC!{uu=kd{9Mi5rov`pH|gy2QKHdho!mQsO91jNzb}H+CC8{@vY=0 zyDHkAf8xmfjr~IZ9^EB8vC%q7Qn=_GTTno~w-q<*S8 zp z%8A^rHFRoY%r)GlrhdAKIp6er*UOu`*&H&>?DLdgg}6JUow-X0FmrrNmA+plq1>yt zw#&YgFeTI?+rN7oqf?o=a()Wh04tO?*8)pI8fm|QwHy-8V1HTyT{}ls9;BGS0?J4U z<5c!HVe#V_L10vWb8Wl+iJU$E`ck#cNHdzI`Q!V*%(3qB|dd?Inm$HIA@(@r6@#V_}d%*Bu3&m1psNj7{R9oBfiy70*dY@?pJ z(PSYAe#^L>rssL(xf(Tx&|rk*IIqXbU^R09bMx%t7M0^ll+o!MY1CEF9H>K zU9MNY)XMmBRq()a<2+)N&P_LJm`Uo$&msZc)fO96XT0N=`&+8mam9@J`TDJ@BrmEI z$<$?f-F{l+K10X+gKJArTwzOR)xVXMtJ>;k1@EYV1^@hB-G5> z>oqAxcLlo4|G0BtMiJN;>6N#2_0O!352OT}A9%;Q;T3IN#G155TAPW&%(j+?<*LP? ze8&Xw83M7!*+RRuzvxBp(6a6FLh)k+Mlai|o9g*(?;3IN00xxbHqY^jKc~6wIIzbCuoNRp_!etqP;EAh!z=2_(NlP~$A%vfw~0)j z0%g79zDFQq6(MIR!|1q@59MdG_=GPnw-g5zw;JV&7Tid6--a&zLqMuA#<~6f>F4 zr{@%f;g4T>2_xU{q#G*h;3%cPNOaJsu)I4D+^DQbd@4!qP2hPqAtPVrP;wrUMyq=( zu=yLm_F#@ivjOGAfpE4MhE3Ob{>0Rj8ZTk#i=)IGO8vzLt5>2X;5G^*a5ItA14~*^ zC;QBz)fej|c|5JZd+4etX58r658kRqIxxW9=uMkB;|%Bx2pL~&$(~tB&Yj21M+?ymee}YIkLtE2JS2B z#T5~6o6=CL*mBaml2WYqmg^WC^qobX9)s6CnJ}yhA@%Ki4lpWO{$q$fk&zG0W44xkY@fl}-XHN4< zu%@R+WBrIhORN0b_bgwsxukjMa#PYFj(83nOKcxu$449WA6-ezWvhsPeaKQq5*@?S zukc14G!T=T8>`fir(=rRlM%6V>rH=AAT*b88U6q3|LKdum|k$!l-oYr^E z;%kv#LKm!1%iL>Z2jX-D?SH@#!AwmAsy=*6O7+%~cEaSe0jih#nU@0_1-eN6kU>$&ZvnnWitF?wS&2zrItE)p%5Q-VhJ7 zCyLVHcIgBD!_`w#h>9JbHEuQ-m|EUNzH~zIL}Fy1@rA}Q4_aqfU^DuIm~ZPS&w^#$ zl2W!PaRUZ9C0HIN6O^J^Lp!-@QB{o5kvgYvUDkindN=zo(@od;!Sf|~0G;knZ2Cw0 zp@&2Eo-_&yW{ibh!xpcP@;7F8>2p}t zSFn?hrs2bH6a62G#nR&yXG(H8XV2svloM{U5MQWQaMOiFm&r-a;i3&wvt6GcapG6p zkn+8kc_|^+{?$Rq>C;=zV>v1R31&bmb#BWeRyiImPcHG`upSaf^ z{EHZY5ucqcA>pZv#mI)#&E-ub8*%?SJ-3)~=iX2Y4*LwcoA&LU)fAqLc)bxeIg9TQ zTaBN2##74ppPo7xa_$Gb%fV((1-l`>wto(8C8i!DY;9EMu3U`LANeqELsl-P$$=%t ziPTvi(BcRP7G@;e(4PBP$ruc+71ss4jo|}?1oPY*Ii@{^iF*`t$4pNp??>}Q`}-I! zY=p5Av2XZ8NU1Vv+qr}MJAyti#o2&A{^!RzI-u)(!_+o!q^FU z`thHZkYy->wq*mK^fae9Kfned;)`co zXY010wZp?rbCoRKKJl-@GxbP{(4S6!f~6FyZKIwfK~nL_0f9Lw|P* z_wU$CGiNwubM{8ucrP~LHUmZ_Qanj!`Ml>FWKPgLSv4JyO{eYUMp-W zb&&c_szFMDEipyr;g@Z@k)jQGj&_`nwNAOf(7!YHrBMfslQvkuWOu>j^cot5*$5sOml~Fl zO2lqblr;6n4C1;sJPXT(++P(tEEPbxJ$)#Q{R0oA+VI6JTKnK^F^jA4J3Sm6papC) zjlzWQA6p@KTY?21>5gPOQ6Q7wVaKx@eg3}Ok7(XzjG*Yq>;xWdnrt63$Zj<{FAZ!# z5JFRQGapvyQZTFJ`S0z7)w9{67k z-w-6UwPoGE!p!R~4j_AeeIuE+u7F`8xp6v9R@#ou6v8RlBw_%&<^)@U;Gg?>+k5th zaE9pAM{e5GkqUq^essy>Rs2rcZDeVieACW6Gz=f8a{n267JfheCueN?^W&cx;R z&x+kUp&VNQ0s3f5e2Zb~Kj$GaMDz{71L=f#GY(2ea~9^24`Dz>ZMel;ZY6d0VHBTk zIfwJ}Z~iZ|Ny+inBMf1*wOOUsaVMBiHv^_WJ!W$b8sGNB>p+>JqnpQ9T1$2nPwQ3ijNJA^UK=c}+WRmt0D<#M;Q*6&A6 z&Npq*=!T@jIYkG3lU2}*KDt|pG0mB@LbFc-bRodz?||6@NxW7q6?n2@t3Da!%;GB1 z&?zAf-`Zc4BLtCXAo+>p3aSkUZ9|%&E6!q?GmtU`IK#HQNB+p_PVA!17% zTiOK@OkN9CR2WaU>IP0TG%tUZ9;V9CO{A|6Bn2t*fI5WaFrC0op)%PKn+B4ej|Jom znMx6gjz19Wz21x1Sxo;}+A>#&d!jEyZ6burG6|Be;nNmA6HL8lAAQYdLWlmPZj7rR z-%;5KX2RCY?j99{-14U0(q|diF3sK8y+{izNSry-@_@4`w%4TeS|w?(&TVmRHNUBm z=qWe7npoaAgg~sN22bDgJ*096R|reDM^+Q9BunB!DenwBhcuz*1cpvdvEmwE2wR?+ z;Z={gQ92FHTS{jLM#3@uYfAn}Tq$e+gB<^Yj7R?qnOzAyqy|AzHL9N`GDx?R7lb8A9EQxbZaPMy*+ zi-mWj=_}x@0yQoPHbml+cqY)or!%W zHco8&#C9gOoryKE&7He<|5aOcw`#w=Z&z3Kx2~tVpXb*FKkd8!CdHAi$V>Acv@J7n zZ4GNUcCR5jc#-u+SI&=}FFTrs%D&eBQ1?{v;{yEF6kYU5->q!xU+0V68~A&#M9^Fy z#*o{$IL8#Ua@Dhrnm$Rgau$LHN=5=N&Yhx9HDeh3u4exnHPP@ZJGnYG8yt!-0});9 zC2t|4_i%#0EJuu1#k9>0i<@}ZqF?mkumDaRGPKk0Bux3EPGe}{batW?d`Y=Dp?iLsUgv7$@DT2uj?IwZ9Nu!dW+h4KX*^$#nHOE)1c)iJ1c@{CtVgik9`t1qPeZOMeBA?0`CGH*H>^A zuMuq4_F%s2K{q5udlscn=>HDZ_@UDgswu$>%5_CLtw-W`VPhVbge?tDwb>62+yYQ& z4s=RvCB>xIR{Zha7>>LCo71je7#Kv;D?s(y1P-^Fz1%Sx81Qt`_vyz2$9egR^V4j( z z$_S`9Hcb}H@~sEjk!?w}pL{0A5IFX2gl-xdIdq_Br)E*5yv)kx0^OYSE@dq&s1L1P zoaH|p?Iplls=d}IpDeg0JQu9!)0zzWsT||v&UsW4?D1_Klum9-gFRjzh5)TklqmQ- ze^Y;K>*osPBk@UuzaMbFZ&izjxlp)!Fy}?vVOvJ?n~opZtvwpfq(c2Prn=t424Tu^ z`Dj0yV+kBUj}^ELY|Td3C}Vg_9=FChtgPH14W6D*amZt^{NiBr-y_Jrifz-8k7BD` zYZ`L?%|~Yl4o#zG_R!XJA^{NC|B)*)sUlx8G8zWHbgCJYFe)bVs+_=9*4gjMDU4B> z`FJ1Msuub~zFUX8q>bEWw_WC=FA=^@fSXO|LR`YCvv5N3^C~S6ztl>4QSKf^}FYURiM@QeRB9Rl*jG|^} zZRn+(X=0tTOsKDMoz41n8Zkh5+fn{-x(|ivW2;C_g{`)lvX3B{QNFbf{Y=;^*TnpTG>-k$QV{4 zq@pSNS#Gd=HVm$nC%d>N14m>1=!5u=yep8*H&2o>osC0o*#vupHC=PFFNa*}o2zUo z)%yw`@!+%~VRaT44fkGJa3DF2@c=sYg-}Kb_fIEAhXfBO$#DS8kj(dNN~x93x0{fY zF2M546_!K}6Lu(%IA}Y_09&_IlkxW`bbvuO>vg?nNnjrI)njLdnK5 zS{9Baup8p1o*=F$sNJ4J)U<-Tj14bfqHD;NkA^kub39<$n>V&uFam}0V49q2?;g=K zY34a64|iXV|2FSNWo90=u)n_W)C$Y!D84Q%vfLLZ+54bkBZ8~R=Y+QKR<5YXTo~** zFsX>RKH^rMb%N@+Ymvw_h?wOE29(r@fh%b*%C8#fIY6KOdVaXY!17CFM&<=_VPvkE zH1_(td^KRVBq*<%r=AZTDKp*Q(_mG0h+C59ZJST$O65v92vLv1zs#ka@B#Abq{W5t z#Qmu^x83u3unY0*W(FRx$<6}6UEhWoIo=Isg6*0BWoiG+yO4C zO(t;~hc=K&VXN{>rncCkEYoCLg}5`fZ8ZE0?*JeIJ|N4l#Z5z(^`Tu*-DA(6{<;~t zfR0r_Nzk6sQr9=ZTj^HNZ-^-<@;dZoSTV6SD5XVrWFg?8-H$I^{BbS>?(Zjh1kLP> zVK>e#4cWJ248GjX(LZ93TfPb1fSLI1{DE?Qr`Um(^-toKk&`1dZS$n>gMS{2F4lvS z`zAnebk%koXw>i>PUltUL-+D5%4o0Ic@ULIG;mg%IxJn}oQrkFtxpv?RNw`Lgq0i0 zu5&g%sb{ND)O|6jQJ7rq=uGNpaHqHe``su~MKxXE`#O?1)%z8kNak`Iy4Ya+zsl&Vk#j+V$U&y#1+6B z)ctKth3;&wKM23x^;AmeUFdny@%-~L;&q60w{WlWii*`Nbn{R#7D7b^oS~!WYj^~` zb16oNod5pthMWa=Q>qVfJ&Oe(Q6l|%-|5GkF@L|y-D>}2^4%}lOVM4@+t5b90k(#s zQxO<0bYy2c#1G4LazWA5)9q}T`wb9EDkERsAoFv9`q%w4tdI}7Y39rrjHP2wiqcQw zzazi*NqW)~%eRlgMv8?)kyju%BxTzC)KpX->Q&JebaFS@4ts0{p0*<{@iZ=!dPN7D zFODYXcDwwTn)3J7xEm!rR)Mbjwz9;^irAM1i3KB)lg{5=0m z`rVxs7(er)Gh;GDQyis*(;ZqL=n(vw5zljIH(by@N?4jeBPXcqE zD@XjBb1{T4Uu4;h{o@OqY{>w4S1F|BJG@M^$0wz@h0XhyZ$CpM}2xf!MMEKR^74;{DYjudb-E=QjV0WW`ar`V=Pir4# zkncG2{CHN&29&8U!81KaBkP(u(i?CGdrFX@hZD>`Tv|p7?hN}RJrMxMol`h@a zb)F&d?q>5vqn%d&nwFxb&4b-vDR?r7f#9I#!O%#97Hb5*XemJWM)5t&w0!zO#HSBY zVW|BPxDlhmithEZsi41kjoP_2C81+2dKAFKUXCYGxg1TNq1TvQF)>x-pM~c9KggzP>Hm>mj-J!8jFt`q10M3 z2Vk$ZRY-7YD*6Cg5I37C^ok!+x$K_UuGX$*$>p2Q*=Km-3gS)~m9(_5KFlnR|1P3< zW}>U2*GLXBCCc#Tr$w${MR=7P*Nv9FuM^UXfmvE8SsgTayE9e9$lZ3?f3?a0Ed(d6 zJYiVZin{*-5{X_Af_GD0joRA!OIqaSlTAr11tC|}Y~BFsVgvoV+gzln8Zi}r)9)w` zuC-$r(lTOEO@#OMBe1;T=$v@5r;%%7kCPxs;*RPJt|XymHxySfZQ7;oP^m$8RkD*@ zZ8%-BZV(5Q`sQT~aG7Zc1yZ12&+~abSlYdl4zgk9=gZX%rb4BIJ@a)v@i(XUV3Cy2B&pxNW}E}^>K@gyknSa zoJxQ>i0@(f3*g&V^)ocg+bw6?4eqZ8!nJUuaKQ|>{Qq`g+Dy56Sa@LrGSk`PmEm$i z6|%K@orqcY;1`pw27G(idI_}4#d|0Zm%ZX%6Z735Uu{{u0A;a$A?Y#fX`;lLfh{Uj zvKvF{B;OMqIOpsH)_&6hncNOZ3^|9qDPKTu_t}rn`)4{lIp&lU3+(_u*hBw!$+7Mm zAo6bIn`h}NGDc~Gi79@bklOogJRiu+1R}!j;JX=4&ioS{;#r1*+0|n){aUvq(&`Bi znb9j9jxherfw5QPOJ8x7uBbq1%ZXf{M1oJ$pn86`=GyZHRj{7{8BUiXGRlfh$qrC9 zWrybSGZ&9&O*H3;$i78uVkw?wTsFYp&`^y$S~njmD`8qA2LlVr{oWKC zWm*o76#9`+CEk3sovO?ad&(C&{2wCjjFRnW~Tb)0`LHwq2nnN>*^$tsrH4R>x7T_2#SHH zg!13in>Ds&n@k4dqwg*>?4j%lAe!{^d zhzmr$yFrkKJ9+=6nxwdxQSWpau_WM=Zgk0*i4TMZ@tc2Bs`Usz({B5F8IqCFfsRp# zVwr-;+Z)r1`KM0vqZEMFH6q)S_s7%t%L2)ht_eiOfvo>gzo zA-+o6b;z#+n&A0)&rp&an_+Y?3xen3?4FNBPIu($QZ%9dGxWV4GlR6d#ZH$7e2RBzi&Qk_F7qI)(6S?@_7CyW z#hm!I)=z;sgb)B0B$oM$F2U&orgTJZZX43iRfdt-8h_FCNkkpt?J#QHpIj7N>$l=@ zi1dNR^Z^t)G;WkX2k1yY#kyFN$d}OTr?+0;_S3fa-JtAEK<6i(&WJ^9173;pFp zm(bzz;fdpkj#j5C-gpGoRP(`y1bR6eLW#2NX{>?{JBHPpHTlDt5vR-Wc9!HZX--xW zXzz>UAAuQ|@c(d<^8Ro54m&5;f4rk?q^#WBJpbwbZzm}m*MHzU>WDlVcDPLRnS0p@ zGPhK&Dw)wg;gdRnV)z=xtCo*-Q0N1DT2SBPH!a_OhUz4DXGN@9g&=0ABpRc>7R_#EC zWvo=N>IZHrrniG2NoKzz2{FNfg@Yc!lrBOq(ceGRvU7%>UZ()QG(5bn07S`tu0t~s zrM(Us++`u@1w!BaVjdPVuD|cZpuTsm*EW`?mX?-IBJBZ0guoA+D^7`UkfXpVXhR_u z8FMA5!)&3E5SK}jqXioAkmDmhn-c!ypbP=O+#zH9hP_LNk&KK89>9P7a1F%(#li>k zNC=r8cyk0sANkt6;nmWG7DS&&hJ(0|NU9N)Z}Kbn+PE%gR~BO=VhSvz;ZP)krvKWH z7D3EQg%$;%B0vOzRF(qPj~91`SsxN1!bl#8mYYqXV+iBaNHFfv_w4r#I~wlxshwOb zJ@m;yj+lfAcc^e~l^F+Cbd8V~xkW%9OYgIBe)fgDcTce%{jl8-O-gb57ckvtd5up|}B&PS01Y1xA1*U35W@qzFjM7#g zk9r?qXNJ(z+ea|)fCQQ3bc#5RSPT zd}?>3MKqg88`+pg5D_Dzq*8GXP2V?*DcJ+)4TqUw?LnDiL`B|UktRg!gTZ2A98lCZ z3_p;1(lPpFnjdLRgh7l3BAj(H=wK9}ZPN^C+&uZ!V^1Isu(CwYx{#QyQAs9K8sPJt z72|dvzkGK^Y|d;QgRBJcZ@Lv3Rw=j@0Q{u+6K{W?+;-O_$18LCOx;OOwA(e&Z9D)R z2pZMwoAt(-6punY(jB^r>do7<4(R?xsSP!;zln*jnXG@X9mO7lk4P=(SOT4Lxeq-$ z7XXRa{yaomwWfYO@f-#xKWw9-ruT-LPUK{(~)Y z^=pHkD9!>Rac8)>1ZSDUyjx$Q%!Vbdt+(}$>5A;@cY~6cIl5{~iWQtnOCUgvQPV$4 z7O6w;!+yOXHR9lrzge8{L(td3@XEBy-k))=$zLhG+CJ2N^>oeYg;w}Ej;$cGv&q6W z!%gp@Gb-qDyQWpYS}{-0ezLsRn?u&Vqtj0EeLmdbN-LZ;nsswRT=WIj>uK3!so)dd zkPC98%JJb)aw~uMui!UD^J4%DJAxi;{@w+yym2F{C!mi}BH;PNmnt)f)tNiiu(PN;e;=vDx{H zcGYmxM+1c-$uP4KMuvWNp<27|yv|CA)^ca+Ph*-b1U)-7K%V|%@mdNQMTC1%PZrZ=RsA-CJ*{+c;5WKv_pxvJ0hxUK6u(0E)UXpy*#J}I8M z^Q;(Uo&@^-J%4zs-R-Kg(8|Cy0Avo~O3_QcPo%r-QS5eDYx88yWC;s}3_!6NEs^V18=9V{_r_VKo<#{{^ zWqKnYY;#gF^!w~ibvr_&FW6u0+ZeON-bxZI7di9V@%VF5a=Ca&vy97%V7_OAp~ zFN8feYaY<0PtW{>8}oPakc*)*9e(T(tlu^sOYggW)qQb8LLO(aopU zIV3z=y^;QVYwL~7mKU7ln1J%rg;B20r3AY?QaI-DT-R+9#(n1V7`jJPfu@kvIfq%z zW;V}&iYGl-U0;>IkW{v!>ehOazAJXRKED&soc2}r@VGm>LKNgK$`Gx5bR2fc$QvfY=BswZDsw} z5KYXctVXFuCc?A+HUq`Vdl%%gF3qF10mhY6I`iF6?3_GI-u~f44MaXoF4caepXMzN z-1U-LqtmlO<{*RlGsC8*8drz)*@+f=h=`>ReMvldI(axbLDC+ zkT{QsmzUVJdG*WF9QPUM`BaGAC=X=Rh}cIg%|n+p3=aG^2$LGB@N4MKRryugAtz*C zRRDmH7WI$d^R>(Er|$S2OI>C2=RD$`ViPOubuFg}pQYCdZOr)`mcMPcQ##?e9Df<@%j-ixImJSE^gRhJss$>~b4u!bRGlHxuiE^nH90kOlxP zmzAna*tHWq!j-w|D!Cb}T3dGHLoQyr3q1hyVe-YCx30$Vs*qgMmTz^37ij5y8dDYf z4^0ZR(fz1?&LLl@5W}L^)h%=w-mrR$#LTLZqVSR8nD42^?ceV6kVyPDr(sn%A1BI| zhx_rzquAj)sb!~=uhCJrswufn-#VfF1%^F>m;r)E;i7*}a$+T8Fd-+}9$$nH(}Vz^ z+H2VMg$%RI2OPnQ*f@;W)KqOJH=Q7TwSb9&o`j z@jn$S2ODY9NU;(W2RjRE5?%?(e-{EJi4d%8Ni!t`1nevb%u+Tku5P4kY;6D0v7~IQ zoE-l}j-&xp>*%Qyj9>(;)TWQP(uW=efLuz(BX*n#31L-NX*7ts9YVh&^*bp;riGqIgTFh`~i{aSkeox!mcp3g_9VSw4h zW$%CyxGF{y{tnR#5&$J^xUoi;7uf+>Ll^@O6q-dk7lV}(*dc{; zWsQ6PZ6OepOhhyiQr>=qDk6L@YOL;cELFSA&7e(J_CyJ3(r)f$gdM&v3NesMz8dV?9FNjquH^ssq1@ALQqObuV zEJ|(^(+aSF?cynueM{i2XW$PL!oV1{-heq!(ou!k#1Pv`4fUs`xZ}1s_&!V`IO$DE zX&XZd4$oqTiBsGtqlJKG)PP^ym~kv6mN@avUyUWH2x6+3aUDK_g(qKVU-!NkR(qF` zGKQ6M@fv>4DvA#;=6BL}edNQgr3MfHRT{~66*GU^s_u+Yr&z!3SGM@JG@d9k%xqn< z1nfq=AsWm$n1FNyHXA%wV$p5=preRX_ptXUYW5dc6(mS#Hly^tq!?Hq16S3bUR9zw zKFg$&j+7353Xi{Up~Hc(0_PHmA2yyP=%wgq!!#VTZlUlgJ3@C5O{G_*wW|gY7a01- z_xF!tu_ellM7bjh+}<#K^s1_R4d&J;!LgE^q23!Hg^i#PF~HyHXc)8#dc;Ll zL3Dxv!v}N=3}*;Mopks;M@^H>#R&Z$~JsldHdx@(W1& zM!QGHX2UZ-3NBQnthGH|JS>3|#nB^-YL7{A)-*^rc4uc!OUZ^_*);;frnCi9`O#>K zb-!Pca8SczTYxi`qES7K!ci7@9s^-IiR0v+-eEDSn@Apa@;?oL0+_oW0_M>(2+E#r z7g^XFf?Nw@t;H6Co5bVuO5*2`>=_HDoDU_qf)wL>4{-C(Icun3+iN&ZdmH$O)b|!1e9}? z+?$YB+BpB-&@jB8%eg*bR&Bp7P=~a*$k=Vh8h+7+igG2Q99yNR=Ki*>sB6=bW*?;L zNIH#mwPD@Zv|&0Scu@E3g{|lNmDBJB6Ja!ulDRbG63}bN_#*!&YwdfLf>HPD$-#a2 z*v$>_N1Zc!r!G8T1pn<`(;2lV_X@8POBxxw2fjz&V28UeLDZG4^Q%3>$Y8*%fg;k; z*+F@KZ_dYqz1Pdz(|zGLl7hm@)CC^l6VT7dgBR2{`d}Yv^!7<*G?DR6%6u@i_vk@= zb?D!i&CGNtSL0|2vTOh39`WFTjUHavmiR(Bb^7vlb-o3#i^j%NEJ2sYz4C)A`q0e2 z5hp$qQuY#`E5`vKDQP-gjx@5^Q@-G_mLTB0X%f<0$N`Dcx417L0ie1!{q}>47ahUc z`wL4akmPWry(@9$_I2XJ-IeC=t<=^ye|ti7CyZpw!gp&jK#=ISEg&n-y7HWdfClc0cH`+V}|eB$ZC3k)AT zU}fdq`MJfIwd4owMh?uwFT9l{B)0<{VXADoz*afjSU$LVW%USUDbf7?BqS8b?;tLjt2`iPf8vX1;RSPVpaOVtKyZrw&QznOxiV3@wz!-|%=yT> zNSK}7%`YHk``H=&t$ePVux`cLFXMrTRmEg`*)Drs=Lbn@V{}+lkd!`F>m5Ij+9a56 z_-V(vNx%=!5C5;JIndLu7q=(Ly+5C}8=j}NWEX>7WBzI0ll*0`>Zr$!nO6r(C!iv3 zVM2iNQ@kg5DD$}Q^lwi@FG;jD4H1KHU{gdY%|!>k-pDQ6OiBk=g0%d)B&$Bpb*0kT zP=$|Hps-KR&Ig29@wl(1vM*$k=`;|h502MyKt>8I?KaSlyI0?+_S*B86+emoIOMj? zv7T9cO?FnSD^cE+pL6_Uj$ZR&*WW+KC~W}mo~yoQ_G^c*o_aX??fN^1Ub20?YTunL zL81=do;MR;LY{511k)z`>sMr;-%F!C`>FtZw6DLCW!udaXsO$4bgh%KC3i&B@7)l!KL&g;WiJS=Q0g ziS(cP`R_)8R8N41o0F4Qj8#gUT~bV3oL7RKgG-cGQj(LGmy3s6LV{C>^#4EQ-zrE7 z7LHbK)}*ZLETsP}k%-0xG5Wy3LgqH%$l>8{lpXVxa@_DdT`|&TPdVa5!z07i9Jc%# z8^Nv-e~nQ9adGocUnb@*0ssI2 delta 18794 zcmV(>K-j;`m<5~I0+1pEIXE;Rmo7p9D1U`j!EWO=5WVLsbfkclN{S*S9aEzVq{srr zuCYCIdr)M?CLl`!NpIJ^^w&GXq2f4k(ThzDhcj>98*+Z$-u?7ZG+D(^mR+O#kvh6PWgMG}UU~?`xbH{$n3#l9S6>Y}ZZ(P(vAM8AleSXG&&F;rNoqw?5 zaP;|~+h4P~DLWyuqN>Y|Hx#hJ&3^hhw1-2# z26HLR$(tRSY&zU8%V@zExsHedttdOCl9CtsG5r}amw8dwf^Ej$dty|v;o?W8`Wg?o zK#75Nh;;=B4H=F-EaArvP%J{>*C?=LGXnG)pkuvtqgkZu^h#f7ndktqW*3oyDoP0U z*TEnIxYs}V;QArZ*HzvabboR4(`XQKy%L8D(5JWsY!wY@t#!xxDT3rsd@k6fel&%d zeEd9;l=O)R(qYQR+0OdmXh19;_#q|04=;j`nD$-dTgRbDqS91)N0QxmeqP z6DIsOlRvF~9{vRzUcSu~#if3O@7QnAZ*V41#G~=P-y2_Efzodpy?=`QV(lvdct>A) z9JYtqIWvR_!qMgvbzRz=yxqYKpywhQ1{cw;7vCNiP%nuR??{T%PoT%{7G)F<`^S`NrbO?^fS3G7 zpUS@hH8QVwLaHE;Gk<;TJ+xl#8(z>(UwDVj>jy@y)l#rIb&L9sO2I3>7iulz!!2~N z_ob8!o>p2=YfD+w}sF!f4h}QbiDgzd-pG)4q8MCWo~41baG{3Z3>t0K>-vROl59obZ9Xk zF*rFl3NK7$ZfA68G9WQDH#w6a!4?EHIW{<#FG2w)e~tA8P+aTM1`0zUK=9zs;O_43 z?(Pf{U~re<5ZpaD1b4UK7BslKyE|OAoU`}&{=e$pnyNMH>3+K3)_0K+DXP#3nc5ly z#ce@ObWHS&+yD_dWhO=dBO?nvBO@~`8JVi3lQr;fF)W!n(81Bt7R3E8f`|jq$mv}s zYUK3Jf0MHX0i>O+0Zc3aCU$Nn4sJ$905c;a*MEq%4%`4yBNt0kfE+zQ+7<+Kge4QP zwR3l{G`DbiKjuHL07?@o023D%2koEc03jQogQbZP2q0(VWC65!Khea<8lYlpVhMC| z{~s5WycSMQcH9gMuCA{1MmCQ0whrd}RI~tBe@iC|fHKe#=->i01^kgPK;Fm(_*Z81 zuw(#L3rokpf>5nCG@ zAjruP_K)~PEggU+?`3yq_^Y#4AX`_E=ik805@c%jM-ryab_{ADOM7Ral<41-cMhEE5yJ)Y8NWU<@?31i}8}{ap++`wPD}-@(!ipu_k+drSbv zKYssx(|aE;Q(KU=`#xAN&Zi%qLJm_!Trml6v)gL!1Y%S@5TF19xi{61?Ar>Lk0NX6Xb2*XBh~f z{Acua8QB<3-XBc=pBLaylmCBn|A&|Vx6%K<0f{?XTmPx1{8Rt`qc*a!w08fS@IK1U zPVZ|WXZyY!p#MwN0RFYgazIl{e`lNjtCeyxdS4GAkh%4L%V_B+Zs`UzRkU<6vG{9- z{?mnb_tusmprWm#D>hIo}M?r%+>++kB+jle*qYT{t*3z zH~ae8Ni_Y4|->+{DW8l466U2cb^*nMO^R5=pV!hU@-m% zaRC@i{)<@Oy}aKmHvh2ys1JkbzaSHU0r)TY9+KHV@DF79FYSAX=Kq54-Yxz)>%9sV z?sgXM7vMjPciF$~-$S+je;0g@)#e}gzJ?6{vVGrs2HStUzjNO|3;$BT$7c7B`n|Ar z@0(!zuhf{{!*lo-e2>NPU+~?+>0j`@rq2I@?~%Iv3%;N3`meIQN9y)3_#UbIpYVUi z%EZ~h;r+h-bMfD2?mzg?%N+=G1De1t%-Wjp1b(RrY`d=#!gZzFe;MPOBHPhOp`!C# zaA-kB3oF&FjTwO7Kewy$JqBzSg5X}6MH z2JX4!H(jJ!gs$I@e`&HDtbn(y=tK-p7$F1)kdL z%ux?B9xG+4%#NMdq}bY6_z*WJBa`Hw!uv_mm~);*1OZq2*}gjoo*$;))e^!v=| zm6pokpvInRmyv}IrtR!RKp+KfKk9aTb#Wt_fdjDudS$CYe>kdBHH#Gxf4{>_c%|)D zz02%NGTtKB@7g!OG=i4Jk#AF%=Tn{i%Fu8>-Cb~U%l%N}@K%?%#t(r$0X%b8CTcMY zov`I4?sWX*k0nl{A38OFQfSDui!O0ugdcI3HuD)7wK+fbfREsvvSoW+ zM0uCjpUZcwe@}m&vvx(%3wR4)mwz+z$zutvolvQ6sGI%{^fxykN#A>T&*>REl-JP`#79# zbidwjP&go{m+RJafAhAqR9GMVz*ha?yxcWZcqnQ^f0ZLJ=Ua!eZ&s(HLaKyN_=m!~ zt(l%r#v~`I!Y)KMjnPONs(g=Iqn(A%uCygmqGS{W3vzuj2fQI(3wraS1wGhRzJeIv zZW?`=YuXj=DZ$_~kXNF}GIp0BNDSJC8r3geafESIRPS?1Jl4T_=6;WE5&fFnBK5Q` z*ZslTf7=A$VT(wGu#P1sn%nYCyISL;j0k%*3u{_ca}}yv#H&u9?gy?N4~{?zlR&q# zFrx8~9ZLf8izzZzWeaG~-e%)7zifJZ7kng)ZsMzO)U8=XyWtHg<ZCOb+n~+H~e>Vv$%M6BDt&^Gd`FgA1D-}_MS&*hb zjLH7za2T*H-WdwC!J6o#3uRPA7O@KQ8pvh)9otNjsH* zk@t9VK*g|E!;<)^PxMT59?i^3&fvyhg)!A%6G=47$wupql!=BpQIB`_>(cVD{C=gn&$U&Hl_+f48M&msNq)g-9pe;7+O~x9Y66@)^B<*CZT= zaSgxpQcn6oE=!BCY$V#nlYI>Z>TfL>`ehlc!y&3J zT1<&y8Be275p7|K%yw7;eD@_v#4s6(;2vfL#wqpW3U(<)Qc~-ugU7Nax_HcWf1OUO zqiNviQ26}-4h*);$Q(H{nR$Y7rANq}^ayq;t+TCU*mThy65IuPUYkR#amJ1z1L45DAgm^_W0d4(ri8^=wOe)&La-F9K2)zmS~wbA)Y9#i1~{>zNQ?=95fe ziU-}<@BBL#R{{9q2t|QdvLH5?U{1rz{c3KN8^i^+@)`bW$9!cOu*V!7i(n_j_2jhWzbto(ADWn(hNg_MufkA`VS z(7ieFYw-+bH$C62+sPEgm~*%Z)P<;2gk>3ac}p-(*-%SFGKKQi?!H^|RCxaCgrg*B znb-UX5{HT-h6x8t0Sn~xe^j2gjr-iytBOgvZJ=@f!C2_^tBjYe9Gn5_>{PPG=e1Y7 z*meZ>ZMpq7cHh$MYW?;*Bd1J47(oT5qa23sVB!~q2@Ndn1SF|jCP;E}a}yGM+Ak|Q z5H@9REgs_$;$NXYp;(tZloEGK^H%^N=hcOyHH7iJ_tdFkAeU7Jf0rz=X>-o}R)3r+ zqhK^)6tuUBM-D)gv@3q6-*17QI5B-ceaCNPeU5TKo_;%wGko^D) z9Hx!4dtJl{aQJEw|JW4ojBybY7-2|b?TG_(2UNP7jWG~3!(?Z{kz7+Wa+&nNRvSe( zsLC2e>(?%2BA_nWe;$ZLsf?DR88Ei<4d(G&DH-|XSFXf@v9GSqGoRBo8ajoDfKs7A zuaLQJN!!NBSvpG)aNH9dWS+&R%eO8_EWZ9IBYv-%WBim7+oA3kWld>qUeWb^(fD_H zhpPt16)`^Zb^WPyl6+boCF6Ksg$hcD|x)oygBX$$eP_9JVg3a zw75e3C9lkB3e1#|>A*^AS;P|hrzpZo0_v-JpcIN6R7RJCd7AJNB$UAcx{bT^I z*yw2tmY*yae||fEGS0;57J=m)==BhiESSk+0f%*`ztqWgYu;ROViIyLFZm8{Cp1p4 z!aVbg zRg5n0$D^a*Wf?3tCrQ-bZJZzYQW6NkTQ{Oko-!FOe{(w1Updp9ZY>Z$Uh(ss(|+|B zs+%N(wQa3j%XWhpWK41N|2#X0jiSLM?lyipy`Q`WFn_g)jjVT5cfYA${5<)cSdYZR z2P^r9oy%nx!gu`O*wowkz9M=DVXkka=%6Mok#Z5H$6lurQ$douB2KUgEBTP=aG5Ib z>?xkSf6l|{cxylLM@lHT`3U)|utIR2^^F44*Rt-X6Y#ilYvo&HIHD_IXp~cDk98ah(w_&lZu(G9wCsW2 ze{I$Cc<=?`ck@~yijUW@W8&ayV!6jxuMy`{G69`4NRkm0HTC@9+Dd|BNKy;yPGou8 zZ%G-QIz?0*z2qIw*%o7<@9@>w2U--|YaUu;umg_?|N2^=nJ#`c~=2f2-Y~Lm!M2L)pqaJ(wkm7yC8E%#S~Lgx=G#J%CYHma#>!xpO7d`e@ND- z@LtV6>2;j@kMu*mNewh+V*?)UMJ@q^8wNGP9u>nOS;5!L0xr{SFi;;3ui9?rLV7g8 zjq->%v1jsaV3U?Yu*_W-h@fF%?m2eEKWPcNtLXV$1Z90lEq}1K6`nmPi~mHJ^xcJs z@nOF)OgzCKer4_Pv{-D-NGH_af9zh-jn!8&C>!1D5L)B8j%P`NU=|Ho3ze8f_?m6u z>UsBmLsFM`s#FK+o+)W8^~8it{+_GEj-Q!Bx>fk)s@{ zT7&F4t?%45Y;r#;A=h?Km(b3_pi!e*%aQ7FzZN|)e8~@5?_0FeMO{el+Wh2T60z0@HI+2HyZwCvXngV3SyyyYY$ z|B+4>0hAP;Eb!4_6+_=3e`v`ZEw0`t6Qe(xC(@9hYT~3wMmS{koE_NP(6vlh8QTQQ zpRjNJQ^_ti7^gJ%>l9UIaKrb9`hrV_NFHbvYzlb&<{R#9CrIh)FM@|?Zl$#WVw8*$ z!#rax=u1lWAEJr}60B4yn$I(lc`|up>~TT!+s=MY*0Lf@@tVB=f3{JaWLW#yxnBF< z1%3kC;S(NAA}TbUczKFUJw61$p${s|qi`&x(n)fQ!-0v`lowO=q%Z_6z#*j_1{*th zHW?0ZjTc~;7gf*F{HjryWK#LMcJovvt8=89_s_oGy`JkLC^R*|B+;)Vt;FL)um_@P za4DE+t(~H&ENmIFe|?hzvC5`nf~Ryo;e`mPGN)1P=ihWF(#*Wbq`X78pi&kRY3H+{)S{B@XO;Ml3(v_nv^p zAyLUMA-Tv~j_3~P{%*@ju)Fl#{EHK_m6bW;R>>8M*1bIBe@T@jynBmjRhPgRDznLL zagTJv#(_qG+$|{+FhLbb@+983k8N?MkU$p@7$>UVcX59_-7WR%5|+LzqjDi4clWj} z?u#iJv`iDCJh$_YN&d#;a<8-BHWHFi_F$t4G| z#!qjV1eSCGx&Lc~JAk1drqPzCD+zxCu-Ro8`Jd^y(lPiaPFb-r|HsX|{(!h#R1 zZ8gB_I0&P{-{Jija%vUpj4aKW!Ie{7+Uvd(__x?WARQ}>*6Go{!) zeC(N!3nf;Wa>h4iXSA;m=QnS0q+kVM_`UHoear6t5x$($*?pPR;WBCED$yC%%-h7i zhlZ`o-G}I9MQ`T&Bkq0YF`^o6Ie3RtHr1{rx8!AZheA;A5@m$}P{Hp2UtGQ8)qVmB zgTKsqe}BD~PJ%mh&Sw&`!gXHM?6L@yw=UENNsta%|X3>L#2c>f180sI`n=00#o4=k`qJ3G~DZY^keWYNm2fsKJvczqcI}&8}IAIhO?~{$o)exSrsd+=Jn~{_kc9nOh#VQmA~_fumN) zZ7B!)God0DGa>&qti)7flJEl?xzN0P#Xj zf1lxx=t^Q}(Wo|Cj7su{S}Zolxpby~IKRQD>|t@q#9;@1?p2j3Hqs>Bb~PW0Z%_!( z+5F%Zj%z;#qyIPTT=-L+5+Je-AibkY&e&=(EeA`*msk`itzirwp0ylTU_5 z=Q${ag9u?dm1AMZhQB*T#4_``U2(cT9vczh!smGGT3*T;1!AIje;KaY8xnlV3)}JT z`|5_Yd#2Iw5ju4T6yg|_!U&>9^hB(*7SJyCxC&1kMhWL{+T%PSw4;-qBp=Lse}XuZ zG2{mr))kR;8z$wRuKXNwED>mN`PJI5ulxLsIu3pIMQM1WNZ!~ih-Rs+V>K|-miSZT z!Vk4iZ61?X=7;8^M%z&_&UND1lc~HtsG5)ND@`S36CWO_+dd4M-@dU5Xfo?{$FLSj zrj6#N&t0bJcTL#K0&QzDQq)eae|+HY3gY4>IQWmL`tz?+B|$NnA6kmag*b>0JVk?* zc^R0UUgY`)t{)tC3VolfxTG|%oYVJ+t>9# z4&8!VMD!t*Jv?X=lz9Y-7CQ;Tv)lnu($cf`<>m$XzfkdNSQu{0wT1G(&E*cg`D_5! zPt--FXS|YIS~QWoCx3`Ie}oNU_NxvG4erC4VZD4v$%{)+^yc{(Mm*Ifb2~*c7OR@w zh$w#dsJn;ra;HBX4}p&Z0mqa2snhFF86c|L>yIGmJk9>5)b}!xLh)URWzd+%jif1x zkmZU{WrVxri}B}^C9)$yk%6a7V8?bP=4*KX3gTFjTX^M^z*f%un7JDt3~YHhF?Mq`Tm7^J&(MFv2qWqO5EXvWnK zgak?mBB{+HvrED05~c?3E#LA#a}TK-Jbf7ApDE;`mSXhAn5x$$_MAtDIb%^<^yt4B za^4otFoPIb$Pc9x2q@cNS89mej z+I|48AfwIE7J;r=Fb-A*LV_cDi@4lNX(HsqZpq^gK>O0e(JRQ`JFi!ErcMPltbp6s ztYpTf?MJr|%USg7xe6R}FCTX7tWK?I<9z(HbcXJ7Ee1h3-X(^~@gkP*^8=C>)Gw!w zFHDpD=|X!Bf3IQa6`hk6uh=8fF5R>;gkIpEF6)BE6V+E^VlrS;p3{{A>vWb^dDXf! zx$z+V7ncM~Xl}{Yt3RE{w=N5-uyF<72XxhfN0wv~_ssTY)SBl+tq^ua(a zQPxnC0wP?Y%I^26(8D6)w}SN10d$c?XcngBbe=!}Bd4x=*L~somLjAm9>AnEK z**$cBSzjWJyo6=Qu;NgU`pM8?&#h<_sO%_)k5&kkNKgdyV)QOQV%ARl9uYfZo}Z9Z zYvPdHjnbY#fY)~u1$6Xbg zCXFrxohH;A0KyTx)tIC(iSZO8ETNCY1DqI7e^d#&TQ``Foi$2kL zcW{wLNfss0<__$L?>6lSqJ<8I2sy&1hQ2H?%PgzduUi=}((94%%2G_!6=$V${H?)d4fRRA2IYahxe|;gI9N4j zVoKQW$?Ii?IvBz1VRmB0cu04kT*bAWe@9fj+i!)zgp|ZthbezM7T~tu6LwRGXX`DR zXNn9q4{KdcTLNOG8#Uj8&-V<@I<of8Pa$iJa<_ho9c(9-mNY^?pakjd!e*}hG z8RUUC6u6ptH|@gM*O~hR--_G5nkd4DIqF?u6#8>B;qTxGYNihT*nxz7D%0CI>j?NP zFZzY%q4dp20NvB3k0m?vINjvThaCE-s_ZEPlO2{GOj8If)D1D@{zu7^CY5j&`Xlbu z;(fva*UsU-W#>2lFEuR`FcITlf1+a+aE44GQP}v3FWgM}!#&M^?x=;qUF0xf5pIA3 zoP(#;#QD&p=ENxak~FqQcPP3Dv%WfdQ^}2M2AQ!TvGSPVND-b^`$E`0fBDpmS)THu!xdT*O3w8siw4o#lUn|~d#i2-)XeSXreF*_ z^+5Ysbn~=^cuHHOJcpEu5-@X5Iz+eWGo}ZiD1i;%xo*$8Y#~6+H#jl+p3B|4PRXM9 z>h-p%qn-R@_BXUP|0OMQf3&=)Y1(b;(H|M~^vf2F;jw^jYh1yL+?2uP&g^a}ntS3#2!#szo8 zMuoW<5!7V!TNJexbNB8WWOyfs0N-n;BQ-exWCxLIr%R0qD}9)ye`|^l=!x%lB?0L0 zQo1RUCElQA$G!%K1X6jbGeffAsq9MhSW4U}V>t!cE5R!*t9c%3lm-G32{8~W&%|^r zw&cSmBBS8hesG%#2IXj0{>b4Kc1^!#fYNE-!*2p_pud6&tj&{jS284gaj0*1b$CrA zwd=;rVV4JVxc8y~f2-xsUIJEzyHVlWCZavP^0)i?HBa_^pu3y>P2Veq3A=Lr9QO06>#^w{Ewe($A>v-QGi5qg4h|hS@!pKTrPsu zJn$MS^H~2ZmzXPS?F6u!(S$8m<(Zo#4ca|Wb$kU+s7P=;Tc4C-UqzX7vK~ZT?h+!<)AZ=>`UaR z*38E(FS1guilz@)-jpqAPE~Gkn*m!W7{`X>wOmjr=k>L%I}Vj0Una_3N*CP76V@(y zWV8s7e+=KT@qr2|cO6wSk;%^YiO!0eF4Wlb@02D z%+L5ce8z$G$)>r@=LnUi06_^MLGo`IIE7q1jEs}7HJU$gcUOa-oUsNl+=2e<5)A9a z4IJFR3eP$3d>7J`$Pz{L?xctn)Vv)_YqroLe@a}(>1iG*$E%0J0M|Xob0aW(Pi&-| zU5QN|A#E%FG>`+`(StsCHLoTQEA^OIPB ze}(utX1xw%mdKRcI}vIamxE`mS+@9v1TjBE`5V7YpAx;YDh**e`~xp)7Z`s|)Dp~2 zJXJHj+KQfL@{d zj^Vy)T2jwV$e*zYv(_weI(cpcfe?PtiWyi<%Y=_lYdFiz;GV7KD>FLu}*P zj&nm@yGUWg@_V;4d^5F{r#+6_^|8f$$K&(n$JG~6#**bi$^2ZFq@PeLe-l=SJ6omK z8q&0qYEK#DKZE-~6LBq=H(xjvA+0%$Dj8+x0#nxqX&Vc9ZCVqV%VSv0^%)&~N&2Lq?BrdQNs_N7k!@R5h$D`4NXii2&p;`%IhUx$C1>db ziQ8Gr4cAZthkKZft?ju_&*Z!-M;Ro?C;p*rAedu>Q`zjOgWQ2Ie;(ha1A^QDRi0uD%sDlMMu&~4~oq${m_?D zx@a;!nUMsCd+mzaEbH#wzx`s1jSdKzUC7F)n7XI5g6`}-#Ads1WpkxZ&kPGq9rxTm zSOG5NsqR~R1eLXRfBh;^h7ZOt+)?0rSC^)fK(*jk*Mf~@cU*v84<&LLo%<{mu*gaQ z@V#s>0;)Ay%dpyXqNowiW|U~bwF^x(fwDo1&V(+~txi^z1iH(4va)fKeO(w4W3Xcn zWW)wlWF}gM0*v((b{w39iFn@*imzH$smDj#ofQdYjq9{Af8Rb>(KfOCM9!{R(JPND zl;k$}%`HNq1pQ0(7~;$MYKsj`YAtg7f8<^Zq^A4=o@peFdKC{p&#Uy?wMLC$>u=|C z;Pjy|@K1#)eBQvWRl&c$DjZb*#++|hyz%~my1*~~E4J5HQZ*v)6 zaL}eixX;3TlQ@_!FN6Fk#C*-lH+Np=xhn}%G#!L4S}KD$rHp$ zws>NWf0EKg^X24hc3eX3fcok>C*OEQz-4bEsJd(LQ$7BBaNK!3uBpm5j!oI&n%M9x zi%8vj0+!SOE3zA$OY~WB6R6--X)z<#ZnmkK3?^Kt`^#sm?%uK&nQxyqh@u5~n0 z5fcg`9kZb;yi^rt&UW>E&>&-AAnB72n!c{|e+O)p;Gv(pjfZa$5Kiz;wm^BQ&TCbm*4l3}ZZN}$c!d*U*Z zf0oCSm>POOgn||D!tj~0lZxc@%(q$+w8Y?K(d%Q93?Ixu!G+&8Pif6Iwx)Xx_o~tq zdkA)9w&gb;U2CR~>yg=zcD*u@3sjf7Tn`c}Z?d=VpxphL^ETAhqZP2BBpQ&%4yEC;WgPF-ob4f2FcO zTdb5I?yAX+(h@x+j~bE7Czj(w^mz3;Us!6V87!)3Kf%>TE5geY!0!U7r|qKfoRl7x zUm3tEk|gNYw!isxi~T0LSa}VZm_1>7{v`VQk;Dz&q4C!pUY?&|(55`*bxmITnUBn; z#8|eYRhdp<3J+zKS?Vf~I`x-sfA@TAGeUvfzB%Z0)X^Lcwx86pUnG=93U#Tk+DTvq z@29!%^o|Ucm=!SH37#+_;#?}ks-ChwxFhwsPmADtxtjVNIpzCH`Hn>fKe*CDzp_95 z48QV2dh_?F1Cacf#heRo;XW9*n`_&u$9{v73&Dl)L)rFB@G-8+6uy+(e+EZLSzy{O zQxQeitp#C@p)esUm59O;(tSJKAdpK2?{)OgQ#u`c*7pFPLf)zu?aABs?>#ACBX^YH zj?R;8j}C_kqB~7Sw05UWxu~w~*xXa@E66EUPS7G4pH1ORV8}@H|NJpQ(u@rQG0m&I z(;U|tJegU{X*yI%LfnyDfBX7YCeSlLb`Ls8duAYG1ajdDhOTTQl9ph7UlL6WN*Ij@ zEi3+e#A7kT=&>oakyO`C4Dc}UD=d2-#n(M>R<3&8Sl$?t#0x-%-izDC*Kz-(R=)Fb z8TU|v`pZp;-OD_(#OF-oxRA3STUQzJ#p8$;ahDHgR(g4cv&-1Cf5{Y+jK@{ftXX!S zk^P>1_cIX4(9}U+imULtzNpgDN2G_*Y|0)wd(!{1L@40=VTf7k{f%33%w;69HBNxL zBI0B=;Nmk_H_>b$)2)P3w02Z}T;uXw;PG~^5>CZX2=tMZGzXcfY47xI72Lf-N7)#X zljvX@7==z))KvY9e|$x<40WKqSH30#GgWjUr08;NntROPFt_^!Sl*XUTQ-uOU-sDT zX<%sTY|0+HxBISX95a?G46d<~X(`Z~rz$AAcAv09eQNx@@sDij!HjJ7f%#zsuvO4edQ#9`3$ zKM*V6s-?7F9U;TNF>BeeR`AWB?qn_}@1jS&*txi-4wmjB9v?5gAkK_cm9%#8y)hIu zO57y6mlc8$e_$T3r!hjB*0P1z)RjV4Fc_$%Liiga*+ckgYEU13H_fDzfK~4Atl91u6)=? zolUhs%b0%^<0kwSTU>iAv@zIvSY43-WG_EjT-W1of1Idh(E4Zu0MGjN{pd@9aAT@- z*1ka|suZP)@++^WRVgmakfu}fa|T}yoA%ro>Fo{?(ivi|PY=x#kuI&WDn-Bc6B ztePyU`7gaVmf|dp>#?Uav;)O>iO{Ss#Myju< zgQz`TBPiO$HQn%-`rD;xtjDXC-L=qn8HV@>QE36}UU9`*l|!AiOCmD67L(9lOD(de ze=9M=Ht<;Z0Qq^U3f7m9!-O+ELa`u8a$)qtVV^@993*|kYi+nVFY$|jd zfz5;s_W*ylgoqxzbp>Dgud>671J`Gqe;T+68_^=-``bC9)ZnALQV;0)P>hs^m-*cs^8O+f{Jfc-+e1nvCJ zfXZo|Nr(2AeY7DV3i*+v5Zu?1$#`oM1+MF}Wo3%C9L+>XML7w+;+h;I+0vGke<-qW zL-a1<_2)xjOxGUISnLeV&Gn*%)@T{w*R*?(0g_-fF@=?WXAy4)cT3>Y8y5(U?kWc7 z1Nm$hpYp~eT2xXWiS6?9(}KuGDi3L2KQn3A-4vZ9adMJfmJqHgGl18txSB{=ef-jZ zc<;v3->``7CjZG?l)EIbQwK9ze;09VT!_<3JK)02_?SFf%>`yPR8@9sZ*}-mHc4?G z6;A*$?NhdIHV*!1wb3Z7mlcRRUJEBUVjdt3Yn0og-N~_TzjMi3aSqVI`&e=AIhayJ z8WzkIgem@0%=>0ZL{NZ$4RRhY)z2!seZlID>FZ@#ZBCY?_rRDF*go{PfBUH88i97( z276z^vx-L78G;4q?(l86z6=@j+vh4G;50>Z$<`1AYG#u!XK29+N|Mm!;C;p1t5pT5yQ6hO##{Wdf&`zs$exUj(UXj@N@#EaSw<&T;KJTIp3%bB8?= zH4kS#Vf`3g*A3lnIvG8)e+6IrSgI);l7EBKRt?=luUE8SMrJ%X4xkZ9i-BAly#cqO zHG@xv${oXoOFMz@T0?J{NQ(=Hfe9ubzJ`E-N&5EK4q7ie#IMIO+BU%?btN<1tHK3^ zKy=QJ@(b;I=;Inz;`xdQoe5iFX&>i90+xQ-4KelqGfxb=3 zEvib6q#S1|2$$zuox1Nw@-2DF_AdSegUd-CKNz}dfwyzp;1<+ttb9?Mc;R~9;76g% zaLSFH-T-M6Y-R`yl&HljjaXCr(9SNFStFW6)bv2d@h1=ouK`@7hs2%sdKoRC^2uaN zITKZRrY=W`*}nU`e;ywu4meaqrL9}QU=G$QHKMZXK;b_ZI1qQhh%x%iI~!lsHT&g^ z#95hnLB0_fAd&Uc`$=k|=&3}e_rQh)=RRs(vk5u~(H^wJ1s#&^_)sW~UcRO$p9_(t zz`m`2u<3rNQ8+x=#-I3BJ>AuF7W!&5lnPL$xLHqxuFp*|e^d<`u4edn%2f<0_yg0g z(sh?s&-dn7!2)ewK!(`LwwCgyXF#sCZa@;?-%hCWMSQ{vne>Z+209*i6W`*Oqtf+f zmLvufxKz_fDPPk!u>%U4)#a20pM=!e=+3dBZ67_UiW?c1eSxRwEjEX#pNgxNzh=r& zwg*InL4e6Xe=vN!5&2Gv`h57-P~_lJ@=Cs4e0)gTEA88+dCIp>;@;8-pmE3yHj(Op^bV6$<R`+9~&%|^a1mB>%peymC&e_Ux_^XuwjUClx|fE_jX9HWW0 zeu~1(@UV&_ZrWx8$#cg4i`!Q|+NoK^n7k}%p}2NN*ndcM<6~4m?`eNpYS<-W%1|VX ze8E;1H6=QVS`Nq0eBE8u3JU@&^_y8}BF;YaeNcat`o3NOjnZdF&e)~Ld3dD2(NYt~ zbO&1)e?6IMvcO$dUi-jCtBs^7gGsP@IGsZ)DoaECOzpLZ%H~)d&Mgz&+)vK=klP~1 zL<0Lh1JaBX6;5QE=q4d2K^csM40@LqdA2}S2to%V$Nq^X)LQe{W;%TvW)b??9eE6D zwnD$oWy5^S$ziXF85dbA^C-I+tTD>^pX-lUf7rJdlOp8{noJtf+)yd2RNXAkeDzym zkRNd*?Si{Y-Kp16Gd>*kPI4lZbsAT0AIsJ5(`RFp-EVe&vhS1t4v=844qX#+5HkOGr0+4>(s}h83y7fXqKee#GTEBhRBFt3Y5||XX z>mP@;+9u@?Z{`oQt$dxrrcK;1d_r zadzA(V{ze2+BKBkh;*`XoCsc|RN+o^lM}``R^__s`lDoNp+Zk;3W~jK(LbKv;Kt$j zwYV~R>O*de-r*qAD{zBqV#@BzYscMd8i)=UlCyL})Mudxp!>lTmo~I#Sm#MSe;RCc z;{o(HAD7BE6_1OFy2!i$K1`5chN&;-$;eOPYN0IHRv{6YQTErQPRT5=a)zlgDMD`A zxLs>YU^?UOO~q6{UurgtH&fqgZnH*sr>Ww z_B))&AC-^70T}}+t=PH5e+@TYm&y9SiN4U*G8(|IbjiL5@kEQkMs4mB=~CBd<=A`D zOx1Z^eUORKOkKGC<_+}7`<9c-r74X`OTl2~l30lxGPFzMw+oji!FxN-iSCTFX~81j zDpRMP?*}`y=FMpt+-EQF;LZQKKy!Kf{)pRQ#fc66GQefAdA0^w(I2()Q1--T#Gi zuuO30gG*iY8kFIhACE_n{AA-4ImGl+#%R&4Y*CMUpEEQ)13$1&mx`=kO0Ok9ekts{ z7CBRg3K!6%!E`o^pb;lPw;Mt@!MarN)P965hr&3lnkY!f4}h&VsWPbYSTye(`h2IR zkWoefjGbO}e=5NyNojXbHQ&=7`lWN_?qHbug-mIt`)k99|LP40|4C1FLMmF>54%c! z)@ve$l;JXkSKtvbX5#q8jKAhG`9KXSO$#FV^-g8oG-y>E`ikjB1401~mL@k|hR{ve zhmzZx(jtX-gK&5t4a+Eca>i1`iM$1L1C~K}%$bFce@FHMJ8t^@Lllj%(3Ws0aHD|| zmS1hc%6Znqq7umwlvL)iJZ%{C4QCfhLj;Q^_@8gAS|j3t9`$Tk3zi zwHnP3l_>elx27NG703Vjw2R;KJI)7&Ud!2dCH%KRjnSZN#EmryHdRzX&Uh_awiz`w zwBEj%^18I(7ejv_z)5Px1#k|r{W6^Po34p83bdC#>%*N;hglezLtVe?H>m?#_~-Nmp^RSZkwt;#CUhdnU?# z{Vr&`L?YTAZF?c8lLde7kxpJK%qTr(R8_ZE;~vv{@S`hcwC0&+s}*O z@#{8^8aR(m|7p$M$!G~-&CK8aYAE_cJDGaDHQz>VNjK((*6$8&X78$*G)9u4ApeD& zc{CJ?7soBhm_gafk}*@Z5oWQB(O70MmP8?peHlx3W5l3_C<@ui*k!9MiIBDMC?RW> ztYsOp3n8hVci#J*^UisH{QkT5p6@;P-22D<@B4Y2OZ&+=Hdz}M*w0#>y28&{`9UB5 zO1hVU3J@prlB_j^D`IN(yf`HEGSzQ*Z3ua{u#S6=M)_uqS!gPJavMWu^`WaJE%~8* z4Y8o@aFAN($03zwvt^(PI^N!g_t=zX)y;FNensT#y^Ir#%Sw7X8jDHcsXH%OKF_>b zPvbTM(HaiIy%a46UF_9+0y~8j$7n4&u`$ z?pu!g!&2~^kS*ZG3YPD}(gdYLDq{9x?j@G?R$BesZ7RDCI@&QKWN#$V8oVq$ncAQA zhDxm^E+i&6*GfCo_1z1g<>Y&MoUn8ChZX2}A;iAxJK!Nreygz(%o60?*?}J-_rm;u$($)d+ICa^C)@dW)za$4xw(j2KM! zq=D7y8c=616sdNG)yrGtJ)$#Y(U|jKQDm6bPMS7Vh6mXAmhH~6YW$NIn_nIkwmU%; z?rFO5$tF@p6Y@s07X?!*=5b=v=xWBde!)<`CnX7u@T>5Nl@LG40we!w*;fhL-j=rt z>%L+eGiCzyiE12vE1D$dqdax6#;eM6JkSPF$uLZ3$J@=A*2EjPPj%6pg=H)|5@%KNTdqtFa8FMW?^kC zg5kf}_k44%+`K&~K^OlJGWB#SRp2b30gp9|)F<2$&k&N{8Qrsy>@;MV%AaD-Ju|U* zknJ4m6vb;bkDJH4wa6r~NmZX3|7hrbp0ZQ1dV4@QJO?h&0pF|^@!Ql^qL#-fSbExiahlA-EFc5R+-I;ZW2o&LpG?~}5$uaL<5?7i9 zvV>@y+QOx zCLE{bGr4tmu2(S{Oq2=z&ISvOq1l^uz||VZ-F$~q`L_P_E#TwS;uxgA6>}Bf3NwGJ zvlEfh7B}zJujPKnD5o_zX{CR?*0XTJs+L&^usQPDO{E4UvWK`u_%NXzRL^~kRQ8Mz zyy#_1x%u4mn@GeeS})u*4V2FQiF^M@`39NQR5f z2QM~Xu6_YtZDnH}N#8PX%?8xJsqZ@Jq00a;?>pp?BDy$DMy%g!69*Ne)FCM;skRf& zJtHq$^FwMY<4q9NCXNbUsjCu`i!T)v=gK-xDra?WI|k({y3=~JXgV3XQ_DVu!M?V~ zIO*Tlz|q}U)7=i`Ew7att-K0#lSSV6p;Lxj=+he^HE5IvyrYK?%VM;~KT*nF4vOZv zCa{&~OCNj66`a`AA@enFE9^2kuGNXTE?cw)V#@D$uBn4C{*nfLJxVB@svIDc1z_E^ zF}2{L(gX!g8u!d+25T!A=0ZM)i)q7kd>iK@JEJ=RbYOF3D!9^)1x)md0 zW->OU7H7J)C`r#^+v&n4o@ke%VY^Bgm)%_(*vO=wLQU8k;bU#E=$?+o;2PiQlY*n! zbiPlud&N2Cj1r>x;q*`2$+q6F(X{)&4z?2pI@8T*6*n#3d(2pVPMhv$ebOG0N4SES zF4~L&51WSJwYZZDoW4OHR$&YaMD=!Vg|Z8yHI(1jV$`hOuO~BYr$|oOhmULCycU=> z?BHZ)wx9n?GGSit=7U^Dde*xDDh%}fsu6=irP;p|NuPh#B*!r9WgJqKj6uY%3sm@N zGK@}(6}KQiEFn|RohNn^)ZgiTzog!|_z9Ei&vC{5!;QV)T-gJi^JFsaOB#J3!jq#v z0-h`QTg>mU^mE*NS_=jme7yx``f&M$4>H6sY7mUwUkaf6h%CtL;2nmSc>29a+uj@% zYTX-Kp(UwmlatndnPClShJ^4568Vr(^On}N(@;rvFWcu^^*aE4Y^A%fW5t3lcyfJ$ z?ToOspx5?>j5CYVEnqeK*!60&U?E|^%8aL$sZEp>_;g^tanF?VC@XJs>XO!V8}qcy1Elpfp zfpC2vl1nhe8UaBeZGmvpYauR25fE+xu|`6UKqE&r6JKA-5r5>U-{eT{?BnVSL1O;N zv?115G!BJBAha<^6jBMLbwnn?<8dmA2!s{^r=qQh*HMT3f6399zu6`bGz#)J=*Y*} z!C}9zy`>k>&Kbvf$f=nDioryrMfxvcPUeclq=%;o#SjIF?=_vu;(Eg%8S#~?pcq$n rC-7SdT|q&MDH0RY;V3}%zo!VGIFc#B