From 3a2a5af70cccfb866bca933c405080203f327b1c Mon Sep 17 00:00:00 2001 From: Jack Harley Date: Mon, 13 Mar 2023 22:58:22 +0000 Subject: [PATCH] Add PQC paper --- PostQuantumCryptoPaper/.gitignore | 3 + PostQuantumCryptoPaper/report.pdf | Bin 0 -> 122457 bytes PostQuantumCryptoPaper/report.tex | 149 ++++++++++++++++++++++++++++++ 3 files changed, 152 insertions(+) create mode 100644 PostQuantumCryptoPaper/.gitignore create mode 100644 PostQuantumCryptoPaper/report.pdf create mode 100644 PostQuantumCryptoPaper/report.tex diff --git a/PostQuantumCryptoPaper/.gitignore b/PostQuantumCryptoPaper/.gitignore new file mode 100644 index 0000000..8e9cb04 --- /dev/null +++ b/PostQuantumCryptoPaper/.gitignore @@ -0,0 +1,3 @@ +*.aux +*.log +*.synctex.gz diff --git a/PostQuantumCryptoPaper/report.pdf b/PostQuantumCryptoPaper/report.pdf new file mode 100644 index 0000000000000000000000000000000000000000..37723a1e8c744bea1a19ee9128e6d069d8d66562 GIT binary patch literal 122457 zcma&rQ+FkRwk6=$PAbmMj&0kvZQHhOJE_<`dARdw{em^d{3e;A zs5l)HJsTX^{PM^;91D;U=wNIO$IA=HAZuoC;c5wFVPjzd{=dL6h+EmZnmGd*#BGgS z%|y*i98AsN`1#>nT%FB~?BF~%{j_CV4o6Y@J~SB11Jz_`^C9-|(R}R2Hl?pO)A2Q^ zXN_PGq)deZV?axe`xOGV5z&-^2BH4b&E>nx?Z^hbUqo^0N>^A$DD{BnYDU;kVvu-@2{yLT0;4Iex&tKvGNsB^G1Hi`^ppM^l!agtV*qP-gIqR-z8MrrNmp7ueuQRu9q~5BFQw5X?vf}!mABxZww<#4 zc)zL~@d~x;$%W3+sUJW|P>}!;-(p*0T$@&*FwtQb%#fR@bqKM2bor*(gw_<3pxH4nN8&M3l3D65tAM2jA;bB{unc#A zPu4aPVx8z2?<;Tg4y){>bo4x}{kad^@{csBTa@4?PXGJRpKqe@3{c4ohPix@iq@qm##jOQ0%Bm=ji zS~@Dnyt8R!D+~Ss=8gHw1rRDf#mnbOD%h{1J0LMcCN;7SPIcwDkY#k=I$=O=C6Dd* zVvi7+BA3B>6^hKoN~@U&60Sq?LNl)aAU?9MUIF$=_|XNZkbezgCsNQchl)P|Gn)_6#q3 z;wV7Y3sp0%ke+VBnFwo~L|{u<9BqkXKGH)XKh_TQ`|5_9raVb&d_&?S0z-|>*bm4O zOF5}>bnma_AQ{2We9Tk!IeFK;k;xNoHXSkYNjmox?7pekg)vffL`am+sq!K!n2I0~ zWLWpwM`*+()${ZlIK2yVf2-$V=_)ONgKBac&nKG#PIjyBxR+2K**ilN%qaA|Ffd^U8i_rR*j=@pEMZB zCkpUjn3qXO5pCoSnEQG{jLd@sm%T_qYtR$4*8)CtrfH*CXB?z=>V``SAQE0Z{!#!J z;8SJjy=%*r6E;!7(PS5%o{Ls8Glja)L8lW3;RI_gE3EN~GcmrmjSlEsnKifRi{M3* z3bRkrTWS#x!*)t7=?v+U)MD;$!7&bxRB8CjbIlA1qn(nAe7Pyd?p5ozkR;zDRRov) zHU)Qy&rtQ2Uh^}d2!U9IfwZPD2ypu4 z#P^6ZG$<{;nq4tSQt!YR?RroInJev&n6+~ug>{Lkw%6yP95EM_Tv!RFVQ*aWi(1O&#*aXM_sFf#a{YPcGFIfaqA%` zo{Mc=sLP5g&>M3COt3J}8uItsA*(G=4HuakO?q(He!(qD+)BbK6Bp3ncg-Pqz(ba@ zvi`OH8D$XkA+05gqtYVXrXv7DVm3n7RuUp+?b

US3H&;1`IE!!Lb^i6ajO=USM4$VOF0drMWT(DQ ze=UIcXH3mNh`(PgkFsQEL?c!M{+yx2k^;%eu#?10ey~(i#Um||%NYeRe2?LJS_^Kh zM6M-l^v^J;kQyP(z0k!>DN_ij9EFFT4J!9cG9f`X z8!a+ZmQ^E@&*rHR8c#(4M_!<0Z$=&MpRB7;+9Z2}D1KU;;_zW(ZbECNBxhkU#%_h8 zyerj8+{yILF$qnw^pfKWay6qmSn{=MnS4RA5-%86+Jx6OCBP0h6;Pjts&7wVH&dlM zMMe3JHIQA8j~3Rm(D-Ft@N@L%2HmzzdAosW~^BHcT)VEGV5NSnCy-( zsSPQ5Hoh=^R51{fsZd-vRm4CodR>?0+e^-VXaa@gUztu1w0hiP;=y|s-fQ4K`(2tT zLZXQFN;>9qnz;5->Ao8~4x)~cw;V62@FcZ*VEX04h;;1QRK3zZI_&h!E-EZe0A@bA z(igjiZFVL{2#68v7`BHf%BJYVvhQo*f5^J4h=*wgRQ%aPzXC!RkI+W!Uemx#!F=iaNcafhJx znQA%dg<+%-PI=|;VUP&Tm^liuS7UJ)jmZe~@n3}*M?-2WMCOC2zYW+@Efasd-5^y> zTE;-p;MwEMKS0naKqd7n#mNNRXk7EosC&b<>zhbJgp3JKa~b!xrWC|XOuUJv{ZT-x z5Q&^^RTG-0O>WYqd9cP~P?%wJu6_lJ9}Z4vJkYyxTMsh|YNLVEa`~e>UKMT!#`*&8 znagn8*dvJFp`xE35Z$Ei=|QqjR)qOhcPW!AGJUZ2@1#H+V;F;@SK?Y)gF8RSku>^6 z)jXc056el~vNj7Umkpevt7=`;C4DKB1es6hwn3_A;fpa8$Nep*+^1$}h3*m7mOhg}Q8w$2x1aa_{Zf8T>(vwp! zM4#qI1FU8~Yk@EwP0OMHF!|8W0vm8;w;SHr5484(tS z6y5fy{q7Ta>eMvl-0(Tdt8p@6uv>1Qiw&}I#W4;4lRsM@?oeXhUIIkyIsXB_Fd|Zu z$@kgjRjh|Ep zb0-~I5ZmxmomZgZ3n*B*M>zjJsL>$TnF08B{+wLD-0skktKT?tYgK`~?h+G!pWnw4 zUQf*|#}Kci?-K9x|9fHbc6f`D<(qBi%zV#;`JiK;F9uF1JyB$HOH`VRiEB^oO*j3z z^ZD?q@i`_FQaYP+B``-&u0@SV#hq)g)MIquBv;OK$o1VwNjjH4hmU@?CSiRWfehN! zkw`=KFbuIYuK+#O%o&OAEt_5Ze})y>H=rq2rOP?J zy1FY7d(qex@O={al+8$jGqX4S|Gn-%*Z=K=Oicf?9J2l=|J!odt1Xjq$m!fSS6`8% zwolCt%P;!Ay0n#VbvrBT)8)>A456p&G|*+ZUPH@aUV z`9Vcbp!DJO3{+l@@d)MrtEPy^g7~L{pW}}WxzTCFg9zU4-*4%kFKE>^Xu5XINdQ?n z*0|&UOLMfBz^X4&(HQhnNpq|6)~>vD`YQa?s6}EqExo4(qDEu4 ztgN-Sh6vjP3-<7~-K`SKl`PgGwpLA#U_`_pr;vg9L$T8b zVpKlv$7er3?vC0-@oqi{==H8$im755bp=v?6h-LlSFVtF&^*^t*sE*9%bkFEDmAx+ zP2Ph?+0Jr&BifrELbbU zDe1jJ-GOq@7=%aLM+mU+)N(;)F%odC6bbL!t&Ow_mM@+Ao>0>vm0pRbV?C zkR}=lY|rAdB6vT?>~k6+jQM|Oo3v3Qy2^J~xAOn#RxqTwvlq*?kCne^BOs;OW`oAg zQK(yj5wxl6SFHdC8%dt*ApHj`y8AZ7g8N^7b<9Q7wGLHB=a_9olZU?ug)azi^>@;> zOZUjp6%zq&?TC8?@^E>O^RdV557*sM9y1t(Q?9X?g(JM2EVnUvl9d3Ss2Ma7(Vk{{ z-78}G8ahy9j_*TQZ^B3k0}yjEIq%#cxf0Z`DI`yZXJ2CsFXRjmII~qS|7xO@EFBAa z31*uio_}ZxWgwv}uDZ-o?iw$}%&#uvVt)UV$rgs{5Dnpe>teK@{LwJ6adlcrY6U zH>QbAz{?Ia4hbPdnqRKBUTL9>Zm}?yw_JHNG(Y-}Tm3!>`SmZ1KG4I@Itk+3n&mop zY&b$hP5^!AmTI+{p-tfaJ`b}LKqTrn5JcmHQ#b4w8T#!4jdl6fHm>3E5LGY#Y7Y}9 ziJ&A6y>X%?orTYT+tzgrVM9v=S6e>$Lom7L{V}BaBK^K~S^&xUw7qWEeL~MF&F8kn zsvZGqz$&jQn_a9{P`Kr80hz}GX%Z-(%fqf9aO7VE3tt82cD-Fb7qUIM(B&xY%@>61 z&D?J5^IZh}*p?$7=iIX^bJDl7LA1w$xwsCFNAv*Cj`#oI#WHixcHgK;alnqdui5 zZh(bsIG-TjLGNN4D5Sv;2UC}(9Jhu)ts2#$=T*(f#`CM96>Zd-s!dML{t1%;rr29L)C4qH z%YqwXpz>dVt| zY?@;Kng=loGI5R%XC@CUvaXmBnCYn%&mvSNuV#D@u;j(N*s+G(Zma4Dln(7=x@^gX z0>~|3Z02ZbBvHG9BfzFMxqJ5AeRQwLlFgKAN(@ADd{7=J+tY-ec*ZWWw!R=9JQy2> z4{u;K>x3XLZ{4K6M)vYO$(%ibg^HX@CD|!-reRdbVSVE{xXKL4mAgG`1TUEhjSgjJa#YEQU;E}F^6%WFeGYOZS&qlaQX-eu`Vk~tBPpK z&H`3d8zp+PRIIqG$WXp8peUdnWJ_a?cMqmOAIU2Xa`kV_dY;I6LCTTSG*I}4RI!w; zkPI&b(0``yWkeD9uv6sp7q-taaB5|zv0&Q0z|DoO%fJ{X4}Uh4^_jM8MR`t`EAVl3 z+{-5BttUR=lppp&n^0^`hr4a-KCT2wLDIcaG?SZh0oW5a&qH{0Z<+N+iXncR(@Kz( zJ7gSva~n46M0~u7+4Vc#!PN8Q+O!G3+6N-F5i@WQhZV*8Pd}H`U|-(RyFx~he{O(B<#IHREekmq%#`g zv$Pd#+AB|xkUK6=d2{|oN&1Om9;>NszARLA7VfdB-Wm!Dw1Cz^=Zr+3P)-n&xt;Py zmt)S3AWT(Jv&A<|v#Q3>2g&tP9t}REr5NCH7vsAOEVUIqXlq4Y71S5?Bnpuza~jKc z#XRjYd0a8*e?I!s5)#dONQ+9zWkE2N7dJyxepkd-t7yrF%nJ3x!>yS!iasD0rvpm1 zV(@=;PkSbZ>2v$qD%~9UNZ}f1T%7^v*i|d#Ey)3DTHK}a8MndjD1%nsfb$X;gB=>D%qcEAi1mb*zt&_B| z8ZrmXN8kw`7~PV35?W@2U=>8#HWJ(fx!NFc1qLdG|5GhE*LLHl&m5oZ=Ir8tAXny< zmC-XU--m2QQC%TRUBK`;nDyrp-)xdgx`633ZNJ?)Rjoxn=I0dOOz2R7R6>g^n_ja+ zHykX_EFPNEnb|Gm649{Nuf-JuD4^`@o?FRCO{s7M-g*6{e6P=^JbV4>s!#{3v_LkXsCRU#ibn{Nl^x{#qkXMGvCK)Hd#p)zUIDZYu5;I)qyV##ht#<}# zn?^+%m6Ai_0h3$niox5qRA{H_nK(Xfm~*|YX>gk3)`Qnw%XJ%^I#!{c?f#}_4l&uO zM#b+P*@oa7)w94b_U_qa%O`jY&bv%+K|?JkqKc1t_dbpaj)q4DnxH>zMTLii-@e5L z_joUOtWW^(U)1Ibf!sp>S4(dT7WR(C9u)7?1}iGy9G+biPr?-}?(C` z*?!hp!?Gw{IvjErnoLq+$83#LTb^)oCJspr@{TX3fX&~9# z^(Z@X8F#R3LmEaI2R=>>UxEjmyqMU1Ma7x0Z3n9?7ldnB^L90O;8+}K&trBkYBGIl zJc$XGB}dNTBTsNF4L#X}Nd) znh5AezgSEU9DX)> zk?pN9+@=j$fPfMTe4dXLE*LG?>QzR?p;DjQK{2{JtR{2OHu@5X#YlV!d$kNgKO{|j zBHZpw<{;@`)Q;hXtr|fDn0%+gefRM&kaOgt%i9)DneDZ-WSz?V^b(G{}w}&^L z-?jwY59d*r;#T2Ks*;nx!9(^=DoTKgLq#X?JzCPRA|ul2_@&7bXOr>P2eQiTE=ABw z`QyO#S3;ZBIASvAWJQGeun5ZzUNsx0jGU^u#^uY;tF7#w47lN^avWR)WDLFgG@HZ>m!Y;ttKFR@3 ztq*fqXG)Q?;$-fK-$NnriKSm}+Lyk5AH{$)f8N#ir&1%LFqe*)@n>-FZG{GcqoJL1 zHzubiv4&q*3*$1a5ASf9PibNlX;mhkSlGbyb24VyoaMB$6RFk)ut>u}?w@JZna?l) zi$Nmi-EvOO#VkFMmoc8g-S-JyO7SdD>W31A51QMp@$l+Qob9~Qv3j9LDpo1UIG2%h z@S|Q`TdKI#+ML*vh5fJUQ7HHOAxsP=_TTU*T$X?okkt8StW?)#iU&;!h;)jT-xEPwPeGyHrAL}O=Xqf$ z27na`A|-_B>v@8h$#7#VucnIH0eBtexV0)uuP3Zq9OWhWAGy&%;SmQa>TGzC4gl?kZ z6##0#5Hojq!s+UIC3IN8cqSzB@HB?HQdhI9S9dWs5Y73rx8r1O-EzgwI`=AJq|9o? zHk$!N1(Ww0o}TtNi$#b3;LYXTb?yC!f7WK}g((+xbhoi8If4wAxmSky+G zgq`c;@r%rF;8@+fAFa+LAA|eS#lNR_|1qV|PNsAc#b+fO%i}NB#7lD>*sB{d?L!JY zM~W)vr{xvwXIm0j{Gm9&5pZzpsq_`c5*-sSPlW+MNHv0Qo_Qq8h0a&xYOz5Q9G?$) z5EAx%7;NYBU;Y=XVf!yu!@{2xX94Zg9slU;W=m+lq_(m$v@e=Stee;E z?$S~&_-???1Nu^%O87J+;$}0rvTI-LYF1j_>$>PxOzoV2erkMYI z^{=~YNn5}bw9kc=2N8<3l9YOHX;=-&Wv@H?q6VT!Yg#AIIhSg$yIp(RT4(rb%+!`! z@-ceVJc{aqsZ|#o#J@wkpjs6^ojm$4;Cxr7+~4CTkr`4(&GYK_v84$l0)p>H3%LW& zr+Y;Qidbmm%l35qxZv0?8I%FFOJ=&O*XLq;9M1PcN%V==F)NZs>t@;X#W0oRP{ zY}8i3T5gezp>a%#awnBMTy`nyqSHf+lS-P&6DW0Jgur3p71 z?ua#fDp;4&fTJY?a)eNzAh~n{CO3`MvwLFOB?mV&YHmD+@fMQZ+J|KGs93TnbA9R6 z+{&u3EgD-uh{BdUx2E%F@8HdCD!xcrW3Lh_E>P zdV)M;%=9zIZ%!SYi@E$p;~nTLQAka=FH<ZIlit1Cv%sP$$VbQyJK z*r`>6^}sH@%Mp6%zr z*#Z|JgwWq@D^{3J+zhLI?N0pqy4Cgq_cNkPUM|t^*U+LIkxnFM9$>S$vNI_X4?1() z(#X6CV{ushZYs8u8O5}~WFmVz14D&MD%H#|m@)cl1yZl1#4j?lz@S5!U9sVF$@HtO+Bq!s7!VDdj`7Y0Vrz@ruEhZ5*iwoW)_JJ7w9bp(zwFMj6A{iblT@y&*hMiYK zB}C7!c9%N~iO9nuPyJGJBEiB&=#CM}VlCgd66dbQ?Cn6rA#mZSw!5&ch2v-hi49bC z&Tj<+hOhsmm`ead9+WY_h(hipS9yi%p-dz6LQSfyn>|JjT9O{f7gdN z(}u0QI4lko5BLLmpzO*k_{t_6b}gU^u*TP7+=YpJYH!Mg(#XO5y730-@+PXgze7zI z^5H^jTCC`3idv$KczdAqbG^k9k9XZW0(m^BkPQvASFUK+>uuyAL}PzmpM*3wK3zDy zb)^+z!sDkJMMoGwcx4fPjt4B4l@Fx-j9Nm1szTB4Kv+Klaxu0uZ@`%oAstleoqz@esr+9YG%^>mLVm_c{`BL z_O;bkyvYRdb6dpS)q6U7-#}uUV14+zK;?H<;2O)RTdFK5Q!3puS;|L(z`6kt52H)P zCe=Y+39rR@uUMS$l&Zbek}8_~Ak=@KwZ}6T?t;KitEru_Q>~*9VGT`rjJ>uXkL3Lo z49v8x`v593VSrMQvVyrt{L9t9mPSh@Pjl7~SQcRrb|G()O`gJXs9i6ag_1wR+)N49 z43Pa7tcXffglYNPoj2x}MN=8ETEVZRl)>!yotm9D(1RRa%11_R>}%4~W=Z~Us#s?~ zsskGE{=#-3z5yuAmF)_lWi#fq2^{&Q;y<->K9BZc(TfAHy>dpxfY+%PRZ)Eg;dF@m zj&XR(N}Sq}XUdh_wQ$o|A5rfY)%%E;n0G3KIOgyPHPYYATg;UMDbaMjr){@3MAN#W zq?6K63hEqx_yIL9b{!{o<2cX@mb%5RehezGt*Bj4KP19Y((mGPan*~o1Cs~76ByhKKJ!X)cVetiwh$SBN=PgXI z$0pA)dCNnYewx8N$s>_)LlLMnHk+PZBF^V1q6q(IzIyaE637ZPMfn<>DXRkzu1N$% ziP!z(85>8-fk>WL6c#sr%khgzgebVra9Tk$8cHZpNEaYcdo)O}z3Y%($x>BB*5FL3 zvg!c30#@Fs>P&TK6~8;HJ02oukBT*JuyrA=bTz047%+L2B;TiohyK<`_44byTR|k# zm7pSL#gHHqHupW=c%5Smz2MA+s^pdx3(jIZ;W8JsY5odX2P~3(k45D|t<4(1IK~1NV#a+)v;3`=gW2KS2O7G%< zP9-lEnXjwJOP>B+I@B|)>4}13g=lv}J1YC}) z=f$kfR8U~2JrVaTw&xuZ)04RA7P1@t4$Z+T+PH=kr`fdToo7UXNur{D7Gers+;A3~7MO$V#nLUC4{8cJ~_vn3kv_oBYJ@NI)BW&{6{kYl&a$EEJvl!jUCZU_p#aDmcD!xcMANLvXgBgS(x%Pc2ZR!#ADwp43n>3 z7fG=2FH_O?z1C&MI#}C>CvQp{o0qx+Z09bvH7%SJ#ow0pw6jyID`;6N_wOa%Bxv-1 zg^Ff_X}F+oU6N(1bR9VG3dP|01+&Yi?B8;CwhF zVHZ+mT|=lPI`ZD*COcCeSFcM?89NkVDYX*hn6QFjNIN|85ZnJRN@xLZ8YB29o@N8+~B%0+bMH-3rX>#l95$Qn9stb zL%y$Q#8%1TH`Zg@od!Mq9W@PV7CpgF(l2o?t>b+$oYsu<-T)Hr!b9a%*KuzI^{Vme zoIagOb%{qydRx3;u@9uQ=-Q!X+LYLUFXe2@&~HLhf_?OY6-b&O05|V*7wkUcI2$c3 zlka*bhL;on;q6F*U54I5G_~?iirp0=tqVwr_^qnq^?ZZ;uJYT;Q%%9{wOCXS%3V0Z;jFFzlH=_$ui3)9+WY9-7@ zo-sUQZQBcvzP?;}mswNaBBZ7LgF$v>`;Y*I<|;Db7vdgujW!)b+spe36?biUNGJMk zSg07etg5_LG7K0<>wHPud{Nx4IysdN_t#)UR`1p)xG?gm$bJq%&Z$Sj+TtC^QA91s z72}vMuPNNA6IV}l^A1-64=gz~;Fftmsxxj;rigH?Ahn(XBSgG+$r~_@SC>c%v5ba` z!aZbgLL~vCb*Y;l;nI+-Sxm^%A4}jpb@`<9%wnQ95_d31eeYC{;YI}WOFaz{ryP16 z5~6@$T13c7CiQu95~i(3EhNWr_A8T-3mANc@jKG0xR-ImiYOdP!J2D2Dj>)4z zBWfy2w-aB`a-+&^X!=VcXg&-gbBoXJu(Yr}3loe%cb`)Sz#V+@FaDKngKNE`TD)*y z3@cG17_3koK`a#S=AOb5K^S+YNP=VQF2tB$Veymqf2U9au3Zt z#0}0;K;@smf@IF1+X!=v>k6Z!==8Gcl=O-ux`})-sFn=830a|1O471sfAR6o7mZ3u z$#U6P1*SS3i=0S#WXzzJLCYEGLnyRl5vfR?XdZQI1g3rk(Dg-k+jKbn0)0Y*H`6Fm2h$UxDT!2>$g~QKUzNRmoj??ikkgD-y{~WWrNMHawuSBnd|;}{IHVeD;z!z8sV}$ z1_Xl*pZ$jWsKj2Rs?{x5#>ScpJ4!!&_eA};uzDp&Y@(`{zRwV2Q833HmI}fspq=I4 zrzk@n{AbR7VGw^dQWtc3^w>?lNj2@eHm5hSNvfqNx{>^&nIkutTaoc3T*YPGn^LAP zN_mq>N-M6GC|E;T*tEcuZdSVN|>~8gm`6V|4TU`eCuM>ydj0m@1GF zZrY=6-RN{PRZ`%k&3cHM5-QB*0p-U;MEmIkHmZ>5o0WzjhBGEnaE6Zlz|vv&LAN;> z%gH9;N~5J*-#1z*)SQ9uEPyXxCQ`Xopu_k$+GNr0r}N#s^PGQH*l;S8OKj?kbz2>d z=W$ySoCVbX5JXyJ3*l#@3fv#Ci6+2Z^N6+2Lvdf665^BqI)Hd;WK3by<>{(L;unWg zfujck#6bf)=YosNDLj?_4wuL~Kfl)FMOI@@SujE4jQM*7hbO0!+Q~Tu7wbh)A2z10 z!o3}PT~W>GgJ9Va@YoQtPbokK81hUx3v^~O;mOAAKRG75>Yw$~FKBhPDcI*yRPVDp z6rrf!vB>U6Bdy|+<+N0Hdc41$FV`GOiQ*;a7S`#cBE0H7hG9+UA!6gn_!l^y6E|pN z6B}%t6#hxzk5R-eTKE#CH3`&d0Nm2x?ZGbt0v-zhGMrie=2IYU1~b@^ADiik`;k`I$b_7(cAbSbUV$KJXiYtOS?ufBD!gBN$AcIUY^% zb!{aLx?m~ zr)-`fh4HRk<=H688P_z1X%*X0mKN}ABDv99OllhbbYNi5O5(Dp;c(OcPQeoV{7c~B6z4{|PM=?a_!bpxXTZ8x5+M|%_s`sjdqOwq zB=3;ejhZ>LVXTTkW;0|r;Xp3bQk)%Myj%TlYg^SRX72@RPhEkjb+?&hmSHr}5b!l& zOb?%Y$1rCTAMYd7+A3mVnLtCi{%Y%zcV!#L?!?>fVo{d$3P#>cXGv|-yB(E#){C8W zW8wjBaWIG8T$|G9I-?a$hFt#GO0%mVybsbWqKHuZ%UIvPR>I4TaL}~7k{xj--aV|$ zZq(|mKBEgFA{@TgsjXODfpV;~Cy<#y8YgFBy7~gHr;qk@pGl67@QEYO<|!TWoMA~H zFWX5MqNT`1C5V?=hCMjyQCFjkrWFbnSBY!lRdhVHqb9<}g!@vv?O&XU!`alXR_=9) zn+-L-8UA_2a4%9@QwqUmmx-LAy3Hu6YJm63hk|}$DV=SNO)qCXE0Pp&%ij}pW-N8F ze!6ELv!zB77y2=WuDsR7D%;r}Xu_`<0Z))-(xTAQWhMf@t(XkOBFpwOI^Pqh(!Q2o z(v_pQvQ4YG)v-=5js3NPBtE>;*js}~74_lC=BsXn?PIbXB&*J4*2PM&nXswpK^nNC z`ydYg1Nj+*B(8qdo&FZ?#w(A>WZI;@>WZ32bTKy;DXUJBEu@ylLe6l)1m_yJr}{)$ z#dz8N#hdhdYoT|uDT|2RD#=G~?spPqR%E#2Maq*<-w;F=?T1mJ%E~Qsm4>_MQoRsv zkIzSX^nB~)pLoCKX?7%KJrjJ>l7^C61$YhDOGvh@dyq4;s;ZM-R#IC;P0|Awjs4Hc zc1`>Y-W7B!|KwBaT<7G_BK|dkEfn*|2n9<`1XT zrJRgUYJ)+4y4d~r;wF_U4{zEM>EFTj|1+hw~yI=@GuYGB+0fy?(Qv zdS3%Zj)So--i0cxa`8Od0nA#6@4r_K>Y+-e_hDN+DafgPTJ=ivM(i*f^I4eWZKY+o zipun(E4-=lpel$9gqVRT`FQ;GmJCxTO-zFS*9XIr@Eb4?shfq zb+tiESL9&wO^dEhO%r+JHd|IV(oEQLe7%KO*R^)?mh@7Z$t!^mx{_`9zdcp7+0_UT z4K3MGCvQBVdyah+P4>ozQ8q&{kv8Kz*=WoWv#1e_W+R_DRA@8|>LTaMZy@D> zl7zxC@r$wg;$P&HwNo9foe#^o*Va=epdNu|&xh_qpZEs^^i*u}U@t|Y$lqSt_ zD+!lQo$XOz(W{5N8 zr~}L)P|W6KlRQr9L~QQr_&k&nG3NPCe19{(2iMzN%PmCl%(J9vBE@5h!7(O5G@?D; z27$L@vkHD&!`@}h1STH+*e>|?&q+02H6xVLxF5%0pN1A$Ma>SzVBw*0MS#(czdYg?YiV~GuCF0gFVk-yqV zcQiT<4|nXxnZVOgOXSAQ5riXG)Y_C}t9-Z6gG(eIrC=WgW?&!(tY%{|CTv=gmlLUF zaIClG>kzggUr4u~=ZYe-r@8qMjFYY$A21$g4nJAnBoR17G`;S32UL4f1z8Q#k!8`P zeF!XBduJ)s@QGB8kVd{ z#_VZhm_KF-t!Oiue?@eHQW0m3B(nrSy%R~PDF3==_Yf4CPcIaWfxDwt`QrWSccc4I z&8T4*y%3A$)mR4jRUBJu1U`5qexhHFM%*t+{Mk}LqZ1t0Wj<2%THaSq*k2g@NGzy8 zZ0gZ#DkE>XIl%hn4V%==w!1G%52CX{0~ysUYsbq`>m^)9(IR}J>~I6KoWiL(c{6YV z(ea!J!Z&44(m2hjQk>iu8MK-S6uKa5McpQWwN8Fy41F^g_5SyVN7tK_hZ4K<-}`o9 zu2m-Lo}YUYA7p#T$wkIl8aUO=!s(6#>|UiD`6zw}_xXci>kFJ+2k87Ll7W1*xDOyO zIDmw!#WFz@s`)1~A$iJBdudkIx=E1tAHR+sFRt8*L3tj}?ljJ!tK+xzK`EJB;lHP~+c@-YJPpRc$_NZ`XqOYO=l5h*iEC3qW}Hlv6ovxc|Z_ z_<%I5fDAHDa=%0W!OxIk|Leu1?}d~O)pO3KM(x!rT}Bks%wHTKt`#Z4>1@F&x#(kj zedi$~5pWS1WX_Br7lyl$NSkqcvae}{`a^+PF{mSCqpW5GZ5 zht;3-Ff=F4*53z9`7Hk!2Q^E<=#~9fUii)!n^NMuuRvneGCC{~F4>2~F$Apq8O{bBJ*F2Mh-snZbR<9_H76ogIgWqif-Px94V z^vOJM_A)ApNNB&5<=2jK)N~o+)8sp45Ow=tmW21h*l-0NgAl|baM0uQHx;9KMyMe3 zrp?|Yf+blM?5ZE!5+-;=AkQ)N)y3-yMEoscPRkV#Yeba-S?ptE&^%jf=8SR6hr^$$>X z0@meD^ji5a30$8JHSVEM=E+2vZ9UO z?4t8G@u5JRG%3DV-6{JI`z}ZE)cFS*zl5e?c<`2i{n!daovcmSG@s@HCOlZ;nRym) zynSr_I*?%{`{#(urfpf-Kys^e-_=vMKD8bf3Zr0jGP*}|%WZr9v<(IZ-VUt<&w9+} z(XQx`(RWMULJcP#^LI4!O~fw_v_y<4TT1W0H^#xPtQpnnPGPe?x5Xd(O*0gG>VG?T z5+VxTy3VlVVN1`o#jeYP8jcph(7#{4t^X*Vw)NKSWtT{hjVdfLWE#X>8l$4qAIJCS zN*vKNX*$_AK^fpHJmkR0<(Q8H7zy7(>Bb5-XMV%bdmWU62sMWOAI9DxNEjyA+HBjl zZQHhO+qP}nwr$(CyWh6W|J&S&iMg}*cUAkUh&(4xK52)9UH^4kd_#+=KO(aeV{Fhz z`B5cCr?f_Z6Cb?uhR5;b!RxFT=*=5%|3Jp>#+#AbHM3ro+MzQ2fdHJwN=GERHkwPv zv|n%#QCOKC&89P6TgiCg;N3d_iLKKGEt9aems@>RrP&375m6i>&8sqXkz!yRF&%2q z2sos_rzkQ#oBu2u9Pz6H6XXHQTs%K#FiEglQx9s?T|t57np(r(xPI9A2(`xmO_rN~ zVQ{quUp<&pR^O>Ex|PG4m>`pT@eG+BNy!~YLG&|ncv`5Bf=S>}*N(0I{IeI@N8HJ# z*zy&9U`DW`&zA6&3w<*dnQuz%;D7x7FeJYwopQ%M@J)_+&@lL*4|oj%%ES+g1iA|S zd*lIy=G-q3Yk}Vf#N4Az>Llk4SR4h=SVtUTI7RuAhGfTHD6oJxsJX{WDiQ5yIVIgId8zt- z6yKTG0-ShyH{oBJuisf_ea1vu+=P|LvO|pieskELx7b$Voq!O7QJeN7ptg3-P0=?l z7(E7XTVCt~Ns8uP&C9334}@nPb6lq$AkB7{MaZ1=hKi;{|By5mVbA%vSZSK0l&phV z_o%0PhzlMvbnFzVp3I0G`Afuo9C&cPxkEJTT@~{I+uA)4Z@ppqwXXfxr0ab@WedV z0r1r_&0oQx^$v#JaRz$LYvWl7Jmz zTL73tM2jn>ou+*y4V;YdHg9khfNmXtE}aCRD?c}C=fb*8JLru^BejgvPs;&-3`c~Q8N8+)2CM_)Xu_^^yi1W@|q~T zm;vRX`Hk`N`mXW%Rj|Wn?`0?z7c_S-BR zUKCTi=76?rEDOrTc$C=#@H|%qy(_iJqO0^eR!l%2edrdJ++=vCepm~$Lj2I}rS4yY z3$Ao4&qAw8YBa^VG<{1SdgiSOb#-TN&a&rEMqm9xmzeqGLdvHMi8J+aa2aK^%!{b5 z>*Iyn1?QSVN-sT#ZmpPg+}5V_dez z?gESJHuRfq?xoJBNgcD*z$mz&OxoIojYVg= z2KNT^1_RF-OVw3q>oK%{!W?mB;%#oY&1)BPbMDSo4Vr<6pbZVr>*Nre7Dwi#3;7I~ z`p^}U{;P=2xz-9O+nvCKqd*;V>eXgwdsbOtXwOE@Y;-aC8Z4pZ2Na z=@bhmzWZI2uws>3A0aw+9t|E&J{O5`RWpp;hLpSwkczVV&*gT3MI$grBP0=#s^_ji zsX0*+cRnWxIQq__AEgyhmT@w=TvH8hlh7ejk422M18#H3vqiQrw_MrBR0Njm#PPp5 zPTYZLAEsep<^h#MYXg_z6K+jGE7M#g{nMi!Rj}w6qIh5$l5Mr>`k|tqmgm`>%J^a0 zx_S0>30v8)k_K?DOe$N$Jn81+XnLtOUj`3VD@{}a;yBd!p;PW0&ED1BfCLnd#0{2K z@vuvSzMcZw=N@pw*fwcn{MRhkseJi5iQeLOuJWs1NN+Nc5V$*h+iG|yZa`WnhVpTm zNMmu!9u3bp+^;;D7x2tfW8DY(3yP96pkPjPGB=!2I;Fz&Exn^fK9Wfqbr;(8=c^@) zg}aY8WarzAzN7u)MEB($aZb0?vbN*J2O@4cqf9?w{1@JlNIfKwa2unEUQ^#)v|OZQ zQ0+$~M9)Rj+S}QGrn8x)r1IPufwH-^W=Ls^)l~S{BFy}cBt=8-m%@s>#79FEoUkuu zB7f6NFty2!Lhh!she)r%^Ctcbx4oIZ?9Uz7=HDETMooW5e*4?!Bx|JJ@SXG50e_ImlY8@Gi)?6u3gkA7*La zd?_a2R@x~FyyH8yWIu+IE-M(xh@XOpT+=Svk}PD^ZOIIWY%ofhk8WhIQw+#n^qeWb zQ--SN+mU>*lS7@{Sq!liS%(?f8+p+i=-YDVQzQPJ{>R4apW?dv=~*;1amdroJ0X)O zmB=_iyj@q;DVXO?qQM;-?J;KzE-d5gXUMC5sTEgYZc<}G2iPKJhMkQI&3@Z9b^?k$ z*C9`vPd;Nu22y?`Y6j6R`){&uUcG)E9vWhWruG+e*WP+!5 z32!jyE-bhLBpduUN+KGn6kC}Srsmek>T&TFDp#1RdFq^)z%|5@wd__L*H^ejCYJ(> zm9`)Pd`RyS4&Lr`*V9qNxg@-o$z(*BMKJ%ApL)`qSD9yEJKP?R97Ki!UDuOsRPWSA zG;`Z~X|KyKOECm4I<8nY9V**$Wz+bo^>&86tlKzN zv#$xY(SCk1*>+35(_2t9aCuf!4HZKa()KWy{t7!nFr5jyg1WR%gM_(=7FuuJD^6h* zmJDxHU@uRFa&$=e7h6|TYf?TxNtRyzb09?ZNfr38QV#?>q>+21qP zOC+%>Y$(+GHg;8s^Tj@l_SCn~A96P?Jiyo}qD@n%t7_)m7S}RY`DPbq?vYfGhfKZ- zr2VUCHuPPTkcf6=<(^>fw+F#Gg#jbRpeb47{Is{w!+rb@U^d8IR=}=}2p~(SCendn z0nqZ-b;#Vu%bA_4tE*^>^>hOF4m%VW&|o!xT3s|zi^`jM@^1Rr`2~rDl8Io+JtNgwX>HSR;uo6rXN(P_j=10vSs*UB<@Gpyhq=kMb&rgvTF1w~ z(cB(No3s!uNT;f1}o@JGNpjI zs3pORwpwk>6V2MHyjf&Us1}Bj%nFSGX2kQFIZx09ALf}8V7bI48)lLa;P8);yg!Pj1UoPjlA% zx_~pCeA^c}rw34uyq9QXEb8Fzo~z3m22mc2#})ArP|LYii$Kdd_$Zo$0=BC&8IN_a z=K1SG`A4r6N&SypmZrMM!_u@1-!5);6{LZ7<^8nV?RfS2(5##uIx_2WP#t!N%GewR z*Xv9JK*f`HdJPLBnv?;i^$&=)EtJw)lrPFhTZ8EPUW`%~y1WfYW=-q&sA9(vMI1tn zw|OsayR+AyB!azuI`MY?C>wf`8H1aVxjz8h3y7I5oWFn)I9=C|R*sxNxSF>|B-CxY zYkHh*NEzCf&1e~_vdJZoS(4?}nJ2di74x&r>nq>{mUs4V!^_P${M zY_Vg&elBKb0<$b*QI_QNoV+W#?P=?WG($wpg21#wY@Sh35+2Wk@r2}l2#<(^H-%p= zAmb{bL19N8bK}2p+Cec%%w<;3=T>a~PO^2zHy7(@_de#E@arZTmonLP*<+JujsNsD z&@*He!12-KzJ7`WXna74LNx5`P5456 zscxm5;>$QC=;^+%^gY5=Z`V%G=j#+HFBh~sVi=^UrT^h_V-Ja*Nw~WI&kcxLh5L*`ox_iB!|I64n|9f!^nTY+DWyd{n)oQYd57HRE*dEt?NepC=D}s(P zPqY2r@8^M5z}f#^|dfBaswoO~i0c;;p4dg^ym7?MsclMbV#`AhfSxh}S5>aO8Qk=d5r ztSd1w?&EE;{C7$!k3p9)t#{!E)q_O&EVrS5Ls#;J2=GXj2D$zhs(?;D4P<+x#DL*K zlK*HccX$N-T0=!mrEDggKUxm&8@PVLlSiEL9v*nxfcbraV8#m$MZxR^o6UHY5Pyku z@Oy3BL$op}^Uv*r0sl*$lIl^~BTKP zwO-5etnbd_uKUuwYhbXraFW~}s4akUKu1B(z$O7oP*qn43kD!Spl62|5gr&S0vF~K z{39hdU<~LYG;}~u^w*f^5+tnP&cp$6HLrkk2dv<62MX{6Gyp_wD1d+fIRFd{`7?!Z zM+Te_+%aSWaJ377+5wFsF-Qz0?%6SLd#&hp{(XTkXf^{62n_|z|8)eH;1=FBSVKS$ z-~us)ckSa|#5w|52-O}gps4?Y8YDA|7a|l15P*k=w~Js-!oD>lAN)l*02JN?b}5jk z$mU)FyYDs$02{&lbhq3Ap#k9a#(1O;rQ1O}1#}Dsx&@JAu&#i9oICA|hFyVmaOVuZVMjW9?iM?^ zV{o@kb8k!x<>nUFRgehU|Ck)yDOhv&eFOUC)e%SU2#=ocPoSL{9eZ`hWSd76@I}wK za;|9F*=KVn3i_M4E}#J5myk$MkH80T1r^|}y$S4xUw9G{_@fx?A9ZJa{~$Pk2)NP3 zRN&8`eZCDJ0Ecu82U4(`FZAR4Q~72m0tg0VW3WaUfU*L2CVZEF=4M=ZrT1a?XU`xX z0C5rLX8?Hqdb%TT<__B&(9P-jHU2dp5%Bdic6Ftl>zDp*R}ureg}gsJIt6rixDN&} zK*&cBxW65|>p!*-H1PlT0IzR~uFY}a-mw3%$9k#H+5IOA)Yi`)f_uL|$a3Jm5(>2O zJM5y2z(4VM3;q2!^Ttp2=g;zod-^x^{5LCc*qOYH&%3P;_J_|qf_ZlG(msmonqPdo zCV=bL4ny~6Z3XdT?Y>&b*6?rcuUb`1@ODjbYxFj5NymWC4q;#42}23+46=1GsIcbd zuV_}^>1QAMABc0H)nH=7zWPiqI>a-7S2u05TTi!Gg8R<5G^pTSEzadUfxq$juF{V? z-Xqwhm{7s3x- zD*zuL<(Kv|7$g)xAl9GQP!Is&5#Ob}`I8+e*aJXd+kc>&qrqPQ5Mbeu|2|GjAl-j} zTYrR~fF9ud6Mw?_-_@`A^dDh2^uY%_1Q;e&4ZZ|L8Sv_b{> zN|u2alpQVBr2_JnlNzb)&0s4VQCM%fpV`PTtCB@r_+=t~yT*TB+FX{RZ#ly*tQv#6 z#d?Ax@3iK-*Lky+wEn+Q_aV{x21{}KR0db?Aim5KXQ^Qh(Vd9bEe6#vxsr`qaM@_K zuo7VXrLj8k^w5nrN!j&w5_q*oBv8TB2DI3=xT+)?RwyjPVElbo1zEKpFY9md6nUq9 z?(y)Nku0%N%N`>YRBLW>iRTIu%}ea_eBzt39}MJ@BfOrrd7L<+RP>wj#N**wmW=6s z|5WYkzNe^}ajA#El{i`X3nK4J&DgQPpUc5GOki!N@Pb~`CR>{K@Hb9cN~1U(vR&GG z1Kuq&Hu506=0bU*3lz(RR6ylR9g07>s|qBPrE1hZLO0Ha~*199V3aOUi7PTAAM9lzK!5uepStL z6>+IAuMT>A54F!aY|2;8Vdx*J-t8Pue>$I1pG0VMKn3%j-Me_WSmKkrIHMYT-AlNh zGU{Q82El4YiRxaCC?bqI(Ds7Iqz?3uQN0@veS3o*pbG>7E1t&v%U%>#410Fu3+em9 z5rm9C&#&ns&RJ#!Q2EU)7Ux>w?S55}!9DxsvCR2Jo~be!E}Ss0KDH{no~p`G8+-9r zgEZUFMFvhczX`P??;B_rrNw1C7_X65my`K#T2dpy_Z^}8b|yDC4_k`-d^1S>^7cz+ zg8tU7(Cr=_^uopp9UhC=JQ3Rd1``s0$xz0veB8~>kWLMt{$&9xK9hJ^IulLi!_EsQ zh}92;K0=a58gq9Z`1WjHrtywbKWX`{s|MlbsDy5$Z;o4oYPPbPRCfe@X|}J9qiTTH z_`ET~uQjq7f^d^xtYQ{Hdgg8*@Jlz9F4#klnvKBU6A0`&$J=enX8;qYDWHPzt;qT9 zgKLLn(Q}7N+_j=ODpgHsz{A_@FQ!q1G2Mb55kI2(Vr4QNx6z^`cNRW9#(T<78r37} zUwgr_9tcB&41Ca-IjJ|`8z#=_y~OATymO71OOP%{_+fX}9$*OfG@a8mOB6F~@{xes z^-`_qWY1<^kL38cdKb^)U%;I7km~A`ZGiPll4rRgYQ3>%NQkWBotc|bFkt1*f^07^ zFM&mDJ|Cc7q9e=SMDpr%JCm6;s>hsXWg?ut;`m2cqiRW>$eciUs8;ecUe6K&I^MM) zYXgo`=(5CBBsGRf3-kJN`cdL`+ia`RH{2C^y%`2>HZEM628|p}W^BZh2zrN?aFg2J zClHF*FdjVad3Eenpsyb|&j*a1(t0b=^qf%4d}>~`!nAE1hx`6#sb3Z1_y!ER4$XRL-oNnzBHM=R5}pS>gGcfqgRNT8fZ;%pQ}? zvwbKkUlV73>}PBsX2v{beI%>DdPwk&@MF|c%E%V^j_$VY&1&SAe0uqUzxvIcDZZ1c=|h*Q^Kmwt@K zqm20Xo3*WhOsc450NJ70T*sOyR5N4@3?{$1V{#nvnXE8PK11#v)P3UI*J%%fyVh+> zdpXC&NtZ6I^%slm#}x74clgzJDEEA)9{adAb9duEbrSEh#Z@|DfD+QU7rqq_Yt;Q9 zGJ)+pepQ48y3oN?QHk)49nHc6MuBjDgA@ya#WF@Fcd^TLA>v0ti)|b3q{kgqdNlIx zO>5wOfz?ntGnp}&Y9}x@cfGi$Ev_{RMXkPX?Kn`_-Oad=>Z}!V?^EOs?{my?Xx9Ji za7#FuXm7@dTlQ7g51M;75pZFumdKXM;ZsF5Y~iFM^IRv3AcfmCP-QlZARg<7=8)(1 zCE^suItxYrWb7^5II19qNpag(N0@cqV;Yr`v>(55So}Yk<`6S92DK*reeRY$CO^LD z_wR$NI?+~RVDoyLKL^cIjF~{Z_)Y`}3HdKHkTr%4R+bCX7S#M-yY5Q;v{oh0pagh_ zE`;PG%l1vb$EcgJtM<3Oy+dJ=$FioQ!onYx;@`6tfvIMh)YdC|vxCl9sWg=F$f^An z!KHiQ|A9dnN4&;T7Td>Dd5|;rTSBk=fvJoRxO`esA6#^$h)3UvDjXlG!VAtI%j z3mx*Zn`GY}}OT%wrf;o;$gz zbU~zSSnjmQBke6)J>{c-oGWToegKk+z2i>$Dda_2d!JbEK`7npi!v!jm-zT*)!Pde zmXUru`tA=9!)`{o>b@k?H}ukrFe6dENqURR6R+Ra{v4gYUk;dTq|&z2wqOqXFdTX( z3@;QQ^l~tu?0P(TSc}n0t`G$bh;gfmW_I>*woZ5C-(Zu5Hpg9^1up}kB2S60=4erYX;Cmk$v+5gy6gFEuHg?rh$x0haDi|$w|t;(s*$;g4S0Qvd0$joh%yP zUXUl;{BDfg6;QdRVf`!UkXax`m&-`CAEIDdX*tf4%>BfW)+ucX)hO?QR~#xd9$|i= z>$xQXjFVpoo#MtY_%aDDh8q+n^jf6^vsyp?)(flZ+Y3Anr?&j+V}7C75dz1|u4Mpz zfV#8X%Y^HtMEy&1P0nh2W7qeft>1mJL!h%G{Cr!1h1oaFbFk-OI1{opE3sEiUBCA* z_y2fdYJs2)5|B{`0QI|D;kEx5yj=BS(XwOCdW0Lrs0H=yvgP@f~oDAH&|7=kfq(&B)hm>&?63ak8l#6sGfJWmeW~ zZs_cAFE+L}P888yrgbFTr|;NByRTxnfIF4lb23cRW&h^r>&H|=I@!(YLc3E7lj0TT%r(mgvro)pTeq;$YtgO@}mP_64nAkB*80v@3WFKsxCX2)}=Aq z-b%0RJR@?o`B+F<&c6JQxa9I7m|8c)X{Kj2Sfubd`MDlvK8uWN;vt{uTJS!X>_nDv z>WJ$I@i+Jr^+O?qQ`|{%VNGamd3SLfOGA^*2CF!>3ga)8(>RjEHexg_xiu_Cr8&y} z2As^o_fM_&T<;kbwBqO%D#1m9K2PpdQ>(6xGXemT5wDQ9Iu^dCchP@%$dORM_VcDe z&&-$eKkIB`;5AE)h8bwNkf)*8eYzMLbqtbPGe8xkswaEKvLg$mp(c54?aeV_o*J3S?0!-)MeYvqV>L8(^nYC}(+bgC zR*f=b=7`bd#6vAMVG;!o>tUmitKj_N{;iCavH2#sB0lkB_{GVnDVlBiCSrKUs(m?DOrv~)A#!+J$46nY&(f!J$&Iqv z74^!#B&6fyg!~!O4Di%=-$j{9w=DdhYf?F96{Fi(`u}=Er?WoDJQhFBfGp<~*s&4z zse9uM^lrjPVXb0XM%6InyBuRJEU=VQ+wx6zQhYFwz$iQ#RRwJ_lX{6rafTA%*;19H zg3n7cE(#(15xv{g`8;Ru9#!;MbEN#Q9<(%&zk>6ZUq0M_R;I#Vs?_pM*&-M4s`Bc4 zbw#D}Xcb0Vk2AF)^L@r)`kF+7pu$I2kMyNf*~y)69y94XR?#9(n--}gQw7<~TEb7Q z$wjH<`=5P%a4*hmGh0WWFM7V3UL)9+ku8tX6Op-nw?b@EiP|KD+5s4roYYW>H-#fv zk&n5hmU7*U(641tX=>->2wa6j>aa65(BMC3pFQwYy85fKcz3lpQ%1~bdtL40EO^{I z2}PrlW&iYMV5OGjSZbb}(+NbkW*h+r^&5xwRLq zdO;^I;u|0LlJyxRImGSEeHg|1@J=R?=CF<9mfmHP&cjc=IUW5HiXx7lL7LqG@QTFs z6PfLv8cgSB_B^Yk%7};}YGAT!^Om`F_4@um9J^@lUdu79? zm3DOGZ4;XO&;wiTZT`q-jbCIeWp&=98cNK!sn*;$qeCQiYL<%OsoA*DiLek_<^8Lo zs7@u;1AF-Q7`~-FY3X6Z?POHc3a7dY42vGUJZ1flN5X0A`*T$Kf~(tMw8Rj0x9`6V z5_yx=XZ3a_JBLryLHZ{88PiiIwBt5viP7`jq%oRhcnRj5ooUSv8ME!?76O&cs_e;v ztu6c{(c_2*E6e&JXO0)(Z!ddrQ&PbNf9C(&~`IMK8v zJ1v~?;36-3Vq7OBV~!rMVCzdDa_ioTzZxpLUSwAV=tC-1&L5m?{_P1JsR5a_lk@#yyv6uJBI`BhAg#LHvQ*#? zfA;>3lR>2xc~c+8dJBpY)oGyg{=Di{J-M<&6&a1Scjgb*eRuo7OJSoukW1p@TmbHF z)$cE;-%7e`+qOTWuIScrr8aVS;s@#pekWo}I%zdw`Bas?Jb_;&J<9aE=#0rLW3;E^ zW}Z36BbB;5(fO!CY}&`C$TU_sPWGQ z7^(fE)a;Z!2chmvNz8F6Iugm$h-wA|+!G=R>av4ayT>}C_)pUqR-*R2*)JIrTm~lQ zR>n_cf>{;xrC*4vrS4xaLEIIt5QU6Y30eXt_7x*<+h)03N7v=AOQ0wzyjNy*Vt^jy zv5L;}ZZI;7?C)vRyhZGjCF(ersm57D)rU%d!7BE#k?OoMk^52IS|WZms^EVK`-~r1 z1IqS5fM;f+5>7HqF2u5OUc)Zycpa9|OEtn2i;jE#Ptr}09L z#&tEWsOI@H8`D@7QFE4Ld)H`k7pBdxH@?{I})UINIhj!3YrF~Yucpyd8fS;^1sH?Ka zpfFp!3Q%7G$CKyxmHjJ-S1*9#lsKlk$g1TfhrJJb3V%kQO^fI-59R#vt-UhdltRV^;Tl{ajmL8DW?G9?cdQ)OVOw^#_$P7tR z_tB4WcXbs3(Mwn0VFb?lYL+Ok?*!=UvLp_5dgBy^r;U)oSD8pFz@oH!KA#s?pE0W%R-R73{i^}o zs@BtSLdb%l^V5iwCkZWHKXF*eNkd$)H^icn`u=P>VRtIpRwVpphA0gB3|0%x{0FTqO}0NE;@MTN;EI68#bW$~!gt6=W_?kLt?T zBrc*G^I<9{ZbMc`T}pHyYt0_E=Eix3B3Hv4U7y-zHk!pX$pX!ek@-dZm~kR9rC>Cn zD73M`_#jD`LY--qH@WWX3xjrLiH^jQ%XWf;PK2mTz?;V`D9?sJ>jNPKRZEB#hh<0O z_Pd31LXf)g7`@fZYU{9oH?G-hHJ?(S6T5_@U`L1f-W~ZNo4rW|Rb@n@vfdjw7fj;S zYh321(uD(`soQ-}`80~j?0N|O!LBE0uKkIP5Z=sJ*C}~}bfB`n`g{-VKr82Kt9yLn zVV!|*MTn7?6GGqGI_gMFeI|W>bXgUX6-Nfs>rEqA0_$q?jj_Gq>5dvE|9~Hx(hr5{ zEDS@JI>y~G7q{V`A!9c7zJA?n=qRwu-m8@H!+un<)s`*%beBL#59gGJSRp%5sB?!| z@}P@mgzy!4SJ@Q6epb0Yxz0F#SA`)WXwIlg14ZxJ6Iu~klwE&RhL_3tryoFOnpk%H zAn&^)a^D96<99^E@{Z`**CojciyAJurWH$ua!g*f?cDWKqBumQ_j!3H2-}(V7Yco* zX7WYQND?__y6t+6MQ+^h7Qo>Ahfd-e%wn;y`FS~ z!DSPfK6^IeDMJ;x5cJ#5a3(`Y01SOdE+bzOqbL+v9gRua&F#u?k7N(~O3mG(R`W*7seg10RG~PC{Z zv*;bzD0P?fFmjKpcy^v7UW%mH54@Hy5%a^}YM)QxM&IVl%Z?VL7xEwp!#}3}6J9%w za50%9@v6itKDBPubWLDSvxM8_)!^gQ&L3>GNYpBw6_lSy=W;i15OC+wQ^63I;YqKI zSB^jVcFjQY?O;fuuA3;tSB+SSUQ8gNKvX}N&scatP|8$7b3v)d?5NX^X@2zXhyogFZ zHZZ`zf{ccSX);i*7gTHHnH-mAUU1%A%)b5l5VuS6;L0p#l-=Ou5;VKeJ7xx>pLO)_ z9x4iThE<}-M)q@>Dz^f>94TkkY72}RO|@hdXG8dK(tL%^r#`LqsgDkuYcIyKmB#W- z4onGx3ii!T$C+SEO?C=?-rw`?X}O5D%LulKauUynxaM1M3_~&w)gh?)2T8sqaMoUI zmq&h@ux@M!qu@WBS_$(ss1n3?&d`HjBtT<+QN4z+K3xh%7+=#b1a4p+=;^it>jkr# z0OjZC7}RkiYfd_s8{aNoh9wDJuVjr@-(sq;`>idcm~QQM(fmNlF)?tgs9eUZhawG7iqpc>+6*%PL@i_ydxhIqdmL|+_{Y7 z)wVQUk7K4stQ4e>KmFi+Bs7n#&@0(2F=^D+V8m)Po0d1weSrC)^ zUQzSm3`RYzb>{oRlZ*{}2(>z9>8nk zQ%}WFY_u|o<#Ayyf{~y)vGI6IadS5^<}H<4)g)GUN=CmP2%U&qk@z1-`-dSxofQi{ zd_mj$R%nFgo&Rzc=*5IIaNZ#CX3hAoWNu$rwa0FHqXzl|v|vu0vlQa)!WH<}noF~R z;FlR_$zmt)_ar1oU(nMLHC8m5z~MW|ma&^jZa=ZPQcenYD@3JJ(JcFbiyR_Ftec#@xNLk)9Qu%CY@fXp$xQ`BG)Rhb8ZSUr5 z>WV-i<&^ODrHe1Guo39+$!=6UKCjtaG~dwO_I)Y?&CDZ7+!nz@LHYAU9@}MtphX}` z?*f@YKjTr#6WEDU8Nc)2puOJ_9jVH30WCPluGfRfWef=Bb$}QL&)n1x7W_n<4t>bQ zhE^&cz^Ba;(@Y=1b~gi2rjvzE z;tWOpMTX{COsoSh79sYX3Su6i+4RqDv`m}g$S+Pc^7i;aX?Y|P zOMW~U9xBm`w#gU9jz0)#=tqNE%qKbfae|9GamqCQO6|{$zmT*arq7KRyJ}2A7J?{a zMZ;j64n=HYSRdD^gvWVEjuVmU#d_!fQu$VAU{Tz;AINB;HXq*TzUHi>rXGd8cpdE| zFfpki%jhu;DE^yX^i-j=EtCxdH3)3~?AqWHsVSDJdd$Z!v@2%H1FzJ)^RM0S_)XcR z8|TbOLLpc8j9hIRK0r}HsWScKoSq6e;Dhgnf=sjn%|(uK@%#+T>s3?suihC#Vd3&m z%O_qs!|2IpPJ@UdU;mz&Ho-!eG(cn6(=FADtcZr0uh7^vT&vuq?8BVL$Ks{uDq4&7 zBlB$9$E!WFA$#^Ck3>lMW|W|)F8dp_?Kby?&l6hufu zpw&t_Clv}JkU}7_8u3@U?fu*T>1*w?pVcy-+xy!5+Wp#{cizx^hWR+XS#*OyWr3Q8 zM+A@tirU(`JOaR=p#cDcPHbw%CTy&W=(kgHLk=MaixiXmr4J|~2MQbgNHNgBk;9G! zV(HNVj9>sjObv;U3>pkTz@T}cC)iR(QV8-Sz5%oa6abDDGLYCrUA*h_XAUb3~DS#d3BHVExA2O^9AjFCjG5Gma43gf0jCM^&L3w_7 zKn&-%-Gc={4EXNe*}v8gO{mzPWZ=NL zIfE1aAXJPC0A4}`Jg>5VH1KWo0e~_6gNAS(EpYr`u*X)WjjnjL*NTJ^UH{gG#uAr$sIWQCSHb3$gM@doO z8wlV>h!~&`0R={Y0D*xp+zayC9D@h*(GGj>@3g82X8{oYw@Y`M_q*EkrVr-uqYBP` zKX1fkfn$pZumwnZ*{A-W$r+WG~`uJxjF*?2a;+}Ek{{06rypvGp z=MTuS=4I#zwIFuv67XqXL3tE!)r$BkLErutS7mI-K{`>4<7jgh9sv;``um=Ufm%X8 zqz4}v%KdXVgWvx^U)xEf2*Jw&_HlI_Gz}E|M;(TYu><-BICv28K@Ku}uoCvuJEqSD zR9^1?S{M^leB%!(4?zVrz{6|kSJJV1OhbVHFi5$AcledP6;J>G6+2oA(2)rY2;M?| zQO_zopdf(oF)jWX-{n9rFTXR`e-Xg_tp957N{rA4!Ew=T$)ZCw)X7)$(jk|(7w-R3 z%W`P9)|iR#x211sCS!VmO9mK7ZKI!+#MG*?)V#?861!bb|%K3DC}pJ z>MCy54Ze&Xo=&C=9EYJ%PMLR%nrTMCAgSi@dT_xwrtFq5vBmw0(WJa{T;tE1eL3t{ ztRyN!+@xAwTU^JaeuWksGMR1)d=1_0SFC!@t~D2A+Fo)m51H1O$+cONwPZ_PLdn;f z67388^Q5vHllxGJwP#qZzgg6vGNtqbBSj?AO7=9m?uVk{VQ;DozEP>C-eX#!J7Odt zy;ZM~^ZFmF;SoGyVuq7_jWX3GI_*f+@%0}Qxr@YEBtr|e4o|Z|66+Qt-GH8#;3z@K z&8W=t0LSbi_t0n{s(Mr0B3hl!0&n?v>erxP@MGA+oF=OSv>)KI(8%*kk)0JDK1as& zc_g)$-XigUoo3tza;v8V;2y#Ra$`o7OpeRU%-C^!){*~rm+4w^J`yNZ`eJ6} zjCTC!h{J7&6GB!behb5q;-cTz173gKufn^jqS~4B;H%qqd6Wu#$Y@_?M-yDgj4clb zPa|lUJe1BQ9?orw{5G2G@FhYlycpStQC@$QWt!U3(f%W6`gXe;mXrH3)G zx)>xu;V@h>W_qySZ4~@+$kXafE}uLwF^#wAcjmIK4DKW5c!G=2vu?v!fPZ}{S1k+?i@MCOZg7Jew%*S#8zce| zj0MW|>TX_przQtH516H8>g|l&zdN&22WS;Jvk^cv(dOw6OamOHtd!(AS^ak(Kz&w@ zDy${S(R^rDJB2`d9N6&*n=5PuonDq-p02 z`(13_k51J8{X?dMd)Tmjp#Fl1*WHOIME_AlyGCzoCDN_J zFvW{J>(jC|;HP9c(0|0^Hkf~WouW9Ja1Nz@?Gvejjy%eHOXwr$()vTb+qE8Dhh z+nk=oe`Xf5nC07No_r_c#*KTHjA)UMsGrVgBK66Vq!UMMQez}*;}f(FSCQ6o1x#Z5 zn&Qg`(ED{i!?6-pd=m|of=&))Una4N2Vskc7DpY6D3SE{V9C%K zq8Noa-`TRp5dr~pf_&WSY{hWr=0KH%oVfTKzi(U@T9=9fQ_a`_Zifwr-#%X6-ih1s zWv%M4f38`4nAc|<;y2ieM^s(MY@QFNq`vn2i~|J>$_#pKtL7mWYMWSPNmz{0RH^~1 zk6kGv|A+ZEhjo!5I1KdAo*L z&39+^Wk2Jadz?#pG(X1MAFF@^k||xKOOD>w=vMf5eH#DFN>*5VR^1oN3hLh7OKCW4 z@#cZul|US1N5=IBD}lC^If1}{2d1P=Ad5r~2oHonNX7hiq4xHh51(VbNzkq-Nk4rY zt8*xqM}Wo>K$tcgLq0)2q~eZ%K!Z8eFz==)T@5*!=Rl|PpbUG-C{5?AcpBtgMqbr3 zV-NC%U^IBYp)#w&ftzC+VMTC|%bHs6L95xD{JWhNIU>&|!=`b0%am~keswbb+BVda zJ-w&VdB62?loGV{%F++nCbJXq1yiIWm$^%he2yrs>DWjQdM( zGO4;V=F+_n%gW5EK2EDgZWQ_Ut&>Up2*!BzsKvtAa+sm)Y`733w2*;2C)xYJa;pwZgQ;KjW1f=F4mFm0|I`zRgyJ3Y#A87w`y!uhzU5({vRy+^nWE zkiFm6mCR{2pSGkR8~GYRGQ353{?_FS(E0rkDefy=juRmDlK|I4tw~KZP z%iN)%l9*sJY#W^jaDiHRGGSt3&B=}QlBGy?-eLKTJ z_kCGeGlk^=!6*IfHZD`!W7|xztHk=7B{CiE^VduUvQS&h8GhtIe0#ri<@Sn5oi?(V zNW9(!3;K?c?@|u?_#wm_KAbjW9(R{G$rw8~#k2g~{>e2ue*m2y)@3jew?9Z2sO~T0ViC zwh1$ex07Ps8VhnFTf~L7GdMm^zbxJ2;aG-7xZ!YH&Ni2^nv{2-y6+~Zk!F4jG^w1`pb z^nLExJRv8hXLagqcAID#UWAmrQZF2ZB?Xgd$wbpbg;yI3|3-n`IxpC$uCdX)+$*8< z9y`>OMP|b3>>Q_`=GVxT@BBJ9kTf0j(C8>#16G(Rsy^lk+T9K!l-!eXio`a&Rs9#g zmd{i2mc_TG$^lyNG#;j+&rLbsaPyY^le#bFdq#Wu8+?uW#HuX+#@=3Pu|><8L>mbF z$w=5Hh#u3Ib|m(5ACznQN@uPC)pGF1xpA}T6;{3;R7muE=Vl4-OUFD~-JE}R{QdHH zET{d{rN%MH-@>mmd_R-~W?fPrUq>;XpN}Zy^#j+~BAvFui)PQG$LWupf$zIKe!GZ& zM{a`Ox@c%RB%|+6(!C`H(68&YAR|ukCyAEFc@12WPg`9FW}0;oesg&FY|7NJaOL=I z7XGu$`_!<$7p5(1?)nW|UKi-tc{$~OujKi5+JRF|A}dQNiw4JcFIWHhL*9;z4%jjB zWC2*&tvcX`&J$5+LrZIDPXh`1tb&Q)EcrT@Lxo+Y3x|0RmyauL;iWVJr7 zXntwR;iV#^P3S2Y2BmNO&zXooglw&nZs2ocE9l|QM9*u0`MP3!HOSb*CY*bZu` zE9qG@(C?d}x#EylYE$*9@-?epuZQ05YqXcvN>s&t9>gF5;p^B**8yEvw8-N<$((SG zr`c18BIRtjAA5Tfwv!W7Iae8ADTj0QMb^Ah?o1*U44?$~a;N6mwQ=K~fTy9xwniDg z0!BC#@w~XQMs}F7em*YwTY36DNJ*{|-bubdIDLEcIb51Oh4)Led%r}-3<|uwX@+T^ z1gC_4N&_-}r;sk+9riV-kPxhpWOw{NHiHV2F2;Z%iGgQo4;v|L&WqkCjqnWG@Vt&5qc!9VR-wpXBLXgBB! ze{q3Dh}=f+_EXWFlO@YWj!q1PL!)WT_FN?0=Qak?q<#EWFM+C;oT90XS89eSU|2<9 zir7bZ;ZyPu^pA$B_PoX5r!iAKbaD$!-jz#oS*f({j5H89d)(Zal0@PRxFvX4uAU3% zmp=skQUo?#ArBzfoS3Y4u7LpXoe&%4AC6^{`A-VbFI7GR-Y4(o{P5?nc`=i$y4R%f z@R0@O!1t@d8NcB^_BM7)(3kf2Sp(Z5Su0-Lyo(0+$KS&8t4^B-#0fU?+$7^WMpGJ%7in#6kCuWX^D1x4s%-cC+oui8 zKRhg9(U{z*5K8T+H;n&jtbfm~^O_d}HmKo@QJtZ^r`*&P?#bKSRlg z9{nM6w5fX#lj9gs>POAWOV;JKEp`<_`%KYw@;+MjK)A9QJ1xcv9CWAht11RU$Vy@z zwdJlC@Q*9E`V)~daD`)UC){?fQ$nEI#U!&{FxY4B+I6k87qYluvXx5%I``GGm|&lg z1#?PKk(f+F$aBEQ-3)Y@7-1ky{-gWj>yGm=8D=`rjaIM}Pxn{d>t$~9`)@Br#%|lp zFHO42jz&Q#&Dm$(QxYu*{b?z^uBj=rPRb|7F}oK8VOz@-F-u*{cj@e>BX&x=DPl#L z)7KUc%NN~31$gB)3|3)}OWq7v*f%QyP=A2}(0T~ZIr!;1I3VrXzNzsIqM7r15QShkja)OOj z%WsB;T`cf2pB42(1%Pc8s6+0(Nt>^YN68=1ekoDo!Tc{QeCRWA?`rWYX4VFAP8w9tEB+3#Or`Q> zV>C0IM%8iKQOxU7M+*8GK28&0H`5QHB;;xDqn(Q+#J^(?gqdxva$W9-F5JJh9R>$P z&fn`LOs}beAFHltG78hYeKMb;ey6>ppE;9-GMDQ)Iz=@YZ8x>qhA>xdYy%Ih;fedo z58!prlfXK13bj!BBiEie&u)S#eoeZ?&&gVF5#F+;QL7Ynq&G<;@MT3Qc6m2Vu%+5o zfa6h2x86OwT-(6VhbHm!uN|t)Lou#Msq+#1UUHBui+%?Edy=B?Yx508kj&p-e znB2)Yw^qtNzsJ-sxEqplwhFxZCcp zTli4pVeN0Df;N=pY%eWGQ|U1H(Z(We?UNcaZy1Ek*xE{P49}oO-b3@85J%U~de-_l ztK7{4)`^*%8$>{b2AO|q#|G;9Yev$^#9sc)E#S9Qai0h!3_w^luz(08c$;_vmnW%* zH$;;?xBwFs0rdAJKfVRJ^0wmLE<~=Gwuw>wU3E2OUm6NV7uk8-KzX*|+3>y;b?GEC|oZ zG6kX*;R5VC6?dtMcp)qe-;4QYx7h|m3HF8_qn&Iz!RuA%loYzLM)mq-O!6}NtQ`Dr z8Tkw~%E8;-2Db0VIkLYD+O0|oY8Z-Ds{-C$NS^su#dUdF4A)h>iEj#H-pf|R1tkv0 zw@qf9onDefQ755uPK^Iv0E5jlUf;t>{P{%)FW+6mcU!IW<`o#oWL=&SI(ms+^>jYxX-d_f?I%Ea$5uM9L`T&;w6l!!_&W<1-t}#^lT;I zI|wxgoLgI-p)-`m7i**z!-MIvZ<8U`SwO+Hzavy)PnjqNqBk!HbA=q(+-URAQ}2(= zJtMZoB@(xS+Uat?a2GZ_msnk5iFIk7MQ+Vx>2!Uc_b`->RP^y5aIFf9wxn9tmTGfD z@8e1aBlqw7uReowb}P$uC9oe0^Vn9Dj?LZ%3zYFJ;F(I9k}WdqsecAT%V!jp-`dul zhO0^H_EbyEB&qe9nTqf!rebS7!n4Lw$s`j~LF44RgFoD@@o7OV&kvqf1?E>`ElO7C zP(RXPv9`z90qN~2W-~)4@&yE-3%Y5@Edy|Ghi=id;9Q7PF#I%+_EL5+5{e@x?C?px zP+$qK=2B}D+nPJKEXw(#l-ElS<76o3dY!iZS)GBv08_Ro@{ui5D{Ts`T|oVn)c{!Pq7QMA)1zw`UIzA2D_#OFTe;DFxlf?NLn9gsblu?IAy-OX@ zBZ*n1+hex@-IEq2#j28~&mYzen)rD0r#n184r$hWlffu&m#UFsx!qAT$@~3{I?sY+ zt2u(tes6>mrz_I)o#fpsitD5+av%&CwZ@iZ^Y3x3meI6s|JWMyRQQ3)U66tpRh-ti z6Lrc2t9G{T1vg}tQ6j%b!3k-lRIpkl7i8@Z=$c4-!T*sL{!0J}?TxHpczFJk5dOE0 zf|2<@CniF6w*Qe+{O`PwgN^h5ucL4SS3$K}p`#_02nPY3=XG&spAYH<0*ygnW`Ns@ zEe@E+lOmP~mI!ZhftCm_E*^~c>UREq*y>pB`fnM?0yS~dJ8Of^_I zQCq-frxB3n6uE#N5IsFVJ3T!C9ZC`(7&Q0~_yH4E(64DE4w*}TtWn}#!b7}LAffFw z%YH*3RtyTDQA8k^NZ`;R4^Lp9&d$Og#t`B`AQ(dR2zY@coP3Dzz#PYn!@W3ssE8ci z`|HdfT;S?u8=(C1a)uLo_ke0pOyGKmKA=p(V&2ugYcXpi)O<)lSU>{)KNSU)VY~=e z)ZJ}sTbpArZg$%q6gMTCTmTN3C87t28w9aVA6tMvIB1gq!Y+S`;{g-!;}y}gzXNY8 z?L2%45a=}!#UM7EbN7Qo;99`1fQ|`ZuS#qnTXBZV`1)Z2P`O_HE?}UxK>zTMi4S!` zs7nCz=sNcGE>w`GfPov3HWVt{tlIppSUWK%Fk$)>y)e=umfs1Y6S!bLVHJ1qPDU`0 zR6{$^tZtxx%85;E0LSl~wj82aebW0+80QsJ(ezlJ%|2i_VXlMkae3e%Anl#zt>BXx z6aC&@JBGR*Fm0&G;b-+w1I3%k3IatIFOpCI#kz58&(z(qK!Z}~~DubNJaOZZN{(ZTjb zZoJY1)%(8U^cVOWPa4*5M2jKdi6AlS4(48K#~1jgr{a6#=x6v=U-4U?mxK9eojG`~D|_b8{8mlsQ*=k!z*}5mkLqs6 z)Z0r+6oYl^R2|v@3Mxnd64W2a>#aXGB!U4Lw{{q|z1KaGaJze9eF^S#0Uh@~KrIen z*L9IFz`#5P|{>Aw)yKUY*-wB?;JaO*v5O6RpqTj(FKSDon zpZ4iL2x09UKPcbR2>%M+KPWe~EcnGZp9C1cfa1w9?;v0QT^i^jI$;0woO!H7{*3kz zU@)xW*~D@)Lj%we{q)c_eZKXc3vgD}{~Tg2WGXV@q^-d17fq1%b+Ox^odrfmD6g^m zULhWvH$-?dwJ(Qo^9pVAX7><(6huRu{7UPdY=3D^ z0vPtfK0++YTgj}+(ftPFY9l$Z%Nf5WXpcI95F%f3S)mSDysM4saS+83$pG)fF(0oV zPtP~$6>^$0Xhb1sMTyJHj{9W}zcXJk?I`` z>?g#-Fn&o2$S4NKUk=Q2RQz?t`ca^(Zf9-THmDro<|dT`js!{fwG!&{!#;r91FNBu^+k% z4#~d>mnX`zUBbNaT>UvF-egvC+4?Kf=@kuh-8(9WDGvq4nLZ^fPJmDXWRBP;d*9gr z{xArz>QP*C#eFwaqd@!#Mxp1XcbF-JY#rEx%bB`6aT^4?HHg$03;YOIL2cMH>8pz+gdM|U=Lm#{8PK|=T8 z(YV3I1~vP%kt#S@Y7o{G-4ksj!%c?y0t`5w%FUPQsDAF^+k>j_BA>ZvpS=HHq=Dpa zzVPqWePjKcy*>EmO<~@zhs}{(X$m}LeF*i_4{>$Ou6$Fo8!)a5;Qb&)%F|g6v-b+L zpTz@F$>s70oQ;V0ItaUlrN(%wh2f6A=#DN>OsDu8-@_Bq6zp|X;6sf1V*e$IUBa#$ znNgqbDQ4m0M7kEehRwC=bLz855sAoR%_?ZBgTf$});_lB(f5?utZMq}anAO?xryNw zzf`LJz?6=yWIQStwPO2Fpr({&REY4a!F;Zs7TE~LfY#TrNB*u?R3jnNknpZDLP5;? zb9zgCJPYX@sft{WM7tF;id_Cn&B1uuMQyAKzMz~aS}~owGo)S*T6LcffdTgn({d{# zT_wXK-2rz@`7uMla(p^gQ1aHbdZR#(qsV>87Dz|k$ikQc8qt1n9-#I+7=2XxFgC}D zdami{ufDE3W6pQ;%=fOf+pW=BD!-fT)W?hEyst{?{78Q!_n`+m=vsQIy;hv)rYi|p z01C@U;^>|;TC!&U$G#9H{1YFPE5xG2XwrFM|v1~K!6b;Jue4vIpeSzrs zN|M zkFcByc!d&&_Fi9B={GJ)-k$csGL!IF*!nWI`kt%o>}P+5MB{n{eZLS<(O#xR}qiOV)3> zM{G9zadrHDcOUh@FdoG&r$nX{e!8B8hhad*VJ|N|W{-YM_R}k~YpO5y6|uAScl+cE zoZeF^4_g za5iRnTP=;6bOW7;I$=J3Oq**eFf`Hiu6?ILz%GYl+@Jh+AL}o%VxnS@XlJg>z(M3X z*Au0NI&BQXY_*B~=VI4hrUyDnlCh+iNHlx=KHv6>#?odd+CBYPEz6Gwgpk?1;e-XK zyORf#LNdac-palAET5caJ=x-7Hn!rmmsgiT)U|@w#wjOm$zgb?FdS_+g`tId5*4Je z49@rv_89N|8iR>7>eQ}?$7L0ZEIbfv-duBvTq>l_axSh2eUL@$Zey1Yqh)s5x)-_uIU)? zQ{gZl=tZtlGL0B|(9JDWR(#Nr{e!SQ&Z3OM?>@iuDGJSMk zeCTPHk7>%y{dh^PQ-^I`b>#^=dyiU-lj$_;Z%d1s;)u5kqv&ZdRyUJd zem>){^`CdG61q5r3O{V8vr_014HAu9PL=_M$gJb_FGpy!!f*hmt2Dl6SEhtBGB`@K zURORhKO9n+dt(~Erv$^~yq-51aTh6<7t5wb3rwo$BPpz_FWtfFxzP0Gi=ZvNllr9G z6;~G~jTXVzvtt%9SfWWE5W7K91^G_bVMo3q-$W`v=$~s{Tg9r4PF9F3fF?;EWGvTe zN<<#*ZD;c%McjPNAoPv5ZRtnpR{^s39gj%fCxh354y=QfaYC6TRx&~5Nb!$gm7*?3 z3rN<1!a5Ml0&prbA@+G>Xn+=+zkE+W>3v{EmzXt zTS`U0Z?K+mDRu}Un+ql`sIpg|HoAxReGa^81^N*Un2HFX`vsrfX5Qc}y@2Kr`L4U_!C-DDrWi-$G|Dx= z6R(u7Sq{y5U^j+^9FW89dkIlMce@AMYc-D^le+7h8_|YeDa4nF7g!^0HHfBUo4=j> zt)3{7_D}g^!*p}y zEvCM-?>yd=RE#Jif%$sm2Q`hWUz0~)mChKGl5Ug(iW08Wtqp6H6OGO-bq8I=I;Kmo z!ts!QBf7X=|4rdUzHme$AeE8okAfwm;C5Y!h*ad=Pw_4jk<9ry-&d3kuOy7Nw+?vf z{8}t$P%3(e%;x;3!bN&qi2HzyzNAcotEUp2a!13AzVLP~{`mDGVU#%zWsU!i_I>D? zOVF^$nk0Pluyp^l9S71lNBpzBza*)903k+`GUSdE0xGfe*{UYj?)sR{j25YSWE) zH%8?|s4p)Pi2HKO)Pm~Z(t%Xhc8K4+YYc1&-PjY3u{C_nRBJgU$9^PwPnq~oko~s9 z@0O@Rg(@GqM%i<{dm@R16!o{pR|Vp=>{=8p8O50kjCUG%$PC0mW>P&)-VoWkb}+&M z?E7A@1G#`*LRaKk%Aw+>L+3& z@j^68puH5n{)J;%Teiut?~W>}mySuz{q;0duBEaUAVX2_y6btCiB8O*l{5J77lyzy zK=JV-*pZje5Hha9te4TUt;-<3Pe|=9r>IsALp}2}Ddm z-*>RlMb(R~CufdI9$0vSuD&o-GXqWp)f`Dgqaa%+D2^*_8zpAqWYknnVfrK~GeX=$ z87S2F(l(Q&-TWXuMvZv7s`oOD)fW{>)4GbyVhMA~hH}ZRLpE_c13(@93L+99OvxYw z88w({=nw9A!Q&=pygZreg9sxW63jJc51WV#D4;cAtoCI3bPucVxAbJCSC2hcnuZE= zQY2Ix2K7rW_+9LB<~Ak{SI(|l%Ify>nkcq$C;WUvk3N6H^-4_nm9&r0JM0<4ruPfk zlzf=0txiYjud}qetPuoNdmGvXdBdo@YAr>YVFQsS{sF!*K<(jy-@Ep1IfQXK9(wpXb$ZXXx)HM09wL zv3`k1!j9PMIN17D=Wua=ZSeS<)nVkyn&|NH*l&?C?9vF^3Ys<62oI{nHE1^pbDd~R z(DtqaYqLm&(Xz`CYaA+-&}B*I=!_ffO@!y<3T6;lQpr!H8^L#X$N>sxw+Zfa7|V3d z)1sdZ?pNl2)buClB{l6j8%ee<1uD_~<)&GO34FvrH8YeFGW^jDxN%*+3csOWBTctthsRK>_Iz;EeDDlN<;9j&0xfMRgu%w0Rmd}_xv(nR)P4%!) zROLm%rWzb|JYBLFR#*Pcel~@Dvo!_9kc}XuEBU^Ht-=#05Pxy+LCPY;x0$2J&W;)q zn^~XT_Erk$29o$AioAE@fY!55V*0TRMKyh6-SopoW5xA7eT1%UAFQOpn@g2muB_h$ zWir`%Znl!9P=#mm4nM_vU!W|nkP8_`Wxa3v@BkTveG{dsU1ROjd1a}Mb-;txoq!1k z=y9@Uiu`B9(S293vG6Z)=IEiudp#?MIA;g7^IZ+LI&-267Q2d7Y?l^i<0RT5xuGC!G7 zYdoCYJCp0|uvZRsrZqsoI>$*Kht{Kb{8AAp$wT+V7w>+P!KGB~A-d0* zPLMWEZezb8fA4NDLG5j5|5LHW#OQ9nr<~_p?^0y#uMB8gTateEXc)8JnwbdIQfnc? zb)KTt4`$wjkP=q!9xe6$A)tnhP6m~CTIUw2FU z%uaN5$?R~=_x0AYm66NLa#;&$2Yy+gIRCtD`eGl`GdE;ez2cHy?B!u+{*5$`B$Y>Q zc3Q>^)v07mmT-YL=26~s~N|}>IJW5)GB?F zdQ7I3^$%6H0_WVLtO%AwHM|_}l3Ny;H4308gJ=99$mC=v))%u=6TGI$3{C9YD%Wu7 zT)9&=+%G!d^xo~t^V#-t7FR7~PMP23@PExo&(-WuZ*)YOOMAwqW@G$ljfmqi2N_mt zez{!UDP;S(;RVjGm8?NLJ!QOkfN;UHa^-r!$W^^OqXYzLn(z9er8yR8Z`EETn54q# ze(O;?zKlFEx_pkfc!3%X&D2D6&oC|#FYRC7N%&6Bb#FO-CfYg38ez3!x)RD28a3q}pYjCyc-D#{X(pv-GXMVOo&- zK*iAlc)UEuY@mBklS-{+UZ%y6)r0WCtg=y1F0PGCJIeddiW@Vp4B#FW!Uwj!={WC) z@-J1Yli(zXeFwVZ-7zY&phMTh3Cq3VZ5BSGk4p%&}6*QXGyCWt&HamGf|uJQQm z%qlR-qucqWj3QX>_c=Q*%>2}ck_+1_b;^XU=k*IDKpFw7|pM_92yEMKb9yXcA$Bovwn^S(( z(Lr_9zbDYn1Qu;sHsC~LK{ebj&)wrx0<*5T$+>dbt7I3Q|Jh>?)7S5k8jb4w*nnI--IocA8=HPabjy0zo`S79 zRudJ|UDa@|R=tb~pkS|_e~@Ksh$s(9L2_22^%Btxk2DVy5u{)S|1GJrET;NhKq~JM zfJnFE3{?52Oq2gH!eN)|x2|qLrZ0m)PPCO(U%7z2EVZz^UubxHY*8@lH)K^}zB;N>U-j?lJ6dnaqNE_Iv^`GrqJOJzn_6hUbY#oFfK?Ad z?_kqN$iH#-STCZ0oxlcnA(cu^iETCg4u>aCdH{ zKCw^~V%s|`PgY8svAf)5ztBlVZjM@poE-j;*UIx={P}bvaECuJzXTlPDlvt)NXTF;izexjWOB0=pg8Rqxx&05IIe1U6MOrXko-?B>N6IXz{APT?Im| zc=KUjc4ut8In$b|1a+DSmKHQxevAX`IU6Ua`IEcWn;+fSH5K!Ki)qq2R8uhaBkEa2 z^jMUK7thZiJDIJ_nb?o1u{2|lCM+YLsBxjdw;W)w;WE$wuCCk@vc2sS&r-zQ<*L(Nh$IdO)Qq)3G5!NOzl&p44#_} z0bholvBDgf-8095UkTn+=Vv=Rw*Ep3Kb}m)I_zGbddLKGYl&y%wo5-rO7H`%KbjVC zOL6=H{GITh>vFUT71Q1?QHlC*c4i5Q;hGn3L zV{x%QkuIF3;$>4JDBX%T=1GNjI!2+KFgs>>}E% z{xR>dID?NdIRCywc{K=?mKDo!cI2_Nrs|jNa(DFX@G_`=Yhg^k_X#v40s~xuCK2Vj zE#Eha9KX~|{a$G?OVIFSWM4i1n;$hz?>c4l-R6eHG-JD9lxMh|wBW~)4zZe6KRsC- zF!qdv+MY4cH#FC~sF=%xZ;&(jNRxoGYw$QrN15|-7C}&1%xq>(jp|*qiQ|%uPaS+R zNMCd(!m%rpMj}J*(*d^wCLYP$_QAz8=6C@`y65q5prVcN;M<@6vI~J)!M^3FI=$QO zc*ov`_e}A|!ENk$@urHh(1~1Fvbcvu&_XpkXp@I;M;!07+d zkH$>APG-PsL-X5J_KdhT{XRIYA0s!yqXl11u-36>fv8CrjLerPjMUEJRRXC1TcMh< z)|mf#J_fYsG*1z)$W-)ek|GayJz^}D1DnWC#4klJ-o4ew%9-n4jl);Gg^nLF+W1g` z*qxxaM!}Wn-+(JbTG+d@mg20#qQB6RT6peq@BiZogY@l3>=Y#lchdJRZsUJ%@J}5% zZ{*Rqf-$*}Gf$|hR-FT1v7^^A^Ren!QL0yX5c$qFPFUej7;N<#Iro&S;OO#GET^E< zm^hP~?$@#Lxqh*X54D4b#x`M=3UETn9FT~U>EiBd2?d}VXo+2uZ>%FAOOb)3Y*9?% zPe3CLFYGg!oi`3_OEa_tG}x$sEl3hLJ4?ShSV)XKDVw3ui>`E8NmXF@#d|v$9gY-Q%RMvlv8&gB zt>-^LPUC0yuNR%0kCV_^EjY4PgLrDZSA4cy(&?ddYoO%#Zx@-c<`2cU$vl=|Im!6* zFalVpS@Wb~D@;B`CQ~?H)@6JOh_JQ^Q$LrhY8*~e@#O4vrz8`L+6N$iLD`}Cy@Ska z8fq?xk;s}Gx7(sjZ17xHc4ZHdyT7Z+kUrFBo)Ip?>NI;jLUrBqh10J9I9eb}ScCLQ zFmj}IrqY;4@dO9jm+h8Bw$7|8b-+(+i0Z57o-MQB@9gJO(9*F zD@&(pW3p#33lfghkM8(Xe40w8%*7)FH$h=XjtoiE zKE??MZgWADvP~PHuPDoU$a@*4x}oT_uwUmaoHYJTgOoRY93iH+MNzQ8lsFqG5^vw` zd~?$I`u>He9Sjv_&hYl@Gh0A^|4VJk={IF=BVgW08KrLt;TFx`=QR56w;uNfy5+xt z>~6&ttGTB6cv6<=NYZpVDJK&4M{qK9W{x|=6}{DU_;6^LLTe^~ zt(xpgwkUOi0r5fgx4vxj&HM#0U8Q0h_S?U$6-?EBpVzCTt80 zO#eCkZ`g#5lbPfHy>R)joW8mB+_GH=C}$M8A(ld#^RAmSWxyPUV-B8+{8vuLAQDVQ z>WtJY6u%K%B!v1s_u-$|`Lg}v-D6*Kqusb{KfN}y{c-90{D4d625L+sD&ESg0goUI z4g7DJ257up>;<^6@Fhf4bV#DLRfdp);x#@cWCAWmKxmgC<0q8*A8~>@TnZv&xaqRT z5Ri(23e*V+BsC6HVj?06Y*bh{|Kk)wYyw0@Xdgi=ppKaj9v+xLqBHJ*s1G){1|G_J zq%RFr2TA}$K}$>e%8i?UiXbL{E5Hyy2XzGEHj;e`6a*5phk(Q|{z5?MLC~77fY0>% zHy!8zZTj7j1Gvq02}aCZSfbNW60bv6u}P9X#N-9L^$ygI*pc}10dodb8^ ze{htPf{K8@gHK6@?{AA*GZi#mID ze?Y<8g!8-o4=}sE3K%w5LXA=X;U+8MyZlZ|;M_u;n?E>9B7qFp3L%`rKfaMj#n@o* zZY%-$xH{hoNAX*aX}$SKn5#f>A)j6fKtckFb3gqIl}-)=JlGO&1pdMXF&5vR#Z;5P z*RRsLM#zakNFc!Xqpk?xmmi!00Ej#-TLMtO_yatvSngEeF>o@4yasz?V7hEaVdW~02Zk=n;D z0JY{WQLFEk6H~0e2PQ@dgQTmlZ~%+t3Hy5exk7}wfFDh3=$bd>%07I`@;s2Xxp1ka zKO3%i9PvwLErg_|?DPDXCLxEWi%aSdh2?XuL06gET8uC4G=J~i`BFEKK1tgCe01Wd zJjc;SUt8x6Q-M%b3DPi+M$54wF`o8Fbj*zzeXnt&+WS!2+$D!`N}@b0f(M7*?vj z#Bi@h`~)2J@GXwo?nU4p&PUrPcFh?3Gl&<<382`oWo+kK?Oe3Vn8B{?RafuW^T-4- z1XA>kSdIq0=tff;TKOns^m4PSzAR5lCf7a#xB2XIURQ&h#1*xs0&0jxkd z{Z3qTlI6$cDsqEBYYQKlMaV8+`YSPswfS{z?6ZEQgMae(Rz3G!PXX`3*cb51{boU?B~Zw#65= zT^mR4Z*%U1N|tz|3+=*P>=kIW%!m&ixc8#-H36jWm;AA8l^RL!;F<2)YtLDc_l$6x z#w^l`##WQIoTLy3i!sXxUaI4{_f@rPw21L2`r;KT$8$NogOLy5o5~{4!Wgc|Xg@8C zyjc3TfRpVRTW_oeoN%Ay}2Fc3yKV9!Z51Wy^s@7n3}>J5}xY z0BQW-iRMEMupe=ZobFQdF5irs2F(PNw#3|zeGq(%WDgphKS26Pm;qtoq9?jmUjhvAx%NwYOapT~FDt=k5ORTXx8KvL91?LHX(i#TNLF5Vw7fG~{c|@_nmhDmkbsszu;UoWIgIkxnN!auLAx=o>!_A%WDZJjDF|J z2R{}SD^q6oc4l080&y-~v-eb_6hfrFtFH*7)Md!{*2(ZpZzwWjJVDR#U(ziM4NCU} zk&GmiP$uY~twEDLIRm*v5-~ewM>j7|L_y+1O_LBrHYr(00V7(d2quHWoj%PE%vsqR zV4N=p&LFU^Yd(BqAyeaIek|l9U5&P$ zsU_2noqSd!uGN{tR=X#&eK*n54{-`nmL^M^o&5Z0(JBg`s$vXl{U|4m;xQDUAKMd0l@iqnByyV6fBz2bypWmD*_~;c=0`%v*uGBsj83R`pd+A^vL7 zTo%dK5{nS%DnSihvu`kcrUBmPk#?+0A;I7j+_+^yov)VeR#O z>Z(QEbxY8%{*+^^W#8as(ZNgT!I-r%y~)^A)wfA)kTbF>)B8>tgHPZ|8>NuS#PO^2 zw2A6Vy=txGYcE>M==_6&4C5h=wH9vwQrm1QHp6;1lUO9Ckc@Wv$ z@I?{uE*->tljUiFCp){WH)EsHoB}39&NQ1eYO=GjrRwR`wW$Y))*9yYHw6?i->0`u z$o$~Yns^*opX*=^<&1X#8+Tum3+)RF1%dKA*>i?g;S~|&B#i))0iS3$fz|Bh@oA5! zQa+W^eU0MIPleo$c9Ec~8^j*75h5=?C6+qLfoTgV-cq)11BM+JRLy?$>Q6-gEI~DN zdcA_ktK8>$g@P=f&G_$|H5AHz>V~*)A7yHM5h*%AB-kJ|8%mc z;b?y-aK?sZ18>kMrtg(E)@>9Anmz?)!x{gLUV2cy)dWqQ7)OBpz3-Z2wN;|ne)o`%V(GFvJ{pqmWa_^dd#5I0xS-3j z_>^tiwr$(CZQHhO+qP}nwyXN>o0*=7FJk&PoO6+}SMHStl&Sr?4N8ZjmxKo7dG7ax z(RM_nI~iJ6pl7&R5Hu>|$Nu|{cimMDFgR~w`>~m4=lFhmtbg8p9;|+XgvHR9A4}^J zbTOnudrOHS?U7(=1#TM%cgX)tYTo(|=Wi7`sE2zmW=V5V#b&b9i50g~XL}joklg^W z5(T-gi;)-0sWqg#blW1k6`jqG@k$0fYt{{DW+|)K4)nzONqw8X4iV)J%MELE$|{Xi zV|Szl-&L)2@qx6wP6AVYQ_hlDj;OVLaf_TfydU8+R(+E(TXpoydo$pNaE->PPgGhp z8@J2-BQfEpN`@dV*QQCSlsXKB>Ra+i>< z*9)2-Coj0YnmEB*V4w7gJ3L+}K32C;$g6x|me&^meVYEtlK{lE;$|m*5nP*hovspi zv|3>D47gXKtB|7U9r}kzk{xkWGDx_rbDlYF-+QN9^Zk@%VzyCgQ9~@#(^rbvC}Vyp zcNFuo)JwQxGd!9FQJ>^Q*XVA6;KclEF&K^L1Bkp|1P3y15eA$)T{88_A3t@U29a21 zu#jR-gke(e$0*dtHg-E|F7|ZmrW|CzgIK*AT8I#fsC-;fX7#UWMs;m_cd-%e&Q!j| zOQm?3p2C@4@~B~qcvztEk8){kuC4Oi_soa)?dM{=3O!V-^8J;!ebTS{FO|AfEc2xL z>tU>DV}>^u@gtg7yL#V4xqQTwmXL@GQ;wDNa=HGrjjrp73?2e%nm_DVuqb=S!VXfq zZROo$SC-vT&4kJ&T~%d#bx>(}c~#fvrb={IO*UqkE)y4ZBD^XtW3~SfD16VL zOCC5rrKq_cj2cCiNPPB|#znGG5rEYf($1wsz7Dfp2JPud#(=A~ukCv)&}`JECHtoH zI%rUqAPf|zGmOjw;c`_!|1o}+;_L2O8}iqQ&kyad6T2XAet)MXIrUbbx=bmGb$Szs zt#&UCKLX>oa-8>yasf zXG6dy_jct;0_Y}?(XoV9x2h!htYDcEwVsZ6iuMLHl`OMp7 zC`0S)Cf3ly3@dG>a59oj(`!WKFEwphVv5f5KI$e%i^GNcqJ>46{p)Tb8o>q?HQ!nzwO;FijLt_(7)QaCc<$o83oZi}}# zhhX$fm1ieoSHEY?@{_Fbh>O%qOjyFPWIZOa6`-kl`YJ7(1;pV?m6}3U!fL2%iEC~a zr8<7eR(*i%&{k9C3zE<-`ejN~A60V|`_@PL%FFk+AFbtm`oY3a=jg2V>F7|*LdWuM zrW9oVp%ryd(p#u>o75u4YsouD`$mIc zXxI~Fx!h3)hu?cu-VF-bBwuK&JntR#5mZ#t3G99BJc*e(F}Ka#bQ|w185=99A`RhM zz+IOOq@IXN%*6@Qm=hKEXel<^Y-|!Q5E=~j3eT4U&H@`NqEy}k?G6DOnLFTOqF)u7 zs3&^RPUOyJqR1| zi!LHU4bLSI!bRj!{KI(D3kV9KT?vGN*ZxI2qk{24lbdvgj@nxW>^c%@zI-d{D|@{= zHtGKA3V%0KL5>hBrG138Fyy_iewAwJ8z3m5vy$6?N8DCD_D>>$27h@(DU835v?)`f z1BY5_O1G?*oBr|OButOgf>>BG2DLy*$V$5ptJ?1U;DzyEwr5*tlNqIgIK&O_mhL$U z>UcSoFJNu|;qqq@`d^_Hqiu51;g=y}*GS2^93DA~yFbbw8lG@6$|ky0aH~7eYAI2r zk}c?oBWMm?5Pt3a*p?Xl;6Sj7i7AlQc>$SNFHOQ0n24n!9UC_8E~ax80@7K9A+3&JC1z1EoFXj`eKBZ8?RoE|r#4 ze3Pu%g=NVhqw{RtXW*eb$@!{$y6_1adiPPj1T@^~t-hB2sJ3d&~xxdKb{1;34g z9%1SUu@N*#(a?#&E!Y7iO2>Aglik9;&5X@p`WjaxwgJ0ap!g~LYG~74^!~k;jFu_I5{o_l+v}>wa ztZZ#GQIb78$b1=7vm^SfPl2>kFH9RA{^IDZ+VSZq&(W%IDw?coKKac&X_~7U1O*%T zwL}{@gS+KqDd?yLy`{bo4@WEh(zR~EFhCgDlNo2H7hNR_hKfeS?M!uOd48^u)|<9= zCFEYqvr;(=X(d_t51gKZ>k$3954Ov?7d9k4kUl?{0Z|_LKNI1?<8&pjJT#NIh1Vyx zwK}J_`_0Rv#Qk^2;C$2JVR0}ck-4JyDGWWG0n}~(Ha}A~76b_0yf8XN_nRX^;;4_X_VClLp;m321QvWimK`?ynP{%0}XDAC^L zK|gIu`efh5S;Sh<2v%qKT{P&9)+@Q1+$ZA7=wQwIZmG>YB4XO7sT|cSpuRe!=RxZ5myYxGU=*ptuiO3v)I#}GSGW2~6twmTR<^lT( zpB(N9=Hq=S8E`W+1#d5GEvcKfS3I-#ADWxqzq^V)1RSVKPAhyJNAIiS?6Ph+}Vf2<+Tjh4W zv~e#!qPF;bCM>=IZ}YO}9=L6nHftpDDT^aJZ@SL*E2?S7?1?R>vdGU# zF0_)pS!c1+kS%ipV53-f`fP{3p?y;G#`tFMryHm8Ys>2i!JEMsfciU!n}WJhL04&@ zuBBhEobVw;m5D-(N-%>VASgX=N2o@TYe7AT^eY_UbeJpamMrs0t!JBKM$Zn3#uxn5 z94RaTi-h54a=8ws$+}KQm9@t+UA>VY?PC7gOSU?n`m#KcZfx?*$;#fwzCQ|n%PJ;! zr>$7hoK7gM2eUgp!|^c4u5dY9i0$n9mx%*$Q}q+;ts|(-^#oHf8x)?hd!W|J7JZ3@ zT=<7BneD_1v6jO{DZ77UwQ-@T6@BSdeG6lsD#d6p92G{j&ELPDEkdGXhWuGeFO6 z@9D{OSVjM?H@3<)nsL8#(~*e20~!JQALUVEtJBzqjZUYt&yEH zB5h@gL~2~AV=E-?%bFU^2YP=atj4V9Tb7O9G-^26m5O1pZG7cDQ(o|eC>x!zW-|Zb z`#H?iPLIE1Od1?CGFXN3*&$DPH%SSMTQFP5NgAsQ7=G0VxwuOMAY6u@QOOTZgh(DC zezn6tt&T8E64G(4#~c%+)E7>ks*qMnmw9~q6zG93*ng)`iqPH}_;Ijdf&OlRKFga> z>-85#XqIPZ%1acezx>;Hr2{=Yzu zf#Lre$o<#;Uh?~51zMya0b=YN6D^Z;a|4HF)gNSC7Y)jHmUIITC#NCEkqpBx$WN9G zBBVk5!5 zpn#qkKn+{Jumpx=Kp6|MvNl(TFIlthH)CK*^zsmo9QG_;2rnx12bbsy!^HTFHZ|A z$3VQj09{i2ff~pd|21+7FaS)%*Px()umG4w0(f$9MEObCU7iDe-GcZv8I^%Y-Vb;L zU_T1=2OY>UXvb>=fF8#B*I(G9F97(r^)QEofe!6Im{SiRmJWq2@tSwd&NTfohvD{N z-cHy5FZc)-9pLlj<84U?yC&Vu|tV^UHIQ2+b| zcs@q>SQ*2_M1KH!**N+1J3B&P;Q(=DR5YOe8FUbP(SiwIovL&Yeq`XW8-T#y6Z|hR zM>0BQ%(8|(?0%KswU4%Z1A4u5q>XFnNeSL-T^sc+i5SGFxbaEyg+oU%=Ry^`Wa8Af zog)A>okQ!Gw%keB`N^vxjL^G0G3jZLMsQyqjHi~HS)cm&S`GgZrK_LnZYo9gccZ>7 zP*J!1R!cA}L9AZnsEj823*3j6$`!IRoOBke4H^KT`{(dbq8w1H zy5zlv5In1qfu3lb#>Ntf_R!XeXT}vqFQ-^MC^>dj+bE;ogSQP*0xNT0U;MT@HX-ji z@iUbcWfKq_rk*}lv0r;fJ|-c>T34cfacUZm;wK)Ogk(+-gn@1W018~7rY0w{?laJW z0FoMaFjNCYwZug%cvQRFy=o=vrSZ&x=^n28d94i$xo5rNct4i3RNI>u-NR)2v^fDY zfWMIb3ME&qFcPOANhsM0J(*Wu5q>81V+NeMv%+*UC#W(^#nEgCTwb~2QNsXul-qbV z=&bmUZ=Naf~#r4J7q@t^xje&O_MTd^eEYel5;=EVj~5;&+7J znwjixtu4iePt004J<>i|k(*`c6=qRasgBDEM>liCLwIqPG*sk$)-KcgMao9e%;(k< z*XBsZc1TJasbm^`Gf3gL&@WvYok=AmNlT|Q$gGzlvw(=5$0r1oomRz-XvGbWWX0Y9NON)94gGZ!&<=`pM( z#+j906GrnJs$fMFWx>+wSirF08M0 zF5c_tVR{&Oqh7)DkJd}*mrRv)+6Xl|u+P?n-N*yhNLJ>`;`?8}J_FX4eAn1K)1 zW-}cGB!?vctsrybQoK^|N?? zO*duLOY7Y9@juQ=!ulJ$6?)QN&Y zcpw(YAUfY-5J)$Cys&huZtD?tr2%T{rqt1G=yq_y&ht>Dn^xGyl~)Ng$kzXam-%np z$F+s(We#r4pZV0f>Gte*I^VII8N^axfXuqnswK=mSh^31v^wd_F}7=lpw)lQU-gFmRh5o02dt{dy*U1btMjg-RK>Q!#l3~kGci40(NC5H`i@J25UDv3!UYsHP{7+^INj`uG5_Fdf zg0Jkp*Q>0VBJE!!agtaF3e=nHt3~&Fu?XE}hP)WX&P>=*#auqXP&(|%zv^0KMtpa} zwz7E;7{`bxu*P9`lS;wIPhKq~=SmmouZqA`ay!Crf1Ml)$^I>D;bd?pX^v!d8z~%t zFTKM^{IVMDBp4p-p9Sr)d91O?@&jTEc9BQN#CTJ#Bz5kbLkG2&Gg&ff%AVYjrc31a zGY?+ro>SCEv$s3+WMmqB2l}hvWJG&WO(S*9slro5ZPU*r8`PEv*!UC0h(hK(D8gH0 z**#sVmRqRm)zW;e7@qopp%Kg0j84vLN0NAZ(Zvbgt=H*vfQ~MW;V441u^Uxvaz|g! zKN0@41e_;LsGLO0pkCbc;91LR_gyA?+hA91?|DR37YMbs%Is3sU6vV3829NlW7n|m zift<#2w@`-oRVA!Y4^k223&$Fbq8X6lG7KPWM{hB@kqg+lc?sO3J8LUsE~5pdR22X znTeW>yu5p4+n6@7MRma0OED|D2~7u6c41>`tR>4TqvVuHT8C^KZQrf9WP6*Ydwjr3 zn@$9hP)l!Jx6@m=K4`)l>y~p&uNV;!X5c)~nx7TRq7ZFj@P0;p)eBU9T+1g}Zgcf+ zUE0tC;r#5nV|A}Mds^6dPHCkil(?F>o2KMr5?FbOM&VqiTRLZj{sL{|O#@wJ6VsR( zpw2Ap@$YiFJDGP=o~&Y@9c)7<*v}y84)f#$va%f;gJ^-W1=m}!PizTiPMM!$+k=O& zV@%?#CqdKe!E`3_VH+j7?eUiNi-M9zEo$-6uiuzQnc|o=S116Hy_7f_Et(Sad_Z%^kMX6R}E+ zb4U4b!TT?LpJcg0wDKk3{&XHD@Hg`wPWphMt9J~_Cnjs;q4ceNI|?^$EsIk)b(D<9 zz;2!DtPHQEy(=sLcRp$B>io|*;|*6OsdttCQhjJj0UI&p5md0T6#R9u=de#QYkGsi zIbDPLRBT@7Furaa_}OQf+u_i+@@x@pv%i`FjhTbWHH_)cE=w_{vs&ptZb9%X$Ji2Y8UnQOib!{h@kW%LJIz_L)6id&CN z*ry`1jk*DxFPG%q*J4?vjQ(zLR=?+2w$F%9u`Z!LBFHCGNafPtgLBR!Z!hMVqV2biTZ{ge!?1=>~%7`<_hw)oBY{^GAR!cNy1BztG z3VezK+j2#vx-y8G-idMr1J65meUwT(`|*{xST^S|>_`{Sch0qs1@uy9CAwG=yk$(L z;DM_5)biV4({N5jz145?`d4KqhSO+La`W;c!f|dkNDrcwyCE*b>Dx5_aXf$Ik;!eL z2QBwOiKY0(5igyK=18JE+TF%SWo0kV5~oMd zJRJLuJbq-w@ugcc2GKvAc(|uwY#Vc#u{B-HdfL+0DKwr=UVWY!-n54kb@Yb$b6M^V zu$Og?WOPt@m^^`R$zd+dx$N_FS#fg z%S)w4sx)D^NjiV`0Y#^qf1v!`6Jw_D4oAwl1Ceq-UIkcBnA)}xDE&{eU|L(95#jOK z2;6rwBd5Qi6jXCfNBHq)sN=hLqfuowW8p^ERZ>aj33f0LQKGJMUGjTUmXK2ap2Vf~ ze~?cBhoJ#3A?yhJ+T)n(cRM9%HOOOkYgp*q_#0W+JsxWFtQ~Qeep0qj^*v%X`m>jf z7T5!o*rcGeI@{o#jD>Q7v!55!5k6oggJ|`&!8bHN*s(H0<8#?EdghJ$APc@HcrgF& zOLFxiL|{!@xcUxZ4v=(AkTK~F#1qi#Mn3r2SiC4kS9Oc8bWbJ~&Hm8;jIwtBlTPsz z9Iq_~V9ovWyKZ5=6w_;$rfQFW;nVzmgo-Um*UJ{y}>w_G&tYQOQz%VQAkU0@;1J*g)W{JXU zmW;l=@@gzNKhOGU;e#Hy#yRPI11X;)e9Bc&)v5^m5wf)TraT_Igs5XLjU|;sRn9GI z9YJq`pRpHD5EC7Pk7Q2HW5KRg2HA;XZ%T+heNPr#crAXvGI~(U^5}KAYHm;P z)x=G7_#w9rg5UBE8Ru8SKHtBIhx72&--IqB5Xp5AcP$CAkk>KKa2*YgBcpS2&9e^( zGyRtgHeIFG!$I?;%4X-*YsG`#?tGpk4(9~+w)Gs<&-6R(F(i(0L#^)7d9Xx#2^TAv zz*hhzq>!4H9!I(6l3tkWr})-HP`jLXXvDoCt@C7KhK~v7`BdXKye0d+O_W`{H2yd^ zDG#hc-zTD8yv4!&SaQG+cuibGJ(C>mDraT6uHs)AUbc9f^cBvt(K7N}h@S&vu$|@PcwS$)T4`$maQIM-gJVL?dL{Gvuau67ZLeIVg?CO+E8FRNS!q6(XeJ73X z^K{l_8V-t~WbR)zg_nc0xJ2*%vpQCKOV|_^2ZmeM81f4bA~4fy`yrBgBEM#UM$6j2c3mS1rwTS&-~WQIeZc^OUET1$IT&MA|fLy*U?$r6|k zF-z_A3o5y(II{T_AZxcJBPl-Y8a~*?@yCn!&i7gD-0^P^0NRA-1M9Wl_&c18t9PptMJW;L zz2HwHGhl(XVt#uU*F+y-NxU8hJN(SRf~ObX3K@?`*i4bhjrNf|>4^KQspoX6fmD1CR-uk~ zNUw)8uc~CdDW3QCi7;YjR;jLeP-5d6jHus zh@`YuxvnFdgy9+uhNE^XF!f!IHW~;2@XCkh&|Lc@auzx-2LU84SH}|S;&O;SH0`y?@Yi(pY^OTZmiBoW z1>*FrjQ?8ItkA}5UHWRB<%AoHg$;oqgOPvUV+YXKGvece+w)3*7a7t~Wm$IBE~#to ztPawk$USOps7rp;yW-^lBP1xUQZvU8h_P7F9^fGe@Lru|2!v14lsXC5 zcIH*LzFj z+Txo5J2jACzR_>!x!DXNa%V;C7z=K-mL*<^mMWT2$V%8Y0+6T3?k3fT*=^6IdEw8o zoWL}KB$&mPrkkABi>56GY`3EiE5NGXLUe_@O&QL$L}5Ci?BUEU_uNaY>5#8){cq~v z$(xy5FI(>KOt)sr6IME1k7caL{%(2Sis7|qCb*!Ve#L%n|DmG05A^2g6DKt3vxsZ{ zR8h(ABACScQ|UYv=ITz z;&45)724o+j!NR2n<03YQDf1EIywf<^!wgpt}5`+I}9Dc!{Jy;_STnWN8gPX$JKwWm90EGFHaX9ucu_@@>mb|-r1tS79}6^a@MS$ zR}G|*Mlz>Ze?#b_?rpIz6C}KNK))Pw_pmYpx!Q+kkv$LFF$ZnkAYnUooK|+;bMn>W zh%kvY)k4lETaBMz{xL|QtzqwrT8*385@(UDP+%pj=Kl6*6=@rbmj3nU5}CIh{%+<0 zh)$BOZ%08^GLU`K|-$6RICh< zwhdF6BR4SA02{bHIntBZ8pi1a8KpatZ(=G$2%@NW<3-z`rnQXVE>}`ukdPGN+4~%m zv3pm@(r2rm?Q8Ho4P|87Z8}@=1h)=5bAJYVk=uunI>u9qh`4~Dp|Y>xI$Sjr?!5GB zI5!&VV3LP7v&ZKe3(q6F-t~)Jgsv(!DlR>wgm^sDtW`m~{PM#ec?y3o&qIz<%69?L z-+7_>$1Biz>L{K5vivN%d!fGh;tOwXNJ4+UNI5xOt`=T889g;bs_?qaJc@B1YRmDb z3hOf>D0|Kq?3v{G@HY|?D9~g?J(i>eT1M(Q&BG`>>+^I42Bt;?Ts*^U=>qqs(AZ8z zA~isMx;WV9S?^QB515>EBG=Y6kHUBclf=4a52%IqgyMaADDOicePRREs+~flBdiHN z4)hoby75`g^F>pJs8H+3r)zo{G{bMKLvJEw$*hRjAjZ*-l{(`)V{Bu8V- zUk)&|F=S7Spurmmzn)lLVyj;o8~h(sK)=2K09O|Q&=vF_6!3b?fjKl#Nbs;I{pJM+W)k!BnWggZSBgG2?$#(6`Ad@$@9gQBc?sBLKcHWzqaY1?@&} zr+-dOvf{~Pi*I*>umQmvKbSzLx080k!tEVHD=B}9_VD|B={(p_$beGek&sdV2e$m} zXv+bAY92y%YVUXX{dDMT0ey8;lPKn4SU|UN^+89z0KMqpVA$azT|+-Ue{TDERQ~<| z@S*;O0j>64Ac*&Qm+a`aZ)P!F-pqqg=76IXasc4J|ADt86j@z*e{uA~pa<7KY5qtxT&QLMHpsL8#{Wt)`~T8av0#PTyT09&ai9h;1OP4K zkeKrP>A|VL!Nl}$iMsdcbwE%r@5LDX?2GhNokZ~uI?16A*SbK{K>z)zL7&l;Bi;T4 z3|u_AfyXw@@x7@C2rAU;@ggB3fC|o=hqD1hCne$E_WFR@hXxPy_)=kv!wDAFwH<(Ua>(%2;Q`?Oy71Av3z^ufC(%u^( zJcvccI6RZ>N})br;GLd&Hg<6?1-m{mZ%v6v5tW};_%NqCeI|BZSm2sjEgRgkBa6VM z=#~&S&iC0z?5C6YJGaVdi7)r*jR~GN)$wlncKh|+@-h{07l}MAm;b|?-g7N$vXni` zRH858KQdLOWxjB>)iTPdN`0^5&evexty5F)!tZsk6Ih>pe>K{$C2>S-)c#kI@#|R^ zsw(zF3hJev%#CNI-*9}jyD0advC!s&ycx&cO$ir1K~+v@c=9ZB5Q=c(fs7pugGZ2L zL9#>>oAUEK%+_53J1qeB+GDAwRE#NRDbdy0vCZr6Ia<>)^a9?afm*aB=M~aB$9PaP zjCA=Pg|7hhuTF?G~Q+V%o<+av&c2yD-+OI&ygsV!2SiedWPV; zax^#;NP7=HZ^l3^S2JVauM-?$bS0){FQE^u5H3`xUsm1xj>_j-u|IGg=4Ltfmi$S{ z_qIu|f>*<&D&|eI4dg?A*(1gtPK^y^HZ!O=ESE>UK)he&UFL0a&>Q5P5Vg&M>pI_` z20u&s)EC}Ahi@-)D6V+2X&<41FqKQ%2<~9enko^S^aEQH0azbAUay_^alVP7%-T}v z`t~gdO9R#nD;_P=&_G^hXIU@~uJSrz`2t|ff?ynz#F0<+Zn`$0U1ovN4%tf9SI{6j_WTj*oq>OW&S)` zbPhIG1`$*;x81vK+k-KL;V1kuLQ+pTt}%^eJ*WCZqb@m94(5EgEj2Kd3yF%`lSZOH zP;qV%N@q(aY-#dipY2Q^LwF7h{9geHJIl@dB_P*UJ`6tThXXnXsWqY8OHGkk>C4P? zN+sexP7-HSIzTdS2KZn9zUs{P@Jo59?;S#dpVnmJS?RP;Wo@m>U~^=c zP!#yK+r4oi{FMszbwKnH_J`0u-sA^pzu^=jSGS;-{Im0;41M+Kw)c)#r!4g5YkDz( zd$(CNQmMnPd-k(mq|^-yVtai$3oJInG5?FWDMW+?6hcqeLt6=I5_w;u-%du@uO~bk z?g;urP=AM*lfihAZ9P%2L&DVJ^l?a9?>59uh_s1P9%M8(OSqwc!%Ls*q3J%qbuy42 zM$b_`rGON`++{ZaZy7OMtx_b12D^GUy&)i!0CyS?8mUAg~IT+*FmeZ{lpb)fZ1 zqamx1F+MTdiSpAuHS|g0_?ur9Kg42DVvMK^vo8=ugu=jGY(+{zCa|9nlkCS&1WaiEhVon^Z2CPQU5j* z)&~WLjb*z2;&lmAT>?bEdWD-vN!?Qb8Q*l9jdwSrGX2m+7?E*Ps=S7poYV2ky2F2< z3n=A5m66Olo`W$qP{ad*T;yc1vny?5G-55@pb#X#>3P(C8^iVTjg1agS$;<=vZTuG z+ZnODyP+FCq0|q3T3NUCY1Jf*sGzcP>eB02s#wB&yvEl2_Yn#qb`-0S8jX((uMUq= zE)^#?Ko3_YMmh7xU36lVWra&CwW&&)>WZVr4|f~K7#G4LP3T9Z+o(bXO^KOm!Uuco zQCq~BKl!D`Oe?|1sNVrL>#zE}gEO=te7Zzw`@Y9i9Sn=XZE?_Ci+t_Gr3r^n?qlTD zlmILWw&=L_v(%~@f#%B~tT>`|KAIE2jfu(pKo)pta||KrzBBBG%lwqah%VvbN$vQz3F(efbyJ^{SGmV}Fy<6LkwWRgh6k9S6 z8aV)`7=$KM*c z8=uszCK&2wI(D(>koVpWLg-k{cXy^xIuAc(t&kAc1gBLcmgXpeM*|#A4IUGdJWhl4L+dJcxv2-DwarvE-Ub?&Zfcb_o8giu ztFB4{8OYuDWk{;ro3wfdsQ5Pkwl{IGG~nP(pW?${8FeH&kD}D_S?}{oy0RwoKen} z&H?n7VcC3KJ^+!pi&u$iOrJf{6v;a1gpZvDy`sNb3r=q|m1E3a4vZu{1a{b$iOkm$ zYc>MXmUwT3LcQ_q!h|-s+d;Pw$YX&#N>_9%M06&z1oYI_8ul>P;H(}G4<($uLu%H^ zj~O<*T=M}dBRf&%K)wMY{g^$Gl+d$|#L4M6**Ypb#`lP4EOJLK{>==U&pWQ@53}mpIXeygVBsU--vXLiT(4QWiwMTLEK+RG=_Vg#PyJ;RZ0L zti52aL9hb~{g%xUBWu;UK~ZbPDWOXh766060_BhSp}dU}5(LV5kkh8-ERsCDs7pof zJYMYl1yhN0 zz^>mZqO647ABkD0HiZVdM8py_qpQsOWwb{#6UJxxprC}hZ+#KUG8?RH2Ptj|64h6@ zukVw*tH21vz(^ROy2R3C)QBxI-F+z_xWlkCE3(S>!v(ui^eZ&kgf3&wcuiW$YC7j3TsTEIH8(esQOdi8B7z?zp9cf&dL)k&wak4hG)3q&!m+(tRw>13yeVNfl0=*iUq zh`Ud0bYyKHg%?((c!wxY6UjuPQVVpFw~#H*&z8Jdgtf+c{3YVWWr@L;Fv*l?Si^w6 zRjuRPcgxoD(g>I2aWhyp5m7;X!FB0Q9j(w?}jm-fwlp&dm8{Rl3j1jZ(3LobJ zJ}3Y_LlL#i;~nqOv?6P_j{1&W9$TGEp{m}Nv{ntfsmyr2!rsLl4+K6>`;dnxV>7b{ z-kO5KtMz~U^yncEt7u3CYNhBL^UDZ)G)8;Nt<5)?dREyN)~7SoT%mP3X0C7UF%mB{ zrGwZEC8Mb_SsAV^y`5#9h{0)gatHa@tmC>`HTHOP7ZLbVV_y4QEz28gS#pEMOpv5; z63=RBB@;YiSa}}}?#@RSdg!*WfV6(43LV<4+9h3nEH@fI{5~C+M<2rqsxL&6CMW;R zGmdskP*%BK^$aZ32+s33>d3M*eyUh3Sf=&Q3qKfug3BSK4l524}*kR13kqT;= zuC~;^sGlCB${Anc0gLuPjz!y>Tr!KWCpOM=PeIGz9)pupR|qxd;6w0HOQFyPnM9Ra ztj^WpOHgo3BV475NLX;#PTZV1;v_>bX{KM0_jcdKF$v2}*AH1FT9KIykSLUQb4xOy{OwxgiU3FADy;eM0oruMjP{$)I)L?(lJy86vfx1Xpr4_c`m|kKT#@g~2jO6F++9R~?kd|OY$XT6i74M5}<4sr_xy4{PXo;c>0+FOpewO*jg`zjFZh1MxV!evBmUEYYwnqR&w4EsuG&KB6~= zgK;lb#X6B*C|d3oLVFFfJK!K4-Am7Hp_>}zg6EfD_LB9-i>VZR*2)l!$2<9sN86?L z5~l%xnqari>>pcK&1x=r>T8+APF!!knl@*(xv!bgBLk`2dgjg7ca0i#N|r`RWK87e zw2?exr?aQ|_+@jYmfmfGm@oN`O4Wn^Wh|K`_Yb1~GHR8rVafSy1b1(;13+Wf+L=)VKmX)JvEcsT)Cfxwmeal=23>2_jqocpEn1>iMnsd<`VKzz|T~^ zN;eXr^;r%aQ8)gn*R0aUClODcKR$9_fxG;sXYuYFQ+stBXwykj*oD-gY^Wq%QXp$J zu&zHRW|b2hTP);4KBPJEmZs!$q9^TtndVXi;TTlNYrAw&PV&E2Z&MFlKc7_nN5;KW z4op4WvReBZ*MZPXn;0P@8zce3Mk>rHNC;P7H)6d?H+jm%=cnyVLPeV~_>)DdxY-9p zdX0bnu0bTEDS2sH&hiUof_wEneKO8*XU1_xK7-so43yHIxbU1ADqEt-OL6EdJ{eryh#I@2b}o(cXKWQ=8`Vd!!X#g2)MuC5U&j_M zO|h|-pPgPF6HkShzuf-K-t@g55_8+7frtN#v2%(Mt&O&9*|u%lwr$%uW!tuG+paog z+qP}@Nhg1DlfDoAxZb~HXRo=&m~$`R0hzuqsTBsQhI4trt*6@micSNL?s?Yb*SsCx zDQ8%0(MP(HHXm{W=UnH`u#IJb#pt0H1&by&tOo&VLi2KQ7g_SYcLmGYnfdei?5s=u z{xAuz@Sl&4mEUdH32=_37AJnK*IolL2Omz#5@|=kzu0u(_E&|>_DSn+^Hhzodm?E$Q zq8Zh&+ULF+=zp8l*c7;^OU`+I^pt0%ksziNgLjMgg4UUKNUCXp+s16}{KMB)FaD@+ z$JZ6tJ%M65r^kijnGZ0hw{Rn4`lYfD6@Iq32& zHAjFRYilY$|5Qtl39OnJUI_eMYp}g39S)rMxqh;GXcP#4^J-drA&(QQ?dv9$lhr^k zC;T34yM9tjQ@Gg%9fU?ph+#OJuD}hkS8-*RvEr^Za_)IdgwnP>r3if-MY--6wSyC^c=(z+$cF#Gj`%z;L z9Ga{npZx*3R9bG;+g-2uXE8tXx%PsOM;o7fAkMtkL3A1>Z@apKcOB34Bra3fwHja3 zU_CWhMY-2KJkVEL<%1hhVx8TF7}VJrbKuSmP9z+wU6?I9rRBLsyMj3mTe1){UlU(~oWTn;mZSs`{1#^5| z<&Gd(P)gnB_SQV*+p1rn$eV{sR8p0)qp!=z9(52yyY6P$X&4wZG>y(ilQo~D%kg<` zLIp|j&69OeCGxR_R`k>pD!5JRJe`6|xxqQDxkL5zIJQDm0nbX9)E_ayW3o* zaH;lVX>Ii?AuY2>3AdRp{3;G!^0|G!2DqFDI#GQ{uf?9t+szUUzviHCa=N+o<~Dm* zxss{OhcJmTeMQz;=E>zShZ#PKDU4K?8kYh0-!23FZy4IzEvs$X)YY^))bpSp|1Q#p-Vuqa=? zDOmiT3o~Kq1V)7PW^tN81$;mIZ814?_OTZ@i%KZS|5Rz4R(w`Rb4zp_$UNv1BZ+K^wF)xkEQ-Z-+?L6;uFAPE#~f3U$1{v=nTJ?l z1N9HOrsbct5^u(dzW&IdQu63k@OlUlo9&5KD|pA+-GK3<@^CFL+Lv7haWz%R-b|&vLC^t4xxw4g4eas)3_($|xHA|C1aXu2 z;|47^w|9fEwSDX`bA7XU*z4=}v5n6<(v~*Gx|(TytH^>+-1D&6yx&kx?G$4S^?B!pX)xkRkln>De5U3jf13)c~ z?*GjX2LLTzPkL6jqNBN6Kcow22B1!!4|+xmdu9pf{4qHU^9QJt!(T^tw-=B=-M=LY z6XSsmIGh*&q_y6y=_{%~YkT6}UPz8E)*cbgzL%XrRa`y1Dg=5A63D%(l8W>ZJ{JL- zc}%}WSJ2+hzi3&zxTGj#Q=j(x+AGN8QD{oQKpg<&4D!7yl@q}L($S@n{n4}P8|>r= z=p!pMiyFe_TOMo*06o7YBdUaVZuuGZ1opG;{Hsa6-|uo~YJ7a>^44awujnTV7~%k` zxy?v)f6u$h640Z{78as0%~kEi4@0n)i9kNTgbKpQ5V)SH$uDbl*Oj)ObZ!_A1g!V`<5dEX2IuPP_h7LZ zP;)Kd7s>w$Es$WeE*bt1(d#mNI>D#33{>i}u+1+m1Z_VW|&u`D8KtA~#kg4Iyyb!}0 z8!0cUl4$(5wa7$%R}%1xdbqM-&B<%GKh!APZ}OeXkJ4h<1j0(EVnCW%T?X*KM+-V~ z9U$lJ)fr2&Cwb$gPZe6rQ;oWzrdN7Rz;-C~v?QEUE?>47Y5nJe=W1gUo7n1N1XLcP zxTr>lPNJ+022kb31F(IGT@J$+ZJbsAeuLpMzrN}L9?lZ^#m@fB6a3Tf*(H0>%{GC- z)JL=wk%jn9nkWAa?4HS`qq4<4!0*qgOW*>Qv(tjQM!ZQ(Q?2`WWb$f@ig47ZmQ)J?wcFK4qr>d>2>Qt9d>#OS=!jQ@s*&>Qizq!ck?wH!J{t(!k zt^DZ6MyDp#0qQ>~s;u*V4L3vYjqt-laOzL91w|CkDjfx{xEo%rF-t$#q%K2rysm1yg=n(`W`27`xidqAx;(7@)K>2c>p(WaoOC zX${rgP)Xf0K4eC?yCHoky3>~F3A>&V*arP! z!8rz3Uk!+c*?qlH`R1Vf(4N2|S-W}JiB8$sjq+^M8zJP{gAg7nANfF;!*WyWx(hH5 zP|nD5zwf>Bq(DMSXFPlzT4e`;BAJK|&Bmh}WdF{A1`p}QoK)4#koQ6#nGq_852H>P zFTJ)S6fM6v$QmSF8srH$=?;xe4pY`pKJQl{i8<>=b}DBB8(NjwnNpR80_UqsHXg`I zLz8B-B32>b*>&^MG~OQ&2pckL!E4kk#KG2T-C)Ax>J-@nrD6xHz{#4&7;UZx0$zyo9EVFl8i@Vx!u54s0cZMKP;%?9d}B zhBLWHSkTsAbepoFzBegrN#A>9+U@dL;(=BYk_vDKs4)dS9Z3nnbY{WeS?il1XY2er zA-SXPS9`TTMjF!fVxcfC$(sgy$uXjVQ5o4x>=v7i57^qw0Y{jKPBk5+pi6(MxI3oH_;>kMjaF3-022TL?wm;#RF< zE4wKX13aitmBs4t8GV~#pXXPlqE6yn&x6rKI-7d6%|2)+%&^CxKd^LBEMAu6x;oZ^ z@e@X(sPpZN1`E1qt%|P(kwH|$!a_rf6XpYncn#<*y|USC{^o{n8}khZst?iT8Ty)_ ztjrB`1hwa-e_fjMlU% zVgPalHm2838}Tvn=sECX*~e9~tcE{w%vFw;37@xHzF?7V4ybQIh1Px#ugYjyS|CyL zcYuiUQ}=VtKnnLuat`XC?tE*$e&+UMXsfRJ==lg2bNooACcPSLmTcICZ%%A+giPB1 zCG?@6Lfhz!cWe|6x*040`|4>)e|GxoL{DAvFYK#1PstZF zc~h_>8e=S0$B8KMCUxGR2M+CC^gyMJ5F5@7grILprF%&31}220CiY#=ius2$T^%Wv zG*g;bpyM=oO6mQRJ9|`(ato*+*B@yjFWJ_61%4qHh(X9SkAFs*u``W)l>tV=#+79R zKK?}bj{pFPAp+{4s@FN07}o}0BuLGlfXC0EM#_vx&S?Dgl8}1Khw-sCV6yNTt=+7e zy%UiFk?OPO6K?y1$8sR)EZKU#wEgzsW#guT*itN0D*KSaRE3z8Ld@b6Tktn0>3^H& z=_j`wP7RpG!k#0f3l(7d(tm{sj-K7b*3l2wCG77mC5l=%7n&?4SZ+Rh!fFI@b=d{; z&Mbq<=ddPNLFi@SD<1SpIYkq2iA?a>q9F+oK;2K zmf`^zrZRpGIjGSBi;T3^z0Mg`;IC$1MiKAzwy;yR6lwiFSQED`Qdv@ODRUnWraMf0 zF;|HpBLw?l*|AqoI#0&!D#A1sKV3dr<@c#ZoeQT zt$FCa$y(@z>>yqHyU3OHJQB-LO6KVq6y7-8CBC7X2A&84q+5p-1G;1W!lC1m=m``wXl^hw|cW=MSoS!uBhNY}Mj3f6*`^co4qr$n1 zqjE__FbcHK#uxTebz{vRNB*GP6dZRU(<2WZ;RXN15`8YAvj;J9%@I@YUcL@=E6!;=#L1g(@djU*r(|1d@dJ ze|bS_EU6ZPM3IiM`Gptx8fz{#42LFaOuNKzxPx{yy6tNR8q|HxI974pebyVyqKW`D z?>yRA=PA79wueybv%0-XU=_AXo4SrO;md|Cwtpa34JXrMo(}uS{d@SY(9vo|2L4p< zNuqgzBXV*xFNZxul?@qZ=XF*jq<7uuUDJ?LbV2}>UaW1i;4`=T+V>fiRTOT_>XV>u zql6^D>~EsfKA8E0KKBB5w=GAeNeC_L6$8YOZasXJpZ>kc=Zr-zdG$Yn??e?C4pu*m zC%*Iaf+LfwUe&eucy&iltr(MiXb4${pgv@=%R0F+sofZ4FEb)iqNw~_c7-`*leV_0 zxF4L;Vv%y;hQX%?a0XJUKmI06NB_FpA9^G=r95?ly5eW(>VhSczg`F5@0nT?Sw2C@ zLrwf>C=&G5Q8-Zpr9xpCTnaW6)e;Er63Hb7kH)^2Rb_`n9WdX=W!e`U41d&3p#l_+ z^d3HLIzc4{?er-{L5ItY1jx^eT%S?N;=cTi!iuk%1 z7=$hC&Y9IHc)@WNmGw}TydYP2POt{5vs7+PF|b4?7G_{Mu9v zMwJ3gCk)fU-}vT|xP3VaM#7Hr=A`IHfHa+xfV^Crxe`6zU}YCMpTt#;S_Z7U$-NnK z+9-QhD@mWF8nY-GTp3zoLY{U56D6^oxF4mP!-Gxp;}m{jnxY6`xVcX|rXwDRo?S zIio$Gt;D3(ptV%pY-nIzA>_Z_h%Arq18&USpWL1iEh<<_C%~?N!w?VXk#`H?s5gm4 zng;&>JQ^+IQV(2Xk`H7{X|63w-Bx8(Sbpc#ZSj&>Z`9-EUOLZ`H? z!T~Swd~i?Dvf%XcAiky;x<1thy1`pK>9|Uh96SVuMVXZD_YLIGxJY+qvFhIE;*KHl zHaEhV8G$btcC+J_%2Qjui36iSPdwNR*IHB}b*XzHby2+O%Z^7+TPw!YYdBZq=T^Pn z`#z{DFO1ELyFADrWa|Iv&c9*}6Xu@#{;7OST!SxQf52{7mv?&kk){;a;Xk zQkukrYhe#qXLeigu-zG}ooA=f?xq+X$iVsodkG{}wq?Bi0Y97eQ9iXI?%?`PBZ_OX zuJ0#0A|({RbSdU5=hIoT+Y0knSDER>q2SW(>7s;`7P>NAoWbyuG4`E$Kr53w*macZ zF<*g>-&sA`4jPh^_c{0Zl5;*)negK{Adh2zva8_vag47%XxQ;0WO8*$kkc}-gKs+^ zr~dAT8rg)Xfdl|bA#6%~Ljqf%Byl^!d*t`@HGI3vKH#~k0NR0jspKv5Dn@~^Bk~|D zMC{;udYqdgN@KH-k;97!J8nW}rAjJ>V{K6OgBpcd6zsT@oqTJ=vxbdYWvF8++Y=;+ zc-1Imjk{ZwTgeG9D6Xw>=FQY{MEIz`LX0mM~#Yl}tsSssRsw?8dn&7&}(uw36xg)kGH_z{4e8#%k$uY+-_KK>I59N zt_P?w4ZmR;!}}~+qVpnJog%&2uoc=Js5PF5u*@Jyho(heWqZfaeBR=U<>7&<%Ge2v zgvaFz)n9_YADNm2j$o)V_0NB<315AVmv&~#jrLV!W&3P!UpjyQKOF0q{?sr6S8+^c z`X^^-YU)EsiEXGj4PtQ}Osp9%x|HPx-OlAUYrT;L3#93XM2ueiv}!zTHf5$!AE&o9T3}ekXLP8~#_DDfSfjHF#)CAxKSWWgy(dha&44Y355n zYa}bKe9F9Ck0R~{IY)%E+P^A_YfU9{4GifFAT9&AkbD3&>Fts~3OBLil-|o#z0>m) zBnK!$&ftM;kA-L^AdBT&|W+hnkk0 zt3oVfj=%{glXZ9nHI8`(Q5Sik<|2Zf6wR*D$t`&%`XStzol8S!rj{O&`jwSw|Ne?8 ztduMwbDlJ%Ffz}W??|_U;~?1YvDN^a+>_>F>`gh;$H7?3mTRK_2AN;XZYk249CKgU zc~}YsKTSOhTSQVLDju^9+GM}xjZxblP*tSlpvYlG&)(VRkSBHHl*{<+Z%0u?a@iI$ z1DLOERK3=>u)$$M%ATf;LCOks%Gm*U3IYb@p@dZM-+Oa^*lYm-4dFILDr?e^@Gmb% zV;LYI3G?;-iC*5>GRIFjCwh@pdJls>ZH;CwLLn(F-?4@Td7o71Y!9F7i-P!Ne4;}b z%ps|FQNEyA!v{~MrOfBWubzz>t+)Wyb#NpEc$e$r=sz2A!xI8wXg!o`^M8YxGDlbi z5)0_m!I#Rh(x?PjDf8wNIg!3SSJ4SeuZ+wNtY)n`2 zwmMYZfE@f715km%ii@H)h)r+5oN0??aAsl#(IO;jHo-Q>HG_z314oMjJ6Zlr%qOPQ zn#799>I!#^kTkI-d%oU9`$a zc)_%3{b}Jl{af+v=H0~*f*bZkR4e1lL=nX%?B<$=A-}|phu?3uKVC-BB@j?C#p4t+ zgYX(ozvfmm7Zxg0`Rf7Tj?nG? z7}K$Jkp!^*mr7m)Z8CA3V!d1lTbS$il0b+*ng2NCc^Fi)1;qK4PgJcwSpYeCNW6G4 z)E;bQYKOosC6}IQGs4x!oQ(eF*nrEPaZ1467RW_xgnWb+_(23%l_k@7Jh4~=&;4SH zskdUQF*X#btiV4CCO}PcoNcL5l^0V#p_^BV8+wn*mw=^?YM=^2Ytfdb4}0!C_p7*$ zZMmc}dzBsSP%vrhqBcf^4R}m!)B~~OvFWOJVIC&H^?0zGI2R&TYF5 zV?ip`&l}4_Jet#iqavO1lq{;A(#4DdBf`mg$TGOZ>I<)&Olr)iDctqTAh1w#CLxWL)IN zWbn)-0W1|>(9P>}rpAQ4dSEAG$Ud+9f@uiqWW_39Iv3o{-$ZcJNR#82?gTHv$;m$~ zpICy%!ff-#w*oa<@GimcCMhXw4(6YdN?JPq2mOFp}=%TS-AA0x+mv|3s{pslEDqyu0@715ChTQ-LGu3xVuNrxnio3;$pTxmyBK4{tRmm-fbMkgfIlWBsin*?Vk2Mv!D zD&coxMC5Bp(%9i|(<;KE-Ci1LUYFZO$&n+ZSg|9Bl4Ix~8*oxW_etB}%}wXI{yJ55 z!L~?^`IW4sPg;)dbTjpUzeftSGo}wf3D$mCj8_UEE{boio+{+z?oe+cI7Hn<#+{5- zExf~pmpRRShng+N<#JrakQ?-M{ay_gR*AuK=I&C1$u~qC;v@Jym;2SW6i*HEp<2%O zRqZ|Z1YjsaVX+;$&Cqv*5_0b;x`-3Sw_Fp>puOKIz>pm}qg#jXGAQ zqMQ%v!!L=W?Qi_^FXSj+`9a)6OB2U{%dE$CPGkLa?`m=By|G)aO!!29Tk?=*TE(0h zIGpQ@Tx@1C?{T0s;YbA&$B0j6wj>5f628Mbam{C*N*+a$iN9@gnOY`Oba@r?=-|u# zE-i8YdI(w^Lod>&!olU%fzzR8(8XM;#i-2#m#uS~5aAA|rF1{*qWYZ9KocuCDSrjIM*dwQt}FyJMH zhiuFpdecfSGunJF*_NxDoa%QT22tsZ<#JXn%$~`xz18Mxi^2u+S=Gx5-;%eee|@#x zsbeMjfVfpT7#Bu&7PBV9#Rtq8n=`Tc08M7S(Hz~ zTm46k4Gw}oJS5jj(byVk=JxWtm`2+L)?B&%H_QuQ^S){}c)y2F!A_?|b6$HlmBZN+ zCW^zT>>MwP>#ey(dqPPEY8EV`|syvP33b5zkjyFIE}N-nxGjq^6A& z58L?36l@dBpe-(AHjjE_rJ3DwVZG#@7)Q@$C()(mBO^16nH+3N0!Q?=W zgX4DQHH=iv%CftvjfNyR>uVD#gCHVb5ibOo((>Ka2#0T597qUaM0!1rmJOQzY%e@P zc-5g#P?|;|f*=h&6#||I2Ya}6RbkcJn8|_va3{0jQ<8KE7N6~D>o0v}d7meVmB+vN zW~)7{<*;E%)P5QiznO$%@(^_+q!@%>sm$Y*_Y~iu0~atk;RoRWtQ7vr>u%prauenv zk4W_G*vN>Dwf~aS}Q30|^$q9RG>*!alw9t}8G) ze3ih1g01+3oxqS>w+v65fgQ%6858$VH+OwMhKa+J1^`}OwQSDk+p_84m$In7w=5F^ z#D@ZE>k>-UkTu4}qBjDmEgpH9SX--&g_Q%%zop1k&1NmuN~j|8-UFj%{Nzdv?K_TE z4!-=tpzW$$-}Xx2$+ra5#TT>X?T0&%(eEM9N|ks8du(f+GJ14*;;fe)o66`EXfJr= zn@gx`S^rMx07gLAid2%U)J-*|e%dY$t4RPS(OBfDw+xR?(A^8$YnRl60nw#HUhp2U zc&aC@<(3XoZ)idbwZ^*AZe(8$$pBht`M5(X@J+x^89)q~Ww%g`Mc-sUl3KZWv0<8d zMG_0VO4kmpcT@=ti9x9OV_*ZbV;TmJcMb1&MVJWb(;65qA8Ue!YWKh%x@f_F_>xJ} z#JN*tlE4Y&h8@sl+v??plI7%6LyL#|8YeuqiKN!sG7#&7X><}&qNGTLhin0jOViFV z$z#KIQYQ2nm}>#Dna&h|z5?^UO~qq zGk}U}3cF9xk}4o&-$q=nbDIHvW%##Qqgx$w#%n!a>rJHQZAWrb5*teN>$Gu^wtu29 zPhikh1ZUhsq34&mwvbE!%J_aD@qK8J<5DYCOq~l;w$IAepd8_?;+jE4GWILzK7FFv zu{LP9OI1jtqJqHpDr5!JS8m<%##7&IsWEI#!UnW_BsK*UUoU%HlD)B&l)D6E*`Teu z1W)i<0FcL(1`W0)mK%5U71JkY6Q%GG|H7C0ld1&&D96XLjP4q9Bf(lC$#r+4k zUPqwDr#=GudSd1!y+M(weI<`~9$z);Z)!a1Y3o1;YQO}akgt|N@{G&6X#aH2J~Ccw zC;X3x(#p(%Os!6l4e92LUx_FEBr(v;fpgp@|ge`uXh=~{fmSQM2RB-=<<+c3`+Gx`}+o?rs@w&0Z zvBj2c*9C?-LjAsw1Chu4O+&vYvj-OiW_Ctx22(4bX%tL5^v$C4GUl4O3mxa{OD;7B zDMYz=6|_$RC)^yyrM24IR(kz=qkaqmY`@DRKZ$^#1sgWs`DHgKLw*Hfe#jE1^JX>5 zEZQk|*cYypZa%2_W=}oS+QG#uQj!~GO4+Hn`V%|vEBjN?l^cS_+13`3pm!=<1Tq?H zn)QP-P!y5DvnqQ1G^Jr^Ly8~0*M)IS;sQnnHM2XGct`8 z9Yc8F8K@N7)!@#6wr;8MGt_!~p^fEH$*mk$Q{uwqlqXkA+r#A|+I&m2LWGJD9+daf zNZD{olg&8YY{lUvrr3NOAkrvuevknpl6;;)Y%{FblyJOOo}stVKVSn~K11pmh;H(t zUFksz*TnX(Pz%dqM_cFq28upVM>J!q^p$a8pb5~j!A&v=l`poA(PfkXY_<)txlmZb z-n?p56ZWi|JtAE&ar3TvhxNFe^lo$^`&7MBfaK)f;+g4HC9H)}V_&4C{V`3@(l^+G zPX6Ou1ugV()Z{e+{xn(QbvDT`=jwt)kkQH*bsx|-#XDqm*C1Gi+gQ2tJ}DzhO|T+e zycKma%rq0NdPLvvJK2lSoX9+aBi9aW2rH;fE96{I6xPMU`}3zli?$pd3R<$Ti;=To zD5ycB7>q{budN3f;azwc^pfERt%EjN98+Vj?9dK&j2vJdQ;wV)aJ^3uhRcffQl6i* zlSv74gs0en1-@C7?x7fEfxzhyq}8ZP%Dkx|CC%WHS@HTv_OD4&Wd^0|WSCi?cDm47 zq>STyKTG*OC&ZD?3O)?IqfiF&;3tn!CjIxckC4^=P_bpx`KTmtV-)jaB*O-~3jNuP zF`ux4im28#iZp_gu_pd8xIh6S6SwDwj#TNrrKZP{F0Ra!tez|0GxV3(aq*)G(pY3Y z>R~ta7`_?TLTT8+r$M`Lor;&{81*ovO5E5!_-gM-47dhst z4uf%>ujzh=;eb$|1qK~X%sgbWETaNl@UeMG*-78bht%vJttXo)_P()ES6(5ehGhAY ziXUHoD()CV(T1>*+#M<}>18Re#Deswn${HBL=?u3Kjhe!QO|>Gb(X8`Sh4(_W8Q>) z_Iv-1s5gCHm5=0y=3+#c`Ab&S73$8qX2(j#F8>{%rRd<%oiu{g^2s`A-dB-uPZTX8 zrw%pLMwh32&s81r0A2ghPeoWQ$agEM4r%#r1Q_(D`fyRbTre%9*P-dqjIMG$f$rnJ`+8nMth!uu^V7|#;72&FTWyjwbINEW6Um}xcGRi+PTj%)-*cog-#3bZc(0VI z@Vp1YlcNxbo0XJAbwHgmXc{ua2Fh9`stpSP&6iWOK8-T4zeO%V;ObM~Q9{zx2LMr@C>pKYpGv|HZ@2?l~@SU!;y}wr<*foYL4DgH2l|m13Yc;$Hi*U|4RR<$wPxC3M zyEGxn68WJ#;E*GRoE(-+Yq!z9Y5^;AdFeqqmeLK7-;ypYPoY*=JM+tU%>5RmD8nV! z$@D=8>$H5TWC|nx+)HzadjsA+R$#O1T_~cBLuu6n%M6@q!jLRkrBFXt{5|0pgZS8) zMNt?C(d`*bX2ppUNIdg&WX?M7#ysXclMzyFhg*pE@rqbxvUhpaqbXL90eXKR5XX`) zJu=*^t6exvRTr$Kk6rYJ$=C;(RYnz&(rFu=w(>t%Ee5FU;Zjdmm6dxyc_bEW#&*ZN zrs+KZV15Dv+9{!oxg+^W=*b8AL~XxtG|YpmGF_eWLiGiFhz8C`(A1@J$}7RA78dDaj`s`J{ep2PU$~N;Zv|O}5QlzUm#}&wP1ur!TMtRl)*4*1f!(gAMu=#Soc!8q7FT4zH~1U zV$Qzv%8YVZp+Pir!j^%$k>^vPuIp#>Xm!J}tPq%QO~AXz$;%zL!6+{h@CAchPYDCb z2&BQ5AF~_a@P`E+uPsXeEK&rVu-SG8W*2-V$hnVq)FG5Iqb(UcAM^9) zA&?_mxX!*WOhl19mC*GezSr?B>5Ff;(v~XM4@$mGo{G$#97GCUVzTCk;bU3e|ej*~HvXR3&N_-O+mV z8u8t0>%kB`-^jY$Rm_G;VNv>9u%YWtODHke{40^7$8~l~ijcknPDNLSV?_j~gY0wa z?P!NM!$S)g4`m4?z+Zl>%D+9<4i+*HousvRU=|j_)s3+|f0+ymKhjPdsSQH{!&7$_ z@m3K?(=N!>ODNfb`OQ-HnXP>T+-MjhkQ94=1*jOZ= zG~3H=Wk=LO+v0_X-C(ePIA{2#A*CKip}7)GALX@LcQD>9f(&N(Y$!5kDLqN+_e9c@^_f|D^ zU55<{9%(4B&T~`auYX@?K@;%xBDy_H<}~_(e>gB{N({m9A~JtS2J#R72w1{m`VQZP z9rMI-)Pt;eOpfG|`ieT5xyJp0&Bknb;{@2O2BuZt@8#!5|FOInG}$M`T3=BxJ(yc9 z?a*xDTe#W9JN}k0BTV(m>3G0z!4cW{xmaYwP(L<;Cqn8r7exu=Ug-GA*a!oS&k(bg z4~MoIre-*Y!s7f0rAq3ov9|Xs=UVJ+@5W2I>#m>+IAr!>836Ej% zh7iE+R%Q8|_E>^LSa$~UMR7rKS7{ z)U)v%syhiA^%d%(c(=e(V#Hy7qs0tpM`xSj2sV^}K6*(VTLt>4D$`i*3Pzm5tK)(1 z^5E2XQ-Y-N2&o$32gJ0v+J6z0TDmRU*a6f=k3>yhUF%9t8gCvL48xncnxRx zy0Ht3AgBIwfqu}O;EgY)oBK{l6a#b3{*l|CwtwV{%;gKqjBo$LyQc+szmP|t9h25v z&)7_XB}@3jbFIAmWt)UydP6ZyHR@*|MKx+4k-d^cR@1*nT-D>k1}$nn)n_dbqM>Rq2ySj5JT zfY!>^gj?Q;eBNrebca^LG$W8R)7zoFsHY3NX2Lq9tP1?seCBqH?f2hY?urV>prOzeg<;=cxz!9 zEi?y}u6tTq1%HzG7-*0dkMOxen#O?9Wqw+-0^i*rp4tUeHLvDpv2UJTRu|3ZNLLpliTjjW(}c>aSt7zr5JSeX8smi5QukGP$dB( zCLn=G20HtzbG0=eDuJ$BT-@pphXS| zK*Yci>Bl(-0R?J+Qvl$Ffdi$mu*kkTrwaV1>O2!*DIbCYYBjjG3l|3r%wn)#0R(FT zxL&*v;Eo?2fB^|G;M)q8HvCXY09XK^nHmLVFhr1dKw(uMfxjO$(lMZ5zTF%E2KJ9Y z00PDqu0cEi1`y0YK^7H&d7JnT-56@fkVpF-15O4XQjB1bB7-^%K$@z)=JPBUV=Tc` z-IfIg92mj1LoNcz+PAuNA0rMd+_1j^1PcK0^U&9XDLANrfrUB;MAT#qv6JY4Z`yur zC?U>Ir9ZxZAeX-a0tZUW$oyWr-}a2Y573YJD}lN?$BP@wL)$99wZGwfou9~#pZr#z^%K9|f#0jo4|hu?H%=|I;{a@bo)?(EHVXj= zK$|tdhQI#g$TsMm^=^OvFE!E;P>}I&-&&tnmf$aq79wQW7w%`0KH$E;vbcbRjKYyT zGfWNCW3bSZAx1rMKOV@a?v{NQBoL73fFT5h+}^HR6f_XfZzv}B-~O3!eW~zoNI}H- zK6d}bE4O#}sU_GcysEoz{;Zd_CO$hNh7k>QioHJOjB^6QU!Jc*B^41*pl;A$hZ2Zz zh$tWuQhXp1{K$_Vd`-Vch;Nq_Ktlxvd4Ey`1PBzMz24vZ_e+y+b}Up749Is@Au$XD zpunt7KP=w?12+^X@|Rmtf9o&&)7?k-5Kp0jBmL0?gL8wjp(7HR^XukXKGVroG{V2N z2&-FAht<*kMkY;uMsI;814)mG2m=#<6_Z?7YoV9Jjbyh{^3c55Rh)R8DKkftBa4}W z%#-T`Gi?u70kU+a3vNwmJDWutk0NOB0j1PYK4772oTsbl;8-FG#hcW-ULqL$TEFhXu0f$zry8*A8Y6v4G(Q!z6zj4z!$+QTE+ZC^-sHWuxV0x@ zFcZ@yvP*}-x+YdSt4S7y9ywMTYKqkCl!(j7D5Y|!Yna?9bJj6=rz_*cD`nvJuLFS8 zQM?vqt`JdyQL0cR0$Dcf;%TBU!gF42n zWb=F0vofrp*+);du;19ts6; zd^qc!o0FHMj|CHOk%Y+k)h{RUYtD@jj}0a4Rrz(Y!D>#_pN@0=t0z}O5|hr%d@Rm3 zj#fN3#s0_|mO4aPt@)A8+4?51=r>)6iFNyojI`u=q7TuPy`|U(S(vKChO?c|L~LPf zsL8YFMOkQjOM8g8dyDQC6ePVOE@{ru0=Hc3@YNWRI$JNgIzVvcP4j;{vhRt{f#0@G z9vN?lTw7pKVfY||6f33?$97!zTD zJf$~^9>8(!499pCNjo+hTkRq~%{0%L&hK6lyTrF9OmZpdDdYd?Dpbl)NOEF&~~ zGO36Ck*Jf1gqTS`xd37Jy=wn%PgG;@7VUBH`#o%jXE>T;MCwb%pCrZ5hAo}8cP77KLC5Ri#!*XY z3nDZvC;6Q8uS>vEXV@<)OYZ6XrH?^>%eqW}IjD24$}IXc@~lKw2WxUm6xLRnC!%|jcwbuZQHhO+s5Qy z%+xGqF{|EmSMR#3&U?P+UFVXqb`%BG-pVr=49~5HaSch{$F1sGA#?m(9M_cC86nrl z=cKg3F0zgkn^RE~TFAF04?E}I3y7O9|*P(YW*zUqHLXDqy#HJAB4_rLGtA zv?OvL3|GEzy=o;k_KEYZZ%cRBc8@fxORuO$P>@^3nF0 zX$Nz$DugmV_0ARF+>1L&91Pd-_g%Q++`Gd2a;TR?5xshW;xS{HLMip$hByuKyiCR% zFAzY_YlwnaDy8C+GWVF6)AqJ;17B{)2=9U-&udB$2J&D-(BAdI%hdEYO* zZHu8El30ApEogo|%lpvrB_#UCCA~;mc_dToy|me8ra-`iK3b^xkXsA?_4j)&8^{`0 zH|ihhC%g9qyI)Td2VYuY@%Uq_z(k&(uLWw2=GTEitMyKnN(&gUE$w$`=ru6r$a(#~ zCIWQ5x!7Q&O#o{n)ao`wE45So3MUWbIfradY|&J{3jLHKn=XP$-P+q-oBXhPD! zQz&8tG;KD7cr(}|w=GSLzJub{Jc$aXXB1F1$GYySRJ8s z46{$V#_9E5NPRd}L-xCtIGmXl4u-b}jZ`H4n#uN8{lnjRm93yoB6I2V8EbnPub2=> zOynRE1l&>au6S%-*Bgp{BU<&vlT(jUf{NgYji3t_Z^OFr8<^_!G#0P)G^++uv2WLR zKc^i%ff&rb)ANMdmH_?Qlohq6>xby9ha}Hvaw_Ik!r8l?L$@DuVd@qE#4_Wn&*KxtPu!>+cSp0gMF^`H7^kr1i-^oA$sC> zqd!C;0xe>ELu#S6G-8f94?@?PsF9qCu1@2Z=fO!$JrAN``7CA`flHp{Bc&Flw*oD} zub5`f^S4EmWoG;5HH0}B{r5Ou6%=iheJ8sbOIUY@=8l-RMQOZIcTkKeN2o~(^^K*& zO$o1D-q&Tf+FR_Dy%G2c{J)h%{wl-k`Po%8c6)?bTpfDGmK+7qGzXDa@m}-c3YG(D z^(8wOnNE)4GClz8Zcd>MwRaI~lsaZh$3uOsLN^hXN)?mflP6cSI@Jq6VU*6N%Yu~F zA)IigWo@MLGhmRX4sz1s)^|r8?w*!xH&tmHsGSQRj0Uh#rpz4&L@i?aU>0^uH0r3x zBm_-{1|P}?;UDcKIi@Xz;`iT)`I8NB8=DvQ4lBm-R-I2eC6+wHw!9D#ilc`66C<7t zL+2lY0a&obaL5N=IbDH(f0dI)VmfdI2fFpd)j05E>^y+C@7`6hb;qyh>9?zp#wInt z)2=TF`iHXxYlh4U6Xzi>8j4iPmNRC=w|v~FT>d=sE~VrnUExvPVQLv=Oi-^6>CJe)+-S6%am@+Ze+$2TffDy$_ z!05_Af~8drwEJcx2G_CODePQ)-HsR2@9Wp7hcm>WHfRXHuvjvD{zG7twA#~^St`5@ z7+aksXI?Kva)P>jP0U<9+5L4d)HX5-Y2w4xW?F0UWchtRn7AAwm!#`Q$0bdU?;?5ku>Z)7f?< zGIZ4*+|;vkWTBg^W8_x3A2!n_6^bR#^(1PYGL)9C1AteY%TSSeB;kp}S($Y9rRr8Q zor1`L86Aqal3K0Yd(UG%q$O^R7V@()3+wbvo$jVi%BGP^IZ~cUcVK3jfTAd0l(W6! zv1x4B{XD7VMm1}|UKRU7Ur3$xGOMFV;cG~5Gig86MPEuUz zwefz35jK4vF)~0G(Igr}u3=!$z_d$9LT>X~5OC`X=0~!jBFR84tRII~j>{D8dH4y^ z-hFKGbQIkz@6KR!XsiKaJ2CJ`IFKBWWtBqwwFrxx0nTk1t%Gf&=p_GFhV<&sDAQ~cm| zJWSd+>RxhMU*5V>V9?9i-Oc;BxaKf9vT*?y8yi0<^S_U)Q-S*arkajZq)1b2OxaMp ziaEi|Q_bKZTzR=FL(Xl@#=+c{+%FC*;_4@QqWdCouIYJB$PZ@?Y?Vhw!jDW#v+yC8X*q8w84Tfc!(YeM7xX)t^Y#QK$DDK*7G{gB2|L~C*sg>3(*vvy>;r13BT6W-oGaz@RWP?2sR=>^f5*U` z;*PG-?!g?p4|!eQG`;B(%tGJ^DZ<1D3|3m~MM*Wh0OSc6mI8Ym;I@2DWoFu=u$)u& zfbO{zk0&>wt7$1+opC}q=e7Ogy92gH-h?aqS&1b;a6#j{Xy(ssxyI+k`@Xv|&miU6 zuwi-aWU!VRzAV*u=MN2ecV%f87@-TNh>qm?_fdlS%%`NUTH$?yHhWd8bw>kmH?r4t zKwG*k;N&KN#5k=#Iys9tY6+aP!xH{_?82vSu3}Ced?7}cla5`C7(Bbls~7$XSCI(c z>IGS#EjJsJ_8=5Hvg)%B9F+dZZ-dY|1Pv9NTKa8Z=ScE*YHZ}HQL4{fDhYsRSiwH% zH;W#;wnzL~($rIRQ)A1XG}I7@I5+ZHx9b{QR_s;KU5_@JsO#~-LAV)7IXtl`Iy2Oq zg?{|WG7R23_d0Z}CCxU{tz`X}7o!0+adik91S=7`Q1u{l5F6`6K#i3k=z51MiyN#4 zn>1NCkJUNggFSjUluCzuK*myM5;MMw!NlDTf1s68b$}>j0#D=`fA@bBC%e6*#Qn8V zf2EQ^MmC5)$}`^N(E5kT1&@<)lxwUG60}~Q#DyFOF=d9_9VoPEI=Wkt)qlBg`MEgcf^C=Wy5teF=rz(a>`%Fho2??LEW6v5g#n49c2l7Yd3Cj1)WmNogMaJ$KUsRwPaOK|vCF#-N zP35Gii5S@s1qPGe#4;Nwj|*u#r@WR?SH%L2zvsv+Hk(nz{IuQ`pupP8s^8Wt-VKH! zvp%8rJlW`ZWAErS%tIFUubJhel>>P0P6P3y#En+fC|(N0JK%zR;0uak^enL?iR3Z3 zA&t|HDy{P*^&KuHMmAmtNSRb9t><*%5Lg{umYFf!OiszB%^&n(tnDf6Xr7k>E`Xp9 z>AA%0^Dq54+t*1{z{AErfIjG0k?|Otc+hse*ZD0=K5$^VBs4PV{pVRGJ1&lGP|F4wKGNK)-#5&|ACtm(>n{Xj zsjyuY2&ZNHym$(TG?-7)2wk+V-w-Ut4|xGs1S|y5i!FsnP{L~vzQ^DH5$&KYe)*f1 zviHeYdzt}ynhsRA&1PQyp~@HUUrEf7K8llE0F;QN!vxcO;zaZmTPlnh__Ozb?-b_3 zFC_ouP7u=7`RRHIhgqKRjJMzc*v@h2&AF3ystk#M8w)!JG(JgD-IV!|fuqScB_r!< z({oEnZGu{ITcrgBuxZo4qVIw0pzb+~nsUXbip$bi3TB=zXg42^hXSvc|R;cCeBbaShMI)NCQ z80QSAIsk2gkD8(4avOSjK_}>vmmVtaf;v zrmfkGf>*fBgvZ6r(d5sn8GCzt_fQ0kADCXMdabX5+07-aEz6>LWvi^kZ2(#s7PRjI z-)+nrQL9<|u+R0DiR0&Hclmsn7+RmId~iu*AZy*I#W(d-oLQ4HWw(LK8k9aXFGXs~ ztN(AYdXV$)A@74K8mG^*pP^+Mp(37)kuG{*?|%G}6MoQA=$*Cig2-TzS(~RTwQR)e z6UqE1D->lE!>drRwBkoyK6k;=4s174OfhKx!YHDAue#C-ag3JH}qejz3{`Qb6r9^sWe9jCzF0RFSVyneIc zWFihYXC4KuQ%w@xY**q)LxRWkfTAO61+HDbkisf%3sb=xJH=emgpfa)?5VVt#oKbD zwUJ<%=&rQJ{cq@=L5x!rzyst9Jb&ijJQ#t-S2gGuv;K0o#&}9yKfIaeEIjCTIIi`zc{8*M%hv#MVl>GDT#q1FHisn*y6$4WMp##X z&?Lp}SN+m@uE-Nkv~mM#IM}E|TAxgMV~VGKH*R~(x3s%;DZZA@?9r(1uCf;`C$2lF&+{bfWst zz>`5A8~?Jd+uRP_pngiou$%Or%38JyRS_q$qL@udw8)St$cHG)!Vcp>rnN~iipL{q z9chr{tCK+D>o7^f*EOnLPO>rx(STsODw@ocO_R8hwtQ`UNTy9l5MYD>h4Tl2BvDdZRaD79bxQqdlv*N@hqI$D`i0Lp z7&!jNLHpmi7b87AGsFKAKC5gobS&0xA;I2ozFuv%-k8SODF4qDrD9)#ve{ZSNSEhk zqeM35!RhCWm#>>m;vJ{>=l87w?lI-r_5AT>8Pw;eJ7gBY1Dn&q## z0nij&jtYZ=^W`J)%>bC{{u6RsQ&Q1X1nhf%69YCoJvWAXy8Dc_|FbR+1OBH~9S{(8 z*_q!rHNHMNG9TGjLqZ-HAH)%$J#`f@aZCEDath#n*@PcV6(6Rze-1?NSY8^*`vD56$Jz`L{m>S9^O~dYc+o8{oI7GHS}FOSX*)sm;%zbJKSP zD7(gI6SE7m!%s<}&)IkX=Tdu`8dodOrmxQL9gHAAlU3STmr|WS!{1QHhX!9Y%$wR( zIMhE(!0x_Kv-5*Po3N+n?`X$#&wN{NGn{}wl24>EGS1sS_s*XwOFxr+>r*IZrhVWe z{qJnWX&XDM$;+^IQa_X7kpV$OzCmw0_6{y3KeKKC+TTm~=RPLE$F_*1$I-CP+W-!^ zAlScY{Kif!!1)hXGRDt`__uBDYfsSb532jm&gfSS_7`2s>(3MKkE+>U7cMRlq>mop z+Z!C<*A62oYyh7ZXnx$=nfyAYe{Vl;sjHeBZa+Dl-xW=$w>xLwc)doOQs2!YgMIgO zER&IwKd2fV5*i+WQ%O}@la&Cdq|QDb&vb3U0UWbK)9Zk*DH}dbD80S?lb^bd=PJu4 z&9FbQy?3@KvwfdEDz_=sK1Vae1w`eAL=rDO>a{1h^{Cwm%uMKR^a=GY$S>84*or{5Q5+lhi-u-#(r{ zZj7&V^oXz~(Z@fL(dijs0dG6zA36R$ize5!v_5~oSAbqMpL{ZZSYG&Z(Pp7-tk>ou z=@v1@%ko9K8rf^N>-g}Q>{CjHU%Ln*>ztBb8YVo>HqQ>^ zlAp~y0Vbl$`EXpdg>R!GO={7dBJR1+w&dv(^g#@kgH$SSe%(vhKw7efvUeS))at5M z!pXXXxnPt16U7kr*((Tpw|A9AWB!kW2?l&i#xNP~$;PxQ94mAgAZ|?74k~W@ReLd- zhRH>YV-g(AeDW-1K}BMy4vqr}lSM3PZSwU>j?9LCyzT4Q_8{cN!3l@J*+6BKO0FSN zhA_NcK1BZz&4MYEWOHmLy5vpLlj^}t!;jcsVtk!W&QMcV8Y0PfAbdc7m1_*)(lyS+ zfF*Y?g_CIT7%F~PTEQS{kT=kDqc!y@UcdYLU!kx8DZ5W}C#ABf6#MS?-4IOG7U>B z@wRC(bC>a9KJli+(}&%C3&yd`nHLf-AooIK*rZxVH7D?HM38m{dK?QKi(k8zYSzJO z#^`;~W&;(Q$$xW^Zw%y7^FKS+@%{XmByC*9N;Lscvxqt|(N9r?CJ9;qtjq}!n^rK; z7r-H16QG-$7c2eX&#=WLZ=Uu{>sFLZUO1M8E8UEG6s}NE-1yhvE?DIVF6a1!(WjHd zs{Tn?0|ZCsv~gwnrjg%9xvVB9A44{U&f&u5{soL&0gpoWWAsMj0({_T3#$kDTh3 zx8KeuY&x*yP>(32zlC=yfP{Qp(>2sb z2m#i|DegH7ArkP(^hW;$_Bl;-cM$sVRqnrJw;3l>U$J zMCS93AUBvDfXGFty+8AFu^rrT`o)oCwRDRO<$5PoD~u{+mBiUgM+^So z34}Wq&nG(Vg|F^d+7Y^kPsl>nA3wwcEc8G8P{p=m*_{4ym_0uEsMJ7DZ#H{yhDEyw z1G3_nqzth!AL@daO^C~I51BMq+;q<;h;`2vnX1G7!(hx$J@#6v^#H;j8!s-;{0?Xf ze8YX3@B1~}6i{7(*`oI-im#NN6IP#N)F0YqMx{+5U__7)bVSPD5;_yH|QQJlb=^@mpp-!n;3=_~(r zP%(AP_u$l_dd07|K{ES8fcxIj0*Su>pli2VanDZ|>$bN6C2nw}iK(Vc*D-kYB~$N2 zpz0Mlpm~m4*zU*goks<*`;YYDQPpa#Qsrf;;LU8mmGNG=ba<{C!v-l-e*u9BXiZHP zlPB^Hjn{F}%=mp)i4qlNyLN&V5S{Vd95ZQS7wsBS8H9IbwaQFPD4vvsitJYDF=W%t zTWy@|UW58l`Lj@DH9=c|3!mv0al?$khz}$>9_cryQAdkxesGI9dsyKiaGV%SBGkBl zRXpg0>tGeFLGw;`N%VU?kyy=o`IaugOJJEJucGE5PO{Ev7J@?->xA^as|Fx0t8os;NcjjPaz(2wJFgL3D#b;l)Ul0nQC7U-EnW=i?_j`~4lW)?7iNb~ zUERc+UWcsi&ed2G0M)E%^!{Nt!@&1mB^9^P==n^0xKU(0_K))fJ+reM48@_jxe-l}DOec`?y%403i-D{c(ZEBt@zs^A8QM5n)XtJK1XZ6Hm(Ak!$fyDS%H~Amoa~8jdBK9UKi<9&P$96B{HY+ zl%HrDDO&6L_dGr(?H$(GSoti|8=O@L61zRZoCV@Apx%)2P$1A-|6_$PRQXJAKkFXTRUrx$KX>zwaxP_-$D1NYr&WzcCnDm+u^vh-Hl zEKSdS?5?Z!oT!VLFGnlBu7NP!`UB4gF?nW|h4hAg4V#}L)iLXFY6hx&%ve7U8BPrq zMo@RXf2fOdeN6E-vg3`K-jYXoDkxD5XLJO$q%GBL4Z-89)A)s^$Ur3p^x4fNGWGQ( z0DMRXacr&AO!W6T*@jmTwT>Hc_@$(Oih;;eF=hCPL^YTekyjklMj^H-t~7jzzK_}h z-V7+aar?L-gP=zxZrIzgYJO2ldA0%k44hYkL9G#L$R7Q*Z!u1&_56tns4xXwIX}U; zy2sfr00!IqMF4jp&cj*Zl(2y*`0ueZA7dNtg!fy(5dR2SKEx>~F)om(;&+e{Xh;!^ zrY3TcA?(xM1viqL49s(|ZCCe<;%|3Xt7iG2%cB*wu_0R|@c`-B7JE`=pcn^Bd9#S1 zWGYECVk_*A4871q;fpJh?7*B|#EOZe?abWC)(%q?r^F4@1fPksC^%_f9|BIL`7j0T zGH3R5p!tph#8G>>?{j)kt_lk?> z-{5QBo9mqsH#)@!gX3JndhR*|cPDafe+!thhYd)Z?Zl6wfDBsa>GIao$Pn)ju#AqV zsF~;4v>Y2R^n~}LPMfQSkQO(j0-w3R`B>uJwGM2t5wQ+0Vytk2k#b$U0_BBulBh!T zs>sfOxw$|q8C&d$Q~G`TZmca7sNtI4tN z;GxzlVr9HB{$(JBnv7!AB2<$4D&@GRo@L5k+dDfgUx!LdBBazRfNbEHh$>-9)6QiV ziWk7o7&1~SAMR;=RfNQT_3kmX+}0w%bWuVFCN5lbQjVVPCS8})pQHTuOvW4 zqXjWT@+oguEdw3A&p=&HNFh4%834_GX`ksdHH_p3ry*Cl?PlzsjP?!Lkq|QyQA2ag zhtM+aRcU7fQh3wR6}u{djgX%mRdC?%^6}=fQ3QP_d1}zp{!qV!qU4#-U8)D-APd{7 zx%J6~^i$9Nkn;}h5Z1dyOUlg|W{H(eT)#PSP){EzIcV6hZBOhN?Kcw`F=3)T{7QQP zb|(FoEK5{KK`5TR_2B!NDqZfPgK)$tR>b;Hcj&__1`gXZ21$&rxp)D-NjB@ml;iSf zrF`_69p*8FMRgMsLlLQjl~p8o==Q*{0sqDAF|i$I?yjQ^GY|D_w8x}23Wv#|YRCS= zJKNezfCnKB+5)-m{C}HeU`KryPC>si$#wbZ}CZ zasf3%O6P?7Vx}(Mke@RHzcn4kJ_wSB;l^<7MQf$J?JU1If0ue6+^9(17Vw&BkddX+2R>V)*nDWfIY}= z@!v&oVj}Gw{1YuHLmPH#9&a$X0C7iSKx3|FMQu^Js-QCDiH4rY+nx4+vF+d&x(P93 z%@sVU+Z1G@ko2$N%wwNC=d_AvW8r-eo}ZNk*dzgK64hxxLL|+Ghlt5#&_KWZca<6r z)J-SBKI}f105>8%c9{jRXwEGSkp{vdk?)eDc5QQf&)&A(diLA9?SXAsx?Rzw-?Bt8OgO1TV*B>skO1>r(^FAkTu4t1vkt^()$1-Kx z*!c60q!ReGu3mPnqaX@BxA}ZZV|LW6;4({+(|r$2RA+-LVc!kWhx(z+!w6YP+p;DK z*4_xYg*{Um`5lMRpvu`pxIY@HJ<3OMDIau>+k0M0p273S>DL1RlTCf0eST275I`u!lCkM( zMTsUMiGAh=kCl#HO`F~O@2&V`=FYYG1z1(J$hy&xAlyuMZT?$F?bu*^Xn~Gu9me1s z;M$~vIwN2TD>@$0c!Q z{(bfDkW$!R^Py#lzN>zX`uE4ba6c{b&A6x8R{e==q`lcxTjjVOmW@fo*AkemgXAvrc;r)i7dw}CEzXd@0FjbF#tCAa8Y)Kq+tdd z01_Z2=3%;x;yP*sXK=IC7bDjhZ#NY>lvV9YGcdV`ku|~$V^W6;C}~l z+O|(^Qe#&|`jpEi>e|Nv#R{803b1zXXI_rSxN6EBxx*^U!N%Q((2HW|)~qem$E_&% zSlf=gK&8zTk%;l-vPE6nULXi}U&orHy6-qCU}0nrh8x2cy>7B;r-;!OFg~4}d2cP@(g6&)Q8!k3$OElJ zxw65@z`Y@bljGdMhrm1nj@px2W~G-~Ou|m7kGy1m zZ8qR#?8kQCEw0Rxaeo_{KZ|pjo4TYI*lE)l`0{;c;AS1NBCvpyh|r=+ksIAKvHICs zmH5P`+2p=brAd28EB>0f>Fnqmr=Twka8#UwRJ^?gx&?k9%F$xVRnmd}9AinYkjk6E zQIy9hOo)RcF#`{@LA`sp!5|;*0u=tfvoesiqOZ;yJH%ZlOo!-YuECg<>J*9Uz0OSJ z9LGa&9OD&vu_BHIWZ9JwUt_)aarxzRf%C~b#@RA$1rXI;xb~a?3m*{wm=v$?QESZo zfOnJY$8#%`&9g#PY`LS);UoD~0s>WpcAL~NMExRinQe+HZfoe4*h9gElwD7gr;qmx z^X^!a0lP29>Vwaj?7X-1Y=ad%kcbKYy}AEAoP9M|;Ir<2b^#ABg}pelH&o4Geb?mU2g8;N>a&sy#DfJlkF~SOcWT?Ye{JSCl)oR#oUH)nx#Dq$wI3;xj zcwx_%50i=5`e>&$PUJ{(O;I(>znN9FE0Rt3Fu3CJDd!T{!08*>nz6XpN^fe)Y_TJW zALr(S?TS!wxx_Xnva#_OX^;cwq%>hO%OHGb!Gu%VUXBV?USVk_*|e{vOD2X9JjUE4 z2ISKuKF%0td4MLkQHmW5CbK#ESrd`ZG)&+?ErZ23eDSp0aLg5TLCpY`;Yb<3qg2Ox z!l^Y8_gk+kUkZOzgTN-mK!umnel_j9_IAUX#A{TnW5ajtfwV5KUl^oG9di(}oaXF! zkOpBoJ18)-R8h7nVY<2?=#?QaXhf&=qNFgfW$S~qg_ZSXm3A7%$~fS{?KaJK z#?#xQHvh0zVWsB|64-%vdZDmH)xm}J!2joR?*)V*|FtY-fg|Ic$}scj8(c}_bCR28 zlO*{u-mA-r;+1U9XiekIW!5NYvN(^nvMp3l(fZY&Fh7UDT;OX{x2+WNnk=hKa+Z+% zt93~9D#K8AaPY3;mj<^H?t0g4lrToj`%_P)>X;9_6D$!_9%6k4+xt(s>fH#wepcj& z*(ouKEd3RVZ|>fEHP7ooia`g%Rw+pSFj)SPUo?KU%SK?;p8jt)L~o=0sb^FecXSQw zo<20lTZ7n4p^@e=jHOU5b#92fVI+WQB|8tQ7Q{0>F7Q;7hZ}rqQDni!h@mb@IALQF zQ#DsPvl)CHc2ULlHE3iwuHn?U7-c-sq_<$0Duj@mNjDf=J5K)hCPBVxb$ksqtP;T7 ztdvjjMb|0R$pB+=uMcd2b@vkw_-X@R(D#|$Da$=-t3cbqu>!(Xpix@lqO)DYxVRy_ zDBuD^c*Jf#=v#Nv2iL7$ja+-|&mL_N&V>bwDO$lrrn6GG*EZHA=VeBBAj=2!Yg-r0 z&wKhTwKR39C=c5{Ny}*p9)^zFb(IwF+PN{UB@jWwGee-kz$YtO<TOC9p@@N)^CVZ}Zr z#=;fh!W^4L$?@ZH*TX?Lc#-DSs!43Of7WC8sVGOi=g^joT4;1xG8sy)lPq0Bs8FD| z#hrLlB5m=%_Lf~HZf3P9v6H?K5BF%Z{ zA><$vO={!NuMi8V^GZQ$t!C20znC58< z+`k&#C!@&!Ea7&~d8H}8UiPS6x12fF>EzkvfQl~37_DM|+tb>0{=$KIn&x&N{?gFw zpK8%@6{fmP&`CNt(-{IFnAsR7U++;noNeX@ZJmL%jJN3c3-7k++na> zx?~y23=h`B`fUaeDvT|K*{91HD&QDQM~pcx7{l>{K{WCw#DDDFQ7g<;LZC)`)ho1q}fsCU_Q4gassw z)p@n`>@~iYob-*&s-D%J{v;SsZX3ZmNr=`~5qO+ECiwS?2YtRpCc{qSP z-+ONrde<&Q4XzV-P=xU+USii$eBAXo0`+>(;Q~MKs9S^LjR2`-f%>EWB|G6uyd`K@tZ@>_X?!IFIP+snrd%d;1 z-}Ux&e+=fX89aE-CIvPF8SI#8%&umFQ=}_~trL>0RK2{B4{*4h5jI`@8O;X_e#M#? zo~^*{j;BF#Rl)ir=jYvZQ7c9bd3uuACN9?QVWV>hC-;jbsjaH@MYm{GaNm^a4g335v?0(JD_au4E zr$}8AZ!6cdhzm4aTlK2mkEx~u^TB35KtFauV=_~+Rh=aVt<#kDw0*mGy7YnCsv~ul zcc~}C9T+t4r33EMz3KwBUNqXC3$H!bOYioVbnNeA84>S-cVvLYG01mz8E&p9fd^v) z^^BMXEzmqCDJ^Ndr-j$M4F?IeWJ@|TC_RFH$Iw=Zv;&YfsB}p4@qIMxH3E)VMvZd$ zE5ag`t5?GEAoAU+{;;e#=-V{w+32zUb>}+GLyC;OvSem6e7{O`i z^TPeh;&kXC1Tgm26l#aY<)-2|?3>YML-iqd;PaMy1VoW4pW8ppRS@jXN|WsU)iO16 z0}+r)dr0uK6VD|Td^%KEHW>m!`SQr&ENM|utvUYxkNoVh^f399&D)|4-!M~G2Q48jhn zlV$opcw>AQhfYxx1bf?k*T=EWODW$Fc00qgyZVCq0q*)`JvxR0CH+e+X*ZCz-K8tO z&s_PH`x;<|EsOyjOX>!UyHXu10D^9Qe4)KM zfv95PtglFcCx1z%8pfHU+Y+SyL^4P9&cHux#udiJ=(9UNyJ*d zBx!1yNQ640u~rKc6A)UL0$~y4$fh}F#lv)L_vD5KafO~{+4sjgC0T>>XotSb}fipENQ&llj8Iq~4 z^+2A-{kk7Va?I9#$-VWLK@1WY>JO9J7(w=Hni~mB{NlZgra&P5v|)PwPpLK794x*4 z0%AV4rnJE!r7z##oGxmuFtR;AJcvH2YkrDynRo*TUjMp9!<^R_k|lTQbPN;DhX3%z z%Ex#et6nC|%n-~TW^Vb{wp>szfyzJ)JOWmroEY)uE)1D9RJRFWd8VJc?=*5algwG~ zA*%2Z75Lfi8FH0uK!EY4Ziqh)o6;$Tl?!3>cJ#NmYZ5p;x&@vkOAd%jQj_AzPp{tW zqI<@|hC2+M;IXmw*5&qgQW3+zbo$?S7627g|)N-`!;6qRNoqt2mka5Z>F40%@TOJ8m-m2TEZW_cPHjXCi05FRy;+8?{6}3mTYTi8f2cNS02{Hz> zQ_&Q<^WnQG58be`|3t}pDkkLU<$ManHLG*RR0F99S@7fl-T`9iK5`0*jh=(lG;>Tckct` zT&I37WcW;QRW|wiT z0#=E{u3>6n3cGxRM}{1$Ff3Q?7Cc6h70HwTV}kTI^LuPBdm>C{3DtXLbc4!5C5{$} z140V15t#jGV3fK=UWPf%>`Ab&qiSk@CLhIlCg$p=MjM1vm=!kyHx{dVxSyVB)9Ze( z>v525DutdxYe$SGNe{ljE1g^D()1n(v{mK?OmIJHXccB!H>ocXu<*^87T#@P9u(b= z8zC{JuIaylUBI0Y+8_~jdN^eIwL$WAl_c*kBW(lNnXbtnjTGJ=?{Y*aHJHQcpJiN;&1acVjupLPk@hBK`cJG8JQSHN z#8~N&j9Dn#RIe3OdS92;>8msr1((u=y-&i~L9dqW3OsPLrccoI&yIH&bp=LMW4`v3 z)mdQ@UIE&dbLC(0E;XA1@zdF1JoaGfbjc!|;yP-!c$uouw>q~$!?Jxsn))GYd>3mi#nramcMXbKp*DiU4tqC4c!|SZ}bja0q;a8S}#>$`8Kr<#qjC7 z*JpL2yBp@53^lJHt-TxH0>T73(O~}o{LMy!ry$L?xL^mqce`z0=p5(H!+ux2-aomB zw7MosiK7L1i)n=*1rtpfX7d9drj%T)t<_vP$cs*I_N z&%Pzmr*S``PfLm$D~)<&S+KL{Q`2+S2~tOjGw$X8%`3cJMI##{<`fFzUXQMh8tc3n z1Pt4007vQ?e2-%S291LT<=*Vx@9cMcfB^#F$- z{Uj!$!g(RLC9K-#tYjL4vHCgy3>Vd2CPLKQIl3)h%rkaifr7wLoGq8|4;9JF-jr2{ zRUhN8`y{z#8N-HMvOVo|H4KHopdgJHJNwq(2FmH$S$z{XI;JBje1@0l0<|EO$ z`0%-eO0zCogO%(n6qYV+pNjWJFB(F+IF?REpv0a`$=m9FEvok1N6P^(YX^K9K-J1X+$_Ftqil@mZDIbzm z1uvKV7|V|PHhL}!$}c?Z{Se(5t)Rj+{l~i@8|G0aY^itNw~#6-Yo_8E0Pp0cF%zkX zg>1p{HB}UIp>h{T+x8vfYVKy*6dOC|;F#k8BMth0-

v3ZTc&*F)C9MuF7`xQi@~rK{fT|8xEh9{TO%nV zEa=xFW?nVT&j)(kJRUDVSY7a-tjtw`_x$tEbVu(2g+Dg*__{LK3U8D<)Ul~R&G?e> z2I!C(^#qG}$);oKA#PT;WhEliw8ulK1O_%;kuP&ZCsJEUAP{HWsLDrIzzY?P(whM~ z^(~4K$elRJbIO5aU_(6wfIr^bA?M#&_Q9!rHgpX;ZL?7D2 zZf;ygjA-%5mvz^*RGz8}j?YOoiowL@2+Sj9(Z#$ zEP#QgZc&OT1qP*c6j~{**->q0iR!kaaHJeGRqzl4ak}^8ng+zMJ&Y8P*W5Hi?nhu^ zr_&V-!)6v;n)y)ZRm5BpBH(yEeTnTX#mcnkuo(pnXg-T9{An|k4w@l*9I&~RC%+Op zc~oPQS+||o8iT+Zys}uv5RN>fQ8g;GzXL!sHKjn?BL_kFv>Lf;^g?3BA3dcaVE)$& z3IQ^Dh53%U8!z{%?eTm0cq3-%oF?(t%wBs&Cq@s*JFYjMbr}f4mVYmDUbqCsA%$Vr zDaFHl{6Pjgvt*_lU)}n100^Y?cW8U@qq$L?-eC65=G?U0y9TsOt1Hk^W!2$|4SNX7 z*sH}Z_89T&!z0I1X<(sGeG0BE-6*%VSq+7G)zBXLKrh~iVRi;3#EM7Vhe~na`8Rwb zH?0oc=<4n*!D@CNvX^9{y0Qra@j|_T=D#IbHHmna17_b8AYPWI7?B`>kHQImPnaeT z9D{11ACqAMicL{ivY{-LiBYgH%H0_%$S=>d!rQi)QDQ-Z@oCbjTON%m`egd>+0`xV z;bV7V!QHi1^kxk8JzL0JVet9K0C;~uUkBAcx2l3Irsh5?q_5UVqK7TQ-6ghW&9d5O zPLYEfR!U#V+M6pxn8H)@H~HO3iCm~$SZXtUZpY&@u`tbw7f@jP+9BhFSdl?uuDLS3 z+G)Ex7NY`}zj*qni^)9E3FrgxT&4rtMN%?2Eg67${P?lf5+-|Tb%l<4;EWqvNg#(; z%xY!ZNyZY3e3;h?OF#c?x&j*W84?a4j*H1|GMZTh`psLwl}Z^YQQ1zQMcT5gf;5X2uDo(Z9{ppo#^9x1Qu)(#edh=l+-2!@@N5kk z?f_D!h2q^)T`0nsq^Ej*K~{j8cK|o?MY}vdWuY~5A%}vwzL{LyyRMmMxwe`s26{KA+Xi`_3yN6ikE}^c5i9*$ja`)1~R|v6}d0usINu;DZ?omaw z#hD2el0UW%dFOoSrW9x&-ONSrOl!chMH}PImM83RL{mxU>-^%PEo-7dnisKKyB!L% zHb1QxC)HJ2NWLVH-oJ(hTTmnbuoCdh+8i80ZO?=knuPG(c}%zgKEafI&6YaX8a0Y^ zk%Im4&)nPjb)I^%Q`_l`b&p*+=qBTelaJKE$DK!~d?sa7= zm}i`kPkY_GssPLj{xE`62sw(bdFS0kv;73Hj&ES*)4%;S2b`;1lw_hohCE6xbg$hVZd#VAiTIKfa<3q^BEN1U}2z9&4))T+%;Bq~qx5V#XVDH&n3=Usoh zk|rhOnyZ9Ple~e2pvkXdy8eBC`_?itMBYX`+u8vy&q#2s&5g`Q{?l~YoAEU%V(u{| z^g(1B1k~;hKM&?q_K3ir<;`^_cj&*pl6rA9d|F*CxDX}S(o%dJc;ebXIZlvQ5)BE$ zNV6r^!CL#`6|SyL>6u=z&Z;|<&fQT@r#Zezi%jkucE)y5p5V5ziL{dgEeHib4wLs6>Y__*;|b<*Sw;q3K6E>Gla@LZKi($Vfg$O8)plP9W73Hk`}w&yFZ-V z^KKj{!+I-v-atGO2%?jH7d!QA|oG))VCf=*K7#Zg}U#!6QML8Jkshg2q0Y_6I zj4j_HWa+(*Tgx0<gI%TC%y#8pF`GW&WU??&oOJQ(&vyvI`PdFQf zji`N3Y|G>Xf2LD4BORW4=oq^TH%c&kPnZAb`9<6j4{KNVAqGPAg~;0H$r(cS^3e=| zQ{W>EytZml-)cl>44P}7)mBlTX;h=v-P>HuJG<#FES+;HwnjQQ{?!8Yxgy&luaDyc&+(z9iW8UxM9MDy2?N z&JJ!+y0Kkncj^Z^0jke-s}KNqV?}$A;r>za4mtf+LE7kbG=ic}VtW+dqWD-$n@$2$ z$ZV#f!$H+%CWF#E*nq?yN5EP!E8+1@MH6Q#Dor?BJw+tLPMmf`+VhBgsMH z$@X0tN)C-@qUCUm<#SmUgbv0|8{ z_I6{^r5PUn=@t%_0mw;hq}w4_u3-ggp0Cr(X^A#QBm=fZBYX-Ki@QQ+IDuz{&p z);_ky%LqL$;kFsFb^*#=r&JzLkio-=4li2?%|wvBc^vJJhF0j=*p>MYpFd*_&MB0% ztyHBNjjt4-_DEK-j4q9eQKeOcIbJ(e4dHk=bDfbjrpMOP-A@*%Pg?^-_RhiG+zoow zI{)pbAuVWO3;kyRWj2?fdd{vBU*&0ir}VJ!*LMh^H>H?d$PmrnyZX#Y&Y)MjTl!Gu z0)b+HDZ^QSTYVh3-M$M0$NR{ePU9-rZzCkPv@2IqvzCAF#g!BXyc33N;a%c7OEMYd zx=t28dD@5G8#!yz|H75A2+&j#;apV8c=-mrwd`sq_MsEOLDGP=t4Ak7>;msyr2JK` zXhGs^)=9Z?pQB^5E(xj}2(5O{qNI4SH`(XCO*L*q6N)f5ulgR6p;jHf?0X>h|8 z^4C`h=_Hi^u`5)hCvTx>C-=^_T8|e}UC5F_k}04PQ=gwSverppmYR;I(naPbA)l3} zBuQC%0I4^(;HzrHe<{qR(^?vRxB6RmUIjQMlqCE@E|-&<;eB%zHY5tr>N|i$faA*z zH-Dd0q~FqJCSx{sT$vQ3?LOU?Ft3EE#uhl%dp!2|Vwf>`3~T$BM>l_qoWT(zJLS{- z3d?0hr@CJ_)`}``kiBEhN)2G>bdYhG}6c z>d4CX7{Qd}%%!60tDC;4B%O4+4t;pX!M^L0ECYD9 z8~Sor3ZH)EQ%YiT1AX&nJCjE7z2MzC{T1xj}8!}p}J;h9W?o+DEv+$Lzl z`6ymyY&YNt@qL`&BtI@J0*f720v9?qL9B<9^oiC2?cF#*4 zOracjhKUHWEP4o1`A_rH89mq@!K#YQaK>8bOeK>8%m_ZGErI7Ml2)U@bNv`uKVr!}ySgx?#;xEyHfw#k7_8t?OoX@Zq2B0AM-phub}Vz$E(mH)gb6m9Ko z!n04O*QK|orI|Y<<&l~7Nawh{j5sHiM8_h0AHKwIw9YEW5Z^x;{sR*;?~Ig#&Zn5Z zW|I6k8HbO;kzHiG>Gr_w)YyRM!hA6AdPSE@OVYBI4b`+Q8d^l<6xsedvxIJscla^* zi{mm)Q*4s(`?rfrQat7rTPJh=UVdU z((wV(MfEIJ3N*8jBoU|P9w0Ww!kIWJtNq52xCsiYiYZ?9>5ll2`;y8yEFr+-vF5Ws zeirIJ42Km*PbhH!sF^S6YCpvARgQh-MO#Wi@6oF4i`~YQ-_`P|ef+%PQn$Z2I<)06 zdO4Yez)ajtrVj8n z$4wZ;~;3na5Pby^TI$Eq?cdE(zYgIr(Ii}+Z z8?~$xFR$%ZQO}tO)~P1-PHs&P(O+3?(T87QzF$;U%o=2cHx_(_im#ICIaloy?8YL& zoAIU{L#M?XHrIXF?HnpZr(5JHnVfH0^aFQaldPJ-ORJM*HmG7*bjyH*% zK^af!nj%-_T-y^=$VJHVLn~e%b4)YeNq$isApLgvdPlv*s-g%u^Kz^Jp z6G$#4kRRZt4lqLuJuXm3m1&vQ@N^x;HH(`hfW>x6LP-X%qMz+3Kdt;m7NY6TwR*C$ z$W*fXN~}JQ4WHz_(m9-*@=NBta;WR^$j(7+n)@P=q6$xa^TwMdT5gMyfQRLMLp|sS z*0{CXvl;tk5QFP_RHQ)lnRwA07QrT~lJu%BL+_b%QdP z|5{T&_rv5le$2Z8H5db}Ro6%ltJ8TZ6Ab_ARg0?p7Xzsm4j-B2K*h3lhSCvABU$H% zT%`h(Bk!$`-MRReDs98oE5Y;Re7naeL-zP92iu~1mb6B?C%Od^bJY*Y{ecLCo*W34!HC z7X*-oo=@Xi26?%(Xm5i%5@1V6V>_X|_}hDgsx?wai9P>^58*m45`CN)%D{ovSTNtQ z{cf3M*a1LCi7o515d*XYSTH`w5yIBv9rBXvM+&2@kc;`iDq0loWOna)Dwr`eH(B#S$ry~on3dxCovP&acl#DvLG3I2>lG;9R_Z)^0bn$k)XI~PA=IHIIvaVts&Gz2`vHWL;eyF@Js9E;_Ex}3! zC%H#`^slK=TacI6v@4f+EfiBH!K;h+e|j;20pl^Y3=L8aa`FxcL5ZOvjGw7B_v&YR z=5$#m9_@|vWn{8wD6;yk>Ce$WBcsYeM`6UH!ch(8vr0|&-XT|JG=QB2PyKZV{K_OZ zSutAwX?zb2t>a%?)XUl6BAV`&LM^>dLTKA>SVB;z!4*jjatQ?PXdr?X8tLk-=;g1F zH8<<@tO0XHT1~bhQS&g+*1t&2)AJApmK}ipQNEbzdXGGOW1GHsiKE(R@zwr?xdk0* zZAP_ZZVpE5Sbw2q!muqV*Le8F$|x>!?=kx~j81q!1AJ@jddMp|WKglQ`g)fR!XiNi z8chQp^sIQq+f}Z`#dB`|*(A+3Tv9?}t)jNz92V!@;YnxUfM_zO0bJ{V&WfLj$aJ_E2A|H!?I5U9O=Vo2%quU9=auz>e)Xd zIMJ)rV}C*Bw+$KUi`LoKxlN&i8YN74a#%4KwW&(g0L$U8+hEh}iu7y% zv8stNFL_-Ti73{P1FySX^k3%i0XB zKfF3|W8`4!wB&bTE&Hu#34NmxTF|u@JhO2}ag@q*NF(G&kw0 zU%ClZO-#wZU$6Sy-PUfQe`H~NDSp()4EuHlLS#ATOY9dzVPdKi^?uJ>VqWpy2b8id z$E;i#=ghd}%(!nFsQLv}x=7ULMQq?u{6ueEGI-E~1MGIA~OyIZ4F?haXbcmYq` z>13PyA)B1t#hZS;V2kdhUv=@g15EzR2J&K*QUofafR)(ZN_HZ#p*fIponuLX8J5of z+p)ogRt_H(c>}~dB!Fu)1TS7cy~aSt=|VNCz(18<%5Ch*`;sp#ThpM<^xe>(ZjS@AVMK7J^{uXzF~%Oa-o8) zB=Nw?&s6!loE|}$nf_J`q0-r2V!hNld5?ytBH)E}U%|Yp7QLD#+<(kS;^`hSn-UUX z+?cI_;sGWbJE8dRmSC3Fl+T#?ybSp)>R%OLrKzH&mGW4H54e^n4AbA8&IH4|>OydZ^b@xbu2nodXuGSs$6PMmK*~MUZTYTT=I7-S zp9A5s(gtJQMHm}>Eo5}&W0=BWdF=1%N0;xNC8Q)5M#w$YI|9MpNe6YO?M$BYQ$P`ox-1TM$48Sz=J-GcGnDR`cIpqTnV0jNz(S+44-Nbrrges}3*JR%cK$m`BWK*8^A3;NDN zLmp$_6vKZaqR69+BU$A|Yy#WNcfjw{x%zDI=U_`4@C{)I9;8*1li?0xlw^(k#0t$bf%y-Zq8s0h&IE zL+rjE*k=|Zf4b$!UGc~+7hj$1#LqLKmKcz^nl^cw)o&nOMr_KRh+kGle23UTNL8nn zr2SsoiBj1;4zrIOU28o=Z5&v#5g}jM5U6_+ucs!6S4i$`K}^OX&!LHB{KmO`O|8iW zi^Na{2$Hqd?gKR9Qyct?_G4E`ztMrY7Xc=^u--DFRLkVZg3YfG!e8k{J4-RH3Uu%M zGbWin6g;;HJ8;Ytf+;2ndb?&pS!9eESR!r8c*v~{+^$z@f2IFGw_rBwdtIgeaoTjA z&xY2$dsVP;vP=;kz>4iHs~wl!765yV3PxeONu@!uR!~v>STWi#AO;P=t~}Z zn;+{bH@SAk7`+sfcEQap2Dl9IqN^rzi9-nDjomg zP;nCuHnPQRkS_h*7#?55RKt)uX3-*QwyJ{6w+7s$z)uyn$qpWI7tfiDB8{Un@=1^C z7gE@$){@bplaK~v_ZMh03-#s)fo34_>iJ!I4V1tgEuHITQXy{V{ttgCX!cj zE9b0v6QOLdVi19rXCnix)HnPnk|`*>CnAiefI%;j5L)M^-I|_8BcTgo84)Xm&)k5| zWjB2tH5y}ubMEZ6>$VSWvrRu%x*sV<&MFd>eTJ5HZOMh|<)DNuBCh-w)ppf0`aGQc zv99c5L8=yltzF;B9RM6o<`%C4nMd2F8wI#`me7Lt2%NQ(l+#y+;UjPN_P0tH_Nr}t zzZ;3i3I3-gj+M3f4b6}a6R?&1-Inlf(Jj*$mhK(AO|T-(`_P5#$Ezamd0K*Na}(Fd8?2nTmT%aOT?3 zW>I0gd2qs*dFq3kK!bx`EBn*l!9*|}5YHh`eWk)FZ6znyb%go5TM!H47#%Do4TB_u zVqVlqi%0$yIOVv?0DRhEh2>YnGQM*CJPV3qL~*S$UTuxKSGu+9)%si?7uEehz-CjM zhFvBoVMdKW9gxET9G<|#WuGg$72M4vHuUWs%k3Saj&5n>9?JqKcsz@3vcC!YxA?3b(hlwj zP>8G@TN1aq9QLbUW=4*!OE6)w9tzdVI@`STxSr`KdPIr*zwo*mn{ zmA_rLkAb;w@p5Q+0T}|YykNKvJq2@Rf%w0SogluQzmsMFP?~`{1&{N&^eqN61;)L; zsi4jv{OWH_0Ng%s6T5q33rJ^I-+Yh5Z)dLmE7Uu~PBstMhR|=68(`{6z#6E#Gw8a8 zQ=!vS&k1-(&q+HNPl4-qIyxyhl_Vhh%D$UyW|DXPb$}sFYzx9=}$W(z&`Qqm;AQh>RBKE;rE5_m!_3>WL9ox`^OaM zXO|@)UCj6v$YbNbBEvwwsj>Mj@O!hve+y0w%iH)i5a0Phzbjin&+aR~gCF(xdsHR3 zHTtMVXQyZTzgw_wsSw@)v}}WRf;a)GojX$}-==HM4WOOtfp~%p#J{fn3_?0Ozd;w9 z0fBdTKNW+&9H34OfHizQm#=CNIXEyeHe1WpU&F1RlbR1^G`lVZ3dDT@W~>S>t)H_4 zgw&RnVu*q0Tx~(jfmxFAmq$$fykbU#{5k*RR|eu+|Gbsy9i0LE0Cyc+9i8of^gDl_ zA5Z2V3~Vllg5r~Wu0=-{_XZ!V-d|QgU?3t!I>zYlCOAXx?-5{)1SpVKP;j}_Q=-74 z!B)zvN}EmbwOw(;olkfBeor_j>dFP?5zx=+_E{R@k3rAjT>*ViL4e_D6*har!)Hg; zY=hv2w8`W~9_V+L^fk}yes)m9)B@dP2jP^3YFvVkDe8$gS7k@ogSNl8w~M>7$WG-Y zSb}MP;wr@7XZBkDop2T}?|u?;0V7lQEjk~jix8}x+wVV+(BSPmy3WCRU)%rmtonwI zWxYy)>ZRyRyf@-|IcKN9k{->yzf|3g5QNC;4$IK9ECFd703sVzEE9Y7OcyVpZ2jOl z-;wCjWWAFl%a?xk&<=xx#iS*O={YWvRp1`r!)6Q1_JTmfKCeuWm}&iXGkBwB5_7LO{x&*401`>cIy zV$Q0nTKiwfurL_cc>C6u*JyVhyzr~eD6xGr;1-jaAx@W(ug+ZObq9ZDr7*hX6$6h( z?%_KtmA9_QX{)q?WiDI`M@VeX(G~#Tqtjzakj!5St#KEqJbNX68^++-gnpLWZ?d`- zDczg~MlM1Pw(mz_(rcF3Bfs3WzAM5Q5y}6d)DjuQ2f-NilvJJ9qd+H(#^AM2xS4K= z+)i0fLR^)t0hzT5C#FV6(r%(CO&-}AIX`sIhGQe7Y?BvSoY@#kMu#~PPy0;bv-VeJ zpgr*OpLNXP>r&5kaR;Onz9yR^#rztuvg9}6d+T7gs<{RXU`7U($)hD+Q(tPx(vO0n zjkn#|syX^OhlYt<5xKk=r4OCaGBpTl&-=>`+brDm_Nvb3ON@i$T4LvL-0|zrM&B)i z?l?b&91QN`@z4Cyj<8Ne7Ec%>)i&+YutTQ!UdQ_b=&gG0XgEh$;=^;nV~?GM?diJ* zQSW9@h=NITll@>No*BIHvmZU$RhzG=Z>vl>#ELqw5?fctY>%d)NnFJhZgHD|VWN^8 zbPBc9JryRVRmgRa1OF72AWBv8=WbdIT4itEJD-N8 z_k<4Wh@lJAlud=~_tP^69-p(Xox;`_HtNIXmMw`Z)sjnrfrK`GOiFD{LO%(%qcQKR;&$p z4lUeE*It5w>r{-w`2u)a-f22+_n1H8anUqxB+}uVpVyx zA!u^e=+)>=?3-^YhldQA^MgZvxq!tUODIlOE-BJgb1kTrkD|0wsi;&Sqy79QR|s$D zP$ou3y$#<{`S8ROMJtO(1fDG2Jp+QRre@HjKfxCoZv1KSlRlBITXU*4kvUUh+_JKD z5@ssj&g_hz$DW8=f(CP2Av5p;pI_hCJmJT^)n}rGm<{v`d)e@omUzif3cS zhowvOdcg(1v;j=`LjDVC^A=V7em=Ag2YjIKCM?<|SMJLW=gzZ2bjAj!> z#~xfD-sVQEv4FF)8gB8(6##gf0v1Ntfx%OQ_GSQ7pz=_J$z5~hnD70D{qqZ06?R-@ zFvAk6Xq>8%j=Nf<^uqF;2L*ckUr*vb;ynMcaQvvzW^9w4IOnaeh}BxCy@W2ry} z7V2N9+hv2V4KLSmv-O{l2B<(d>N&;8wfr@hYMQBiYDU=X-y#wS-YY&y!14R?P5taS zJ|fN6f|NlwB0qB>;uPvowO7QuHJaV10@c59HQxPo_kutknx(ys%Y!1&3OVLiAzg zl9NqvMuNRYx#EZ<$$jU^fh6!-=I#NBYTE}A!0_Srn6ct6oDUV5gfd~Ity>W0p_ORD z<&}JIyfN=7pN9wgPj<+d?2i0y&RdVF@aWA%2ltK!&)F9~KckD{e$ijY1hf$SBC%!U zgWGN?TClO36fY|C-0#KP4jR|Dy#1ura)4g9fnc6}RDTy%joQ_DA%lTt>~ zH!D}^R5+P{XWTYt>W~tu>}t7gx60~{tgM-o+Ox4$^?*eS30d}!Yu9e)b|@LoEx)p= z?PC|3<25DGh3%E{0@N7Vr!enqmLXIYcXQeknD0_4OJ*8)`c&BU z=zRFxblZ1wicZ^2nyM%AZ+*IjssY5SEt4RX?C|bkQDZRMw}&lhbYCz-@f2qa(x1hb zNkq+NtZ_hviGj*+HfUpB`*AUeb92>+A;j_T9sRj$T(E$e)d2wc`%i1 z`lN1!ym=3VXlGjlzsqVm6y`lyvafZnGB8z-N^E>&;9=rL`*a;(lIqQ@q_V_BT>+xzy=wkL1zgG@Qx3U%`oNb{J7Bko(;AsbyuYRe+_O#M z%xQ=0S=RaG+b#WtxI~%Gtug1xx+Gi;>|2ckOmxQCldqy5!dGW&?-5h9o zzhxt>8B=vL844v|CQGF7ic#e6f8$)yWm1Bk@$?*c3$7uSE1N8U&-AHjx$T*EI6gRL zE+IVeL~-`;i6&)`oQR8|R0$~x)9s)>KueRRILf$WKlcKJGO+EI2tK%9~Sj)g+069aXX`3FHo42HUu^9Y>g!{;Q4zNt&Kh@7r%(NocSIWcJEx}$Y2bHtrPMiw@biLxzPf5e4uVI!kNmyBx)T8*fMc}3tw(d_*XxA6 z8xDSZmPk{j%+WFHa7@|mxW@o>Txdy>#F~)1nU!Kn5>4E}t5O}BX%nGDZoRcyC7|E6?!;HX^F@Y4~lrNK~EnBE!_go7IzO&@)6!&twhc|0) z7}v3MBw|y1s5$<@4DKipOySKisnT;YZAdaRPFFh09$H9NY`2hmqc?xGb1ur*buhzK zu04rPAjDM{$GeW{ii5G)wve;2RyTIww%o_E7pP?*0D9+A@f$G(Su|}Lx<({$oV6F` z8|rOLQ&otj#)pt7Pz&33HC0!M8< z37eYkO<=EQFd+{bfh(2R>S;WO(6(z)8Ma&-l+d(=J(Dkdi(MpTo>JqOPrqDiQ3*3m zlJ+IWMsCDO%Rg7RsYnD4LQ*ZBH=zO0(MD+tm(cEjR|=`_lez$K3fQ=&&8z>YjlyT~ z$`;tF40yc}mrm}Oh(&%51Av_bU$oTkp#=?!o{nyebAjEtra(jfOmf-MQ;#fEu;uVS zjOa|7jT}p0kzPKM8Hr(NMJJ+3Tt}PM9ziY*u zJ7E>^BlA5_kApsg>!F?P?~1B^7X)dJ0S3Y27f$a#O(A@;Wy#Ob>a$g`_X(6_AlhGM zEbnl*bow!7av0a;KWiZ@Q3qfuyJS$rG<8j+`N;``IC$^h&Sqz_R4g3vLXM-D)E<09 zb!2nj?wZLgapp=v2l_l)A$(#pMFMo19_AHUZ*P-(uricG=*6X@_8WLMje?=o^x!jb zaCR4!yCZV%bC&(5wEPd!b8LI`kvv$2RAnd zi}gWngpy!{A5gwh)z}mwAH?NqL=i*T(!CGY*WxjyAO8LFqU7o$I&Fh?WB6ELZ(bm#A8vQcXddT75iQjJt`mt7H86lSh!4Eo?54nEDHO%*DT z0Xo$;t6EFU+!r1n$XcX4-mCA9v$~$%s1>)GZ;;*zWk6c4y8n!0k0cPo4&twqVf~}GES0GKSq4x{k3(0?N_^kVfxn* z=;+p3s$OmJf=j0*>?tJV2t!x#!E%QQ@{w;Jo#>VxT%rYRC(8Mh!y{!tjEJ%esffl3 zn-s}62lgvR^1f2d;VJkgUF|(abpvq?MDfwuCt#-6VKs%De$)!p z=goB>Qg}AV>qQnr!N94T*}ODkGdQigRZqoR&lmUeb?vW&N~@6YU!KsO->3L?-{O2v z0jGYjlGj)NR1HV0>ik?f-f|}xheB76%VJ6!vZdUY?6TOuz5*|o-6Sn+D!*$(_5yIK zY2Tds!MQ!mRCVK$7YH^B_|nVf`*gD zYgzQ7%lJuVSX9(}&b7jICspS7`8Xp6c3n^17SbrCefO^95ZTHRZEz+p)K>O>ivIO@ zsnV5S{gg0K!*5-kr28(T+TI(Q|3IeqYil|iQ$T2by)482eQ>> z7s)Rs3(@9pq)xz`WQfFLRy^3LzMc8<0ndII?9pnnEZL^SM@q)J>BG?3&jTmL*D{Dq z^2kuQ-XjQ^U3{+imZ)g3h>$XD)0$pnm@k8eDI`_`B-goeeBvjvEm!!C8*B*gRq|bT zK1gMn17loIluJ43B^+Dzx;oYXRO89LV^zih>QA8RJhpGM5n5!wx?T_&XZ3v*z+TNb z^zVJ;6rq{@F~7DMGd9*|^^$YV^8UZ(${#2a;lCUbI`w2swPXE;b60vCtf69fXa)X_ zMX0e~RbCE!Q}pwC1t}QT2U=Xa>b6oF`Jf`-g9CX9^mx1XZ*SB9+s0PX7_B2OA9rvh zSZCh+iY6I(^PPqlYm0S4Ckitgn62Vk?xZ@!+Qmv$see2z<*0F|+|yR_bv?KyXFy(y zV)6?g!;2IpOm+7*Ai8HwHqPV$Eh8+SbL~@?S3h5-nkzu_Q1`A;?HNikcxvI3NpWdr zDK>zEcg)w>#Oe@|zG^U>1i4L6@iHyeJfFOXt%Fqlp7786+*MYW!V)}e8A9Z!K(q>l zb;~U(gJZ58?7~SrKC@9eYt}UgeTRv)8ka5%hwLwLs^xsE?+Kn~^$F<2F+eNRta9 z;Foo0Y3%(J#Io;8iX};{^7EA-EICMjC(Ns!u&0(sDiQM|B+{VNVK!3RLX14;Y2})t z@p{(z^ptDS@}uAnSCFgpUY9y~3tPimBy}=+^BJ-*nwZRR&!<5VXSGw7FM}gxE{$%anIjxdMEvAN|Rhv&oGd4F}L5r|A_V{T7 zwf(qs)U0ES97TW2x+tQNpB&EgVF5VX$aFc3o90>0FrrUUSk=^)e|GNIfPEd6X+OUp z8^6C^*_+3!b?$_>3qu-YO!uAs!hah*SiTFupzfGUwv@(wq5eY%*xYcZh#w~iV(S=;7x|zgFkbJy0t$9idoOyOvt$ zuX?YVHUTkVL zdXGd9JxwruRKiAX5S0oiboqO#i0UA>6YBiPh<>RqmdV=E@`t?)HXx;{*Ldo&--H_f6 zDxCJtqjiKD>jUUT$(Z#uukdo~R)`JT8xZ%@E%)Q?YjZ4bbx=`QJuEUTt>WPT&9Zx< zH$rDeVM;-zNe2s+Y|?o2*{4%?uT_~9f4KhmSofiUE$d^Tb^F>~xCwf`GiQ%5q$jD# zlIfcTmW+kYHP;v!BaNx1bZJp~*(hc|f;t$@RV#@f6@FtKX4~3rjUw?#Kt@LDrE;&v z^T*&`T}U!Y;e*(=2L1H@95lLF>A%j{Xamz|E~ur21DJVJq$F){?dNVeAWAy@gis9aXO5c)J{N zb?)vyb2jD+EumVXVk8Uh&Ho$ zSwQmcw1RnjJ2)xd*o5P);BimT=&kyWHP`$Z%CP;NrR&ooBaRhxqIFSzeioa2nE<@( zh@Sv3CX)h*oysCfeYNxj?W!>Xr9QbWWlYDl-@L1r9?snHG>ZH>Sar+PIN{Lp1}Lj} zq^fR&9M0I#C&J-Z=K{s0{r$;@YEEWC(^YbYgwb8PNrX|!j-@T#HhgdMzKKIU_5_6JW) zMRbv9XYHcCBK}<(?HfuxScUAoaIHSTa%z_7bmql`_ zOobb(m{>7mrvEZiyV7w9S2JB0z}Bu2q3yx4+{5vyBcddYpKWv5hR%-mnew;DTbMh7 zdddi=NwQ{=6p|cG$v%sR0Ne^p9X*EKOReaf1~-Io9%9JK71Rql0plz3>#I`-+Z16m zgq)?=_9~e$k^bbg1c|+s1SQ%13q(&|NK}H~HtYPk11IZ*n#jFBQ2`Rpy3MsrtOC~~ z`usWYdm^X%jLvN;&p|#o^%VoDB8O3hq)+}wYxoQ^zU%FJa=b~ak2XhOU(Hx`)mvBE zrL1vgcm`of)TIWw+%dQu=HZ}Sp>`cxm}uy7-I~dWRS(rK5-Fv3TQ9yW1xGE$3qi-5 zjYj7GH1-|9aJ}u@h`K}<1liSzx~q#4ZKI3M>ScA7)ob+LMQ_nXiReKPJvvc>M2SvB z*=VbNe((FeGw;m*oB4k;=gge@dG2#R*SVjW^IS8}bM@0v+&f|Um-T_c&Ud08#u1!T&k1*Ev^zWW&3eUskunnUz%ixp0Fm15l$g7_a1um<$dtGAzgk-s@YoC_19jwJ|yCbG=gsQu={WpKX} ziXuG{{p;NXUeJznuA>uf;X!iw3`7n!^&OwLOLX_7{OB9wyv?5jUc>>dvt-9mT+jA# zhDps&P-CN*x!pzteWuHDYoPetF#lXTYdfKebBy8s^O4N^{;S_iR8w!*VBK; zF&YMr}Q{d+D(${N}nvqx&b1H_zZ;xuauEg7)2pDqC3ejfDaMWt_qVbn}-?eSA!Z=*Zv2 zT_aY=q{L1pYoUtCwEWyvcieR3xqQ zWy13$cDnMVA7zh8S{9!i%T9s4G}NxwdA!uh9g;|64vI4ZEuKp8{{B5i_|^h*_BynS z29<{OXL)Ml!y0islxmsq)g;G`w;^?h1(hC^XR#BkMZ>dk>%^V=Cv&G&t~|d`)f6rn z&54GQ9+gM|_9^QN;bGtYAC06Js|3D=Lry)8`WkRDx(!}c6h?Si;vzsyEE7S8($^YN z8Id@5v z#qU|>8mM8`N9z+yWOKD5Lkeo&@YJOxxR&nD*#8tAj>3?zFJwMZuyBR1jbyuj_3V?8 z!WC-2Vs~m1!fFtEa_pYJ@qIT6&eOMR_I*ca944LTp@R3A`{$z*Bfsot{)VPQHthuw z@CE=kIR2e39(A1QK&L}1ZU znVM(Jk|v;_?Vx}!R|2ivXp}(rkyz35na5+MNex=)Inm*=omX-}ZMupRM&eRYM%gwv z%BV^%>a_L^rFNP9oA7b^fDMhTxV4{-JBEGkhK!3}ao_7VmO46aAG9JES3HehXM!g1 zk18e~n|aPBnbZ4?VndntgFMSJ1tiZpEmhp8mhamQndIvJ9=C9x##ZS+8vC`_%X}ML z&qEiO&yA@;!>X6%bxxO{q6yg#c=+`GLf}pRddXLsvuvV}?iB!z-!VNQ+9uGglPVwc z>66mE$Ac*+2$BpY%;x2jtPIS0TU1ogvw=yjJWODD?h8EMuP#e!#W$^)Fj^9)gOKQz z&{Et$YK{J|ui|~C0)7e2y7rEZhwO|cV9yid=*vDx7gYoH2yneICWM|Rbf^z6_c?F! zl3L_`+)V2H62Vx9EK!h5nZo>LJ)NP(yp5|;LC*~00OZn@IGBU&p!BfzYtQDQNtLoG7&XFa?)z%m*oJyi6A4oaT5R|WlpSw)JMuzZe=!3%iPj{U zI%}Izr@d^sf`;^bi~eQ>G^7z8q!Kti4c@zy%Qmf8#UDI5A0qz#6rb~vX725=AvSa=iRoYZbqw&WBSl)xP&>(N2-*iacZL z8-2AZnY*Td^>5vAik)X-L<=A_(5Bqz_izUxVS<*c1*2Hwd}B3!xvIVen?Es%>lw}H zyp=TGaKV#5RGcKhJ8X*S;(|-%#6fE6lNdsiAv%l4X7zVD#BY0nRSt!M6S+(Ro39H) zV_2r*CAcME>*eqCUUQnd$p7U!rG<|S`VkuEDAJ)Sve?u`?{ymelLjZoTrWWs1o?Fr|$$uIXb_2 zCA;D00a8vC*Iz$_A!kBK)Wx6NYo)tyOj$bhXlk|EwHRsg;Pl4l>3hb^eGZV6K1mY6 z2=aU=H^8jc8>+vc>zk(jw=HQK$xBnYQ6zjNL;H?ci$Q5!eX>BdXZ+_#-Nv4Bjt*o$ zX9I@&+6%j0N*)+1mP)h%D+MYOYH&hM1Z0j#ILQ zsz3gBdn;nC2vo49VVaa@^V?4@N=@|{jcO1ag-tpGm)eyUN67rQv(>BCn>uKNk-0#V zMoVn==0~Z@7s@foFZw9ciCb=nx1=u(Ut+lY8m;G5AUxuJuW3O>V=c({-lC*#o%P9=%>w5`sOFiEh??ShUc-c< zlyaG%fY(Qo2*f^64GtKY)U;KJ_hsoO4)El^7)374Ko#)>SN`U|)%eavLTqEnXeHF_ zKo*zGH}sx}=FM>QzWAQ0W+8H$Z5qz5mowe)JWVd#p^1j#@a+KR2f(6A+I45ejhc(d zBjX5z_y9>$%wkL{jy8Smx#SZkW)%{OaeL;Yk6Q!XTJy)EqcQlCRDRy~Tf{NXOFOU` zIf|CM12|?@XT1%decVV7kO=2FBAEGth(euv+EVz7V~x?8y_nb@c*)GP#xoGzWuJ7` zm2&->QtC*Mv429|;`$zQ!^0i^Kjq27{Qo6SevL#}ds@MfAP!e+8y&a-513bwpBKW< z3E-1M!Yw=y4?Pdf|1s?mF7g&0a1e*QIE4S9*tQTD3=w!Z1-baa?EL)f4}NM0>;KI~ z2WjEz3bzLFK`opf5c0j&Q83_zdOA5-TDZ9UgGI;A-W~LC{2LQDNDq#5e;67hzzY@x z3yDF5g?J#m!vDegFN7dfdoMT$!VebXlR;Y9J(w<@KAa#&R|^k2cen+}>;Hxj=6wjl z36PTdCou?12f%-ewRL=5;UGQ@O9yQaX8@l%NKgR42en7Kdw>MMV*gQZgC3q(@Lv*b z&_BIS9uJ85piU2Ik%wC$tl|H}cK3Klo-@E_sn&2&i*A@a@Vox(MkhF=%CRoiRTZ0t z=6Y#?2I0yOL|PnDFpUM1@aYOt*W=S^WpSd#f-N`0w}&ONb$OIBz&!!xSl-o!=HKkt z1hugOW9?5>9<=tVHe=7@+_qhn#y@|Q+{?ZQ9S+X5dLG6R*34}k%Q+lMsw!iOOFQ!N z-5|?o_$dDyS#RF{9uZ-)^`-s@ZTZ8itH3^v6HvYe4kJyoh}9c2uM)PVi)@Ie zjblt`u^seT>?5a`;$u08Y{Rf_#(h3i-etJ)wX_~HAXjRo!**?8qRAGaROmd_*X~y&rsmzyfYvvw)yZwv{lcOH4 zXsCb*$YZK$r;^?4hLt#LXw0V81AB?xAAdt*iha{;H*i}b)xScsboa}aNc1Kj~H=s zz&WT|J;h!vwC&F@Wfd4%um%}B&1MqQV^Y?mAhaLL7S-TT1e;!1gjCQDQZR>>KjRz5 zqJU3V!Z|ZXG*YI$WPvaP1BZ`;y;hjW=2&t#F6YwI{R`{&URgU|gUW_&c;tmhjO>p~ zX$$HNp%95*BD5CsOO`~}bZ17Z6@l9CRz;Px)>YYwPJR;XV`?en)c^TLv?b*H{q`%H zPj-N*Sqk28W3?r)P4%{)tjV!J$hgWUqs88|Gx9^$qlwHLx5Y4HhbzX$ZLM*x22PZ_ zWG2TB`1w0S-I}`QZ|Oo;jgijH@Wse(zt0oaR;ndpxXb#zzqyEI2duQE+uwI_oVmqU zE&m9AhpewQ){crRuqR@1kzE`s@hEj=MKUGp*m0SfHf=-FU0zY&F&u{C?Q# zAK<1{ag?Vgsbr}1^bmn0D2!gbpBy2sGV)};b+pO3-l8&s#fPNL^A9@c%`X?i%25z9tg2@Hxqd zxi2cGVk)H06o>6~rHXT}+(*%7X^*J$6VCslUG;u)mp7tnPHp%HzYc{pmXvI)762JK zDQR(`Vbx+YTk)MfsHL9kd16gvYaiX-53zs09|kDy@O}QiMkDgcH-%dNyPeWVo;s?c@O<_5yqu$%EmXC)6>WCn7<7BPEnfJpU@sLWD_SBf2Kb^xf6OW!~gpH*j8JIfWE3 zz6Qbaw zeGMH{`CsaQTy?3;Feix7Ty3VUKVtG+JXix&z4gc`waX?=b-G;`#;n!U>tdcJLNJ@< zLNF^y>QD$gmb-hUP@{h%Bpph)0u9ZVj}44xd9h{dI&A*Qcr)N*Fk-?s?3WpuNvqP2 zS4m!nWqvmNGY860if_ArOq8)uK4{y!Z`xc{kmvZGhrNA}r)*$Rnr>bl;3PDI>|0bc zL%mYl`1EKQ^#d+tM#;bHC1$coy;Jh3#^o)SRdoRO`}@Zunmcs+s}HLt`I>R>z2V~Q zn4VG34{1~S{2Jz=Z6{Juwj;$?*Ll0-{VfERfz?@6342rGAMNUuQ^FJhBeB;oIm~j{ zOsuYnNh)dczOsk&pVyxnj8x{GB=FLHofc;qW2(6M5-_RlcJ%T=QfXF9RXaE2Clk-9K@Mma{G4G4Y2rp-P^_mv!9Q$zl0CxU?*JTo4N<4^_?cdo`lp@ zbK@0d?8GgUs`J|;_$N2Ko4AhXYfHaWtD={WEWo*Z(Lt36$veN-LgDhh*T%-&A9hY> zCYLDvABxFHzAG{E@{Fq~%Y!weocy=))BInx9X_vE?w(fbcvB0z3*Dc8-&V5dB}A8R zR}L*RjQk_yt=`5k*HsNGuYwmZA?n)QLC)2}T=EpP2JA&oepCnT9xT*bMR-)fq2w10 z9KsRFoXwpU(&FBp@iQd0C5jExQX!rs45{K7waI$rk?4aJ{(J1mTf4ABnpRoICDk;h z3~b%|aL?1Y#k?ShQSTG%HC;EE7iKqb73;0qn{ky`)Dsn}3Vvzem-#*2I!f>Rzl+_b z&b<8p4;l*oFB{G~Lz@-? z;Q_A`<(SMV@{|~muIwnTkgGt%{i}t$f==!|Xt2o)t+LPiNhgzZQ-}&`l{XJ8b=fl6s{w8IZ{Ei;`g*>UBEH0&x1urppR?lbVS#)o VruQ%pV8{c*7X`4gDri6f{|8dxRRRD2 literal 0 HcmV?d00001 diff --git a/PostQuantumCryptoPaper/report.tex b/PostQuantumCryptoPaper/report.tex new file mode 100644 index 0000000..686cf0c --- /dev/null +++ b/PostQuantumCryptoPaper/report.tex @@ -0,0 +1,149 @@ +\documentclass[11pt,conference]{IEEEtran} + +\usepackage{amsmath} +\usepackage{cite} +\interdisplaylinepenalty=2500 +\usepackage{url} + +\hyphenation{crypto-system impli-cations vulner-ability} + +\begin{document} + \title{An Introduction To The Topic Of\\Post-Quantum Cryptography} + \author{\IEEEauthorblockN{\textbf{Jack Harley}} + \IEEEauthorblockA{School of Computer Science and Statistics\\ + Trinity College Dublin\\ + The University of Dublin\\ + Email: jharley@tcd.ie\\ + Student No.: 16317123}} + + \maketitle + + \begin{abstract} + Quantum computing promises to bring us many new techniques for solving hard problems, but we depend on the hardness of some of these problems to secure our data in the modern world. We will discuss (a) the dependency society has developed on modern cryptosystems and (b) the most prevalent cryptosystems currently in use today. We will analyse their vulnerability to the advancement of quantum computing; introduce some quantum-safe cryptosystems currently released and/or under development; briefly discuss standardisation efforts from NIST and predict future adoption trends. We conclude that there are many viable options available for post-quantum cryptography and that adoption may be a challenge for legacy devices. + \end{abstract} + + \section{Introduction} + On the 24th of July 2018, Google released Chrome 68. There were a number of new features in the release including improvements for payments and handling page lifecycles, but the most important change was a small, simple UI change that signified a shift to a new era. We are all accustomed whether consciously or subconsciously to the green padlock icon at the top of our browsers which signifies our connection to the web server was conducted securely with HTTPS/TLS, with little to no possibility that an eavesdropper could intercept any of our communications. Tech-savvy users may even have consciously checked for that reassuring padlock before entering their credit card details on a website. But TLS is no longer a luxury, from Chrome 68 onwards it has been expected: any website which uses an unencrypted plain HTTP connection is marked with a "Not secure" notice. Firefox has gone further in recent times, with all plain HTTP websites marked with a distressing red padlock with a line struck through it to warn the user: "be careful!" + + The modern connected world depends on cryptography to succeed. In 2020 with COVID-19 we have seen how many industries were able to transition their entire workforce online in an extremely short period of time. Would this be possible without encrypted video calls and email? Certainly not, many industries would be fearful of interception of their confidential information. Yet many take this hugely important facet of modern digital life for granted. + + But this could all come crashing down with the advent of quantum computing. Quantum computers exploit quantum-mechanical phenomena including entanglement and superposition to perform computation. There's a lot to unpack in that sentence, and to fully explain the nature and workings of a quantum computer would take several hundred pages, but for the purposes of this report we can think of a quantum computer as a magic box that can solve certain difficult mathematical problems very fast. There are a number of problems with building a quantum computer. In regular computing the atomic element of state is the bit, which can hold a value of 0 or 1, and all of our computation can be boiled down to performing operations on those 0s and 1s. Quantum computing has an analogous element of state: the qubit. It turns out that building a quantum computer with a large number of qubits is incredibly difficult as they suffer from a quantum phenomenon known as "decoherence" where the state of the qubit is lost due to interference from the environment or the measurements/operations we attempt to perform on it. + + There are algorithms available for quantum computers that allow us to break the current widely used RSA/ECC asymmetric (public-key) cryptosystems. Breaking RSA-2048 for example would require 4099 completely stable qubits. As of 2020 the leading research quantum computers (that we know about) have somewhere between 50 and 80 qubits, and those small number of qubits are not stable and suffer from errors, so thankfully we have some time to prepare. + + In the remainder of this report, we will first discuss the quantum attack vectors that current popular cryptosystems are vulnerable to. We will then move on to some possible cryptosystems and cryptographic techniques which are currently under research or available and are resistant to quantum attacks. + + \section{Symmetric Encryption} + Symmetric encryption uses the same key to both encrypt and decrypt data. It's widely used across technology of all types in the modern world. All iPhones and other devices based on Apple's mobile OS which they currently call iOS since the iPhone 3GS fully encrypt the device with AES-256 symmetric encryption. Popular disk encryption tools for traditional personal computers (PCs) such as Microsoft's BitLocker, TrueCrypt/VeraCrypt and LUKS/dm-crypt all utilise symmetric encryption. In addition to the most commonly used AES, other popular symmetric cryptosystems include ChaCha20, Serpent and Twofish. Notably, ChaCha20 is used by the recently released WireGuard VPN protocol, which will likely supersede the currently popular OpenVPN/IPsec over the next couple of decades. + + The best currently known quantum attack against symmetric cryptosystems is through the use of Grover's algorithm. Grover's algorithm is a quantum algorithm which provides quadratic speedup for brute-forcing symmetric encryption. Essentially it allows finding an AES-128 key in the time it would take a classical computer to find an AES-64 key, or an AES-256 key in the time it would take a classical computer to find an AES-128 key. This is a reduction in security but in no way does it render current symmetric cryptosystems obsolete. The current recommendation for quantum resistance is to simply double the key size you are currently comfortable with in the context of classical brute forcing. If AES-128 is safe enough for you in the context of advancements in classical computing, AES-256 gives a similar level of security taking quantum computing into account. + + If key sizes beyond 256 bits are desired, AES in its current form is not a viable choice since it is only defined for key lengths of 128, 192 and 256 bits. One possible option if very large key sizes were desirable is Kalyna. Kalyna is a cipher adopted as the national encryption standard of Ukraine in 2015. It is based on the design of AES with a number of improvements, and supports key sizes of 128, 256 and 512 bit keys. It should be noted that 512 bit key sizes are complete overkill and not necessary except for niche cases where data must remain secure for 100+ years. + + \section{Asymmetric Encryption} + Asymmetric encryption (also referred to as public-key encryption) uses different keys for encryption and decryption. Asymmetric encryption is incredibly important in the context of securing communications channels. If you wanted to connect to google.com, using symmetric encryption would require you to go to Google HQ and securely upload a secret key to their server which would then be used by you and Google to encrypt your communications. The key could not be sent digitally because there is a chance it would be tampered with by an adversary (a man in the middle or MITM attack). Asymmetric encryption is much more practical, it allows both parties to generate a pair of two keys: a public key and a private key. The parties then exchange their public keys. Each party can then encrypt data with the other party's public key, transmit it, and the receiving party can decrypt it with the matching private key. + + There are a few different popular techniques for implementing asymmetric encryption. Two modern and highly popular asymmetric cryptosystems are RSA and ECDH. RSA is based on a problem in mathematics/computer science called the integer factorisation problem. Essentially if you take two large prime numbers $p$ and $q$ it is easy to multiply them together to get $N$, however if you start with $N$, it is incredibly difficult to find the original $p$ and $q$. ECDH (Elliptic-Curve Diffie-Hellman) is a way of securely negotiating a key with another party over an insecure transmission medium. It is based on a problem called the elliptic-curve discrete logarithm problem. Very simplistically, in a graphical sense, it involves an elliptic-curve which you bounce a point around using tangents and lines conforming to certain conditions. The difficult part for an attacker is figuring out how many of those "bounces" were executed. Please note that this is an extremely simplistic definition of ECDH, further reading is advised if you are interested in elliptic-curve concepts. + + The important thing to takeaway from this is that almost all asymmetric cryptosystems in widespread use in 2020 depend on the difficulty of solving either the integer factorisation problem or discrete logarithm problem. Both of these problems are easily solved on a quantum computer using an algorithm called Shor's algorithm. Shor's algorithm allows for finding the prime factors $p$ and $q$ of $N$ in a short amount of time. With some modifications it can also be used to solve the discrete logarithm problem. And so we have our major apocalyptic problem with quantum computing on the horizon: none of the current widespread public key cryptosystems are secure if an attacker has access to a quantum computer. We must investigate asymmetric cryptosystems which do not rely on problems that are easily solved by a quantum computer: + + \subsection{Lattice-based Cryptography} + Lattices are an interesting type of mathematical structure with many potentially quantum resistant cryptosystems designed on lattice-related problems. Graphically, a simple lattice can be thought of as a set of 2 basis vectors in 2D space. For example, $\vec{b1} = 2\vec{i} + \vec{j}$ and $\vec{b2} = \vec{i} + \vec{3j}$. A lattice is all of the vectors produced by adding those vectors together different numbers of times. For example $\vec{b1} + \vec{b2}$, $2\vec{b1} + \vec{b2}$, $2\vec{b1} + 2\vec{b2}$, $\vec{b1} + 2\vec{b2}$, ... + + There are a number of hard to solve problems relating to lattices. We will examine a few which are used in cryptographic applications. It is important to note that a 2D lattice such as the one given in the above example would have easy solutions to the problems described below. In order to gain hardness we must increase the dimensionality. The example is given only as an aid for understanding lattices, in the same way that the prime numbers 5 and 7 would not be suitable as primes for RSA encryption, but are easier to work with than numbers with 25 digits. + + Here are some of the important computationally hard lattice problems: + + \begin{itemize} + \item \textbf{The shortest vector problem (SVP)}: This involves finding the shortest vector possible in a lattice when given the basis vectors. Essentially if you have two basis vectors in $\vec{i}$ and $\vec{j}$, what is the closest vector to $0\vec{i} + 0\vec{j}$. This is a known hard problem. + \item \textbf{The closest vector problem (CVP)}: This is a generalisation of the shortest vector problem. Given a lattice by two basis vectors in $\vec{i}$ and $\vec{j}$, and a vector $\vec{A} = a\vec{i} + b\vec{j}$, what is the closest vector to $\vec{A}$. + \item \textbf{The shortest independent vector problem (SIVP)}: This is an extension of the shortest vector problem. Instead of finding just the shortest vector, you must now find the $n$ shortest vectors, and they must be linearly independent. + \end{itemize} + + We will now discuss some implementations of cryptosystems based on lattices, their advantages, disadvantages and maturity: + + \subsubsection{\textbf{NTRU}} + The first version of NTRU was developed in 1996 by Jeffrey Hoffstein, Jill Pipher and Joseph H. Silverman. It is based on the previously discussed shortest vector problem and has remained mostly secure despite 20 years of scrutiny by researchers. It has very fast operation, and small key sizes (smaller key sizes are very desirable in cryptography). There are a few possible attacks against NTRU when the parameters are not carefully chosen but the latest implementations of NTRUEncrypt (the publicly available program used to perform encryption and decryption) has functionality to ensure selection of secure parameters. + + NTRU was originally under patent but was placed into the public domain in 2017, removing concerns from many that it was not suitable for use by the open source community due to potential legal issues. + + NTRU Prime is a variant of NTRU which was released by Daniel Bernstein, Tanja Lange, Chitchanok Chuengsatiansup and Christine van Vredendaal in 2016. It alters some of the mathematical structures from the original NTRU which the developers were concerned may contain an attack vector. Despite their concern, to date no attack has been found against the algebraic structures they altered so there is no real reason to consider NTRU Prime an upgrade to NTRU. + + + \subsubsection{Learning with Errors/Ring LWE} + In 2005, Oded Regev released a paper on a problem he called the "Learning with Errors" problem. In his paper, he showed that the problem he described was as hard to solve as the previously discussed difficult lattice problems. The LWE problem from the perspective of an attacker can simplistically be explained as follows: there is a function $y = f(x)$, and you are given some values $y_i = f(x_i)$ for this function, some of which may be errors (hence "with errors"), what is the function? + + If we take learning with errors and specialise it to operate only on polynomial rings over finite fields, we now have the "Ring Learning with Errors" problem, which is the basis for modern LWE cryptosystems. In 2014, Peikert described a cryptosystem for using this problem for key exchange, essentially he proposed a quantum-safe replacement for the currently in use ECDH/DH based on RLWE. This cryptosystem is commonly referred to as Peikert RLWE-KEX. + + In 2015, several researchers improved on his work with a cryptosystem they called "NewHope", an improvement on RLWE-KEX. A C implementation of NewHope is available on GitHub and no attacks have been found against it since its release. Speed and key size make NewHope and RLWE-based cryptosystems in general, excellent candidates for the post-quantum era. + + \subsection{Code-based Cryptography: The McEliece Cryptosystem} + When a data storage or transmission medium is not 100\% reliable, certain computing applications demand a guarantee that the data is free from errors due to potential catastrophic issues if such an error did occur. An example could be the guidance systems for an airplane or rocket reading the predetermined mass of the vehicle from memory to use for trajectory calculations. This would be particularly important for a vehicle operating in space since errors can be introduced by radiation. An error in this value could have disastrous outcomes including loss of life. Error correcting codes (ECC) resolve this issue, they encode additional redundant data with the original data, allowing errors not only to be detected but also corrected in real-time. + + The McEliece cryptosystem exploits error correcting codes to perform cryptography. Specifically, McEliece uses Goppa codes, and depends on the fact that it is difficult to decode a general code without knowledge of its parameters. + + McEliece is very interesting not because of complex mathematics behind it or because of any particular advantages the cryptosystems functionality itself conveys, but instead because of its maturity. It was first described in 1978, just one year after RSA and no serious attack vectors have been found against the algorithm since its inception. McEliece predicted that the parameters he used in 1978 to encrypt data would be broken with roughly $2^64$ computational cycles, and in 2008 this was indeed proven to be the case, with a parallel information set decoding algorithm breaking his original parameters in $2^60$ iterations. By increasing the parameter values (and therefore key sizes) McEliece can be made just as safe as AES-256 for the foreseeable future. + + McEliece also has the advantage of being a fast algorithm, in fact it is much faster than RSA. The big downside is key size. For modern use and to maintain security against quantum computing speed up, a total key size of roughly 8 megabytes is required. This is huge compared to RSA (256 bytes for RSA-2048) which is already considered to have a fairly large key size compared to elliptic-curve based cryptosystems. This is a potential issue for low-speed connections as well as embedded and other low power devices where memory may be at a premium. It would be impractical to demand an 8MB key exchange on every single HTTPS connection for example, so some form of key reuse would be necessary, which is thankfully not a security issue for McEliece, but this does bring other challenges into play regarding cache times and storage requirements for both clients and servers that are currently not a problem with our current cryptosystems that utilise small keys. + + It would be foolish to write-off McEliece because of the key size issue, it is unmatched in terms of the time it has stood against cryptanalysis. Those who are truly concerned that the NSA has a secret quantum computer with thousands of qubits could seriously consider adopting McEliece immediately, without real concern that unpublished, currently unknown attack vectors exist. + + \section{Standardisation Efforts} + The National Institute of Standards and Technology (NIST) in the USA has been working on a process to select post-quantum cryptosystems over the last few years. NIST was responsible for the standardisation of AES in the year 2000, and their influence in the international cryptography community makes it likely that their standardisation effort will be the most successful. + + In January 2017, NIST called for submissions of potential cryptosystems. Submissions were closed in November 2017 and the list of first round candidates was published in December 2017. Over the subsequent 12 months, over 10 attacks were published on various round one candidates and those candidates proven insecure were removed from the selection process. The round two candidates were published in January 2019. They include NTRU, NTRU Prime, NewHope and McEliece (all of which we discussed in this report) as well as a number of other candidates. Comments were accepted on the round two candidates but no new attacks were published. NIST has published a timeline in which they expect to conduct a third and final round this year (2020) with the aim to selecting final cryptosystems and publishing draft standards sometime between 2022-24. + + \section{Future Adoption} + Adoption will likely become possible after NIST publishes a final standard, sometime around 2025. Adoption on the web could be achieved quite quickly with a new HTTPS/TLS version incorporating a quantum-safe cryptosystem. Once support is added to the largest players in the browser industry (Google Chrome, Mozilla Firefox, Edge) and also the major players in the web server space (nginx, Apache, etc.) as well as the major reverse proxy providers such as Cloudflare, adoption would occur for users transparently without issue. + + Adoption will also likely drive further research interest and improvements in security since there will be a significantly greater interest from governments and hackers to exploit a cryptosystem that is actually in use in the wild. + + One major issue will be legacy software and devices. As an example, legacy applications built on Java 6 and earlier versions do not support Diffie-Hellman exchange with a key size above 1024 bits, which is considered to be insecure for the past few years. These applications will in some cases persist for many years or decades before the software is eventually replaced. Similar issues will occur with post-quantum crypto adoption, which is why it is crucial that adoption occurs well before a quantum computer sufficiently advanced to break current cryptosystems is operational. A failure to adopt early will result in many additional years where insecure devices have to remain operational. + + \section{Conclusions} + The integer factorisation and discrete logarithm apocalypse is coming, but it's coming slowly and the future is bright. Efforts from researchers have produced a number of viable crytosystems for the quantum era. The main issue with moving to quantum-safe cryptosystems will likely be legacy devices and inertia, which is par for the course in the technology world. The security implications and regulatory compliance requirements for those left behind will hopefully force the usually slower moving industries to adopt the new technology before vulnerability becomes a real concern. + + \newpage + + \begin{thebibliography}{13} + \bibitem{chrome68} + Google. 2018. A milestone for Chrome security: marking HTTP as “not secure”. \url{https://www.blog.google/products/chrome/milestone-chrome-security-marking-http-not-secure/} + + \bibitem{baumhof} + Andreas Baumhof. 2019. Breaking RSA Encryption – an Update on the State-of-the-Art. \url{https://www.quintessencelabs.com/blog/breaking-rsa-encryption-update-state-art/} + + \bibitem{eupqcryptorecommendations} + EU PQCRYPTO. 2015. Initial recommendations of long-term secure post-quantum systems. \url{http://pqcrypto.eu.org/docs/initial-recommendations.pdf} + + \bibitem{bernsteinpqcryptooverview} + Daniel J. Bernstein, Tanja Lange. 2017 Post-quantum cryptography: dealing with the fallout of physics success. \url{http://eprint.iacr.org/2017/314} + + \bibitem{ntruoriginal} + Jeffrey Hoffstein, Jill Pipher, and Joseph H. Silverman. 1998. NTRU: A Ring-Based Public Key Cryptosystem. In Proceedings of the Third International Symposium on Algorithmic Number Theory (ANTS-III). Springer-Verlag, Berlin, Heidelberg, 267–288. \url{https://dl.acm.org/doi/10.5555/648184.749737} + + \bibitem{ntruusage} + NTRU PKCS Tutorial (with Recommended Parameters and Usage). \url{https://web.archive.org/web/20120606210107/http://www.securityinnovation.com/security-lab/crypto/155.html} + + \bibitem{lweoriginal} + Oded Regev. 2005. On lattices, learning with errors, random linear codes, and cryptography. In Proceedings of the thirty-seventh annual ACM symposium on Theory of computing (STOC ’05). Association for Computing Machinery, New York, NY, USA, 84–93. DOI: \url{https://doi.org/10.1145/1060590.1060603} + + \bibitem{peikertrlwe} + Chris Peikert. 2014. Lattice Cryptography for the Internet (RLWE). \url{https://eprint.iacr.org/2014/070.pdf} + + \bibitem{newhope} + Erdem Alkim, Léo Ducas, Thomas Pöppelmann, Peter Schwabe. 2015. Post-quantum key exchange – a new hope. \url{https://eprint.iacr.org/2015/1092.pdf} + + \bibitem{mceliecepaper} + R. J. McEliece. 1978. A Public Key Cryptosystem Based On Algebraic Coding Theory. \url{https://ipnpr.jpl.nasa.gov/progress_report2/42-44/44N.PDF} + + \bibitem{mcelieceoverview} + Suanne Au, Christina Eubanks-Turner, Jennifer Everson. 2003. The McEliece Cryptosystem. \url{http://www.math.unl.edu/~s-jeverso2/McElieceProject.pdf} + + \bibitem{nistpqc} + NIST Post-Quantum Cryptography Project. since 2016. \url{https://csrc.nist.gov/Projects/post-quantum-cryptography} + + \bibitem{ajtaidwork} + Miklós Ajtai and Cynthia Dwork. 1997. A public-key cryptosystem with worst-case/average-case equivalence. In Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (STOC ’97). Association for Computing Machinery, New York, NY, USA, 284–293. DOI: \url{https://doi.org/10.1145/258533.258604} + + \end{thebibliography} +\end{document} \ No newline at end of file