From 67ee418d0a2b12dfcde24ee0141ff34e71f4bb6f Mon Sep 17 00:00:00 2001 From: Admin Date: Tue, 28 Sep 2021 00:33:27 +0000 Subject: [PATCH 1/3] add README.md. --- README.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..5906329 --- /dev/null +++ b/README.md @@ -0,0 +1,17 @@ +# LogicalCoverageCaseStudy + +#### 通过第三方支付平台进行信用卡还款的功能说明 + +![代码功能说明](https://images.gitee.com/uploads/images/2021/0928/083245_989fa19b_8499634.png "CoverageCaseStudy.PNG") + +针对该功能说明请设计测试用例,并满足 + +1、 100%语句覆盖(Statement Coverage)的测试用例集合并基于附件给出的LogicalCoverageCaseStudy,编写RepayStatementCoverageTest 测试类并采用jacoco衡量Line Coverage和Branch Coverage + +2、 100%判定覆盖(Decision Coverage)的测试用例集合 并基于附件给出的LogicalCoverageCaseStudy,编写RepayDecisionCoverageTest 测试类并采用jacoco衡量Line Coverage和Branch Coverage + +3、 100%条件覆盖(Condition Coverage)的测试用例集合 并基于附件给出的LogicalCoverageCaseStudy,编写RepayConditionCoverageTest 测试类并采用jacoco衡量Line Coverage和Branch Coverage + +4、 100%修正的判定/条件覆盖(Modified Decision/Condition Coverage)的测试用例集合 并基于附件给出的LogicalCoverageCaseStudy,编写RepayMCDCCoverageTest 测试类并采用jacoco衡量Line Coverage和Branch Coverage + +5、 使用Pitest评估上述4个测试集合的揭错能力,提交分析报告 -- Gitee From 64c7a361232f1e73d13bb377420a3372e813cda1 Mon Sep 17 00:00:00 2001 From: Admin Date: Tue, 28 Sep 2021 00:35:55 +0000 Subject: [PATCH 2/3] update README.md. --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5906329..2603b40 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,11 @@ # LogicalCoverageCaseStudy -#### 通过第三方支付平台进行信用卡还款的功能说明 +#### 功能说明 ![代码功能说明](https://images.gitee.com/uploads/images/2021/0928/083245_989fa19b_8499634.png "CoverageCaseStudy.PNG") +#### 作业要求 + 针对该功能说明请设计测试用例,并满足 1、 100%语句覆盖(Statement Coverage)的测试用例集合并基于附件给出的LogicalCoverageCaseStudy,编写RepayStatementCoverageTest 测试类并采用jacoco衡量Line Coverage和Branch Coverage @@ -14,4 +16,4 @@ 4、 100%修正的判定/条件覆盖(Modified Decision/Condition Coverage)的测试用例集合 并基于附件给出的LogicalCoverageCaseStudy,编写RepayMCDCCoverageTest 测试类并采用jacoco衡量Line Coverage和Branch Coverage -5、 使用Pitest评估上述4个测试集合的揭错能力,提交分析报告 +5、 使用变异测试工具Pitest评估上述4个测试集合的揭错能力,提交分析报告到PiTestReport中 -- Gitee From 6c5e6933cf76feab51e6690a69d415b7d9bb946a Mon Sep 17 00:00:00 2001 From: cc <10195101435@stu.ecnu.edu.cn> Date: Thu, 7 Oct 2021 09:06:42 +0000 Subject: [PATCH 3/3] =?UTF-8?q?=E4=BD=9C=E4=B8=9A?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- "\344\275\234\344\270\232.zip" | Bin 0 -> 43425 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 "\344\275\234\344\270\232.zip" diff --git "a/\344\275\234\344\270\232.zip" "b/\344\275\234\344\270\232.zip" new file mode 100644 index 0000000000000000000000000000000000000000..064b9d93bfd882de6e0f232256af5929d0c28786 GIT binary patch literal 43425 zcmeFZWmsLw(l(4c1ef6M?iSqL-PyRi2bbXP4hilMBuIcjfZ*=#7M!5p&deE~Gv_?# zkst3ji))3&mEF}{)zx)ZSKn(Z%78nsteUcwiiH0N?2a z!_-S{G=ADyMC`7z8P7bnffDFdv$`ebEK4@Tz5Y+{B9KE7jSvv2Vx!OAUl7hm;CgRT&*rNRD>h&?kU=Z>6Ia zGT0szpyqE4u~8~E%15xWi+&CElc``p#9bv+QZo;yUVwst(1U@1(Ee*}P3&zQENuWz z3?8;NAxiD?y-Wxz@g8AR_eyct*b8m>;jj=qG0-s4xRAw;$y^v8`0dadVO&Tuk5Bu* z=@Pzzrlf!wFRHJXA?@u^34%ME#gjsOnfIS{WxjqdN zZPU_(BpliCo&r(~VN_F`_B1|aMy3nN*fiI(>BD@Hxt)@iGMYzzzQ#cOT$=G0RRksU zz7Gvv?s>RU#6nH91t=Vnar3XeYr?IyV3gurH!$kobYrvP+FdV z;qK(SgLz@Wf8cXhw&eGW_={b)fnLPhW#51dw5uUF2nfr+wyTwqlQO`;-r3T{-pLZ+ z{N23miKA9MObC6aLG3|j?bkeR*rb+50r*gD!N;Jw8ZvsuL$?YRt9~()WMN9$RF}q4 zkG=_h!Zb6`%LzzX8Wz&6rV2^^@y%*)srN^3`ZtoRG-6+bxHd!MnC-*MjRvEmHj05$ zAd|8sH9$p!TGi~S3BK#nu<%nu%Z3@?YEBphEO$qDn>>9su<+id&RI~Nh~RizE~}Mg zLA`F?@W@?SE+ltA-Q#KEa=f(|V)%%=>kE*LL_$DQ|BTP%f;jqO)VV0|8N3B|UBdt# zhkF?@YY6lbDfk}IYjk34&q9?;U+V5#j&9LQJh90xEV_{EIqmcj+X)7nyTDU#|UvZ<8t;w-iGgEerN z(gYsc2=#jlOc6=@@->X00NF}MK`93Ts~+vR#U}^nvz%fo^;Q|Yq`|LmHpelr#x4`; zCBOFRk6T!!JM3lH)W^EC%uv;v}^+eWUw z4W<0O6VJvtM3R}Z%SNI$e~h4FIxF*DZ|A9f!o}_R#>G3g{4G+&dW6T9o1;ooZ=F;n zLAyl*qw>()VWCa(m}&d`0}?h1XpZ=e+UgVPqHwUqlF%x7nK@KVxl9F>)NFvC}QFbK1X_qvDiQNH>T7Z|S&39Q*Y_*|k{KSKQz|yL|79t8K z?j+0-lR87GD}ona8xN}{h(LyeHe;kD9w8ad9E^k}&$6cWu|hyC)@d)1nKObvRSBY6 zL;`JCpNN{w{1PX6)1vuY1b&oePq9os>dv>%6DNrwUHNe9-F1!LF=&#})U1t@Mg2_c z`~YTsX!$&8dYq-)qHe|G5i01?cz#W7n2JReE!%r4Hh1McC35cfm@(*HO2koNN+t#| z^{z4XhIkq#CPfZKp9c*Yp^j{8DoWZ+KN<6--{>;+z$j1z#|kYbe9FZ?fXAcADQ8|p z!gDkQKQn}?pV4ex$Pl<;OkmvyR1Lng$9nQXGI#-DfO;(P>;-cy5UZ3Cw|`8H2_-dne`ca)`0gqsCr&Mt259r0GdzM)H;`S+1; z`oCPGzSmz>>=~a|T@RbEZQ;}5cyv`b^q#!(*r{n`2-{DTSW$2-#ueyV26;$ z>t0!y-DMQpLVkCNYwq&*fx`#%`zR$b}yI;50i!dNU}eb9w~tiQA;h)MURkiZoa)_4V^p=j|m#?4spW$lxb~ zUsmw<45-N86ebE91VoM$1cdHiuV8n3Cu?U1BNM>)7Bt2jv7(;C;ZQP3>1oV{sFW^(QY27aQ3#;v0ltB{hg!j6MnMnkbeRXLYIMgv>627ep35cQT$50h_C{I_5oB-sqK2 zkv)B4vtrTE?Zx+b&Ye;dP;RGHX%=*rpHPP@+^5%J2MjR>>2668!_{s+g-1sgAj6JU(5*8s5;1tC)Z+@W zpxU9~gWeAbs=*CNeUi64v;k}|tAso<$zq@~v`?~&;boozV0CPn!e_)s1oY&Q=WOHH zthFTPg^vdT*!7-fr{JpY>aPrqQn@%}{6INKRV_4Y12Ih{bEPhr8QR7(t zMYs?VpV$}C!I8B{0mC0{ZNd0Gqu`@oZi>q6!}5^lU&hr+zA-U4@5bh}ek1W<1CJs4 z`DOs^_C}24l#L8shG@juXfgpFnn@m+UEzd8ZZ9K~qOa+_u_QiSvYPeP9_Y3GvP0|p zQ-qV{*EL|F1{)5GJqof=8!s|;@^_8d!{_SLcUxcS69F?_lB&e5jj*kODQ`g(UnuB= zfHhRNC2>;O^e_|h*NN6Ii>q@0Noz*6{J^Wfmq0li-vi^DlIBA@uHh`?2;m(^(n}ysY_u}roG?YYzKLH)IDY|xF5P;o>jSpf{G>Z1~eTa0KW**BvS<&GWnK^_amws ze@y_o3E_2!-oOCbHF#%(RD5I+SgI?tvR9FXQ-O6T3K!ccbFeN0M5-CArE%Qa14h8M zkG`PWJ+frg2c?48*_=~vst=B|mqd6er3SkZ4Gqxa8*HutCFoh_tEX?_^z(-N&IXAh zw9a>ZDe_oF2*PDZ;HRkQTlD-gAq$uJT1U|bKL8GAJuJ|dvX%q!4X@*xyUoblddrFg zL}egOJ^!q7pYnL)qwExt5#ZtE$lpNx8+juWTC73{~LEX2$)zpz}Ue@ji)e#`ozxR;1JdMW-EhP#&-$86OCUaJLm zdO2r^wUJE#HbJveblB9^j&_V7BP>8UWV++CN~8Sc8HWJTlXH++6h7kuM+ z9HwT2n%@W+B!b~N=bjbUc@?52p76nTMjiZ&s|rboTxaaj!KASI%;la{`cRZqG>vhj>j07M|SzS3@|TbSFq=Pa8lkVSKMupxeUZfVvFbpPZ;$Z5PV{mO6}>j z_R-y77yD3|TJXC$G2=yC+}C>bG=x(k7rwq|HB394`DnY(RM{#9sxbrZwz}pd#^Q4~ z$zgL^M%uD2ExhSiYqh%$-lPXcTw4yMF4?yXZ};s1_^hZ$@upY|^Ipo`is;|wYs%I) z5wFG8F|$07x3NeDmHVmSOtA09j!E0ATSGRcN1{=J$U)B>@t+>LsU~5~UL6vFC~Y?) zLnlcMQZq#OP4J_o3Ncr&X)HXdzneY14z0B7bZ$wfC#=$T@H_{ZY%s*AE2A|QbwqIT zRG(U6%%6$(mQ1y2A@Ua9lipNnEh58?fONeVeoX{tm!c$L-07XaXw@hv%-*nwgK!_@ z=RIcWi*)RIXCUU*hQ)Br(+(f>v@5A-q6xlm>dMd*dMppS&FICRhZWirc{~zgcjIjF z-nsUI`_d^l_o{JJBk{(iB$aXDjC!6S4L9*T0s zn{1mtH_1GW*?6z(D%Vq{UUj{dL+v=kCOfI!xV|hZxAKe6n4+Nsx<~bO2ujq~v*U{w z)%t!OHye+cvjt3({R^&g_`5kr4Q)L_Z7P=>V^d2rePv3GopfKFVV7DRh-=Q4ieg*Y zbHN)d+%X=TtOQMlPNx&hl(L6r-xBd(PRc`N24Wg?-|>H# zJAJH7p{2RPqSr{k2egbhIOIRR*N)+QnJi9A6;r2Cy@=oBXYFkZ7#bQr(%v7W{Eq5y zK>P*)`M#+vKw@%K0zQAg*@5>zErS_ZZa`AKk@RLXjsS6p%DTu1cijn-%n2m&p@zqb6 z2M9=6_-|`36n`~FMN3tHv&;8guanEqC73_T5c;=e08CvOoB@^$&Mpi#Kh}v%{!u6T zSv(BLfQN+2%Z8Wo{lL8=I}`|r%>RUVOFL752ZM!+t<5Jjnb=7tX z9GX0j4_aQ>A2na%=#|oz(O<0X@EINw*?`2c+Tf-+2OCgbAagBxc%(TKn?j?GV}cJ5 zD`!kM6*Kp#dub8r2njZo+^h}1oYSzdiiOb7yAx%U>xhoAZ>wYLAXk|1JYk#5hEWXn z@18y+;bb5zK;B~r95Y1{zw@}HZ~sVG2^IeIftK}ag`Xk3xv+nnblp?ry{4*zA%DQP z29Y2!J-KxY9BPEgO=Xjc37jf*TCbs;y495q(^C3ty4Y2wT@yV&(>`b4iNsmJCP)B3 zCMIV!6$B_bu|f}iMSh)bxp(P_x9)RR9-9mUfKBEpHZFnYTjrSRa6ikWjUwD~cGHR% zla7vnI-RvQxo!cqN_XPmURInktDTP2{b<9+yLnucQIM)^Yqb#L*&jXzX2xlb+(IyP^F=s0s##i@_Zi{jsq{7`(dbBPf~yi(U_6; z{Z+KSpXMh&R&ss#;#S4;xUzfR2dJN1`bU51;?xRT118f9>L4JB{}cWKbb2FC1}h^s zqaU1RTh}{wLJ;|RwfD5fYQr&t+C@hnPIOB#f)8P~P4t<#xI&Sh-g0PP?D6EJkS}S| zVs^U^I@Q7VXyoL<%+1YjGISxRUTDbcrYYL&Y{`15Q$y#O@;dlQ;!@>8_ZbZ?LgO{| zr&)psv*6wrNhvGiP#G?`7y^C2naK%$tv6nHG0xay0e zJF-45^aaeGUnUvE9M?+3ZO$u+_QPd|J=8U0aLnD1wRmqVQXU0H`*_PAPzrHPW7^3U zXl62+@VbHL<_4Rh1lRU8OpF8p_To~jByv&_m6@~QaP}!ZX~fMhq9_GoyS63Z7Y+0@ zA>f(cDqd}kvmvCwe~ZU${Lua~h_unWhWFh92^k`DTaz>+OaI zJWab08e~Q9b71pbBxiDA%?yk-oA-=k7@!2PXhpFgc!EUCK?KdIf=9CJYms%f7nWko z7vSB!#PQtiyqO3roiyb@H045S0tGd;#xOwhXla7&YVo|QNJmgsgT^$Fxn%H0P(iZD zLmYsg*cnR(eu6d_X?&E#rTQo>&k@-pc*V6a1z(=Qb~L-Iw;wL72@J$`dvENTn#F%i zox4E|#G+gx(5*hbu=aSq13by>05bj)7D&xBJlw|+A;xt&80*+flfPipKo%Pl1g8-5cg|y>K@x3!b^$z zIrS)W4G%gcXVlYuf&Dn=LOtjd-XM9kLri*MVSN>akGZ=a`JCyFIY?PUqKDd+lqe zf(*kn$$6JH*mfQF?o`-dAzHYHCD~Ppbx=PG$BEO4y-dC>o*>e~ zL|&1cdexF6LD3JDFu{IdPG+fHS?L4MFE;Y!`d#n{%~wi>#Gy3DnoCMIk7$B0H|$p; z_B_jW_Z1vS7as&xPEHd`@t>DoD{zWbWm3=5NB119qH^pA4fH?yJ1s6KPg#|1dq9XM5C9>zj~o zPw$uOvqD3*a~Y^kmGuT$kuj^AJCs-&L>!b3Yz&9(QfE0(`m0Tt?4HmE1YZ|`w@l!x zwzDWm-3y#&VZy+;_PX?U)ix8UW*40w>e6?+b6&|65e!hzix0@P-V|SV0DbdKs zzX4QLzv+q-x6yhw7wZb$&`;|Ag7`Fb=kHj!By*%EWDXl%Y0j1=ht3@45*E z&vjIU%jF~aa%*mzjH~jbV|^SVx;k;OA*J|i;7q-JMyotolrvI)`+d~XakRQ?)s{h- zSFU2@LPx;F-W$$VW3|@00zJ|DlfCj?B+du1U384WhO(EqYKUrOIsGn96)r7><>@lx z=N^L@xPakK?RnR=O(jWB1mjp08h5lHnlWaWUO&quesN?lrR&clg9I>Yr+r%GZ6h=} zWcZVMk6o0gIyq_BHJ!)Hm(mi8mobO7N8E`@&1m+laAWyOrB^Yd{-<4cY1)LV(N|}L z){h&{R*xi&erI+S2Ek1o8?x)UHLpV!p6w=#!TIRbr8PcQG(APIE?Mv}`>sMc znn2`J?T+!vC^XzGVbn-PCiX>s%v-d(mSD_WzPPrSYhnm})LwCZ;Z_rhRl4vV>ajj% z8s~B!q!248@=442)^4h;CS%6X!+O;1wDO7p$Jk~5NWWp!-gb5Wedw`%n|<~>)YW~1 zrm&fkRlnpa-)hTt`RO=m8|~xql#P9;Jp-3EoGD-4qsx+qq3c$Kg#ZTV?0ThY+jfGi zXl*&3J^6QhS82%#%(1b^-;77~a%G!z-@q%VoU^=0{-7u?aj};ao2&fRPt(ju=k3JR z>$W5HgsxLK#$DwGQ;W}E_|#^k&2upJgCJ#K57$={TUHWZP}m=)bV~MXnd|b*L``nv zCah%9q!zQLp6?h-+jG>QGqr*l_9jhKV5S#;_E{sM!NCUr@`Lbv(U@@xt9|>YHOC3)>xomY!zdU4!tzf(`TuqV60##jS$L00bdx+w1N2=l%^A|9% z3}&&ga??Iktd(BH2!VG;f_6#mCRvh@dek{VZTxl-#i zL|`H{It|)ihH@jCP{F;w7wnyK0a%&%Mrv2tT^F8pa?Bhp9FR0GTJ3ssZxdBaFL1^b zp7?Nw!^=T(p9SNZ4pchObWYQur=b6@#A zJv=Q>Mi=Q;7ccEvo7-O<&mA4UXIvHVdtH@pza!AU_CP1I{E8D(t>j8|`DDQwP+7}Z zzB2gku=I>|+PPI}y3t^r@o1)D_PsWP^;O*wTN(59dM6m?Nvrz=kJ@AX$A-C}$S#Gm zjhbmWY49X#(2MCq(fJMv}_ft3f~FGWX6(5qrk?|gKz2) zu{r=XTJ9sY%_fyZk*~8do{}2H_f;vIpv-nRXM&j-gzir|`7gtT$ewU^+n%q&hK3*s z{KKL>{C3z{%d8qb4#=AMT&C0Yd2JVrFs=3<^z&*fWGANwOP{gF97J;@o=eKVh zr>zPXdb+vAC{kZp33%_udS*4Le4M*F`*2h5c2{|_Oe{h>%>#G`6PkZZnuo(N!Mb1M zzzYbI-`as3nD0+32_>Dc?k+tYaWOG?XFYVPvsY|q(!F}cEC0VTAH%Og0 zHt#WfV*P~Rs#AJT91+{c3=xO_O;RuY%k zNI2_O7MBD=IQ&*ZvuF;Q$&B%!HXbp&v9`{KX5+13E+P2{m8~c)k&y`Jt-xkMh6tH0 zZe}z3{0efEIwH)^%*@A9D@m|U(pe zt>Cl~mRDbt|3p;eEkBMHGW^ejN;?7RfMEIEsGJ7134o&tz(ec*4C@$}h5GI@4)b!h zkLS*3NXGzO)YQ+;#$U9Bv}j38h3Mi;Hn6#g<>OQ~(78!R;+&1WcGps4z*@){;&*$~ z8WZZ&#XkpX67}~oI|*kIz3ZiR63-&u?d5h7l0CJ0s8j!8@Xmt^e8QN$VB8cj@n{%!`-51bPy$M(uF}V+c?5H`owOl^inss=AuxBDKWU~TbLqr2lP<15p`gN_) zs)tNtBjEMA^BIlJS9@_R)y5`S2@2A>h&Nr0ET zt(_|a|EcB4cdK8x(!Gf$!-x#BTtT;Y2(N7EB}y<|!f|}{^pXSB`w8j062Do8T?XaC zM!a&1{$A(iw=D89tAx7ex@cQBqPCbv%A7Gt8LcRKei?qeIr=^y?%eg4y@g1yL}y8} zz^f0bBf{+i&`6Qc9RogWkk$)e4!CEPxvAH>(PPaDQpB~E@8PN^iOUH0`i@B0`$b6FMQzB zKP$B|Iy;&CTzC9qQy{bAubbK$S=#-oeX!MUyZ%eg%lEE-X#c&$^eZ8?zZ?Hw625*b z1Xx`C3qgOGwfs>KuuA(E!v2yj_2l(K-ZOb=Rg)0M>bk&WikJT%JXo&)n=q%L@*G`i`pe!4_^xm%CL>wyJXiis)<IdL zRIMHqXWy{^Id&0th^NxX@zo3__SRI_jvG?c9Uqmrui(@nDDwe$pkM9_Ap!gkco)QF zpaShU0=%TENILkT*`c}A1ZPlEv-d79`KM>K`8Qjs#>ccNkNM^g9}k%I%!c`N7K)nO zxkMi=doLZ7e8LRI&CSgR)cWe^Qyv=E4L21 zH=69BeOiAS)o~7W7nw|XUn~MxvIh@d$mPgGr0R?rX&-lQ|1AHKwDz^%&k6b;7w%uO zDSq}&CxElPtCI=9`B#4a`{?m6Lx2nLeB@W{D}YBAKv(vw|wax44YF25D@8{J?)zDr}wMULPAt|?j|^GpG#@ zrZ;wX>lN0^hTq~Th6lJ66xeGxsp6Q_l*49=#vml_qF%o81{T3xwzjrGjNmcGP?thqeceF8VH9H9T`(u9 zVFsN^ps=bm9l_UdT1J`D-?HW*HhNg0(5g$g9rs3~-*73>CMZilNha`Ejw%h+_pWct zsMB-HRi(~JywlJXca&R2wBYgfx*@V*OQdmOOlIUD0|!kYP9GML)Dhc?>i1*?3|)VF zS+%Z9$vmu99`PF4jZ&&ACQfq{Tl?O?3vKE6^1R~mkaQnGR=&AH5TcevR5+sju_J47 zdP6~oUX9mWs-A0l`~>$W@cVI!EC%Bzc!5*&4md^f|LGKo0!%EwpFRFzhAI~2ux`rc1 zeM@sN)@t)AbJU|a*|C?$Aqxc{-FlV4>t#*xRd4$OKo+7}xrrK2!3219IrH?`p`qKP;t63JV;KgcMRX!M8 zdhE172dy9&V?cN?+`TIj7@3GuyMBTg>ckD{8~tuO*{rj)t@5JE)^d3h?UHtyr?-ob zu%53#Eyp}b@6U*Di}tb5_LV~>sgoHw!z>>{CzhV2oVbOI`Asa2w}@J$tNSM1f5ra# zzLFSpPQ?^}({uzxC+Yumn&d=8MgA~FjfpbyJxu6gyUDH4<%JMp>S(V};gbDRh|zkX z^zjl~xth)>Ve(J#cSTAwkf9m~$UM)k+WSZAz|P?y#Y9u)luai0O?ixp6BbBJKC%QB zF?{WVH9N~@R@L!IIU!?npHmEt{-lc;1wvU@u)w=PS+-^}TD6;q^o5U*$R-a=H&AcW zTfKtHi2SRWeoK@$NB2kUDN%j~jUfP*{$k$fKE$`PdSt+v@Yqeez(+pW`?4)Xj29)U zqlaFS(>Dw0%QH#G=I=A5>+q)EAwwH|UquU7Uw8a74aEg_!z19Dv1Fnll3Y4R{DX+l zm+5vaFuz?k@qdgokRvU}kFF!LDmy9NK;ErW3t4qp6d+DS6ZHC!a-bQv`!3K17l$zD z%s5y{<*~XCc-gT(L@|~T#W`te)Sia`Ehl9 zRc+ki2TohbeKb)_En)|8Z0K>|jnBtU(Q<1#eW{j&#TLG~}pD>eX=HtD2^)Z)YEejoAf zTYb567y7fx8%piIdBsK^^0h$P|3#Hch!v)nLo2m{+*QkYVbt2b0$Naf6qeI^Oj2~7t%Jkgf<*JZbn zb~m(J`w&G!yU|DeVQa7D1TrO4X>=7zeOkC(HYt;K9wibkU{McoM64-+Gv&pe({T^+ zQyc{OfkE&y1_K|6{%V1_7&(~(ehuQEe+QdX|3+&Q8zX1u-=q@1m-3fM$v?*Mla$|P z^1qk#moWY(l75@Y|6UsFe?hxn<=(#-`}YDx{xgC9JemLA0juIvax$>ezyS=Ge~D`U zME^h8E&Q0x|6p=ol|y+nCFG~3)Z1*G2~Y@e6xXZ!*F|^} zCke~+5u-N_=fj+n>D;Sd<{z)_?-f9XG!;n0ys1r< z5)@MmrJEUz^t*-OEa~3DRzRd&M&p#^BG6Hu5k(}E5m1~_1@y!6jXQ|k>U^>Yi4<8Z70PH%SwrTjfrLS-|DwOTr55h0Yx z$J(##vKk(RCf{^5{R|tI-sZ_J@^2DYJ01Eba+J2N)07b#(A+?d<;fi~eGQ&03ck!= zJhSN_HQj9()Jw9&iQ2S;@{BTNqFKkZGgpkWkrh^I9VO%Ir*ZAH;+QvyX1m2-+<7H6 z!fj{h(0|Mp8||7A+$$nex_iWCF}+^lnWSd~F7*?^u!r_1aZ3Dnod_KGEGs%PC6@F&AyaRB!4?)l|bE&GLW=UVp{f!B3&6j zRd#=-bcexAc=~jYaNcD0;mv1mjselpT4{=F$N_sv-(C{#vm438@lj?WiZk$iPS2(0 zF1f*55PsgVVI;SDk>w+Y8>bp6@@C0VuEB=4u5WC{sB~N&kangN)1THK^TS8W4q62M z`3n2X_dWix0Bnui0Cx1wK%{Z~^#23nhrim~{JtZde)csXNgZs&QU_ic)7s~3Jye@E@LBQMc ze|Nl=b`GvCKabXRs2xd=2|aXux!nPD=A~TkH9h53$X)rRYT`;eO!+roLKPE5sE};W zy!@*1T#Lu83Y$JksB{a_`F`s!+YB#p{CL?kk2a9#5+Lvxsqop1y+a-$cybcTcWLZ? zQW4|_6@gm)eEsFt^xt>7?;BW=AK#|@3&%47cKc8F!T(ujKRMr@4dBNKmE>%YmI8KM z0KA?5ZwBytM~oh1hVy4afE-)y@rZD7RqAKR_aiezV;1^)-3k|&y-KU@+(jBY_f48= z!&usFV-4ei)OUWa-CKf1k4$?%PZ5PoPGqK(u%KztQZs zF8e8t8437~FogFL*o(ZY8$;#p!J;r3sn8*>)**89V}hwoqk~I{yN_OUJ^G@=D%{* zUrSzeAb@*@U@ZZ$ozp2CjzoZWTJC)FXnqd5ri2ltc{(qTGEd1Zu z$ox$({+nR@H^KOCg7FVr<^QJ$#(zA-W&Sq;rL(IOz|7JK@P|s+k8cT&$0tp?0>$70 zPw+MW6LG-P0EX{HS%x3>_Q2OYl1ifU1=gCTSqMh?QB-L$*N>3 z`kwYA>3IVcouba9p4w&CY?yOjv-2n`jLMfL=#F;18StQc@L$TP->Y*;0js+9Kov28 zs%rfARsB;!(05H^h7f~+nx4k*8Nq=xgz;~;!b5@}ihdL(eHCE_hPr%V4Vs%nFXMJr z#WE>`Mx8)TxWkfNWrMu@6lT6%^Uw|D2wtUc_Qw6{3++Iw=G~4eZ;pC^_T83h1cYY| zKDYQKr#oK|Q%i}vgWt{0ujuFBb+qVDId}Spj^FF0|EjS02k-dpbpC-&^Mii;NI=?N=e;u#-qh=E@~Flz*1^i^s^5cguP zlhf*V(-=Zlr}=#vvHoW~_RpCoKj1NH1ovaY@YXi!i#uM~v6Y%w11u2UxtlQZF}| z=)tZoY4&Low))HvxC=X*5mAC8>h(W5b~y9?)>qS7Sfgp6K|m0JUj(Z6pUk7Gn2PH6 zle&MoHi7RTENj^UzxxjPN#FAM%;Y4BOv@Hc{?vQfDjuk=2YHqq>D zM|wk#B20@@eo@@Y$=>MHelbo0cA>zQ(SlV6@D(8o13NhpQi& zb`>zL!enoW@#BMWU%&h+^nSeTz8+>uS>bg&xw(kJWZ7G*J}@sG`N5?O@M#t$(CPO8 zw&}Z>0|>MNHum?ab(D=STY=9d)Y{!kQogv~U4T(LDncKtxL zk>V(D2)kDM*^O?TE@A3YRt8Grthlp@u2o8aj#N*V6ds&q99JJvJ&Bdytl?#OEhwGz z_{A#9{Q5((D&N%FqHzPmv0%&>3{a$g;s>lyrxE!v$5U5mPuJ=I+_?*roT&6MKT)Ct zdZ!|VFnNclWrZ#7owi_*Z+5b zugb&FUa0ZUhKi>}t<#+x)I?@QmKX+#7{kPvN_uwaT$IR8oT?5WqIrfuxi(i=!dMht z+G5oE)f#HfzW}WxT1aZu)1;3uMRQ#32rSric=sFyGVV-*XJ8hLBS8Vb&z2M$SE8<* zW?(vVb@V>RSKg2y+tFBDS**m_EefhU(!JL8?Ap8Fy;%!p*(QkTW)y*EGt*&ULtOJT zALX7O)e?Y&)Jq17u3S0|dth5Ct5ZDYCB3zoXhDsqYRK#AG$B1Ih`bYUckx{pQH=fyB@_N3?Th)d`b1qh1YexwpB7iuX-T3_(vs@-{00lf(NhlebWDcSBfjjx(SY zp~Kr<49F^|K@}XfyRtWHaUCDZ!CcZY7PcAbL~;W;O~Vh~eVWXF&(buI4g*F_MHbd^ zUrTq=o6=bj)Y)>s`!x9Cj%2!6-rjOVKQr@EE3XL3YD$3j+Q3#1EnrhmtvW;E$+i3& z;)EQ0L#c*I={)--AB7sAV>m-i%-r=oruvD=Lh`;4$MI_%U<~gyUX#^VVo&pTe8l;@ zX0K=MXv^fWOEH>+M~j-z870E;;RPJuR{@__C;0B_;9~-rU#>I=l`Y6VLCs?Zei{qY zI=%F8&|jkvBVdC;kCe+#%zleva@;~at7G;+1ozr0z;Ab>;o=}u!@l9M0(TvJh9lOk zTBpWfqhK{+lVIxVsT2Xmpmm^ofvNJw-Dk+p`RdJuFM+?Sh&Bzh#RCJ*^#n((PBd-f z1QMnE)VUQ4GsTR86+4y+N0ALC#?;i{P!K!zDq|$ihElhuk-*;CGtDVpSxb@k?l-gQ zl|^mhh7zBVNvQ@@^J2LZ5D-w7(>fAW6Pw5!SgAbgPy6f-6>N0pZ@FF#6Cj&nqhTa-kR0Z!M=LS_ zJTdsfN|Y$QH2b1$OY7R-Zpk@r!PWVE8_8FiktHsA0~VeQqdpppFz;y0JClBn^r$JR zjn+2@Wxe&Q?y=h5iMGh>+dXlkn{Pc5@Yi!Qi!JVom`2yO5;MZN_sRTT1}{6-1Q+RL zDDJZ*#ZP&5zs#Mi5ey40cDB}TR!JUs$=hTVi7iYJgBRGj7%YMck6In(sx7B3`}=d_ zSFNnE+Od&b+x+Gcy<4ySWOV=O#cx5{xXAH_0tnKoK#=}UCHXHW zTYm!5f0|YPh|!4?K#V?#dM56n%#H`aK=HwcFgW46+~G2K<+fJWA*C$;aAh~4 zESM+u0^e0UmSe!qjk9gku1O*1bu?FoN^v^60xhC$H4zOM4hyrV_BV%bWeZh#yQ6li zUdAOHJVv1;HR#H+NZhPwFRhp6()9G#B527%lyd&fMS8Sp+BZh8g4C);kLa8WMCZyM&{^^)be_y=ef~^Hr~iigM|5tuuRYw<@+kfX zIv=XyHb);Ce2Cc{MZc2xj?RfdbjJK@R6SmGe*r}2*zf2}`U5(TfO)9^(K+o$bmj!G zP2Tk#K&SxGne%6K#`%uU**~E(f+L3+C^NFPfcPhGF)(>0g)&W=_XTm;(!tRRSw_Mm z6tnMm7EX_0J;uy}1;a5;q5V-hX^qP7m(gxJ}julF*=>}wRl;8pa|)(o~JIr?|W-5hJ_azSfS zk-PS7i^`(1XyM#0HrUWwVsk}^5F?`YW1Fgr(#If*cfQ2!DnRFd#*fDzF_8Hrg4jXd zmpOs7J*SJd=78G$+K6iR2tE7Kz%5?m=4EpLzrfBwFzm4e1j#&!#GT73Y)tKa1Yf^T zE;3Q4s{)M;%weS_lp0e>;GtN23n3^R{#0N;C$&1#!gSPBsLIzxY9l~L8P>uWOd@R7 zr&^@8&n@9_Z@I`q*Ca!ecH0^=011AD(st>eY1vA80CFONq{a4SX;+ctJ%dItaggIp zQ`y~CQe=za_ji!!_%}Cqqu9v&l-*});%Sbib#d|{+b|JU^daBG%$C3SWzO%S?~HR( zn$f8Rx9(C}GR{P-QhHgZSm*N~2{w)F1%$!ZGf2Wm=+HX_uC#UQy=5ujbop3U z793Hlo89|KW~*ep%uJjNPG^|r!TTe^feD`7KhYo1A2mv4!iTP0_EAJ*+X$TBy7 zOYnV!-1a*Ely7e5Qv3G76H>T}SfLrR$FTZb%axx4D5+h|__>Ak!`R^x&v7<%yCiCNcFL@cG@SGoGR|*Lh#8c@x6{O{U{KOgH^64-vC`&6_z~e z;d-(gqBS6Sz7peU@>$F#xB3Q6a5&W8Fj(&~+GVkhHrLNzX2Nt6!-nFS)>Ip221(0% zzsek6@ZNguFLb=P(28&u#8vAFEzkLGSAH|sf6Aak@o0w6pGOd{=$^%B7{()z7CI)T z->&zp8g2}rZ;{$rgW!v>5=UH?i>Ywa-dJlpB8n_2MBH-PMmV%V)%1XY|8Tr4fHdPb zMp;_r;w9sJy|7~11xC)USorZ<#Ix~k1`OV5tJkvCoxx%yW1QVWo?QD&nc)uMQ4?*o zouLnEYA*Wj)<)aJZ}l<>%qE}Sp+vjM(Ls-Fv#a$`W6$OWAv}#VV$O#4aN3>g4n&Zk zczxnB?cvSq(tBR+PkfSc=LdPb*cX0%O&lVwY!iP>q>0p?c{3^>iUnz>yd~5lSUZQ# zGq3fMc_wGksokvaMZs5SENmCX(N@L|k1O&1(N>gKhPLG`ua^@Z;jkX<@NV*}ZbnT7 zZwKX4WTf?7t3d}PB)P&a3_?x1vfbdN^+Y#m#lP4lij!+3)D3dOPOo^RLfh^ z>WBgLC3$bv^$BdcZjH32P-4+W;O~XrKUJTP~- z7M5S(ia(ue6>DdJEWiRl?H>1sP@&i}a_?RK;w~!nk@(Tr6-uo#Vk557xCO?E!4m!c zQx1U;VmB0vEElAI&Un{ldSItA{k2UzF}4k}QO&^lz5I&;8;b-7rDzy3)<$=~T)uLG zF@+nvBDdu%pB9naiAV&~LXSZ(xlcajUC>l*r|lz{c*t(NgUgMtM$;VhJgTl~Tt3W< zX{fjq*4#g=7eaa;9UL!psC|cLg&AQ&=w$F;;5qCUcn19r&v%yndWln4S#xAkkqyZr zP@<1hzP2x5_)Bg5)LjW(!NGQ1n!RqZmRySUrZs&>D)A!#7q@hTc)0-UpzTEMC*Oy8 z_uu0437IH79T1;afcX3$)wccwpZ`!1`M<{IvOmXW1g}SZ1u$=x{8T1wq0o6XH>~0! zY3eJCNRyWfyXNnay-;a!Q~=o1*RJd}pRd#6xj#D72$#}W$a{d9EGzcy_{x5=e6}ra z%9N)BZ>(aEC}@6?{bcKX zxsX0{)(wYGd|-`Jn+B!>^PguM%1Sfp{a2C_SvYqD8)a1mujFus8#-!vJ|dIhUV-ywSN8fq2`YM9co?;&Nx)n1$>%LclH zY=0I6TdydLrE*X})JL_EFD3t9Z|4DzW&1sF60*0qEV}36ok?CB;RIEILR{4`)@Br(2Z{M`J)! zIq-!5P6Cxym_=Yqehp3mhr%0wCCiZMPVFhpK&P;&%wjn)(axQRl7l8qXry>l0Ty5V_Pr74W#3un)Dw+QU+v8mD?>$?-RG@k zIiYkx7Pq8tO8rVqpr;5+Nk8SXr>a3h{@5i^;cCkrHZD2Od0lyL1#l9F?mZN>_tS!7 zu64rg-mEBNw(s~vW6p+cq|M5sNe8S~PSqE<((JI5DdzFGTVO<9FFNql4^yFbrD9bG zNB&Ky^Z6JuYlZ~w+ijX6vbT(mn)_WhJXq9gJtubQoO@F!?NO@qi3L2mJid>$9WT4T zg?>!@WRw+w6`3pK-Pd28L(nQapcj^$HlODlcQ1T|$fO|WfcYtIeRh{AaxuH&>;$sV zYP}--pC|bPy)}19_ux*1^Nz$HaAwL*G5MmNKZU(2CGDkgjJMwraGcMQc=QhQc{x3L zT!}Ssyd{fv=gA@}Psa+T6IFoYTrBaP?#RsHG7TS_2AOLTX(#XZI10C1Mmf&n2*-Ku zm*Y&d=P1f?7QfZ!68fwRrC1j8J)*WZs4UV%G z;5gd=j&moEP`{e9-I1(q<) zsAO}cd~8jwC_PA9Agw~we%je@pz_@#wjH(Qc_+&fS35nw5Zq1@J*|^pqg|BWJRPqW zvmofCOO?{uV`OmdvTbK(NLTSsTlowViiV4B=hWXi<-RQGpS+qRq3?Q2 zIq0MSan~dmT*jcNjI2v);b7v{TDr zdTYm1w~`+@JTKxMh8gnrNAREmKi;Rra*u!in3_ zr+J!GlRjW#?6CZ(tB}R^j#^SDO1kq(TmEEGM?qcEzz=R8>B!Mg=kZl6UY<&Jxo(`u zoA|~i6s2S49A`|FX79ew=-&O}np#4TvoQ0s8+hLD7+nrdGiqr&D_0t%$mpKAb;$C* z0dGL^QM#9Yg?E)S0}Cz^QfOeN*$DIdX7=SD50f;u+=XMTMq~eA`Dt4q2Yn*ziQ_Cg z>ea?mdfDG(+!DgPg*pY1947B6#(QHb~LjxK4gmHBkxV_Y!bp=Qs9sCsku zsFw03F`-iNv(j$ObNPPnT{>AkB-uq(TK748ip119;$hm2C40;+3Gke8QJ(Xjxmi&Y zD}7oY@oC69{}b6!>U2RJI>kB8KnK=L>h!asWHD;eQzB-aMec zS(uyFqCj8Z-O=&~x_5jQNNoi}F?DJq>_Z|}7E@A4&7@^J9pAG#>@V~kE}!mk8*XUZ z-McU1Ga}4gv=-)8OVyP+`6REDYvkp$xY98qFwCu+NF~e`&VHquAQF$f#U@5t@f~l~ zurOO#`rcs0k4}TpJek7&%-8`{N|rjUNf?@ zXL3z^L%8!{YnB$@dneXA&oJ4I2IJ#xHG2HNl2GTrNap0siCK=GxSMy)rvJ`d=-WH^ zIWKZ_9Qs7_{AUlR9?@xM66g?R!qKHl);sQr8eBV>?tl|W9+hJEDW z&+M=#k2|Y~zAgwHV^ceQWFKigwOH$2TrkAFv>xJqxfbGHSqpKyHs=8$?&N@84Ll&k zUD2#5U?zC6=wa@rJN3Ok+NsasDbxn8?bHe2PJI}@Q(rviUW3}Hy974fsYjqY_0x?z z^(sDWrxsk>shdV2J2lm+l)M)r#2tXxshK>E4DroJ03mKnAjI8HxFf#{UtEa^XPAEg zho0wJY0b4KO)VAuQFM^;`$xvSWbeZNP<2dOm0ik%wuG0!YG)y`ct zb8%9ll;9Nj5v$ylj@ePBnrx#%$x?koHI|E<3uhwV+O>F3m*au^hEu~u?yo}`7~?ZV zW#@IJBACx=dFHyk$=}g*O1-U6_UkEf_5f^*aq%lP?gKYypU*Eo(5+Lh=S%3yA5nO0 z#zYd=`A(jcScQLxInWooo8h?Y`{}Omj*k{USqSZVJ36eInO=mx7I%IuCh0|Iilyzp zAX{iWjWLGd5;@TjB*M~%m&fqXL&B3K!e93S@3d_B@+GSgipgL?t(D@l-hH`O9o*Og zr1A0Vv3gewsLM_@n6^CY{kYO*Hje8XJEncNOxPxWTpfp7QyWW!E}3zO&nqvqYAP>V zKR5GdZqFkAXeQD7_WOnHU+HHgGJz0xld-PCFe1dg=hXX>QF9=~y{F}L=L=V4h&wsJ zWksy6@7oC=#C_=e7a+u)%t4;si3o8M;D4Cz^*=np*y_nV&=AR+F~wGg+SkNZ-o6Cm|hw(oV}3O zvmwOI352+(a}go#i}P&8&eHG3IlMX-B`m5v`X9Z&-#lIt{50Vf{iU8^5+wGSQ67jZjO*}o?0rNz+r2Mhg(^|h zwp<~EmmhZ^edt_-4{iF(hrW93;iz_bPT^vzaXC-w>)xvAey6^!_k9b+vHq<7t80(j z(JvAH$t_#NyC6K^t$lE}NB^ond36Q$Rlu`s$Ze~QS6xN_ApDN@b%=jh`%ctVI|^YB z&Wpe`yLZ5)dLVE9wjuq^zjKRMVUU`+sxz)ZAwwzI?O5($m{w{qBxfjpJGV}oR8xjR zUR{`8{X%3_<*4Ta!mf#GzsMg3YzGv{5!dQJc8SKG<`V4^n*W#}HteV7zq~xhD2-)| zP3dy%`FTvv4{t0e3COd_?a0T(B$^8hr1y~Q=cY0{B^IJc%tfasBB32=CrWudhr+X| zQ8X;#_3r9(^$so86PX`O_8xLjX67p2FF_`$ADP!dOqnI_7sf?X5>(s!a-5B1&amx{ za{YIQ&wC1_l`H9wXIPLOh%d9RbWoHCZ#40HCH3{k$)obs^PbCYd-y}XwNb0s3|$w& zrYJAm9V&W+G@Uus;mtG)+Zzh~mhV`#5}}-&(_v=1V8hqq59F9M!|G$ZJ?X$g9XCXbV0Zu5Bu8vE-e$cjVwd%OxtutCrn9%P7NG zSRRn_YX9Kl2qKA&N%>kG%|#=cZc&nZr3y*dJaT7;8>x7nlMr4jS)lq^*4j~IrJb~N zEl>M-)T@zHi>FSh&PlR%vsaTp+0Bk*{p6ydj4LaSy;-OACR^mb($n48)o!9H1qai{ z`G+v^#<&Gero3#tb9i@l$4wQ7RjR!Ljjdt4tJ~k+3R5i%&NxMKSdZ- zG27j;6~>g^@l(AlTF|nbz-RANq1y3qR;ddlRuV-ywiz!U)Tau$S-+VVce9=w&i{4< zgL_bcIPmOkbE%M>R}2Z$Sk(;^Yg@T3C*_}?A~uX~<^IHRW`E#Y!VW=$&VqDv9hqCD zIcb`b7IBUC5Bl2AbJFEM+@IK(SNE1maJZqhnWJJq1KC#&W$L3!`0bKqO;j`bm!9{A zyr!EcHhi5~r}?%d-uH#X-eDI_B8^M=W_fmx)P?%|%qFJY=CrEM_aF9|*gtO&$kd8| zUFSQ&K*V^626N)_WvP7$CbceD)Xnp(BAOl*!RM&8)vbNr8-4Axs7z<}>I+VN*}KcI zzCE{3p$nHW>R)qSCfwU$o=(hpH{e|}5Ue?ri>ov2fYp<`%#nyx6p z!o}i@Pratur1$B?6Y=f4x*c}e#Z&3Kw$X%oXAX)TpeuE^w+JDw8k89k!~fon6DaQZ z?$Aoc(Zob1BkK8kB1Jt(YAa!$%JoFka^vB~l-glVpX&3dk7*q44ecHfJbJ&J?5eju zx32L3?nU-w#Y-1*r{B-|PLOHZwDip?)Y)hIJT+J;&w6!)EWkWC?+5b=-hm2ty2v-q zUzJXoUOtb1MMCp|g>ZQq;iYBk1$@;7y3oNPswmSmMGFzSySJvKMH6p3u}QYbFUjA- z3s)N8d?3ksSBJAAUY<#Hq;{vmEd9=x6VZ1Glzzwu`G?pSi;CTNq&RozUhEN;7_}&M z)4lUllD%nVG&4>O_i0#VxU}^{>A+S*P}XZS2VhGCc3#FgqA3V<|Eeb(#5Q6~>;UMI5gw zY-0!bg}K?UOUoq2u<8|3*LpM1yV%>E&F)VKP`;DKY$63rg46up+RyH{^Z7tYq{sKF z4VVPjwx_AO$zvxyDdmeEv0&TP=ec69SeZ|e_+?b5$m!kFvCOhh%JF-_uy@{Eb5`Th zeP$ie@!)=!PNBI4v89=(#rg-j;y##*_$h1Mnyb?}6*0aP%TBkf{4jvklc!-Wp4~po z66aN^j!@J2?Ap`n#&|1sBb~C9dlreX>#@4M)K(SivTM4j3t5-aEhy)y2+O`)mGH^4 z*u}~Cyfs`oT2b}ct@>m;MT58;-fY_LdV`#2#`9EqHnH_W#@!9HW4QT?!3~#Wi0*ZZ z$XpeAuIfm~s-?ha{H~)QV-WjfD>K8yLc|?r1)h56hPg9${XJB4+71~()fH#f>V5FYRcE=%El8J(yg;nXr1KLo zrUy0mNz)%W8X|m_4L_-Mm-%G*8=GyUl>Gx$`P6rOrzKud9%;MSnO0{W#hB59ZN)Kk za9UsUd*@{arF_yAd=Z2D&mOZIkgx`*f3r#);fAq}H6=g-5S>S~YrF*7;#LOlbIl>CR2PtT40Lj zoks28Y&~rQb#tCe9*p#dMQKmPSOuS02sd@T|141F%blDG@>2UrZt z(K@q`y{UW*0;hc(b@^xF?y!6exq4-i_}m?hg!BhzrWeWPZ(m7L;W-o|_54JaC%qo? za@G6Y!^?v*Rah;g8U@2A@vn8h*y})cIDJ*NuW+Rq&r*&-#WboZZ}8#qy(S^WIIr^b zi<)HZUfJ;(pIMyE>@}-nc$jVzc2K)S&{zDNmU?v+$Akc(SK^iTK6Yli46&ZS3g?KH zi#31t`Q+OhP5bj3vPZo$pVQxx%$q#yWpD22z?VRnnH3z%cUvJNt6W5dr6?)oL%3pk zD(%^bs0bdc?sw^2lk%kA#B#Bp&G2i9fJx%6qBAeoO)d4>dXCs46Hig;_E_R9==-+r>@zLo)CzxdMr><4poaA?V)b0AQ3-{>viz~KZ>+*k3ddXEVAabg9it9zC zbXbQ`v4;GYi|&-HP64SL%}2Cs2?wvA4X`Jvr)^i|118B1V3HUP;>bK&8luhI#S}LA zEiz(`EkwIhnW?s9z=n0e|~n%M(23Uvp^mm^(0O%x20`XMgqsd?U;qM=&UX zy#WIQk?tG$!>_++F<5{7MEdLVxBCY^GXEOzQWgdch95Dnr)qg8W}Swpg%R-C(9Zq+ zz@tte_rL~&fGC?=SwgTR0NRur$TrIk4!RA7tq^*}>F&{e`H% zzgM0eybFBwci<1_n!pP{%N_W$jX+)-AfKs?qm!!@R5V80<9`0M4$SUZUSuCP6Rqf> zq!X9)rJV$LznceGXt>ryGXr8z0sp#&~& z3<&lD7W{1l!%M0|#mlawD;`!48Y&&M z_;gdsAcW;(W}(avCH;4mDnaQ8t&@;#A^mq+LDa2;Vt|8xRGQ>0Vy43}P>TwBF-i~v zv8WVng#jx~36+~+nCym-2Y&vET$we)N64N3W4T)-0f8bpH=&TgPY?}i4~Y9L@S>NX zDwqKzJ@PF^1g45Dkk)S$L*b^###<3aI$$g3j?i1+T@>s_ICzCcC|ocwn7^|MzCVRS zMv>O*EkX(LGRBaE&IGbZLQstx3E@?npoHxVe@eKyj`|OwbX0~dk0fXqNddX4wMZS9uPoL~x_7=Oac=-_a)M zDuSB68?&V|!lqF)+ZGZL*~X#b)>dpU)VbhK#O;HLYuZj6vf9Gm%0#c}04f!+QV_Fm z)5Y})4=}+qNrw7}?P-h7qSt|d3fB2^!N7t5*EE6tDspf93*me)O(*}Ia76l9SnoFg zfXAct$%KKivG?mI6NK7F{~iE{eg7>3dW{O`2#5h$fq%Q`t<@OVu3`m@N!2C&1jH)P z^|A{Cy{-kwbOF#y!hgcFz7lUnCr31bT#V7_Hmkz`(ji7Iy$5KI$$-iYTiOUxCelWrf=|)DL>?Q#_ke>9>RX zD<3S>oZRq_Ay-sz#zji_A`M{g=`=oE2Qcv^nwG`0S3piqYqqzOU!TB%BrmiyvI zMLS{%M(0DHGdwV**#L3G?Pe(~T{u*{6mu+6Jg6S9y{;Z~@$fNw@VDYoEMT+`%)1VS z%D(^buc3~@bV70HFLkmx)GtWbQiGxN_Zl;X!JYqa;lLEzo56ZppsWiVUJxENyuZr= z54HZ;|1IpsRNPQA0O7S7E0I&$ZuSy6}|nQ20AQlIXvh8e5yeMoq)BZEuF| z!}Ju14t8Z79er9IgBi)?!~Y37;=m>MEAcxNaN`sM+gkxzzyN3edq7aXzk{yUd=6U| z(4kQV0Z%CpH3(1f|6Hq^L2qT%uQ^ej0IeEquWKIF33&E+XeTr!{$D!rd+P?r0qg?U zUhe|>$r66rGLYQ93($O$P}2oZnc$iRwzrZl1~c7Te<>Z7Iv$DwMpOR=r?W_aOg9 zUT7SDeQiSU=1Ko=c-I3;yrC3IR<5RKeJ8vx3eEn36Zw zBxs*tl;4O0WeFQK361v4!bV>B=)Zv4@&N!C_y-x+na~#xfi)&XOvprYdnU95Y0wEl zNly!#5DUz^H=PjhBzw>$IOm@r00*>f(|Q33%%G$o8U3a6NJ6l^t}N8lh3CkFlEwiq z#BFC)Xv%_2RN#&0J1JX?{&TpO>a>MHp zse`Bqk--D=Uj9(XL{ zwd?k{2=8F+rV4bitR=35xd%?Is4&7-;^8|BjoV*}2Np_La9|?>*xm|36t=n9{1XIZ zSRJYgTr9Y!gwBC-GT`@SpoUZak2$t@{(u(!ifDL-9I}UPuaWCq+HF*OU0*0p_*Dle zXMyKG7&4^3e*YK(4HNXyQWjB|pn5lA!e2y(Vm<;2fo->9zziE