From bec28723e7d2755cd0e86ebbf03a40ade068b2b2 Mon Sep 17 00:00:00 2001 From: Tobias Dornstetter Date: Mon, 26 Oct 2026 12:49:15 +0100 Subject: [PATCH 1/2] MR-zero submission --- submissions/MR-zero/case0.h5 | Bin 0 -> 10240 bytes submissions/MR-zero/case1.h5 | Bin 0 -> 34816 bytes submissions/MR-zero/case2.h5 | Bin 0 -> 34816 bytes submissions/MR-zero/case3.h5 | Bin 0 -> 34816 bytes submissions/MR-zero/case4.h5 | Bin 0 -> 34816 bytes submissions/MR-zero/simulation_mr0.py | 117 ++++++++++++++++++++++++++ submissions/MR-zero/submission.json | 25 ++++++ 7 files changed, 142 insertions(+) create mode 100644 submissions/MR-zero/case0.h5 create mode 100644 submissions/MR-zero/case1.h5 create mode 100644 submissions/MR-zero/case2.h5 create mode 100644 submissions/MR-zero/case3.h5 create mode 100644 submissions/MR-zero/case4.h5 create mode 100644 submissions/MR-zero/simulation_mr0.py create mode 100644 submissions/MR-zero/submission.json diff --git a/submissions/MR-zero/case0.h5 b/submissions/MR-zero/case0.h5 new file mode 100644 index 0000000000000000000000000000000000000000..547e0d7a4d5f3c92c67db25b3da4f842830c1a68 GIT binary patch literal 10240 zcmeHrd039!*LH)HCS|B-PNjjA<`R|rIv1ft6p4}~8qk19gXTnoCKVM;(rlJcUAGL0 zlA&bCkSX)nXTbkM^707$h2Os)|3c{BNap4J_5UNT{t3PRqjB}`w*UWA<|}x59lhJ>Nu1dm>FuC5 zy*c4Wnd`Qa+n7L_m%oixXa!Sj!7fS?45jX}Fgns4PJ$02DB$59YQ7ywyU#>X&HiZW zT^>V%VzKnAI+jG4II3jhs7ybejP}KoZ$~^m7fK*MjRbn9pFlR+3A9)|fnvJj>0)L) zeVr3eFWcj2o=j2hhvHE%fZRFL6I@B0(W9@{w9kri$*=qUuTtnl2=-vyxJc9BDDf zflOD}liGG$;wxA{Ql0bYs4_@r=Ugi9wWQ--vq_tO77d;-rQ&d78ul`zH-7qb_JAIx zKA1sI=ID@V^E5IJ(5CLWTGV2qNs3D~s3UbM@eHWbq(Lq#)oHD}DjCPBklQsS`lh8w z(q;0rbAcSmipkRO$4RvAhYXEVmZ6=#(!}>fitYzWk-4rE@r{+D%yCjAVJ1cOQBu_M zbwn2lKmu50#zL#jlEnKEEJq5j6Pw#3x$;4>`z3kdRx)xr9U0$S{=|#(vy-42Ei_9i_QBUaxa+lsfo7Q^L z*@X3EpXxzxgV&L*wL1;GaifetSE}h*O$!WMsC%O`sl~3KC5evoXy-EGS+5Z~M@JS;AYE}ODt;&ASF*NDodV5bI$9~s2*KfHcFq2l?+M7 zz?fWSo067=Ii1(BpgWRtsPwrdohY=X+NB&4=ws-{W}?9Ed306JhQhrUkWk`6QcYPz zYCCP|BJ4=@n;i{BE+)C}i|HrX)9zqVkmzhhlGVM zBAJ{RPd~yXX{F0pk|!|=wh|$aMPta_Tab1f79fXL{FF?5bhw^}+;fI;@xuTFw*7*E z;SXqOe}l=&FNkgYgp-~hagsh@zx#U(obQ9UeILS9`rxA52b17FydLhusrvU2IP(Fr zZ$4t>($5(F^aaCB-;jFk2fp+4gY_81m>L=2aN@+^Xn?z5OWJ!OwJmq;RlKKK=8d9G^3jL~7 z*`Q9#Lp6xi(W0%b+O))VIu$?GA@_y4R9&b??_bX(R~ZBPIm3{eXBd%+v@walFeZU4 z6PiEMl=f7alF@iGs##%1GLdE^pJGO@_n6V-k@h7?Gn!UmN~d*9X-29EoqlLcOGJ$6 zvZ4`rO*SN#L4Eqj&LqF>dek~Wm+G^1C_sEVwfJaL)Ok&s^K&W{s;N^uN0m$*Rp`5m z5)G|XpxJhE6fEDHs z|2-`0xsS-uPF$b&5OXXZA#~*vOgh|y!$L1GHLVxZtlywrtPi5!J|OqoXLyNy#}dJ-M(#0CkP?=p_eK8&Z@ zpotX!S&CfTWJsi85*->ZOQjBS8hFRcVo~D#?^ip;5w9$YH4pJ&IDM z`}s;FQ=&*~vlM7*kUZ_1BS&+-Po`PflgN993_Y!tqDPt&NjYUaS-h8|H?t)uH%gr1 zM&i`hU&5rIHHNk=6QnP@1ZZ`^2(P%jH0|zhw5SY1Ebu2Dwthvh;V0CV^g(Xg8=ScO z5)$6euzvaz3=4K+-0%a0NZx}l=MJ1QZ)3~YR=hcO10~+qAiBI6!=79SA8mrUNF&q_ zUB*+FOL%Q_5o6ca<445>)T&v0LE zvoAxwzX7LrH$haBi|+4N5cl#byuV+^1J#>|_q&BdciJ#(Ne8C9yoV!+o#3Nx$Vogw z%ZnbY<-Wki%2yCS^cHGK?=fr7CwvI_imhvZK*pvYCpCr;HTWCeZoKrgj*pg)9Yr@B z1;{FGG;z6tr1MsYUhxW3(ijn9c|~dUYf&0?NsOu@#c7oBSekryEIoFUpp6eC==dy2 z(oK-06HSsN^;(j~|CFSpPm+|{AxSHaN{(2SE9)iITv}X1rMCAv1 z1iwP=`9~~1+XwUbH|TNdMbXsfSo-q`@>{x*T-u2-`|hDFe^*Hs29 zfim1(b_~~BO0mGF6lw;ga8W76dE-)S^)JQFj#6m590Q+l8QMF`@ZjcgNWLh?8o5fu z`B%a5bv3r_s)e%lNjQH!g`XW~aPa0i_&%&d*-$+e>t06Z)<*C(vfx*2Mq%VN=zqR} zMINm%dUzY@4tEfK<1U7*9^hq77d+)3VMXW@+`HQYag`T%x4IX{6JFz9(OXzn^kGxp z2Rz>S31V};VArd!7zp|fvDZJ)Vet!x{re#rKY;$wK@>R*!A5Wxn=*!BJ?b}ZFB;*6 z|8JZL{Ed*MzmX~S8x2Q>p(!4WFJO*zr`7g*U0OCiSnb*VQ$d_9`0jESaqYKvJ>Mc+{b;t4m32i;lYGk zc;eQAx8>K6-hTx<=d;ksZNRbb7qP?X0y-Pd;ilOc$Xz^%OZK(!`BsI>V-?8sKMouF zV~}73MDoFe9Y&+%A>6o>1Dk!>ND4kUf`=?TsLsTJp$v3;W#G#9 zbZ8w-N8r|U+;>e!lwUgR4yD8TT{@grWT5qV2D%b6abal|q74tCaAr0V=jR}6M=mlh zAA+1x9{3LAqfPb*bWR;br&|%sSaW+M8R^`tBA~m$kvG zq#fH{+`&)byI3G|4+*08N8WcIlZqZ-olPfBwsj(Lb{Fm>cA?{97tY`5g2Ih1C>C|0 zX>AwA^L4>IvJ*+KA0TJu1DslOA9`Evp~v$svN;|2EqDiwHEnp!+{TWER;<^&iK?A9 zkaq4GTzi`#&wmA;V_BGrH9~aw68xUkBeK2@Ka$QtZPgh(Rz8K%&uVcbzZ&0HSE5|5 z9HI}8;qsvpOk7`ttNKULFH``X-ov=tnv2y<*$8E`FtZ~A%3ssKopJzb9x0f2HVGW% z{piU}gn;f|?7SZj#mqP?@{7f<)iH?jj0WPOklYlB=aV847Pkk2aB5PR`QWc|NI2;X!k1^o;77L?L3vRiA z1=osZabKS{hJ>|EY4NlQwKei7vsp#f6jq4X~GW}^h zH?rT8(`j;><7+6*yf0*!uh;#V&zF;!(q+X=SkeV1$gQ2RJ@bkYh#F$XJru&6{Bh_O zmcutmHSDXLj?8XDOiZ@`e>(>|_AkIXu02fr9q}P~6^0btATI5JjBOh*YW60a+Ta7V z@4iTV;fGA4%`kZF2Z3QkhTHkRvt)R;f703R-v}j5pNbOL5|5nJS}7( zlraMR`^=_%&9_ZHt@5mrAj5{qZ(`a07`FaQ z78`p07@P3z9ILbP8e7_ZpS>FJlC7Tbg%v$9%(fmK#f@J-hFg^_#=UDP$#q;hfqUqd z6!-Qi8E(v|$=ow%CUcwHCUeV|Oy=gBOyVX-Npri*CUU2(9LFtrA-@Tn@)$tG%VniK~cyF;jA0}ciI zApF7>)cOZveD-!Y>+OWBVF&~YcOxJy6sA`~5xgT5zcO~CZb}G@6n0{H+;;5s48+s( zTQDuo2b%30Aa%$cLwzoIe8myxb?wnN-3HdIHSP?W;YsIAh_2UyMxin^56i&Gc`Ov4 z3cz&pPe%IIbH?D)Ehh0<9g}~mgqgqd0F!PR#+=e|Viw5jGG;zPOw_Ih&iHd1IUz5K z=4M|FYuw_zxT)=Td6VDPPfev$C$YC@ny^1FEo0s5wy-XO(d=>i6n0x}E~}_o!uB4l zW+zFWV>3c8v+Yl=uuo>Ruo@d~vl-EM*x1;+Y?Ajqwpi~TJL7%_d&ae$UE0#h9#Fc@ zwz;tEj<|aEc*!Z&=W;o#(|Ls5)}P6)(@JDV`G>LB&U>(*U(aJhqqW!vCBp2<*0!cs zXA_%5<3yVdcHXtB>XzrMGSA^?3cuwP?3ZVt2*zikA7ihzmvMWP$5>{bWGv@hW27EG zVy-Uw!t80_$DMOxxECu8RW)UF#cJW>aeWNM&w{fY0~zN-iv}@P)Zv`-IuQ=q4l6f1YW+Qp(t{ z8H^}zG;>VCi-~Cmb@oGo9;d#nv`~opfV9o6u~--Z?X$U6Knn ze7hAJyvU3lQr2VD2i4e%&t+JL7h_nHai5zq&fI7U=sME0bcSD3xS~YUBMt4wApY>V z9|H6^vmT{#ns(pjOgt^bWM0%{s_GXob~(Px2ZcDsij&RwR+lqloGvjZwc439*_Vu~ z+%G0+>}c>OjK$GkGT7vxf|di?NUt?O$T17_Z3Uc1+hN=qN7MwZK{I)Rx#0`5-+{>P z+6CQ;aOBlT;%iO}R4E>T=l5dq&wa2MOu{gm0yrFiM^PHQ&!?j~B?H>iGO;%%6Fx^X z5xyrA?^H9P8JB_4)#(V&O+$*^0c>tg!NoDjxHn-x65sB{<^A!f;g5yS{3wXHMr zvqYdO#gAEH-(DRaF(n{n0O$Gp=IXZELgG28f-FdB{K zjCQX&6BRn1p=@5pHl>GSsLgU@CYN!{Hy_{(Sch|dS-5k|rYzvRAu~?KIbBXiln%$f zSf8V!Y{~I^wUlG@!Iv{NDVEc$o6C7Q|0GAJar z+@zG@kgExI)tQ)3XohW*<|1I{0=#Nk3eOMDi2ddcr`wybJH#K7UxV>RIviipB2n`x z275IUu-9ZC0u_^C*Ody#jp-=8mWiDHgOK=@gVLr$n7S$tN9yz8`?dh5o*n^z{!wUZ z7UI>8LO7)sA~zeK=!Nhr9<+Ywc^1?vhoB0SO^@^-7RNn{ze)h~j( zFJP!V2PYpIV`Y&pHb!c~c$W(1rpiLUbpjR|isQ~TL6jfh#i9B`C?=LMqs0mt|9OX*XPkqKgFrf?mzcs_dAy$q8%|{G-|l4; zi}o^%ZX)w4b{|tvk;MEyoXYq(XE52_*~~MQe8y{PF(cSp&OCHJ$$SaB!0;~SGHV-J znT}fzm~Q{)%$_43m_?2Q3^nq@V1h85vm`LiRvIzW6>w;#8hRb4VSc7Qc;B00xq~&P zv-7db+#YYMo#3kC3WZotn0EW(rd$vbtwPYJ5`lu0C@kxXMa{_h&v4~_Jn&3`gJT++ z)ia@d=OEU*DC;jo)0txIv?)b?#W6%aFGJ+p<6s-g!P!`W15Ybp zr%{RPvn!#lR*Af>3Y=eC0g?0NSpMQTGy^~?3 zFNHk$afr4RhwfEjXeJ4wuy7Q_Mfs2$|C@;_8eq(QelqUQzA^iRzA{OVKQlfXJ~J^# zJ~K;_zA)ExzA=|~{a{qK_cK=%hnX^CUd*cD$I6h=xRpKz1%skkQzilR{0Z>wltJfG zdCV48fo8utA{3{gC`b=}14h_eItxoftWmXP9_B>YqWhQwqqdl?wi4O+N z0#K72jMsi)&`H{Zrs8Nwo`^$R&0csG?8nd06qwqiA$B+eE3yybghDP}L>~sVj9h@Y#33HuZgHANBXqZBbXLlK%qig>zS z30hl}@u*P+9;;PxXSO=>+%=GMT?^&`(-H2h3$0Lnv_CY$r!8hkG@p&#M%H+|2A~r* zNYk}L-0h{XPIbcXEiUNYxE2$3cw$4AH@;lif(D*#D4(+nyDo*n-*pe}4@JQ)Jr-pn z@zbp)5vTQ%AXu1!jlyZLcFn-Gqgn8~n~i;6a&fSKgo|(T5p?+oTz40OU#S?J!V)YI zJBF&|WpD~Vj+TUSv<6mS_Xr2`UsR%FV-;Fks^B4BjRVuFu|T654|%IG`|QYf6T2$B zXskrLbmhoBqyjOn<%nB;93nHyaP>_oW+jwBMzR=3Lkh8~?FjZt6yTs~9$IV<;kkVd zyg3I^H#HOOLut@%PDOfbGIA{U!{GB?=p2rR_WW2p{S*bg>^-=GaH#i%V2aZY*tP{A zcJ*eQ1Nn&WQzCWOyD=o7(RQ9&?aq!b#Dx@vELBAWQ4#rBZOrc<9D_Rrav&n zK|Avie$2v?XR~p5*b>GI=VHNi248l}L(sAX7;v^lX}moaJa$01qZ4{Z^4?(K8pv&P zAK7D1>~qIoD`B4~#`{bUgTy_F`4?J~YH8 z;a)%rR*sxwn$^myK}cN8!vMBC`1 zk+V?|YMhJV++B?5xh3dLEWzr!5)|DmfdE^Ay@yM%dvys!_)6dvUkuxyMG#(CgvHT? z2roX0f~pa`6ck{4NIrgA=i$PaL%5lg3mw@UgdaEv%b`p>S)PHj1!)lJNyQ|o6fCn$ zg2>u^DBragLCNtjDTqZ!Wi&+UBB9$Hfd?I7P`MF;{;xa0rx}EI8@Iyhf-m-|Y{H)0 bkzAv@4vpQeNGf)LSJFyY9CXABt^@u9N1IP@ literal 0 HcmV?d00001 diff --git a/submissions/MR-zero/case1.h5 b/submissions/MR-zero/case1.h5 new file mode 100644 index 0000000000000000000000000000000000000000..02e2f1ec47819ef93cfa4dfa76c2dbb0fd9db0ee GIT binary patch literal 34816 zcmeFYc{o>J_b`mi$yAw>3?-GMxeRBoLz9v+G)F>`RGO7C6B3eSN=Qf=45{RE_Buj^ zL`jk)2@Ogmsr0z--}ip5>-YZgy#GD#dtJ}7Ki75ES$plX&e{93*4}IFwf2c67K=tn zt4Ry}t4K-;i3-X8`}RMVzyB1Wu>Y$0pZGrwoc@8r|G{{;#QiTzuC|LgKE3H>ig78d@8 z(|^?EA2?!|{x6Dx*7#vv`d85sQkE1_KK}1}psG4+=eE4fcr%#HceJZQy$4x*L_s!tU9BwgH zswSMeWrHBQ_dTgtWe99tGE-%sg9k^A1;WjlN%Xn*5%uI8&G5zkI0tsOaJ z_26X^wC)tyZ5+k;cTMJ0+_i{O_YIPoXip9vxx+158bs@a_EDz?g=OOV8i`~Q1B*W# zAwmT$RI5q`V^1HYwBS8+U95<-`WBG#L|O7ZFqCsHH|L0m0qKz*LoOAT(-ReIG0RLC zrSD~u_50?4=k)i2EWgvE(oq@S$&r=hA5e>YPMfX@~BN@?|0khlj=qQrhSj_C}i2giLP1!rVn^RBZbK(U!g zNF#LpwhB5ee;N%Vfr26Wkc#X!MW!!>YMfDoYd?L#Y`rE_`j&9FQYFwX@(&G(P^BL_ zqliR}EVw-EA=h_qV~*a9qjxo%Y3tQmYCCF>%g%a3H1l>sItIao8%Ll)EdV~h_JjbF zc5?WeJgs+4r54h1G+^_4uIS)a+L&^STkijdu^D_}eodu-ds=>gNaU)*5|u}!?$iYH zu$WpwM9)G-dG>2=QmGMbn<+5gkR`z=tP7@|dc{=E_c!O^5p2HvVr5yt>2{{x@+`U5 zwtN(hYR)=R*JehS8ET@D zr8|A8I7Hg!6_F-cMbtkQf!l8wVWII%X0L4rFL6faOj5-O#3AaRj%oTce+lr3S5b% z;cHH1X)Sm2+)-j*w3K`>OQk!42kAhbEYy%o^r$$!PMMTSrm`x|vNH<6(iW0^AE2PsMYM zaRce4WgkUJRPqPXv+ONt{1HGpqIR2GyE~ijti49o$TpD2#XfXqyf-dBZ;tMjszhC9 z863sMu+PpnHR6v^`+TrnGUrd$dsb(<;<`vIZ;D&f)f$7g+Y78=t4w zq1CAdOx1afmj#8WRp@{_$4V0~5`Yq=C{b^)g#dN{a#Zt_P^flzEs}50$ ztPseQ@*E`FQcsf}x?^r9ZF;04C|Yukys25tNYp-{KZJ!bZj%|Ee_5899#Tp`M zw4xDH(EEvWD5jB9%Fk$niUHQEixJs(JK&V1K3Kd}pxY8&Q%$|KRH(ba{K$!UWWT}i z%=Y0iaWWstY~0#TJ@6B~hD*&9t_eZzQ5SgBbPK#|gxKPNAxQgj3&wp7fkJK@h-Hd^ z?+Q(NdeLXvY_W>AZ8T!?jZLUTKo7Mx3!yCv)5z!T&BWoHD2y9fO|m;*a*_&$nDu22 zUfg3u)4glRA+7i1chO<4s8b$q1iYqdrdJqEnM=g~>?G13zlrlXBTM6rqquM`o(s;d zrJ-Hd>H70$iOrd@P#U93IzHT`w{{QG!^||gq3|lnRuG4QfKyR%rz~c+kaBY)-TG-i<=Ci3}^hI4V^NH?luzeBVhbDK?d`QVL*ob0lOng^+fG6NIjkgOU_wm}n41 zgj&A}Vnq^Y!z(#l@InX~X)W^wpC#egoKX;+Sz|7r_>)!~DWi(tc73E+xY z^P`=y9LEgH#^sMhT2+IDsV$_&>PM;kwIx(Cx5w<|cYRRHQh}4>&e6L1x%fUKnFfCK zAYH@nF76VBI`P$la;1}Ww@D1?nzR-yv&%`2oj&%3yJDG58q=8K2Vq}kfXp*zI%b(L z?r89*jz?r^bi`?nakdq-&N3bw-q=utDdG;-k{-EE>k1dzk*rJ4U%js3PR_4$(4DBh^Xi*PSd!D4rZ(2nedA= z-!F!29BBx!Xn>fgS8#cc-%+=NPdKB$iqKIo8NBQZn5cJUbO{P*?Z#$~D_==gv(w18 z(Ob&aHl8CIr!$F#g@7tmPe!K>fmw#NJme-mCJ9R7<^zYWQjaHBscw1{`Sx`#+;P(( zJ?H*XqevUhr`89QcBaCScTY%=v<%Anj7QD!CCt&#UnJpR7GtbhPAw!dsNtsp&c-pW zY)J6~vHOt%Q&pNl^2%E{kUj)`?yBshNNslMY!P;yPy*c19S150iimvW74!VR<+S6$ zXcT=ajju%CQJtOn^qNj2x8+hLkyX`&9U_@zu;o0pFPwqZ+bcjg317up4FnKy`s6X3+l`!HNA ziVhsEAY$!?a65bq9I~BCs-C4YHr?|f(d`nb<@iBc(OJ^bHG@t$q>tL`ui;?*H!NxT zjz9XUP{t)54L-AIsIZ7yU8*9>D)ivGv~(f^6#M`je*LOrW)sZ;?7bU%0S)A;db`Q}|zw3YY}6S6Li%D88qH_gZ3|LAt9$9 zkbL(_s%@%)nkzHRMceh@;zc3wkc*&YQo5LT{5H2P?h6U<9Y>sx|Dull_o?K(tE7I` zB)DlNPcjQ6G0)!urQ}ogXVm{Vv>_-8yjUV?9Y7Z-@sP%yG-o^F&kH0U9cj$=Dom{IPvC zhD@@jVOax2Bubqe6CR1j={mYGRuc||RFE3OiCDLfK@T>AESl>Lu>-G&-IF1XTfBnl zRh5T5e>Z@_*%c5J*GC47$~pI`+wpT;6FNIc@e#eU67SzX$+Sl|6T{cRq%6vrQ)$~s6L)W>BH`y4gKt@+u0Me^ z%Jxu=l2JI|FAj$q4}j{^Y|d?b2u^7>#G&3wlD@+Nv|5&MabK4sBN{@Nt4qQx(QHOr zh(WK{muY3TEsRkPhZj=eWaIP8^xhv+x;HqB5t@)$- z<_D7$Yv8=;dpLf)14N%zz*^-fczE&wX^$1b1;?^5%(WDcZ3MiV@R)qhPk^|Rlkg^$ zCmTw8so#xb`1pVU9&7(g_Esl=x^N?jI0QH*YdM}-{D;~8%LMLRxJ`}@bkpJ!=D4io z3FV$;32voqC&v~%W=dp)v3T?py!pkK7BWIO7#%~kZoVfz2bVxyl@+sjlO^Vew$qu{ zr$hWqKkx~eO-m=GVcvWx447sDCRggnkkCXdOe>?SCo~Y{-p%xcLop^KpT>f>gm^tu zfc48xQ|T{uc*mrfrtOYo+|3u0Pka;6`LY%EZVm?2SA&EnFPPlo)nwv<#c=i5c}Qf7 z;ZjBse3uG@v>P)8%_CB9qGvM-tDeUwgI4<4yOF5eI|Xhd?Z8WZG=f+Gx&(ZnIaR)J zvmgLs_t(?p)*INWVuWq)#K2ou4L(gaqK^Y+;)8dR=rO{DG~S&9=ECZv$!;{ROCF#_ z_Il+0xrtz-7f8~kw$eYX&GdUlQT^AUNLG~&1!}_IAf9fkKeI
$v5&PGL^UnSI}nx`c(6<3W#O=BJcg*(Al@GaL3U{jMS5JV6i$GZhqTMY_`tB zT+vWm{yZMPj&8$qWqQ2Jh=qK_m}&gW-+H{}eQmy6s}*G;nz%c8!?Hj3D$MaSg9GX& z^owaO?rHdh*^|xi>D350Fft!%l5>akxd#!_aBi*`)YONA-Y8kl=UW*^d2e6t)bJb(`mBP2oR~603Sbia|cpoh)>gMSl!>tq+W7DrDZb6Y*K^|VYXm1 zR3ivAT7oX>J#=97Y+yvwVfmsclCjqXL%youqJsHk_rnzPJ=$+M!zaoxg)W2*fuYpM zbQKC!E~3Ip{bcFn7i9OIjohxs<54vt3^gRTq2yW-(xqAe#eap_#QWmx#C6K7fBXz~ zbhZ|o^(zzVuDR0$&2+4yh_zD>;jD{+6Ybif8uoX3hYCj{+qbW?jgM#W=ecU zseqi;0hmV?f#ks(jAvyDb##cQLhB!zn%Rp&`ot^n(@b@_;&0merv(JKLdkPfy zD&yv=blmZhAre_JaAs@@GfK}ITkkY;mRp+0wHPrHGsYAZruWbr$y(q$aTb_asvqZwRG#j#K8lhS|~MCkU6lm76$pj_kwJ z&^u`)4F1i;!}p(I*P>;_*jJLBVNl zpHU~q^5($o9m(!>l!n8!8f%n;G1wv>oLfJE;!|bnWf_F&QiDW7FBv3t8<@yv=cofI zApIk+(AXC}bmXHKM8oA9an%@w(Z_so>(~k|P_Q4Wy+(mh*c#MNHOG9VU@+b#0F}|F z>79KUc>noHK~GZ{NLEY)rF(Uxut6JcIvCMN7e9Ph8A7t<L1J}00w=eZ zqMXG@w7lX1X?L1oXJ{vU$>@ZFk4%d?J2JV$D&a3YVKni zb6tuoUb_#H)+a#HKr%#Hq``wJpUCl|D=50vfFF{%gD)T5hruy3*zEWWax!%sf1vL* zx)-NF$OaiUZ>a*kaPK#Mat@%sw|gt`Ut38Kk`w3Rn;%o57j9+;m&y(=q^YD}oedrg^v2&0Y~ZnU4unVg zqmfT9ihrC3Qhp+ASbwwm#x>{A^pPK9Hv2eyDA)usIafg3L;#2OEW;t^MSSz;>!_Ho z#rmb$vK2+zP`&dxDz22~XU_bLpKrZHm%#V9S*#sphxY?bt~#KTO*R%(HDSoZg*bIY z5^PSAW91(nht!K1Xnpn#dNr;m68@s>b+=fk*m(=V{VQ(TssSs-2SIOSK5bv8#9J`x z2tUgqUb}?^G$-P6VW3LO&%mqB^CXHl#O}alOhcGD3~(c;a)lNs{`kv%`>Kt8d(~;$ zmvVBVG@IDPmeQmALe%=vLacTs0bQqs9x@;C#e8vK#!0gQ287l;_>SM}mFObF5;%Q& zFO2gnCE;okbZXH_Tu&zA%#=QmUABVl`QZW%chva_Y8HHcYCL{a+yo*Z#WK~?*-xKz z*wadXAknn}91oO&r{rd^F}h3_yF9^D5fXfeqaEs9D~E;8l-PG6R%G?L5qx6*G8}zK zhV4%s!AiLLprL6e4)x7}fmd%pbd4C=y#IpC#h9|V$Av?$_|4ZbxniBAr z|Bzhk8Tj$M9G@_y5v#Tb!!=P+cKr(tYFYMq*e1O}x9Prw{whHu#Y_>E86k^Cfx~?f zx(Q`(wwRArjKdMqEp%h59c(-`9q!Bgp|uW6@vYH2a%@Z}oHtLVi+oIRF25E!Z_R|& z(YsNUpF~BA_JF;?bL!Ny32lc&z{OaZI_Cz`4q{9cbFARLn?LCs>xC^TCS;Ds9biEP z*~?iN@V6aQP3l3$<~4fDHd3|HWvuj(yYN;DaifDR71n>dMwSFgXT_4hE z%4BWynLL(R6zB?Lr(UHG*K9_IcQ>G-bUg?pNAS%0JhS;XwArjoFHCll=2axduunpi z*nF=6JQ{ZzS9FTA36H`ca$6ieG0nk=9zLk;u@vYBD^}yP4utPX;lEl2@bjMOvBo8R%I2PKY^D*+veDeBT9ehkS$KBJN zPjHh|Q=fHN? zUiu+k0Rt~a(C3^uI{1Y_T3|8p5$ZthT_e%F)CtjN+HmO2Nwk(QVx2UMIH84Fe0g^r z7*G2Hzhb`++eA7D&whck3MHLox%g#_)J0oG%m$iIO;&J}+dL&&&QS65j4ip_& zzQS}imhGOvM&@lN{Svp)yfBX*9i>TcUlxbAt877HLKMEP4y49Y|HALgt5kVxDOQP< z!{^;f(70Qa|59<9>#W=Uy&rDhE~u=Ny(dX6uD8~;Mpk1oD^vsrmo zfqr@N_&VNpQzm9lmj|os@%&@!FT7;;HllegkInQI#pUZ<`4YP~v?;_rK^$q5>sDZ4N5Z`qs24?Sh0_!zL z@=sRkpz@!OV591f{gPj>?1Cv^VLDu^WN7cmVOzv!6C_O!Vhy9W;i)speCP*X_SnR` zYy;)_wR4R5x(&N6noe%9IK?dHYuC*z&jy9^R^{KreH&3;Z1EgVR?V=uu!XURTj`2x z#Mblt-V5vkUsqN*bUZKq&;)IzFM_8afe5wKmL0G^gJaw#qU?wqI5Kt@HmrD!qFcVe zf>13`zOKTDaE1`DK$Y`ve>4-6?-c_f$p?^hPzpYd#}{Mvck(?cD4=+x#x`5gAQogmPWOg#vv3Z5J}B@ zFg0C+R4Mo4R?!|B z(_+zlcCBTZ?gq>IHJuji8jne8*E8r(_p(Tv&a>^Jw|JSW-PE?%n6;yK(fPzVJQV+f z9PrSBdX-pEiEO6c+waktIX$o^M+uiy|G}V@eel;K63%K5`-Qg^!6m8_wppiRMSUn$ z>THBH1@ZKA#1Pf;O@xKlg-DOyc3jna1}EIPNA`}ZhT6p&acYV#IzMlN70KP)#>^r- zZx9V$zbs((i9Afp_cb5#3?LIy1U0TA|T-PnXc1g$LO41$HcIlOJ!v{*`!O>clae9fCc6*a8vt!3v>igK1 ze+i8)7vG-CR@^(u{@(SR&ks=Kl}st@-**~y2VPSBtX*WlrjNXE(t zt~mze&9w@QdFG8XOqJQ)VUWpFqD&IIdk0E?Qpz)h^en|d**@l}Xj-@hHD-CyIn)RAnG=oK>H zDaH3~&w!ZF43Hn!fmUOpn5th@aNwjquGy)9mn2TY4p$L4`t~(#sgFeczCv>`RbSXf z7Gjp0G{%X0Lf6+iy7p%*TAY4O!g{r!O}B<_v6e-TuII#KZYbpaOu}t(UHEwM81`+X z9=N*4@^!=Wrd?(lTd$MJUz6Cux1`Hi$aLO>S(BB@Wz(;)VO4$>Nx3fQz2aDTn7=~# zx9J+JP>~RsWHq;Z&PVO?FNqoKmLORRjmC*2_S$LuW0?)n+8^lJmBy5_k7B%zU&che zDe1afKeHTB~88uNgckiRa`F?!~Z$ z>uBG{Ys0xQgN#emDm+?zh8Af30f$6FT-GY{-Zei#Yv(w2LGW3AoZumrdULFEfzV3UwLQo@%*y7YwYif z&)H>rACdiHGJKHw6|UdM7LUH4j7RNrVS;KnzA$J+zvPkZ=Sw3=V$v-Btw$MLUeOGt zX|wq)Hw^A8Q@|V&V{Naoo+{m}fmt=%BmbTqtNM%W6r0WFO*qQ$>^sU|vX~6*8;)f!qaNSQgF-xt&ixdnajw%|Qxbsiu-FMdP8 zNLNf;xChHLynt#uUMs z_vw7L_5*5l^)WkOU;_&??(-7ur%)jAlU;f6I~#Cvkdu*Y;Gdl7<;&x<_$f9r+WX7rhT5TQ9DId0{;o%ICgH(nodLytX6Q-g|i)fO+90+)0uuwgWvy|I8 z&z=T&yT};RhsWURC^c5H=?d6aPT@P`x=HI_Uv_$SFy0$+ijR193bf<0Sao&-IkbZE zQ`BO4Y0WXL`It&}Oi~!z{Pr)22@{}q+9+PPf$%>^sqo7y8^LRN9vgCb2Rm2j8+UZf zC0feFkQS{Py!ku>%}cqtY9#Rk+Bna29QVvJn%Oxd zYNqFLpY9%^OrE>7lJ2#$v2oIPT6jGVPFp!sz4X)AC=?4$}u2us1})q{d}#RHa~PqgSh5Zk&6wf#M)St?OYW}9K=dlO0YAuf^enCT3*&RlUj@}F!BDb+;)?!@gF3$eWyar9lRd`f3WH{Cu1Kak` zg^^0v=~5ER?3r|m9F8(2^JAWqn)gMVtN&N}Mdu2!+^I(dEsOB^{+Yzn-xHp0?WE$f z6mhdfHnkCHG2h_$ifnk?PBThvP^)|_oR*#dH*7Yeam;*LoRb8L3hTJZ(-P3`=Kwi& zF9`HP0`SiJV0;qV4%!a};CpQm)=e1APaSsz&fcHPKG5$Yc|j(8M&2Pld)g3=KIZ{; zI(lryMP>HLyUQ?9Ul9iCkjPLasL4GIHr`{|o&^rXS#3^@w1<@68Ar}wx zlq{V}MAha)S>bCcb$2Fy%$yEOOLED>f&=Ju<|KFPl{Nj?Z%LV1;t)H&klgq&7k?hl zrucg3p7Da#Dr4nr_@NhyYgs*-F#+xoeJtqkb zO0`t#xHzBYvWYjGF`1uUItdT`I>Oi-x8o9?8~}aC0reqf`4Cb!q^{euubC@ z95y#V?HC)hzIBtaxOS=jburMNqtfA<&deC5qR}ag@hI-X8Bq*T$1vZs}DI% zd7k6E$WN)cW9RgCC=N zE1&7#W($>ZS=6KDF-9F+!Kp18&6?_DL(HL)V*8Ff283pOrjC0mPyk$177S|{I-ad|b&r%M^!g;~w?qp{$Psiu-~5U_!^tr#-jH1>8SqO2W=vyAZJ1^T#4ez zvAM5MS|kKTqGLfW_bS|p*W?_cCStBzDivR(K=w>hgY{lj-avBz#22_%@)(>l?G(h+!oTdCB$6GTL&4z9CTr45x<*f;70!maPNvD znmMAh<%=3kSUi{d-F?HgNtrO&^WQVo7mAp!&6Byn!W0@k))H@e-a^$!1DKZk3Kh%j zvE=XzVss}76i>OpgP1QwB+(x#4E^E2a2#rPY&R}juSHZ}ZM5Wgd8vooNHt$AYUak_>jI1F8=F+g-NgQS0EW~|9Ylyv!C^WT~apl8#I$|5u zXq}QAY&$fS7z@Oa*=R0sT&4}ROOBDmv-Wf#rJZXDV3-@1?Mc5;F8O9LhY5dOK;wmD zsEY7Wk``J*A$_}yS~TUi-|cDS3t(|2^^3^7JRzmzt;oxwPJ-6PR*l=Ix&N{w=lakT-L zh~wt~Vy!^AO_OryiXmC*_W2C4Zuv^C%nH6~yxw|npu6x@u44^L*$gEM2X zq0a+t$`;ZIVqqlJ?+gi8GKshp)G=u@#xq*226J< zVOLIK?7nXFsp-SkOW`P__DtZU6T_Sm*22!h>ojKYDBON`5X!q8F;>0-%^WDlg#LiY)4hxCU=kISSFeaN*bSXg*1Z! zw2eALv~NzJLct8(?R159YOTR^y^|P*TT#HaQ16U5B0}Pzbkbeer@Rc>JAZS2rDEor z^sGR-@*xqWVJNiaBpP-u1mmZ5@NPI>TCNt1onP!xXx;@u;(-ow=8`TX9JoWGSALtE8(qgjDos4{eEsKJ95T6D*Yby$8+0rw=Uz`ULtFc7~G-cOr{v1Tc#=lz&| z@lXKg4LhNhy27zdT99y0l*{v)j` z4~2URi=ZWU7i`E^B=*Ag7T=&b%R@=By%j;e(Wx-kdnlQK1Ebhdk1;WO$Xg^ab(Q4ue7!*lRkZ-3T@6t z(DAI0vZc;MFprYJ%zTbLT0(yvoJeoYAI^VCdqX@=Trz*0r-siE7r~f13w!` zdm%$^go|OFt|KkJEeQ`J+=$v*Z~Unrge}Hb$>7h6VDfe@gv5QMZ-4B;tUoVlnO^}p zd_WZv-IGa2Z4GB8R!%?d4yE#P=Loan7wKwUMx&CTV16F@qLe=%1(571-wPJ$JTeT;Fo2feVtRLk5#>%4goy*iu@vH!@Fr=}@ zk&Jc)+MFVa&xO3TYHmpHCL!%?P%;jtx3a7r64@d6l&B( z$mo%i@#}{xGtXD`=k|A5|eiz0UU*3cK9%h=ELN7psmam~aY#=v_n+)~s9 zpJq?OTfd{lE-dz=JpH^}98mlvSt3-%WM)6)taS|Ou~aeAl5&C^ot!}=yIye)~?8ZA$_Z$EaT#zq@lH)}Sj%R2!4 z+CA{Di6b{=aMU5j2eYpD;nV64+WWUufJ5Yn(D-Jr0aiz^iiFoTA4RxRI9tHg-o~t?O~-c=ddAxuu9EGPB4) zXbxFha&LI;UX90^Wa%dRb@1)hdT>uL7o@kTVUDvbmY9UnwLU-$ZB?POvXZDQ@}Ndm z->I|y0qQqpB$*HzMdo}>;e=bSk&)yiIjuN}#wt`(y>qMRgpC?xPUcPGu6CYW7CtGk zzC1w3E|o#=zIMhTXen^B#)8DyESg*qjA2Y5mhQboE6)8U9UhAyB=H5&-Vwx2Q*EXP zo-f12gVES7a~iu8opF)r92``hH5^~o!DBXk)Ff&+59j_o>gjlrGu+@p7MAFPWr;1s zHpzlbQ#ey(HWEF4oxs2ud(jC+ISVCo5OVrMx-Ui09aGNHl?flo%||Q2eT^f@8zGM- z7G|g*8B3Yg3&dxi6g(?DN5UPmxBMIV?{GSmdKxEqRZV|iGR4N5Ca9uziB7+IisV074)dq1 z0OqR{dAM2_BTM3F>XvHKZ*_;HTz^kh)~!M{U0YgD{t!D;edttpNe-2t62!fJN!NHj zrqhHSx%(9x$g9*6VqkxV>~=e5u6Zq=-kKT0{H(b}%>;>5=~OJ^u;>KQQSc(S##b>{YM;}92lIG*IEjE2sw5kz`-H#I9*hCN!hsgU_866~P~b&Xmu9LXm25~FG6 zkRl$AvclV2&G1)zJGIq(%YAaxBgHpGU?9p4274VLai0;C*nTDB{4z=O2@NvBOOwjR zy`=WvQ)!xy0WtZZ3eHLEL3)!nls6c{yqNLag-A2>jx)jCyDtk~D@wrYvxkV+VxGS4 z%%KCvn+c9v2ch?Ql9!W1)8)tG-Gc-4b#5cK{b>y8)m3rnANuQ5_WxDmOiliHzJ#QZ8O6wS5Q4yQIxDTt^5~g_AjB4OuYr zmV+Nh6`60E@93DI`RHF_hQiJt=r^^ug16_8R5^`>T8sM652rJY_EG8m^XR3b$)v!nm-KIb&Ed^>vR3*mG5>y-kvF_) z7T2D|rIrz@vN6Q0b$cB#x>!jTo*G9Dd`2SISVr3qRx@ju5wLlr-tak#;d6Wke=}a2 zv}wo|o)(H0(4)Tx%q&B$lS8kBU{vBP*k%z3#v4*W>SZ)YPhJJ<*G`28vjAEX7s3t& z4M@(>89v6P3O*S-$*9)FwCVT#;r)o))a&tBy1D>}yRr%9ONilH+3Ey`#r}KcR;Pfy?{7 zf@JKeA`XjxljIu*7`yw!IpqnL=-zW@xO-z>GgF#2k;5rti0~^-I_3|hFXWfgvj-0n zNwKe_@AV!MQ-6{cd8(q?y+K+k$x`*?<;>>lEHc|~EF|9iO(LCA8JQJv^y+Z_#+Ics zFfiT)R~kFu{U5KWUM0^JguddMgB9qx2t&qgVlK1j_8eMYR8DOeNH%W|J4>|9%l9W42 za%z{i&`*;@@aXets4n$^W)wSe&j?HGb)v|;NS>(JHj-8sJ#xA!l+Lr4Kz70u^s;xx zuX=vidDsD8XimV$UkXT1yr<(brRmD-i9}L-3K_~@WWFa_jWQX7bV{`|cInyTl+Ot? zP-g|PxYNJib}$gRicxrPUCXvgjc)HF_?R%>r$o?CIGHhwyMAE5za4Hm?wvz2@9JDz?E z*g)q6rBNGqDcYNpPbN(^26+`LP>a|Dr5-8ZS(gtvu4xb+Fubqt90p(D5Lla9fJXjs zE=%`)!p#XQyEwOi8Z8Q>R!78%?ZclWXN4)Oeo0_;XFXB8oX!=!r}U<75|z|TWo&bk zNNHz~`JDy-!!B7x2W!VjJFm$VEP{#3`=mJ9Kn z7lXfteFKLZ(%80H20zY`#pW$iy43$kT!}64@BRh}68`^q%gf;-UBHl$D=pgIghe zte{IP=J+gs99kqDq;&xe%;eqS zq+}8W zY`-q?425{wbU2i<%f?Zi)7s(}IswGPriYk4tP$oRk)kc~IkaI-JAIp5L)*8NaTlFJ z$;2<;nW0*Q1mz3&P2>gfcw1St^H;>tuO`vA%l0$#>xL4)WdakLcAn(Od(q*dskq85 zly-Cv2Y*R3xOh#PsI_F$Lt4*hXu&HwanvDt%^{RXimYLzu^q&Rmk`B8PIT+^7GaMO zMf0Si=*|tp(R=F%4=qn4Ix~GqQTS={3G`v`stdd9%!|r7Li)eu#SZW zDJ@bXtia8ZBe{ovyh)qUATz{ONwn^Yxsd(yCth)j7$Yxb@!i8WsL}IrsAqGCj)_kq zgE>#gi1sBU=-2(KIos^%=-_2zQ_%WH-h+t%`l;QEci8--H2F*Bor&a9GH0OLkBwNnRUUPe zzKDyo-x51@H@LcK5s1R}GVL=a;Kav2XnN~1;wC8piIp44p^YA#e*Z`Do6*)xoZEN|{QftsuAB}sdRv)5p;T@Ag~(nylUTHr8Vf*AfMiCDKBUFJEWRMdN_xz&K%y)Kw!o_kNu zyw!#$nlj+p6fN%AJqqvN(8Eug(u8~{T+H!jihJr9#n><+ z8`3Y%VoK@#_FyWz%bE*#k;(i^^(5T<56p0;hVK7tjCRIHX;x=B$vGwq3Qr~zTbDYz zGG-p`+;4+1A*s|eU!AzEDAZX>rnLHCu$iO&8L90d3G5`%l!MLl13 z(X{~v=xb_#r*G&HZ7UHt4qHR~{DTU_^H zycXP{Q}YF`VM_)*ue6zDj=oDS-Ek+w7g8?yzXWQp1`Rtcfs`+J!;w?C5YDPl4x^kToMy5puO zfd_dy2}ar)!LGnjR8o5!T9%DL>zUH%eJh&Y8#97T{ZK%X8jq4)fpbX2*8=9`!g;hf z@EMJC$)gg=SY;8KKq{YhkVV`FV()mH#7%Z53Vze+mfLn%{zd36x5Q$(qBW|{O{Lav zL&%$&0LXUCfUe&oA#}BrkRuMo6GyF4V&c=AkLx91e^MvWF{ltr$o-`oY{w&8e2O}z zI*^aMACv!r?8(WPSgP}AfF5s3=E}cY+8&C3P143DGP6^4sDf%NbIlY;sh=v5;2w+W zO5Ny;8}B&(g+rnC;Bshk(IxI5CSqE&G6o8D*Us@fKzY*#;+wCIozDaD`}PXz1N94cLcWI;AReavliXjvH(0NA>bATnVZl6793SNM; z>7VJwt{}|!+lFJ`&82$|NW))iX;AWhEIuDuN=?k{X{3r!$M>s(lKT_#BE*m;_>@rh z2rHPQu$?K-{YkAdWVn|T7mL3=Xk{6Si+i<(yN*D=mx39QT0A{5XUvS1#fF=~r=cMX4my-Yf{^*T&L`$^skqdNWiPb&<}Om#A0W6zsU2PAzt= zCu>dal5qLmqI zTLS0qy?|0*4q)_n2fA(DZt{6w9ci?BOtve@k)B!S=!Z`VIO&u!uDma>r{;4oc>g0R z(fWz;G?9X9E6e~lT0^Lx0k}mSB+p+D#SzM9F{2kXDTp6Y=huFtU9eiPm9PK7L$(7a1@%QA?&#sO|+jt~8k ze~cOyJ>`mLtRO}c6j32(wr!@g97HQSlfq$Yl-u@MY!{^9pXJ6$J&O|!FoyfkZA>*hn-^3X%@<;tc>cZHtO3DUjh zAIUmo0$cmu5tA4#>a&5M>Ek0PQ5J^7Z=XcB8z*s8)kFH&Ap{zte?po@A#^1HSE3b( zelxQ%S5IQw_9N>V$_eF(!`i z@NO?Ddg(*snJK9AYXg4t^hJMnH}qb<42_1b!oUz!^e$V;O>gJPjK#W8yTuJs?;Qmn zZ=nu0mPSMOCR~2D3H3`%QNA*U^!jdsHvD@_6b^k@jSU(BINjo)-%~t7UH)7MfAFt zLAHkcBJT4C#Q%1jp-qw2oM^zESSjf+Cj%w1^+ptG)#TuUj|+xdp>39+xig*UM#8<&>ydE@#6;hQ)*KkwN zHw+5ciene~z_GKBV3pMi60Uv{ze}CRfu{M?&X)ztk(Q8ErOL#74X2#<#i~4#MFPxt zqIO)4G<%0q(+!@qeTv{q8C_3oBgSHto3y}og_B$7<>6KBF_Jb)h6c29bZxvjjg6Kg z{hyvO4Syra9mA2(ktD?>C@sZ*&#b7~n;npSRuazb(?>_0M%wPQ44$PPhN5FLIO|=i zxH+*(5Bg`UZriN)u6HA+EX7i2GG8(Wvwc2>E>r9)5a4 zlGn?soc;z2SfbBjofspqa$rPKL8OX)9_a%xq*iA=BZ zgzy(Uxgs*e)}%2w?UE6x+$TZW{wm-CxxSW z+6A$m<~5LC^8}porjWunRVco39yM2Hk`UjMp!n`5dE9xPc0`rXEcyM6W=0y3c$ZVv zad|ZM)G1+Bb*HGbaWi=x6G0yy(8FQQ=Cmqw3A{hx0^6mEXvvouIA`7luGhYa#7xX0 zvfGx5L`g?!v{ycLmba(x)K!UR&L|KacuM>}|D_$uOVHweE=d%4kArQ=#AkvTnm6=v zGg_uWpLe6^srxkyT=)@dOaf3R|1eSOj0Bu~7P3?i!PfFwu;$EI=<6*cJKrVQmXG_u z-TL{63p7d*_coj)r^Zf$ug}9k^fMDaXUqnv`A&Ea<@kSt_wmJ)^JHqsZ7|Z_1_nvZ z^sK=WEL_+?kF7b+1RN+Pr|#_}+~5UH^VUxB{Ma<&^k)`%zVie<_%esSJLN(mlE0BH zNs2U~W*oMf9D{uqy6DAop}6Db8nRF)4s30%la2+JI7fF1>f32>0fyn^`lroAF?k2+ z-+W4}ByE8|M7DTKwtzeh*#_nIJGjV*&Ddx$g^I?_19ii<4bMbo;=tQdlnUffRhXywL=4g?D_7uq?*x3Rx)Muxp|`1A zK`N?qVfxAexYU{tljgb8+}Z3CJ$@ zCAO}9^mDvE9eA>ad^kOuq+V+0Mw?hOKWY?&d-oYRcp;TuKlhAozm|^P!+6o?lv1!A zMPN{!VE?i)IO(}5WZjz!df#>E-UdlrSrkT($Q`3@LoB#}`TB4`*z-h|IN^NhWmqTH z1h2b3pi_E@&RH@Ko4vo0PfQt96d40;{tx5cwBtPUJhZ)Wj9x#u9sY3wFFH+y?MVLs ztApta`|U7aMCSFdiG2+to}5Fb^E{o9XAz= zbSL3IWmn>SR1%i#c_@mH%%MurL7eWibaHINIYvTYA8h`$(#TmCnas~O7^`XLsebx( zs=n{J==Z79#5m>{MO#kt%qQlY#|K(e#2ebw;Bgc zdG6MVezJ&tMOfG0B-Kuvu=i|mLgaTkFDDun@)y9t{03cwf!HS-Lc;YN!N@RQn4!m` z+S-?tY&Zxbn)@Nu?gO}AvxgBk)$v@d7!w@oagTHW4m0zi+{q*+Yq$erV%N`!#?d0 z957og#i=*Vo$9k&Jri2k4AE|y;G%;Tr47xQ& z zx_S*KQ)*+#>~R)YJo6LQs>$)3XNIuHh~bRF6`=OMEBGBc1w-b{f-7U1=%w*H&`bbD z7W-sWy|Otj%FWlISG{jBwLN1&W1&6y*lB}1(sxqF7lClb@+ZmIWQBp=8)$pqa`65) z1~w3BroPL78BwRhj0!7f?u6;WTW1AWGU$%q_HV+1(hztUQwr(p7vgczef-Zfhgdw# z1M8yU#7S~Get$g#o0sjUl6#S8md=MyS+%rW$es*sv&P}eQ=sPI2v9VnSodEhKJ0x$ zeCsqBqpv*fOU}n7y}L>9?K~K4=!V~`)Y;53V1?itD|g$O{jq8qd+_T}R=<%#eX-zo z$gd~kXY9d=_0RERiV@b!F9z*qL+E0^Q+7Rrfj<{8xBEKD+Wua8bXSDnQWMtrvpjru zRwskv^O(UWag@(n9YtM2>!GGj&SpvB%c*LqJ z*5l2R8)WYGHXzq-65HwT(E0pnbjz9sP0Sf)OIZ&NmA!!3i?)DL^F=VKc*nJ`twR4| z4c<0nA>W*{mme3kmmhJ+oHv-9fP?;-Oq6yA*xq~q?a3A(3b>0|&nEFI0fpESH3ICb zrh&S;h0q5&j)!W0kin?4;6L^v)fth9Yf%I@GG9ToQ#!RDsKE#>j~rZvAa_TV`ln@J z|Lki_dzT+Xrq1QYsshgcPm<;a7L!{i)6k_dm41D96Sf~}W<)~<(Z$n-_P>&2cXn41 z*XeE8HR&)tpIQXnY2Qgfs|J3xkj0is6^x@}Dzv6l!q*F5sC4U3EWI8<<(sO;D2((27q_kG^L{7VwaAmV zcN3xX$}VUy_Q%v4`S@^84wU?-BV-n*i^<&~yy2S|>=={C&1;IoLxHk{yxGj%dSK@dF)% zz(;wuY}!!K2pX8IC@8ylm%=kx} zbkO_Y0JM0hvF1BQpz<15zUj;m{#oWnkZc*ku6dM=D;8AXqxtXQ$JD3nG*a5eNmd2{-G6vhg~ExTWp}X`j~0Yi4COlBK8+vy z-#Hv1WMJlgcmfw(8?ZDX60`sQgm*?PL`fU)Z%b9tdfF`Z%X14Rah*B8C(8%6>@#B9 z{$=5$yG=O$Wi6zrJHvASVthaC8{O119UfFJV|ruN(e?Ok_~Dd9-Zu4N^43M`_5&4!b#J&cRphoc%Qsrbhwz+pV3pEJe%N$*hS%TbtlK#M)^dk2>`&FAB; zjA4JppJ6-09@7nRzI=6!1ksyd#b({EB_Cpqv0k?W#6u<7><3p-XI~6|J3Efwcu|_y zcu)kDd-#CVaJ-ad%7W=n_-{@YR;UrY|7Segs$LDAR-<^YvUMmk zR);;j^A=sJX~CDQ5W_en753E$O}=Q-HSBAe%+}`$?&KClKJM&c(tV^9zIsUG^|PB$ zZcP|Dq}xW`jHne=KFo#X$|i!#*%!Ob3gD@0FInAMg?`Lby2#!KmK-kQ_NuJKYQvvG zt+N7(^YuY*>^FQp#|nMQm$BN*hd}F(2;Qh9nCsb+$lexuhfC_B`4q_#@@r=>dq{aP zNQi!52YZXA_{#w2VTF~qwj;+(-nj&U0Y7EI@2zJo(97! zOZDQ1kcn)HwhDXm-&Ztw=7b@OEZIKWqjYoW9KL_iL$GTb%f3Br!jCfz#WXd0c4ce{ zt@Y98=Uh1tZ!Xru4!3*w>W4c^Y^N1ii@YdrYz zQ;gwF)?d*4tHrb9N8x$(*{oOdb(}I%#9Lo`2@)qlVETbEe0)M1_vplJ=yRBeKa(~K zp4QROXYNZzZ|tXWW%I;Ff}?Y)+Cj*+y+XU68uY7G@Gmc7 zlqTnKj}9zE_uH||&CG5He{YUc8me)}rRnT1k2>N!C54v|fW=wI^H~WeAKt+#n9mqN z+1~g~?AeF0ymNvExq9gpi@$T&R0k{8sbv$pTCtckFRSFQe`w{)H6w9eR}Raa{mABZ z?PCM~{>CXfU+I|WYpj>9C0lTK7B4R!3=0}q7B1`X30H5T#fpjS zq5>Ac44oMAwX2#M!(%dfM+}+dFGtk_P7|eH6G^0IE^%B`#vF+W!#%expnTOG_&A`* z7go9Av1AX{uDAv@w}tYxpLVitkwe*@L&!7ok<3Kn8aC>W1fR0u7;g+=tg1vA+c$A2 zn|ITjEvQkj%h<8TZt2emyCm;OyB~)|cD7~-?3+0SY~SrkcE2B=U}KD9d94%S@VP0M z{g|l48^@2}zZ9%vOW)?wVFSv%r0~9v+7(NJPU!J9W$BP(S^@5FO40txETUe!9;Swe z3R&%abm3(2OPch|KSXr2rgHrcuF_>nWn7kx zq9}EL7O`9Pm^*QOBA)O1N+d4t7daT;zyL!}c=Ih5&UP8`L4FQgi~_?xsM6!*wDfqR zw;pVN>2?g1JH=o8V$Mn@o3Q6+NANA@R$=q}RqXi#Z?O0BbKW`rJ^%ewFOsZVY;nyX z8{Hypx6w+`ZmxU;KX>x3>X^l|`F_uMw*GZKpLo}Ye;t*>ws{rPxYGT+G5H69MZQGB z)PZ-d_Jj`i-Egk#A*zQdf&#UNS+5JQ&gvCc`S}m|+-Z*9eUY5IB#=A>E%ZG4A6<7@ zh(Ai|-86RfB^iPLIQ@=a-0GVzn6yDL6GUfSb%oCzxmAZ)hO>ji&Y;fRQ`L8l zmh^kDs`&yv9y}kr zq`J9ghkR1-M;(kerqMc!i=x1~)3EqU5N(b!!d%q>aA`CE_k>q?JG&U3)VzU$;RD#X zDvEf84T9&LKd82)i2E|zlMUjP@Z5?k=;1J&9lE%TR@G|qOZv_+#rLj)zQhLBLuVvA zaBB|#!z+O;G(2J_DxYsB8L-~&;_L#uO*xO)?{>1)m5C==lfQa)>Vd)hrSesLsa_^~ zee7}kWbMXlIhwL%TTek#Qwiq$$pKQh8YBW`1=dnWa5cVQ)Wa9j*2ZZd!OK#mVFffc zE|pkhexni@vfNj>`7mtiM6_A0gB!kj!t1;5Ir&rDu#wRf@u$V2y;-$81%M&0&PO9#7XHpE)vB+yWb!bhd;oa1T&KUOoO#~9gedKEwO#C3|rdS zNGCP=Qk63KncnnK=n&9KGHm3VY3l^FcL6#^V^i+HBhbD6=5kQ8JUzjRM1Yq+xwBy<1pr*6mcoyoE6 zK|eQenBdD_?Vkpb6BXF0N$b&jSG?fk{!F^YeBmsnwvgcaJ#<0ZLOeSEC^-2oW=1Fm z;-_!dATWI`JhixmUe7{E%Ap8oN;!_Qqy2;)`*E_ds(I+6aW!$LpvBevM@;Qe3D z;6F6~MTy`gqIF<dC*_NPWrR-!_Hw<32mEhn0X;8^4SX($wP>e!YO62~H54F$K#{ z-DQ|ZgnZI7hxAAP$oB&$&`aYn^LSk$JhBPJf(`13ef_ZWXgpQdzJs0nE`jAWA&++d zp3tY?Ek5~xKzQ&jtkP_yFQtNU#cOl=tE&d)jXz0;PrQNa6R(4DYC7D`mg7Tn1h+UN z#a7oIMP+@8vhzE^aOr0FF7!(?N8KlWFErarjnKdGpcoXE;ino4H9{la9VXe ze#mL$nuO2m1S>ITh%P9vSizbVWwDbqbJ%~+FS0gqMeLSPZ=p+ciA!16k7{kFA#_$Y ztE1w`j;dAV_sZJwb&Kb~ja6SEXJZL7e!U^uD+JTnt%e}=dpp?3uEd9nmf+djFW`@= z5Yu;FN$3p4v6?c}aa}x79$d~?U$g-FFzA*JpSazK4@sK`m%h(uCpj!-{I_l8zpj+#Zyn5mM-jQuFrK3` z{+vLkhA3PjZ%n$*Tm#>=7wDY@l6?4ye$r_F2zEr&sYh`1FzqNQ8UlbRFp(7v*VaataS`74Hy^iB=-V4@6r-D@`9x~IVN`%`Ie zpDvrC62v~vjc3?2t}70VXXg3HppfH`}9FB8EVpj zmmVAA0|Q&IKxL5mJQYk2y(DIRB{+~7g>=Uc=)YA4$6DWGQsOjRpEs24NU3LXmE`y{ zL0#l+cqc6QqJx{%gV1lNEBJg;2F+4U)VwN7=l2_cj^$ps41VZeupf)8Q-m2?JE@O& ziuucq)9v@`pzYmmuChH3Z~Zz!ly66a%g{l(<=1H}P|F}jSz&PMRVLk(zZZYq9|7^M zcR<_h4oP?2f=fm%7R`96z$$oJu?v0_Lh+MhxZ}42-{WwI*Z;PPmwTzo2P=KUwktpI zTjg;67^lGd3v7&*ejb!>(}s^4-*H3NUo`u*1d;<3*d?>f!R+x7D)FtNimP)#_3+)e zNI4x$r`&_?^c2k2DaBVx2tD?(F!k;`{HPRyZt}%&DZh$bZA-^~>ET>%>0yx2&}S-R zWsuQZNgh9+2F!?f2)DQ+-u3D{PEX%J!blR__Y|19&*#xu#|+LCMuBJRQta`Hz>QI^ z@ZZ=|Fg|EG?%i63R>O0M_reI6J7k2wbhl!gFn{o7YQO45g-j_FaHG&T@hTo>WRflk^Ty`8k%jf0)8-qdmH2{fvnKmsT0 zv&BK0Z0ApTdUNeLq1O^kvkusb0@qVIb;w8+zFT9APqXTyc&uErLJt!m`$30hy z@#M!qn7+;z=1qt~nB<49>#V@7c>$#8QF@`s2sdlXk2MwSncZ!qc6_EjhCG< z>+D)+OIZ#%%r-nHG*3@d`9VqcGT7UE91Ts5;?W~}A!~OSR7uXq>WQ0hZfQK239gxf z4uK=gx`xqb=b-u4X6WfQWgE9ULScyve^tenpDte~xEH^XUCo1_VQJ0E$GNZ)u$o<* zXUdWi33lF1!QI#F4`Tff!Z|fb;B&bL{*p}c)nNdK3Fm{zq}an^QU%;dVfN^>fE3NRfMX+?${)M979 zn!r-o$&l@J38(aE@=uJc_)$0K^EYZ2@E=Po_?G=+c-_~s{HfR9@q%SAI>w z@aW6l!p7BEsRy};bI|mQ`G9|^EpFqW84^YxMft&qmkXdt-(bj(q zrSlpfXBJdyYe3qEx!6*kgb&q@k>7_eLe<{~GxUtG|=#!cM(dJTAtl7Y*9$H`H<3Fu?~kB;kB1*>{fC|UQ2 zYF?U;2?DupBC`+vEv_UdYZjuR!)APb>*jVFOszEP{0er8t~}Ua;y?%GWk{efi=z}@(!^yXjg)5 z(5GoP%U>Cy+DlCgG=D=fosYsek7WesZN`HE(@}TG5ZH6l2V6YwaB+isv3uf9YNWdq ztn4^a6s$`8EhXS%?-1ttt>KvXWdoIR>mst}s)%z*67}OJVb zIbASYOl$W9Q2A4~Oz4jBaGVCgq%khQsYrm|mJ`Her!iU5s>Qrn9LBXa-{zz)QE_OY zBRSIEDR@1k?nvTO#51lHA++_+Icns%oHHMxPaGSaNSDy*Y8`ceetc?zNwel+UaAT{ z)X${fuO@K`ZWd(giytI=-aKd;u?@~>EPxRn<3RiO0NE;go^)Krs-ou!^gqJ{YPep4 z8hugX)aF@Gxi~YNIx!dHUnL@EJ(gMeBNamS?uM_ogXxG&6`Z;{UNpGig~+ykfR^TO zqZjs#2IVwExbXEKC(4?GMzi12rO^$fq_&q=R~LoR{kcX6(Qp@r)>zauQKuBl(MDLrV~m z`k_L9--x6aeiJTO&6TM66cE%qLyU%RCkx!=NY*STk-g_5?$dNH8ouEJU68p9RWsu- zd~qsvjY>kV*GbsEDh9QduEJrfV}dUIBYrZeWORN5%^q(g_@;hyD>Str zN30D6!n%qu4fXY;Xm(yR@xC;htmzz20s~XT1G6X7@{;%5Wdlh@!u%LB&=A9PPX5Pq z)y-jsMPA{W)!apIPS!JKQw8hXEf|!EPM_4zL`J^ew&=4a4DK}`BPU*` zl|EVm>nTTQ%{eao*%9vR<{TzR?~RxXAru}&a@Ufw7z=%|NG5R;6X|n^Oh2-b*u_8K zN^f4EIx$AHG{%{{DQh6pmq(I^2bXh-5;y3!2hZtgG0^0sLQ(bo``mx?a|P}ujlNB= zq;==*so7IEYIX7*cTPi}9-P=u)t}g)!nAp~ccn9qOG5MKi48QI-r9Z&PemNp5$y!z2_`vC37L=^GV{=o1`lE z6#4R-igrepP=lbSbfcFs(fVQw%dTA~KMQK;m*zCOus~bfx3YnW%vxbP>Vv8{TSJBT z+|?qsN~^_FdMwjP+!W-8c%j!e?sp69wYDynKa{f6TQ1rf?l5& zK_;g6lg{c4GJmrv_swQ3olJ7L7P&Ugd;4FmD}0nlwO;6l1c<2I9HCxGRzb7e5m?2p(*dPivCGGJa^iG9Q9^03>dPg3N+c5_^M*T|B1?~TyOVKkOTeCUf%>0a;sr_m z82@M^dhm0&VSAsEDtULJdpv|0czu-ISQSQkN7r(LUvE%r{Y0waaJx$POcMDPTt?QN zJZ{^i@|r#gZK7dK)=YHSP0n5IjHoTLLnQg(4>vE$k8blAMq7TZWooY!Fgj^ln6-y` znSslrm^sbcX&Opd3uigESc=<^K^Z7bc%n)I|(3q4nW3bMHC& zd8!~>Le9OzA4M~hQmJqTC3RL2)AY~2^rkA$b(}dYwp@K$JS^xHcj(w^+B-Ul zezAQXkatmG>E{G|82-GZ?}pJ=USh;SRL=vo@C@eTW2Z zl>ptXo$N(J}*wZLAz z$yCksA+db>jabf8C#wfk7^i2OiHnT^3Cf73ouh`J?YS%(RXCe@U64gy1t*iuzYlYU z>E~$PS;6P={1|z>SdDC+zL36I6+u(feYxR%!X#lb^lWjQkoeVsPvN<9zu9-Tv$X?RcNSY<5DD zuaQnv%e=_ctx?1(`2h21PYK;V*i5JMqo_e%DCco#A?>jg(Z5+LT(aII?)lq2G+Eq0 zZytF^-OXgsz)=Iw8&c2PD~~;WzukB&UBKowV3|h{($P8?B!%)GR4!a9&+CK&dhS_THhoQsY{LVl!>)=tMP}0_TdYMhpBNLFXKhS)inK^>%NDV> z#uf3LdvesnQAFcjC5kkkZy>7`Gns@5OX!eQVf16#0cyM?hu&$np+;j}NPB7_(TWde zUhQ<_%n~Y?tj3L^`kZ3A^^6pnZ8=9{=BrYvE@kQ-`J0otF3T}@B1GOvHB4Gi97!Ab zm5e3ou&93+R9s(7c4Y)pyIdhZn^Q&E*kN?r@h!wHO&MkjUX;uaA|hO(M$6?U&-|!`J{cK zJ~hg2qvo@6iN1{`r~h;@J*<9JT;w22N~EP3rSgrO!q6kkg7PjVcYhX_YcZ2%Zhay; zxYv#B+-FV3pBY60Ck-Qe9=mWI<)`Sh>QH*A;RF}=b*0GCFqrY}^(I9HPf2Qg9~tqy zll+i-OWwTdA$1czkid*C@+A8?xmJCX%s+LKY%h}_C!-|j4TB7NWb*@hUto4yn;U76 zw{ULwtKTGjnlPSB~bQy4$vE3`HT=w+L$v~q3^V|6T(x#H(4H zC2qc_h||^t=37fBXCc?f8H!W|*J=P={U?R~k&UNoAIDMY?HB0B-Bq-G=WRMvzLPeu z8;W1nDWbLWLnkNCJb@p(!x(QuW6b%$5 z{*~nAC1fPj|DFBM@9#fJBIUno{%83gf`EUZU;X#7 z{om66t`#`8JdYEaUcl)~;wkvqca-SPV{4;+vezYsus>-qYZ^dG*QJ`L93;`dmqwM++a<4pyFV`x82{=OTq(Uay{g(eTCK}Jza=fW+DmyV- z1N#5)g$>~oAZML4_v7Rka;lA|#)=H8zFbVr3CBn-CW9P`x6%ZYjl?S^l5B4(3GZzn z+lEo3Fli-9e=cFJbtAz$R2sTwjbQ#utGQpM?>OcDjohdc+H99^4tHT^5iVS3NM9#z zM!~l>)>>f?2K#QY~ZrIK$whm*(m-KM&qj9K{`T(c+v}0v_KI@b+ z1L1{BEc%GI;H+;QPFAbLaYsgB$Fg30VxdNNxqVFb>SlN~yN9ubM)ci}$A!n2K~Ule z*kZMriI#CR{o6RQ3FT1ZvLO@Y$MYGN{b_XnR*Fn(r$g;|^lZ%#ni_P9{}lX!y=&VD z7k}hJMrS4{RF#3{)-I4a@c~wpbijesqu?}WCd|H7!(#0=V%+9ow2gXE`OF!Sj(4xX zvDX}beUrqO=k~JY_14g^TpElXH1WDi^~l7^h?1`FSSeiIsee;UC_|^#ZZ86kvmzd)pS2`9xgYtieu&oO|b5nkuq}Jm5RMas8`PqBGxo#nxcz(MfY}`C_ zcR9d{=H)>~hm_EG%}>zzmJ0`?`$JOkQSL+bGQ6j85T&cG;@o;$$_U#{qtEl?HjU_6 z%r5$KRi572=W~ABKQZO?o$QTKykPFeT3r683s3L)j007y=+0API#7R)znLZlC9Czp z&!mxCzUKf&KTbs5#VUAw(yqn}mM-jRq7*w7JrE&f2c9p~!Qfsi_VuM94Xsw8^+G$g z13chz!daI6b^xg+Ehi}x9)BBNWD<+*z##K6lRNFstUTp$$>cS3JT-`>Jk$nv77rVY zBKUBf5$xoYYw%8|6s887QQ>4UwFha@rnMccW588bq2&hm$@}MQG#OR` zi6#yZmA961t+!L%^KUHDa5{ABeZ@ds9eRB^jCq^s3L*x5;9q{8&Kma@qvcCouqf!^ zkM|ozpDfPfo41PsRhgS34rTdU}BpV-3y-MHg z8riy_wb1NgK}!3q$#J0$JO0Cqt9kd0f01EEcQwnnE8caWIph)ck1VCbvS*>^A_KRN z@9B17KinLW4S(AL@U-M~n$okF0)5qCg8DBQ8h(r}c-o0Ku9Xr#3z{I*_@f{m^UY8^ z@8TSg8=(e&Yiwbd91}|4I1Hy3n2VR4))MzB7|@g(A#{7~KJw6xqmI)BWUr8eU$3bP zl`l^b);uX2>OuUGX0RTgT%u<6^ml4rWGZ`nD{e*adg z`0xQT-8TUP8?j-271Z{#6*gZ{6pxSlfCG%4L!#=4=!P9V9I#K+nR$lDpdr)|w-!s7}<1VqNqY6$W z?i0Rq4HjofT_f+Lal*A18nLQFf_&uCSk<_*`0@35&?t`=eUxn`pCjE+W4juLf2^f< z-<=??JQ!9~e#Ed7lJH~JZT2DKI-e36#qOA&=kH67Vkae@vW`!;@szm*9v1K6?k$bL z=aW0Qk@Ih(;|qDR*1yim{QPNWlM~tJ9tXeY%V@~nJCxE`1)J4^8nr{ul1otvbGcB0 ztDGM*LF6e`K4iFf?sE}n2hJ7dK1~welgpwzr>+Yx&{K)8S#^XINx5j@Q#3!|(OFPT~>8 z?C#aa;4prOcw$T$jW*U1me|Bn+VoCZYY`6BmT!5JCe~tZSoWJwGr= zdI=uQRixCmh*a#(!?ly&_*5-Bs;t+AO!)vT-!TlAYbZi+`4rMWr;dC38w($QDT7t} zACtcNdAhUy5S%;o3x=$GjYrx|#JzNbek(_@sSQ@Jw{I_QY*B|nfzA-zstc~`Zoq?M zUGOtCmR8+W7N6r)XiwjM&px*uT^?!)tHR%atw=#Uu&ahr%r%9luP4L6M|Je_#74Zg zD-K+bI79gP8-m3BL1ZC+fZd)^2kKrUi7(qp=Q0xEvSlz!Ydc6W9#MQyhd%6taxSA< z9jkw<;hrlt5ac}yq9gUmR(3H4cN~Tdao5?N?me`$cekiJ>j?bP)#mp|Z>M$Q6830x zHC+CBmgSUN(34VsJmcBMmd7fxj#NY1v?-1B_vcV)#&)V0=Sp9H%F~6(@}%CJhIKE~ zneI(9)|xwwZaQbs-7mLr!!#%MXGMQ*jIS|iI6tHS8CCK7U{~_EF&p+gy3RsH>a%e8$eI|Ueo~B*-iW#mgY>#dQOQ|-&D;IWPes>15YIbKC?F-nT-a&kdW(B|0>ksP? zHL*eT5ld?KNj?Z?2j}5KaREIYs7kYwKC^e>>8$3SDOJ4QK)UJ1v~lMm z47h5 zv+e~yW{xITd&-dQf2aaUC!5(kmpiyRXe%|n*W^UmOtv`R5yYzgXx&Baya0|jG>zq9L4^x(U-7tg6b z!CbR4E^3Sg`1zHyJt2glt&Ce!&Kf9m*YWslb!tPGW&e z9KZD3820CA3A@}X4@qCffMdK9{F*ZeGQ-}oJ*uDB%claE=oSEmyp6ve+wHM{U8z67+08k{t9&cw4|#79SS}yM{p^V278(bzRMRGQ#UP30 zf40TFW1BHteuu~{?*SX3e~A5_HiuVV^o_Ia7y^e5n88@vBZ3Q6$=Ecsg$vYaW~XO8 z;^N(I;z+ck6}R2VugsPD)ftd`^F!3XbRD-mx5vjPgV?|ex~vEH;n0UpX!GqV`?C2S z>vhn;!UiS0?H~*1b{oK|pSyV9x3}<~+b7=kPBu5KHVkvGN>fK|5Skn3vL&%wSX+Py z-_{H!IqNLG!|WcT`AKZ6NfvMP-T?i7jA9eJs@Tjb{M!aMy6+S`8MTc?Yvi+MOPBCJG@c^HUB(dIC%nel9KI{M z03+LbP(A-X#@gvn{f;Sg%Ar4Hf6&JTZnyZ>PQt}b*YWJfoz4Rzf3wF{6QEf%5iI_y z!t9*E%qfHCdxq9?8-LWWRTg{L$`P+b`vNy&zC-pNEWf3ly|zu2c$OPS@{ zhuo{Rms#oZ(Ga>&9V{E?uwybCxfdnpx&7J6T!yp`_B(q8%QgD=Lh%jnK$0xW_pKmS zF%WZ~#bNLHdxC=la@prwSxlfV!wvIe`0@G;-nVW9yR4PMDi5eLJMS#+ibW?EcVh-H;0-n@ zz71Qp$It__06N#uh_WfO`Q&ql(cUeAt}>(!c9}|~Pg0i85Sq8biv1mL1&(2f@ONVa zoIBeEx0T+2jn)^)Ew~HntJC4VmK=obmc#)zBWTl>5#&2)DLVX06HWW^ijO~}&EIR( zVvq8rn49-7wp6*31xNp8Wdqx}PiwBBweA3#yu28n1rB2Ot=F(gjt}|$U1eCWR*EKe z9LoQxFi&4{L(w-Z#o#%T$ZtK<0Db^#XP>{ z#%B2IBP;A4t0sK3=PiJs6ujR}hx)4DOfGsN*Ae1PbC0#s=EzSpS-zWEKa^6@h`FS^ zb~1(x{meWfjUi2OBHLmViaY(X@v3tdpA=Wk4-)^tLF0kCoZh1Qd=ut+VH6~t*M%QO z1M%7^HM%mf5R3W||G0b$SNt-A#aswv+lDmpk3x2$+pkIJdG02DQPN}E6T-p##(EZ& zyqe-IL+IkeY>}bCANF!)0{iZ7B3SdVlj$9k2akvHbpK!x4gTGQ@ikMS?Noo5@ohPV zOB`f6>l&dqq7+_p2LwanBB@ZXPvzO6E#fSz*!_aXy#LSwN=q~p*E`#Y=RP(ND=Nv0 zyRy2-clTbJp{7UUFD3F)D)(8ivK5%fYl3R48Jk!36IE1$XpLwneaalkk9;EoIci=o zQ_3CoYpQ~{mt&dH85sD%jON$f$78aqxbq!*nWt7gEBmpHT^X-|yA<=$Q<%kN_`G7% zg<>|~Vk7VK=LW6`;CN-|M-G<;z^T7Uu%sxB)5zFJ*)vCw|CV=bglZJ@)4tF8rAK1t zi9%ehb_7N5Mp1~uMBG+*5(2dk!NrXhl)ZKZMWsr@xbX{ENM;=!P~J{%30vXaiI=cu zpB!YhnA84SkMVqsB8X1$_ly#*9{GZQ*g6o;tuN&+usiIgcnI5UpiS32&S2wbOIY-MI~~te zqul!O@Wsar`ZsEk_-_VTe9PlsDW8I{=W6hA^a%==-%3*JOW1`hB?ws7%dS7a#;%W9 zNYXjiXzjorZhZQFuu1xX^XtM$a4ryZsgqToRuhl9W-iWO{TesD4~Et|&)MW^R|;vq zNl$;gp_J5TbZ6pQ(qE|{emPNHoLX|5Ht%yL9nB)X%kB)X`ox7!C-0&>n-v(GuorGD zIuD|i5^S2(OFBNbo#b|@LG-I;a9)|z5Hj)sHOH?Y_sM0jrhht|-(5(cyp!&qP68)y z2QUh8px?rF4CqN08144Qk}4H8=b|NhG(iXQ49&2(`#SD@sm7HRr$OkBBg|B}neroj zM4t=3!D99M7_i_kxhADDAHM?7q-qwMI~e8rXV98AqbYfrlu+>H9N3h$)2Em@R6g!B z=)b5CoR>AC%Rhz)Eo_s7g^v^AzT_1moo)0eP8t)hB#JCXKW7n?2q}u`u=L|u&)D{;TVb)e zC9ij=j`oZUV+niTKu3EQ7An7|0dcWl6@DM`r&iGA3q>Tod>;(+mW8F=0%|-t0MGwo zEUY4wrIik#c%Qc{x-AgWHi}93;T8^`DlHrzn}sWlcF_{=HL$H!29B5<6?g`2!Jbo& z6ccnC*q{)IneQzgAPU7PV?u?YG>pu4IE(KUZDG}+vq1k?DC;&3g#|iDe-u*0ix2Ig zzZa(nuXhg;Rtepqt^FC;4^S84cQ+iLnvuc%oA#L4HN!p=`Zg6?JX{t zt1KKUa1w?V>5D%fd{6$lt#IqPxyXFF8cjG~#AM{6NXKR-Xy|vtrR{&|?P)Ix$Tt$U zRGZRm<(D-2brxKny$A{h8B)f@`+W0-7&ak3lC@|I!F%<~DK)&4Um~*>*t8+EL(E9q zRtffv7>`X(zIfZHlUJQ{1ubnnAu&mkk}qeIQtLN37ciVpNYW9%9r6*Pe2>DFXIE*o zsVppMEMil#_OX-)CVcLqc(F>6DJ*oHFRVIqLA>N?Ke6&{#YsLEdeq_nTk;fsd`cyCwV?QZ1uQnIqk^w(EacAwxZs|RG1A+ZeM=(Jl=bP#vyakIufrJGUriWWwUL{=yoqvGj)30MMPTiJ44bBB zF`bILY{L6$F22(RY~+-{&P$%2Wz-7zKgYm#B zT5=0C(ygh&Yd7Vte-CS`e?xP~Gd$?ufXCPPLEO4jXb+zXXY5*WNYp(ne2Oq8dp-#N z9-w$NCpM?D0wPAY;QD4y3i7|l>{e@n@d7JW>{P;^9`_5o#s`Z6KDfiL-5a>uh3iSL zJcSdbXRET1cOs8PkuA{pgZ`CT%{WOc#yYaYdI7=eyVxat~~S(v_z{xcC4p&5LC$ z-GPQLSxQ#E`}k$XJE2X-7xL@3QK;$*+SYAJdnN+j5-g+!nX~x#TP!RYV+7%MhR~}N z6|$M@DymDjcm7)ZmmM7ZgDGEeqVLV>w9aue{4nr^!5b`TVoZN>Qu@tuGA-blq#eGr z5|a9#G;BUUijk2u`#VyakIGfSm>nK?X#7k;03e5vx6O(b=&57u$Sr9E5Bs zWf{$D*u47b(BEwfWF=hYTIPh&`?H4B-})B2A0~uPb6+wqlW5kWS1S;$>cNiu$4K+! z;q9>#Tm;w1Qf(eE!}=jy>BZ?-5nan2S|bGkcV!`Z@5a#5Z zZY&9YDs3#ne;Zdb$3ie}ixc;@{uF=7@))1BDS_*q=F3LLr!pB^U3P0yH^14pAF4kd z#(q-~Q{7V_dS`7yCjvYucN32%tQK&hJBK-+^QwLK!3y*!EJLf!iTvEnN^C(<6|Zgn z9*urI#jm|H`5*NMxjnnL;7pLC_dPeTa%2&DDXGvQLw6coKbnp~6pp4=mVS33+;}a3 z2Ln~vGC5_emUCw(_x7^gms8kygXMyEN02`*8;px!J06kT&hN{v;P&-i;2lry$I5IS zy!3J;OK?5R&Yf^$y)oT_H8V>EqdQje%RNf*_r|X*|VVB^t1=&nkGugIQcm z`h0vPw}`hZ%w~p?yg0DU=W6P2jus1E&`15-PaWVV;vK{(T&}BW6t(dc) z={%SNC6y_lH_ru<6|~^4$|!iTVg#Ix+RN_O7+~4a7MwKrDa!9j!LN%|m~UY(i>^4w zc08~bERqJ^b$SOI8sh>hp0=}HJ`7via1J~uS1m}RRSW~&Fi;FhJoaJD|u%1vC_ zpP4=RF8b?lh;hRfavx6~VK4gpp`$oY&M!h$aJDQ4xmm;cadj2kLIVeZ@8xr%-FwEd z%IqU-`>X}r-dnl2*>ea6EI!PpId?P93=1~-(fWzs^aqJNy=>5GaTcCd_Tgg<^O$}A zT((<&6PIv}6NLTh#~vxGvbryqxYx{q>FIkhongh!e^yA~wy9G&ha!JgP<~cqEZKw2 z0x63Bq>VYniY(9Qjo`M60$vZb=3I_kB=oBjPRHdh`=9sM+!v!d=VqT$>*~U@B zS=gq(Y;A*xwWN-q2@AH-?Wa9lagYDe0<`UJh0+Ds$o9;TnK z+=;i$#_{u4vS3+VI5WMQ-FA!SrrlM;zjyZF6on^!Hp@cXvh+O93Bxfs`bcl1v1Yi#GUCCrnx zP10sR`gEV(731mX>OF#@#!@CBJAieXk7KL%)G}@Td#p;yM%3WAoQAZ=(}Kz&?6a{W z80=k#TetX;`_~=pa7_~gKrU3Q9?mr_`hj^k9{&tWW-iq~*y^MC?2)w+85wp^OMQQF zr;nakH$X)^CGjD}DJ0Wy(M7EMdX4)Mb&g$OXIRerUcuFB1B#urjo9We@|lo<2EHfQ zu^M%_JpDF{d3J*h*q{NYY`d7g+7`juJWc99V>LPb{)|$SZm@7kbFfy-Va-7|MH;j1 zan$lG{?zfy-19;K)6ptp$%fn6X61f(&NPDsXF0&2?YgY!b^O-xa!_(K~3r%Tz>%QvgQXCU|$QeqwAQ7sS~XWzalU{=M5v05-=u6Ow%&g zk$L2KW*g=Tv$srRH`>48+(Bcg_@X1O`<)28`xyv7Xu1mTYE2Z@4Kx#KJIe`4vj!r? z?%#|%;EJbPovIzTO2sy1RET2h^4EhVqWi4 zT(UtQvNck`Gr|MSzn>t*yMyRMS2QFnJ_ti+YNE&KOzK}hf()1+v$(sGO+B2+23akH zZ>GE1Y>9kYqPT|c6iGl~>l^OmjRYE8H3JJZQX$0oHVasiPP;GGQDevpEFaU!UahKN zDttfkIDD6el~{@8A8=yPZV&N?SwgXan!H%h;ZMu;!?AQ)4_`ec6Q@Up(3XTUIw|W- zD<^0`L7Ny%TEd~%X+14HuPT1(pGCgWzTiE5KL{pm#%bes(dO|Tn0Q7Gim$8n-C+&5 z47n-jy7?pDd-FFhsb;=$KEg{LwEtFHd9;9gvys2*yZQ9(;hpP{zaR=v9=8F)p+1>@q*LU)6=2K`u zSu{Lpv4QzLBGT9*OMAu-6dJe;5U#nBz#7!->AcSwY{>e<{yavwxlv8{ZlHzmU7sD~ zOSrMHO79|6AK%Iyl=q_g)-=5Dv6Io65B%pSFM9qUh=iI;m>|6a#0$zGp;MnUKh;uX z;2&;H!E4A!9|{(ckLgizpI^!I6$}zAg#2SIG<@PfT2;3X+Vf7bb0;T|gS|Hf%}QWK zwV`a&*BVynGn-ZV`D0G{bsU+U*B7U;5Oyw$r%xuksLA&ggn0#m&oWiYGFWJsPLf~cWw3>_?MgQ}->U=wd3uJ2J0o5VLkL(De#(<4hgnMdJIW+_N~kryX@ z1o56-xA_@b9dOu^!C^rZ4sGunkL(B98t5pF)p8csRZECFVqDo>MLprT2d2XN<2Qj` z!hppN6GN1oG`8U4l_;rNvYqDv)-l(@b4#qQ|=UC#@K=UaC3WfDV#&erbA%X${8%$ z>J}Z*(TDGoieZ6n4ju9HLXZ0auGeK=d^{NE?UvVo0;_G@nG@J&$Gpf1FisnZm)3nb6@CQD=U5=SV7Ut z61Zbw3*b+#pYXeLim>jf8jO~Y7fXpJij7ic3C*g!grRc##hd(Ai03X25hm8{0L4^O z@uMbx_~^L=?t2fWy_T2R52c+Xt(t-tjf{jh22Cb?`}^c)D?*)Tkh|xUSJ}iW8UXu}KvQ;E?pNYS?`UvlANfFMQsUxmcu@E0` zF&AoP&J|8w(2SNE{^EKWFBiBn&nGh*kH#OQ z?z(!cU(Lgtf(a--*F+K@7DKbyDahsK(WU8kw6MDyb7PfyWv1* z82MGD(LmMDY*c@B$c&iH7HFKoFxjc}=kYW!HMtBac}`T{ltJD(YryFD2zYqMl{6lN zVph#fR&~Lbn_2e^!vbexipLYYH8BZ0o^`OR4t;bwhq20a22I@ileI413a+slw5Dng z?G84B-(|({tJ)HmL~o(j6`L{ZWWE?@ls&nFupxTle1)p$_vGc

H80JOhVflWgLFf(1aCOZ`!rCe~=`VHJ{xkRRa%nAZ)7Qnsrk*sX%Q!IFC%x{a+ zgeG?zc0%0=XL(&_i8qWvU80lMwEThxciG{Goe%hzqvzsNYdID>@gtLueI)o)Kb-PB zZ{T!|!4NZc9dyQ-vwJN{RDDVp&!nZYh*))Qan^j){vOZY*PYH5eez{1Ee~>+o9#u< z9Qup+SNioRp|;fuBBcs3!8UvIL4S4xxMtsIW= zQj ze>lUB7Nm%Doz2;v1-dLQc{b`A{Xp9by7+^Yvz{#qO#Va@rW>xq%EvxTy4sMxqN7E} zE6VYd|0?$O^bY2K!GT?`xx(K660>b)D%hYPPYM-N(7^03(@B;9MaOTvgWVEbIQt&A z(p7_rSgW(-UPDxIHN}O?ytxwrC2aZqG&cQ{B~DGgi3im@QD`f}+DA&T!M8@?^`F^z z=am=Y=iM0f{2AW+k%D!LOS$*4*6hi;d0ekwo}ej$=l=S=;zCOnb4zZd2zKha@=uQU z$1nvO{;gp;ld{tS-`vq4_~Z!EZzsZuyTiaZxrdn>^l~$^H{r|7?^yo20AJ?|S$kX~ zTlD7}FW9F~(XYyIW0ftlT^hwb4E}~8&eEhBK9rLlQNjGjIi!Du#Qiv!CVbCi7nge#dwF{4i0XuZ^}e3^v`xSqN_NGWU$x*29z8g^!Cd^qeN$ z{-sV^Jyj^9#gg9UD$wf)3!LtKlG}5?MKJ9CYhLPC9Y5I9lWSUS%TA0r#5B1xY)5xJ z7q-L}W%tPP6AWgv{&rV6wM7F_(3FaSg=f)aR5zw^IXLFbH2z4^Yi?@gHa7isJyZE& z#S+&J!2M5+@Nka#UHX0AIaZG!DU;!R zG-D2*t6R>O8oP6cKKEm*e%AS{LY#% zl#yz{!Pz2|iMx&SUXP_6o0rgg!5}&jI0a>&cJU{4cc9v`Aan}rlS!p-Ox5u@GkUs} z{mz)f99R0Vzp7Q-kHF=kEfH!W8687@)ZaS(#^Dq}RDUOScBCpxluF`{Wh>#%3S+)> zh(34bXbq>IIGg<}9mD26b;mI&GIUkB6sMXU<;?sRGJA7#ZiBlt9$%)6QxcJHtkYs| zlC@a>`I_XI>`F^Aw0Z4BLr58E3OC-hvJ=;4vXD}JHsZQEa|^b{86>0!SI3k7o4xGb z9Cs-Eew*(RaFp6!%*C=TU>p$#Kf?dAwh8Asld?ws-3xOTnym>TGmXGjavyu}$_MK; zJ!r+mqvX+BPvKkg=)BS#`f8*=pW8O$FFSdJueF$CF^y#6(`jsP3Q4saQ9#OaOw5xM zY#!ahKHeS#mzz78!_VbRdCLKo7MRAKWEb&+`!tkTHkc09@4`6iB$nOqhdsHH$0}n7 zifqzG<8bSvym{7ecBoH3erzTM&AT=+UgW_~%Be-S$NKbIDjz4bm$N}k5jYni^NxDK z({ok4sW-o|M`8r7;l|Qg@g+QVeH{d=6vEi@Zr(-GoYG|UKyq0g)IBoilxG~ExwoQd zP)0w&WXCIPO?<8B_M%0!y6_AIY44$}M>6otUK^Mw6hlkyM<^ND1@=~D;CyHU44Lc& zDx5z&(8`3XeY()X%xiF<_y8|Sz{U5w-jN}nVl?p&>XrVETIDb5N`gu<1o3^9ZG_ap;?$bnJzxd%@{Qg7W~cz zor8`LT2PChw^h@V3lic_JO0v&)nXbPyn+f6rD&Vg1r)#2q|P%*)cdlMcBbqlsi0*1 zRbUU>d=sESuZn#a>(S!NJ4oR|9BIi^SOltyUvY6@#7L+ z_N*P7&;RySFV9nR3xcIW)BRSxfV)qs&GpVk8L&UJ!gfjo)+X7mi)BPvm7ahvlS?V7q^w zWR;(%^S6e+#hoj(;OLLxV7+QTX7!&$EealJ$u_{+NKY6nETr1qhsd?J2y&hug(0tl zsbXIUIUYL49~qr3h>c5z$*Xf)x1an-?U(<&;{5cGrH(+3fE3p3mZ~r!r)$0 zv2dHASj*oHYvwz^9V4D?^w%QUlh0|S+W_&W91ZcEJLQzGYl7*%+TbJW4mV$~hlutN z$d53BubofW+V*k$r?#o|BVq^*&>8@{4wXZe?s#^@wwg9BzJ)s?+MuVYj_sex-Y`tO5?8U}xLH&NT=c#>~6ptRt1kXMlgV~h30 z^X}@1wZBRT9e{`a39sqaTo;*~>=~&TTX5DlZ zvV1K2JmKEL7`1W2_VhVW*2i;hUu494{`41(R4@~+o%k8lHl&h|S{HrwZea0++u^tL zXMFt9hvvF1O-~HG?PhvxJ$`E|Ya%yif7bWOzTxg^hH+3{RH7 z!%-f^wD47*FIY2;QSWO~ldgjIIy)f4CzZ6P1~X-ePb~e;X0*_#<;wIv^E)E!MaOO} zXJ_*JWWe0r**;Jkq%2}^Wl0XdGRJ{mwm1O~-#pG5&N@@GWGhC+@erQ5h628yqn3g< zaEeplyDE>-{;k^~kfq^^%QkdJ`3=_8J)vbkEQAtQzQBxv&El4MQ-u?MwFuWfIwW3` zYAjavJ1(rAI1*(qb&-aBGp9YM1~y%KCY;k3OB|}Ecs|dqpYXh4i*OJ5iSG|FAkKc1 zP|s{Ew{q7W)Eiucx?&kR8FdNL4;IjfE3fGL1Wlp)ENL!y{Cm2ewjY|#d}Y0wu5{RbG;zv`bK-m8I!sjlhAyZYB*0h!gT!TO1+i+d}!8l`~WYtZU zc?-lfZ)UL}XDo%sofc7KQ#~2USwM2hW~L(6!LtedNY<_IEtzXLM9oa&1_++g%3bH! zv&bV5?lO_$E3TmIMLBRv^2CnH6ztNJWzGYwpkkI7Th0elYHbQUe3u2)hjMB5UVqx% zRSa7qWne;X9yxksV857HsHZVZWrhWn{mMk8JWU*KzXAI@aNHV{FD6ZRq47xPHGAI!eC%xhdH`vjZ z`VDxZXe!*_Gy@vn>f>Q3Pc@-mc~6nHpJYaT{=nhYGV~{M8kq;@@kY|az}4Y3dv-e(CrwtR zO5rQK>p=Kia1y(w&&KpLOWa;_7hjaDBKZ@2XXUmI`WPps^Jh=e9fzwl@$G9GZ?}t9 zpLJj<(EvFGGuXwh;eGE%R?j4*h@nlAojQ`R5C6P0%K zF*ggxwhm>}Dvz_AVf$Ept^%umwwZrCDgnFI{V{R$1g22k!Uig@<6GnYppuOl8o%sh zMtR@(z(Wdr^wdS7rpG;^pp}9?e$2)hCm!(^)?eaM-Pbfukeh`qLBr9#PY)P3zKS*c zDdcv&JB3_DDL$y_5~(SOoEKyjVa4MfT=F(wkR2xt8pC$8b9I$C&-*Jbs?o=G)I;y% z&3N8AhgVJ?2J__l{7VBlu>U;}njP1}G{qAzR(%UtKdodg?u#&R^(~Ala6xtLIZP#E z4SV8|f(Gr5q%+Exyzg4!g*R1v-N;h()7XOkW@gNBSrI$d7Y97~x{z~rSiutBj$@m) zN8ylbw{Y-kUbO%3TQ=cxF5CX_B0A;t>6oMMbFOV?nOU1B$L=8)=v%ahG z*Q+@8v_HGy;mSFNF5-RGsG>|z5|+LzMBZg2<_{jljQVu!SKpNc2RpXn+lz{#>RDG< zov4*1o1}Aw(gv7t^#UKX(u#{3|ANcn6`4`UUd~sR7k$%w>3n0?N5Q&sFO;#+qIp@f z=+pFQDmk&4b~JA%{k~YXXR*pO{Yn7#SKG~Z_aDVAKa(r+UzCDP_M`CZ;9@rSS}%KH z-ps#T@EjGk9OZR<)0j#5EVu}RD>EiD z=WaW!Uh%ze|Bs>7wHbm7!8VMmTgLu24`tMNRu$` z!#Rn*^WY@P%?-rk$|kHLD1q(pxhOj9?1w2DV{mi83{<|l0|#gf#FP1cyjj8yjIvXu zutm?%$Y~Nft}eqLZL?|Q^39|z?u!$2NaMF#RH|M`(xnxakwH(sUh6vCTC>b%wHH=irU;U z4EKx0OCPu3oa!k!cA~pr{tjJs`=AyZ>!QnfRePfIjdR%ZaUuTrI)!6?%IwDIzg+Rr zFI>=xNuvA*k9qAI3MiDZ!9TT6_~}RMxvczIOrnqODo*Fz{vHx+h*d(fd4$VrMW|x7 zlwa07l1*9IEf5ZgM{AE9wAv(xU>7Hv)u4%2lh5I&ywhm7&zkS^>9d6Kiq6BKr}vBF?VXgC z($p?8vZDIj=UgjMG73d9z9D2qqCGXWr9y}(4WnrI+~?fNERt+8v!${^e)so3e8zds z`}KaE5_(bi-QSd7NObd;ax-oprGbtP^xM{2QFzS`@r{gXZkQ!7n|_9pVZw}e^j0+8 z7q*p{kA6t{eHRGNZ!>7gKENgBzo$W`O>m%T5{?|Sq!|wcE^#7b;qdUa!*AJnN&ibm~` z)eC%s=D}b2_aw(_1-ELhJjSFi!iRn{aCiA}y5+JvF?ga5L3yKKr|%iU8ii7MR_GG% zmZIYVf!zQk zNfPgAYjh#?%RWJZY7RrhR5AQf^#HG}7M!u6m|my3)cQac-H=~SV-)w%kCjKL!*8T# z!&cLqpPcFHZ-w-upFFMXmL$e;UflWDYUq%<2KSjxKz_z>YQM9Sd>^qE4oyvfhdQQk z=x-*FM!N-OMjHLt2J|^B$?x*)K>d1i zgcX!|r&vN#-H(#ztLw<5_K9F~BLmdjN+G|!9G-7H4flWThf(L}!rP@XaO=u@GT5O9 zCj#{$by_j=am;GWpU&ezXDW(+-()uJkB5h)tKe!Mp+?_#pvPW&eDt`R`QADNehk}B zhIB;HdY2kn|H6e{v$Uf-h8u~^%+kqnU0Jf<^ALSC!U6Kv4}lRr!zokRMdx0AM+?*X zxGNVYgUybEFeOwP!Us2^!{}xnStAOO5uyGUNryx4jTIS9Ao0Y7_zjoAa(F530S-p7kF`a z;M-9;cFJ)m*Si32_ugN=1Se6{z67l_Mu4=`3SjOo;=BV*@aOptG(<&_6h+IziUe=s zXt$X5zSqYFn;l|aaU{eZeMKJqQ^!Bk-Ej4xU(96tso*7i&$637(wRah{FLE%jCW55 z`ltZPb~e-3pY>6CJ4+iG+z%O>V=zcjql+Xv)pI@P^axwVXN8!I# zMV>E`Mp&*`A+5t{vM)cjw=wYg3Au*C#!p44U9(*H3sTbl2|`yTbX6viQwh zjQvVtygHal%PI@t>8oNWO|52DNDtDqs+aVV)qDCO=mfKU$TD~^@RRhNA1}Bl)}h}b z1(>!&45s#>OwVp1zmm=&$FJmp>c1=8?msW-plcy{`1BA-R&v1!-w)8SJELKJ%xLnl zFb)k{|D!1NoaiTJkjmPUbIk-(H0&ToD>eiP6vX8QHUJIFw$R1og8{ z!q}@r@uH#*zfs{L_pMKl&0Ief0#04S6Fzm+(EC0ZGd1vJTnBluN1lwZ*5ZnTrZN!| zEP$5S!?qJTcqwlPKOtlUuUY<)9@?+TuKnfC=8Y+U=c+eQ#-<0yO&bSWvrX94!$A<1 zbPD~2jL-0-tMG&e=k9hp-@dy^uoW ze6(0%0{+n|(DB$ABc518)Q)DN`p+C?*d#7=(_*4LU=79}2FVkh43zzTiik7+K}UEt z20kgpz|S_Up7lAv^ym2ILL<#?%Y|D$-cCTXXE0VaB=)1 zKFuJDjHw?5wzn?h&`e*Hxfumpe%*)7-HkAOkv53x8ku)r;$dleoACZPOb^Vq<=L(# zv^G^{B@Ab>n;%ZXJu!ZK-@miW&zZB?Yg>2V!&`>@i3}Zf->_dGGw~V96^te0vINgS zpfsMf4J6hHdq|qM4E_*rfytJ7WZ}3*j2hiR78dRY&3b7p36?~|YZ=^e<2Rzu+@c?&_dpPfrAQ zm28;S%<=&z4F&GFirxC(O?>^Unz#RNE$iVonQd1%z!!O`@y|~$V=Hf;WP>jq1Ic6E z{FJMO=fG>^J8(6#Ehm)A=NtzbC2j=#88wJCJS@Fv3tH~3*gtH8my zkX<{8u+{DI{KTL{zA?#|Z8n+8-r-L0Y3dayiY{jBwS`V!sRKXnOdKQ((SQqMHSqn8 zSp2bJFHYtHpfx~nuE_VJe_JZpZ8CtvS`_o5RN(I0?T~-K9bMah(jcR6&V5y(+z@p$ z`nl^7U0ZRU8g7jgx@?z8b#EcoP6=XK4!Oc$&2hRh+na>`+e5qtfKCa|gLTw}WdA8b z!x>*-(0wQy^XM7ccL4q#XTqjbXAmv1B_G$XhHh;W|o+@kpn)vmO2r*tde zOrQnqFHfTK3%lU01i}zMFLHtuSwnld*e$O+*od2%ERr7V^%Ax7l zt3Cqc?@xjr17G5xlIHx{vXoxUDkiQ^>xsX{P#nFwoZMahnY@|zoBEsXrhBT|$=_3< z)Wb;uKQZ&^(4P}EZ)@BK;6&z@X@XhDra9K z+QVb<_W~`9e;)zgPYys!U^R3F`3nr_EsQIChVws~;_=jXZ(BJu(+5V%B3E#Vr zq?*f+Ls37;aVb}@lr7|>bthxh>wf}^%|U)2A)S3$xa`;#x-?}w9GN!<6c*^gE;SwE zftn377;Eu3U0K9lJ(g(xJ5deWIsI#p$6vAvR@f*+GydnWkqDd zM^A_>eL@`E1U69ODV=n*izdHZN+#B)L)(dPFt&A~jrH-Uc6S{<7c#&p4OUP*Apu-h z=E2#;sc`bycxW3EF49qbNlhKJ1&@saSS?nElz40EDmMieA6Lbc(@D%bHxYac*aqf@ zE-=QjVOTb01TLx7fc3j>6RGv;7}P6;+ibURbEEXc zluSo$Xk}tc81kaIh10WtP9JE@r87;_h)~-mNvm_H#Kj?aTwF@kSOfA)!vIK12C3M6 zlScJwV{>#N*O@N^C(}|$(rjV2KN^7(gEQ!(PzP}NuoNWxy}0owH{hmTXFRZR7<1=D zABmrMp6uLd%S#|t~1jJGa^ybF<-EKlCO zv}Cq2k)%~&D+$z1rJ((7^y8RtKf7y~agT6y>qJuKNxl|m*^$M!t3RPQGdJJ}QQ zq8j?8Pyz4#Y!tV@p9=rPn_;}qIWoCa5@i~;ps~L-p4$<{1o1|2DoGu*Z}3d(0Wn9f zq>-Otlfa;NGW^;6l_c3@k@>sa8S|P%YEn0c4(U!MQM2z7_q>lBhPvRvGCw>Srj9q? zWzgWQrZl@DPL$Qx$BZvc;8x#AqT6{(S`$8lX_TboxVQuoo46>-+M_{x@YDTdNWj-E1#LjED*B!JrBFMh}plz zd#=fnSfe=d!DtO>F>_|3JUqBJWjdrR@*6oO-%h4&(WA#whTtdZW?DL&ipFgXBeiJ> zq^fJv z_doHOlh3Cfl1!nkz7ptmsesP=@IbV9=}4yYxG`P3L6%Oco=%$jddTYoAIK{!FH$XM zOuhfRLTijyQ|k1_dU+&qJOX3;lzt8tJRD{q)KgZ;n>jl2^*HWSS|*#Kri~scaODPi|s1ZM{rF26mDE8s;%E=WWTg zqHKb1su&qe;+pCwla*_#Np|W;@!DyWa`moMW1%D&&`@Ib9^FXugLct(+YfM6;zdl} zw<^XVbNOYd)^+qz+k5)w$9MW$EbLatDvDM*r7{zP%|vU(@5EhBT3m^uhR9vhk;qtU1GQaPT$SqAocU_x=DpJ$&roi6(w=#-6l+=aARw7Vw zD z2B>m0G|H$zsn#QBv)pf#`bT2nk3-nsl8>hY^U*vZ4eQ!ApoXn0@(*P3$_o)!>Y+un zK0N0Jf{>0K_)AT-hNIqXIUEyrfO~aM9wJINfn4-D)t+_SVf@L)(Pxm@;#O4V1= zXJ5`ziHQm*?O?@?NsP^;q=o%!CB{3?uwq_Pg^ znDQ6Qr>e32J*uqH`T@B4=mi)Qo`tSB07qFQ(Q&Uxp05FzACQKM&w9k5Xd~?@bik1t z1b5cUIP~qfPG37_lC>5yp?cT^IH_MPUT$KAi|j^WYUgq)b2^tCdA@+G_phbj4!@$M zd(UzbbIrw{K6P;GU(e^xT^tRXUR`9>ol^R`V-o(nrh_{J-Y^+tHZ0t|6oRvxNR*Tu zo}Ctp)?o#d1WLl=Nvh1R1S#C*c%O`#)Cj)s#({+77<4ndLrdS=0si-y{CKwn-@Dz! zy;A#evAG0Y?FJCH{1lv(&x1t)MP${W4$7$Jq3GN-9JBNz5`8uP>vwDZT(&WvHvbI< z(^w2TBZF;QYbiHX8haTj3}13UWGT5EE`B}-f3zauVU@s=pRUJdQ5^2PU{Wl=tZg7{9GEIewzukeNGZu0+^D)usZ{|LrloaXJf4pRdJCgQ1{jc^clI*hdy8{-AHemy;2m z*O^?aXq<6V0pt69VRh$i()D;Q&eP4}BKLK{nDeS^rA{ua^U?yuScGcIrD76@HRJE`&5VWNaP7a5}K zL4B0FeuLR#pAL7dGhmfXKWETZijfQQv1t8D5>i+Sb!HYd5apqUOz_^Zpj%5xkFN-uB^Kc)=PM-V^-S1i=gn06 zDC5*`4E}Q6%81`y2j%umI3$sX6Lrs^tKu>udVHHq$V_4k;*;S>rMr-YQXJ=f5q||m zfJFQ%=qV8k&P*wupZkgG-wcN$kB8tg^*69F_u-565_l)0Nx1&G+|zIJm{M{X>#d}D z1M7D5c0a=IF>$*=E1h@X+iXwR`%?^cFKe+t{TD9M zOMzjr^`Lb7K6f>#f}RdJf>+s_I2e2p1g8|+AdyJ?cMhV}_J1_=QqZg7-{ewHdEy%zlYhK1^6Q40P16QhKul3q0S~kCvXp_?658 zJoUI8Max&1~GZT!R{i)gKuQdL8J^YxNN|e@}#Ukl4SYjFt%R6phu1N;zh)V|L;RmVz zYF#{cbt*nt^Bjg=DTJ{<=koq*--6up0`}M1J^YUM(tM>|6&tDRf#XOPKRh@En#UKj z&ZEY$u>s0Wj}FB1SxIfv*ZqDnz3b~N-gvBRQ^Au{>@Br?cDDa1a(P}4cJk(UK`D$~ z@+}69XU6m5BjM~xbyN06=63$3qc4bsZcWFTYdBqNIo2+2Bxbh3M0!gS_gl!RgRL); zWeTUjmBeD?u@E}c?+j=vou|vkHPf6_Pnf8=|MEb)GSbCO^w;)mGFHI@4)-j@eN`fS zVRsnhUPsblR>H1^|4ba#{v@O8GiX_V9Cdmqi%-kyVPw`$XnUv6dq0Q)iGAbP;KOVA zXXbr4HfR^y6Qhhxi{m zMo~qR7H(J23Xv-L%Ppuq&oxUE{Jvv=j5#_BZXET&b5>dO)II`t+AV2j=^oM;VLH6qKRHs6z6?tK9j31{ zS3&-y4eYzDzhJ!lGx`)QM%SehY?w(SJb+f>Ki-NY$o!^yPp3i1dp-7azz4EOZy(Z; zo8j4{GAR38L6;tt&Mk3ZmjdwF0L=(@WWYyW{@V+7snk=-5uvh3 z53{s-;w!S|M-Vx%doBH2AW4@EU%_-5FC$s1DV)^&YjkX0Br)_A!Rok&;;)w`;L(ms zF1&dHcCdLE_^~Pp%X2oM%!$AB;xZ31anu5s+q(&3L@E%iqCxUDR595Nwq(M(>x|{^ zsYFU~G&tRjfM0kTv1nnUTbP->JMv}z1LTi5Rs0j+m_?utGvrbDPf1d<2+gI zYz0Z%y~vAFb+jANPLt#wl8tm8)D;Yn9-AlJR`*`|(#)K06&x>3Q@)dpp&cC4)ld0{ z6?EKMJ1jeRlYR^zLHe%Rky!^<&<&%8;`=G4*!(GtIzEmj?UrxI>c^wR^RtEdV9Y#W z7ZS%%Vcu*ql7ksl`ze3L7qf&8Q0t5*RDb_5CQbXVz>b@P{hdE#_rY9}ED=sNHY5`R!#~rKhF8q|O;gGBe-D^V-{r`*?^;w>wNiNNU*R%5nz&KVnz^T|hY(-G z1EeyxQ@l0lCkcz4oIOZ4+d}I3IA&1D ze>6>0u)$y)Et)0CW&M{%bB!q7FK&m6o`N214_C(E8@F;kQpX!YPod~9-=y2~^$v)>Z3 zJT!+f8r;Rad>QGK_FpUaZm$Y=%tV=9s2=Vz_#}_~8Tp*7%FrZb7D(M|RPY4D&?4`Z z#6T~a+&`0h`D0x^9jxxBN%1decLt%|8zqUVV-9JZ5k<;JtCDKRY0UYu6tU;uEY7EW zDfRGpLuLO-7+X39_d%iVS={pr}Sw)-JxD0wn;rrG;a2g#UYX8^RhKuTBif`95#!d`ln6r9`&dG z35hhmZ4?zNeiUyy{*nou(!zvDNzikW>GWOZSUTp+py(wylGV=($e3G&B+Mz7v3Mr% z;B%$ugV;XN@}1?vpIAK&RBok)MIQ8_yfZgnS%Sn@)D!2>dSY7_!(?8&>>^TqN#01z zgoC^sSkr!{PU{F0yMhqk`6rnZdlR_=oiT!WxxK&eAT*KOT!I3eC>L_Mah6X@-Kk^$6+~$I=-eJmFnfJ>k^c zFf+aw$FxorGM{*ISAH%Go-l+BP3dIG8|vcb=SE|u9}wrwk%F9I@q*j+I?NI>(LFbf z*u}HW1V@q*D~_vy`O=%<)$`5pJ9aPBi>yK7%n_pdt6K0=o+BIdN6;am0oc0n1a^#0 z!0h6C)bP_JlH6trpId`q%n1(r@>@n)4 zG`??qL@SO|)0~A~H2u?dk_<5rR&xPVy0*cFf5(~nH7;1ZIuZ3R-=|Gw3Q*B83oO1@ zkWgAgUDZdR-HUA$k22)hvyp__J{8M+W$7l%t@QGu37qcNiA;;eDPrGOPi-aQY0u;H zE*ZN%k!@$9Aos>EvhRZ>ZaWc=QxdGvojHes(gxzvrDJ^Y{CqL_h zz?gpoHZS#9r6s1U{8%~m#}$P0KNi80PD|#c_!AdMxik^O?v&&FW214{vypJuD-DL~oF_Ib2I%%RL-5Z8XHmsuCD1ka zK&~YAFrA-waxbMr=#EMQ`nP8hShW74A5!!1W2iS>`!opZ1?KhFozHa3s0cJuHp7{Z zP7yc1a&VuU3NzE?Flb&5=7%liTt}`U)8mKZrNGgoXJ-SX4LL|gHCz&yCq2yCvJ1x8 z=Q8)tDD%=o9QYCBDu$H!(yROJ;7nL4d_I=}ZF+Nh&9;WJPdps zWZ=${ZKyX{1;4H|f)gDc41ZP^e_b~~@m5{D#3aE5KWCD@bq~h&4kfd{+#~HPrI`yi zc8X2byWts}N{&i=fDw(FSg$dRH@&zA`cJ8`kFz^yx>F%4rmaJ@pS|?`TRqm>)RBGJ z{S&>vui^8o0KV)uV`m49ri;h#!Yg@2pr9_tp8R?Qtd6F^6#F^g^PRypEw6F-cQGzo zyPEpSe1$^;qu4FiDv79W3g0Jh%>R4#436amvV(E4%-YIHe95meIzLO6jZspgrCzUb zzR6Fr^GXh6nXkmaU+3tyy@4>KDTe;gE#NFnrb6i_b9|*7LJ!`^g7{_EXmUUlPUtoS zoA41_Lt#JB=&Zi%9FRb^cc)Ryd?)6}>NMDBmVw@t{&-VPm+k#nLtVzm@I_1hK%SAn zMh~394!Jxsd&GP={3Hub{CrHblE(2pReJ@F`4k)EA;pKmIo?RpffadOVELVdbO|o6 z^-i_uSn10DJLbhlF4>JL=Z10%mL=obN+o`tpC+HbQ4^z5#qhm%2z%nc-_RAEf%j6) z`Qhpl*|=>in-><$_xJC>^(E=-nAKx()aBuP>SQH$FwYWhOO@bZzKW>r*+i0`-Xjcg(^!Zn|7x>umODaH#WFrj zeHzQ2-^&*0WbtdyETMOGE7)t{QMk8fIKR^66KodVx!PYwvEr}hP1<_`rgz`ZoAK^+ z-VCMX|4sKAYToq3eGKcGR>#gc_!-tb(dPRug&q-$UTGTNpFip@&vSyD;~IXM)XBeZgHY8#SjEgWCOa0#TWmW^7AZ-XR%y z5=v$sEG2E_G5A6FP&-)kz@#zKd|`@8b4#ZE`QeNB>pyapgN1TqPO72(2JYQCmqSfN8QP&U*!rp z0ms-`t-7qjmMs4L#|9jHmC25pB=i+VY4LB4-XZH%lb~a|Eo1~llKzP+F~>6(M$Bjh z)u@}O71zu?kpBmLwX^ZS_>I`NWG_s5&?DMYbc}k60~_tKi`-p=az;i~qeF zPv6|T1UVOrsHvI2HLX%3v2s(`gn+A%v8WkS9?J7)ro88dn_mO*kP>+4kjPDMFTv6| z-%(+GIqJ(ErOyh6)AD_)B;;lR=sHG$YLf~cIAu(g++RcS(24N-sxlwFatnH*5qmI8 zf_)X&M$a>wu_kXLrmAbwRHy3@`Nsz48`PlDcu#uFqa4OYt|5i4lrAjmWvb^$a2MTH zF&Zc4aLP)mn6oaMcF#7msm93Mz=0iK3M(=POJ5%UNS{c5+Kb!>Fk1EQ!K!;UXIHgEqL>*qsSkv_mqFI z4tJI$Q<+|KNUqCazJ9F3_lYa8;OsTO*hV@&Io&&O_@UPLUJMLXScyTHwj4cx55hB1S}dw=?W)R=(Aq|n|@s(FSV+uR+kMv zl)XjM4q7qN52cBZ?piu@!vM9dT}?ZGR}yaa6c8<)2Q&7}1lb-JcwOrZg|96jWnM0E zA8h3w?0&>KTuv5l6NuoMC<_`&PJ*XG0QAJoW0JNWr;5im6Z`e{FzL^9vhMz6I)C;X z&S_UF*}J@5Oun9?!);rcnX<}oUTH7UU3iwNq?llWP6>Uzr-HPaE5O%zKbTwMJKT!7 zL0sl|HBLN2gA{G6AT#a;694ntXx8@_>N_HoZ2qbMi|;Ha3Fns6v{4fDGn^tdk!ny- z`I&68Vae*n0d)Pcuk>MUD*gT0lsURcp13s^G2d#hF!HyJ$gQJ&;%3`cdc5c>b)C7G zvNvZ^g;Z@UHu6OqwHZi#-LUvU9$H(JA(GWN&2@lI*`%?`|OQE#? z3j8`w3%P?$qNksZko}FWBu6CNI9s1bhAy^)H38<}dTSxEnI%UyfgQa27X%YBZjvt- zR@188Ikd1&o4a-}gv?lXlZ-XaAq(|(GD#QiaNP&yP+P}(?&H4oqGZT zTj&w)O7xj!FgKk9FVfuoOuDl?<05g5h70`}pQlH;%1d_%zi<}`O3tLW&el_YWQ};q zmaoiP`7dIh_A%7%-Z45%{EB8a7SqHkSuRl`jY*4|z{$1h(%h%VIaziViGLsouOj;VUIN2LafC9D z*ToV|dEr0fryfaHRB};G&|*ehNFkg?0ZEJv9LKv#PI4q(mO$qC||R8 zF;AT>zS_8tS^TA#IhLBku(LeLj)VKjT%|Y6kJ&1mc&i<=sQaYoN>>U!@aHqVJ1&{7 zZ5YP!_?PohE~j?JxinhzOzhb=fk;I9k&kVfWZ@&P*kTvft8)Ui0wYwB=~gs)Ru$H6qD3 zWlWUgW2)^LLhme#11`4%zPf6Fn}={K!2B3>e6I?JcgBNs*LX0VKLqa%w4mAh!+6m1 z4qa-O!}-`sa_8r3GMhUV&_muE@oo1_oGtenhsd_$c%`$r!6yahR;3JMJ0rQJ=Jp_fjnFFU zCBEw$NUn@I{l0TFDqL1Zd)ueXraAKOtEVD)EAGEcIAW1eI z&K$1=C)Z0b&nN*t^vFQ6B8ojyXtp&G zsi`B#k4q|Kv*%tef0h?^TED0N5(t!6gbmmMivx~9 z%a?p;@Yw?)_hy6Yt4YuzYXbuq$6R|AgC6=EN+vm=UAYT*<~BpHy1=hm#bSHIWptM~ zOjAi1T;aCE(Y4#Dj?6O5Gc2O1WiyG|pM0`y?g4UDLV-F7o~wP9jr91Og;>AChJM<; z3;Og~m_mhadV2`o%PQe~?yd%n)Li%*5<#vVIfL(G&SGsON74_3L#}d_*x|xP=2M0h zTpwqGUiWWey-1t9vTT7JRacqnnHNwqv7Tny&~=%UApWZ`1(Dp*`R6gWPB zx=Sq+G(zKqeYXeq;P+5i8s!Iv_r(y)_Vp-XwGjF9mLOV?1rgs1sG8Fmv~QE8HPLBc zswPEzd=}yL;z$?8j=N;#yF!vVBZB6w9D{p=IjjNJ2w89x^_#u~CyCy2y+`pmJ2AxN_fZ%D$6_hOf%(_MH;YP^-sFWuC<1 zb*=EJG9Jo2s_>)uC8msH$9lkRR{C4}3>De;4-Ea3FCa81xDcGO!hlMZXdFi8R#?eF-LGUhB&nnzcWMm zX`{UPW9|n0C)YZ`J+KjXg)O7m-?ONC?S0&kB*#m9<4FJ6b!=XQE8Fv+2!%wA?=_qQ zgJIiQM|*1+HPnW0HA^MKRYtRC|LEXH_eOLIJ`Hk3btL)Fa=g4|A>7|Po(zWnrVgd6 zVXwECDr`$ZMa5+3f3FMN#w6SlCgxss7l^gL3ch0d58ThHhg|T18F=xbqTos222Zzj z;+;Fc8Cg?#w(4{ncHY~7yING(#ZrH1$b~}~Wyz770xzf*5f0UJ9^n_GF?_mXGTUXT z$llrdf?xi7EH2;niLLJcNm}F%@qZnjBBY&ygk_;@)vep?_hDCAXK@ibaZD{+<5|Ft zwCtc`Hk9}52*T+2D*L!S?Fs|qtYMt;is>aaLVEmS!Qt@>r9q&Z@eN1 zq#~LB#}|)`xq+{2&DbMrmP7LW5WZo+jIEs$${s)+5`*FPg=#n(=hH9@94c4#xBHsY*>9XUDU7509{+bCRL{WCmXbbI{)X z4Esh;nzvmV%xgs-WP1W%gTvI>{N9X0_%-thOstrOlmF93S8gA5d6xjMv!aOJnkHP} z5Cx|foB%hC(-`|Tm;6(#fvs}gwENR|YA$#|^t9z5M%Gv8QV-JiwtCdLV;hM6TGRQT z_F=`}+3>t^A~^1vjT(`f+^t{-=G<47sBRW^fTL|NXuA&n7Tlf2x7D#G)RI4RL!P~M z|0RS^n#WhvC!nkE47MV_2x5PH#B|GN7*ceTJgOhUj`?yA1c?_GPSN9w^cDEw=Radt z^9X+MLlefc?}=RWS~z8M9SmoAu>ox?qTML|G$aTX)|pZN^W&*D zRi?MICNjrg^poIqXXtu0MJN~=MU5Z1V@3W>^0z^bD9Jiv=_X%p$M)-F_reIV%%626 zJh_?)VYKn-uiYf&Xd=vFh9KE=9UqN$gZO?OcDF|&{g`FXpYYs-J1kV${Sy_~=bo#O z&jUVGO_OJbD^Rkz4377l1MjL4Q1`Tr^BkgtW0aSn=(aDevDk&G8pkoE$qhBkBbfXj z5;*74xB-af9>){)-l*KU3#Jr_ zi9w@1CWT5Bu4f32iaY7&_~Gn+a5*qC&B z^pkz<5pcgg0H%F8K=T_j5ZP2ZPU$@Oi&faj@n>Ozya`>^n26V=|A#ks=g|v%3>UX_ z11-*oV6Lo-hR?EBp}IK-K;IgCt=^EcHn+LgZM)D`+8pO4t^mb<|G_CvxZfyr$P!k| z!fS(2Ajck%ZO^`uT_#CH^ZqnEqv?#cZw5*I)^)I|Q-i$LsiiaT?510PH!*TPjpVdi zl}PEDE{^tmL2XMlh~1%RBH@uID!QpkGV8jCkDuUH4)UR*{qfZ9UlBj1otCa1 zhqwM2A+M*%Nob&*{IT%TV-<{hzSnY3* zv{@EDJ~;v>MifH4rY?BT-cH|-mBFRU7%pWnoQ#KPt{`;_o$%e5zPEcsCHMTIA*W-B zbHC8l+0f10{i%pj4iebj=|saph1B;;LGZ#6aD0_6=~TTy)zU^#i+Rt8lY0}UPJdd-(J%2g#q@8T$8qp#1je?3i_f4n6RBI~#)B5+eXrEy?mx=4Qb zGcw;$2E48~k=T4;7PPCOcbo0$>%t#Q<^&y*d(l{MS0xAqlP2!;&?egcb~M#_RZ8l& z=s|m&6x7@ieDcASOiA)=`e2}rcOYsfp65E-@>gP zc9uB*pHEQCB<$A#=H0I4WZdn3V)$bs6km0R{h0vlLUpi@%_VB_;Y4Khik!TCokR{< zEG8dH=z1X=J09ahcW^1(4Q?#?BJLvZy04KDkM42#*EFywrHkqdJabEdhuj9 zmNz+E{Z3h~@6SRKvrQWe(EuV7ZHZ2mKCSMJWvrqLNt%ofGtBA;ogbz`8z%S@r#`{a z?74s%wy&o3S@*?P%#|3&Hfd0I^p5 zO!v zVoJtj>5`7qF-%)Rs<79Hr?Y}HX~EU=oOy*bS-I_ukj?jys)gRf^Nt5eKJP*+^RCgY z|JBkVjpba8%2twpM@%w>y$>pkCimW+;bP0PXzlaObYy3@%ZSS>7^As}TeN7N;Yc!Au!<;5v}fk-NaQ|s zo@BPi5R&J9nAzCU%gk6OCwwMmz>7Q2iQeJ=T-L-!GW+BOcEG)!H0cg9(-yOwjiV>M zT6vRt7hR+~UKMcNsX9z(?jVB&bD ebnk~Nj77(5X4ZiL@s+#d=&)P+=+4Q@>Hh!%E*m}o literal 0 HcmV?d00001 diff --git a/submissions/MR-zero/case3.h5 b/submissions/MR-zero/case3.h5 new file mode 100644 index 0000000000000000000000000000000000000000..8be05b8c61611b9d3e6cb4a3728905de387c56b1 GIT binary patch literal 34816 zcmeFYXHZp7(=Q50kSs|MK`u}8neH{UW>(KkPxo)dPN$B_3c3ms z|4RM)OGrx$_;>a{x4-`+iJ1SY`Jd%~1Xlb*CI6xSh)I-4{a1yg#J?^H37voVYX7wV z|CDof5(*{yB>&U?f9OAtNsN{LuU!BCRQzB1f7A#}7YgS8tHVqG>Gi08XzM?E_D@k_ zv)}6Vp6fg|`FO7Tchx^-KY!2F|1SSWPsje}f&UjODIxQ3{r#`ozclo}G+9#epO*eJ zUH+l{`uP9is2Ljc&82@OLkaEv657H4&P(*Q*8kspDJiLcH_-o|_WDWoG5#w#{6qgC z|CuTOz4rgB(!#m(sHB9{|D4Y|Wd7H0@}Eu__WNJU{h!AD->6s9{~23{|31e5|I(}f z{%-%b^uKEaHbZ~Be`FPlnKPRFeRh~knBqs8qkWndhmK+RE1p?jPi7j|JDTU3MU#*F zHA$V9i72bgj~v%ffZn;WsW zksVGzb@v#QagW9Y-hNp7*$B7H60xf50%oQW%?5Ot;5~(CjFQ@qO9QuI#HVrCJa-uD zz4?j+j8=l$syI>mS7+QmH3;Pwrn9Vy;Sg-&2#cvb(^oixd!LoyoZWSzPiaZ8E&ecQ zk5_|!zwWc;N=4Y~8j9EcPJqb)u^2Dug8Sx0inflJ3!(1|;hoDen0d51tiWMrEIX&AfbBmjm{Z++;{AIZlv)F*fm;G6LgQN0&|Z!;Op!s zNH-eGlxMwdIy2+8=+5p2)?4yGbR?!9JczagUEcxlUCIu!-w0uOU6;eDcw3w}P!a82 z%*l`YrtsVWfNCuy>ie8AdvOxdN@wQxa}@k}qYOI2{p8KkYI3dNw*9#{irZ!%B(sGC zGM~R8n+^^mamzGBk4NreB?SXTwxt7M?n@(>Y^TQz#~I$)X<6h!gk6+ku{{e2@bRJ3b zWwbLmj&F>taF%r;+Y%AWH4qV2cOu|2&a z_GXGU%jsRl4mDJe3+i%C$eST zU!u1vo7Kgv!Z1}W{IRZAux7wmP|-_(4O&sKr{4jhCe_XA#g1q=eLp&%uE7nu-sm#% zIw^531m#VwAef>;YaM3NuRj*hFYAWWx9;6ArMnd7FaJnPuUuqLyyu~Fu`{Y9XyBRq z4s2!QC?e}`4e={#AiMe`yyjt~bnaZVoVEZP5_U3;AVs1Jb>yp-Gn^dJEE?d7IsFil{xNvMLH8A zVAn8zl3cSH5B-Ql*#>*2K3NC`u|;6>ApkyZ+|FdJ^KswXG_*Re$XxRY94!7pleWXgVD^2Qve66SnvEmU4jg+_BPLV}xE&CjalR=7%}rfWfu z_dpmP7a>wf2}7Tf?_`$R0C*~=#$=U8q4yGf49g!wY?KlpQF9jTJJ!Q4$e7@Uyw_x{ z*$yb36i3pHKC;&bds#$TsKCpgg5}gSIFt|vEy*%)tTv8~Zqvomp)I1T-XkF)F$dZN zy`XeopSqOE)0`j?T-%Zd=kGquvxj;$ckJAdAWYpoqi?+~5{%|~ zkay@QBwbhp8SZnjyYV1q;Ufh~k%4H9S?}PvZJZ!J2ei@V>klyH5vV z(&u;NOJocbPjVN?+z-Z|K1)zfS>2(tZ*80(??cK)m9d?hJuqRqG=|Ne3@hRyVE*oO zCSMbUr;LY_!w=iw{o6X|motdG3XR1}M1*VABQU}KQj@l~1K2wnfSQ6S`HbD9_(l}m z)%r#phnirUnl_d`=_bD4GGXYc4!CaU`m3!Tw% z%{8Wz{E`Sihd7jZZpAl&4QyfTR>)ni0;@Aq@ayD9ShIa94qSecxTU@%GhRPo0XJ`8 z$p$&@xq;#5KZdxyZHdS)$b^hrkR(d~I|w(c0XpnE!t8Z5$>Y=$g7?!Eanrz5Oue6o z!3sv`F`|XlUX;YW5srAo-488R_rsw6I;3vQJ~Hrw3^_OZ2uWHNDDdq(fUjk)VNRek zD_wsIE|%`#}%k-0Y<-IH(x~qWCSyIW{znAjgm$&fdn0Hu|{*DEW(1!3CkHEr7hrZf*2joZ1 z5$s-9k4JT+__*=0I9?$LB=7%)T)}-}W%(UleFpHEldG9wc`F=ty$jO)B}t`R0e+gl z5;yK@A}!$~!LsP7=#2FUv~hdF3L7*9<6fo`Da8VoHYg429aZp6-yW6xeHwH$RllD+!dDljlz4yH`%@KT3|hH0H|#A z6xrTzXBGR!q6}k2wtGO3;MtI^p!WS61U!(TCfe;##6{3}<^s67cS0uVg)x?Iz+gl& zyjwUL?%M%GjWL7p`XhqW1ug8>#u&Cx@hh>KR}D|AMewlRhE&hULD@5NaAs~GbZ@GG z0OedJe)tx54@g2S=_&B%cNrAQWC&X0>M`r!0bKTOD0~Ub0OQ;QHt5$Otoo4FRMT1l zF4nzdomfCFKAk0y7@&b2OZwvk)qSKv$_LJuCK)b$r@0fbyKiv?N7Wu){uAi*`m_@wZQeb0t9a!&1R+&d?#0q zyzU3O{CS1@_i5u&jny#tM*$pDRs^4`4$XV?cZxg}PqNf|!T9>}O&sw{gQs;FaYeVU z*cCyst=5Ol`!WUx?!SsMV}7HlL>MmhC?T?!IXRj&5f^O8#klQe_^jfyXzc1o?8CiC zJfOZ1t(Df2-mhk$QIf*!V)o&T?qTfj*Gwq7U;&%2uEICwA%K3PpvbI+^%y;4&55<7 zDPjv0-By6%G3BgAE0^8WIz)^QYTHYCN#o3f3_*L{LgF^P3iA)jbG_(V2l+?Z)a#@O zCL~s%lGJ#9GvFPbQM=TvoBslqHQUmJ?k})+mjHJbkKiYYC-OO`XYr&p!F=% zBKL9X#W^1GT*geEFSt_3o;B%Gc5yYGFxiA|=(HLro!P0i@B zeIPe4e2>dz3$Z*XiiG`jq45e$^q~Ajs#%HDP<)Qo-#tNt7p4+{N`vPX*j;YP_~ z*!(3C_o)x#zGaS>Z}lD;6Muv9fO{fs)o(ad$C&q?Fyh0nTtFCfmMmy`1wNNlX<5Aq zZEPM#L*x<0haG0gSI(m#dnjMKk?_K4T6{#?7Ifa$E;3#v!&V-cjEgSC<11=~D+0f> zbFZhOuf!&Hcf?9q7HkJ&N1bIgz9ZQ0?T0{iK`H1z$zsD2Q!qUBf}klN1wOub(R{zD z2!9U`W%7Q0V3|9Y87(}94woab`evhGLar6uUH?QREh&q7%$PVtD1brMInkHZbMR}R z7LwRna^vzYs83Ud-OlFhy43|jgMNccrwnx+(ksyHTL)&}o(_L>N6~8)%@A^m9V0IT%u9Z`fM7`+rAEO-^^#eJ6?)fJRG1lwG4h}m5CnLRAFPx z2C|@dES(}!qPNSEu;SBL9&cpGJjpV8Az(Jmw0y;enJwdTU95*4rx@Lw4jeeRzYV?lceicpL*k#8ZG}mA$UrL92q|xXFQ@~1U z0k7QIkKYgY4RW?~=y9bDFs7jlyA3*VYx6KP{y75Lk|sg|m?zM1n6e{zmdJ6= zrke4^M7UuN{)u0PF2^&_YlIY6v>nGK;)d{tPv)UhQ3MeMhhq8(1D;aQg2|5zK{MbE zq)JZ%i|S4^n7V`;g&jq?%t3Ug%{Vnr0-RMd`pRU5Y`9U0(6);~b8G39|elauuR+6rWY}i<6EE-^Se8@=iw>p3u2~P!Lq~zzT%dtlX(Fd1U9b=>DKNYbbX5)_uY}s8}3KqQq`ICp58XfY$niM zjRd*}t>WtnCB%=1D~T)8n|V+6EFS)}6WxwC6VZWqDo{R0-Qr&XSsu=VJ=gQgEjQq_ zQ5eS@e0==c|BhAi8sj>+~ONPVFLW(^J8ypT*?znJ)W3Gi%UwU?K); zNx|3?qsXCV0-3M6*;plYJb%RjR!$fIciY!s z?rK@gQn!bp(_gU(gB7`Bj|-|lo&<)X&A2sQpC7B4ijKl_MBcm=MZbse*a<@!mDm_7sMRWO>jgTS8j~MnK)BRMcGU0iGwO&|xPB zQEBx(Fh#qOc*+a#=B?S>zB!lI`lfMT2Up&ptIGF|8-hyuU*XdFEwuQrF5M!Vh@bu( z$EY_Jv~G436+ODhQlcXHrq^}&`Kuv)W*Y`0awl-rY$e`uzZOi2ZbH)b6Bymm)n~Uk z!KxD_AUZk;qfSjky`oYGGEIc(^3J%xMH$sAV_{j`Qpgudz>33%Aw(E}y~e*-ldB%B zU#tN>{YLZm!SD3!#aVkx*BQ(tb4&eA}4C{L~mvx}CJqO~-nnEy9jJs&M2v zgA<#G`(QdOuM`gaQRUK#NOC${YbBbSkM|KKBdjVW_4p9V0j z6~hVl3RHZrf`(Jhz@{fL7#r?=`{Xr-bGe?Rg7AF-_!T)rKlQwvVAzt`jVhrf=X zqS!(eYYJ%<$kA!%tKnX)8C92Qp&l?%s596{C@gjohB|2rCl5YCe=j)$YPYlmk*SNR zzG)9N9h68v9*y8CpK|!O?wM3zlS?b(Ci7qFWjtZ#1=z7Rl18j8$GEj7Ji|wo@^LEk zal%h*c{u?aQH#oUXN!VnJiy|%1HhxRA#7zRdV9IS{7@zO?V%Hn^-94txu5Z6{Z`!i zAPma;&P6f(SK!0oLinSt4{m$*A#!q%Si-UIQzoS;94B1>c#!q z_oBBTfEJ8BNhhAyr){&l(JQp?8@3uSztSQwG%m!@-(kEwW&+QOx5g#z27HUpK5kwA z6@x}DhN-VSNa7Sr(NIw#*xU~XyD{nH;_h+qkZLhcu`jAlOa}M4ci}@s3}&2Oj8*G? z!PZ0eApPJpe!FY~g~@;5;v;1|S{RO|J2$Xn%~>$V=PzSs19+y(EXb~V377PY_{Zu; zs8;Dm<>m*#i}L|I_((3~EsLXuE;^iT_2nfGwo*DXj#>$&`E@HR{y8X?VZ{Y(=?LSy zew^orbjFE&2YHAgW1#q+dknwl@PU8H^Az{)+bG_&WVzTeG+ey7HC8-&t+Dv4NhBBC zc)*|ZI*Xqy@DLB&Wh};Bf4NTke*Pz?hJcIckK#{;9V8v88Z>(G7yLA+1)p3?1OLsNP%ll3C!fr1 z*1au(O@Az5*BJ`dtNWwn(t1{x%E=J7MI?H1f#Cl9E>UN`r9jfK2wv$9fm3h;mA)Mm zSmqC+yEV_@!9A;Z%r-|_RNg?VUskZCUSr{G(q!TMo;kv0!%B$$mRi2`%|*DJnMoH_ zNr?L&uNVKCS1nH4DI=b@e+uoE(4~1^4|z{#y7=k!2C=fmOmTTg6kW2slh(Xk#8-~q zzQIRG&x6lQigK^J^%Z-#-5{7Y{vg=D90;Dz3uph@5*#+_)#!Y+`=Cnen`&m z*+kWCNAMk!6u88(V7gdg1!foS<>BXc(3~$J)UR_RKkE0K4Z8aq-Yb0N)j^}g17dFR z1Ly3-W-fN(aeg|qCrC!9E{>-wd`AjjyTl5I@ ze6QJvMOS_ZOg7&F_woo#+B3QDj5L_0+Ex)Miw@NP-Uj%v8or+D&pk^Fh_snHT`^!F zcOA8ufB&gN^NuX1^N+O&*vEy`Sj9xxp`#=WS00Xv!=7VsJf+2(Z*xBUj956_S$tM< zs?em^L0GjciC?Y@BmGv#2%W~-2`xVyG_Iga1cx`!T9g>>kZ5oj@0mru&bftHln zFsbtxzADRSb}zNb6#YTX+wYk{_p_m*fR<90@;V0i{$J$B+C1`bZUdyP^CbHNMv_z0 zPmt+n&#;~*O*k=SH_?);!2U-IpmB0Hut83Ir63nSh{Nb*=ixlB;4Ghg#g;A-&&RnZ zO~nVh8({P+6QRcER;>P2OJA>lAoTs^AXJ<~#WALg%6a4p&n;FEZ(f}*mJT^6^vK-q zc$e*ReCtpytlyt0Zu4{$=gCJ2_l%bjrix9)UUTJzKT}(U0~&AB8}GAm3^fv-Omw6D z6&1xFe5-L}U)=0$4dc6)FXLAPG)d*(RkY!Ze~)0PD>j3X-x%j^3Z0!b;&zE zW!Ds5b4N~C@M9}&2w6fi>n{lPj7QSafr01rJ^qMOP91f0bS-s!d!gUC+=h^I{*MxA zrRp`|7S%?Go03PV$Xr;q(~}F@AM&n``TXdBDdJDP%HsBEHE6#xlDpRr8pa7 zILc4RZ#z(G`OO^aB_g@dat+V{-7q}XkN4is!W|ikbR+4$uH&FnM8qfw?W2%%^S_lz28&=#epAT;t8TK}H?y zIhM;!)0?>C4@a`$AcKIBlpgz@M&O+*4{cWcww;aW{AVpmHQv2n~T7 z+m&$dAss#?XQ)W`iaSJVMy;93u<)lRpFY5#^S}6?voVle`~cS78z%0V zF3(N33xrkAW#Eh`pMPw27j`v`6E=SWae4i7ykc=jnEgCkXxTVbJh$nE*kS%V@vxou z#0BfFh-KQm#oq-U!fT~>gm}@826)XEZx%hLU(NOkM};j15_}ca|H=z(()wcWpe7#H z`v5_)8Sb4)93N@ zH0$mdth+XZdxHe$i~9Dx*5^FRVgTRbw~0Hy@#9_ZSJI0fb17-;$5*^mr@u5Ssp0f6 z3=4jShm2fkdi6Vz=b{+itTYcETp3DJ>ZSQEvpJY5Gm&})NRl6~ucGh70GxLu2Ng#d z(5bS;aFPw>%V#No?!{5GG;j>h+ik@kmD7sh$!pw2U01{#UA-IOukx!TW4qRCXs+o*|&-gf2d1jL#)Je7Yr4vgs-O2XCG7N z?V;q;8)+&iloO7d5Jf94_2*(QKlq_Ap3d-Y$72sVQ1{dict7Afc{;EWuS_zB)t?fe z+4uzu|G1A#oo)|HV$U&`DaQr-&HdrV*Fc9Qr=!92>2P$;{L4;P$3yM%6U`b~YHV0& zEyyxEw$?y^CcD(BTg?@+F=7cf7UdB2traj4D|z~o?R@u-gEZl}30(5K!fj|UZ9nfT zT$(bCt{Xl>JY@VJ@%_Dol3&kgjh6(CF^=PF&42LdO>*Lc-y%=2tDWqY@K4N7e z#r6JpS)aLJ&rRs z&ZY$`E$QW-(p*Y-h?VVGM6EiqQS)s+f8U$IX8J4A-3bQVvn-WsAM)nb9~nQCtROyr zBA3t7+)W%c;z9Y2J4x+d4_Z$q(n+h|!n+Vjh~FPeB#y~**;UWEVV0s;`F0tXKM~HO zXQp$t0flJ$tPQ3Y*z(N_j`AH|H{iQCjha7iz!?F5a7xQAI^5(kJe?B2XB^rldNbaJ zS_-bBLD^SK`zcM=9yMjrX^x!#Tu9_}uR)hg9KQ9NgmTHJN%gbYY|;@0@;+rLB&=>E zSp~r)!`~0iK2d^MM{F6KdMWzt*2>=6rC{6DgXkV)f$xr|v88VZV41utIy6LsPxM~8 za!oeB%WDexuUsvw!WS0kck}u*Gc@LI8c2rhpykOpjl}sHIw$S zPf3o)Im)l#Ttx%P8*_l?teM2^qWa=*p*sB3y)IrU=w=NX>cTCX+Ubv5hCD}O1GhUn zg4!%SM0wX9XzS4CsbjUd-ZhTL18Z@m!6jT}(}AC-$#S>FmfY8G8b7ndi0c`;;{Ab_ zAvdQPo=*qYu`q z1F>nbM0fa0rZ!d*)+?-sKiB%c>v>a%lFB8Qh8V(U3vD>47>Kq z@zcwH#dr6Suf6iz?TjUwk9!3**7umlW>cOP@roSRH>Y0@9Ae3N-|^&yEU3HVL_;GJ zVbWlAjz8jfTyIF<-dl{77G;oDb`&mr4o7#lm3*XU3{N|!!kd2{0@bm5=t8+ebm)U9 zIzhvcS{lx#G0_n;3AfW;jq`A0b`KVM=WyGcVjiVAn3EN=M7}W&Y*A=8n|Xu@7H>I? z@;{@wV>v$yl!Cb{7tQIRhqJM)Tw;r|^~Y2zuntR!I0N#UFXk zWRv&S!Lm2Y@Mpm%d|I9?X!bIMM@x(BEA=D6M(Is+@V)uCMm-d&?9RgD>Ro6anum!c zCxOf6gL8ryYmY`@#h>SJt$Gk>)-U3*^&|L3+hNq_dkA$}w_b30>R?`~V-D-?B+-it z)=>{p5jnA4i`|HQ3CCQt=(ZydVZpw^^yvpTn)!JeZF-|f<*^s0R*$CAX3kVL~o9eqo=0qAd+{^f`L{Xox9PCIv9rHF;`2Ttg{OG4RE9_ydRo9Tg1oi ziO15SkuZ9d8;a|Xp`7wdk=&bh!4}O~WO-l^n2j-ktlyp@|13XfN_hdvS|j0+vIeex zv>ZEfwv||{J+?PNTLM>@;*FXtP@NaB}kVe1Gvd9HCKx(bj4_>vAuSi<5(wr`FNym`6>W7tqJX>g?%z1>PvW zfy;x=ag$LoU67E0GjXH%B6m*#k%hqV>^ap8p{ z=yU%xQP^z+89Su;&|&-e79~@jb$uBuQB8nPEQF0+8VZ$JR#ZK&6H=^4PAxBygRY>p zV74HJtr9jcuLbL&*Lg8i9XQFf7i6&W()&rRs{nhQYuJ{?9i(y5OcrG}6$dP7Vz1vh ziY)u^A-~V}`N+OBv*+o}WJE?0^Bb@VyCi$bj^#=;afB+>KYjs9e|{l~k4JGSgEPDj zLCSxBdLe*5|8&BNCzzb$#hYA`@M7(KFipM=F~%=RmicNp5H3MI9Us9E>%}loIuYCr z2hnmp3p%&^J=C7)fHsh#firHB?eCxB_6Ni8L-1!9H0mYUS?kVcZ;0Txa;i{MAsFH> z=+c_}6?BW4DRq8cz#casb{_DAeK-2f+}74i?y@>RM=!AtXVc-)f_@k{?h(lKI`f1QW zCE)Ck1po^+_r)|{i(Yjr@uYBTJ`E1DuMfsk#U3TP7^pk&WGW7BOvZ*Ja(;{hfA;TgIq0XdcEQWL<>&9rRz0B?RhXB4Vj3M)wQ7O z`31%Ym*Gf{WS-u=n$P;XkXc6MgGpvNaXl)9zq7|+XIC*MxT$mLhSB`&wsHK8g#%x5 z(wx5z?!~osdVHj8JmqOrKB zUk1E6u>u~NC}M-m6?SUWZg@W=1$17YB}LMsVKE#7-xEsUUYW>Zehh&bKQh7S(+H*_ zT#gE{H;8Zgau}Ce#VWZ32E5$Nek{2~J{{C#>8bIUdBO$tA2E@iNg(@N?2GE*fc~y~ zn9aAX_`K*ZmcD$#b}hB1CF8czsf*HKo|z1)Y}yM-(GzG+QzI;Tdj>@(EO@Y>8;PqP z8eAM9kXN-OdKJ#ZEldYi!y#~}+5sCwezQ?M7qEEZ0qjbc$!=8pviST%c<{L<_q{LV zXG}c#HQ{vrG_?`cWGcv_#rjY=H=1c1-E5Ai`wRWru2;YM;{TrD10H9HnUE|P?oidTLe+!c+o@Sw`_R9LFOdd2EHX_ z@a2NKC|BzvlY18o%j8O7NBKo&^>7;&pPvl(oEpG4T^^YJTJ?qa=YP&4>b1RsUoOj`@>$=WcD@oihISAw{UBETQ^0!m91{fz zs+p)t-W zp%r0Rc_by~7pEJWjJgOK* zzncjf-cD?TQ90_{>2v(Em^XL3@bAa8dDzoCxW_@0hs_(xO(JqJM|L#ssFCBAHjBB@ zP$RzN_I@0zn8)(Hj*xA}Nf34ZFiiL)7I=QXgyQZSXsR;<)H-bG5dUVVdi)KQizo8u zzfZA%nvd}E?;WW0)r3p)SF*;>*{EB46<2lIh<+$u2HEF^;M9jl44N~Wz4@C1tMrOV zb5kG2XSNsUx+$=&!I#mzZWb;}35KBLosc+Q0l!|Z!sN;*+;Qa+b6DcVJO{mJ8!kL! z{i8KRU$&~VNB*-=L8F&VNs0!!Zz^=mWi>jewGEuYYz5H^-(ar!Yy1Op&@xD!It&)W z9pgeWB6K{ItBc`Ga3a*6@gZM^x09ZTM%b7B2^vW`BtJX|>z2I(+mE*)=z*%hJS`FX zUHHaa!#rT%f$tEyY%o1KyBu;f=isEyd_0&Y4YQx6!qZc>xch}1*O(WAA)DTi^+%ma zn2`j2ziTH7?OUIn2RHwna7Wi-1=E4yt@;d zQ$?cMT6+k!iH2eRp-|N01SMBrkfa9Cpw)G-@59PVz8eP0eRhJvyP-t9 zAz!4eYyw}qzQY_lJ$g&f4q;wqaHbDi)-@snUSy`igo69zy8K;Y@n9455NReIKZtu2 z8}W$?weZ^7&7xzLXVHB@3dX3nz|R?z==nZd%5=Fp!udA#sNy@BI#CwnL!$++BBBJp zHCoBM=+mUQ*iRra=>=KS?a0=-PsX|@LgEyg1w|GvL|x|->W9nluyf7CE8mP}P1B`; z(?`PbhG16lQii1MRfmZ;E;>ZtJBrs=$nne3^;oz}iuDS%LY(U**kW)RdOu7jcPiK8 zjEfs^RZ=zESawh}-2<5B*-K11y_A`ZOeG8TVxie3sc(*L@53y+;=z(4{L{1z)qD1_ zDr-fs8rp}?l70-kf1iRiQnyHPxi>1rJVLB1#@luK1f;(*ter29iyU+DOp7nsa7dHx zaFd{e&4;7RI&D5NuO6k650g3XL*eOEYp8!Vn(TIJVOFJ5Xfe^B^}BwM4fIbHgt#V= za!YK0waml$m>MB{Gr3qqVWQ4l@yYGG=pi*slY!b(YO<>pm4nywj@6y z=jZ$N!L8%4+o6H{W>}{gkY&>{= z0Fl_XK;WT26TKw*d~wbCIBZBHi{Gq{?at9i^P*AB=O-JqF{?TIT?_mCBoh}`=40FU zZ){z=jmT={BQ^{u_A5Nc&UOn$TYLuh^`!wrCe-2^PkHR0F_lcUC=z&`Q^Lzqec0VK zmV!i^Bk*4FFbq1eM)d32V2oPZK)SYh0d`#R9AC+D_Xl8b_GVlzX#=B`q^Z8Bn zgwO>K;Lgij7%caZ*xR&-Je;1fNdtP>xN@)^J0RpYQVar9a5?^;lS`AIB=Q+ zs$@xF?{I(I|0NfLETh>*aUU+<>H?g)U?LPZvEtE2Ap7ksjQZQ>!?v_%x9oy2@>~`cTx-BB|wP?llBOgDdbR`2obHM?lB+08**h;-KGY zM&@KIz}aPY`{MeyG2zi=45Hgahb4N*`JO~pbVmY5=9)Y7bdF$jWgxDR*@|sN7UZ){ z988r@gT;NA`^JHm(77U(#ME07pC9^gcT*qU<;Y=@XgH`(&%E*PzIRM=njWsr`i!EQ zF+7G!aAlr?S#QKRbF(amx$kgIZ7U8DKE#7Y572`j!?9JHcQ>)#9tnRRHNeUl z2+X1hNajO$G_DWt{Uj5njFc9|zJADdcJ31W9=o0F@iGF>_Cs)4coarGIRKeaXW(q< zeF)fl8V+ur2A}+`iOY!*%>1DQ)9|%t?VmL;WxWP|Q#b9yhV6xTpO>KN@E3k3<-$^* zEO3eHf()82xnW1 z(ZwPYC%7>7_KLM=+3#uOobwQ{sqG+R_7BAtZ^UUD<#^$26;l%#gN|$z?30Xy8QMEx z>H||a@Mo-micmR4*xR8{^?5LSE|n&F8Nb*n)obkW+ZeL9r;ez| z?_)~sYN)$tFk?@55bdK2iN(@1!35nof|=J9+0r)}Xt!z_Ue5l)3=h>aMU5!*=t{ZHNLUge%UqA zbR|F1ZCXXbkNXI=l$~Ware?AoHpyg;93v-JlrvXmf?GRk1$MPAkW5CxWWGnVT}8y^ zyN+PTAVst=bP&$;h)2F&2VI}+C8RH4u{Gi&yJG%>y<5DKNKGCA1;3?;m2y1m(N7bk zo8Bhr&PT}+D>tI!w%?(Dniakod=~fHWMKc{XG8%dV)8N4i0Dr3AuAsz08b|H{QGlJ zPTfvXpw$%EKdKU5UbqL(TNzw_xEhS*!r=T&NopUZNw2rpLhiH8&{0|g&V zeV$Ho1p|PN35F`qDX<}_mwdF0hKmCkIL~v37lSR?g~w)Cy>SK(Ix-QfStR>eJCPWK zMT)w;-LZ3f1LD|3^jV9Z>W4#_=?zJteEsE>Tih)jiL-NeCgK%#e_g zm02`IJE@dWMpU9~q3(IkZQ?7WNJuiumaNq8^ZWb$)$Mc7=Q+>we!ZS9_O$<6bV_zd zuN!hWZhHfHJa-e=7M~?ft1J*YXCi8yVlTX7MXP1Q$&{fV$kM(AWbx|`cBV5CZ#U@S z`4jd~aVi_mg*rpPt%IW6@3QzaI3LG6tjB{{6EIUe2;MB;4_blq!EWCac%w8EEPCIN z&x;c!!|c+STXQYT_H@SHjuia;l;I=W7r4Xg4j!qA$C7@wn6a*um3rNAv)vd@%GFm9 zeT!IPdOCpc37=U-$1z+XABVMCXV`^(^&-u!spQ4RXQcGk2-m0~6S3dtAsG2j146cE zK(KRPXmr@gh>*>Wf4PG^=-5hp$7m57w*;a;ToylsS4x)6+ec2>T_?98hD^CvCff8H zB`3e1W?SA=GMV}BM0tzn0lpmzIfJgVjXwKuaHGIzZ5=^IcQ1n7GBx12p&d&1r+`;a zKXNB3i>Xf+v-gKai2|PrxvhuJaBg%w%>SMP^EL_fS<*f59wAGIF8l%wN!eh~wH@63 zGGO(DS#Vu9l06lez694TSiDgkH&u>h?Q>&@ebi_ex+NG4U$2Lr_tRm2>T2@n{%Bmk zIuo589ntz^3JLrh0AnAIfxaV8lTXn_BK7}Vn0cNaM(!JcIz^*J%0C>z+s74pFDDXR z>dAaAUuP@VtjDN_n&j=Fco^|T6PzXw!u7wFqgMNG_GEXpWXtLnfdNkf^ZSWl6w-$* z`nM2ehD=4-Rej0ay%S-$+5lMO&?}10Maj#FQprX%5bci6BewnIV7zuDd8?Mlb}t)% zDheOjIJrHN>jMsu$HR-s&WQ=+<@2B9sZ0z=@C-zlPl0p0zKBMJt(L3^wqt)Di}29H zV*LJyWBa>8j5CSAdeH^;x>^Hrcp^Bz4}r3_GLocXBih@CvU?GFm|&}po_QYRoxKiR zvXYZrUt7-xF262H<+I3`KbmM@Z;hAFbr9Ga367`j$dXf5=#ildy`RIO=l3zPOHK~}z&<~VlF=%A>lK9~G%Fo68dT5@N)8b+4pp=IwfoY$L2d=?&un)%7l63{FP2wjhV zjuoQf+Y{Jm8iEyH-Pv=^Zenku2%oWtX#RUc<}4mdcAQ&_ecpXSo25+{p_PRU5w zpN!t8`r?PI`J%MNG33OzQDCyI9Imc-334{;z}GjA9jnQ~o(GTc;%+Gh-kpr@Pa4SK zai`$sp%@tOX{cyz>NI>_xfMUUYM^_hVY$nojU;K49I;L}VSOAFFnh8xu1{M|u5Q`^ zN3Uvwl|l#GamgIj{L>}c>z87=QJH&eaVm`bxDQsoOK_i8I~uzNYG4w(>>7Ib6B$&h z3&z6^i|(Ndrk7dchR;$mzj!M24)kHhYoqbZvlndFath}z+=i7stx%KI0M9zZp)1s! zOq+Cor3a<6g|izZCQj*OkxU4TNq7d+uNcy`VRlrm*q+}1I+`|l+R`5{`qJS)+hE}N z-%xy@8d4(F$+q)r@MX6=&Uf2O`fY3?WA+BYnSOs@U0x3y4ITh*Gh|Ww_e0iXFGIeG zb>Swgf(n7>I_y}(jILziuTT&CB)p^bgnO^jw0WX07jCk(vtmUtANoO4+DmdP@dPOi zd{JI;`kcggXDt~Yb&Krzql$rw`_Zkbj4AX{fu3d8h->2@yrMcEwUi^uwEH%bt0^1V zPo{?I^ZSwFzeOaMw=s`nbA)_*CtDTwhc&<5izlNG;nTTp*j{v;Z8@7F`Q5Hf>?^Ji zJvSvdVmlPnTK|$eu2aeJBkII&N;c6wG>s(Pw`F1cGW(r#p3M&MWrK~A$yo0>aA1rW z>a=H)v(-b`y3H!(590+s@>v{oTWG<@^4S>ORf-J>iU^CRz*;KQ=GtP|nN&=yIvz-V z6uRJ7-EqS68ApD<+W-z?LYzf2F}d0S6N{ACAD94Yma>pj-YWU^Uc&x9-^T9HU z;muntIGK&P3&iL@HHJCpdBd`UccE=bCeQ?3(p5VS&%da~BXt9KOV%)6`}hZ*nVydh zuaDr|&XpLe=tMHhvp{wDdH7~`5I#9?0J~?$CGBw?xE-yySI<-Q9a11M?br)bB!{7_ zu!YzipNg*+RHDZBB+LzR6IBN}Lvis}KH zG4ZSphHC#jcz+}p4jgm@gW3@+*fRu&W%=W&?t||3{x8Yxz{PCJN-L}SBy(@dL8P@4SjBrV$EH{;I}*$WHX0$@F`O9{eI)XJ--uH| z@$I2IwDC#$ZX9bd5<8dPBgSJRV21i1BDpWmKJ|%aCk`3l6r*g6)jo)4f@VveJ_v%; ztQ}4X~=MgB9F2W(uiNQO26_ z>~`!DJbWq|mArPbiYG#b;Fu0tl2UB4?qGGY830|I;E>SMo|v-`*Nq+`8mZn!9uDX$ zsjxoJ-mnD8lZU#*=wpA0R*{s*cU~g+wnHK-Epb0JmzNh^iOrZYO!}w$Gm1J2~^GHz;TI{(S0jFTPpw7nPo7vPF40psM!{ z9?yz^b>e^JA4coqk29xnwS^MTs=JGCk6a|r&ECK*gIox`p)E=CRF=G!%mI070xmbM zGcAFkb#3e-D=NpsKZjf7{rdHip58CaD9Zo`8{0^J&H~~7Gadr($FtL4?a*<3rDW5> zI5I_d7+bzt50}ghF2B92h3Hn*v+<5aI09w}?h-|T8Q29oCz_C*-s|w_%mtWvL?3o^ ze1jWWWe{+?lKm@^;Z0R-xaq5i>~&Y8k?mI0OXEIVaz9SQ8{V_&ABSVyax+}|zM7d7 zei7X}I}&E9=E9c!UC^K*Pw9dvSU1CzJy@*E{HI+bgA_B_f0p<0i^pS>vY{+~%wh0J zPlo!4RYa}^ndd4;+_B~W26?**?<5f{*nAh(e-`?UPZM#cya~P#TqkAI!eD{d8_`C^ z?@ZtK5wlO$7S&jOChKxCN$r}8Y}^5P9G+LsoL7H$ztrW=(#>zM6Q|l)caal*8CT2# zyK9Kf^Vjar4|t+$(Y^Bivgx3_*q=<&d4^gPYJz*jc($3#;8I*a|aY)7g6VE*SnCEm|Rh39n+;gKt}xTSp$npep1 z*yJ{hGtNXGEo;o46)!n5dOB1eNCfLe)~wS)ogc4o;fLqlLH#jHBscv^Nr}p(@|aD! z*e7g1raPzO?Qm5*H?fC&9up0jO7F?tL(|cH;1&GZYKTWijD?u9-cUp21Rf*-O_mvm zx+B)Z1?^PGJFbhr|2uW)xl+X=-kMkHp?73}iXMu*5fuu%05+-cqlH}1>g8&-`i zuSVdC)@!g^O@$8m&`at{PGEkcH-_{b2}YscNl0%3s(q-%uAP0cD6oQP-+xS0(vJ`w z7zv@{Gr*`%IK+;L6uE{@#$8@JarvI%xcRrxqezToE~+K&5n*Wnsm9c0tOcF8q!cvS z8B(@$5bDP_p_^GJu6yjnRvu`D5?Tg(cIC6>z2O+UXd!#`YX*r+G?BcYJeUko9R(u~ ziJ(QuGkc%AFEM$wf(?G}OvV%rg%*KLOqq9?{oHhgJsy0U7+S}Xdt04Y$R0V#GZ_n# zZyzcue5A=zt79mNzW))Oi5Uzr-CIaW-Y(H=rEM%+#~l}kg|h?tQ$Y6Pa7Y-`hfTb{ zjDEg{WHeMV0nJZvse;*8D!RJY=&t>*+lXJ1?ZbtbPXgwd5q8Y#1rAdAtGs?NKGmr$ymvjcK^zRF$a2SCg!o zRLlm-{${nAW3Z3#ZV29;hLQXnOQa)7=&x4yfBSM++gdG@=9uE)>M`hC8HKBo4hY%p z?W_eiK+@GBc-uMz>YEjC*p{i-`68?Q(*#wRLq`!`r3}_R+K9z0Swdd=&m(%do&;2BfOOJ+cFS1sCD`r6(WA~uj+Oe7drnW7s&5p2zt+gE8D-{EkPf_a+ipuPSRT1TRMw2cA2zc^BFm{D^IiCTO#O~ejrNKb4|Ah4 zq~Nd8A{?+J4#oGZVfJ!!N^~Yt%io4HY10A>K3i8m8c*C%f|{aNV4toJ{6`MTD;s0TQ9G>h zA@17k+VEahEP0Z8leH#|Cvrz;vtwErxK3NbW`wlxns$V4pen!Q>6+RiVy9{2x<*$)=sTuC#O+ELxAG!Pk68^v6#o#i z&kPqm7{eF-jpQbKhx2@Rs% zqD_s=e#6y-0M-&1h4mXd$qd;Sg0pNQJgOI(&mrcxK4=u2nsf|ImfR)(jt<46W4^M~ zVWwcyeE>>2I!G*;N?JA;gZYbiqVd)W4?0F+vY<*b#&mZo8C}BEV@8P!UYr<#E zF!ypStUGlV)%2XW3EoAIw=OU{*P6Cl_|ba?K)cm7=#&;8h+okMS1Id|d;=5u@5n~F zs=$LbbPu3YLsaNG%}}!QoWKFg?Ba^!St@8xY^a`*0nTZuo^ zM$ba=wFN}@*UlYWQMsmJ@nR5)HYn1 z_mgiE=BJ&Im16=+RgD+_mP@K4xO4r94$KY5>cH5oqO8g-vSCBE!kMp(3t741LhQJoA?l8hzV}rPm%w zY_$5&9P9ox^uQDLcDOSiv->}6G$&uqOD?o#MB=)06H@Jl62zofJA!YsYUeIP6BlEe9jhv2+AWq4>EP6oVf z!5c$&;ravW^xv_cFs!!)6)f%fACq*!1Gy1mj7!+B$eXB?@B}CAoy=n_ukeGn&+^wz zv(R11o0`@wr_(PDqywye!k%%TK+j*FCZ3!@ivrwf?%{{<6f(c~$rT-q2^fM$;N*+wV`z+e{%z*rH zMNqNR5BEA9#3p@jINW^(#6xPx#m&BC#!7kU->m~V886Aq;s2E%oH?85ZEJ&r^*yjA zSsoKl-o(DYZh^+XAex|b1p52w^Q!+e_+H&PFyM|nJry+_?QSOXAN$U7!x#SiaLgGz zyj6}FJXgX|@?UVyU}OI4x`=C6B=Pqf6S&LJ3HaFBoMsjV!RpHCd~WChKF2!+Mm~t3 zAx%r+as%br|K(zKg&iFm_!S}oA7O{%UDSRZ1UrufgRE}^)}Gvk|Jozq`CAT-4}^1^ zmSSm48u@5*7ebbVu$I}+Q0KM=|Eu$h98xx-x=S^&*mpQL`MDT|#?7IYBR{i)4<>NO z`6u9t*E;&=+dQmonahvJ#liWJ>uAqXIq((g87Hd|&=FY-E($wg)juWrF-(P;d8lD# zo({jH3g*NvVD+C$8~)+oFMR zqT~kM?XMu-@2@28u>C@lUe(hkubXt$$3^t#g?mxeLF}Db0ILVxh4u-#JRxLGH2}`7bCF#~zEs`qZE9;)m}<7kqxPs}eC(NKc}wI2C^$STEGr7uj&1TAbT@ z3?AtHg-Oj*1qRfFxMexge9(ZekRdzX-3~Y+aTGpH4;7Kb>R1sVKDc`SV;e5 zPSa*&gImis-t}$=@6ETQFENSA*3TCF5KdCdZ!XeR0vl*rnaMLRtmC`YM)S!ZBKXi9 zs?xDlY5gbEgDIfg<>|>>>y47PI2^rOe^TFi3y>O2o6~VxYx6 zvRHN#%rcI}6GyIKzyM7e*7q_jxiXOtp_}nwi5oo`x*FM}x!mC7Z!ps}rGwoGAKyP0 z(~c(73puJZJN6E`n=8^MmHTL$?Pzp-FoZvwHGv)sK1tJ6XOnDmb58C&BDE)~VOG&# zzA}>W-y7?>if0?|bElt_E1OFbU0kKZ%t88Lo}=`cp1CyqshTw8VGY0Hnaw@khI7k| z^H|zx2d@8QamWHyoVLuDy1J#%QW;k^cb5wP{@-AFezPBytrOUS=f6-^<^X-Fsz+Z2 zNAvN+`=j#I96I4hrQ5BxNZx)U9JYV6q}rJpe9p>l4E@&#LrhN**Et73=i5z~w$hMK znz9vNJ)KDB>{x^rN7DGoL5VOoeI-qqJD%$uSk0f65&Gcf7}{EA!}AKhqrdzpIwHuJ znpZQNeOa9=cR5gJ=b!YT|5fU;IRu)2yHlG_+G2wnf2ii2o%nNPE%$pJ$0P3T#Tu&< z%%MgWt4=M3(Kd24Z0J2aI9o}&TTVr4wa5ovH>!xgPm|JXv;Gn<%^}n&q@P%I=0|!g z!5clT3EvYuindv-qSyM#b2_#QmEVe}Q>qlK#u;(n%n`!`N#6q~oY~E2{A-6x1%tN=v^L@M&eabmhkvkmXRq zbN=ijyI!QwhMq>;+@!~kjuO*@>Iv{@xF#1uZr~m87RH?W&5mixikcheL+tzn_xEW- z;O~O#aB(FeIhW_6$7~DOcl;JK)SP9h$0p;(z1yHkctXfSei!O2kKS~0 zpe2G|+V%(L4|Ab+M=s#nVW%);uOC(G-^)rznD9AWS0N#%0HVXn!FS#bl6$fo3$~pi zS`9hi`b2^k&c|SGj4XZj;2Wo6q+UT$a7b!r5QRw|0ryN|}W;N7`3fM_YJuXb-jRUkmDAUvs%(_TuFE z+2U)T)#*@|3J9}VC~iA%MhD%QB$ci{!#ffx=?~|{;yrgze5&rgIAddqc*%7Q@!0pA zuR97-gYo-l#~4@fQn!2}s5hx=^=Wa{2o?i#$kw|NI=kSZmbUlQO4CX7qJh*p zZXzC#Eyq^ndqS<9y4OG6&vxAO`SLi8-S;aZ&?B$(&_-<#9ju+=W z0)mS@oIcume0?U8J~KNmos_39_KuDe+m+7ZHq%#1o3_lBKHp|09apoH>wM6rU(@zc z`Rp<})m1_(ip*&Ds0*-hgF0QmB@KLKgFxo31okXf5={-wW46_Yplkkg64#!M@l{e$ z*MTLF@iviIPjQ48m*wzZ=piz~BnK6aCX@K^ix99g6o<;Ii|)-+r-K>~V(XoIn6P^k zT^3VUUf{5t^9OI>>)THFk`&J4S~S=Q_rEZ^t%R@0JAkT7`-=UKRSQnvV)*+!Og#8- zH|?8dD2+;7gpwI~Sp=(gJ6v8ZqY)%2Jn-Sk*Y zuUbrmPrufa=XYOFrgxriF*ldGJ~t3Q-91ZuJ+z3-_;-OGDY6lJ9nsCk)5qD+vXOe2)1{6%n}u^NSpkm6 zYoQ=g7Jc4K*ufYHIjIoA9(m0{qqnWZ`l}NRpQV6Ozr*DBiO*2dI2Q&^+{pJn`t_g6?Z<_F&_vIhz)Ua)kIvATL!H?PZTyqu_d>6OxQNw3qDRfA-vvcztFezA<-n@Abdgs=%8(DF5jp=D>mzv6? zS4tr?_aI$6-pc3xAF%TbB!&($((<|u(yZ^9($$Aj zq<*RMq^)Yr+|oS-Vw|k$Wv%_ZP`OQDKV$foo?ASl@GbYw&A~x;JHa5Vgk;R|pd%OL zP+E~8grUphQexN6Q67{{e7;etLiZcwe*)P?j&?^^> z)yElr33y669SWFNj~^NuE@Tt>>;_exb?9L62(|XVgKtXeH0tX??73<|UQr9W>0}5> z{8})#&6#d|G6DLmh~yJ@pvYT8o$lBj#Zx1mdaLRSU8>nhA8lB} zQ)b=f)HevVB=xbSIOY^U8y}o44>*wQD%7-H8V4 zFT;}$-s0b#JrFc!Hhbn}$Y09egC*9D&?x&4L*Jy5<9(dz>20qVm+izY7M^J98iqqF zu88EPszcL?X&Ad}4HgJl{h(+0a6#u7PF+^VYG!HBsar!x)yFS5>d_0x_jjWO+JpH~ zp)Q#<)*k-!*XQO})ua#qh42$gk&d2pjK-PIU|I_OsIoMg8s%Td=OvB&_zMX??l78v zdaw~dKa%d=??d;DJc`TBuk+@{m;BtPKK#m?T$<4uPRlQw@H?KyxZJmiPI(kZ^KGK} zN$+SrCHRu)+w5<+uVobp zO`n~k_wvrssS76K=NFrKoG6+Z%?YF{e|W-3ew~;4t4MQ4zTlsB6mpeWQvPNQ^3tcm zz2t^19kBnNuxDX1FB`g$FHCw512fN3pIe%A@I-z7^7aNH6CFpjK4egpW4Yu}unum> zSE7y|&O^Y_?>J&o8EP%P4d3eXpf2znrk&W0UtHdTMY~W#B{gDaxiyX$DMSBMDT1ox z3Lb2=!gjq1teAEQF89rag-QB+Y^W2P9I%-xYJC??*)g1dcr=P`JieDEtvBQW0^>X- ze+r%Bt`IL zlE1^m5dm^yhmB$IIz$6ge~zQ~f9b;5fHdB`x*8|!@u&YT<*=wAUtTQqqmBkHqAt-t zaG_r=zL3nPJ3mc=KK9l;=E8oMJ9!+1vRHh$^DSPynFEH>XRyk{mz4iX!^#6SWb5>K zu5|(dF3A)7%F1#{$`(H7j~|!$QUqm1oCc1{pr-~sXG=W$@_T0ludD40uJ>^% z4_zztt?y5x*YPGfv##N6}b$AkMvS4leh0gR5l^d)e5G z-?JJ8rtS#5TRM~J^fBY5BlLusT|7;>ltIJyt;A(+hq%g24PJM#7#^F)fX$ts*lIGJ zCtaM45jjTmg@Xazd2JfjS-J4DKL_%=)34&?XV;O*X!8NO-_go-HuyL@)2)%~;K%%d ze1n=HpC?L#+&P=*h8I7edbAn;_TM5N($@^S&aR+mH1gqDL>(4;Iv~$ZgZoo;$j?I@ z`OEmdeM|_>Sqq66%KG`z7oCD)|bAyY6+fAhB$QoAtgm2TI&kIzjD zaPly9YAJIJj8?xwmq;(HyOaRFao!MB>&=!`&%~Nn8bn6mX3UM=vlFJ9Q1kB%*XG@u zVdFJh_lW2^G)*sOxs@(-eU~eBn0b|iiQS>0A&g##3#L}Ha&TBan|5TzA~&0$M8 zcPQkEFOTrxBf9+H>*;J|1xL92Tv&4sUfj z-bNPgJ^0SDwKUntCr1b^QD;pm3$S;IF^b>Rh?JA+7>zH(k$s&pdTRvq-DCt0w;`K( z>=?ZI-A&du?!l4!(^y`y9<&-SWx4jUEN{y`sQ<-8CC`4~hf}#&Y`cPJ*7;+^)OMUX ze=o${N~5+;d#IXKA9yA<$4bW(*!W`?EPgVCKd(yUV$2#Ml*nYTp z?^PBkxTpfS3XfRn#M{Oj^T*29vApmu3raO3y6?0>GHESz_((;;DLULrbsb+Cq{WxC z&t*x57g@^fwWzu{0;;1oQL7gdY4n8k=qGsl0;{(oy)hKnjz~r?>f=@aYoZ9>de)IH z{Jr@)@Go3&nT)l==x^N;-;1wd#MX51(iw$6C#JzQ(=13{Jq~rI1fbKrY*_P_!R9(+ zl&>qsHxCsda;75vVf+B5Wca~fIYn^In1^x&R$Qe;iZ*tC;qk(;v?s}={M1$}zD+ck zw`qo8wdj{11Wo8Uv;cfJ%Hji;2JE~PhsyjmNq651$8yuj_eCqQ z&+2?EtTV-m_yp3=$C^C*dm7KIwBd(eY4B$^Wie}!Dh!x@jXXH-;hsO}i{y&cB0OLG z7vG4l*#5N-Cm)i;54pHqa+U0lSD?oC9pIa33Hq)H z$GPKQ5q)|IZ=8=n+@}4sG{jMqHfe&F; z{6lmaQH^VTu?9%mAvRL6IaF2Xgqwb5p(+2VSwd(xGx(QflIS*z& zeF)=zAB5NPzskoSdF?)3V1V*9eCUE1oj^=(iq`y=gKyElA;921Bz5&N!;CLzp(cEv zmuJDt;!x;4@5P2s(nCIbJ}FD{gSn+A$*xCzQNPF)jX!-RzxK#e+l`rUKreyKR!|oi zyL!UB;or!J#luB<$tJ8IDhhLM{l@RNs&M3`OzU$b!c|=N9dL4(TcjGu*fb|$jNE)|6DsTzUdYQ6+FSNmo4~a z=Ta=W5CxwXc+k$AJ#Vw04;~Mnwby}%2|#3R7kRkgA(=nFo$Sw? z4jO`F{A;}feEC$5Q&a=E`v+4_EbN8ZLmB(Ka3#K&{)}1qO32X)fAYNJjAZ?yZRCNT zD;Yafa3maZ6rNQrEb%>tm%v=h29Z}FKek^3{J<%^r79;d$h=kY!vpA+KPToD!~z-ioc2t4Zj@i(pe5=I+)Z=GpW1a#NvaCow7pF*yZiQnxX+ zYb%)61V)}`j>OW4-+18p20X((A!PLjVtryIb_-7EQMnDoFk%Rp8Ja+9N(^?4e}FMT zf6GPvlR=HvyTxnO;mg)%m=r$;!w=@NQ9rvRp~3gbdBt3KUVamr7 z_vUcp-6$IPV+8$svKXq|n44&WCu)imaD%N1M5}P<5Gm51?L%n&YA0$dFQPg^FFCDM z*nPs@f}Fex?Y?pte!THUkBcQJGa-=m=GKs_WG?ZEEQPe9Ao~8N7oERaP14}=A3C+X zmuNSL;q!x;IHU3>S~>PZFO4H$b$J`8jSfMt&&FKGNP#D0E+jwg8eyTvJJNmj1SXGH zLML$&C~vt%ek5GNyvsqD`cH%8kIRAz^Gl>9WCY@^a<)<9F_D(60~&V#rq}NvK~?#} z?xlM;ZAYx=NLmV9X<5xSD9dvro6p#9XbHPupbI}k{tH5I#BF3k&P5z-*g7 zk?k0dri1Gw>-+A3upTc+c(>1e=g>`LWso6ExcAX*Nn`{|{$~WFc`2+h5OyW02NQ8b zF_|n^%JeT2^fxrbZ+0zg(+hnJUM7ce9zV&Fi*KN1rVOp9*a3UJTSc~m?ust9>?G}m z&spQjPAtDLnkV@6<>@y}@yqK^?%1)7EvoXsxnC}0nfrGP@uT$&>d5QSN(ils~BGi!R@H-|B zeAkN-j5slxd7bQwyD#p-r0P_@Dyqt91;HnVNyJ^CeOy8O9FRF*ZGkmH!%S zPMkBsB<7nOnagDZ_RrXdP5xrZK6~FI=A+NM&q=mK`+x{+D!b2anvH|Uo%XORVgpKC z|Dt{CK3ougj%6PX#aI1%SdTDoY=1eM8qIEkvrXmf_cUL0IG(~pGLBHu@g7>HJ_WDQ zCnec|%{XoF4_u~_juuhJS(eWUa`E9ma%j|efd^`Z-D}6tN7L=;t~uX8ZrvBi+-FHW zMwrrdLKE0@qXlcx8-qWNnPShQD@=XDBvDvmB~iGZM7&mxXJ(hQ@$$-ApFVQm+qgO+&Yk0;nSzwu2$y+9KGXa}>-w??8=k4l3-Ig)_=d=&?No zYf7f#i=bt~E`|phf2;3Vh_(ANXrp0gf9m6wmKZM7yyA zc+JxOTfNXdTa0^jYn9}d_l-`-NVfvCgJuuIuJB4iv-;~isyt3sMY2Q zwz=UZSYFYhG3_zXv(p>TUmTBSsVm^ohl3!peafV_&*D_$J_6rbNqQv_WTDJi$t<;p zqAa?fBu1|hMGxN37B6uiif-}5y<#fS3VcdzY}Ugc3xO5t*(q6(U4ru4E73B{9RG`$ z!`|(gfWL4r%Go8eDuJb~-4FsZmV|-k*sdRoeRm43 z@;xp267L0a2Irt|MmYq2ngbnj??opI_mE8|%t1+9B=Wp-5|d?KBelq9MSjK5=(YY zH1{vw>rv)g)aCi$BcCzUsV_HAP~_)l1mnTwRbpYT*jj1?&+N) zfn?^m_!hgJqKYHpZ?M4@F2s1QkEAzOM9MSdAw%`6drT)q<3a_L6(KQQcAtDy6!_4| zi8ytfA6}v|Xq2`S_l>`Yv9&SS^)=l6%a8HIGq1m>^XX9NuulM!IU^vXs7UnZaIs|V zsO^%Tg<2AgBvZ+aZIAq!k_f$1iCk)(!caNZ^!CJh?~;|}&g!vz`WUg3n9z-$1+`dQHUtIZ#95d)IxjkT&1P9j>ohWy3e;fict*(IZK7lbJ6a__El1*IR*Q$Xzre&H61@JT7mF%P_@rZfxZ$o;oS3p+@TA9Le&4Nl zFW(W9{!GI6AMOmeBQakWjqRb^@z20QwsQYM*6H?!tu{zu6Nh?94D!b_h1Ww^>#-W5 zq!747qS>nZHM9?7hzk>k9?-l9EBV68|wvl((cGafxswoLfTh|g}w*6$RWE#;OYX^U?HWN$p?<{ZAFzk{T2#zsZa3@-z zJ83qX_sj^J^juicNCU`IiGmvMSP0V|3_o_}FpE(m@Hx*Q1BI->)>JJao9~A)Az65h zuE*@}Svc7C7MiTJLy5dB{Qfc@&X-w3|GObz`TaWVvb_$qddXm_w-4q>!=T!6C|IWT z5N*3fP~DXTcl+qVqNbP3f88{EZzwQGOXToNVF4cVEfV+=W41@?4DE&eVY$l|GRb`sXcp2<_ER1<-S;5ZcQ*b?LC!}<$h(4|~z~tTG z?8_@%&^oXZw!MiYp;2YTJ9ml5#ccrAwl6`w8cj^zJcf0A`z|RNTQBLeNrgnyQqs_P zhJ5x(BY~O5a9~gz{P$psu%E0-q`2D?-|vb>E4eU?O4yDUUr;Q~{O3M%#RS+X`-UjQ zH8Ic?VdBJ3th>316|7h;u)3FU-;w9I{`x<>Z7R?2Xm?}c`)>R*PMKew+JnJ;b8z0b z{`l9Thp87_Wf?;LVtWw*zIg*tk|^SC8FTDhoX09^Wh9p`<&wGDo4`A+9xOk+1n0k7 qp}jVSI1K6sZEQct&UA)D31^thjA)$Rau9R-ZN#SKIvD?AkK}*3@pn7` literal 0 HcmV?d00001 diff --git a/submissions/MR-zero/case4.h5 b/submissions/MR-zero/case4.h5 new file mode 100644 index 0000000000000000000000000000000000000000..f5618065e45b30c60d77a38d8e893943f0a69386 GIT binary patch literal 34816 zcmeFYc{o_moo{)hj6;6JyCm`MCrP3Auh{}=urH3ANH%%Xq2u-iXxJ>egC;~zQu z2Neliw|2Al##P&Vy*K{5=^uREChxWX#{VOyCjYtN{{@PQNd8-X|LgKE3H>ig78U)6 z(|@MRKTv##{x8Z1J>8+X^sk~PqAnw%e(>LQks)p}|E7zHiT#^_%s>3ZMTZFgRRsUQ zf53lc%71VD{|Z~;=){VOi2cv`yj${r{UrZ+DLwK3b-(}9sQ(+~%Hf}}75w)x{{NR; z{r6}4zu5n-5wPBhXll^N-P=1CP8{0>KLSb_%e$93-^nuA{#p~a{IJ1hD$125&4kiZ z&CG$aKw;@V8%EU_ZsKG~7IJxOGtQ7ZWY0^%lW z3@fr1VUFT93|yjx*GA95V>xlS#x4U_9)FAKPfe-d@mRWW-FKv~Z0SJXF*>|7j&4cQ zp&K3N;qEg+M#bkDoVhfQh)&-}_UAj3W)oL%k(8xwNuG4Xc_pepC7a3cFe1+`9VEx~ zHj#q-n_xA=AB}zTagCZN*v)zX&#V@LVV@Fa3{OJuv!%Gr#28v3)cx^zo;H?dzzOx_~zAlA;$6KjCf< zuYy;z+ThZba4vg~0sXQK=uGGJm>MoZmaHF5I<`&3hLmW!XVekeKix>U_uT<9t0s(m z+0X=22XCWVZz#>0M`+3lO)~tO2UYW!LGL-~b7SXCBl$Zbh-&pDvO<`Ica^r$XEXT7_#V2GV%TuOoV%aiIn~UBIzba zSgVU%#OMe-Z{){~3rytjY7o}W-z2oweg`sVq{$?v3Wke`klT`qd%^@e}a}URi+bC-VA_i!XfVPr%rThf62{Wng(M;BcbNL zBD3VN9o~<9gJb8v#Q^-s7}c*LezBos>fUxJmAs0Vm7VGLJrVTxo&qZSyMWsCM$pAZ zVN~Z!2AwnP5WSlG0P9kYaObO=g}q)=1x1}lIfJk>=qa)gmk+9uGiM42Ezc*d?_7z` z?sCXZw#RYJ)9AG9m9)KFhJI+7$Yc$_3eF2-1TNhZDff(_!7nFbUuHCXTsR53OP+Fj zGjmY#tuCJnPz!}h5hF2Bm5*02V6wk95Wqa*Qc%Qt*e=)|2~H~_>_ zi_DBa1qY*ZxSO&U@$zybylEs!9^?m+l@(&--MNu8LoS6r3bCbc#mr%n?gC;x#-4bz zZiDc{{b-WoLsyNSLgT{=Fp)k**~bR-Z&^92A2SdpxUy(7?g?hjJ%afP##mB&1J4Y* zic@V?G5N2P;qT#n&{6RaxLsys(JfJ;Gwmjm+K9pp3#VXYk_?T%+=7m!br7&)0nxnI z2$mTR81r0*j@Z4P?(HB{|0d;hR>s0?-51<14^f)((G9cKo`S+7CEz-78&?!_0jKRg zhQ0xvw#75H;*s#n_=+BbH;QXXZKEcs%9Q7_d<6J_{@|7=#G}f&n<#Ujk9*dc3{ymQ z!oKiC4BwzZ?G*CS_uemN(4`f|m1vLy-4bNa-(sd*GXW21w&H{Z)2YF^2zu8*Kqu}Q z0memEq|SdWIcR#0Oc02(Ri}or%&``dygi9LNpvLE?R#LKTs|5smZn89?@(DT7lSkn zaZX06&HM}JAzsoFM{iygyYZAV%XK%4W1V# zlga}`*e1G=KK*4$Ewj$q?s{rW_BVMGzUT$iPvWuRyEoO}s!K09`Y|KMcR`-qJtojb zhvv)*q5&N)H1BTzVTOdiKeRP@Ui@(-+R*Hj(s|VAjoP|N< zM%43;H+|m|PHV@;(P{FV=;gb%G}3tq4Y6EKZyX=`zmS_ym+MD-YFCj*Z@<8byWhB< zYDV<_NDG>0q=cn%Z-JTe4XO`D3CDj%yge<1a~B&!?61xza>a3=d_o%kwg++N_o&02 z#4<3gegxGDc3ijE9O|>J6|x-r!NExf-O@Gb`pPFb`TB0yX68c7eB{Um`(sG8-eZ&d zM931CAgwhEz&mIStDMhHkn8PD$D%Vr35#Hfbi#E^A?Cov#zjY7nRX z)1vT9vl)@NHb;7-ntVOD?8GlBJomviO4@33I*##g{sTBb0p@t8j*_vp+=M%$5bk^Rwvkd#5pE zvTLY$OLnlErJFr}LUHL1rY31-K%8;q4$CXT8dhj;z1LW6KFJl>~CbAvo-_Twz< z+8hk6<_2*8@(;YhBvQwu9O^5wgbGXM;q0?+aC1^HoG}~ARV=H*5Be7|BV>cETFqG) zcjye9NSn=N`FEmg;*hR9IR_URD&g(3LhRaROUsP+Qmq{msE*@(W^a)q2}S*R(=+wS)OOtlj2`|MQgb>$>0=+${V)ixHIAeU z51+sU(>btM_Zye^z8}c=YhZVNGww4KrH=Y*nP@K)a>cP1Am=^~e&0l8XDLt{%Q$Ge zXHFbi)8U?zJl#g)=qlHZG{>UQR_jGH*_U{c_{em@w7Ns|=fNhbvfqVPFIOSgCfz49 zzkDOFyK+fNl{9#*388-k-zdLChhMaJ0)Hyon2*((#T)oe<2Q~K;WxxDqqp{b5?Wqr z1$iZJ0((x8*1Sm4;+X^8;!-q0b2q(kcq08_9s_Pmy~xK;r=X&C2|Zw$P7e_k+aU-E6eK^^iCI|jsYjMlFC-|sZ6LnurgUFs=n8_}p{+7Ej zB8~$6oe9&FIQ;%JnA*HrOdaP>hEwM}$u5N)*c<0Utvt8Wy?+4q6^D|Z!iZ7fk5bAr5^TuH{> zxlRI-Zj){As!1RClB2^;!|`R}kTZ1!!!0#JO$f)mRo|J8+-2mlNj^!{-avu_M&sP; zyQq<@F6B-Bf=lvFlD0z@=DG&bl+8i3D@1}@zI`@1G_wvaz8X!NdYowYQa-l`M9yfW)c}$qH3qS4K0PoVy!SAHeIA#1>Jg(Uy zXolNB0~0V&7()BMmg3jY<-}r~G1)OgiYke0p>ytD#p9O^P_X-O96+$D{PE@gOk zh9;dlEsW-9H_*`IcWA0)46W3Xpq8f}qPNO;`a5q7wabo0h0RYm^12wa44-0j!dUd$ zKaVSQe}t|IOX%ibHZ)+s4Uez51iQ~)1UJ1RbZ{`I9ht8LkDqyynJV9a*Hxf`_dlTV ztO;qIH-TBYrU89!8!{6eW)ovY3!-y9ni;wG2xgy?!NmQmge$^Lpz6|XFpKZxrrkMC zJ1!lkC#8}>{8urVkT`~vZ4gi`*&G_s<3+W%Ov0H(bI9zm_2h|u5(%6gjpXDxsxQ1v zUl@O(v$u`re;+dBMc0Y&Hu@K6v}*yqH<(Q09w}qYwQSOr_ntUSEF+Qm`A}OLLi2?0 z=$6;%^h@kLIOCT`)Zfe^{Z3gJDY2MtUME6#k1Bdsag@KguIj7v#Wz&bLJyoO@WBTBU` z=+q!TvgI^Sda{j3;vE5fG_!)r?8~A(gKKEX?k8O1xhnFpY$jWH)QvS$^B4kzqr#0IFx4Zx0Tx@fN9lEKob+kE&+4~m;Dqf-Qg-{wEk&mK-KBVSD z7@4i<$7SvbrkDFIsM3x~=nV=c+h+{I=O0t(wn;~*dF6m`a^X&5R(BWDuFRy>?UQNc znnf`8awSL~&x0|~dhy|dWz_55S7!9DAhOtQEIjavrOl%>Xy1Sjk)5%D*e4F)pY3sU zS%yB&j3h)m;u&1Yioq}a$C268%#FTNho&P`XmV-}7e7jrlqEz!^Ilcj?3X~bhxXxf z-_NCUlH2gY;-`#W-fvi+C`)EektQAuo#5>1YLmXL3qMtV!syw97(8n?on3l^=Dm1C z=aN%&kMb}4u4oI-Mty-Il`^JT=uRJ2<x&~LcU)cj|$Pn=sKYiMmK1X z((vPT^GAx%X=`1vcvmU}WX%Bg)#13S(-&tx%VV6s9po02)T5)O30}GXTX3cRh~N)z z#91|DFegHeFx%Xu(WGn!=6f`7=h}^N^}}e~nDC5a!;iwf`7=nEdV)WmUTOcR`*OYD>4^<%2m*@d26Y?w=d~a zZ6gc+Xp_uLS^A9qi-wbZVAx~_lJwA%lxALr^5#ZVKK2OLUy>s1nI!Uf%LBM2sY$=g zZNZ4Z&(M&iOe|KMI?^D2n=D#M zp`{>?GTt}olY5$UAXA1E=#`U)-LmY74ih%}xFdV*>3Y`pz)IHoR3Eu~#sVb;*>vWQ zQu^%P9(p&JgWwKX)^_bkHfH(&qd2>hreO%3;J%YY=<;OSqqD&8@uT0z?WfaZEiu8R z7nWF5SozGP+pz5H&1z zA;#|Y#Cly6Bm^eWPiIzA%UB08Owdc>lj4Y(vo!sFs*zf3Zl%5k6?CcYY5G-LK-fT)R)mia^wBY`y7b^V zAo8`ca3gmyb zyK^=ky~MnJA^X|sH4!-+O}8dU@MogsY5cbk63}~;%o7(Oxzme;9YK0nFw+8#>KYQ) zZ;zm%^bHPl8PO;4&zKLF3!rej1eFz?N9z@&gpCgh;kN2-Zd0eeFnIV)sD2#-6%&qg zFN4P83dKV(Gx)Y3C?}M=`~Cv6>$xV3lv9B2C_S)LQQ+pwRifmR1oV}9CDiLVkLzrJ z&gJ89=C?!edB+I)Sh9usZgQm?H!de9-#L*fLwlK)TjKnt1%dQutv^|(dzI+Kw}V7a z63q^k;Lj;OrtWF-_f8YW_HO-IUj4oN*Azwcg9!_*+4@N{{4gUvyEKj9@HO z_aKoOv&gnfLVWQpgYJ7KLC>E#O4i)1A#)zMa;cBQs8WLg&KOb~y@DjB&?cT*e2t+& zC$4ka%3{Rm*ixv~O2=OYXE49JS8#RLVaWJ?lqofzfZ7Msne#rLX!dHG&1B~{psKKx zF+68L3rmct-{u{tC7uDlFaLqRrbltl;~jLwL<=Z0sUTe&hvS+sMP7K#fKEQD$6oR5 zB@5H8(_!8seD3J2WcnBr7NpvVS8++5efU z4ST|v=M3r4{3ncT=LOn!RE!4Q2_ctk$CAw!rgXUM7%C=p4c<=f0YCddyjNk339k3S zTk--Z6s^K92Yqqi{AMs3va!W>FtAQv0(RSvz-E(Rct6janCz1n+J|`3vi3X7lDjrU zed8!vy``8gm=O;C?l~mBP7SN)hf~wd^5mK17oy#+LG(8l(1zQdG~rAcssC=q#+>OT zF~=fNBg2(mK2S^q*Hc&(?gm?kDQv1rE@?cSOILP^^D+m9^ZUO^@PlPMsyCam%GRgZ z=)hc7YuXsLM{@+-@!>peHu4}xH!NiJ7pkzsR;;JLwy5(x)0+@9J`nCm8fm5>)VVd8 ze)$AsLP;h0wccDP;^ay<@4Uo>$Y~Pums@aGkTQLwe4F|5>oklQ`&Q_&TZ_BZ*~aL7 zjKp(I59`t#6JUY4DcsRtBUIh641RVD!Zdq52(#$J>4$inUVacx2W5kmb}h<=y~VBF zZX|YM9~rC6gIW16nl|bz{pQ|GmT8HxZc8lb1jFm}TuTiZ6LOgSW3rNM7*jz^tq0-i zKpI)tuz|(yUN+&YmYq$iqTRi4A#1`~vi{A^WWMAeXhx{9yI;nzSO2o?>c)-K_q04e z?1?@Zmn_2`)xL@I)Rp;Fy-zV=qL5T|e}%Ql%c+i*F;2WYf*7A2%dGplA3OU*;p{d| z7|~h4IK(Z1+$taL)c6Q)iqaG!ku;9vFU!RPg|$5T$dOGf%a9Hid!++Q<0`mKLe6U5#;ryFwS0iNbf1_MECRQ z%;t;Z_;0OQypO#pIk8jGvp%4nXpeF)>l+_&@Di$&?=uOXy!g$#{N z%AzHCcVW)Ui$u7*2tFj5)6@HVagS~&1V&1cq(`bCaZ(ZOnM+WlZ9vY)-{4Mdqj;aB-j)iaa_4O8vi~YFrHd@Ybd;`;Wqj$1lNN&ya4+IEfui>14gtaANc% zlnT~XaXZcO$n<-|xfw(Dxb=(iWG7?9n&sajw|qi|^yU{@_Rfrsk+Pyi9}@ZKeX8|} zpLFUi5*zu7u0%epZY!F#+|`rvCL>Eqe8@icayhnaB9lbou(I zlV;qSb&*bwktcUlEZC9!aQ5e6QTkrmi3*;ilj@HqWQJ}l z_11T%us@ds96116CtReJ@BMJm-zCKG!#q6vO`D$Fs|7u(Ck1W?b?M(fh%qWDXc>GS zZa5p0b5;j%g@gvRf0F}xd9tLvt`;){53#It7U}6vz9)m z77fKT=!yjE$IoCtjyp(tKU%SLq=X$mR>96X-;=$)b2FUw5@k~p9ul$dSNOlhTkFp^ zM%0U*H?I%AlE=R-Pvs-?bn3lq_Sb(g2&#AW>gP`mh_a1yj^4OmVq5)g;3erJjkmd17zHn`TSHy67KUv#73R)80<$%aa@^TE(A;2I4dz793lG%2Nk%_E`>Jy@5F-SyYW!W(r17!4h^U zV@HcHM@v?6Q?D*&UgYL_flSZMu3#P_ow`8(_=P5tRW+REp!?`LU~i%Fw-;yDLeIj@pi_ag6-lK{Nb)YJ5=B7d8B^EmX}mSF37I_M!Ma;F(d5G zZ;XTMK6|K$uPOgygIs-rgnfP2F130|W;O3^?LzY}R?u@hH=_OOsqFj|MfRNL9elN9 z0k~gyL=-n`gVUfB?K!uZXn)EkyW=+CqCfLc?^hSxlwXd$kA5Mub|rY+DS?5*!YbaeKUd$UhcNj#iVU`)9L_O1s%Bktex}ebv-Z&yyq;sggf>mGtzKDU=Rh zLi8?AX8iuHqe%*{h8$Wl#J|`Vmz65hP3k9L!gX1qV-}14B)P^rGb$Uj66}EI6n~o_;!l69$%Hf#3q@6}iISbc?#rzQdtB zJqaGTy237dQNa3mkX#f5mL3u~{-i8U{-{gLPcY=?^iJ;AEJr5VeHy7e_MVecGN;0^ z9kA;63;6OnkVucNk<}0rDG4EXM-&)$%cU2f& z6CTm1x6?_nv$B%4GcR=E=S~VI6Z&-69j0gb58kTv>uPHGg)3I`VoqWF*=8NSflVjr z{ijK1uPR+9)FQ?^K9G}!N%(en8m-!7OOD*_f|S5wdNT9~9y+#}j5Qy?t5TsE|2DSNixnIC2}m5)jhC6Rhh__1_m z{jZ(1tlZ~3yYnfld8H8s*KTQOUAqycRX=Aq)Ia<<{@TY#-D_VvXVTHpId)e1`&i*| zi+bsn3w*57LAdteAivwngKt}~i=A;hpY2SkCbNBhlbe^k**XRuVLO+8FW zQAsmZd|pW#)@cy2EearK5JNAo2;(?!7ZR5~b0`L`K(FVNLfrAg@F7-$);<|eO&8q~ z=pQoSiV_*x{9qrFs99w5`{6LR(~Cx5?&gL)UP-Q3)#6kppO%|Hgx3ot$kjcjynQk7 zgJuW0s-g#UuXsHFM$(+jF1*Ul?b2qKi@YaBKZe^?$6RF(xxL~G?2hu0V}0#xA=1ub ze-f|usjPm~-O75UfTH^9=F|0SCcfhzcDdW7*X*zh*V5v%Or+}Xzl>mSEu3Iij(gdZ z>f2=XtK)3;f+q4aa4$b9XEHxtJ_^4QNnRaH_?-OxST*ViY$!QE7etxTjAUt|E_cbc z{(}?sQ0*4FozfuD8WQ;F*?zQGu0`zn^FZ^AEOl;CrQc)$zO_Gr5EU)DU`z`7imxYJ zc?a{rz?+7xcmz*u{m2wQTN=fcqC?LQvVQ={ABBQs2;Z zJw9((E}y6o&8PPpvTwqKtf-zZwQ70G-;;hUN>c&E#~I66Uw z)d*H%41LP5d8a!2_k}bYsjfip8sFzWjX6iYIb@*qUyg1sOM|)HYlywCIlUG*fX`I? z$!Mo|Q0OqGkw@pyWiPq9n$!eRG`gJ`zkd#WOcY4!K>=}jdxD zWl^2%VwAinOZxYOV&`IQ$|#1w=lE~1^KJkZsXxFAFUSXY|qGW$aefR`$Ub8P>_ojo;BXl3#B&p4AacWPLx5WP3fMsX~?u z|5<7;Zx`Uro9DXnhUYf$4^G(elUnoe#)36$PC_>O`OaGs`&o}yd{9LrxiB_$QZ-w1 z@ibYWc!##6AK(;^sKVulQM}|EeO_k8L_uz14@B-cLJxN?rq>FmlG_`_iI=1y-9=MT zO~Q?=x!nzKeyCIDCyKafk^)J~D#7h(A#|a44c-qMMF0E8z~a$2LCfuBR4d*d|JZnt z8$)*FF*#RSM5|!-{4!#&emKZw_F{8P4Qc67VoP+Ufciivt(d%mbGRf;Jyy==`{EDs z=MG(?9iq0xZ)vq~VB2&);6ogrQEbn@9~F#jUj`X%qe|@V_2Zu**%O^?MqeG#r^Bb3 zqIAD13ICo6vtD=7Ez=J0>-ZgfR9Z2uTBAS`uIST^1Izh=u>Jf+!Dady1|QFD!k& zl$-Xu0q;vSVN$+6N>=oM=i5TKKi>>jwM~TB@8)Fp>kEvYzkr&^HsO?lT;|BF;k4<( z9y-Z%r|kkTCws@O#*VL=^wZkrAwS?j_WVSao$lBz*c6jQXGUAXiBIXoz$qH;Z4lC! zmzsQ2f+#}H3B*t5S?G|AmQ5j<|`KrAKn$oAJWsLEn@ip#4(`=Sb| z8~+9`hRe~Gsh42K*d=g$*i?GQ?Ky@kT!PA8ZMfwSg=3gC;JaoC6X2>yVY4ch1l|S- zGhI%3yf~G;d`tN8wF0>*nE@@ffOxKAUNXj3r&t!=du5S~#}9h-}|*f&@L0pp#9$P@$GK{qy%18H^TTw|Yg= zw&K@Brf zrOr#0iSi|`NNJ!WUEGia*#Y4sG;1zdvT-eUMO20=`bD8qZZjyY@ggptM-%h?_2}MK zPd~gF$v;@H&#NDlwNNm{4+v{+^`G3(u}Z&D(TRGOmZJ-APAppbpn53ol6gM_=eXR25@r}&Iw3`+hWr2)%MHL=-5!4E zO2NKklK5SB6KCI(16|+3VC7~&G;id#n-Ar=CKiFra!I=XG0cK+>4>Tdgp2l_V;u}cALl)+?~-ycYoPP6JBO9LDTv%aNjXHe$`mY=exjyiwWSg z?vmhL;WlR3rbBQ%zZ^!S@L=*X8)SCfVz^m3=+zdEHi{##CP)c3e0&MR723f~YzvGC z`~;ct9^{sa6p{PlfH30;lltx?IruS|pvD9$v0I*>`t1k3Q|L^0n{L9;U59bfW zra{ARe&ec##gHGH`ibAU(?nwKR8)PopC)n3=xg;6^j@tbHEg|(iWNIB?)?*-^uv;# z9{huXt!Ln`!*SC8`Wks_dWu}wDN5Xjd~`=#lqsJejrZ5dkdHe4AZ?gQC#1{sS~f+r zn!wGZDd@L_JL&x5dwQk?r9eWV?Mb;^oc znY4`q+-d)O?B1EciGCC^Q(Bi}s1n7qct<#|w43qnxry;3#?fP{c^rx!g>&~eV%oAk zoVH1Wyz_fWYWLqHj#havvuG;)X&Fj~M{S^SKf6(;4LRRuvUHbsDJ`FPhT6n`=NuOL zk)0jm$>Qt+Y?Rzg_ZSVuZ2W_$=)`C$ZF7LW@tRCi)|TPQ1q&H#k#WR#fe*QLOb!}6 z!f4C3JZc;M5^qSYgX;5z0>^-1^i-ZHjTZdkzKVyFo2UB8^iM+Km;RjD?I%MUUq}N9 zQ6(~QMi|zxo{l#iP6skJG4{<%xc9x6QTagvUSB=|O{KKZH*qYy(tV$>=8qD* zhzf(&v;#2Sv)ATD#scB9LRoIB_GH{KluFrScN94P5GXHBXWs8*L01JKw3~rXAse|f zvyQ<2S38K-P!8PI8$IAtr%5ww5^157H9a!r6cfK{IZzK>s`faKe$ck3H@74Mw_zx+ zU|~C`7DU2ki+s2%`ihBky^R4Le$?D4mF|F8x;odCmfiY=`9m>&er-2(Khi@Jri9YX z(Ti~VwsNq2r%&=Xw1d^PXpFRV4;sc-3i6I+Vqj$wjvPH2{a4xwe54&=;)5v=K7!{imD=HS8-H&7 zej`k>8c!F#45me=0%_-&sg$R!m{SmhZq-8Uu(F`DMApztfzGt%pc&0vc?TzL^@m5M z4kYEpbTT0(6Rx&pfX823(&`#bWMLCIta}6uze~~@c_;cd4>5h%S;jkB-G&CcVrpHf zuyg8s=(?6^+xBcN-q>)1J7??6B#4H=1epxjV1I$}$hTmWmwQ56h6T*>i{g5e-8s*v z$HBE@IN7gT2_-%!P~lVreY!rII+DpWY?BdV_HG6o)6TaEUfjcU4ex;11Z5I+d@ea|%t8xp8mPjHFnMgtsu9HZu z6U1RSA?|E4sI@)h+J;ZY3is*Ixnndb**TYZ%$6a&(=%)@jHpBj*;RPjPZQP|J!ZO> ziPG{D(X_&9Gi`sYFVyXFCdoo$Qth`9J)CT5i(4eV(Rd0vjd#G!2iX~9`@%%7~pG-C#5Es=oV9}HslS!a4rF@g4ONT46q z2T-4!!?eOWpNcMypx56QVEV!zLPklJdT}At^6et3V|xq(tfQF1v=SIm^A+B{8q!PW zwW*6s60OSIPb=>2N0SH7A^uT2><@{>37Ho3xu_Pdp6Ep?>T}2qdnYpLTMeV8a}B#) zUt-k!4(^_YH@Hu3W(Hr4#n0~=g@60kz^tKshAl62Kv}#6F1pVm^2t-kv(PvQ zwY$oh9N&cU4X3f`V;d^X(!pH*HEfEVLQFS}g-4=S&_sD6KIjhz$&M3DYuZnY3suxI}ofB941HrX1gVZ{=3s z&x3=XPeJkb9cVPafH}=r!0exGT+5#;L+52O@#>QZX2mpBVq7wh+^EQc6FS;7+~pM#IIVF4-O_1E`wre? z9uKVtsxw{4ve@~Ms#nb&U*A;6jffJg-Ec_Y*g6f4dTfQ$cmLYDK1i%nyw<=l^GfP! z9-4C*M=jvFgas5BR^Z^gp*+&neyBGTGgGeKM}l^$lALTCuz0Ef-VZGy(7cU_`E0{o zIkf}#;zO*ybQ3T3C2+nKhe5d|97;<@F@?9QxFh!I+{z`InCV-A2~HpJM8iug`SKNO zRw&Z?t{*r;=P(wBs9^5OBuwPxsIKu0+OT#Uz3m!`ea6`!=4L_`nT{lXcgTbFLJjng zd&*fJ(YTs6CPY~HD?#9QbOmTH$b*oz{_wpZ5oEh`$(RYI#4__0^UGD9R?b$XPo{t6 zo<52K7jovGrbi1=)0vZnnnsNY_Vs^R?<_;n|TRZA5GFK=Fe z>OZ$(+xN2&-)|_O59?w_V;%C=>u|5-R5+OX4a6t)f$;_>5Nnd+zBn~-O2=Hd z&<%FNdAA6s6yS+>PyfbP2W8rxJQd#D>GqEsy^6zkB@TcoJTVD3;1 ze;FDs9E%uIDNMAS0+WBM!O~PWoHBX@y&L)qrRRomJvH;7{beGv^kF&o%~JsmeN!fn zhhm-MOe~p4-NWeSZZTRb*Uc)2??+$mDuB zu&NH0O|cgQmSkc2mLs@mi5u4vQ_3AxyNH@b6vyti5I(qk6{2EmV9b02CVgQn$_vlp zLuL&21RuM);m9wJXyoJi-G-=?nGc?W<4Nc)b#muUHhdrVyKWP+1MN=#;U4x@fV_$o zF)7s`deS3cTAD0Q)H))p%}E7=X*c2e_w|C?(Rx&Og%1tL{D_T1=ljGRFM)ZI0`$r* z;ePH|$2~nug<@ZhW9hlW*fEyC`}gYP(MJiwU;n_k-7~_neJ+^())L9)ML7FX93GCn ziT4tFP;5rQ&>B?6or(O-jJ_5FGx%eWo6^X1?Y+fyzl{@CULOWq?IVPx_ZK2LaEZ~i zQX_JxLd=xnnexOFxY05Me{Lg;q}`hFIQ>W&86oF>>gkPi-5 zw82fQgjt;(C0rGeg#k}A>0`?unDteLNuG8UigiYUYgRIjS#}qn3QnMX>Tw(jexbkh zcHHqo3V-?=;Hgc)+_<1JnCCH#e9{_0>L+wC9UrD)?4){b-Eu$Z&(gt9RGUuqQ=ncO z|8ljrBbcs3jY2V(QG%XS7UX`cfryAUCV!VI(=9k8)am}gIYwOPdc-wg_&^zKI2a8M zigH-U=YtF>gLBey#P9hVFx=-2 z^AhD@%76Tr>QFc4Z(cgYj=l~?iiY42dsmPUtPfwtuY{~b1?Em{A!j-BWZln& z1A^@G!`$NY>D>14C(L^33*bHY4Xm0!zy{q+IP;^HF>9+34rk<*bU=2HChAdTU= zVqyBllknni5cn)I1=$~?p!kC|3|L9Sr78Jb_J$PvEuDqWkB`Pe!`XtveO`=uHOtwY zT7u=a*?2;l$2~qh*tD|^>xx~_xg*3T;?5hv?+H#qPN~%Gltgew&_KXcX&wlz!=o#eBeH9Da7XdS}Y$OjT_!cqW_~LUSNJ4lj8ib7Zzpqbi85AwqMYNIR>o(76Kt1Kflu=8%>HF3g^4W& zxa~|cny0H#U6iNcai?+C{T}XX`)OhSBwwy^qaB|0I)VFsFUFJ+EEAwF3nr2hoWf1n zp%~Luo6PC5u-fJ}qvUvjxqL$d_C^~q(=(&+AN75`<;X$ z+cP>*P%r%*6F$btF&pjR;Ga2K~ecNL1yosJ&Xh1|ZXvD~eq(ah5PmCzD< z92(puV9y9yobYW4KK9k-Y$BIHcyJxeQ6zL5BM6y#`TFzY+@AW5+h zCO{%6)k-mA*?i$Fo1HLqYX?-VErR~x>p(NS7`D5;f#Nw$&~`lr!f60h`mTrJDh}|* z(GzrQGQqhuAJ*KR0mD4L)KyIW!&xQjUIg%5CJUA~3OW7aSfag|y|nKzY$)p_9vEEV`+3P>6%Nm8kVR6!X7j&JJB{0Co!(FoxUSaH<=J&XX<>!^q@F{26-^pVti8toIIa zkML+N1 z(~swHl-@cFmhtAA7wUjKv4$nSo^_im|8P$q98*F;H_MkE!LC`sm-k|{$)C?pXLioNbbbI~9T8c3RFN~!+mdETGT zd2#mH_r2D-zSp(>6IOtYPcEpPng*4bmV!GED|pr3Cwyjv5p6$a$TZJ((KqXIs9H5o z%(^E-TbcsfKhA=6r$my^F+c7@#UwB^KMYFV3&B|VJ`H^IX6s@e5qHc0Z%Rd=uw4yb z_6G@eUHV03Uo+U%>^e5ea~P}3)4+<%y?8q4Km59G2Bv#W$I6%YV9YPu#*flVNzt^B zu4id6qve6j_|Z{zO71*cnOMTyYF0Df`a$fCQYcBNM{&DOZ-?*6ws2~!GmO*LfrX2E z=s|EAo49x{8)zva?LFmO&(~OpvAqe(H|`4j2aRWk22@#$^E)Vb5s53@|3FWSH5Hah z(vuz5@U2T17QAfajFM8|iA66Z`Ol`a)272Ym(#Fsb1dA&3tXBoojQJ?qVLJttkhXhRPUzESk0(oqp-Zt8cumn|vu18%K8qFD8120fRcwu} zDY|&1V;fA~oheW{G?s?GdQLJDpD4}ccw~^L+ofM z`8*H1PFH}0m?ibj8_QlTETFw{Gx+pZd7!>~AwGWUjt;kmz#`RAtZ%LXTcB&rsVtJk z&F@~psQT#;abgzt_CHBM{KP5T^Usc8x^gcp+LmR1|UB19PQQ(eU<6RDSIMb24JNyH#-wXOH}%cXd%L&_0{J`5ViQH+isH z?kQEii-05UvylrDqQR_Z;52r+*!TN}Zz@q@vmUE3S?4Ri-QxwXC!}M7pop>#2$$2vKrGMEF3!v6V)F!$^<*HrK^(JaD^yFdE;1u z!tch1j~;=yT0Lkuc*EDeGC1w>ntT4lfvsQK$QmbBv)A*&nVju*mNa=i+duG$oRy;Z zXKR}{b74Phnv;Q+t7^o2v?Kcbw~Z#931ek#C)gp^0;c0Sh6$}A0p5G!a(*UG^62Io zyI#1BywjG47r0Es-%zAr00-Nwgp>&UeCa_CL&ND+CcGnUrG0P zjNQm_!`K|@4g5FBd3gV(8^-e=xu=)DliI#}Tv+ zZ{yKhuOR$f5^e}-$01KSzJ#ZrB=Zs+B9(^3>o+UYUwUyZ83v= z78o#Lf<99ly_&flTgsH4UMHQExsAWd3}C~LBk=Nh9}GFIh7&C`&{_UFbcLjfxm8an z>nMc#*#}@$zF3tUaHay&^Az*-0u43U)A&au<~oeuKvA?F*tPfw=E_fiI_@ic8ZsJZ zjP!-H|3m*7OMZrpp}j*C`?b}ja=;n;SR>! zCWo2y;#MiOn(U;hBQ3bZMpb;^6oGQX98hz13_X~d$(q;Yi9LbHnqI!9aku2jcBnii zC5IyfjK}9egJ?HDj};rAU@LZZv)o6Y*xaKR*gKs__WZ9u3oV$#&bIvKYyO#HpZZo@ zujqvv23ccO>QI4NK|WKz-^bkAs+f*{1nKb_XhE~lDxn(oocK&(!{XVPd|zgMP>RkR z?1#+QFHmDX9)7%SGDcgQ3DZKy3PHkW1LQ_JDxymff4dkhX+RLFZiG-cZ5n#^SGSI+jk zAL?By!waU#NMbWv?uAwFj^9XbMkY;ucCGPIgACR*#9;J5CN{c9qIFdi9^93M zRTE!{l|G5&ThmJ$_o(PCq zZ$yc*$`o0+oXp-^viV{Wb-U693Yzi`hOR4t)WLR4&FnZURi4dEw@A|_mlR%K^(*h~ z*kND2Y%YH2EtuQ00Af-Xki=LywuUPsuY0Q0=BLOS2Q6gg3#@p{ zvgP>fY(JpB49mS>$lm|j!EN1g64oj{YFK_al5!UP;2$QLbH5#`8n%e@Nk+DGCQ*A1*_Az z&wPE~GSx|nqShpN(Y)At_F76rC37d?`5B40ez`W5Z}sA{e`e9Ik$UWt*?xwfVp(sh zm)$q5XneI~C)y6$4f_-g;Mhw;TpuzRKMM!ZpUv?k`H%z0#9k1ZH-eXC3%9aq8|9vV zPG_X;DL{{)phyun^i?$;`ud4_9u#uctLtIg2Sbv7t;wRTI(YxgGq5p0m(<5EV6mHr zusOET(4MS-_4&2jFsrxp;`2qCAofbDwuNJ(CZfmeFnTdGnb}GPuq9o4K>kYuu9A9# zs##fR*i#KW4Dg2){K>m#HI*1i)0pAfFf&OV@1`fU#hZE4vV2T!VsHv)Ei%`+B3tF1}Yp-M5{Nd*jtrBo9-`W@?|cp ze@+Nu5%pS36@u~%Vx7|<2Zw+SMEfd&_Ep4|Jp!48kiY*CZfB!w9 zmpg}GgY*!T-qB5qOy@G6jm_Mqwd2vpOc`x9U7*cd#;~d5-$MEOC@htV=48e1@)n!1 zopyQh(-xCtf zvLmC|v}R|zsCX9Qju*h3)my;qZwCxrppE2t009wZ+(y;6(HaDVzl@9+xCsr=T{T=)8bVnKYY?dJt z@vms+mMsE)TO{;uJPj_{br5*vAn0_uL+h?K&hK8Q{b!|G&M(*-B<&<1f}ZllgBTc`DE;~3kM$-^I>~~(PWnjeaXpZ9XdViPtw zww$-kY2^Q2-ppNEs0Bw}f8|bzeR5v{q^SE?GX0pN#od0`!zE?+@V^JkQmFZ3?r!Kx zkgy351iPnD>e(n-@M@#C2tCZO8tO}}q{D%&?c(R$Mz`iv)liz{_EKHqiBF?*umYUO=zfR!I5T zN|B9HY{GwqoQ0kQ{t#>28Py|bb>v=pp*Wly6k-j=a?@x~oi>|g-cOlFBKY~Y0tGJG zS7_-jEw*V<9B)uDj`Zmng#=6iQ&$ZvONxYT*^)GQ;ZvT=KgA82o&=UEx8be%II%DE zEd8>pr^3oC7~ zVY0Lu9;)o7WL}#oj#>_LDgkXnoZ)4M6&v04hZ0^5$NfJh;?}NI%&>5voj&VX{6~bd zRdJXtya2Bn3|ajf8DE@znIeT-&A@tm%&#n`$-#GGH*Gpo{Mq{F6@Ag>f%J zs^Pz<)im74jtyHF40Ec_Ak#j9roltdJKYdwA8h0sM~ib*noO97mnQtG*oFO_38=Z- z94%y;!F$>TFmN9Xaq?nzY(_JikbH|J+RtNdhA+WkwV3>U(}mqLC!x8N0}EZ3#Cqqb zQpl9080NnbFHgD-y|UT-eQ^!$I${cc?ouE3M!ke{-`K!$`U~N&pBo=^<{qs)vxdtt zUxV_GhvJky(k%U#6kE1eh9%aG2C3>cxShL#G-IULnLcGc+$C2Kw^E83)rshZN-?-a z?|`%aRG3SNBwN^JidX3nrZOj3GiNiaY8jyN%_8~Q*gUYdt=Q^X~B<$ zU!YrQ6|P>Bh6O`U;2^y${NR!d$I|23rpmkQ#W!E3TsNGzR_tulkx!sUr|;N>NI!wq z-M`>NT?WJl>%j^>8Y1}N;@N>a?v9;+v-4tL$*@X+!ti}ur?e`_JFVi1J(mgezxzR8 z@_q35?FVCL?&VEtwRvab@ld*11E$_}6hw~R07s^(qs7ic5ZUpN~a0HNaw~Ldy_KiX53m86XF<9EPLv zwiPg+4P%!>Gs*78bTqj81=N0S#-+wLz)F5JTbZvWepvnw{qbX7^8x%Nb}x~`3EQ&|@S9bAGZ)F!et zodS0Hv6EoF@@9P2SkU-WHId!^UQW}v%@{4}hN<_$Sb{if&E%R9PMRNr7Nb_s+toY_ zo@0PditFgV9v21{M`2=R9Bvd@l6^)wQ`I?79!ul#+e1t2j8|eu47J#2ztb>BaV+Xf z+~V$jJV3ElhBTvp1phm1cB6uK0*rn4241~KzKEa2iuc*E>)tl7za|Gam|nqS4)Lfz zUjb~B#^j?p2%u;3iSp9ap5T@b@Y<)^WnN_`ki zCvj5uX6z^!#NKb&#TKl;%kR%s#>GnygGfgowj90>=MScU_syY{@?DcVyyFP8Cq~o5 z&rU3A*bn}7r6W$U68~SyC7EW3G#fl871X{wpc!+PvlH8ExuneDm_2be$&a#U-Bshr z;i)6+eicNU-#sO_`}3*K^&ek1u7N8Zt%Oq+oraix877;#jG4q{&;tz*2srnU(_mj| zS&i5m^V~`lqvbEUv}&p-^tu$QS(=6VqBOi;H3%pDQO2(|iMaOLO;qW5g?lq5j|x|-LyVa2Xlq>y{sH1t3G89ZJK*v7SU z*^|2=utLzwZJ%Y$9G^NvaPK4MEB%;Ic{BICEC#)2^}*{ea%}kSIo)uyHB2-dnmQei`G1j z7SFv@M0HChh$g?)5Y0~QVVZsI?6=+kdzhpol9;3*nmkxtG&93OB$+%)6n!L;jZl)t zH0i-O-*XVNZnb8wx%)74Z$9qN?*QupGZq-RjC#YpaI~KsT4;=B$13F6#QBmqfBQT5 zW2DSXj{c+VuCo!dq zvG9x}Ha)XrYs-)E@v;%DSyV!1R&#L0IVY$ZKsM+6e*VIaW!SUImK)x=j6D|XAr+5L z;svYkU>BRt_KMG*1xv4ib$2iPdAEX1xlqhb8rbt9c`s}d-Q_lyZeg>^b=WWd8%RDj zMdi8cDJpmq`=fQ1-guN^#Z#ehm~FVw+J2Al>c?fm0bQZcc;gJ=K`9yG++agYv(2Xm zHm|5>g&8w6D`G<)GB#UoHhcWJ2R@gs#UybP}o(X?p_C+iFH{>vPd9#?w zOAx2xpmbG#O*Bs$ZHcs1_tFJlfR-DG&p2c|edjT)|JB|+RT#D^aBGJ!hHeG%+ zi=9#!3;Sw@;ZBQIsu^y|YBvtXfX8ZBscg^g-1neEEEA`hdO^M4c{cIxX1cRH1Ml7+ z#N-NjHa}!2Qg8x(`fz}CJ_ut&XT3zp(b7WMfHB-j!?cEs`BnH^7>YM`1Krv71K!>1 z#8B%vR3G?{Jv%RAe-0M2;O!sSv@7nS1D<&z;mtFmv+d2Ia^E*1Lo4~F@)(7trCpyy zk*AwPM)jve>%5PO+!UildOoJ2O@;|9`O+XZ$Gx4dn3$ku+i#Smi64F|N&}Og$(_iJw z`Y-(k)l6^rjK(O_^%xdU-^^CO(Ie+|Nw}p;j-|fpW^YrDL&KvytXg!8mHvLgwk%G< zqZ2NpgkvHL!8+zG3c(<|YP9muWT%tIvx|mGLc^{^;r7ovgrDW62_vqo6ejw{3oX4D z2qP9c;-j<2naVK@k>tlQqO>#SB7>^&A|+o%(U^?K?7p3@=<6CE(aP+pqP1CLG3k__ z@Mg#c;UW)p;n`*f;a;yI;X0Ef;rcis>NqW8#hO{D)BFML2Tf$IYi_ZP^0IjBWjvZK za$_SjQ`wOR%9tBwfs5x)U{608vV3m~EY_cj7PWm8ck3C=A3g!KV$MOuuaD6FUe{Zz##{?k~|#35Af6@?!A{?U^pDN*y*^MbH} z91Qc761`uvSL9N9iD8@?I2(;(@UtB8aGOx2*3w~li;KhN+BFW6HS-*lrPLg_ix-5a z3$ujdFBS=Z9I6t^x#bJZGvFp1;->P!Kx~m8i_FQCLNvGL}W3d?dpEE9au!8CRsHd`_&d9&ZC*EW0viui`w;aiZU|EznmK5%-|8@pr8>NhjduvRwZ`GLkBdW2 zexQTKqezE8w?Z5&=FN6cUH4vCC9KB}SA0Z5<+q{}r&XJx9AugvsGJn_6-tR@-j8RY z9*5ZSB{{S_u^aO?Mx&&&OSZ8IWrtu?0^lWs#kj>{DWAE;m2oBG#H{)dtXCAUm#a0H_lC9j^Une<)K$bj zTN=|!;Yl2_bra2~EnqHh?6BtLbzD_Y$R&=B5No5^!sbJjLNC=pLWPPL>b#N2)S}Oc z?v7g2R3->)O8qsi$=>>)=-1iN!q6`Qhr5gSJN#BncW5s=;BZho+hGc~!l5>0s<7l) zjVN``=q8D}rA>Ji&@?TuM6_T=J=bu_86*P2aqhA_;hly$VcnZ6p&bjTdCoC>=&itxM#+l) zsHsvypgbEpEnei%VIk5oQy2Ej97O%irz!9L1L4SCbl9WwMVQN`2wlz#g+Gq@uz(ec zO^apKn$|aM#mQA(4yniM9h!YEJCs#KI7D5O7RKwyHA%kxBHE$ zawz>Y+hMot4dICA4rn8xA?zD-3#$(bMZKlgq9(}$aO^dZz zO;|FEyW|c1ZJM~|?;4Uk=ud9h5~yI?2>TDcpu&r36hG@HG`|~#wog9tQ~e&1_6I#2 z@^vKknQAlrHP^^>`9w6|y9p9+-yjFwPoQ_tAGOmza_vth^GA=G;5XxTh&$@cQsi$k zN9`e^>H0~cVV8SEaaxU{F*5CJyPXUhY!{EFk){rJJ;NPxEdQaL+peZM$#wHwy;wnb)t-k(oI!m z#iIS+|FY<(&)C(}Gwh28C-ynt!_lwbHF?U(gCm~~k; z1s+aqviGRPp{-LKO!ru0VC>|k-@~k%E`>LXeEN(JQLC^O zs&HO*nCM{ndy*a9E?gw)6nc7X7CJrNC+yy}RcPjK%!D~pME|ZPv)bs9?2A=Cv#r#j z0iC%R{4p3l>i=#0_9Yc!bxL5E#CCX?aEzS2nr8OgtfU zY81DBX9cgKwv1xW2U2~3KP`9GB^O^+xY~OgoaWt!UlL+=MLb9Nnt}LQtrtRLGDvY~ z5ldH763q#oF7k3+Cd%EpT9gwpRJ8Z@atxa=L%2$<9+!A5z%9FCg*Bh{2{+i>6s?kp zZhB?v+_W-nJ9F=~!oT-MHf;!rXv*uAY)YInRrpN8TR6_r1MY=N2%pW~D>U$H5$oA* zqT45Th+YLHiyquNB)XhvEE3edr_E-4q>)|CyF0sK`Ls#M9g) zJG!MRX6QoN8#@f*>0`h?T3PAImwsK%PtdqZAHV;km$qUiB0vc(>9z{X>)2Z-b&sw>Y6g7I8_%U>COkC4Ud*g(e;TgEo`xu_m zDuucrZ&Bo{Vv)~6C6VsTnQVXL2vJde4=ad_M6T7CsgL_0>Rz+B>8thjrf(|(nz(pu zn&4j}k}K23(y%kQFE^Quo${RhzIcWe6fP9m<{lIU&zd0eIOk0fnrhfJ^AhgZYbxAs zrYT%KHy_Okj4|+v8jS5eLHf%|NF&IOt}j)hI~$w$D}zFbX2p_MyDn^s+6(1&Bk09@ zM=JdYoU)P^#5{2 z(WmKSYXH2l{KA{Jx3J6pZA?u;m+9RZ#YQ{w)SWz7So1zXSmG2Q^qbj@yTg4js3jXG z-#dabiCge?9bxHrCt>QrMBxLCL}9+;Ug7)v9m16CaN&o6MB&9(e!_OTi~8#KplL}4 zUYR8;+#vS{$7QJsD-3oCS3b@bs@$6<9HXcMB_E}k+3g|h+0eHvY@M9wPr@TI*SN=t zX02dqiYKT++?!^6%%fp~)ok^QO7Oh>2M)a$!9u+C>D+_>{90)XE=G&Ry7oL~7y5-i z?Kc4XbmvittPCsN`~WPjjlmC9ogB%R@fSSM|Y7dxHlaD@tX?rA}Z$(3+8s+9sZqj3b@#j+?jQsut;yTu+}9NHri>3;=HDbURjl~ z43~3w&1S98^V@Wxds-y78`VX^Wrm`XTQW>8TuRuKU?j8(wnxu*cC@ER2VE|$=3+GU zMPV~MM1o{#k*jhV+u>Zm%wJ@a#D{Y1jT2!}@C=OjJp&Ic3qiPf0Hk-+k*k*uchbBS z%3Y%Q2*YMli&)CV9jt|xta47AIKzi#4`TfEa?(91iKB+dV8{tg8ue@+O;IVb->n=) z9&VN_>%dXEy-@^N*;$Pz2CrjlwN&Yo`6ZO-JC9lKSK;;z%EFzUZo;b@%WzoG9X8VY z75h;bOHV!IXvy?Mmau9*D?Pg$@9sZ_Xb*i^>+cvGykJg4%K0^{W~BleiG9EGP8l(N zpNN&($@4KS!SI;GHP$P2QG>rJf3@QWN~Qfozu0Fu1GR<1jXFZJlhG(r&F69*1{C!VZtEsXMg@u7yeQlFRZ*cL@536GCBkg7Dl?v7Vfs0ER@@_3m+IvC8tYH z*mc=ZIAwvEuyNQG{3bqcdUIukt}<2lc6%)2@E<#U`y+*1w1C$9EM}Bn#2z0|#PUQB zR2!`+_Pi;wiK!#;XH^)K_Zza9eR_~P+82+Qer!}bG>_e?XMC#Ra6Fh4MUw@m>AJ~d z@ZV_;NlrG*r*tpLggW4_m9rr5_d+)L$roN*Eg2(<*P-6e23T*Kf`<;@#wT-a1!YTB zM6n@bL=)E4vyozbWIG+BF-9Hm%`q9Zd?w?C{arL>S28mW3}kiJjKto3MRs@Eb}~35 zhh~3vi)-2&kd|Q2w8k{B%kQ2r$F-l>nvd66fln~SUMaxIZzAwx<8KOI9l;(PmS&pi zdzka}0ao9;g~b)s;>{f&@$AM*h>tDf=RMhj{-tp^`RpkCo={By|n(?iJ}Os;GU)-a6}w^h>lwM$2_YIw2+^l_^G|nhhV>W$QU?+U|a? zvuOwH$StNdEw)S}gy?nVXYo#kjp)^{fEwEqxI6C#C_+g5yon>Lp0{jzGh zCf1qd2PM-V9kD(%_ALpfiL-}qiFM#Fqu4wpMkUJqpgm<4lzaA5A)h61+GC7Lawp+J zZw~0XjAMhfJ1Ah31K#Y^!tP;4Y`)(aI(#M?KjiMl3t}$i`0!Y=TWg9n+aGcM+uGTy zLCWG9d>1?DrU4O${9(F*320tcL-gHkDFWmV41s=aM8I=EVYX;!7LLK{c^%Sc=TKZ(z!%5#3^L65#J-b|8Sa;bf`emYz|BN!Z**OcCXV_V4pECp} z?+k_=cH&(t?-X$VyBBa{?gJ7&`#^U#C4)lvMevG^B7NIVYCoOGOYbP*b=H}(XWt{) z(23?ORA~jMrX(QOSB;65NjNdl3ghxe<9{p1pu27nblh#`E%$oxI}(q9-};AOzC4qY ziabMlul`VMS_v(lw2(FpmuE=||`FuMZtz3n_6@zfg%2}B3Q34l4>%$zm6I77!AFIE-iVYmip%>Q0 zP?U6*>wjj%hOh0Rtbg+8vw0kfZw=Z%?+n>ImPPSFh#qUQ_%Vj}V01+|e`=2!Tl;r6 z-}{k}Jsq&1-4KOI_>}Ye2Cn=6HF{R0wv9;K#p}W^b(vS@B24@-MnFSag%? zs3P#YQpg{;YQ>mQ0IPm6iN$l`v-QXxSehS&V?>{j0^Z=y9adPqE0F&9Ug3szrsHn^ z2iSb399yksz*^M`E=|42FBYC9sYCZD*84s`qhdE)jx*xaT*t7vvin%Bggtv@ zqQ-p3?_wM6PcXw48)ok$fpcopaeRpt#s>WqJY1j*lgI0!C7gwYfjpU8U!g?*lMpBT z17=pcs7jn8Ejyx8;POxGJ+_-e(VZv2-6DniXe`T;-aa8$WpRee-9->~vxDA^AI;Y5 zIzf_nhVto2JYI3FhYhprAw}#JJ7QV@XA_l}SKdChRs3F^ANi?Kqw@(@eWRYgv@DJ4 z@0}w5ra~%Pl12AF?IW|k6Lu}_47n(#~{BWtk%<5Yv`ILG>JLN{V|Bl}(VbEgSS_C2_r5%_!&PcnZ4fz+M0EB79$HgF4bNm}#AfYVlDh5pRf_ z4!>v ziYH*?d`IqAVhouC`a-67KGyZT7g8RS)8SFRENEaoYY_9TP7epOj!aE9&N!R4$Nhlc zN-?MS@X|0$dFBf37BiUbCt4;G*^D7{RfbP@0xhaQ4ZsG4gt*#ijCl=1+ON| zgpl#`_{rP$lJ4g~+VF5c-EG%nkNoE|CDCmfCo>JCM<3?o73|rK2PfD~?+_+jdV+7% zx(6%v2SeW0SnkLgf|<%A@%<|;P<$-T3psj~YJCg9Kl(hp$taZw_037E&X>9iTK!rnOnO)sg3e2XDjeL!5BJ zgdCV#x|jEO^-9q6PXyKj!!Y2R4ywz&2PM^UAW<7YA!3dvI(s{*B|PKuUuMI&DPq3* zL^H@Ql}9ve>hw!2UpYKcke zW6?Tj6zI21qS>wu+`r3jK~n21ctw|SlU59cEoQgGp4M{^{_G$B=F~*C&{x2cEu2ZU zrW|Z1%>;=#Cn+_uoZdDJgV5WvVT4*fNe$jiZ|#P1^W3k&+I_R(<*HaZs(yqV+J0~s zyrq%LzYa3BNcv5aS?sCF?78t%df|DEZVw%x*ApX2(Qy;3{@w}uyv2TRk3pQ4eF?7+ z;>TyGr-NhEMvR$VjNWz$Xwy6f?~eNn+AH6|VVxp)zVeEF?a2aKmHV5@Vh3oo$Uv@H7`R zsfZrWlVw%oUXbv02}M|Lrl-&4xr|F^;Lq|GU|?_oTqfj$@+NsuifiTb>fN|62EV~+ z+g*6Sxrri!Ex5~yH@FfhIl6wMfLe+U(Sc8Lbk)p}Yb^fE)#gNi=W!FvY4O9K=TtG~ zoG~4edQH$QL2EA5&riv)krkIoMx3h<9TG>| zG!kj(&vXh>yF$5!DlECpnCVWCW)uAv)A9YE1UXRK82)t&6?Yt?kY6XrW48)Bx@Zei zxfjLW9-hS{s{3fF)G2xiF|>cHFWEKjqca`d{2|JQAbn+YzIhz>KF{Dju1<%L4+ePP z!5s+uyPnJfm6_A&B)Xez0k2kUfJMH)_zU75+1j$2_rJ6byyh+^)8t?D-#B;Lua*HT zc3y+qF**N{rxoAoD6CVCs`3Uv|Jp2+el3ZYehq&ZyXG`?6#P>9ge*#CSlkP zQ(V(J3QgrK@Tk0)yHSrQGkrs zdtmI6B`|dNE*SJg0=4{fG1kHkHhZ;_U-AfMy6+iHIv+uER9BE{v(qRlzf zRPsH;_tW*_B2tO4fUj#p8`DR2^2@hBYs9A$LCdHLblTs*qgW-Bf2oC*eUIS9>wTQ$ zv~;RZm07Wcikl?zW=L_7Xzvz5OsnRM0#x=}X^DuQ&e=Dr5LSQrSlBhvY2 z6We&LR|)oOQ;+h$zuczR8}ylk-2;+;R>A-Mpv}KOn@iV)^6W@w8y!(y$yuD%!WmkQ z=$wkB@zfn#+0*(jDFt}*R{eA$7uLN@kck$B`7%l&-c%*E+x($ctA`dQvj`H#!! zZ`1}-p3_g)xA?LC_#h_e9mEnN&-3Mi(R|%Z4Z1zuf_`@fQp>sfloJ1s^k!b9%Ib~O zH*_~D9WYG1DsFY8|L9?N|QzW~i^9@a2&=NhgxTi96W{f0~N{sQS+hU2i6;gDgplM)t{ zlDWcq{&j!`+^Y8h@c#x9o^w%mwGihn`T%#lF2kg~W;pi28f@~MhgOzD(A+&8Ud}$r z{mk7gDA{#|JHLE_xF$CMv;9tRZEGcDLOWdUx&(12k|5H?03ILf668uW3TAFJgt^j- zU{7?2K(jD|(iacV2#+Upk+Y+R<%jtG;^mZBHJ4=Tm%_w?cK{oAaenJ>)BK6%q_h4u z2rp#u3;VK2^PV;pES=9i>a>SNrDd?t zKZaivtW&e$LIP7r`@Is2*?)!Ze7Py84$FZDd+v&RoS&e&{2EN0pUPQO&nJ7Y|7hVk zHIf*;jw)tnk=4E};yjD#ykDx{Gc|L1(250GY2)Yw@u9>4pryF<=2-J2Qhcto4|I zoe>i~3?|JJzc_V+O`NLy656G+my9m!)6ntO)O6m9BzykwhE*4MGczx8+A*FEJQDZY zUlh=5$wk0H%?)Wv3;EQszA)+SE!cD^5dtshb0_y6;wO(S=6iQ4P+EQpS)M;b;~ZQ_ znApU5o9Ba6z-+kaG@I^^8Ve@|UjQf5NN{)?$6ftdVc&OnKR4F2k2}50wXt~TAqtQE zL}dpmY0@Mo`fgH4TR#nuvGYwDzI!Yge%i=;N-Y)C_soZZ+gUKLUI{ARxHN85{*T-5 zmCva!y~N+1{GA_mdjsrxsEjSepJBebJ=Bkw2xWGUq3@0!ItsItt^iyK^D3CL}3gLb-ucI1`Utc*wrODyfgKM6?GMIUeSZ{?4GqANG^{;svzb z*MoZQq>2#RuY0Ars#P*}VhHt&&zEjI+*$35|!cKt|5&$fc=JCAaT9}M_dk4}E> z-7CD&V*@U?&JQXB#Ls)a5bU%h8v@d7DQDzKTD$%c(eOJIA4k;s>IKD#_eWlS^^)|~ zXOgQ!FwIp?q<_jQNoMV5zID=EdSTp3BW~7G+msUSTKQ90>VE*TowIoFvtucFVI;rs ziYy7V$|x}R2~F|qpd!Dk)Vj`-xN+_RRox+6!0ihD(PUpi#fW3@V*MMif0zdaDstPA1LDW^mH06Pu2>U^;N;757FG)%0@0jIGmGyr^4U6 zWYHj(bDPUK{)7u%8YPIZSK}()B7AM$2&SVvxbYt}DI8 zx+)07d1hu^TBIVojQ`L$o!_1GowqoyP3a<2aycA9&nBHApY&YX<~@)9TbC~0LG&D6 zyp09i5J6^*0{;8=82Hbi9p364faGtZxMV>JAHFP!@0xmr_w>KSPislLq&Z!J*RBbt zJ;8@aL8C|TeB~K9^DqP2Vl=prcc1yHv?Zhvlu1YC?I07i8GPf&7;gQtILuMgbscDc(~#3y60T+10A?>zm01!-N0QlJIG}e#cVt@ zoJ6BG(HeJkT6M{W-|VVcWoN4=KQ7Z%~_rjL6ebA;Wo)w&zfHitT2r?_@4!BL_ Xn?u_9js?E-{vM+nP)d``=J5Xmb6Y%9 literal 0 HcmV?d00001 diff --git a/submissions/MR-zero/simulation_mr0.py b/submissions/MR-zero/simulation_mr0.py new file mode 100644 index 0000000..fec9e72 --- /dev/null +++ b/submissions/MR-zero/simulation_mr0.py @@ -0,0 +1,117 @@ +"""MR-zero simulation and timing reference for all five cases. + +Writes ``case0.h5`` … ``case4.h5`` next to this file (raw ADC, acquisition +order). Prints the wall-clock of the MR-zero run itself, after the phantom +and the sequence are loaded, and names the CPU or GPU that ran it. The same +lines are written to ``timings.txt`` as each case finishes. Copy your own +wall-clock into ``runtime_s`` and the time recorded here into +``mrzero_runtime_s``. Evaluation divides the two. + +Install:: + + pip install mrzerocore==1.0.8 numpy h5py + +The GPU is used when one is present. Pass ``cpu`` or ``gpu`` to choose:: + + python submissions/003_MR-zero/simulation_mr0.py + python submissions/003_MR-zero/simulation_mr0.py cpu + python submissions/003_MR-zero/simulation_mr0.py gpu +""" +import sys +import time +from pathlib import Path + +import h5py +import MRzeroCore as mr0 +import numpy as np +import torch + +here = Path(__file__).resolve().parent +root = here.parents[0] #modify this so it points to git base directory to run +LARMOR = 127.7292e6 # Hz. Published with the sequences. + +# Example solver setup, not a challenge rule. +MAX_STATES = 200 +MIN_STATE = 1e-3 + +# Case 4 repeats the EPI file on the phantom that carries T2'. +CASES = ( + (0, 'case0_fid.seq', 'challenge-brain-4mm.json'), + (1, 'case1_gre.seq', 'challenge-brain-4mm.json'), + (2, 'case2_tse.seq', 'challenge-brain-4mm.json'), + (3, 'case3_epi.seq', 'challenge-brain-4mm.json'), + (4, 'case3_epi.seq', 'challenge-brain-4mm-t2star.json'), +) + + +def use_gpu(argv: list[str]) -> bool: + choice = argv[1] if len(argv) > 1 else 'auto' + if choice == 'cpu': + return False + if choice == 'gpu' and not torch.cuda.is_available(): + raise SystemExit('gpu was requested, but CUDA is not available') + if choice not in {'auto', 'gpu'}: + raise SystemExit('usage: simulation_mr0.py [cpu|gpu]') + return torch.cuda.is_available() + + +def hardware(gpu: bool) -> str: + if gpu: + return torch.cuda.get_device_name(0) + return 'cpu' + + +def load_phantom(name: str, gpu: bool): + obj = mr0.TissueDict.load(str(root / 'phantoms' / 'brainweb' / name)).build() + return obj.cuda() if gpu else obj + + +def load_sequence(name: str, gpu: bool): + seq = mr0.Sequence.import_file(str(root / 'sequences' / name), larmor_hz=LARMOR) + return seq.cuda() if gpu else seq + + +def write_signal(index: int, signal: np.ndarray) -> Path: + path = here / f'case{index}.h5' + with h5py.File(path, 'w') as handle: + handle.create_dataset('signal_real', data=signal.real) + handle.create_dataset('signal_imag', data=signal.imag) + return path + + +def write_timings(where: str, lines: list[str]) -> Path: + path = here / 'timings.txt' + path.write_text('hardware: ' + where + '\n' + '\n'.join(lines) + '\n') + return path + + +def main() -> None: + gpu = use_gpu(sys.argv) + where = hardware(gpu) + phantoms: dict[str, object] = {} + lines: list[str] = [] + print(f'hardware: {where}') + for index, seq_name, phantom_name in CASES: + if phantom_name not in phantoms: + phantoms[phantom_name] = load_phantom(phantom_name, gpu) + seq = load_sequence(seq_name, gpu) + obj = phantoms[phantom_name] + if gpu: + torch.cuda.synchronize() + started = time.perf_counter() + graph = mr0.compute_graph(seq, obj, max_state_count=MAX_STATES, min_state_mag=MIN_STATE) + signal = mr0.execute_graph(graph, seq, obj, print_progress=False) + if gpu: + torch.cuda.synchronize() + seconds = time.perf_counter() - started + adc = np.asarray(signal.detach().cpu()).reshape(-1) + path = write_signal(index, adc) + line = f'case {index} {seconds:8.1f} s {adc.size:5d} samples {path.name}' + print(line) + lines.append(line) + write_timings(where, lines) + print(f'wrote {here / "timings.txt"}') + + +if __name__ == '__main__': + main() diff --git a/submissions/MR-zero/submission.json b/submissions/MR-zero/submission.json new file mode 100644 index 0000000..2e02af9 --- /dev/null +++ b/submissions/MR-zero/submission.json @@ -0,0 +1,25 @@ +{ + "group": "zMRI Lab (Prof. Zaiss)", + "tool_name": "MR-zero", + "tool_version": "1.0.8", + "tool_commit": "", + "tool_date": "", + "solver": "", + "project_page": "https://github.com/MRsources/MRzero-Core", + "paper": "", + "hardware": "Intel Core i7-12700K", + "cases": [ + {"case": 0, "runtime_s": 3.5, "mrzero_runtime_s": 3.5}, + {"case": 1, "runtime_s": 25, "mrzero_runtime_s": 25}, + {"case": 2, "runtime_s": 10.8, "mrzero_runtime_s": 10.8}, + {"case": 3, "runtime_s": 13.1, "mrzero_runtime_s": 13.1}, + {"case": 4, "runtime_s": 13.5, "mrzero_runtime_s": 13.5} + ], + "setup_notes": "Maximum RAM usage minus baseline usage: + case0 9 + case1 2 + case2 2 + case3 37 + case4 37 +" +} From 9e8ca28793dba0368214d9aa88001a33b5b4e1b4 Mon Sep 17 00:00:00 2001 From: Tobias Dornstetter Date: Mon, 26 Oct 2026 12:53:38 +0100 Subject: [PATCH 2/2] json adherence --- submissions/MR-zero/submission.json | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/submissions/MR-zero/submission.json b/submissions/MR-zero/submission.json index 2e02af9..ac3bee5 100644 --- a/submissions/MR-zero/submission.json +++ b/submissions/MR-zero/submission.json @@ -15,11 +15,5 @@ {"case": 3, "runtime_s": 13.1, "mrzero_runtime_s": 13.1}, {"case": 4, "runtime_s": 13.5, "mrzero_runtime_s": 13.5} ], - "setup_notes": "Maximum RAM usage minus baseline usage: - case0 9 - case1 2 - case2 2 - case3 37 - case4 37 -" + "setup_notes": "Maximum RAM usage minus baseline usage in GB: case0: 9, case1: 2, case2: 2, case3: 37, case4: 37" }