From d03269c865f88951036bd7f589390bc1ce2c0258 Mon Sep 17 00:00:00 2001 From: nojhan Date: Tue, 10 Nov 2020 12:14:51 +0100 Subject: [PATCH] webpage: add a section about algo selection and config --- docs/img/bindings_ioh_irace.png | Bin 0 -> 96385 bytes docs/img/bindings_ioh_irace.svg | 5292 +++++++++++++++++++++++++++++++ docs/index.html | 19 + 3 files changed, 5311 insertions(+) create mode 100644 docs/img/bindings_ioh_irace.png create mode 100644 docs/img/bindings_ioh_irace.svg diff --git a/docs/img/bindings_ioh_irace.png b/docs/img/bindings_ioh_irace.png new file mode 100644 index 0000000000000000000000000000000000000000..0f6774fe4411a2cdb4d61ea1927b210b5562d3fb GIT binary patch literal 96385 zcmd42g;N~S@&<~#LvUR@xVtZ|0fM``yA#|sxH}0F+}%C6yZhn}kKB8Iuj>5=Z>x5v zcIH&gIX$PlzyA802qgtcWCVN!FfcG=X(^yG7#KtV7#R2#9L(n#j_I|%&jXaRsI)5F z=f?-mB>eL~yn~dcGZ+|3|GzKzPdXHW&y#pA;u5xT6g~( zjPY-y@jEj9VyVs)V_npQ|@%Ko=zy4&T0!^VWFhp(87_Z5K&-)$d|&5 z@r+*#jDzBAkp=_g|I`GFK;c0p3I_x`>DXp1kMOuD%zr-|TJ6AeyPmuqujqVfJ;^w} zK+u1Jh4)qr2L-Kd@SnCc}${(%H1g-ZsTf*54gm(15-l>z(ud0(UT>kmJ>^*_He z{40^C+mm;lsp^rhZiASvQ@Z@y+>BZlQ%fN{jNcFSAxFNn#){S$+|KI-{KufOrp)7& zemHls0vjbkiv#(=1FI>{y0f@2@9>WtAUcCn1U=b&4Yd3JcYHAy#D_DKcRK1X$Srq~ z?@E4?gAPa%yJ*sV22cQ6T*Xt7De-##Chp6hFI+hH3|mCqLI6v{5Tox(90C8Hy2j1g zBi`?el{cNP{Nz3b0(F~mqtw38`z>kQi0qdq*xuL08s^Klfv|d0?$vf3NPajS7=E?j zQ(7$Z{QurRa*)Ga>mpTuJf@-82AO;5#7!wIRC4y}1nm#KQHsP2vy}L3+A`s!T*?XZ z7n@4D9~s4^emPX^H1^$+ zPX$5i>OUXGn)Z-aI(Urr`=S!!IC?PR@+|2=yB0gO^+VbXy$+>gM-N5>WAZPM9OOu@ zJf3uQ$jUN+YH=VGN$&zSHC9HyL>3p?82sD0H9PguJC8j#7K-&^Q_bwg^iX3z-r@My zp@qD_k*rU4VKci=lLzAllr{QNzAk-3X4x7?pjr}-*Q2X@Rfk?-Rk2-w4#u#g3+Kn`hd|#{;3E=Qk_LggSeC?_Uo0CBr zhOVp`Sq_AJsxO%6>`s`eUb81ElH~R+Ty#HKPM`*Y3xPpIo~&6n#F`siGuct-pz@Lu zisZ|ddZ~f+7n@%?ug=jWTXUrKD0RZeaJ8&CB4-9zkp+eSeex-Bahf@CI)n3J_$`h7 zecLOfIM2Gx#FqiF=*!}>-T5Lb@wSXMjUl>?0Mb>H0?P=}Sjzlf#7@n2a1LF5@Z7Ut z^Hv}s%(bOKDI+IKD~d)uhj^Y@t<$@P#NhZbJ_TzulTCxU2f{I275FobXN9Pv!sqkS zK(vuiChMbfxX2dfLd)L2>JUaeJhUhQ`wK=W_P+1{u2_8%iFJx3+qV1rY)x}$vKCDq zg^##YLTT3FkkmGV0y)UUpU|92R@^uK8G}UKuBynYK^+Bc7_l?Y+wjF2KdswCrZJ>I z5lAVEDt5D8TG zYOGKM*Oqdl0=9wDj^M%Yhr}~`9`5Tv`|EsMrFG-?o5p~s%wIw5OE?+~f;sW^w)(iE zZ(BMBw--7r47gEKdg@2669RZ9Ela9B9Gl(?UR&vmou2kgn?5Hf417~$3{SbM-#+JH zk_@Jb6}3p7(77HE2H&#}cF%kz@4+)2|D4hIdX5U_F7M^T^%pU^vb$jsA}lTZkqEX* zZ=iu@0p8tbcIB>C_qE^Fd^)kbACdBDGxsDh}+Vq8>~n5EwwHG>r+pwmls z#O45a@JH?Lp4UtDy~X#or_&Dz=@6VU=uQ}Z#8*hrO$oqLQe~p9p1*m*pnmYf(NM)~V%$NDlqNhEJ&6&ko zG|uF@r%)oFS5*C;nrZ=?^}9}cO|FSQt7wVY|2C0}DwNVUBtH^#TSdT+Q?Nv@kn(T8 zB(~JUnV;c6-rf3;)ssT+v|AFuaa<{x7TBx5yh!aNk9_^=bctQMa8f=5k4o=?nB|DC zq=1ah*rKox&aMSih%ey=4d5ga{kuYBfGZ}ngnKm5^x zvp*Jknty2c-zJF8S8LGN>&@JCHO|xG9?F)y)WlxXwe<_%*3Rqc)yC`T>%gnEc6dc+ z5ImWu$~%uAz5koyK@%4#haBpmew5HS$wSDe$qrdy1lxM3F3nY`Ma2hv-ENA`k6lrd!7<<^v`0 zxxV`RX@S5W>&GY&0w9w(6Y=5HL~Bf+{rb7;SIX{2&pt1Jsj1Q$S*mhE=5YmMx4GGU zYUefMb(CZNlxyFq{&H5NyYgw`8iaqb!tw+?!Aa!(9=(XTvRi}-YKt0u`?m7+oQW)< z);!)U6cv0m%>ugxu^9tBAS}Qeo$UJ-8ff!rlP-Q*mSL9oqfYvTKaf2Ji}(}>WsHsP zEC{UsGQ-0{(aMvZx*yktHB4r7KGaPa4#p4V<2G~SgM{8l`mN>t)fFKNMl?L2Ej*%r znhTxf$^GfvA5v&U=>9UC=3@U0CSI)jFr7KqHyJ+Rjb#fRcn0z6>{t2AbB}*dUca8P zJujVrYu-V;JgjdXTy*GpTj~;MA&{78o4<5`_KlMWgi;Q@dF^AGh z_*Vxe*3vaNqGG9|9!2as>1NF-M4XE9U%R2;cv;hdcgn;Jv@&wX7J;Ysm|}-MH;+yn zm_8$tLZ5Qj9h%o3m<3YvRH=!Yi9@ zzq5F8$1-CM97P@enW%YgkONdDOtk~X+O|3bS` zMq`9cKYE8=3S{?3l54$0Q+`of`Utd)lgEySP2lZbyQR+Vy7&+;FrT%A&>2R1965ZK zdw)Qn05E5NEfMrbtGSPRGR6@0nK5o+;n-1s?7)toBF=Ps^B?{o-Z}FRI!u4^{Hm6@ z%CM^6k*VGE-MMbD$1XLy@~7XZIR-aaI$`wTM`~KPg-(IRA>wRdh^*-iU?OiQv4~gl z_ymu7gI7wtB^M?vhP6xbMCibf`J)czbEV?Ie_JG<9KA&dx|9F-9ZVUg2|glGJW!P9 z-dM`yn>U*NrXf2VCo$OcHGsG)DdD)Ib)?+w}eP#uEUtp{Vi`JEJ7Zi6>~Y9 zZSBmGR_SJN_2I}D&#eN5{5IoREK?c}`^0D!SUBXzqtyy+LI^&v5l7!yUE!Yj(7!#F z4ma&!%6UM({z?z>E)@NSr6bJy@j?*)+!6HW z7L|LTApOU-VVeR*?OJwW_qi&>|bmdaTh(UZn?iL~=-yLV^WTu}X4l;wO12?;4pVgDXC~iHM z9`hYWq2uwwIjStsu4*tALIUM)o*-1)Ns)7tDOzLJu3UUVGp-!YOs#Gq=#2#A?HfXYQU&){=n4(GWU?4E zMN)JDzQh^ToobJzc!?zQ1UM^bK>yE2K5F{&sgE!MchwuKuB0FZ0&O}-)p4p{^oScC z=n4I&l?yH@I9jkzxi5;Ky?3vwb*&K&4oaPMRS7YED=SQpy~{MN?74WU>O44&-=JXBl1H!KqcD#9!qPTI`MplU}$~>DL+u z>M5QVIjGRPA(NEnVoV)Kp_%Sw<#&xv-Vsjiz6M2QO!-xqhHs>hNrV|UJMm;d5KEt` zG33Qx64G!}F$#KCC}lx@*2D`4h2ePDFh#}<){`Ay=tNMSxR!$Fz}yO;9(ismC7(_< zyf#|mY4D}otwVB2G2R558zSA=)eUURg`Md^L~W##DM2Mp%PBwPQ{gtG2y@P|!ev@* z06K^}4CX&9MR}<={A-d4`Lx-_CV7{=hVqS}3M|pfq>XoU@VEX%9o_O$Ht6C7FeKsg z!}LbG2Opo~^&R0BC-F_yoRRnWq^Mx)U(`bRN$EmPVPl>&2=Me5KZY7o?D1{y$2(j z;*^LJ>+Rr$eV2Qu>c)ZBLf=1eo9e>VYJ_Nw9X#0tsotJ;7m1~xrBptw%R*%r};uCkbDb!imw{;l@T4NN9}QjaV%q6#K~kV3_zYn z0wyx2U@^5C8Kp7fXTCWimVuZmI2|}f(*Ft!3QuuEGTra8AZ5@&Brar+)O-H?k5Bz8 zUbFa6ilUm)EhO6SeDWoT=e?&pE}TdID<)7yEC)+dsa?| zN9Vje`tViZ*t8aLV$QDcI+cVoOeC5`r=KjFWlH5+k0s?ka8sD_rs4SDvq~4Tk{%zW zGc%+=X){Z~psQMopxuYSyN4Vf&=vcQns`PDFm%{QD<72r)8DCN(~4 z1nBv!qSY)0FLBY|7cvEU;Dn}!pUB5ve32rbzzga6j*8jo&j?h4LD$Aj3#V6OV_C4{ zEC@%lnXe;uwvW9V(m0t!lcXo zq~kD;eRUOO+P`a`kCj1&e=~u$zB_|kqvRsb8;7WYO?VvC;fg3U^hwYtbVb%swBWQI zpT}VkM_}IaSi0~4juHRfj$i!6tVud#o*StSO7Cb$SlL)qnB z0Cw+hQf#t@1fuQ8h{r2GNtrEw3oqydh4+kfagi6EAxybau|;D6pcF|9K+yfhe{4e* z1o0pv6yC`IPC|oo?2n_4rNtkcQ7z>y(PJG7jojxpjjQEFPB7j_nZgG2DMu8#9=1er5x%@g?{^p;+-~827IZ<5Z3CWN?lY z;{w4Xl~vK{fo~U|C8O>DV9THsp!N?A9Mse4#=k6FaS)~ zsyv-T0YZ7>r){nCJt;?ni~A!y?_EhlmnNQUAz3R;U;!SGa^YJe(c~)P2&*c?%^myL z79oP;n<9V=5`z%(ME%#0yI=BOUR`bB`OIY74jfsgYg!=FTYIZu1l?~K$3v9~qap?w zV8(v*ymtK=nET`GyuAEUAkEw4ljGG?#ey3f$xVL~DVZ}x`As}k*RP3Q+OV`Po~2lY zD+QbFSW4yqq;PmG|EEO<>OffaKKFOuf+#=Yn?f0K&%ISm(Q(w?OvkiMJyY~D&ly~@ zx2>OU(-XK%srp2fBCCUf*$l!!!Doqmr7QyJM!q}2C{AT_ws$sH86pSnNsO0%&krck zN@JE1BpC)kxHX3BkprOINf(%5UePO^P_}S*+RRuIB3K%it&NDhp0A z1fmsR^z}e*LFpY(A~Q>D@WKHn@it&16}UXqH-MSiqW8a+Ni_M3@C2i#b6P_loX5#yrxWbWOqVXRzSTT@Hc!X??9dP(Q>#;dO@#&_ejZ^rL{T zYhCDAkU;sx!(qma%xK5g*$+~BTM+RT;Qv~!k(KTuVD2u~MT8z`zkkL%Vw!J?D{w_P z2b0H2)9E;WqiR}=d{q!tVzRev0ddbIw|@9c1Tuj|qVE5&%hwo|YJ65ML!s};nW&Ow zN8TE7Yj)_{i4{ua9XR$N{8RaS_To(C5<_tHUWV>pg=))vMo)XkBf6DmR=irW0E4HB z{C{&V1J?sz3y14EuHzU=pqV#LYHWya)n(d?_v$w8_TRglO&C7ePikZcXKqJ(^rdLM zA^;)@285rt06b@BC!y^mgSSr;GRjSdYV)`N+LOSOLqb5n8NLPQFdoMDG0nuPESqNj zB&A=VzA^W)PU>ev`k$9@3S&Icudak{5y75>Xf9&qsEyyH`_Frl{_-Hi6f3ux>j#s{ zno>Zo3JCgtZBDz5PL~)9M<3ZNwZ7aE&3AbHI>ma)%pgi?) zeNs6f@}@BMQs%L6X7-&q9L ztFGa~KC*se0Kl7MI4M7JyJOBx7t$kqen<6t|6Ek?P6Tye$;_UneRm z?3yfb`t%Z^tb@54J%!h|OwX*7G^XFb+%NTQQ7E z?~G-T?s!@rKC>Boa)>JuwGsIqpRr7WAfi>2l2`!BOA7Y&0#ETqx!B;rM9f$EI~M$B zKtBaX1rXc8>P^gPr5jT8x(fkFpQAc?2Yg&0^e5~|X?L{))X8XfPp?-u$#mx@5V;S3 zYM*9zG+p4j!-^s1Lc2Xtc`Q2z?^@p4azLe6Dc0i7Xhy6}EH~wJ9O^{g5wK*5<}&suf7EsdpV7b&XkiohJ)ZAKHf2=#vNHexRYz}nFO)Y3wu-)Z_iY=RO zp{I}6{_n{%wa0G)Y{s*OV$ft`Kd5=Pc95g=Ub6P&r0-(;`@}^Z8Dmmmn-@pisl)3(<49UDZGC%5%9X>}QHV*hK`-|Ll%! zfA=Z+{(9{;H*6e5nG)A4PK})P8ziErks**GItf(`={CpszEsov^E|Ss@a-F&x7Xhb z8dwoS}I9>4xpxteGE zN&Ax?L3GJd*?628)J0@R>*oGRWRa6@7@Pqp_tBzfHzdsrww+QGd(|sa1yZoifb-)l zw|B@D>mR(@7I2AL9UwKrurL$K>x()l-))uv{%OCV_Ca3c+LZ7CX zxs2aRpGHY^Ciw(?g?`4gr5KL{cpNee2q`X-rX*Af@qWCU$7WKFsviW=H4a~HC(AvA zmkvbZ13^5l#~5yWd84S`5i7_E!w(WmL+eITz_T4@E~*jbPZqu>7U7n`OXR*H%De>lj-m9~uIM8xjXZGg= zP22Qb>f`+1-o~CPyL{qXC&E(B+pS~bwHu3BGniv8{-7Vn9n{(exm9l(qH+`2#Z7rO zW=9p!l;I1DPk*9>n#7}U+p(blx|;{haN3*Hc*YIat@aWPgxseH*YlXwrA_dm{@tH5_~t$&AoX{a7aAV z8ag5(G*(~6O#tC;gK!yijq6cMnCqkyYgm+PSU!I-5)21nSEYfWEY2{SZ>vq$jf(4% zyRl;>SzP9Uo8WEM`Q~!%4^}D6A@lVHG`TCf;S;ho$8meg0@F4XOwpdLo9Gn`H7`9E z?qDeUBTWl5KIm$`bN>w{Jn-OMF-2a8gEo-eLWfN~-?dVWzWgQBfMgLBkTg9J8)i5b zk7E;Rl}kl8r;RC*gmX-e7Zp_zpcna5Rq&%xchV_#9FKflm^u0xNqc%j zJl)-6DgU`qx9BASy-a~4m*#b_2E>O^wF;DwW0FHqmqfk>;b$3~668d&@?e+;`sR%F zs7-N_nzPS6fN%VeopMvMuA@Ox(0fQ)whC%?(OD*ps25>1M6<>#x{(#yf^)Zaj;*MT z=sz*YFtYc0^-Jp=&aO;40k=lgM|io1;ml~u zUIHc)iZ}lX%tA+EkCN0jLGMhry}>CB*Tsv&XXIi+x0Pl-E&NaUV6n|gj7y8zQ6aX zkh#_%xK{EFLkj^bM$7@51*= z!PX@(3}=JwAGg5%+1aCq;R3u0P6A^#$-8qQ9;z1#uw)O@?e1aPDH_$$HO`J$hZQSv zyDuL8xYDXHrHFFV9P}M~;@@ zf4CQa+Mh1;DSgnd?`O@@`oEy&qZ6gkbT+nm0rrmZh=7@G9qAfd(xV~TIKZr4I9P@6 zu)6Kh^>{YH)mjl?D$OQo3wA#zo1HU7`@^ZmI+GuMw}o-ZALV#yS;JsWK2Rk zEJkjqY@Nu7=asRo5+ctlFo_RqfINW%!;)@e_cq#Xf#bfO-8(j?)%b3jH2X_tqs%=#l@D zSZj-ynC!^Ua4@z^sF4B3Uy7p8Ha@{{HOvxXvF^Oi8t1Of!Jf?Mhdj-mg&&XC`a-=< zaxE+de;az3i_VXU2MJ-%0D3|OLlKYP z)hRmPA;UHX{N7HZh-8A7I;n2lf{JJF7RcA$lTa0;y`rTPJD$$eCT2|Mq&W{&K*Rg# z;U&9}?_iJQMF&h#9*=J%r0tQX$_AG18+~_tR-WmLBb=#03~t$8r9^RKfn$eQ`9DVz zIAIq@G3tI?CGT?Xw*uS$^-SE=ywE7rPzIySF%>B%&dmUUR_peMA4H`J zyyt^fD{AHcgGOLWFh1bTg8nbiCVrQ4p~aEk^SW|R`H|1KQ>jAZ!<-PStQa$!KMRFb zolgH7!@Z(~Y9T-pCwAMQ6vlHe00L)bt!BnU_fN6Yg|8FUZEVRdd5uRqb%pgCi$BfL zRY*6EQ?*E?$sRpxXvC1^?oiyrG+#y$>)wuudvqv*=X9K_1jze5>nPT#mQUtuwy{cO zZVZRDQV%1>><Y?eUX{Ym8~``{8SI+*No zBAUkEP{0T!Z;BYTGXeZdzPd}~;CM4L`3-5%sKsVTigkfAna#U^(cX0UeAe+vc%f^7 znIWpiBIVPQUUH5OM?1clAV&eIhP?GU;pKyJ1vt7LG+^$KLT3AuU|LHYPm5ile51}< zHI0jq=rZRM--c`KghtqNrffYcP5wAYxS z*sc#8LlH@Z%c=bCbiNA-N-9($Ni2!X_}g0;P{ZyLD>~IYw^T`~j5l^d%mpZPB%kLo zbM9A;#mHUNk3^aOy@bPpKjBczH`>Ec+dOPCBIsf#uRhj9y;`+Xwqtd>8 zGRTI$d7XC?4R*_I+pNpUxTF+6ZUVO*=%t&+~=ZsgBDAi8Hm)FkW|4Wchk*AQW{gdDdBEzU7|=L5IN~)CrSU!%=-%XR!s=_|+W+ z?{X7*yw=x|QC1F1uF+Wo78GKZ20J0K6jb=nO&m}jM^9w$=cTsIgq(u~c#NC6BBmDS zkzGZGrbtG9V{CJt9^UGUyxGF#|0Q&`WTQ?$p&0UT+uo zI^FZ2XH<(?l6ul#b_WZL32iB$Jz0UBScnH4@o^FrW|*yEZej^#Z#^Sa+i8)YBk!&w z+bT({cvykNJ+N!+^zIn~g+MR9B(95v#O zq+lCjK2eTN4tu3zHoi@4@9sU++QjKvpA5Y-GOxGDn)j*v`K&;?Q(Tj#{rbxJwuTxeq+$NLVvZKTZ!nNAJcx^p}L`q#AI8znneM{?7<~hEuw`LoL zk!Re6y-ph730uTuGTZ;UQbhL$L+#=oU+@ybvB3=Lmvu{Veh|a_PU!a1pR~vk!{F-I z`EY92$O&~sDEH?#j}$#e{v0GR-zvf40wVgEZqaLTlIa08ki|m z<-dfP^PvOoL$nm$KH@|Ch*`8PRx{pS83E~i@>Dc6kf;UtVdv9k-Lf_9#<-*+T_kKN%omBb=aE4NV-m_*RinM2&VW z-NcvyH*hD)Ywc9e)?0o-QvzKrpfeRQNmDJzZ}`We&ayeH4mLs0SzKVMF?P59wEeD? z%J0#FDf83}E~W~Qo@GkuTy7Y~w~{>@+Qui*>EJ}+#;&WWHS&d^+Q0~Z-!mi<>}zB! zM!+GH+tx#XkYuaxYJAxylbWOap};zM^13^gxvi9P++DE>0n33AJ=p}Bz;1j-ir~67 z>UOe5Wi$4Zx;3~N3a46kk3_`tJbnH`wT-gOtyEmJrM5za>DP69#WaZz4}MnM5i><( zo(|$Bp{+kW0!P-X!JdMCuO1|sr*AgDAL@$r3S4TE1C5o3AzDUL-D!8FNcX z;*cX2;OzCFAIsrjJ|<5Xqm&cauwL$4hrgL#s3d5G6I2^b#Gbu2x?e| zMc++Rn)U?b7y^q^>%PN>X`!_^%M6|R7r?0OSXAc*ATL80>z}9I#4SR8KqLbSS3h;d z-rv=4F+Me$hB#gASDvGD9KMGB(IQ-gRvBLU^b8G-g^uVx#m?+ZX&FWSx#uZ(Z6Zz4 zYB#(^ehQ1!^g2kGPCV#8Yi|2XPE}$G#fY2F1H!vE{)DU4x12(&XqGS2-G~|=2Mg=c z^d-ps63U1|2D0B+bdhUdW*jZtRTog}i;Pb`d-z>T$l6Ey63BXV+Gd3!pe_=X?R5D~ z4;1r_U3p`_H~Q>%%6vL5aSks>=%(?Zt2(Drj{QlR9uwT3n!zDhyJh}T-*FihLRl)K z^zEEb-oo>8Ons}4lONqnRTFKWbg6%O#xJ^Z+GWQDmdp01?E3rqoyInv4aclpfhV>N zm)*?B&U--Kr*ii{_JL&rDR%SSH2I^nLvoWKmZWB{er#B^8qmGaL9%!t8v%9BTikHJ?IU9QI0Nv1=oNc@-0D~Y)5w!Kn=7EPnhM7O8fT;y_H`EZ~UFr-Hs zm2Nc!bJ*npKSIj3q~v(rW_i%NL#%mSEN9A)MMeO@D;@yz+qfZev2Wz7tY_EFXB&Ba z+b%(mC{@s%4-TlS_^)Sng5DzAz?7l5IHLoKzeybQop-{pO?qlWIWe{V-Nw`z?AVlG z4|Z@h<%3}*mL9q{?ng^5l@{n-CJXE^pW@E%KU)~v_*PCGKNd&K^_n-^@4j>mv6aSw zrA~Ncl`Fo2bIfy1t8M}(ho?FJ4o(hci)+4o&HG>4dlF%D;Br7W0P_!=d*4@c{$`!6 z_};zJ(Ujs2+p(r|VH&kK(w>`_$}VOjl|DY>oI9k(HQLOO2&B4<48ynfa4We z<8{2zKo8Z;Dx%Y`%TV;%#YbrPF6 znQ>-?Vl>Oqdqp2dOtgLfn_zhwmo$ad&If;R0rqAAOmS4dtFH} zpUwT5$IScX2TyXR`Po9$24pv69Eys*p#S#K@Dg06H5Vl4{G~I-5I0(UsM%+8|7^3y zpE9@Cs^H&x>o_-funv0}q*Co^jZR)Awzj|PPJ3-B$O^SbcoWEKy6mTKhRj~>2s`7! z#@_ZWcpeNgM!XIM8umKaSZU;e+E(E?MBn1&cTI`1Krk?^2|5|yKg>U)J<;J^T7}G8T4XG=91z^<#?X;65(K6hn3M+>bP1a z%TclI)?CFVBqXTNIe5)OSJ3dvVh1pRNanHcZ)!>W1>ymPUFmUMO+POlAX-T-XFtOD z1h1SJWx;Xi_XuA+`c&xJMmfewH}o5nTANbVVtH+%7$RiM2I8tr;qK*{9h7i_cYPC| zb!18=>Wk3#dd;NsPgY)u+B!91I4D?I%_{Rv&c)%t2X|7YS+XJ}l$Xbk4cmqcAE2^P z@C?7T^hZ$8NpDIewjz9+yGriy;P1nvmN+Jsxn7~8sQqry3+HkE`aI0s(T6#Zn*&{B zVQ#G5w*op~V+bcmmr{s&Xy)I|&TMQV&J?t(EP3x&^y0g37nve%F0g0z+{=NzlqO#C z3y5n!CSNjhc;9I7#Myj#dhpnLl59Td{_X?1BcV9@`2nV#(S&svF(Jy1O%w+NWC!gA zm9Fxw#`*0MZEDcY`uxjF*_4RFL@(M5kE{DS(ME4NqH?rSs*5Sr?ZK!n#o~Wl5GlGodHY$!M)he?rW}HPW_ot{ z-RGe1=J(5WWWa7Z``?01$j0cj>(;2M-#TH2swi32I8CWwh%Ow=|Fn1QgBDtbD!X}c*vV2t5>#(orT3}pt-F5c9Cleui4!ilfrYKtoLo~|n@rSP)pTmGF09N<t^ zOic4#w%6f)?-+%V_~tUn18u|PzFnqC&XbV}*Ox9x%;y>$Ffn9)`Vl|?!G@zUC2>6f zLa4OyEwDB!#~7o(NNZWrBqs>J)U(%Uf1_9FFJiEV->nt%wK$;BJ1kqOoP){lg(YKB zg{EqCF*o9;rQLOacrHMbm1eIIZo$!Ofz3I`P!x%3nNshDVAZtTSkfc^HW0#$Hdz#A z)N&*YWK%@pg)kM&)L#_vv$3|GTd^r(<;me@8NDAQjUyq+r{CI1%r+(5Q0bYDg~K_Z zcEEyr!a0bov~;kLrF|~?kn-lLim}6<{b9k&X13gy-IF*yS$RiPxlef|t|>Lo*$EO} zEg##!bRgkQmJapby#2Eg;s0>4fZhA*0y=3z)VV2p0FCL(Zhjc4jI zq}M|D9qu@vI-H>-cF?B6g(noO2%J{>2L}(aY8vxx{A$w1HOx+h0UI1fMK4BfrL)J# z&1aJcpDntC0Ub1k4i=apmCqWjre!j0wOj@6VA;hs^6A>dtgd!?D_Q_Cps&RFbU*52 zRhQQ2SO>wpef1dSfm;AFTixz5oo$qhByc8BMCDYVT>Ea-o6lXZ*6_s`Rl%>l)hA(B zCk1`%PdEhtH>J692=gj7?&9NUQQcPLhYUDfWULj0W~q+bR^q%~@AH=1*nN+7%j;i> zD*7A8=H9WNU;H4h*nJMu=k?Zh{?W>W$#*IGR=r8TcJ4B@b3;!p>p?s+VVT?1@8*K4Xxo`#@w7t8&Wf6UUlj! zBcF{lay3(;o#}wn2W>^4f>rD48fQJ2-sM}R&jxbi-rt9GBVFMs;}evhSK0b?mg%?b)Nq$)S!i{QDbh4Iz6+H6 zpAcfF-6$$|v%?7UvZV;mT|Qn@n~CtgynLqEAdPhZkd<6z5a6`gJC!-He+r_vT+;ZR z!cbFh>K11*6lR?6GWO?S#&!cEuCN{=?~JhhUG2xAVjLUch{Jl|FWQI9l8`EE{@YhH z9DAm|-P)_88uZV4e&baM7)a&jQQ$a&RD zN3al0O(INXt~sJ(wKQYgfpY0_7zjxn>#3`0{7#-4mpC(N4)g5B856TWtYrzFHenJ$ zL2hoB3Ojmre0o3-@vlu@=eALa6=~XCkIOr)2=XAAgJN-8KnRv>7<2jgF- z1<>2l%QdH`z%{j^*;HbHFX5ydgb(cek=JO?!qvb7w@6d&Yr_3UxtZ;dU+H}AJWJnC zrPlB%JtTD}$HpZG_E=($>M*Xf$7bB?Bq3ac}fg2`S0n!4xzsW zQ+CCIR_)kXH%^W;Y`^E#+dJ?~k;I6z+)$+{v?X2tZOz84_*Y1n-)+`>zCR~CYd{+5 zODcLa?Y5*T_V}yPL#6}sn@Aia%2+oz44`&kCZ4@tW0{#U=5$;V(RcFoY{hZ{?SUk$ z!xaE$ezTVuL+Yl)s2Q4u~O zir~qbNoS}6U5_M#1JV$UWs$3iqYeLS^PZ)UISz@^n%{zyaR?VmF_SWn&Iu5^()r~r z=U$`|i_yiWfpFTFvwvk=h|7~S6dO1B6-?g-RfX84_P6G{Vdn3SqY!@=c_<^^%)aw_ z!##REZlZ(v)F{J(zLM;#8#-oBn^h}A@MD*+7*0s;>aE_bvY0|v9d6zp74YC z>j6`{I{x-DkPZZIxVd~x_)tS&tb>?JdYR}vih&^Aq2v6ktn85j2fPQ4I;+02-UuS zMR_7aA=WKcd!(@Ac+Y{5F2N0|q{tO#`K^su%FM|HnbKomfP;UQb?|DE<`d~A+%v;+ zDrPIX_be!f4$boWn4}TKh%m0H4VGWvPPRDhi}%)d4;KL_tMc!)?6t${4)wJ$v%BPy zQ&OF8Cb(|qtKSm^+8S>%hlux2epe43yG_s4C+tebjlti}`=dnV*Z+FCHJIX@84!SZ86tL*F>Blp)Qt(K*RaeQ_|9>euhzPwx>p%YV#KarAwrlZ_=Lhd@t7 zPbL-?;VaK8b(1f@GVK{hpHq8*kV8^y7gERvNQz&U1@88L5@m<@dWCuM%sWQ&+JQoDRBC!*vE=g&<0$8`)|JrF1BU;}) zYZ!VbQWu;o#`+P}G^8ryanH<;L(q_NW`X=7WBo5r?nJGt}z@4ENHe4BOFI{WMgKRkO& zQ~}{pmc)~$35&Ci@uF+5Ps+0TcihLrCAq%XY#)A=?>yhH^gf?AhYS?UC~Z3=?EU?# zK>qDS?c=8rTW9Cp#$_jjjlC>mSF60Gr#froEGxCwTn0lOV!oU9_)7tXFKudp&CDEU zzmO9&98So(n!bL0wIUaN;@h-Imt*>K8Na=9*(zAQ=$HaG^00K@6+U<<-gLb4Z^b}c znBxEC-2xrp15EC5&$R=u27EO-Phztlr-(96TUre7P(Tu{dtB70;$M)`+t-EqzRwfC zMrIP+M7dHxJiW`WVzg;T@mA&~5!_{8C&(Q>=B3Q}BSm*YU#5uPy9DzZE%WWZVdsUc z`@c34B`oS}_a08zHkY536Zd?l%owKkzpKer@Cy8#acef{h>+m1{_VU2_2z!lu^qMK zD?^&0CqG#Z8L6mewhOKAp3c|s>s9aVIHBj2x^(*Xx5nl1nO8XIYdjBp*2I*NoyebN z*6ojfB{_LrVrg?7yj(`;dTH*$2fvYTAz-|M^ebD#%2?YolWMTu9?t?(Uk7BGpZC44 z-}KiL29Gy$^VTH=l3A9nb?G#4A`1`7?V6=Tn+SNn3uh(GF}UjH?m(B@2Ilot-WBg(VIx}58J)E zboiKs*;!VM8cT^g9npgD46qL^~+8H!?nx7)jwGx3I?*Q#{;BmLd! zvTV$JZ>Rq=@US=@pg@VaH9+G0z)ub2_MMGtw5 zxWk6a_5Gl0bUt6-hs`Ji3QCMTK|ge%m5wuELp!aD2IVQ}bc>~oX=t_`r0qKGF({z+ zFDDq9ZMa@sjQOu$AyQ_tvREbA-zg<&y;Q~6ryQ_FevN+YoQLA%8K!s?wIk1Q`te+a zpjN5@{x+|=RI|>E7=mCe8X5DiNw4FOu{@vsan?Sx7~T!*@ppX1Xqn1khG^)erEKq; zNqyI+8={N$qa`M$+=OqAS~^U>@@A4c7!UO&qHlww$;X6gs(RB##%#TuN0> z-umNyRI+p>GngGDU!23w4A`cId*u46u?ZI6sffyhlT?9vZ!s<}tec*g?m{N%B@Ky0 zU#ktL&QCvFDxg?ah-i0;Sq4%}i*JF7d3yl0$~4;ozb7X8&$Vfl^1f}st8C`9et@d6 zRyMt(K?jy|=Ow;^q9WC;UN1b&z0tHhSc(r@oDvfhKO0r3YXK@SYG5W%@ht?k$Ha8(bH$AG@1cv$e&e- zk!9LU`&{KK(GVpZPw#9|#B-eBkWbuJoWL-r!YNvVm{w>%r=i6LVD-o7GRSd(NpB$= zOCd+}#-a+2Cx-BErd|!~UP%)VlB*q7*VNqQ`JJ2t)O)^AHC9bt~d0!I@jgJkkoqiJs z({^4{toPK0jQ{|yWDo#F#KFid0j=k_Fe=S_&Cfyy)7{^BsuPRvXMWCGY|3EGY;by__u%9ix~_QON=ThN6*kgCL)x~?8{Ype%zRV!kc*QFl!Ilu=yhuiS=*hZO2 zOH?B&tJ6*Loo|1i#qVO9#ztfkS@#Po(vt?6)>;!OuSg624pXUQs)bz=ZvNj7D4(tl z+`mp$2p&hp)Ru}*d>`->P(O^1M}Cd*@YPC01JEIsP0Yv{HqAl6OM{p(2G#+^Hu-j>e+U8r6X zuS_%Tx68vnQ`lgrYSfsLGarSxQ<&;XKQgXZyMZ~o`U!iPO4%Q?&w`W5XzWg74`+G) zUK?Q<0(5`HLStwT`h-t!kh*mZy|{)O`m^ytwTvMszZXp}<@_exeg?L*&4r}p1&~3P z1Pp#(Gs<6$GkREhrTl;$&LvE1Br!uE*^Sp1F&=C2*kzHJM9@{=To)eB4^SzkUvz#P|w%b=v7*Xv#5H zag^!R+{$AI<68~fm);HTvO z{{1`f@od%W&#s%zmuC&hNEt^X^jw=L3ES(aKnWew2g=(_8(g1ttdSZ9l`6Gvt)@N&LLCpPI^pHumCtr0CC9)eW_F<&k z;>UA3R-3 z-x10BY`fkn3Lm2A@{OIqyn*7XN(A{N7eklr16KIH^~{d%I@hXnIy5NOng{}{o=~cA zhx+g9ZLeF-^P&#DQ>!sp7=xF~493#Sx(s$}U7<^ow~QT@Z(M=c^E?IU};^3 z%+{|#8K3U5Ebg%JaOqeuVHF1@?HvMry)s@K;3bk$K8p&+=l4gq2Me{oJ?VR2ygesn z@Fz)MkYhC)x+aBObMQa}N?xH}=mv+BP_twKh5+Bmf6jDkh?wBHkhMj!^PV5oNA z3r)Y*o~nEOTi_<5x83VTSg3xxAmEd6E)9l3O0Ukt7|r^j7ZJfeF3bfSlEfZf#vDqv zc*&%US#otu5jHBkITp**5y~_1vA_{ar^`Ib+M)NlYa;G{x!m3ez{U-V2xvsGg_HdJ zmyVZ!<^a9mDbNnJMgrf`#+~>Ai`*|%HlGI3UIm$jwDi#Haj!Bxq9V}$>$_+4 z9A3VSArz4R>W2`VV`s>!m`W56cj#iMS`iXve?93rhXj<0=w#u7l6yoFA=>my=1Kht zM?`;;wF&AE*2)i#o})K?;D7KIaF|jorD5ZT6Aew3x!Tjd-5%!zeDd~A?#Cz`+^4s@ zF(aF9tuBLPZTYjc)w&hcf}}_Aa@c9w`mM?OYGc8Soc1uyT*w9<71X3U>U+dA3)aXekEA@Dr~p)A;uzb&e|udpJw z-pKWV!5q@is#tiiWS3>N55{*g@I zFpZ|vqsLb#h#BaP>NRYwsMOlA+S@9|+zlqBa_@r6eUD$^n7e1&eG2+GhTT%+p%lnm;7Hg+Rr2aMS+>&860sdMh2e- zXQ8J|Kf~5+T;Q1QNg#}Mc|ZX!m#+d20edoR;ZVGZ-AEHQ+%74oGnZd1;M(3yNeEw6 zy|5@YpP6IiE71pr5CzK6g}k$m1mK9d{4PBJ8T({zVaAZ@kz^&}n&xgIu1?Rk#%cb~ z^9#PRmn}RA%V;HKI5LyyYS^wLsmyGIv3xEYK%-L!9$?b2NI5K&it~Oc-_%}B`|&6L z+k)@19oX;AX1(#=&lKZeExln;D=lGv`vRG^eWFJ)9gAx$LxGm`Dd`w`R3`M*NKGMi~0eIQ%#3w3kFDiD}+Gcb0xUMJf53Rwa*^d%)|H{?Cq{njP)cXi(|PyE1YxbXdY;TZXsf zw@%@+R{ryCVxF~bGX5(DIXxQHcAOwpL=j_*R2D<%x?$L0TB>O3d{i5lrjf7)`}u;( zVilGiMTGIqG7O`OvET^D6i@X`7n>7p^R8Bs~DU_g{d0~S!(Fi51yL9k+CUjX_H znMy^d^sbKty1PUNrAM#?vD>p%U2woqRKd6=yM(OJg=x!w8l7^CE2TKSQS5BBGL{q5PZ; zMTV#eB|pl6gIV#Dy(=sg#^!lq(AEPUmJvf?ko4P?d3?>Q5dhdAc^fFw?C#AoPu|Y; zhk#M*&jFso&B}a0uliUrZ3gvTJy36v?%Hc!1_kWJ2I*;hScDmQ*6T+L{~>?!`bcmw z%ql9qOvHezEB%fPvz~7%M5B3%|VWA$ZAACBc$u0H_hcPZhX?Wl?)Q0#5wS` zaK9Lr^`=C}(yh9;Sw%xp&gV9!l4M{7f+^*oi`{9akR2F}j6o0ppnm0J5aaNC$>TW! zW=6Rpdkh=kF;}~bTjZ(b1rEXY*nNGQ`to~(?WK%~y{q(bCEV)Eb9$7o+GKP-KS)xY z0YD>%LZGv@7MoVSJKHR%FM%|z?Y^MH#@V@N>gR|l$FKcJ5rT7O-3ave#?2l$<;}vM zYw4#rS!04Um*zqQK`Z)c2|oyJ&^R$^l%VmiZ$ecLZh|ny#ge3#q(IcTatgHgSiwCe z`iUq!en$5`)1-}C#I5*Mc(WzVDs#6*4}#GUditM^1nujvb9X14@MzU zK2&xE!ly*7@q1UXN5z_p%CD6j>Lt{X3Dvpbv%&2W;m5x-~8Q-Iv-t-ci7D`tla+)hHD817lP%8GWEAcg_Fj||6Rhy z4^xN#0F*f5{z3GnouwZZ;=?jI^48VF6)Bp|WS4~8(^h=FDhIK{M)qHW2&;zFKJ2ll z2P>z{of|j^tG=7G8WWGSlCp}GaH8uwab$?IqwbB4h&wrv1NqI~J?Z=PJg*Cv^I2Z3 zHi-DlyL6+2sC2QmBHKS%Q!xmgc9SjPZf|cV4sV9W#xkRu^6(JbDW8Mwpd)DidckPO zmtL>oynh?a{mLoaqzjE;g6gOVrp+Mz5Bir&n$dPD&VOGbIt!gE`d*iD;w`Nec6Pn8ZsOm$42@g{}}cEvbMs1IjJEL7in!MS=nZ)fluEgK5H8<9{I0T{Vhe4ZyY(D zCpUa@GN0ea(Og2iEddP>yBfZ9@K@V~d>rCD`_bqpy-fT;!(ti+XL5A^2Pipk==`?0 zv=3alRzv=CJeil$QMMv8!FcXX`I2t|M!ERbZmA1qQuPc(s%Hx`D-1Em}o#E8rn zcqb&0M5(1!8N6oFos|SaF8RQALlfMK1z@3dK(ZMA3b<<+W7O_zfxe0z8N4xhfWLkrxt)780kL z6%P6h0Yf6W5V7otoWmM#v8Flb0)yK62XcA2PN8~t_S*$`uOC+JB3Y!$`QLAShGj`(C zTF_jfys^!<_JHH(nbc!V5VT6-MKj{+ap`~`gNHvdW8IfYL}5Me!QE06zm=T(cgnHl zJb-6PCn-ie<*9O%qdvUAk$yRQl<(UfSGEcRKJ&-^^ML!0{8WhaGj@&MnbCFn#10>lN|%pi3>C>Tm)$U9;joZos~?L;OLbJ)r`5@MQNA4g zUR9HIH7_-R0tG;&5B)8fjb~CQ8_SbrB<*Pp_DffSvD7rkVJX+G@Fcx@maJZ!j;Ls} zJgzWFUnGL&;S1XSGW~O4|16-AysvLH1$ILV5Ni>DdN}3n>Tqz~+#*2}kW5OQ+Eb(b z{;Pni99G`mOj$-{hwpHmE|=heQ5-Ws99OT%to~>3vg_H*r26~y7O%DDo~yB+12S;` z9iCpEgXq70k{@Fjj7Xzol*r0f-_m%R+Hlx~AADR}rpNIy+sK~?>aWm~78sQtH;peT z(w$H#h^L~aZFgX6?oQ^ON??rcKs?&9#&OkEsB z8xNzftG)^?d?whx1CHL(2JIJs=wd)>J+56)>jno9<{1 z?jUmx)u%r6AfycMuFGfVAI^I1ht@5JE#JAg-FEG8lzai-(!!4@VnjfSb(*>S8n}B) zGbZnKZov6424iz6H4_4xbpsbyxAXq6aDFgwX#pbTI{Dp_NXz(A&(aHwA+nnOC zO*VBoHTg0VYFM~v)}wQ)MY*;QbpJ8dkKkFtU05T~$hHKN-MKTu-BLsq)pAlCT8DJz zzCdkxHzT)nT*^2Zb_J1U5FLLR=NPx42n&A9){S+^#-(?)`{5T@XyFBy_6-f!3xK; zQK0fA3TLKUygxw6m5C~o=FPAEn5(hSY6iWYhG|szk z5ilU@l&(FSZM3%Ls3V2F<6-RliCT_5ES`_Zv3vNSO>b;gc>1lo5h2l38;3I?M>ITn zmLaK7v4?J-&hIs-Dx}y(gI9C=OxcTJrC6wvHatVo8}pG+%2bspj|GoNz*?QrV$>!+ z1;2a%1VF4@5tF5o9v*0fS}~(pydkDsY#GXY-WQZN0>Wa6iBjZT%Du;@;*dR1%Tbq< zoP!3iWiT}#SAMfH)2g%wU6ErnPMh+|=XFEnXjqE(>wdh;tetQcHFRz5;k zi4{Sy|F8Do|5r}A(d5C2XdKxt92`bxdOEpxZ*hNvF<9%FS*p&tm}6xYC4#$Cbl@y4 zJvH4n=%l0M4Vq*~?5rC)Q=8E2 zb+yN`<8)hc(PUOPRn!;%lCHY9>2Xm8_MX$sulj<6>eap~NA zdGlYs&&dp3&0>68+dn)UPTOf^_y8mu@Fp@vk>4b)PBBFD?9c4$qtuGVJk0MI*vRY8 zoN=>Ii!1%sbm1B5Dy5X6`O>UjhSD%L;{0oLbJn)xi+`iE5NV^kZ{!_tV(tOi85{5AFudPHnpuy?qge6dSE7 zU4+!xkYetIcFPg>leKg#Z}Ip(YBJ%T+yO=9G~&Fr{TAPU7n_eh&vowNPb@Yz)VJqr zk8QK;95Msumo{llF``>SQ&TlnG|0fZ@3lT1N-h4%hMa5pXYS&)L^}m;7_qOPIk#wd zP&Dew;+8fcLs_Q0i_@p{&yvy^(ir7V2Co^@$9~(rOBlwlry*TvDg&MIA)S2~&s<&3 z;Nz74B6(H(3$2ub6p9|<;=&FKbCZV??Ff3HmUd_JfUQCKP$sDzb}Kt3rz%2b8ZLj| zpb+(@lkJ_~%G{=Zr%}=74+bw$Bz`M{HZH$iG(2~~m-%!P<0D6Gpgdlz zF`O5)my+H)cXWxqea6D$n<9PaaSi}N)&SwM!5rRIB%nH-xjNl?&YL~+dsTuMBW&gm z*Q-9)lg?un4Q*qw$3nkfG;2%vMKRH4d&^&gHl%?K>4xY?nWC`e(}Bq%S=Dso&>TT8 zs*P)Nh#aM^SK>mAsHjbnu%eN3&Gy-l2vq+O)@$VK_#aCiYBhp2F%Wq|M7U+@XIYfZP| z`l2QEYn5N%^F4;jV^*2_jR-@GIm3See}ODzhDGQ;ua(50IwbXv2Y3AeT}B2zrq3jNb;C3wRU$mKG|9H&Ye0SiDo$FUF{@Jn{g$^@{w1&&h4c3n39u+Sq zfpN?JCzt0Hw&Q=Ve_V>?EOudTE*@J=>vSh)W@78PjuXL5{ub8O5Eh(@G^(56qM+Ja zq@E0ojJ>r~ZX(Tc=xUHa8q3DkNdh7_-1w3?tv8bC<&ek!Q%a-_%FbRnT;0SvP~1qw zYxy<3zUaO4O4FeJy_=of^JKZ;eQSWVGb<}skck|$T_C2sML6|H-Jd8?LipwB-4x8U zDX|R4^jDXQ?rZF|>y4DJ*v;C_hg#_9AODEvV#z#X{0H|MN3jbq*@@g#Q!VotW5${Z zoi9U$)6jDTy)VAY8Xac;_;u57Y-QxC0j5pv(?sc>*knP>sTocmDHqp}5?a21PAy3> zH(&alk*fl>1^t-O5hpN6941)SVi|U*%YXT7ow>)_y2F(sUud=Fa5(uls+RGlQJ;p$ zcrZHb*5hBkr+t_2HJXsmd2+RW#5eGo$Q94ovM)uZfpY2Zs^F1h30tGXM0SA=^p=d4 zhv70&@kVA6mMWAH#Wb41+#+;Js0hbBh13fJShK2wBHeAaPkD?A4?ElD3pMr(5CI}F z(=Lb!hJ*)oT(7d+AV{?RmEP?uy$n#Sn}eW>2x*w^R0pka%F)C&D)#d=&kg3p(0 zaXC6n^ipO?TFyhu-j&-1t0QejXN3M0hjdm^mV7iSoTo+oO!jk$$7teWTDYpw5{a+{ zv`lkMBOFUFj*&x>9hdkOaB&4P2WU@71k>mdy=+nReW8RL71}cfxPbZjXMB(}pc?%} z!$RAoDX;UjLw3z~=hK4MtgbQ?VERAGaO*c5VO6*&VXOlS2tMRX{!;A>7CfgQ`tm=yG&w+T_Ia!rZF11^QY3Ym!Suz_`K*ZIOS?zJEwW8xn1DKqXeS0=+;zr}1u)iG|9qWH-e|)9F zz*ROC@A+qWc{Pb?AsxzeMS0j)<5$SI(enQCq4B(#%L{ zltF#X-^GcmR8M)Uo#}hK-1SSpW2JxA?JLhC-#B@g7OHb8qx7M;%S~L&5&@_}DaL3f zP@#7)ZN%OW)ea11nX_04Y+7UoxYs}gbMXfsQCfL!`j4T|5>#Tru*#D|?0aJ4sBs60 zI!GP`0;&PXOryb6gw?nxL!jKrdlUtg4a`kyRXMo!zK}GZ3uFv(Aw;qu1Rl}qWy6EF z)9cS7tQ$u*a4s-xvLuoW8R|+p085|02XI91%EB3i-u(`DG202pu_Mazr=#lMN(w|r z8XEc7x4@jVzL!Loj`vG93p8DC^@GU<;b(WA53Ub0 zWhn%6my_B)25Q#Kn#}$UEpIwthL=`LF<~O4!{a!@@teHn-e>K&+SSf(CYZS=e_gwx z3sdAtzbPge6}aXInd^3k6~GiT>(z1g>X27V{`)Cd zDqK(}q)RvT!(Ro#RC#Pi+TCmqSb`g%;7RJ($KQxl$P+W++)v0M$Mn+rU@|EkX} z1K&r08S*yf3J9GxdKj2fY&*ki6g;>b7abi$-p|k9LPPKJqsFKyqK?2*hLeM>pSQ(K zi2kZZ)js=vR)&OxWehTG?)7o~TtVo1iZlM_Pem`m^7t%5@CSL$5`G=DZ~ZV1gHvRG zlb7>$yn{;WiJ8sW^}=-*Wr8VjrPUA_k;O6l`hHJEf)OE`JU-&td5%^$ICoZ3(H=o+ z8P>!WpGo-cc3Sxm?y&f#3Rf^XueoJ&FX2ew2t9{C!0Mgv8EyVfWL)+?6l7NE1=UQ@ z{kh;Sx;?vSS}2Vc==`?P#$QW4?uXUlYVsLLTCNY7R)0zI`LHvpug%jkg45@Bl^yIyU}4^6nDfg7%EoIZ9x+o@5*=}}ot zYjT(Ok9O#6wUnowXW)jRp*0!4MJ%&B2zXNXnczF}L+)tkOqEy4hq5Ju-u8fyjDtzC zcW=v#w8k6tE&XZoZ>^n^yACPk@UK(&U)Hyo)UuO%|NXv8f680zFu#A#wiCI%x_5ql zJ7h06ntnDw-3a-RZ3U*CuK>7Uyve%>WV}1D#GY@I8IXW>@4J3syhl8|bAffbf%z{E zjg;oSwJ{Ako;8iL-!t7#{1%r~g*>QABh`yg_$q#pp($Pq%KZCi=ALx0I93uMI)1UE zAl$Nio{SQT$+(piFsWNMtxKq?bZYG^Ljb7%AW~exVw(3*62x&0hP(}=*EM{! z9w!i^6wB&?H*UfZ>XjTpj{~bdDReQ? zpoocMQ})5`WL-}#twuB13$#IqlYow^%^n0Kk z$2WL1cDxQm@viY-Xe0Q_==^NG_wj6)ly_5h6Gra-4j93!dWW%7e4aJ{qXs88m-l$x zf6Z9=M;;h`ID>%uv;8xUc+f0*7hyxI-sYu`s!&yP7s$;}oveKKS(JI`Z>)#MzjZZ} z^@ib9&-f-iVo?}S+;gfO*Sxp6%OQ@K-I26lTHBr7f0BIQg&2JF!HZ{Y zV>rNJ*^{KaBX4kOSCL-mohf7*1HcmJb%kR56!|rv>z_1{5kBFEs)A{^H+-={urss?f#U1mZ7jghF7T?c(Uk+nl6?<^I;(x=URJ~q z7*(@NJ;s}xz}v|6hvKq`vJNm_yS4%&a?Mf!~VrVrK~K|E=Nx2A1X}KlIFy? zX}WUMR(SNNX;oz-f$k8bDNZVPLJHa`y36ALM9oBVD!63@J)Z`@C zzFj^-GMIrr&;|l(ydr1XA3XOSf=jC3QsR@iH%m$V*|ds?vVTkv;o+A+LjL4mzC<)~ z?$H@}-tp;&)R=tMK{_UcQMcjAKv7rvASaFteH%0xA5{dLfqeaQXL-@&_ju-GfO?n* zZjhrnX`lu2K6nTDAXWe~X;ICEi0~kqoxBy=@L`rBAWYUvB%0OX3EIGjAmCyOSXHBxc-?Re-NMSM z5TcYKV313xOMd$J@voYmUbqQm@KdScN=Zo<6pfS}F!EU&|e8PWBLo7q{M-7kK zAI-nQiG&m9)?;?pTL&_<1T>SwZj1r}AvN0C=L2H&THs$+6hnb)7vpd~x<36>bX>>F zm2r5P#cFzN6Q;d()pu}zq0gh>o{=d-@K2gc3kEm6~4k!$>T?p zPVI>ilFR(_Tk{hZa@fSuTxfPSX}S{r$?7v3D*Sdmo+Xbhb!WcG@WI~62SS@kH~=%O znNj*xg$3XF#>=oZF>pD_wgSKFyu-gA!Y7?`a|~pWX~|M48uF_*CFp;2>X9U&*n(4| zyeT(Iw#o&QriDU|yOk4yR@tB&`HiBhrh_>lR`t_lay-7OGl;vpJAUnrlMv-9Cuq!* zVn61#&$oPWaWSJjtYLwPXMxSvY?|@q^ZB*%e-e}WPy-WS3k0HUoCC28COhV+M~WF1 zS1q^3PTb|j^#MIwTm4~Ha|YSpGcDmk+c|^QzIMqfZEa-E&%DgvvFzvbM!?pMuS$C zq0c^o8TIw`tId4q<|;>ff2lK=)-C_%+iiavAOS$BsamA`S6Jn98W0d&(G^iO%+(RK zNl$+u$%WF{Jc|sN34Oe%anXnLsNqXxEIX^0EzWujT#?d`F>eh_We&IA^EC3<8FNbT zfB-ZZWNTGtRO*$ZiYLvgTho$@vk{-1S1E!(LEMzHiA#B5pQ3;Ki2+z6ki5FlezG!1 zX_?Gr4bt`%qsXUD?4DnF%C>!@{vsuLG|Ut;Jas;oV{rszLsye@*Clsc(#k(IYr&bY z%m@VVDw(WWysYD1+`N^X;z{F46Ya%Pe~a!IDs1?-O4-E@DKc-5+V7}2S_ld2Ay(F$ z3MdK?Gq#AxJA3E*?l}yt%fUebmE)YJ(@GR>Z#SIu=>k@CvGr`{z8!Ph^6_xnaB9G> z@JZ?7ayXsr7@C!N`?P%1I;C7Wokl-?WaMioz$uO7Qsa||kUOF+&nFH}&ZJ~c3?Cm1 zm8EB8+)vy0Fk;pVzrC|qI(zPCjE9yk7t3wh=7zoWka(eB96_TdA@YJeuA~IpE)gq{ zQS71L+1wTjJTU9(buU7N*$7d$Rca##3iG9jf6jezM`-J@NuPW=mI(T&piE5jg{2O7 z`Xk~UOun;xJ; z0rRx;g+M#bQBaCN&uuca3-;pmQZ7lFHIs3j$D~$W>Xgx>Cf#_V{nwBAa>(N=_oxs~ zvuQq#;$;s3V*Hl1HTobI+*h^!$nBjwh^FY=9lQef8no|!`@}MstE+!}oIBqwJt}?5 ztjLR-N-oTnaeW%I4+C__i2f>crgdt!g@N?;HSV_3T|b?RH;W2DeQ+cz0nJb=XPf)d zQ%(=7C7i-lJrk(R6EeiEeUq4upbdh2D(-wFVq{#^e9BK8h`}IexZrYnNf7KmU(Rko zPghWhdPnyfPuDP!NSu-ae&@EX^{@h?(FzopPN9yWNz|eVZW&^R{)ZU{+7HGCh}lCZH;P5>$Ua zy8r1LvvhK7ZRfsi_UqHpp zHUZC6!%W2CrJFQ)czokqv_@{cGFa`)^Qk`@{40b-J)$pTXgZRjTNL_%2lNhLlJ^Qg zm1?nb&ZtnYhkR_#%`W6ufv*x9_3h-7US3DnbeU3h_BrwmWQDGVviq}N0f=N4-sjC4 zC_=mN&jg-%L8VAk6lp|XN;5(3iFAQh;b4~o1iInU<`%a@7tQg%E*kuzEwYGwsv&Zy zCUUTeBjk`;V!3HQ@ zkBZ@Fp-tNOGSiXNj8VNa$^TEeu}>^&a5^975hHHZHXEY}P(i7#s^iG0iPZ-_^plLn zKW1^o)*zc}sE;}hV&aLCXqQK9%6(~iYMiEvIWyj5 z<9DJ(x(Y9!DUTg*6=}=-piBs+6#rr_nnUa{@V4GRQkF3RqPxWtXF6I4)91#pe7g7#`KRz*{DNHGdsY#x5znY4kqqhmOQ_)LdDL3g=@Pu1B z#Fstue#RSzUO<{HyuD?QHAZdlUx5blfNCi3A6|yU-Shxm$H=zoFE~}vHJD-oGo0T@K)t}2F%JP5D53zlLJw8vg{6cTgd&Mk!PW8HK?p(u zVf+?*LF`@K+y|J*OqcZl(c@LG0 z%ndKbGoe6Q%$8pO0ATv}wK(|Abm(sr{WZm^4MTHI4d9-EgDLIT*J`$N z_Y=KD-hoz1jpsPIiZg!(mT>}#>*C>8U+7D*nek`!ieFkWV?Rdb#Cd-&WW!wmXV5N) z-Tta1gt1`)KnavX(8uB_C?=?jXIS%XRmHLP#pio;AaMQpIgZeURj?qsN{TlJ8RQH+ zn4YgQY1C-(+x#;Z`;*BRm;gm^A*jkd{M>Qw&%X|L@d`U4YlZ^P^Z>cI=>@9W9(V&Z zaq(evVvaAK0-2GzrRv4wf*zni48DQ9My4+wUcf&>TFSawJG>K536l9}ABS86k*aJg z%bKp5XM;YchV7cw1m)qz+r2aLj^RLd;@VUXe#NxiF;Vt^9vEER(Q?R>$hQA~ysWP}Z38bVM|V-X_4 z;OpR1Vj@wFX2Z|%wf@wWw1*4`v6Y~1B~R->Y{xyoSE0YHIHpOF6Zmq4`YFfmVkzZ!{nlj0Z|80 zT1+s(fq%@5(82(;OlGje>qxM8!e(ov!zZn{gw{;D z0HlOqrDRqp+N*+%rt;WaYqqJqlVqLr&Z@`o&3g!LsTg4kl0770^EIud^_$UrLjoj( zznL4L*2|f9ItKiir_&7<+_*#7?s56tK4`{8qFf#|+L+E%9h*+*tDFcu8~0lbPckjA z*?-qq2p}%t5%d0a-!ND}pG^DPR8qVmbJAz=YGkz|tDrS$R8DDKJaPWnAOUJ}4sO=n z;*k6QoeKcw%ly~{%o={90Er&ILTOw+(3LuE^%#T_m++;>ukH6-247>h&u=s%-!opf z(zh7F<|Dy~*9W4^zJC^vQ#_zqd~?JXucd`XR23OU2)8y#J8ci2u&J~!+sLOymsxf* z+EL_*ncR|Y{B!5(QJEx#^nOzoD50xHl#0(PZK+EaaC4PV?ReT~tBjn%RvXN>e?MYS z&pxx=sqxyQKbv)@EI&Tu1W*o5>I>Gtj+0$0XDIS;`i}U@SQ|>(GKV*J;j4xZ4B)^* z$p}6WGl?s&kUnZCfuw$mCulGtKE+eX{iG}$g&WCCavsSW3V;F#g<;mZw`2EF2_;U; z$_lt3bOJS_DlHt`-|Ds2LZ;wkeu(B2n*`O5ftPSN;QoVXYU0RVS|gUaxDPT&2${R) znz@MGK_r0xg=m6=@2iktCdnSVRFFD)X5!UH=7|t2p-MCDrl+T%hunktA=z-qHx&%c z9eaqY5wl|QX>nuy87zi<*#w#Gvj)zBd}Xf!^R0*yq%LZ^x}Y>)JS04x=b)M?x~o`7 z=HVLfouBe8^oC98k}W5nPL_+UrQVw!=Pup0q5uThEw0N zTwQHKrIk_vVj6(}WgVkd(v}Q6b`!J;sKKujlXcU(pGJ^>cvokkJhFzZa^GeQ#?N9s z)AOpAvYOAQr0Oehgi8>-ua9g;quc78{~wyZGODe%={gAng1fuBLvaXBkrsD%cP;J? zrA3R=;ts{#-Aa+-4#g?%U+(8!-&*-`erBC>T{C-T_U!%kXtmQFkP5IMLPi`RwdiGV z2_)yXrL>z-5G7%-s?Ce)wNBpmPvtj;+qI}fBPU&V){@*<`&8eMo$<_G-*^PmYp1Hk;q zKLic937sRXKLu${zGOXr)-B(b+XJZ^^UybIIP|sP_=+z@G+6deRSXwufcIP)JJbBZ zuS>CSk&l@M-Uch$AMxOR+wBB@`>^3XiwP8gpTDsmxIo>eZHVvHlHgXLrpu)!R*(PP zXoZLC1MJl~pKL~5s_dWktDK^+T9Vh#=GndV*e4KnvyW_L43MA*yc*sx(R^UmNYmOb zg5#iCOpe10YmjOfU1T10OLs-mxrUaxo z4xx^v1pdGbj;N3o@jw^h#ccGFr$r;8g%6E@>H}UT2KNmUCwYHn~=0+%29RxnR)Hb1GN3Z3GgAY6HJSV6^HWqbfC>|HSD=MT+9=6~9$4hQ#e_yx5U*rjwW$j8)Y@c3;wb9VPb z)yDf(WK8IOFAc1vC%iyY{=kgQrWa6h7JtgIE+(Zc?u7oLV+4%CXX-`uQ>kzaO+AWnKt}B3 z8F!Cvbh~RtVF(`5{j<@PBgr!LdivpBlshFk?}AQoy#qSH!5zXkL@45XrF^9T%zxmZJL+a+|72%5#z3y)P52%wej zDxik(s@?d0FI=cD992dzc5c9TGiK)Ka6D;%1;SlH_p5os`mhJ*)DZtx2K;!Pj&>8v z*XDn@$|vFFkzlGqDg{1e++8=|x=#7lN55B!jOFZ2=g2o@Ir6Ujjugc(YH^}hek^u> zu1{r@Ig9~E@XrSQaSvaS7TSOIdIAHTwmqJ=P#1`LBRPD!#p4{;2@Fm_7aundU>t~x zx%Uh2cO-YlxyNytRR}|YQe4tHP&N5aKz`^yTJf4v$|4lu8WH2C#)ceg35m--XXD^< z8@Q|;4178++(46qbQUSR7b#~_UpQUSI3+Q-HTdfTThI*-4;QhH zfWvnap|o|aF{`PizYW93UKH8PpIm*1x#2_9FyAY{$%o+)RiZ{I?yOp2x%ATIv-=nA z04CsC(E8BiV*!$od_bD#``uW~(wO6(hsN4}j=`dU3(zJW(CHzy+e2VV9yfR-7!$z; zB3&Kw#RmQk=Cl3A($YxoHuy=!)@$yvIyFpN1Z63mm=S>I2Il^RpyzV7-ewwJM=j|4 z^+&sUGXwhp$POM(ln}af>?sdlQ4v1g;sk|Rsn{&gM%Y2^A zlcX@g9ghn3`bw)!bm>)&$ePy}F&gk06tgVfWK-1bZi~Nd z75UDkQ>-xVcBpkVW}J(ccjrjrUsqV4=~fN$W88OE(nWU=>em)N%{s!~w+ zsWEPgeRxG~eQ1SYUA8(yiaU3Jfc&wq)TP5|&J$Dm4Izh(%qh-xrRgw28i#$X>b*2h z%M+aU&gh0nOg{0z!o2?FFh#q``MX8g*@h40#^eny567G}?~u;W-(2M*6J0d@@v%AGK|hKAM zukZ6cy-*jAxvpn-#|pE&aLY(75cQx;@>#oc2Z{HF&)xF}2Yd*C(7jc20=0#1$Dq3A zRHI+?Nl#A1m>{(G;JjM>*x7&eH}+j6nsyC6kAn&6Fk5Y$)aC>*85a`r7mQ4ltaWu! zzBdu(_=CNifhg&RW-xNxoQHlgZ{-IYY5_UtX=k4rnijnmHf-rP9vLPX%@(_{0MuQ? z2`Y2>MN!eCzSM2JOJpu)Y7xhfgYB!a0&SQ3Yf}fER^a7Dy)Bjd;>EvtrbT9Tt6YOB zkjp?hJ>mwaS}Bt&ypgj{kI)1fR82v|0;la^oyt;5;F%&4gzw%YL%O=>k{K6(c)OKA z;~dNtSrfQj5iMKTVtcI2sYrj@*^W^n^r6=U^^h(=2_*q5cFH#g+3Fh)o6!gz%bUv` z1v;y&hcopQL2QYgI>Sa=c51uAPIWh`relXQ`^p$q&{0Fmd59tkW~wbb%B3dB@B}=i zHT)*2mTM1ze|WG8P=Pb1%*!;3$c0~+6OsV#krw%+9yiOYNu)~;Qc}W_*=x~+QfKDD*#+>KA&N$ z;i7~Ug)PB}OWOU*f^+jCvmX;4c%I{n(N?yzK-Rn+BOVCac=+S((saz~_3m7H+5{sv z@WytvYsYKVb&c$P|E^o`FT4297b%sNKib?sTXH}C{#{j?Wy0<5DzIB+<9oeMVYtx5 z#`+{{j>I&xsW;O5M|0?t7nai&Y0Dadd~-tA2QZS7L+G)GM8}BJXA^0_hc$%AR@5ev zNWykg(?9!?yectOAqu@sXxXQa;77$mbM4B8 zhQv{WqsTJpGW_3#$(z3*UD>%(u)hq;`gYrVoNPFM&4>Xiym12lkDN~HfjoeX^$U-v z4R&trk%IPa5^L_n~QKq8`(ugQld@3;v>;4{AZK~*{vk8`ywu!XG4x*)<0T_#hP z6B}=rUCz0hK$jl{AyR3**%{BLU$-bQdOip0RWyx zj5JCp(&FUbX9IVLi%_rcR}KJE!~r zrW2dn3RFcWqyr%ipA;Mg7^8cEYXwutmDcsnvEB9hTGhd3IT)rXbXS}pAj^#K*ftH9 zNLIQZk11JFDv&|*V75L%aOG%Av-auv;_|DXcr!nL)+vTRqMGHTVb-37V=84h=nHKb zX(7TeJLh&vhGXh=Zdzio+`0gd8n4@}HAUqw?BlaU4d)gKjj(3sgCXLZ51*MSQrFW0-q?kl zxc-DBzbEekFSRz|(`>uWwI_yG((CK(W%K2Vc{ligltkNUz?$Ou#BBt;%Gn{({^L92 zRoA8+PH?X(KX492Nm|EcXA4kQMLW0w&g|b{k7_tcXwAAU- z2kyF}E6eGp!i(P3=eu{}S1-CZr^h~fJBu;^dD)?v-?; z1=;`sXjjC;X31m4GYe~xa17`s(`$a1XtKkQo?ucab9$(4=HbV?9h-4go7lJHKd_3R zsb;0?&?^#0l{YpbJK3)!pJ3hQeX|J9U^xw_mK4b9{-^aDJY~qaHw5sup@#lr;@`nM zT+Q~#ADS67vanVOf6Hl@;l&Ch$@l)RqPUEA5Wm|XsTQsFCeNFbKi{@eOH0Y}>EfDL z&80%@?0M^KX>OeMv?jnUou;TnZP2W)v7)=8lV`)%;XJp~{b(g!=sH!-jK%35zkr9M zf<6?&r$*3U%lF+H&%{a?v(zSg9McNkUD0J?G%T~}I}n}`38A$mC!sW)YDBR_nIX(Q z(xD3j%mO$2{yTS}sf+-ClK0u!_i`%6yVkrP-T&dPOQhhl;?Nfz!)D^3m;Uad#024s znH&rW^6GqYtWZVZ4(eb3ww0UJ=7xxq*G2S>+rI9Atqm(P*A`%4bo+_2@qWEKA5u^I zrm=`_3W<1nCPRvv$fxP=5GE@B7hz+$08de9Naysa4D5lt>&g^27W};D{f6E8>;qI~ zRC08DToO%6aJ|pqsCOt<{Dezq?e+dc?s1*QyLo-yxGIMB4^4r0-!~iwXhmjW!-^h{@$JzTv^FXDjo1uVRUgUjziNRLoJzw^yeiAB0WQ7MK72T{~){Cwh z=)t9KwiE5!Y5y4a{3y%t6xrb&E21^JNYHum1;a`!E9I1^df*+y(nu&CHsxx|t>#-6 zWsWx57z^&dBfi-r%kgnF*|+=B1hMLmbh);@T-(1r6})v)G<2sC13jiq+hGxZavnD5 z6z_PJW7Ybil39^vxOfKIJh)BxJXSQbzLF?+emSSqU%*Kn0#W#YRLI!J`f%))zB5VV zoan?5ODz_-I6Qn3L^VhOV2sTL0-A9N^G<`1=qh&6e;|B9{#0=4vGMo2`13smfygqY zVj=-$N#E@ZlM6OnI3<*(zsV9CN_+3VP2LmWY{==}LRbh1+09pg$G0VKFy`|`IqCDg zP!rxng=)2)4+?{GkNZ6Fpp{^xsu1GR&`jG1Y+bG@97L*Y_YV;3a7;Igyaofkn}0Fkl!>i4e%T zi&A7(<|C#)ku7|A7PBM%*q3C*O~&`;Itutq^cqzroRz>7nPDJ5x|Is`q3aPmG2>`S zzl)>piR^R%s>~8((Q=wfz{_Br&D8YTvgK1uqAHy7YZFK&LfInM|#E z@S7Ap&eydRduM+w*>O_TEN)QNPn^kpaaI-`DH8Sr_GW8LIEACpSl+SvggXm?dJPZ& zq;lk%@MTKnpT`fT4z5@K+(^3O~O(h}j=&JG|wb&3P##oWZNn1l|8!!_*m2ccRL`?v( z#kPkBP>m6%zJJH?~jUOVt~EpZtl3gU&e+g{Uwp?HPfiYcJcPV{0e9QG-xrq_#q#1{)@oBveD8Y@kPEs->5Z$Kb3O zZB0Pj0ySs6=}i3J1B`DD+QRcr{AmY-RQ8glsnbU?#$eJRKq;=;{9T|AsMK&&PBhR?BKLkRBlD_9-aReeD2tiDaa1ejVs@ zrC;_=YzC`xPr25zyO>%Q?=+mh+&H<}(XYJCdc#Nu%;eo0T z*Zoo84_;S3xjOBsnJyQnPL(8Oq&-ZDAPek|kKFM892sW265F%G49+7r5=*E*cg_Sy zs>PDod&diT(wZUBnkniV{#`;J-{t89ce)feR^9A2-}$$b0CMm5g6^pyTG*j{04rL+ z*PBt{cf1bwaGF{N7N3bxr6Jn=OF>TJVqM#zaR?>U0(o6fb7lwqV9c^mO;P|M93-SP zyts0iY^^B;j^7<%P5A{R$jSf2(H9`K`H(Y8XU@|=r+t3vU6oQ;`cnZ#OT)ew@O)jv z9XDvnxS7F0^Oxk${|f66oimUMh?5&pJNK2XVUw{u^yA6vfEtE*{LAuIVn4&}*`F-( zW^5ULfgV9S>o#LmtofbH9Z3KXevpz`Diy-qYuoH@fY|w9l+uBX>;xQD40W{I{-k4z zR=Z5~3j}W)`S`_MCk+yPgSnHn^$k2yKnuyq5lfwCFE}|_+^Kp~oc^Ae0yPAhK<1Rmhy&zouk*Ss!t_YWU zfNMcFp2x+-XB7@kiV+t?hf5XCnd14-`%{@1k6<+4Sh-?=AGieHoDyc~fl45G2yowe z+H~vIBjASOLLqQw;1nMkS$adovb#-PQI*1D%8{)Bd4xR$~D&Ih+vQX~H@8HbH7w7S@c z8hUbcz_cH+r`Qu0Yd_<+LAbvLkCWpDFtyPXut}zjWh+Y028q!tp*nvCV}ta`T4ys! z&sU1TfBl-C^PVeabxR8tmTrHgD6|l(s z+#~#<@#;0fqI21Xo4r!pnwp_%XJ_*ai=d0FHWCw6cg`wnauFqxmZNM`^8Ue908Bl( zj_XWrQ<@K1b&dNe2ZTunM0SkGatw)pKqdP{!I}VSC^#774hJ5t1&*`7rsL)xCK#?< z-qh4VTtXs2qO_Gls|&666Tle~PV(6TS&}2#NKyb1(I6e`3=0|!FvB(*)GHm+QMEmm zDmF*A%E+0+Rj!0YHikQY47992-%EF$7QHjEaltJ7S*v-RjnnJ7ON%EWg}DkU9xKV( z<;cbvz52n}lgTKwL$i*v$%WBs=JYdoN9U=IAm}wSkApx$6F=AzKXs24fCs=pee3dO zLR7Q*l>7Gk3Jzf8v&)dwu{t;JuFRdhs;8^jDxtNz_e_+{zq&Va^he`eo~XOig@OLR z)7?>qTpzQss7&$uEb(YwUS0>oxmqhr+P7Kts{hXgAk?K&k-&@2*PW_ZiIoLW7PY_b z4RrgjxmEh#sd(3@a%1ajI~%GOXs#L%)YunVII$D+P?ZiM{S+{m9@Ni#rxhY%SO#2% ze_6E(V^ocX@%0}$;-e#D;*Vq>kz#vN5GDXA@;JftLFw7OvroOEIGcf&Kb6BS@+CDa zOP6(ehXun@&nNx7^h%7l*b(Q0N!3753nvC&A_4zVwg3gm zEjB!`k;`}~`%o-o|8XCwDVHL5r-0vmD@EfynJB$kD)tbTEnUFdW ztti})?bLL7yCd+@{@|N#P!8sLT0M-lu8vz7hJ1R(|{B zst0v0coR7~b`~YnIa0bG$-n^j((J&m#o6}JCMm={Qmu=B_yoob{t;eYHdCl(ke{mE zvB{XKAQ1E_^3Gu?Sm|BVri(=4K?|gmS-_fe5*wx~E!5;aZRAdM ztB5yd9z!VNBakczoD#5Lm-;~+ZrUlwWSL0gJ|u_*j`LaFd)K_>gC4p?Iq(@$B+%4H zLmO55-3#&2EntL5kT4gRwKBu&C`qwkRtB-+8Ig`u(5ytNl8}zuoLu0?Qh_T?oKo(+ zIe6mQB?7RQUDE+wh9nOCACbl|snrQ&{k&%DVmrb6R(S6(LPJahkYzxgd_LKr7Pm&@ z0+pV>>LoL?e~@HUYhC*h0Ku&9IZ@%tiJ|Q2GM4q&42e16$IDAi=7?f0I|=ta3H(M2 zby!E4t2ovgU6X`T^as@G34M%Op{>dWA-9{0-e1qkn*5$yhqJy_WHoC?lrKaKsCGfj6GH_bwXLvpt3emNTYGbg zLb0%!l_^RC9Be7@`nObL%<{mLyuhz)dHU)~3l@ayk|+08v+4jwagU>(W1eQ?EToSj zZv(fU^T$qnBIdN)37_%5Sumn1S&(L9MpIH_wF>krcF^mEeT!=w{t?S`n1=qLWn+d2 z9)zVrQ7OmB^?I-I{ZLN4?XfLi4UapSN);(ZO+`gs1B4hgZV;3m-)oBQVD)`K@iQE^ zLClWJa!+J5s^;}@)j)Ia7#L827H&;7&ckA2T8%i22Ka|8AG42SDB(b3*)kOT-b9)% zM*dszPzZ~+UAk+eWLIz)B6@yB1#GetK!Bb4zT@V0WvL}lREv*q>-sN`fafFbLZx9G zpZ&sS1c9-%0B&ESa19(4ZdQ|n-fu4Tqf7^6piK(v4<77mNzf-Tq|A3Am>^IKXqd$~ z$i?mQ&O7Su>@JHr>$R3%$K4)^I?>|wg0LF=`{?&3+yRBpzQx<<+krj5|7qu++(pa6 z|FC>1s~k`sxGMhqRFmdLX^9_|7x2%z6A&1%g3~POM<)&DXfhU_^V+}mCV!pMRmzQ0 z5PSM3C`8iPuQE7rQV?=I9V#Hs~9H#&tyWvE)BpNxTHi*K?q?R4o%4dRO z5s!WJ5{HT!-dF`&q2RYaAgcZ#v$#Y)=Oozz8i8$yVIrELA6k@$ctY(zZG^a)yYcZe z1dt3Ug>gfX=R~j+-|^7M zw`^eNZly%+1U3DEWIpEc>=h;P1u@%28$s>q4!;G0B5Zd-T+twB+Q2XhIIr^)=kye!v znx-ZeDgqTM!MM{#7un_gz~B0LO`ap9KwVeg_vgn1c%2!+M$r-$B+$q?e0r2aHv}B` z?hJ=KbXQ`b33N8glFu4nqbqnm5?EyyY#hoBO_|IPb$o%>23S&T!rq1(ZZOSkw>5xu zNkcz#Z_q~LB6TI#QDnZQNJzJn4i}{=^{`I{?5Xbk@8S9Pt$q4GNI0T%;DxpFymG@o zG8B2>uM8W~1gnWwy>$08>pvf{fuw37vPU3RoJU(O`4Rl%87DA91z<>r2ng zux6^v#Xo+5h2M~$k2xu>kCW@MGD4AWUoLuh&`ZG!{SbskdV7F1Bx@A^@a_L zz*M*02qfqr%L2c)GY0HXTB47h6Roz68%iYDljWiEj%WBB& zTGuofM%FJt47xV)oGULr?KN?+XC(dhRWh^jWtpzBN|)qh#8YGB%gMsEVtWa>EJs1T^(0J&QIEm@~OYT#gS1{=wL6 zT`_7sEgCw@lmpA1Eb6W3PrvLxJAcT2nQL&b9xx}SDUfDNPOU#YJ&r)e`@$$eOAQa9 z42K2-5H_^a-8b|XE!kO}3I-G*QGJ*>b?H{p2`1L3AF>s5!g^74R{xa%IWqO=0wI`` z;XV^msvMG$@t-mK_6MvO3q$Xwx}(0uwthq_{}NlM9&Vd8gDY+`y80l<#XUvoJJ(#` z+M-3$VEmsQ-ew#H+ZW5;Ip+cKqSrz0(`X>umQh{dEP z@_@ZO@|P004BE>SZjnKVnDF;u@V1puYRxWr(EerQP2=%-Cw<@~8&J^YqhU*RBx)4K z({&g4^i>b1vaA|u!Qa%}ZO6LV(_zJ%+H-rf#_?@AsSaQ?#A87#ZTMe#m#{|5Z5dDIahJ+;C@$LbSM-}q{)RL6r)DxG$KJad3`mZJL~-DX zxAlvw7off=Ar#@-f3<&k@nuJdg{yTyA-~(a+=@noBcOy9rXcK5zSD9ZC|Yn%JlUL? zp|X(d9s@6IB>_ce2Ij zxO*KFOK}JJ&=%vL+Bb-IS&<{ye>jl+EJV=jATIFX+dX@s#r%Tgvey!0Fwq00Fk0!R z2!+;}4>uAXQb0AikpM1hD0va4qv(?0AL_OqUS5>g=->Ay{&0a*^5F|Ee(iHu#r?@O z;JQmZU3UIS?i}#ClJ|Jqq5UWETj-S4{VKOeI@ z4dw=DQspgyI##nfPN0jatv!_g5ZZWTa_Q#O`H8=;qT6^5n~kfUkp73a{^7R*`@$P- z(K>~y>e9r8h@&qFsRYetgu=wg( z%4PWT8m0_yudu;bp0jPPHSOe<)pAs7veK?@$|Oh+>Z9Z$8Jw==F34J=p^VYr`SsAn zg_vTn`})ONsHLSbC1y#p#0jnv2hFY z=~cpP{2kCfs(z$0wvj4Gkxep`R9+LBkru6<_?1xBTHH!BoJcLOa)RBW>D|HoQLlY(!_>h3% zztaOk{r(@0J7i@5$^%x#o}b1Q1wV6-Cxzt+ACeCAT5|-v#EHLb7n3Zm`WW+)I%wX$TTzQkX*Tv73LJ=fREx;`o!q~!1n5*A#YEKXJ zDWtl0b^3!>_Uhg5+>+(}h8p(>ceFyvWtIxM2Os^tAIDgr0ZF=WKEG=|^u#kW{$ICC zj}@iFG9Q}|fqa|?Bl)`A1*&N5?y5N1LUfY&79*ib{cZvXln5py!AZ_a4$sRA3soF1 z*P9N0Jz|6bG#CVj5|@DY|V^G@?-+sJV?eL))Up`IuIw2!9n#`%&Ja%5+TdxCAL zwAzWySYrTRv>mj&3VJ0xygj$RO=kVi^uT-7mm#zl(Ozlas8nG9R;9ovZq_VuT^H#hTidXGO+}x1aU!wAP8Qy@Y`S$PUU^N`*n> zEH!7wIYG!Nf&1A#F;<6U`QK@6=4lCOEq15^X3H)z8U%PEe**O@AZx3Dl{10kg-q*; zQ-U6fQS#E#;gD~I$^tns<%JBt^-|UmUP{EXG?qQb3-z!23ckoK|9e53Wc}mXu5?e_ zsk-k7t6kah?8NMd1q2irdv8`}nWf*SY^JUHdXm){k^tdNTJhB$a3NHs)up+~Di-Gi&9_c+0A04sbMN~-G1{@6hVabCp82~ z)77)Ldp%qY0Ut*FSAI3r(0Jc2UbbWG7jM{E`QPl-oUN*~Z}o%11*qU9_@aF@8RBo3 z!jEx4HmQ!a@FbW+?~w9b0x)?avHx`q`OlcRVV_IG!@mU6E3XT!er?|6}dH(CA* zoZ1*v8l=mv^MUdjl2BwyMno7EHIF5QeF;+{PSXBn4s$x4+Md)pnb6o$6Lm8j zAvZG47NDj&71Eq`GYDFs6O2lfYDafucQmuS7|X}kV8<}G7WvU|@R{S*WQJWbVV(vv1}1XrvgcV%GCt1HjoPUr-T%$; zzw%Ryf5;>q*~VEs>A$-K_tojN;)7uWm%}xw`{%r8qybZsb{EF*o8#dR zNJ-J%bYbo~vP~;&f1M9AU$rA218*jZMQa)KUy}1gsI%QZ$TVp?)*$^d5nzoddNu2w z)p9s?+ro#y>ZmY*7WczD>oz~ce?&szK@h0RlF&sL z-(A36*Vz-f^LUf!&Gse1n=6cw&>)&z5BM))62L0o_-ir7gSS*&PFa6Xxyo_WX=wU7 zSlB%2!!h?zekn4HP4(lE-^KTyp(cp~8MTaxw;~Ydpv!;)b?zd-x%Je~+_hUkiV_45 z!31L=tJX5t*~LG}Vabr53CBkhN=V7T6}#gA0b;97g*JHandcI+)1{=zR)k$FedyZ$ z8DjEb9l?{gs;e^M=RbF_E(ZQEID_5<+b>N>FqdOCl1EwvL?50SDeD+ z%zvEv^JB*lp8sVA07eFrbrfm?R^EAdc$w{$YkuFx0Kig{G)vm+grK!ce4pUTM3(`n zT~M9X8%s^uN0UC}f?;Fd4pZ&^YEdpauN>xbdrJu;k}pzq!Gwf3f;^;fbj=oj*FKeO z5k(G*Am`tH8?(n&FOpK}m7raYGHCLe;N?7kuN%8U@&0v1Nr`}oX`LQTiA-IEHox9M z-L}2IZ*dj0zE=NqaDLNycj|olxR6P7X13dxmjz;1w?c=#^A@DQZAXNj#Q7+&7zX1uAec~Mgf zGEDN@%B{+luPm8(gKHoFcb+c-$cz;g{{pHIC(A2t;5;xFeL;!a-YrDOGF*&jDt@_W{)kJ6J0{T z-LG$MC`8+W+8hI2_7UGMzYXwx3{SoI`P%mFhs0N2I`ZhGwEa&LQub|lEYvK;Ke^%= zgg=kRvz-?dhRJ&@CvpRVJ94773^~Cz$ zx(?TD{0%sWdb@#p^Ay?%O(spy{llNe#6yu52k7widBEqq{A!=c{q=J6?Q(Q;D2K%P zk52O?zHZ97o?+uBydvE5>n@&`A#F(V#cy=VzKfSI?lH@cAUf2!qA~hVB-+r1X{iPW z9H~q#+$!8hL&VfnPfRnU0W-zCxp(?gxuS9F>qfgM;8mCbt@*3hqM^5BLS;|;Ik^Ng zU-(!!#UyOq5Z347=T(+cc4Q+aAxSqo+_`WVXU2<4TrPgqqVjwtU^x%ixp!#d7uhii zL3R(krV0*G=pevv9r5xG7bi%m^hUvIqG^0c8o)QM!m)j2LN zO-=89=7>i{d2ayEbW2Mw{P3%F{d_4s;o{`yb|Kf)%~mcuB9jv(rvBE3Xgj z-_FaC#(J5=H^{Tz98kOkq?rpj7Ws=?3b_pgZKu|YK*{cjWAb|f;&ZLgXlIt*hi9cv zMCLXW4ipnQnP#(0^w_B}(YUFh#Q4ovmkzKNK*`6vp@&7h$aYjV5gXo=_ z^Hbf1!?L@G=!@1|zkoXL9|G>Fi;oMV+m(U%@bI`EEo0IB=HwRd$*a~#?5cV%f%!eROgvUUi{Pmg7Hr8NROS6G_`I!_uVb zj(KD%_|)V&G}je`<$^<~#LaX-m=?QZJvu(R_@&6P*^u<+2k3Fm^~ESayacPIF>HF(SfeL{xA}9SKD&BDEqJcTtU_dE{%5CH0dFMuBec} z?m;jIDHEfBKo3whDwJ@GU5O5}@LpfkC;mt9(Cz)piW2aS(ph%s|ag$_omU`&fW zWVwBqw9bT!68N6l27pRPKte!Z?9_Z!wBw4!B;>9xNebNe5}qDTIE4{vKpCxY3k7p{ z6M1yg8A8%3ja(%E-CK#5tTbyMn-A|kwgnnDaqz1UGUBgFN~4u+snBYuW9cp<{9<>% zgmH~s53i|~suSeS{NXF?w3XY*c2GylX^)PNXWedD7b zy1QMG#X!vrp{SMkWje}8nn=;IOqxXIbW^^$u2y;zNAC=;l!6Mn=b3c}`84glZ0o(W zrIwuML4c^aD1sYO?L{lsdjmYJg^8}4d?>s$Xy?jIjye>#zw@p5VxcQz3`)lgXHGFD zvR|Ao49hEdVe?-=5<@kLdKvO|A0T>1t z&O{@;Pocy@0%5_Ls#JpnF2#<0w+=oRo1fTOt$MfdTY3s2_%QuWJhaSzV!5&;uKRPu zRzgVL_38PH$(yTkxSYY~tEOs1RHzsVYo+Kl4PGLAZTkOQ03n{7%%7RJ4raqUbv_y~ zEVG&Gj09oluiNc5PIf~S;@87Im);!P-VA~KG(ZU8^z_u{_2Hl{@a2<-r)R;Ip#n*xg{Xoj8yy{66g}O#9>;5d%{#1)QY=oej0y2h!)NTiwjUcxOE8WC!IPvyrburdyO zip=&~)PET>U+4IF4aym1HBD+N#Rj-~I^4XtH&VnSZZo#h{j|`pWvctzr*r?@7`3M} z!;1#P8^s5A(fE{<1$6ZB`Sanxo}|R0NnQu5Fn9D2NGY<`q@M_iOfS0*+#}SwEv1Ru zsn|)zU&c`fc`*_T0kD*aru(nvZ4tdYQmO=F>x|@lsJf~h8bK7W@IOXW11bFG?be>( z|0+bZFZ8_&4u2uS)HycdA)ku6mJI%os?d4%zWib=fRv$pm12N^jtV{1YX*=O*)RfH zamRH}1L*m8w&Vr!rBk7x@$bsx(f6<|$7~zn5RUVQf7!S0usPQDZVb*+y(f!Po9&Op zlTd(nW@(#}hGj3i3b(7wj64@wCM|!QEAw(LDR!BCENru$n|=Bn>k8}Z)H`<$%l1UE z=A&L3#|A-;Fv7m}GH)#WK8T{J2DscRCCIJ?AyPqVhHOKapFQEmT$jio=0hirG;IUB zJo6tqhynEb0t7Y#m&mQAZZZ3V@nj2@p6%_=N?{F4K^~fEfT4jBbF1mT1*jN+!A_lE|bKqL8Fxr(^V0ODB8BlzlWmtGtE_7gGxI2j?dK z|HsxhMn?iJ+jg8xCbo@TH{ZMA+;u}c7|u@Ox|U<5R|IAs{FJ25YA&yI~LLg@Naa@JvGMA z^BHB56uEu3>n#Eo2?LheGzLb*YNsecaC}B+KXzHrIQgWxGBSX?{ZRF6&79;a`HQ`# zIMB7|YTudGjp#CWMoKO~2$E1W*wAp~mJU>{{Q@EX%vkA3mv7Byu`)4ntp^gr!b*Z6 zXFMky$&lOY#*ozxCA2hRH-;H@EQUhwM1M!6Ko;KaWPseo(x(;;6vki!Q5K0GFgc65 zv~)|tChd;*Ei2nBSOkNJ*tN`u4?pqy52Ec&qP zS==aR6ju~UDvjA{V>uaYF02L_pFU9^M!kH_7vqfH!Y=-qbpsuxq3MQ&>G)`|(*Hwd zIG4cpC7f)j0HQ0@=~T=GU@HUgoo?-GwssZYNakrD2IW$+*u<1;qdR`XVbgp)@qG~( zxQ_l=EES2lm>8j0vfaS~tCcAvJW4NT$(Z)d^!lDwfeasZPj(pRyu%xbgDv)IwDoFR zpt{l^RE@pL+~-`AE=-T;^>6eN7F3&PI_eIfAp_qj9Upzi3Ya&z!`dwK=UAyT_E&%w8iEgvkbts7WBdOjWj$1hWN0@F_o2zlq& zjr*F7iNWJe4Q9+Hy_v@&j82@dOQov|9Hi!&R^TJSjeHJF3V{QnQ`^(t@xRVl~>lO2E zAfTwrm!|0~+)MHy`*1ZAhpH4Zg!eAiDn@$CGUt!3C@HTc?<`T|@vb z*B%VyTFW;a3KuOZ@^DQQeP&}FR@vHY*4L;HJvi2#WKl~ym1awMI!v;mANP$^n*+5F z7!Z+b99vIIO?EW7 ziq$I$=C-QEeF2QsDEF!(=q&HY9Yi-dFg*~eg&t+E3Jp)o`jx_JHrj0w!v;RtjGI8Q z%7KMn4Mzxwxm;ZGfZTKb(S}+R8|~f*f6oJhzw9|(bzN_0nhnU2rg*L8)aqb~^ge!T zICX|mZVtPO6x&JXjpT5F$k>A}ZF&s9R3smInU|l|7Z;xL{6WXqecu!`>TI>WbtK_^ zODUF} zNg%-k$<-ju`>^sESb%l5#DekXj8A2=;ylQ3;@a<>{*JOlw6FP%dcPhxbxw%REhZD$ zf3>{P|L$kv)bm5*59ZhH2A-m@KIM8K(LZ3!EO9PN$f+T;nk3PiRz$?c5z7Z0K^!yh zO}K%z+Z`WGyrOw{0HlQqgubt-Z4Pekd1sVO)7DsNA84SPMYn6~wPm7Jpe2h&IFR!l zaHz!YDNbNSl%p)p*JRZDTXm+lzOsI-ROcYbWEM;OPB{JXvZ2b2oYPzzNwKcO=bWC_f5)jTbSgZ8)Tr%F z^o+^Vtzyr!NuxydQ4xd1YKrH#%J7{w_l~pSy}jhMU%!TZT#?Alc+35z&|x*Iw!~Pj z?;xWHzqyWU*Db0xKjZJ5WXJL8rbJL)nmO90Ew|?4earu0Nv0>;b#fTyAQFSCXnhJ% zRMR(Zp3yDwq>NW(rgTOMXuVhov&`W0SsDNoJ6k%1;wz%~EE%|cj6CP|6V`SYqxvGg z2LJNk_Fd&&?KpewDy0QsO|ab)<7>KBGoZ4sL0- z`i3wAjX_)-t~u8Xt&$` ziQRzizpqd%X`|f~@p|f|yOYRxI6V0@>D}WwwB83FqtJ>lic)KMYStgSH=Fb2Z-!+d z?biB7%d{SIr;**6Yf0yIb`|bG z%-p6(Hlpz{Jh8Ru@cx?A?nJ){2^={I3Hf)`sMs~-9Qv=R(C`qUfj!A7vubj-5wAs) zehUg{Mf@SogZL!=KLhUp3O%>vjpTD^S38WoA8E^j_KSz`~iJ&TdnXxtxJ;qjR>bscpHClrTc!T~P?hs^-S>%xq+ zyTcrf9{&?fovxpa2*5M*sxOTL-+t>1^`R($hR>S5o>jbU3-o)|Ss6#VtP zT;v)q?Da2;3X(%V#+IeNhux_2Easo zvaYm$DAX>V>eRMVX|_FMYQfVnj-Mu)6=aHgg7}E7T&Fj9*ox2QA(kdqtNj&aJ@sMOP=3@Gi;O)?@ZMO?{t-52Dot ztwfF%CrlJqtJ>0`N1cNCI@%hZTWio^G212?^gPNu<}FX(zKmN|TkgkQzJUzhGbDgJ zD1g=2RwWkcUmb69iwyeXEl>JUwQ8jI8#i{Rm1p8Kb#iO_s|ZV|a50C*@+$9vSYY?< zuoLEBTrjXIE7x2{&_{%Xd61EnipnzC+oId1Pg19%IW51;xm|ZUzok?on!=3T`1~?8 z7T23p8%S`Nw6W=Uyj${{I;di>I0#BHA@q0O>iSv={qovvK*WqDe`^2G*tL?F!3d4{tHubWdR09WP*kLo1QnM#&M>71Siuy0# zBLHs2;%+(P@WS)p&~riN(qoh;t7%tuI66mx6uFuNK$gppx+1^T2lfRtS;t>Qw*oOU z;}z@QzQ}`#V2?!l4E@MH&`hpj@f%f8L~JB&49aI5N!Uk8Rb|X@8v8vQajN8^RmQ(C zmD$No7WZaK)M^s9Kb!+!YKwX&XGf;uHfCpE+a_p4u8Y>xz@w^H1ig?6P5FpKmm2lH zx13f&LZIL~^fP{`LABXuF$K_;!I|mG(4qwI$uh?|49=Xp7Q~$cfY$_9lNJDRi*4;j0K;>_ID~;lsb7`|2quWo z6LwqT%GcOT^?`Vh_FKRaWMuR$CVLh z2?c_|x);y8U`{1p8jb2snopYX`)7E}lGkb`Wvy~*{YdzTZ=J$CF3Ue+``_oKn5(Ezq zyk7hX^JvJWf{5`I2s9Y%+xfg&-RzqJMLGJL)^aH_WRz)Ao~N*S2QISgES7ro<~5e$ zczYU36NWOy$ILVKHios98lMkx!FJfV`FtoqNuK+oxD-B0%_i$o^tBDfx~ZiNHZ(O z(U6d4WD;91A}=TNsnhW%idl1QM~pTG+~`Gd(uCC=MEn6*lIPkukn%%XN z+M>Ft4&OHpJs$ooXb$-#>+Hu>2z=ZJ8z92UK<43<*%1i#MNbu7n(>kjI*myR>PCx=VZR;J& zTiX+yw&k4xk}jekh;_W&N)s9={0gVXYmJ_mA-Fo6vcAH9`Pjs}%()(zT4Ay&TF*Q4 zX9UIKO2X;$0+RjvPRDYpC-=Wdw80F35BDSNEw8%1e%6=*y>qSQPKV;x)`C*7xyKd6MBR7NSk@h$RF$c+N1cP;)*U^2j39NE_nPT&mEB{W9JkjSI>+<;bPLex z!yOSgD3iDs7Gm8duD!?*zpnsv)5a*@I~5|((4<(s^F8N$+cya`ZZ9ee#%}oiy856U z(`#~e9tkHAhkeSdIfgKGi zPF8er1aofizP3@t&u+Re*MQG)0F7#T?*PCEe(Z>nUIVUJs0{U0AF4ilm|KZs{Lh@D z_L&aVWIvuH0y09JcEdf@TgPRhl-Du1>r6(A70ys2Lh*zYZjL}E`@n$-@Mo+R+k~=T zn%3B_RPLF_+xO|KoLQI=)wMhz7W?C$0sr1lBUy{vHDgJ3O~EZKDygca{&*Z0JAjn> z-`{g_#BvxrJn4gws+ryO%UGt4L{Qhkssm-nj|`xr8D%9TBvdK>P~{bF zKVSaDg{S}n)sq8Bs6A29AQZ$LzCSH^wPsf{-R-sGL5ENPpS`;+>;}&c&E$#1gbB*E z3EB67mY25s$%mdQ@R>?8v#x$9CYg?EwW)3s^d@_(H^d&cr>VHkGS<&rA~iM3{!Du) zvV|7wGoBUJdVs_T+T&~zMVbt*Li9-sofL~#bA<4fw+U1}If*XwMdS=KY~bDx?3JF# zzOM@;zOoZ%LhSY1&1T?!qOr1GUDU|Pp?y9paIp`mwF_1!)UL?)FbPuy&W8Qe$ce&q z)!H6ICZNU270{B0C2W!Q9Ge`x6~cooU82HO0dMx!6R1w0!HF+>+c5GzUIGk{fH}II z@3W4313)H;uDC{%EyOP+;6#MLcv^Lh$~inMT#xHVm@?lOEi!K!jgjtLY6|_ewB@IB zl{`-x)(ff9ur{c3P)YEw1U$o-PpH?cVwBXaWcx-QBMm!F)TV;_f zQX8+OW1tmzrmgwHP(N$vS_Er7(conRcOZ&Vu^xNaHVoG`>YxWR_m%Voiv*@>rf81S zN<8tW*l7v2=l2#6eerZ!#qS2mXK-(B!9r4pat5%P{e zHRXK0EoqN`c%|KmOtE5-;PEI}dcUrsHR1q1)%haK+VaZA!tc(f=OxrWR`pUIg9Nfd zxw2c4;n!x$<*MKAd_-Ap=V!&;eGyReQ5@K$k zOb;2n<3d8Z|tks-5N(*WA1qq6T?=pf{XP zGc|HFQWv}}NS}+t3}A0<3>b7FYKCWA2&MZHf7w3lrw?}cz8nDF2;GP%ja-bKxERpe zYOIua<&oIff^6XNP2kf*uy@p90^jYDT6u@smL+hYTjIxpb`))u`YXFwl9`mbzG<^} z%pT7l8Am!Jk`U|`>jZR=2?iR5`BzNniymWx#l-4*+AeKLqyo;`{c_HpckpsC9rshD_wuOQ_ezNx z>xZ?y$U}wCPAQ`*ACO~NJn_X{&{yOLc4Wj+`r=lxyx8rTpRg@owa zcT>CPbF#=d*{7CGpwUj=GVpgRN{bx0pKmEic2hQc%+of(pgE29=sOvN1wJIZtyGNnV@)%@(~>ZLrWIfB$+y> zx5{pzUsqgf(Y5bbawMlZT>22;FJF=!oPYNRp8G3ns0}})=}qe`Z47>T?fTDbuIMvc z#kxCRlq`{kY?tZyk6r10@Y4Oz5+Y67-X0BJ?>tclTy{P(Y(8%ztgf!Ly9}1l<@LVP zSrEh>Xv%k{1DPxiTM3EyK&EYVAHYjX1t+5$C(sX@y+Q*BPf{yQ8Q1Lp$GS&W;vgK)!3>I?GET&jfufU~sfquZ3UyqornK1YJt zm-`!4hKE-WcUcECd_rnfFpl*WU;QN1Gw>TuDd-f7@(s)!Y%CVP`Q|6}HDeI2jaawr zyim}%^ z`JPFKuWh_*Ig{KS0TfzZl1O4cm2v(3|6t+YV3P}2=TQ7L!SyL2rvSM#js_o~lkB)D zF?(Om(&p$ccNAE8#C(1wP3##{I$<#=jhJ#sT^TaoWgR7rkb8jM0Dx^#opfpZkkMr2 z-ApzuQH{o8d}YftdSVg67bX`tDksRzaUmtZ{p%k)2db0X*Mw?YVtS$B!&H(M22@>0 zSBDP6Ml3I1pZpK~YJ1PUW>?q*S69e;9oW@LBF?Z!1PII$ zA5GP?v$^}pT+&jBMJbrbq!?rdykTkPWY}E@(5kq0`Ze%iwfn?F}ISCd!iCyLkh zgG!xag+~>vDv<;X)x1bEo%aKz&qVGR=k}vc@AkV)UaIKGyqM?&sl)M?C6&UXgxgG~_ zgq?dNr2Vj;9~L0m4tSG++#!4!edo8gX&?RmqPxk)2pQ^BkUeR!rLd1yN5JK^ec%tg z6*NE=oYuU{^oLz!=sZ7{h?PK43XNY;d^jw=gVz8j zVR90|6-kWu#q~0E$~jFB9m6I81maeUKfaWKS|AbM<_NFM_TM8;WpE2|-*gDgu$~+HiES?vSdO?SQUtET}Ub2RPVU1dp$4D&cg!?PD)Bng< zyxvQy1i96;ca&Z&%1LH^dZ*rH66rszxaVq9|bXLK{k1<57O25rmtW23yxvs)|(g<b_^+-5xK*~PPBwh%P;Wt)#E?51yW%h4o(HrbStNx!45ejie z`-j`k-q#f=!|KC+1Mt2EVn4^|mD6PC;1#kd4|y0$2?jNMxeshOfts|k1L|Tk!qjCg zGPGs9AkRVS(~0|-$1|nH1qrP)o@_~1r@k>14bmx5B0>DNe!9NtA?k^PS9uz0mSs1JbOjgXvRc-m@L|Yrz%$7gU`J zzurObJg13ZTvd_1tazNt@rwlWEX~M{w9+33=0Eio1rB{J0K9c@E>9l;_>D5d*CEVd z$wnmq0nBq{)FKbmb1p8N)KGUv>NYs!>KI#z1R4&;->%FEU_IC)Y9oPA&mxn6t}q^RHQ&jVAg)TqCyOc~Vd6MVrhejzzVBHU9XayJJV zoR{r$HQKusTy^I@p`gi1K1;Y+{pYjan0iKw%;IedZ;vn+HX$oVhTLt@k>4LfulTOo z?kH{qjNVVPyVA5dst{tGDMG2VSw=TKR0_QM?I!T)M~!s}k8VWR`*0mlBHwt;slh=v+*H7mFKx1Wj{9#%(Xy7$B~i}} z(jsU+LlmB?MOa}8IuKHPsSOajDWC=)LGbne8nN>lKBkZ|N0^RnkPmHO*v!7{MKN8V zYu2cy){T7&9q(eg5vQ*+EgB@P*7#$w3%mO&xDI+B_W5@Tl;oF0#sKmchZ<7Yq(~w9 zpd<*YD21_I4GKE-xCtDaZUQn_zyu+Ag3#P_Pt6q%VrmJ=JZ16->U-c#D@TWMkZA$Y zu&hcMceA(^nBbp7Cnolrqj1ouEX?dWPT`X*oENdlZFDu^(JDeVC|{6kNV&YGJ4UPq zL<g9T#h7sJt?1(>FWDgWB=qgC#G}sDoDD>%2EFK7X-HN0NOx4 z$L!eC{%YR&Ej8(Rf}Fm^Rg@H$$<@C9vfmD~g>JVoC9T2i0~5H#`WXjO4QTRNFn{L< z<)EEOq)ky3b~mC`IS}g#VzMa`q>vHADk2u6PkOyM#@ssi;_*EGAG$KyE!U8xDq)rr>SXj1WEVwPK;kKeBYkBum21vWb+(#2z-8i*ovHW3g%8l znrfxIH!MPjMfOd+1I!(f={4PJ$GK=@wf=BS`BZ5YtI>D~`u$Xh%m2}@V54^=QpqG# z%k|U7tQ>)Q0uBjB!rAZa0yM0r(PbwE0yyZl`mA{kM1D$7?@gX@HhF#=I+_#}P=iS8 zah#(m+!fQFY=2rUNuZa-(v$(e`;l|6ZI_@vEf=VxyBnNHo%Im$P}%GA_MTN@4E;r z4WPGGY1|rUxNYr#&BmaWW!yCZ`oBK3;)k&58KBeJAjlQEw9!Q^gVMX~PqWFAS?(qUv3s>(NcN)bKIMZ!hrD&nfWy2mYr3g~xx% zO7#Dffgt96m`CUBqrB4c?a)6?^zKaT9>t*k-S>HaN8_{Mf@r$pW3?GsSUB zZ2>{|=oF7`2e0Z^N6PzU7DJrhu1vQZ+vqf6D9a+|W2&O1)j{ZeShnIzWG07-qFN?j9oO;Fd<+ROo`PQ zgctuH5)5$aBq~cEXhDUvQWahR!y(<7nV!Ii%Dfw8&W=7~=(bxm0p;nW(EY$fHLq^| zIpF(K-8-;qB3^8!>???Y1hGBhU|c?&caZtRPzMGgs*3H649K-~QBq`7skRZKrFHar zlD&&=`4^M^e#d$4h=NZeQH5bgFW_Q+?;{_xP*FexofgPKXZz%f*2z2{ zegPDLNu}?@YQn-JnaJ`=sTaSZ7;SPM zJ*WTwP2FD9v&-H;dLny;8W3JXDqvgV!zU2>RRXH+bLQdG#Ay8Y^weW{K3$jDa02_1 zTF`Gb@DpK%EXHKNIbM(RjP8po!6wU1coeMIAIgKmCkYZE6BO0o5A_rFbQ)#5ktHR6 zJ&h2|Hvid5QYc*a7nHwhWz<6{*Y{|`tnQS8U$j@c-;UO5Sr#W8=8LLNCT}*RpA|a| z<|7Dk_=eZ2FN_}DQ6!Yx^h^dt@&`1trD)mUlL{5hC zGAZ$~bRUN63zk>>%$!jsrwc~AeurfcRkDyEN z8L-ycaWjN>a&=`fK!FDvN`puB@$mstuJ%@XRu;>gwOT1n@ZmKJvdw7wB8w`O8sS=OmzI~l@Hc!8W z9ke}9EkBniZ0K?!+piMdnso%d&z`icwXbq?c-?~wsgqRcqc>*hzN8UU$b-8@nvr}z zZcdY^>dkesLP}f+E?tqlb%`Wl3t5d+?`2r^1zO=ih~G(O5@ z^f-i4xL|6E|IJ{Eyh!Y&Ns5f92=}U5=qmVLMsz#K$S*{!c(cq4GV~}=j2DZ-biUsH zj!3}wXQ>CsZmK2T9s~qNQeR$O9W{ZW)Bi2*lE}9AF%RUlCD)h3 z7~jSfN!tx7j#WJ)l}MOBWgbM9zht7Ijp?<*No4W;uuVf<4i%BSUB>63 zV2X1p#q0fC*OjyxA1uY`b{hzp?y3zX9`#jyLvcU+P9QVH)qS9x-+$j<8{4Z>*8@&s^O=q7FRjpTKz+Ulj(VADrqqOU#l>P9|>~QW~XE z)j1_o0;E{pkJ!>4B}EcP(MsIfrVLC^Uz=oO6)=u(!6u&lLX@GDn|G(rzq9`4hKL)D2k zAbPviDWNkr2Mo&=LeYJd*nPe+N&3Pv!1Ubv3EHHM8Pxpc!OXeg!zzgi0pSSJz;U^r zq6Z4aFI#&0Qpsm;Kk{DYtI`;2VKyuuKRy^j z2|jIBC0Z=8Bz^rH_*eL%nL%a2fqMNP;O1d)QDsV+Hgz6cZ(gnAcj`42xXt$X`pl!k zAVVNbx-$P~9Izg~i`G-puZfJ8^^x&m7#tQxN=u!nd~!_;sAwcO-rnXyq@=9fM@5jh z*`w0e?PKsj@IDdHr?chz4tXyK!L1IPN4EI&s<%z8h$pP@Wpp(_7r22Kvw?ZsXH zi>1U`%?C;^YD_*GJ`w!Kh!=KutKT}hxfgO*Jiq{&zZ|u47N?cPcI}0*l=-yLBzgRN zvpb9I;^H`SsynY2OHHlAd>pg0vs3GrDI6d|G)R&wy3+E`o@3#RQeH2a1Y(gT?&RcT zHlJgVSk&+%RL{v_7L}*b&~7@W+bEJcL?drrK2O^ssjq?G*00ygG|t1Fw<~#1mbkmY z|7l6Q78D8dzD%*xq)$-3ISsDIf>uG?biCK#6+ZjtPEK-lQa$HgUy4qm6Z#rA-lvl? zKJWh4A%0rPXd-QC7tZg0Eg=Yn*y~dG8TY}d8rH)$Bt8bd^Fr;KXQbgInAsqseNI^6 z1`RsA_gaXmABbt0n-k-#Ad;$fe;gzg=V*&Ywh(Sz8t>x?opZ## zuktL&3W1%nTPyf^+I?&o5cyT}&-e+9V+YfX{;^sTzR*TA>-u}^UEa1DBsatnxsoqr z5D!0J9VvNh8cNxOR2Bbcf+|52Gw%}hCu9YreiaoT5F|xtZf?B=*+SHtjkB|{vlmp- zAo1TLHHh2XgSWRg_%7P&b7juI)#_rm#h?;y zX&tnhG`=?~>#;T3nQ&=gL6(nYS(7AUA$a>9A$}y}f|%1G=QH06(c&Viy^kL$ej9%M zl9?^}KqG~);K#y0K7|G1J3lmEzLS3o7DOdQpDVv#%}MX~z#nh)*qh`;5x(x~^%lI4 zSnYVb^ahmI)Erz~*gHR8lN?Uuh%lrT_4FW?tKKdyE$wk}G*AT0fJ|Bc9pClCCXBxe0dyaA>iCL5pkY`!X`MCucZArTTq6A@pE0S=}dB zU}UktB6Pv$2=SJ`o_^Op+=w=Kqr?1bhRGZgWSn7{tO}iHi>B(^{H$m7z6Yj=aH zD=pZq%6)frqK6>ElE8*TUl2kH{cCNSpD6-^gi3_JpJ`poz4v^S>rXiB*#36eRZ&%C zVrUppSxMs~Koq-oJsrnCl-Xkayt>pQ{x;*rBkz_^Ef9j-E_{8gKm@goxAhLaWYdwF zntFJmSB#wQiDk4%QjP0kORvt7#SR1Q6}?Zm1OqRurY2KS8HB?U`IwIRpUx0efWwE& z0uog--Se*ky6Wu;=8!EF0YRN|BGr<7XhJ_n-PNE_Ygffb8Dc#7D#cF5+)=*d=@=@) zeiz81q8x-hA+aKBNg^bg4}xqVW>SwQprzzm_YaVZF&T{L-O(N!MM{`p@UcP>%g7`~ zukB+}{d<_dP$Tvj6X%lgLhkkr%2bj4J27@Z{@6(y=(~H|l%zf1ru9Z62Z5Xd>#dg< zUSD6A+a1aN)evFW*SEKhr%mtjD!jiKL>XqeB#;K#d7m3JL~WRiQ(_8TTu+N`7I#<7V~%*IS?>;Kb>~+=(}9D!5V$u?Oq# zq!6)AyIIozq8q6eX_DsMPmk#N1#zY4r;*@y0&;?6*hKxP-d3{-?hprNRJ~>MFL~xg zr(d*9U96v8j&k>IX&K5I9OpIaYHDH@Q!zm*NYBHJGB_xa_bCfO89u_J1r7a!(ky$* zB>6oR^i&2t4wlP%zMh^i!O#JpPDvsp)I*ojWRhpuYa=Uujj9cb;vCH=pQg2z{9qA>&iySh3RkyDL= zM6^;w44kg^kPm_p{wk^s8VupWo|6e%e+caWGX#tqWze#WGiZQpWI`4qBnhrHLajWA zOIaOWVU2@957L;C8D9Hsy@ezr`whm?RIy29-F!paGLAG)5ETeKNl#u!HLHj|a~_GL zL%6kz-sGSwOAz|-LhmM(ToB@iENwmDk2cw7ZgdP`{YjSvS*WIJN55y!xUs?C?BW^+ zE40)3>+W%F-Tl)SuyMpL1ILA<3H{X{P7<@iCFX8a_AK{Py;`-0aB;IODW2 zT+^|iS(_U^y6lV+GCb9f0>qjb9R;_Gvww*~et|WojG9{$5xOX&K~IFG{t|d2_N~^| z`Me~JtHT!WuGPlqCC6RSkSJ`hS%%a zzlD-xmjf0mxkSAfKW>;@J-QN}P2A2O$9!h?_Lc${&Du6wy>?EsNWJz`Q&&?DRVq}_ zzr|*0q!Jh}@E0f65L4Dxl;h9wmbkvM3p!hu*{{+`p(c>@@}QxKV4oAN$DDPJjEp2k zW4}6uMpagZfT!465DEMa8SVOu@j=$f(gnBLrG<0ZFYRt5EjI!*JD#aH7|eKqbYl*r zJGik7G9(9tg!N3zs;HoSd_a)(UI{t`bauX?e8(pGc{iUVSXNL#IL9VIcy)DFRMBBM zp&KD;Ob*`uV}=xy9`|g?oufK2P!BdhFMOA7KwgTg1AIsbCes?NrY^jaRpT7<^^N;^ z+<xuKBgpEFrA1n8Gk|$81isEU2ZN~Pa3@HRlGbRPgL7uL6rP;|EdhU^`#>O+0 zQbCoOcBY=@5b%lQCq=0Y3hp56)vKf@uYOf%-x*;#99JA*B zyEGut`wX@8@sbx8-GmSv==&D$E0DQZ2V;2sm!xykJ1*<(f&bl``+5JoIqctKby?ZPp2tx!89_=L@?rEF=)m5fq|)KTJzY>M zQk~vpEKLTUkCYR+ii3R{M-jw1AMZ-iri{ zRDdO5+A}X7>;&t4O`N(GQp`cBB&tN$Y=|wFlwQ7cscLCuwOiA+37+5m0h{n6IW<+9 za3`wQFTvjTOy~In?D2d>&fcD=4M7Z`qobo$ZwMUWOC*<*dxr~5XzRBE6oK*Th37Dk zCI*Xw^FOmAsN!(4ylV9ss0~sWe4LJ4@n7{StQEy6H@SQReVh&xe1^c(btgEPlE>U| zLE9;yHf?Q6T7G}oOWkI+{`;@B{K|?4l@DU7pXX9e`-e$AHa^MWRV~in${lL}1onz?i>38$!k+ ziTX#}-nZ`kB(L$MYm0(SbzVunY-S*Z`nC`Ff&acx*M7tJiAs-OdeJZ}NytAIbXH5| zd`mtqzji6-?((jrsiHnFUDXBOWMfiY#z^+zjLJt~N9nPEQA16qAW zybZ44O`QmW^n+ReX3s);v(Y z?$(^2uMg2zj;@b{va&qBL8uN^E;pFKWL7d;$eZct&9Pm!?;-96J95}=@)<9&sEO0K zUr>%Y3YwmwoUna2Liu_?6Qf(WXYa1wAX!@${tWy$_rH~@edhcOYs~{DkN3RDAqVjb zzLRA2zUeiSe5ck;Gn7LB$)eQYF{39^PL2&%EChL5px^_o*YYau=s&;w#o73{y-r5~ zCFc9q0DggmY<*-S1Yd+hm~T{L)Qv$QkcFV*Lnw$lhS-w^N1H&XC zT21D1E{9y?WQ}%VVIsb}@W&WMd-cGP%%Dd!<(nh;xvEmTrgeV1$N2e73i_2neyb{- zwX)12jp^i9`%+rp)EiL)>IG$8doo2izH^}xsvz)Ue0c%y{Hvwc>-GBxp-ObC@B7#g zAlN+N#~!MchQ0zxgNgQ0#+R5Fx%1_Q;BddIry)MS7Yq$qYr^5?dKteEtvG&c5!2rz zE09KNVoFiS^Vns#3IlZL9!GV+FZAfYCyumyw|v`UMQYp9mb1D4AQ1?|hexo*i5n$J z#5Dr@VZN0qOD2Z+k9;a{Ap$dT3!N!%u+W2iN|}BfMNOwbck0U!@IKBrGc51<+^}i` zPIj2dK&l$-!r7N0`_li}1wdM+je1JoSP#F|*m|ux!(yXvhl^LgR ziB-5^?sfAK(CA|U%>b4SCsNN~}u}tQxfa$Nv)qJq6$6d*TFsgVND$*QIcx8SY~3V7j2cDJ|#Rid1I=R`_J_I2~y=fQ)ngUb5?z(6J1E^L$|p8baZxIC&tHLqSstt`F?JKW{Ex z>9rL44Gu{%HL~Ty9MU!_(~c?&i6a776rFU-j$x^6HN_ZH$;VGNQj=o4O{&+VVA98911l8HKlVrn>0A>2Uh2* zUwH{d$j3rlLIX-kRIyeBJ+WeK+&PKf2LzFAElFl)e*>xVieF}BA||sWxKj#W+1}D! zBw!jyj81tFUwWh&j`}vcoB3a2N=Yl@PwVQNqik z=`nynw#P!HpvE@H3v#2Sou*Q$HWoR{o&>yZ9I+-;Sw9TyQK`=UWHpZRoc(E_7#0Ho zMzhLvnq+DfI#gaswnC(UlZQ?3$2j<}-%-fHBGSKe8~8qV^i6cLP7C#I_j4b4A|7qH z69E>mbo*{D)+{}5#F*q}cbIxIaYK+rd3j*ja

V+S-orxV@_?+h6=Y?X5fgvf0xz zTvC(CgoZS}yZJ##=O-`c6XN`kb479u7v)Q}cHn8D1f;neztPI5n6sIr!R4ze&as2x z6Fg+;cI1%D{SLsszPQ|o**c`!hE>E#U*<3gZum~R0t?6gogAy+JNHb;%GtfL9W50) z+|Gk%h7D)BCSRC@ho)9b;$?xIRS^5)$SmY!m8{~ag0sFe$TXE;Mm70Sk@t>v$`+}8 zrug3G>zrYISI&+DXZH|tzvrD}s@is`v9|pKnQX9)?)SLoQMa{*P>6OmJiD}UuciCE zo&d7-&0M02vyHAa6P>n0v_44-D&VUZx*SN$73=>>wQgpn`?hZq6x8UyX?x)%R^WB}fo4J_ouCA(g)hfe% z^1WpRepe`*WW{rRTZhXd|G?q>a>SPqhX#2Ol z`LwJ1;B__EN0@EWyta54B27N|T8`Wi`Ws!uK?Z2(gOJ70JbUZLW$Qp}?)d(e`MBb7 z2@wGYmYBhH=j6$-tU(+mcPaW`6V)T0--WkXR*W_U&2`DA_MDTl@nx~~mI0%LR8)+i zNXmcqTcQihxv)ZS6kMtb4CQ>^mNU%J!nJ?wM(j?X7C#A>&@~z85P+(ke^!_$sk-om z;GEIsCSpPqQV9&VP%(i!=!2{{>@%?%lwzh{%M(OiaJIu zUEPaV^nw%?1ByZ{E^T1r>Rz7rd-4dyms%?M-f)GR>O4<`6wgcesdIg%*Z|v*8ye4G z9KUjs;0TL1DC=#N?UNFADxu6ZI$z`Wuta_h2@mN= z4{3#%Ysm6hi-)wZ@QTyy$_}1dFb2WR6dcrvLE3E%Zvn#W2=8W>UPXqG$o$lD!bDFnZpRW=WcWYB% z2?~U1K9Z$N8NrjkY2)LUl(3BRqUkLR%9YhNBWG8rg%|~1httfAMwz1!FBdLE$iWM% zjn~|ql(%*4xqSS`wBBgznjt82fHaDtNvtB(yHU%IrFJQ1ZR*1 z#?c|!#DvgZs@>Gfo^7C3TON7p;Xkmqod5UU`)2-7=I$`%BBJN9cpP zHiQr`&Zq6|cP6^6)fS*s{d#(WwrvFlzt~iiqCp2jl%_8jtp5^Di1#I_;TrFf7LLCM zmuMah9Gk8Bd`rm?pUW5k?5yY@1r%+o>-p$GCB+jd_f|z~{{l1TSH_{?B?`uAYG^KL zwy2Sd*n^atDPrV)a$GX!i$l4qe0&)sIO!-i;DoJ7xQC#>rNnFbx(~Y~F*aRyVXM;9(FZ0ZC3(seI!oXg zgn4gmze);*a6feH0F&(yDlh0MNTG=Wi2}3T&CR)Z3CoI#ikxSf?Z1g(PjLS0PfTh& zzfthx_mkryHXYyK$8G6)M4H`lY}r3NGi2r)u(NsnJR~!8Ky;kX@Qq{V!fcDDS(sWJ zhs$u(y-nE4+i}FR+$S1l zPA6%tWc8JbR>IC@>SGf*iRd`{(kA<_U zG87+#Ih{+SOD5_DV+O7z9;NoC*wnDz&eCN$j9gJ&LdX^*SxO|VO6W_5+Y?qDnRHne zki%6VE0>0{ylqK3-R{nIDt+$OTdh~B6Y7U&Yn~=-$p+yYZQ7zvzj2l(RTQ-KEcWM8 z{}a{OY1UgI4U*!p%(~u^EG8E=weCzRQwZ0*&o2{~;l6fLGC-dD_@_BmMUjs+m`7mQ>91S4au<}C zQYCF>jJ^9Yx701&E7_79o32en3He=9bWF2;Mm~1Kck|vmyWWuVlhXkKT_rH3T%OM~ zoxXQ--a8$Y>s8$F?vTgaEpYy)0k$968HNPq?}Rw(vG)qDGA;J=;9PpL;Bv?1g|xzy z@$g7_jULekyM%vQC&tCbt?#}g(U5i1$_Ul0UL#U$kYmiED%pXFWB1{lEw!_Wyt6-jE$95w~JEWWmiu2 zfRtMK14PpOn48}NRFb#|j^Cqso(6Lb=}Xlejo0BFSffWxc&%p6=li334e!}VWTX?< zoig}#%n^TAWLKQ)TQURv`X;abYe#f$9^)!pWIwN=N9Z& zVL=(bCl;s8uf&8LM>45H1((xpD^M%i&9_6(MlLAM4m&CI3O;cNLj}s_MCtQnum|R! ziI)cEY~s#LV;eY@cXsMJt}%4Z+C-bmqr^B@C1-{b=Cv8UU0l8{F78JHa%*H1bRjr9 zp=9Thq$8wSo$ij{J_uAiosS#>alstN*dpya@}n;~SQ#t}LG1fKf{#3WquU}R(b^r(e= zb{Pdt5{*-)!n8{%{tmhNjSCNE=CE*FekgvL2t(D$oSf*NlF6H2TN45FaQ85|jPH7E zUf?<;0;j5|`Mn;?KVTjds}htJOHS>G8xatWu=({zN%lq+w|y~V;w;0cAQP~-nV2H*fd53=Q61&xVAR=M<^B}J^~S0_C;rGv`6 zDZ%P=Y4ID0C(LYj8lE(w+vaxL&i=h()W@;aBYWUTak3MT@KWG~umkqpKixHL#1YK< zxO46?H9Y>KR6=mpDeTb`S=!*}6R_2CBd9k1Nf{-xk8s0W>A5OJo&(HTnhx3=59+>O z3Mt|v&Ml^v$rs?UKl&tNx~Ug74d2*Udwjd3pcPJ_UF9DbBRKX^*j=n=eUtnXqY8dE%C@bC9K=lr0naBsqCWrBGBg_JFb@YSw`!M8u2FBM zc;{t+2C1dhl|D0p3p^~b?3T6^rq!EXgw7DzwNI4&p~ZZ}W)_tJ7F&9bzw4r+$~C-i5YTOG-2hVY#cY zpFm8oC0|Pwvh#o)vWgTXou-`SK@xtS1fCB)rBXnn`5#C(-Knpljog-O4~cH76B6j# zS*CPPi-J==}2 z^Cs8(puM;(YvFW7J7+qj3BXDOuZjKHQdqbUe(7WL3X#e9tQ_M&8fGHc$G;oQx|wLL zHawl9;~rMkvu&Nq$3l6{W;~s&goNCT-H$fR)hm0H2ck;s*xg1G!l9k{wZSZkiTst9 ze85nv42_#!i7W!1TZG$3+%RN{Ck&tJpji0D71zT4vtq`Jq_o@TuRH-6wFOoXz;G9j z)0c#T)EAG;la1%s_1qEfW({&%|qRWqGRH78to(~W@ z)u!3Lc)`-xp(rmAn@IhO=IKRPgA?QB5rX%A-q=0U){{Pwc z^VkF`MKzE6Xm<%>V%`t?d%~V@-c`xA0JnMilDd+67#Ey-m79On=~*8s(vY`q(h3%q z@qVfu&o)`o+{Ng5$IaAUBi{tUO$Un1U1#;5UCc{cXJE)@UPsNaPW;a7h@#$lzE&69 zL2C4a=$um^O90=NM9DICzvez^Hk#Teki#@ncuHpW9 zE37!VSg7LG&&|aCJ=y!T(3M)Geo6B!)KBsT1}BTVFI*TN124UfbwFql$3}r|m#klm zmP%eM9~QaqLG2GlOT{!m($zT368TO5JCMZm^hlD*^~U?62nq$b4ss^|mh5vc>erOi z0w+jw!_Pn4K~`Ab00`MtoFYAxuC!=z*GOVlC{ir>8I5sn=w;`j%)p>mL}>wQWzsfI zJgzQTyqf-gdF$*RU7<%21v~T*T$;X5&85cnVYC6IUTn*AxsnUZ%%X~I|Kj^FW^FTr zm)6}B!J&!Al_P!$!R4Gu4c;x$QfPriTIaqumKe81%Wb}!t|8D>dCb!mc^A`x2FX#r z7Bsg*8TWI0scAoCtU+g~$#jJs^n9A$DMOZ!1q`i_n=vo3;W?UPOchA6a_T>JOqyQ2b{Za_}fWNsrT>-}1ZrnXJ-?kjtM^gY>;Z#TL7<`o-4$2r| zyus7|6CwO8+c^vvaa~<3S}f&A8=Y+1m;0He10qvnUGtZ&QhQH14WeymYA`m^Rbhc6 zEv!-C{{AcqB-V^2%CyR2(6F!NQ$mNiULEIR>S%GZQtHyKeL^$c5LdNH3i=Oqw~isL zvraJ`6C(N0tGphExojPvHmsCQgeA)S)jwKYc_${+IqIG_DdwVD^p-@kqXgzU_{^=-1vKq(G6IDchJayxFy~ zvnvFOxk5rhlurqWiFXs!bvORH9BH(=ey;3zqMj(w3jItN zG#RPbsM!DJIgoADLcNX#ot7`3_Oo;QJX}vOfL6BS7Ca|!!3Lz}bX|#-dy`IIF*rs; z=1$(F1H>g$n1>q??CQV9^1>;No|8u3dP{!5qBamw?4v0u>vr3yuk}4ito3hQRuvgc z2HjDkqEUnqPD&D;XAx@o^Y8H=5kwX*E|6&beVxZB*FG_GnQ?H6ZP&S29HAYDzDbi; z;_9(y{AH^Uf8 z=hfZru#){GH}lV1KyPA?$gjk`tRaIV+L>^}3eEc@zOS2`zkj+?aP(aQ5=GVJxMK1H)YM=XM?630lq@zA_zau47`Ch&%OvJ4 zZq3}<_w7wsOZ#G)n=HkEFBBhp#JJ`wO3W%Yit*Bx%W2(#lIrNodea9PV;P@ z1cd4&6G;E`DFa%^yjv)+lS+2A2Al4PR;d%?nMl{s+qJ{>3d8n1|xulPhoh*EG@mZh6?pyoeFlu zx=MIknw9jK(%2Fpa$ps#{IjLO+8pIv1)sQXUAVs|e%)3*r~`!7>*n0sb!!$FOiWD7 zQ^YAS4EDy-M=}L7gOPA*ENAE-m8&qLoaJBC!6@GK^8u1hOU??QF6l=O139Q+=x;pa zEB~-bdzzkVKc*O}(;&!}sSYocX|{x1eM}FnIN~Cb&+vG`i+28bOiY=@`A>!=Jr9WC ztj;>bm3=VlvFjPqJLB19s5^d;m6}Cm4@{hzvpg=x8cAe4zpkvUaeJ~q?I<7d=K!;^x{VBmv?3BIghIXpaczupt<-?~`8@ziYh zbm`E@t8sK(f{})CLp#5S^}8VJCmVHOrG?Pe0if5xSwFAe^FCA`)L=wP#FMnNw7`Zl z5A|A_T}q8b!?TJlRg!^2Zhhpx7VM+@E@i>>CBbKoNP>?}C%to18b;*^1X?>@JcG_G zMBx&vg!0IOZdoVb-!aQClEeSnBhV`8l_k{G(>FgN%*LM4*PeGV$LZ&Zx!CdQLnJn&ufqRAb8$q6^- zN(t*=!6oqaFdH5#%iknB>eN%_gRZg{D?}z(_?Zpr>ypU2vdRY%jwpVHHTUSpU2|r*^{{pVjgY2p$nIK zRU*?2B&Ehus%f?7vb56VXb|*yRP5Gwa9}-e7)APwQ>Ir1(Y*}u=2E8a-GQ75wn-); zY+xf7VYCQ?5w96)BgwAD-52EUtQ~hG%2kXG_i-EtZh0+hzKV@~dp8EWB@SFX;34+L z`ZLtmcH`Nu%{8^9kn%zH6aS^d(LkqS5|jeu8zP_bdK1L~1uH4UaqlC9W#1y_ zMg3+7`6w5f!Rs#)0VF=J?igEh-Q~J_-NycxgUgyr%3f3(GGMalg>hPhK1^oY#&4A* zRfT;XQfSf1?C7s#7t&^adq_{HCtlAFOoB|ML5AD^s|BDxpr-jfYS_4>*#DEz&BYB9 z9+vtUH~U*y&D4~#EhloI3Xhzb8FjOE^zE%Hu>D!)K@xM%@N7H#Qw8j6Zjtbayd5YL zLig|Yx!3X>aq>|M;I^UNG3g=N2$Mn5Bwdkc9rKT5Os|w~7jvCA3u`Ued1c#OadB~4 z>GFHqA=8NFqf_jdjN8m|zwODqxd>4@&sVGO8XDTyZl6oh+C3A4O{QqNnde*GnBY(e zKP5}**Dfto89+sT{LHhnY)vKVB>@+TO2o5eM72ph`*_q$xFH!75rH_X<4y|vp5yT9 zZQHaFlEY~~TPwne{9%qYWa*$moaMFwQyuH%-mvtodv?HTiM8z}T)8(b#MoxEP}4$MY97LG|N5 zra9J({Z8WoGA=IcjjNvYwn>pEcI~|lHcNjv?R0&m8*w5lvpbVI8N95vlQzc0FDq<^xavDR1DTb?OvkXB*zPbYvj+dE+u{^H`MqUPu0;yq2QZy(XVkq z_3P{FZ@QY{PHB_P)*Lc}$V)oiY(WDQa+ol3ir}641)@F2HGull-lmp9SA8vy_8P?t4x1@t*gkfj@YJKyU{rTp=abJgZxvToj-T}?%6iI& zX^X>)eJCl&Zh8@`po^t4TpGCG0Uj26URDM;yg}^7)Gozf;`Wot74Ruir`v{~pxvv7 z+s~hftLC)}0#i)D>@>V+6q4{>Bc{f?hR)gg+@nbe5>FMzzf2UQk`xLyUs}BGY}LxN z!+ng`=WJ^?95R>1r__52Mw)+;UZ>SxWt*yFH7a~|)w8y6T!q6JfRreP2h_L;4i`jM z-4MLwu{%v^VR`)gJhm-XuS8d^B8;z0%K0t zd$1ESCO?lVzL58){Fg&y<%W3XVrBJ}N{Mxx*Q%whotrSJzBJyMQkzQpi4U*bwNoD_ z&??#yEOi}4SQ?2R%(geuPTLQx>@d2*`?rBVm{pIOy z`rp6z#@!PlBC$xBAxt4Gn$PcXG|O~^kT^dSAG|f}YaI|xOr_;7s;HD9s`1mKhjFu) z(?aj#K^YnAkrkRfs+=~|)d9$K0l@6?Ns*kZ?twrDlH(}*9B5*7Ri5u7y<_}T7=@Y{ zk`&#a8#@kSSZfbEh_r(^y2%b5=@(}g#Z?~RCqT(YX5QlmkEaM6vRXd3mzq*+8C^; zuvo;+v_WTC7>T9&JWSXUwR_jkEfuvU!yiWwWJghvke5#Fk<-GTeuRscKa{7F#8PE-PM{omGn_UnavBKo85uxl1ez!e zQmmnn9Ifm;Cb*FNRx4%P@w9sMG(n$|KK?1dOM2|Ezmp#68{r;0_Ja>t@7ALQ5G{ya(sP-JUpUOwb$&Qpifwcv62); zrIq~#g4NG55R7f-A|T*o2O5p!n+4F}0fmlcmQyOml87eE1^~-wDkqfvna|yZV>9CA z_q-T}FOKobV5P2+YiQc2L>8u+l(_~3xfH7HXSNO996O{_AC}N+ zgfRV8QI#wfzOwBSkufQ9W5d8(mx<)9C%oe}5{GHb@7R$?u|GLcx5Jw|Jw2W8d4N0~ zI*>uPE)2NzUSUMLZnDhCCr6Yl6?;~G2f@dAavZ2E<2#2WNfRy`J`dVeIppB$#YA*q@*;wf9rXhT9EWZ z%oe_8C#UPSt-Jf5h=>Sf;<>F0`=j#4kH;>O%9eGGX3sEbacnTAqLBAg_UNVf_Z;i} zy(kiKc~0UGt+mN2FfQmsuv?3nZX<4e2Ap`lbxy z1^}p3)YOzzbx{1r_qq?9@w`s&Tf0RH6&xC2mLQhl z#b)n=4(HSX8xjuV2&Ww?3i3BKUEe7eAiexN8gRE>4l@UTjx(tWn*QGJ40WN zSfqS26Bgp+%CxAS9aDm;YLgD5@55gt@5|qrBaJ$EtuTPj8rLp7?|qhto|u^M?>^{Z zMlLBSX?lG;3hy-pgb}SZ$vYE-&g!w1m~3v$X~7MkqcLkKP-}o5B&R_XlYLAQ5zwOc@*5~!NFvbtGZT*Sr2eeZw;&G*SJsi~>ec#RX6(9r|`PRQdN z7Gtvrt?_gfEr0j1C9HcQICeO!JG|(XBztxw7skg?N*+Q6hBLKe;nijPp4VTSf?TRL zEjBf!{cDEDE*>l#9JPy_hsT3dFg|e%oI}bA9{{zal$}`N(1`xBA#eFZMlICNh0L>EzTfYt7|?7}d;OW2ilFt6>`*P5dBK)evF@mEyk?kol1n z7m%tNBfWsqV4eXk1qMQ!?wQndnU9Z8q1>wcUfv`RX_#1Ud_qE$S4ByQb<^`D8unFl z77gMn3qgQ1+>D$p8;VmA@0_o*8z26mvY&?QwrAk1WV^9>(K}i z-|?-V)&;8O|5<7+Enumg;7kYt|9Wuie-?9KZ0`O?uj3rjYOZ3ZB#HoHzQu+9o$I~> zDpH3e{gT_g?pTL2QKSu6IoIDGVyvJo7 zv9kdvH{-%3Imh=Tk>$3v2i}<$(E!=CS>K~!F_#K%oVE<2@q7XiT-+EF21w3~X zDgpSaIOhtBhCxc>SdE`4B_+zX?~QLYC5Wjf*LI2ActclYf5fNT5r)B1=*6$`9o zN&U^Dux-qwC*=Bcqe8aL$**X3_Zz)p(N~C6A5V(nsl34tLO`5t1=$3{1<3#_fbyIP z1guh1&8C?^cP30&?-uonDK2cQ+u3f8%h6>c3}k@v?GjPCIPv(wV!Jm5WDq3fj;nMD z;k``yq`hB(-?{tZY&DavU2Q1}h@)@>$25HMgAlhhJ@$yT97wJ#w$l%yBSe+RI_&~c zD$cZiF$MoU=b6H81rH4gj2_VSI$;L}HdqiYR70&-w4TyQ14h7>Dk7DSsh5nBDtAP1 zC@03ds-TiW@gqeX1U5~QT4SI95bKZBazI*WRSiK}pk>78oOfxd$kMBq=d|Yr_7i&{ zHx37{*qYs>uy5I(snPt!noq}HRpPbHELqaAy!)oEM!1AmT-$6t6CqNcGiZ>_Effus z20Rre82MZQ{04f32Y8<;?kts$ygw8RzBI4!9J}&1TCd7-5dxF}WPp$&B5x3ae4}{Q zR6u`aZ!MnFCuhDB{6h{)_S7kOeYf%5MpFyI|Da?;=kPPqxl38Zx*YiGT_H_5Mzh^* zTxTX~L)3oix)}kPo6NNx=S`wkUj;>geULX$*}@C~?=&hZZJ^U!QyY2aRPt+<(nTmJ zUUY3oe$Ues`_HW|VS-85NdoL3*C2J*dkU6-KDW47_9f>8@oB6kJ`UwMm;wX&CB5&Q z%l4ud8OzXi6Cu3j)1zezBxnTEbCbqVD-|kG=9rTD`P`!aJ^d1 zD+X(3NwG0&2%T&|j=$v`vNGr1GZT}T;(5{nkVU~z#rqjt(=}gps?L50I-bsxli^6( zT1n@1Xw}xP@^q>0j(v~CyR-q;RRZD-`u?rDAYg|kiy|E=!jh7$z}7N^(caU#AUidJ zxi{X7r@0RN#n-Ci#|M!tOS)I3RAv;`f|BoKe80+-z_~^4pnn$E^!)fym$OTDP!sd> zk^tW=7A=WS3PiW-1tw?cBg`z1?*#a8=#lww~_2Y zZf2L{)E>$rN|GKD@5*=QCc)C4Zt+h%@#U(jY$o_^wTI1wpFe*lobSxErh*cpOUNm& zPf(>-uK^rVo334KZoK$Fx=`MaRQfe*gEB=S|IjMWztRAB!IJA5Kybtp?Phamu?{Jr zWA*&E!Un_98qwI3*wAWCY7i!C&0J`*Y08{F0X1#Izjm?J@3C222p=p`N60@ko1{Cm zw&&PfR9Z@J=sd+G9x1d9pQXa=LTV!ACWR;!u&qc_?j zCy3U*$@=d}J#`xKQdI`4WRQzGqmc@HkQ0yGiL0|SGcz+th>LLdq;YL`i*s!xAGpxX zoSuT4I!=Mb4lZL->7Q)rt>6E-&R}-`+>ih}C_i>bZ;VoP;7C)Joy0;0&{s%7&ieJj zPg!YoIitflMEMX4cx~cT2r`R(E~W4^gS7g^>$?E!ci!p029pxN1oG2cwx_T- z{qiAilUwc&m1`jiFx|de=(Cz_J}51~bqtY-+1WmzXrcG% zti7LgoDWKfC*AZd0Lr@Ukd9EES|Bs#G9u#HCB(wf~7pW$d z72pGM=n8UZ7PJ@Z=<)GG4r&(u{pdhS5y^sgxc$IQ>JA*>DydNg4_8+RghD{Ho8R?` zV<{XgF?R>?Z}#6ga2EGqA{bWV_Q#Nzoh;Ua;uDgb7EF@TmvAW4k(y(3+uzHLhS(mo z8na~AV{x4q2)7ij8k5IaCCI^vke>?3E(j+njbAcGH8GS&wqJmQlm+4 zL>wzibp`VYbTn6Kb`VDi05m{XnqO|0G@I-NO@xd0WRUrz!@ zY4Agy(b{swQKWx`5apCQD4;@bYUeQ6Mqem%=u;FnfWJ;-mLpXG9AJAy!2n{|Y}I!>0i?CANZ@3o_kkHGot0=4H`_zfO z^6z3+R`j3?jpIDm&w+t~4>6^srJ6vXrqyV>(|)%KM9Pe0>GGHipZV{YBLRZMKlPK5L^QJD!P8=Ka-{rN-8zwoGZd;6gT`QB}a&?z%00!n=Q0t{x~8;j&=yL z#F%BUI#rWocw57Yo`AzTtDpo?zSh*C%$Y}yFFCI+kHSxjC7A*p8M4ZIfu+H2O@4SX zcix60kx8pBHZk$J89>pORnv7GXpBqXpTEv{2pYXq^Q_6T-hda^#kVN2xYp*qS5K$@y7Ac&6U|7>%FBY zt2qOp9dPf7))Ck3{1veOi`yat0w7QcxrBi1l5S;^KC>i{USDdo+l%Hs9Z+Zms)7NE ztiC>>p#hj1v-5G;_RfN2?!;ADN$KxVWxKeO6YCQiq5eXRiOSFGD^@wom?b%2u*QzM zZWo(eB7<&Pr?0TnReXnSH}15$I9)vM`+a;$27T{7)r0hfT1I<@cdst`AQh*AHE0~? zOc%_A4mN0Xx}P8gf>XB@7xj)IwK*5x+uBTr`*VZYaxFL^Ak(y9od~#!X24nnjV?J4 zACD@G##h^sgG7KR$Z=?B`09=_PAbFeR&!`*NTbG?7Vx5Ggo=DPHMF_(zd7_|3P+N7 z;Y4HP4t`5*g_Ckp|3Z|c@=xT~IC^`9zgO4Co=riPire)kmx!(c*mK8bLe$pul*R8H z*7G3${-aT9KM+T1)ZwA!<^`tR2f3>~rO&xqypx)W z#}qkVw5t3N)8BmBazsOS`*?a9($<-AWt znN{PkSquWmtn~mWK=%ZEuSScE7R%<3&1`8fqrYmfnaZtx#U_7XMKLhO*gdrt=i{9J z?R^pBSMzxD1CCVg>)AjxzB#=i;S?b$CiwRY{yk^e*Yh{fk^eDXM&9na857*lZ*T z77kyB(TaTN`(=Ny0j5vc}0J+wId{I2Q3gMB4FH7nIL` zk^0TT0TG`^ON|Lu4i0!jbBDagT-RJr&k?7PnhG^-T)G;}G{C*Sy;aiFQ((jIJpcyV z+gvNax3si!d!K&-oZh?Y?Xt6NpAp-vC?Pk;;|`fb=}}|!0o3T^=QZ!=xGo?`Ca2sl z5$*Ecmc?oe$<;v}@CFiqdZw;|)x-v9z&Hb3LVnM9;H7wadKOhy7It(H`>XIoRUFOt zm5s_2PS-Uw)ObHQf>22WWXWRnA1-&)W=^phjkr^_hmJ?`qLO|qzBK0s#uj!y?R#o6 zGxHJ>b2HLeVojw1FK7A*qYC0E^rBK+APJzvq$n@|XI^6tv=7@Z|53OFNS6tf1Rr2# z1Wc(qc~BNWi@UA)Bq2#WK9y_NN60WXZVOI1Y9iAC<^q7e@}K!c<%iL3gF-_Ap<}JoVI*Bu1UkaCIE;_U242~ z?eN*I(cER{aJ-pO-&^W}mbl&h%w~Yd`hgwwQ1fbLBj6vVo}clJ+PANYKVlInp$GwM zQ3@D($D8MbDyWFDPF@n5X@Hk_I(LdF(E z+JJq)lmmFw77_3N%A(-~eFhRh^~Sq@`cIpJ#Bvl@J@$w`GHQT#M^i6+vWR4}?;TNh z|5poOGA*t#9;U8@u(h-Q?KZsf?f%D>S*LUgxh@fRg#?xV6c)WL_tFT!slGvSuhZ$j z)BAaUz4mY2IC)PN?G^|Rqe`S5LPo{!hmVQ6=p?q1$D|6Uiz0q>A26tBYz-CstdL#w z{+!ODcS?xNe|z%QX4q5&AvL{VTedcegT;$(;rbh4eH-x1pnb3<3i+HlP{~c=yLqz9 zQh200(`R-p?{evtlMaO`1&S0G;<0ev*St!&|8|<>%-!hy@X(uV7)m(`?+1GRTm{Kx zk4ij_;O>vBmT;l%Mmg*1^lV3WRDl`z@$le?y8@JMSRH8ckvj;TuxFy)Wwu z0kQtc{_4+?>N*m5uiCX>>1EUe({_da!Y%ex`9i@8CVVp>$Tmoj|KF zQXmRxj{kRnVq|6Er@L(x^}{B~oAJ$2?@x&o_6~S&I1NbWjEy#fPw>Y(J@M6u&xB1z zBOX#^ieN=Qi06ZWene(qR(@qbl+hS33GRx-W9A>C7yCDSjmY}7OFJCS_-Rj+QnU+s z{S_7da0bZaHh%CK)Ed<5-oRcZ7CV_#3he7+LgXEU-~B}2tYAG1xtoRj&2QIG$Mzhh zHpU@k@Ib6Qbrk2#&xfgXq0I$BU*nSu!1qY~z8nYVYvlT?8E9#nI6RX3uYCn#DB6Kd#xY; zp@q;&Yj)578ZJYfpxF;$wrJP2jB3%SoG9E5v=7G-)pL2K@p%OjJWu5O5rR@fEc2;a z9DdJ$(omu*?l21MU6yBk#-$hYeI2nZsExoKkN$#KmH+b3&$iRP*ef{ya`H;$-tW4* z1l;3L+FX|x4q0~FM!eJaizw>ZI_yo4 zeD2Y3b{(zodRk$}G^aiS2ydLDq)vpg&25*UM##6y_9xVsQogIVH-SA_#mWZN<<>5L zq=G=Bz%Re_TM$SoC`j8y5GjUtaVVcCNn2$k6=oS)Q>DRD{zAvl*3-y6(419Y=9^?{ zjBj{e($+}s@T@3+FEXrjcSkL|acrz+yUCN1SIJKnF|BKFu=mW=>JVwDWd-EMJ^bNi zDU%`4@q52SrdK4pjA=1kW!L46#iDov;8wQ$eyRw5zT49|{c^F+I^Mq4a6z`LX1v>YAmFz0z;el#j`j?Jkn6y4j$}OGk77Jk?Q>EYo5ek2 zqpbLx)dlbG0e%_44eWtP#Eiw6s}pV-kNkDA__0+`@5l3pp3DKOfTaKe*mHq)u;*Pz z19@lL>8nrz{>|z42Wd|OiY=-}x~64jh4wpxDky!5^?wq7t8o?=4XvzD>-cqV|K%)p zwJ_y-I()&9*M)kO-@8k$fS8bxpgj1bBqtLu-2b%6n1`Q)3)0%3|BaicnMs$()MS8(}A_is?PBD((J5a-t0Fxa0`1dHL?ZjtuO)q0Q?vSHc(Jt5PlFT3*1%dsEyCdv(c-!5N zHYV4ZQ{v3KfDT%El$S>Q2nm^-}_Q)VA(edUNqvK zWwv9HZb)XvjA!1VaW`%CG#F&3;I7;onGDgWZ$uoNkl z?G5*`|LXr0_mx3yMoqYZAf?3$#ogVtK+qyZix!tA6nA%rwrE8_LVK?Rr<)fBeLL{`jw*c`cJB9I62Y`y_ z2bJI&&MhNUFv$ZHdJyNEM7NtGg;bi?Czs3!jd|%Q7SmBcw&x&_x{~5lA$Z5uc8@WHP_;l;D5=qvwc9}2w z)Cq$Lu4U7g+AUx7g2nQ&`fZkFVQ4}M4jUmDeM9ozX80j&=cnYDT7Y;{(7u$&$2@XJ zvYHoOADrR-CoXZY%m!SYhKK&CkQS;Ff>9Sx76Uw6tr*PJYW1VVw(`BG3jEVUt_Fw?vPU z()~RONg~l}kuU3f=9uniEU9?ecR8=b6KP~qKKI{k5w1f-sCMkmXpJg8s0VZABZr&AjGBv*cxC#h#GHf-xN`9hJF$QDsH0xkuZ}Bm z;i2%#DL0m7M8uEs1gs##jC)KL2K@tHRg=c`NnqS8JOzo97J#l%*Mt0nW5Ni|-~%sX zscH7G=#y1fuD_n(iR5Xi$#g;IVe35=WF%)-XcW~3jt-)aw5POdNcHZG_qCy!`E)CX z6+RDqa5eJJQ)<4*M1SffUXdlER3Tvm*lg<#DzHqbna7SSJ+oy8aID?iH^YEE_6Er$ z#R;jk#26R5m-LEqR_|ecbE4YgyTg;Z`9n-OLwS!P)+c^?>W841E?KoYnxj@DaIZyN z*}NL4kUwjr@Kl}k+qQ)to7dI3?rDck4s^T#%{^)k-pJ+B!MZ9nG z@)|gbGIeO6w@vy|@~8K7rx?_SeF`(qe8+C<-`@J-uKU7LuI1=kpVDF!H=zAg@;|16 z2Ir4d*6|fM@Y*DijaMZn@8E?y)KEG+CR_I0v;5#gWHXbr7%_45YkWVd<-+*gkh?O^ z*7cy+!|Q=q@yFg;b2g9LCc_e>cUTr=@T=^{CLLY`O*N^tAk z?g5-SZN-aBG)VzN73roUxiRMtRI-JT!y@FH_@fxh^ zzM^A?liQk#STZJ3(pk~IU7CvNEn=`>UA0>cr1QUC%?gO{V4)rV%_0pjCjmjn-)$t= z>E|G2t0R#MBbEt|m$287=1gAq8wz2v9#8LNKBMbRuBGD}sTT%ukAt&54?P$8yE)$7 z*-ovrqTBI=bfjiw6HnSU8+Y+HLskc=0jw8OBm|J0tsB65w66YmHM1f#?9eo3CP4*q zt;#T@EuwAzg>$P4MMPxs;iu{s>Q#E2=p=n@5MRXWw%#kC)8SwSEYHTX@1`A1zvW&1GCU1;0 zg%C|NiWgH`@JhRON%5d3%zlLiU%@Jp^I`=e%eP(T?UIwf@A#^G`oG7ioi)exWHQkh ziAhL_Pe`b4rOS)Q-v7Nv*}+Q*wSDcvPzCvAb7;3oYcSXnzHdNoVmTJMFIa^%<8aKR zfQpwpc!^_wm*G111m}!>P|Q6&CatPbX%V$f^O4|cwu?D(|3H05A=;nFE%YOPxBST2 z8R@w5&|bOlRWp^BpK<(dIP-)_IbHUF28_L1XW9O$$|WvYWs2qniwBDuvFl&#fX3OU1-QkwgJ+ny#qp0b6?9v$XD+%U_c>36uG-2SkJd0?plf6p z{*Kc8S|9b@u8IuWN|{VuI(WuFIC$Tacd9iOmx4@tDP&)*1qCCcp3a9a5%~@dAz`BR zVWiB0&Lfb--pDf?(?KL^6$|Z$R@af2yR`Uq3h}S8PH)o^|2;C5F>J8rC&Z=wi|rpw z4U*>9D^*UeB@gw)BvI)N^dUquve2kI7ZMGKvg<1h*vVZR|4P+>f&!a!fM8tEni5{w z8LOjq*9fWt$O!EoZ>9{JKJ+jPDq7D^ubc-STj=9SUxN&tL`uA;q2U>pB;6Dlg)c!Q+pXV*|Lo0sEo!EdRpS9Kx(HBw0_lz&W zxy3Apwz;Gj$L7l{O;dqdQqAIrhwhNZh!~-QJD&y!V*I2{@(Fo)VPPpsgXKzObS`(i z;*`hKrE3HYub@n}$pHJ@dA}Tf;`LcP*mbIx0-2EEzJ=VAZKaLs$obwQuJ&rx{>NG9 zR}#t6yN4TvtVj>0e6ZW$4QK>Oh@SioV_E&`?uZ6or0JB7pf$~&b8moX0ZN{GE37Yw z{C-#K6)hFo9p2-IZQ~s4ZEtj=6a|LAlBM7V5J{{HDPGp0jP$ssf&d534zgez=QvxS z@6~jeD|YP3SsnfTy$If_@>QEZ_Wa!7iG|1Ow!H%m$s!jJ6n?nCpG$Tf5Vw38KDT(Y zFt2kzebA2*_Zee~Lz*>1G;TL<3X&d)GLmsmOu}VJryczyW5LQgk@Ix@=h7*lCE)4D zz?#LS)dGL)MgYKu57#~EA4QSdZ)p-nOcGl@#XsdqAlaA z`x4IjDmPVER_?y} z=Tp!a8T1b4BlfDQc!mBzj4a!;^ni@hf7b_mt1tIQ(Y~3Wgk;}z@^TT2? zI1u5eFDzxdzLF9v!OKACJBpb}vzyEU{3Q=Zr)m_76T9>om#ykYuhxk!NgsLnc+=~J z-itR?w?25{n#y`_swe^upWE&~F2)mGY{M&4HQ@@~!AWYH@a25^7!`j`3T& zsGJvmwKl0G^d_1T{1Q|gr&n)ndhjL@;RV*yJbn$sl0nFoM!Du>A;i0y4N^TXKIho_ z)x{Wb2{}Ec+4w*XOHPi~CYWNX91QS(yS;p_IJR_E>~oc#n){K>jdtenJq5VnYcC(D zUVSTLyrWoBCoBL{uiBA=_h#d+&^BIUK%;K`^~jF|KCS@@=)(G7MPi+h?AACr_6K6# zx8l=;bkl^;s3X_j*mPCd--~PZP-SBlJ|#k$h<>LvMg&)ir}w6k0pV1sXhY5geCY`~ zMpyiPiCk$_Mw3-t3}lV^j^Vc?iljh;evnO^xn0|*5`0g_V<*_n3q*L>okWYvXif4X z$)l}FBG=e2e#e%)5PZz(-`VcSZV5rV7us_k>|93tA5RUJPFpmV%pYCPeg%)#Tn8WS zFO0ebt$#(GI*G8L6h6G~c~REK9dopQe5!WkkpR@~XrX0N;6 z-$VZb1c4!LS;c46*aBIt_(9k>>afzE>HSS1R4940KF{{1l?3P?M!qkl31937Us(`c zb6w?;R9CyS;8$RKD!%)h>Q=l#jUOqk(t0KO@Kb-mwFJ1SK z?-FF0c-tNHC#t9w3EE{v5+m_@_o_@V21|Z0gr5S-<9Xl?K)$+0P6nQySPh#3-bWIV zOGx})6X+khSQd^G8lE!XV?Tz`^6@hvpMe9E9K(sOWms&OEB22wg~tFHVBbtW{Ao?h8?R?4#!8 zp{vtBYgc&D0PSbwixFQc(BDro?m^#!@g#1bzM)-$J9>~yxy*Nm!bj`fqBjA7K(2?o z$|cu4Wy2y62)K<22hhEE(V-US6cic9aps;|VPqZevoGqyS;6CgOky%MON^-HncWeI zSu>TVP#)~y_F=}obaYqEj!ly;oEOjuv$Bc7wT^v>5rTilm+dKn&bs(fW5D&}2$h;# zVnpzXID0I8&+Hf6qn62^+4bzFk$y0kPd~*L9Y^(+_dL6f@I z7MTml7mb-C6UnK&T0IiImO$V|qjjt}5L7XpKs#)gwP9*2OL1#@R*ku5o`N-U65NrBb44$nI;;zrQT$cOCf^MKQSAao2DTZ8~^%1(+g zm;4%9q8GNt_XRIvLwnyozaBLG{&kq~rt#N+RW`;7yVPR)mQVRqK1k(P*F65U1T>fT z)jRQXn@ZKfcfX`T$Q*y)8JS-vpDqMxvmIrezvoWVYy%6V%wvi@_XX?iDiuoQ6Li3H zuyv8f{tAO2zohlGB0X^qSEfOGz)`^1BFIWl@G&ZA`nbSjXNK}AbS8sf&EjLpv{0Mji@&KL7y0QVt#=5UnERcDDFe#e?SP?K!EKMS za6YU+)*XIOjB+{H0*r&4DVg}$3&&BkDke(<^pn>8aPc<>6sLVbPO38V+!p6`7$xtS zH?~sU!5>e4<*e6=Hh!VuyWENOXDDA*t#*WCWHuH-or%N{uBZ8j1BZ!c(F6*_w<(;g!zJ2Ds>mkOVd?H;fTo|8)QzB zlo%AE9AA+m=swh05vAJGdidOrVT_MCIYY_@8h`r*)TyJl$$%HEJJjg};|<>sIKEaM zty1Q#hP;Z;gJ*Dj=E1A;x}%DYN{{bN8g)HY^7Z3novo8G^7_>Dg*sZEu5S{bo%w|4 zV{qndclI|@RJ%FsM(D$kVba3dhKhW*_C*3fjEaLcMz=CO9%VR!r89kxorUzyP5yh3 z`rCXY$8{g%8J_j_IG*4u@Dvgi*d0+}#2Q9VW$m02OzKJ$1&L;>VgS0%+LFXWn6MJzFBN1%cozb{C4sQ0tT z8#=-4OXAMUBz8V1aXMj)ph`$`q;s;XepF5b7=U^uVY_-Bm7KArVE6G(_l`{auRtef z@>Y(g^=)M!DG~PTzqenGvu}Tyx?FT#`kJH&%+xUVg36b={<6>%dCa1gd{qT6Z#$wi zpd}NZx`-47Nl5mgVT(Rp)C%RRr6l;+yJvWWb1kHNO!=5-MM9GIRxr?R>_cCg`&^y? zUd5H55E{U$quuT`I^Kc-Wr7*6s0bxSQyiI?dSm94@hVS>bT*iSwj{U(u0^oZP{D z7uqwf`8XJd2R^Kl-^|oeq}b5@{9r0?huKXHnWG1YPONUeHzYP$j{OY@D!Tm@x3EZ> zyscE7htyieRG@{!4=TzX0|_^kpczX`FJJUecMJxpfuEGknzg9JT8mawz79N&Y($^6 z_I>|&34LdXRy{oIGMkbUzOgb*`)lCOByobkxp!RhR_7YoyW_Uws~>ykXOnhZ2*1M zXD6?dfnFY9i6R|nYQwMfo}{cm0uOVX0z2WBw^XA$Yg{OFwm=Rg9p%S=Y;?hVjLFNg z4hTU9k-^Ik^2%61<0RHu<_hHQJCw%VG`k8&JGwKm3r??mL!Q&Jd>LP4s)8?o> z;$QM|oz5kXa~aYxceQ6Lb}i??s2w49)B#NEO3 zJYYk_eqYlN#|1p^_SYYHO1G4WkCJQfl!YqzIJ0Z9Q!zbI2c-Qko)<_1xoFIew>rdN zE_ZW4N2&v&%xYJdhi+DjBCn8j=rBO=TcX+ONJT{pW1_jK?%{fLk_`JMuBaeMSMM4R z{j!^v507$E8+F9zd<)9YxL&dsE7>Ikf1|8{O0Ib=x1FgA8# z(eE?WnSL=J>8u&g?wqq;K=nbbVD5b^Q}=^Hxizj@mjG4XpDpGF*b&D=LD5gH)r1Hpse>b3?=pQ=yAu19^a z-*gH_EIe6uoTjc5c%PViD~!|}UvrG|Vz%rM8kfHnCZ_v?M@Q=Z4D|=f+y@l>AN*6Y z+?XLO7Ve<}WBj_FUNjTv$m81KmSq_Dk;1Jy5)|kaG?2a@SwGbVhA^AlXVCO>vYWm* zdKq~!Prf5a*&g9%0$tbIyhq60hvfs?5kDzN+wj%(%VVbHr67YiHxvi7N33fWTvfe2 zx$J8Vju|NA{W^gc*Yxex?fUOU&^-y`W0e0Q!VE~q0KfTm?Od6IU5AB@orjdyCuTpN z{dZ9E=MR>hS1R!PISr!hQWj}u)3xa;@oWrTaqytc*Ng+2_I?k;o{AgGhO#``aozWn z$~frh8iRwbpn$w^@dW4pMp4#o5qSeaGW997BjqvZm}J?ezbV)nx8&bBawT%afcK+D zud_*0rEOHRmQvB20IqWEN}{mp!wQVZdw^5yq>OSU&JNHyEFvqCKBy(g#v9{*j`d9% zWOM8hrdcEbXjTKUlC?Wf+=1Gmq9E&tb}Y;by*3HDD72aFcUn@J<4Sc>9cIu}8%asd zfO7sO+u|Y_7gbKe{JZ#y0dIHdE_#QjpOd(0r?63QROdZOQBmo$Tba^IjX|6Ez-FOJ z4VmvTNLm2)zq{y_n#8_mJ0{3Q_7tzc_9VmzE=QEO(FH+AtV%!oRwHOewS-yN>g$U) zqt5I0sTKd7eyn{FOb+A%_v8>9v-SJp)oYcRR0&rZ!%f&;(kf zayR?WEL^a%QK2lB8sKgK5NJK9M`|Gl1eOq8v%pMNYyt%o6vn?Szx@*Wf!se|pxW1i z4VB?>dfaQ~x8`vFFTTbUa z-mjbgnlG_0{tDbtO@`BDhtGa__tD3ureh6WW;8aAL2mu#52xwBtZibTKyni2o~J7A z96hjjVN4&GweQsuuy1f7FDS;;b4$p+Pv;Wg_ScacjH-6=dmXl@I@gXc*UvS-Z2xLO z{6~Wdfe`<-cu?x;hxX|DB6j3w4JNzNBxVg1yRsmJBH;o>1_?cO#K@*1RV0jS0XBTo zI9(@m@dzr#QkOmeUV?u=?U&ntDPuqP*(|H@4FD70BX!IvUpZ~Cn{4N@HysPg%EYD@ z4e?2cs?*uW=wEEt?iP-7BmV0R6NS?+e4puw9#dZ370-`FD&YE}EoiUjqUu9inh^{> zM|FhHBOm?(xLU7fl9T{V0pkaYQG)vtt!eFAiKtdrj@~GbWx;NpAk$2*ETiRiS-agX zHl&IX;=H{TQPSOUdd>RVnsjMs|4DHtB&Wf?DG+{?)ro+8fLo~SvD+`M;1t+!N`~XOCgLTJ;c~$6Mn?yB}$*ZPbu6yDRIr<`DCF*igA+Zm-*~6ve zzU_1NTZn~~^}~FFQ~EHDJT1SF06a4@_CQ$dVXED^cfQfkaV0E?4$5IKP}9?Qg{C?C zT%gDjq!m&~Fe81q)&JOKg1m_C`v=krzUMmT=Iz!^M*&;fd^x?eQAs|sx65|@CBWP?g^18ZEWZw7Ok$c_{AGjdt^UdoKj>DiX z93LP5d3~}L`#}B-#nWz#5turDJJP>A%Aiyr?j4`DZ@W2^{H-goNS*Pqem3#H^@l7) zG%`IgZwg1kV?EgBvF)-yjPZmD&bj(sW9%oKhP3kaxlZxb9|MlXmP#w-*L2P1v%y2k zvE@+ET#1V_OLC&rMJMRDz)K(z)6K}ZTCKH19}68aNTL5l2$H>%18(1MJSe0$1$Qpvh53Fs$TKlNUbl zjq#)&p!KORMZ#xNg#mLu$|=I|ow0lmk+OngC0p{KD)2~*!$LJ9!I19xswzOc z(n>COUQ~^$csQn7kpPFZ9pdnDNMCq3T~OjKctuyqk6s9`4w5G;buaj}5P?8#ABh-Q z@=K+IKa-E8+&Ipbsj08!fljhFcI@cFxBqm882X;{EKnX@4Is|~Gn0TaF0b3^dXOJT z(Jk+P;?KJZtZQBqs|5}?8>MTm-)W#O!Ut>yMJbd z7qNcnjfUE)zx-<%|MnYGwd>BPy#v6a(K_bN5VHnoL<0m-rb}&pHUA;Q&}*|LAxZB3 z@U@n-?Z3x`g7B}vIv&SLQdafMM+6QAZXE7xb?7WxEnoGEgcM~Wm+~ww%&yKg*M{*R ztcJ%?XF3NgUdSGNNxr(7^N(SB7U3D5N!L$e+6vU2>STrL~Az>Bz`{ zfnnX8hTPEA)ep{RX9L5(e$>>&r=+A%I`DA`eXn2gPYu5JB_$)Bu5x1|GID*1ii+yV z9@)hM?H^yx|4Ik`guL>fdNW}CcN5R)f=0Cm6h zt*x{Bvyp1pz*p!*N1Mpiyo=Xi$J|l~P)t>1X8D{dlyt+gp6HlbT^K(}K)@IIUZAwhqDFdrFe?tu= z*uoSUq|pAMKH$6pX#&WxO-$e&vpcEumJk!o%F;GB zcd&}}!p&`ezBcj}P>NDgdcBqA!pzCJSu>_eNBa4EnnTp?)-|tjqT>M&#Al*DWPYZ+2u{HEL8=TC(UOQVaxIEkcSg~SAwdQK!z$J7w+w_UaC zUmZ;blGdL7hEAopgYA#V9u0jp)O&dLs=^1#*2VG-mi&q;Dp=9c(SU&C*VNR($A>$B z;U}x1;8R{66SlrbOoB#uSQei@_ z?~sn#h@A*Ia-lpD;3Ob7j(0SqIA+8{SweAd$j{5I@eXw)kN8JG0~iPX{d>g7QGP`Q zZeN|1ogJd7DW#7pAZ>J1V_4$Jmr*risO9Di11*GH*by|imfeWh2u0#1j0Bh;ptQ(k}+pR%bZxKlEq6rUN zu|v_S2o_!+?ij+PcBM@}`zUH*x9nwHy1%v(-v2O`r&3c}>jW?(t)98>(~i#1E1R1$ z06}Qz)k8phi0$@zW~QaZi4MSD?x_KR#tY1!b&&>K4V;JYUI*U z-`a(9HZo z8bVtB#a6C79I_L>CX52U%&?@ct83&u*BE=eW%`w2QZ$HD_)UA&zf{4BZM+}{>0KfA z%iKK=Cf-VVPW(bbRW;$?j_on>y~pcxK__p5=|ek@o*ur;ueKC=vP&4pnzZRd90mwu z&_2z)3|`Us;2v+9n_$VVOixHJl=DfA{fsKypkYU2WV|<&l$TUSAB|JHX8`>U zvQ7a{fJgfiB{^0ssW*_gxwvA1-L@JaxxDw60OrkZZ@oVbC3SvfP+C{S*gH#33|kW} z0S32%vvD=^l+A#-vR5%A-%`+*zsRPUGMhTYgr;F(UDyS*-8~W7Dp`e$D+v64XktQ? zzRQV0lSHVhJiF;z_#Uum=QOYJvM5^EwX$xGv?{Tb9H{A0N)_$P{I^`hl+;LDUEzfOsOvqG;X{s>ZAzCaz=_9u?I5N{^NX$wAzU46)8zj3>Zv%V0Y%^zLlQBbg&|M7KVKR0 z>&x>p<4R;ufIg|xcTN?nW@)5mF}$c!2Zxwa2fz9UE)$b_1qJeAWcGW)KR)W#dD{!S zVQD;%6L^bc{2$NFMS8~~kX2Px{cq$G*m3svZKFa-S_fcrF%;I-OJBl)#$)T?fQQra zO-M1H#{{km$GZ^V41-JxO3(oR+B@N9l;!h;0v=}%c$^HNMOn1`ZRz?!FI96C7oo~d zq>EO9>`L+W-w826qg$VUA2`O{B}gi{8l7eTF==}o_gxs#!$Qw=X@9g(G{~0YzzS4E zyrbWLh#bQs**YPs_w?PIA9qc}mVg5s#?!m^bgw?OI-Xn39sSbb5{cgh?(cAVI*cSq zn(iYNU;4GHTR&s&<~gvbZ{g}bYMeMFV^bbec>LfQGbVmgQxcWC(K)5YrgK=teq7Z%J$bxRsp#(+@SFP z8?Q(d-BN)H=eNL2q!EyWYsNX%Gidhz1p4OgpQiH1%P6-d!${IiUrFMA(5&V>A)*O@^+Ge)#;?8- zK3cxSJHN>Yj&`qftFMBlLK#0n#F4_C?>ZLAF%uRcx-Un7hJRV>#(!4gO znZ&WN>NFhhu@VDctH~P8woWPR!2d_o+@bHa#cL>D07WB>?)g}Y{S%?gzwXr=LJlXl zQG;0DzRkJV;Ub&kBhCJo%V&Mxf;8j*u + + + + irace/ParadisEO/IOH binding + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + irace/ParadisEO/IOH binding + 2020-11-10 + + + Johann Dreo + + + + + + + + + irace + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Comma + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Plus + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Fast Bit Mutation + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Uniform Mutation + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Tournament + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Rank Select + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Statistics + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ECDF logger + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + IOH problem + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + IOH caller + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Evaluation + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Replacement + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Variation + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Selection + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Algorithm Forge + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Plus + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Fast Bits Mut. p=0.6 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Tourn. of size 2 + + + + + Algorithm encoding + ParadisEO + + + + + + + + IOHexperimenter + Algorithmperformance + + diff --git a/docs/index.html b/docs/index.html index a75ebf428..d7abadb37 100644 --- a/docs/index.html +++ b/docs/index.html @@ -61,6 +61,7 @@ Features

  • Composable design
  • Lot of Components
  • +
  • Algorithm Selection
  • Portability
  • VS other Frameworks
  • @@ -478,6 +479,24 @@ +
    +

    Algorithm Selection and Configuration

    + +

    provides meta-algorithmics features, like on-the-fly algorithm instanciation. This is useful to dynamically assemble and run an algorithm from a simple numerical encoding. This "algorithm forge" can handle a set of operators and parameter configurations, to be assembled in different "slots" to form an algorithm.

    + +
    + +
    An example of binding between , IOHexperimenter and irace. ParadisEO provides a on-the-fly algorithm instanciation, which is ran on an IOH problem, with performances estimated with a generic and fast module. All components figured with lego bricks forms a single, integrated, binary.
    +
    + +

    As the codebase provides generic algorithm and a large set of operators, this can make a huge number of algorithms alternatives (easily millions of them). To evaluate those algorithms, you can use bindings toward fast benchmarking tools (like IOHexperimenter), which allow for insanely fast runs. For instance, you can plug this binary with irace ( provides an automatic interface generation) and reach budgets of 10 000 runs in just one hour (!).

    +
    + +

    Portability