From 0ee840438cf36b7a6cd79160056a73a1f7c5b789 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E3=81=97=E3=81=9A=E3=81=88?= Date: Fri, 22 Oct 2021 19:25:26 +0300 Subject: [PATCH] Added readme for the first example. --- _examples/01_bad_sort/README.md | 24 ++++++++++++++++++++++++ _examples/01_bad_sort/output.png | Bin 0 -> 23030 bytes 2 files changed, 24 insertions(+) create mode 100644 _examples/01_bad_sort/README.md create mode 100644 _examples/01_bad_sort/output.png diff --git a/_examples/01_bad_sort/README.md b/_examples/01_bad_sort/README.md new file mode 100644 index 0000000..00e8015 --- /dev/null +++ b/_examples/01_bad_sort/README.md @@ -0,0 +1,24 @@ +## Example 1. Bad sort + +This example demonstrates the highlighting capabilities of scold. + +`inputs.txt` specifies the test cases for a program that sorts integers in ascending order. The test program, however, sorts integers as if they were strings -- in a lexicographical order. + +Run the example using: +``` +$ go build bad_sort.go +$ scold bad_sort +``` + +Or, since ver2.01a, you can just do +``` +$ scold go run bad_sort.go +``` + +The output will look like this: + +![scold's output for example 1](output.png) + +1. Note that in the first test case there is a mismatch between 10 and 11, and, even though, the first characters (`'1'`) match, the numbers are highlighted fully. +2. In the second test case, there is a mismatch between 20 and -20, but only the *sign* is highlighted. +3. scold intentionally ignores presentation differences. The +0 and 00 seem different as strings, but truly *are* zeros, so no mismatch is found. diff --git a/_examples/01_bad_sort/output.png b/_examples/01_bad_sort/output.png new file mode 100644 index 0000000000000000000000000000000000000000..91e54e725a45aa31229fb8168a51a59c604640a9 GIT binary patch literal 23030 zcmd43XIN8RyDn-0ktSV4q=*!yiXgp+Qbj;OdKE-Kn$*xyQ0YxXq$5?N_dqDpn{=cm z^d1PE07+nv_>uyti-tMJ9CM8E-0ex|b9E(hlA9zKE?gj2QI^-b zaN%O;g$tK%U%dkU2Ij4p1^&3`s-^V!LUI4Cb?^g$wVayVg$rfTq}Z2);Ai5u$_B0% zE>OGS|GPNzn#J?N1^qo0dAS#!rdtS~7}~>z^Ya0I^m5cY&w2mY3rbj$n*z5k_ML<( zM(bu;V3}JlMvHr@Jw2oR`8dKXQ<+y~C*%9)r<76gfq_rs&FGZFuM^eC19{mdFb_I)dG_dz zNXFHU2!=)eh6Anf0zCo9+Td+bzf-pwKg^LiX@1{`hU}IjY)b^)LMi~Io&NPDQ<}ku6$JFA)#K~ zX{(!J$BDn0Hme>NzlWajDM=QxRzIu?Z8`Z^W0~mAHeC78ZnAtC9kg8eiJWl-)rfI~ z%>BAp?80w<~+jL=hdC4}4l-;HVvB=4aJfo^N z@zXF!2@F+-gp-TH=lu7RXZ12HEy^c)gW*=5w@3JT}I^J}@*` zOnQx3YV9k($(!0x$gH2JzR!1+IL_Mg@(0sLlh)}~p;lv&EV42aPvw&`yEseFmHH!^ zZ68|M<3oSUT^t4tkv%^d;Cq>c#r28KRxZDNtP7(p;q*KG zXXUm1Gw&{5=8fgNTV_0aEaQ7E#EMgfho+ZVZnvzHxng^(0XQr|35MU%V)N83olb#WJoJJP({wBi(fOWdONGD^|lTGrJd*kFR0|74iRgn-;- z2*N#~5BcOj?#N8c4_R3<-%C8ErtH%BohCi~Ra>@X;4s#bH6vIynBoE3FqGYtEB1pb ze{CD}%;=-G(R}SZb2aBXw>j@GYp?dFIxzDql1RF5eCgYUZOia9hK+}p`B9ICviZ5JcvkA?POj<)RfeKU;H zU@y3>?zxa?obUz>Y9g~Au4))c|vXba%r0!Dhi--H3orfs9SR7u0 zy`68_fOWjh{AF@SS*i}Q?b!Rp$aVF`%u%H1OzAkS^!-)-IFjebR;U+#G^!{qGw*c{ zNlr)^SnXAZo5_C5H}5LHu=RUVaO>Ro5pt}k$mJH;Dp1V+8(2RxU;XR;6x&`}+>*ES z522m-KK6wan8v8rrxsCzWz3E^l$=py!gq6`?CW&${g;6z8arMk&;=66!J4K|U)5pX zhd%_m+0J1)@B{4rfKk~+;u}_d&&aMX_?`5c6`N{2zDj+osaPXjrkbChnrZ5Mg!fBs ziNEZD>};83r+LAq=8$TfVH)odW^*`4b;ofp{mwM*k4LI>+V$0&RFCX@T%>3&eUQDj zN_d{+iWVD-U=V`$r%LjP-FHqa+`o8z!$Xwk z?)9A? zlfI{r5I6T;fcX>8*RtI3t$j|ub!6UlmgCJ+bn|7H6n)zhm=w>KtqPqvr(>g28KY`@ zgBfq#5Nb(fO2nFEXxvKXgWWd%xBw>8bO9;9-*NrElg`4Gf>5N9R=Vgk68>Vzr*OX` za8_*nVgtcWvPPJO#+rgys&4?xBz6|V%=9Q@&K=5ygdQ`p*#DB*Pt45)^ScD=&gdoV zc;kPLL-R4p)01~bG4pSKx4pB}m)KRUJOka#mYXikRPZx zAR;`S+hY=9JFFWl(Ww(0x+j7|2b@EYL=oFjiw{OO>`EGRQ=hjr_|F9!O@Eu2+!W|X zC-DjZfFuj&>u4E+rDuls0VDfC%)%Z+QD90~k z|NL`Ly3?q2u~S)Ca+jf2#6b`XmQ_D4?R-bGT@Cway$zKa&R_0u<8soRYb&{^eziaf z0(QI*?!dwlfGyKmDkVqyevRf`2&LiTO;)W=2)J6_fF-9n?>f7cBnxDAWap#oJ9<4V)qgLc8k%yUb~l9 zpx9ECyDjPBs6*Ag{nxIki(wcqgCm7+#zq}<=eX^FZNsWJR#x4{kn*Mc@sF;X2v`m5 zaLmZg*XdT!o|Sj~vbQsQcvx$io;ZA#340>9%J6{uAy5S?;pjQ`i&@oppkr zYeyqbOU_SA#>7|B&kpiPXQGj^XN$6%@Fs8@qh6-KNpOJKq`uwrDvw7&gk6@DB?op6 zLw#@yXZ(ws0@LRhC*MWJqkyOCJWt{02`}mgBFURR*35YG=qJne1)UHcKRR>#6kxc+ z;W=NNy|@rWE#0aaC-9!N&BWrk|NcXZy+vkeZ?{A5%!f3q-4vmj#Xs)$(*GuC^5bL_ zb*$7Jdz8ou5fMeWX&)kPtu`~QWkt&v`swLTrz+i=A9xhl;Z72;0v#9V9!TzU@7Hxm zPY@rEZ;QJyza1z}k1F&P-SmHUuw!y7p!J;0G83~MxgEX*kbxo2OD>1qs^1ijTn%9H zrBCb$UqlHc&l0`C$R2w3$!MfWc{Te??nqN(ZZXXg&NB9riKjStQyxmPSuV9rV`I)UsyQ>EkFd{Cz0n#>XV!-Go@IR}T%?QNeC2$*u_3jR zb3{u6IWix&DWS<%v&7!*&#C`9zY{1KUPrPWD5S$Az}qnDDG(5 zfmv_3DeDw#!kJSRb&-XE{rKWu^sl9?;($JR250IPvmZ*&=lX+T3YVxaPaoUJTC`nF zrVnEoXrU<7PCwe7b=rUCP&8uF)WJQn%JH)213`pD#LgG~3HDI)C*p#~vdic3i=VSp zHeTm`_iKXZ2XFuAPK=Rxh4G3zV_M#aBo_E$n?{2JWuGN@JA0}<&+v^3Uk##uh$Vl| z^7>2c%0}|QjJ60<&h2woE1v$<$j1xq=c*fReTqNXOBjebA)|0%XI_+X?RS+o&$d4u z;9MfJdipBj54P{7H}$&tI$Jr^1{t53VP)>^aet`4LL3(HNWD4Bm*$KOlXB_F*Hg9& z{&&BqAB(y)WBGR?}x-G(y$>0283c|A4hz%|WQJ0$ll zUT?MDKVLwrG-%(J*EL>k3AlR7v}>mBNoJeGFnkabpljBsl0$D+EZ~zvM^uvkVZrI% z>x}lx3RJ!)OWel`*ywce^Lkpo=b8*r)iOrEDcGgPgpalE(#vn?k5qjZ=U-K;c-+zR zI$cwam(f=p<=_3F;#te;c_`)T>FxD_aItZ5qeK~j&hNvM=bqRT*VSbw=6W;i0=?tf z;CJ0-pRKBKMX+pY7W*T)KH@yE>ARD@CXe9APLK7DgHJ4^x17=RXiVSrP>EXC!SZgi zX!{|l_-(7xgY}~mtW(@JpK&y`9(-04j!ZZ>qeP#loiZP(2KHC4`N0dsdz>DArkp6_i*~BovelW`GItjsnPv~TgOI6?a}FswAEHvm*VJid(CNQrpZrZ zk3)QLHWsRxOXC&k(K4r94PZw-r0#=a!ZEnln1)nw*N*>aP$rUW7X`xR#rF?D-Z+;%zZsJ}|>}dJIK3$I_kH4wc_^oBDV7JNbgmdQ&)*qu+ znnNz6sH*ebBP@YBazn!}Q|yK)x5jMGa)gR2_`G;Z^UcNfL-XuT&1R4v-GfJu#6xdU zuD81Lf8o(GdrZn3Komp1%r3vdzdoDuLQ|cM2z%#qm!M|8d@Zl0*?9=t$E;Z^+;jEE z^73r=xc-gFbmanNMi^VZ6|k{=W-%ZnHY6Q9OYlE)ZKesAf@?kVvs$V#SA10 zbrwTLALcC+@kQDMZ`CY1iCI%oy`p1(J&@+$w>zE_{?6jb_7^F`ZP>*wB5HqT*32rU zTp9NpH7Q?NrI?<=?2}0LMBQMNsB=a6FgU-`Q2wFi_+U68Ef!~Du%d5|; zF)N}?wi;Q(FJj!6uCL!wmCqjIETxTq%XRB3iV6~T_YGt6_%@Hby(x9MF-xL#Kvkqc zgnhq2%A;JLo!$~vZ+n}gC$iG+OyOd`)0N=zvk>AK6jna_cr+<41M--fEZ0q%G4Mk? z8;L~Gg8G+kdZX+sH+FuA--#^Kpq8f=q^_`!{h>vmXl+Aq_q*Gcf)*QH0?JE_i^*VL%nQ}g3Xax!I6ia)h(9SF}R`DI~oRO*i~7I>Yg*~Lgx7M z0ORx^=z4Cly?SxbVdL;O{B3fOQGv$ft7m|_j&{v2#ckI?pLf#7e&Q&Q2)#QQ)dvIh z-#q_~ry_GYS98BETriw*WMVMIk{`j(^*)o+MR&Mc2%l5!g5P#$ zNJj5=veXbrzBz7u=F6nwV0qoz$AA7p%bKQp?AFAf|KMle@68vo-V1Wyy!hCiijDfZ z-LcjHMe+@163U2VpZz}3>9<*xQQvEq^_os~dYJ}KLkO<=-*}NW@!IVCB>mhLQdX&K zG0|i1N^`z1dv3{>D8}Du-KBkmi7)YO|8(=`KmhUeRi_C ztp(R!_S4MBtk`t z>xRf}$A`#$tqn?Zb5pY%A=B#25QxLsLjHW7x7j@N`sD1_0H`$#GihcgL;HDJ? z@T8tt!%3)-5RuA0H1UogJg*d&p{5dH+$lqRO}HR;bsE4-WMDA&$*n5#>+z9dm^;=& zw!`c`5@|%N&6lH`8c$wFGJ7vNCXgSg3=kMI-i%mFWWQIbXaskIpnDNHMN`o8sTv`D z?UA^KE4o)gHQ?vcm9qMa@Fxj}?heThAsieW#o2rA#|_y-kxCV>`wA!Cg`#>?$O6!? zS)GzQ7fVVq={i0_F(}wp{%)N|N%NC06jD3y+%+Dv^^a^uVD68uv08J?R2yOz-H4X9`=iukga_Y6KD2d0wYwdR zc5VsO5SabjYi`MpORl&HxVF>j(H0^-sf4Fk1v8%{^rXlW)l^_VOzZeR&^NO3jZQ;5nCK=VyVPXCopkuu9`|(LqeRB%V>38x$vTnd(@UYUp%v+lwaeETKStly zz}21d`b2N2a?`W>ZmuR;rh;BCD~5?tRdMYM4Vpk^NGSY`~$Z5sy9B$&>G( zJbrBXs0O3utmD}}4%-B^tRp!PQ&`}yXJqzl8$TEC9$OjRfM_6`qMMB(qq z>{b)8=G$hLYOb9(n1hnl3D-+wKBUdfQwiT~wU(64tx5Mylz`OK_rJE^dc1Sz(ra#~ z)w<(rHw<30y?kvUZZwICKEFr}*&tl|{OP4tE7N1|DhK*iAJtB?nc z*qG5wQJv(Sap$$o^_z6lFX8j4QeF?r_U63yS0+;gq1u`ePbNK%_v37KMcI$e>Q1g* zSNZTpQs5jHODUM^p@kJ6ty)ML=&=4>$%4vOu@As5vP>U+8J9gA)kaCqo~RcEB&%0r z7K>*o3VP9xsEq1ZHK#o$eVy{L;(3@Rs_x*f6oPo~dC4?4nrZe16JumF6Y8sB$oh`Qg0KU2kq9v3O>0abGx_zih%)i#uxmE2EkKOKit8rlCb#00cL@l$+oo_MYs(9 zcAuQTTnuzC6N8G^#ST{L3xl;4#ZJl9j`G3%fBG!_M#k0BZ@K%(6rDC-vz?v^l=l<; zc=%wM9c$t)kq?Pwe?V*d0r?c_V`cm%OszimOWfQ(#zHjA`bWw4yZ6Ua z)cy8?Xzf}8`@sLLDGOeuFxLaLUSVEV< z2d+z@6xZ|j#K(j~FDS6Q_^iD|o2J|~d|NY1IU?nf7LRBJlab`CZ(RS5vRA&x_Kd^+ zTT)h85w905iR(VSRsp7P!D+kc;_7X_-)709v8)Pv`I_{ie06)?1$Mtu{LU?1xl0Xd zR#=D-0ro!QNwsI=a|K0#K2!Z@dq$`Jx$|YmZSPPY3k(Y)tTljiO!uJ@fY7;o`^HaR zJWh>#)~*Kc)7t#S#0P=>RYSj|j(izrNpFkv*jI|yt=fEpsH=L2SlX_YRP!sJqR)!C z|BZe)cn%&tPRA6XqCD>|E1(-+cGR|)(kh5CU+lW&nlHB(-@%rwMDN-Ta$ zGya&ZO5#2u7GHA>`jP&$RqA8LD7s?S=tZR2dEK8UJLrgW@_=jXp6fE&w?O%*%8Se2 zT$X!sE-u|453`{*3wwQBZyc>>=JzMfMqOtbeH{`YwGM9zIN#X*{v`OCZiM_>a-s_8 zv=yd-iq>-{T9LH!%W#mJmhw%F$0R-U6enL5M_XSpwk466t&?B6S%h@y%L!#ykb6uL zWkK&^xRiOf3V}uzHQ6_tioPYYebXm{WtK{IW+){B z8mic(Hh*JFvj`!*ZX^;eQ#D_E8k<>lWbI3H^zB|mUm{-K#w z_>l7O3faeQB=F?)#^rXBKBV0i!%0+IOP7ono7f?-9%Q{@c)f?&|M;a(17HFhTX#Jy zplYAK-4eEm@!4r6a zLV*@L_Nm|i1K#%mK$FnLJTGn<$l=sqd~)K*Ra$EtnV2oha~nbPQyj`@WHlMx#|4+}5>fK&3WU1-B1-Qv}U*IqjF+u7qFy5$y?H2m+Xin^j;4CI&T*_^Zdd zBRRp7F#p|oDsq1r{QqpQ6b7#=M&4ZhM8V=%(iy>ExoOJ)0f)}13fW>-WYlgbrCGI%5>D!rI(8RQdj3kT z8r-)@u)?d0WqNvh9U{W)F+pKI{)J|x=I?oUcw7r~i^|xV{|JD`*^CTB&PPShBMd^Se&tE1W^6WWAOC(e3(f)oGE!sTv+ zcB-A8wj<1j#|?m3(7`GgaONutLBZQlQn<4g5&H@AeSh5Pq!gp`K=h0~mCVsXd$@y) z{lxub>pLiCB=WRf+EL%6xFUqMBv8+I1jY+hEf#QdZv@W#h7~8ZVeVVeH8len@Bv|I zLJI0Lbr}}Ap9CMkd#ME?*7RQN9i>1>Qlqb_HI=Od$xU`(^;?G?o*p6#whxdrbkGd@ z#&1g)iE!l+%~DpmxKXZj-(f>|{lTzm^VDg($w8&AcbvlqDJ_1bl3F>0sFR=i} zPOs2#saJ~oj*LtD98J{c-)nQf9-GUx*y{Gh3d7}NtJs4$-dpb7dRX+z=1pRxxa-Qq z+1=9&m6i38ydcQW!CYA|O#`yeh-PUk`6))g)C`Xcpw2!w_Oof#TgW=6hFK(a$8iyr zEPS`3A~yPB&vMYSg8jVt6-;GZqrWpc;Q-ulAxE%S0oZuWhN57XwdVcX+56w>!~fGN z{r~R6T7|5F&I|H2-iL3JQNRT^F9N&By)3YePS1G$8k58lSiOi4syl&IY~T=YC!y9e z^~#xU@Tr*wB z70M@+_l=vbUB`9hw{!1Tz5@Ohi@oX7%p&K-j!C<(t9{AVz4)Uf68%eXGJSTSNmZ*B2dCeN( zRSwf*YTxdESA2AP*MGCD6aMS{WrWXmgZ1=D_cjLnAkwt-S(W#FZb*S%iD`9|-@@_k zq6k-Wx{P1lmeZe~I@RewE`S0veoTxXS>rV8*t^&nT?41Y7n0SEC?+4d`;7O^-!UaG zmj7!c09jPEeUbkfS{M4V^%LRtSf%r#qH2b9U()i*K)MssH>P=KzSW`M$6r$RL>^A` z4uyaj-CvkkdNo+*ZkLRC_c(CCN1zE??gO^8gDe3#+H(m@lBUt+cs%B#UnH|V{ z%6I*-m?o#FTz}w&$Nlfdmw2U2Y2|dgpGfr-C8CPFETGX z5R24)+G#`hnk2WBn}xag_GdcHHi}T(dH!6(M>s4*ZIoI zaS?26Y9LFpQ}p>RN(C%Skz{M5C3&XH3aX83VJmq`QMbx6Z_nN&8D*sW;H!YnRZHeI zXEna9PAJS5KUQMqq-KWm@4k2<5drYf=v_|Be!JOWZYJ)zNzsdUjTr>kwCtZwRoUrL z@rH+ljK-AVh3c^6|AGkq=j!(Y=}PUUCirIb$42mg%lgCsQg`?_V#~00h=b38A>fA? z(qG4U3Rkv}($GIv#8Cv7)kAG3^>mvC__wX(7xUZBH|h@8dBc2}L{T2j?ZEppwx+tL z&JaX^(A#l);CU%AF9S)KKVO=d%nq8~LUiqwEk8BT*7S`{1f(^U3z54xe{M`MT$}G%FTOuPFeR<;7G9{q0 zG7*wfXFWBXO2sCH2{~FT{7Loqd$ax2UVYM6up5o9VOi#Kft>l;Pp1vSlhbp)q>s}l z1*l7&hpMrE-QrI2FTMM>(q*yA1%9yew)HVeb3T)|po3}JkZd5CuhKpfX30tXQBq(N zw&#Z*Pq$A@M$!52;cM~4V_vGzz1_D76a;3ZX@c*ZPEVUpat##C{+45nj^OnhL{qZ1 zeG`LZxLV&67oR>M+WFf`i^p=yCVUzs+6QHI3xzx-&wjPojHHwIOf}IiQQE9Lb$q#g z@{^6uaCeZF_Uxs^TjSB?mvzw2NSKN7e^g02Oepfjbd3`vj!Wa3X}b{2pmW0_-L2g3 zrZ|?sh1-Qf!_QyJQ%C3E^NX5W&e6$zC+$>_02MQ^?o9uYY3Z@pSjonKehFr zs{Qk!as;DjKc6vlu*kGwDi<#})ft-v;0~*!L0;mD-Cox7PLSjK4X|-wGsu9M0Cs}- zsZ(IT@uwi6sQ2M>x6O$m0Fx)&w`ZjF<5)gQ6o)8Veic-f+WB=^Bwf(*)8DFL!2kk& zHGK*IU!(!VJ#)xW7^@5 zg8sAm?GuN4Y&_p=Q|bl8dp6Dn1ZcQor{!()de= za#^=gOqaqj|M}qeCyt=r6c-l$4y)Uk#-8jK{jF9H*H~kF=v_}T?^99bo5jjm03;}~ z4X>@}YsCjnlbxn2yH`#YqLBk?por+bipdB}U`qo`zTc3+iRZpRF-(dh!hw=ZaroTMAs6`ZNAHf}J3~!HCbyCf z{ofBLfe#3er+A#vBrC(GbcAu{awD_%a<&RNh6l7Z=v-nC&g8S9!d(CWs+pl5WteB4 z-0hR_Gf~i%50q)BY~ULZ3&`xJTl;%4jUX~=8A@M1&yEX?>qw&2VO{I z`@xM*xyd^eBQM1TN{v$ZcTk{&%^WSUqSyj%E0srKoo>fQkW2MDL( zwZAumMajU{F8#lxB>n4@Dp!_sLyq43`ekgM@rC%DKE9YZOq4eFrOV3dCo`fBxYUxC6r*n0_WrGHl{T@U zsHHaa6Na)jf3L5H^BI)4HGuFR3e<;Yn9lJn^lU&Aql_=Kp&04BxH%9o14Q6D(+2O! zIv{G)iq86u^pAwYOhhJDnIQ0&4P5oKv=*Lnn+4CR8Uh>L!aU zQ`Of-KM6d^V!?Icb3jFgRXtk>*tiMEnv1iDqRtx84coPV9Mu7aI=zZJUW`U$$OXYc zP;t#;bK+%5#UwvtO6z~k$wGOGp=_(~?tK2B$jGkfwx*RBw>IbTHT^BDN8^fJLB#gZ z2m-!rfktsDA)L;4(dI?2LRZe>rnPEOaRV~0mwTpQ>F4emJL-GNSd|oP zS)|C@#P4eZ#f|&FB5ywI38d=$NqXrPW_PvGW%=ni4C16pS-TIiVn(G_zVLg|3_=|Z z`~8wApc_z(jUBYnXh3g2`2@{TO{k+c^BpQOsOZpH@#Uj`ZfLjxD%TBr1`Rka7B=T9 zjfT4(c}*7YK^E{09Qf+Bfn2BFKLgc_L|0k4#Vek=v?I1K=JIWP_Q6xN_RWON9cFT=mkveU0t3| zhQVa1&qiTrK>Vk%_#nLaf@APhV~v|9ORcG8EITl;%TC&c%=1YuzWczEP{my#UQ6cW zw)&H0d&)8%avV>isJo&#JkOsp_efl*_b^hj0|-^H_m_zb1-pQbWs)r7!26xc)02R_ zXJ-)eWfTlH0|`Grigh@jjJ>$*n*8Q#Qn%AS=uXn5hYHKdmt_fxk=Pixj+!DLaV`BGPA zTY)P7^{8U3+C*g5h&!Nv{me;z@Ad;Oxg68uC@w^sh>8>a_^G8*AjhhNu-&}6zehi{ zpBa{bh1I);-?f1|Pc~i3u|%$y%TQ_8RD!mQosRWQtI5M6irOULR1Z;Yq**ATjt zIVAF)u+KPwNoKA`_8cDn&~9Z)cZL00swDEX+7=0Rr!himOwqBy8VB2XV@Rg*APtl2y_Ab=E z{$`tsyJUwCX$e=7;<~H?&b+m5DHjyp)tqj}&1iva+sCmVJjE2L(u=1rRtV~pKW%S-N}R( zvm5;VNQtf{6|LN4eKcbHs;+<&vK+(}DjrwD)5Afeoqz+ve)mcvKgZKik6K@+v#HHV z?SP^k`8Ol~Z=UUsxH+X%3ieC1e$N@6#cF%9-Bt~jk7N^cAyF=ZXK%@T{&}#Z?z!?i zam+s90+qX|^9g4vUNLh>>jzuTf!Xn*Fi3tUD{-VGHr5y)t)6W8z75x!_Nel6dU-ar z^ZSGHcj1kNTm?N-CwKC1725&!>VzW5G3;UnCfZ@!P-y)8rf-$bTaD?HG>64L25b|2 z%S6Cg!~Q(W$obf*dFrR+Yiju&`$r};@~^lZ7aYG@5TR^prxA7T1x0zADY;+Hj@cb6 zlV!ate_H9`yIR&c0|pSb8*zUcZ+!f4FXifMBdq+0S{esy&6Bu4BY6dZ6$y6E*XbHF z_QVjW_2#0E={@p%_xOqCT?pzF4h&$F2ZY`^2E@?ddDLs_(6L{^YGtc4L zfb+9Ivw#yZ72XInzj5vLU&s2+-JLm>$m`H*?-+HGe9cw%?A`tLCyhB&hxaG1l;yVQ zc?Z2yMAo^<$+M@^vS-iT^|+m=A7=Id0A=>cdQ(%VBx;aW{JnfbH1xEpE>CMc_pmhw4PE-HhE;V2{~s z_2NRzK}0lVVnF59hR=@}toBcG4(mH?!(Z67xa7)caWmQnPxLPF3Q?e|Lw7vfWI7+D z)|bgdyleA$dFJGY?mny9?qKcL@0XhF^>ViV3XFsbd7fexpmZan5@Dx+=NXz@ym*@q zxh@{JwYL2EFX0XqAhDdgJ{W(w1ox#_jCa;jFFZupBlJpWB%|n5s&u4Qk*H(p`0)XUTv;uHn1^JzBJjJeBynll8s;o?UU=;>CnzD0% zK5e3)qEZn6IYCMPq`U{tdIL*l!LFAl4J%$p5?(oaqCKfoplcA$?gVg0b(C}bjz6RskLbP+8gdy&`T ziSX_!Uh-X36jB}pfFkIj4qw`j1oID~VEj`LqMQ-AYK)8&NrKr76-nQp;J%FlhU}g! z>U6D|7F^`VSePAm-ZltQ_Da7y4Z#C(Ja#t)op2-Z|MG7CW#xYVw{-A-u)#QvQV1yi zE*Ekj;F#i(&+ZdSKrC@FJDO`SkA~Q}uI>FHUVXB%vU0?`LXM!Vuo#exjvqft&N8m^ z8{23^V9M%1q|e?YBAZ!seLo!5^caZZ=<9k<&SfcMH?1~d_loiB5FC58cz|Q#yW8$K z_v<~XYTT4`2G>HPAvOPrjKKmY(*U}u9DycQ{6KjU@ygaVe;Vp+S!z|jW*4>(pk0y? z%%jMt)+GlC+M7~EiHE`7w})j907sI<9S)r}GA75JKawv`P)=gK&oWIQ_75~$m2ClAavWBEi4@3daHumLCNpqVcM}pf*L&^50m5-O0p5ADf@>KxGNpf@}8 ziNo3dr88RZ$Kv&;Ph@4O@`H<8{74hriVUGJE=|yoRQ~Wi0c5Z7P}9V4tgYP{^!zyX z=JVP99VE}FbL#^?r&^n}b0T0lnIhS30(+RGlxe@&TvKUzl&LwZ9OL^A2y}{(7vBHJ z6#g?Zvo5=s31DvaajB=+xJIzZ&a8lD>M}3C`F;<8El|M3yUwcoO^d@17`*>Ex|7Fj z?P_0kM>?2--_}9=i*!{H$b!HUc;;O zkbsX8j__^1;!kG*tZb92SfGN_vOGW9)C5U&)D0WC#ch7m@`&Z(ZVrdwj_Fap>J|+d| zZ(l~D=VvW%;^mH&MC+es6)9l@T_+U+pu&df6v-{%%i~F%JJSB~i`bDn(NY%TQOmsv zFtF$9h-o-Suij;!iIzV4#whkS1Bk$AdtmDNv539>wUS`$63Q`1>kPI;?^v0}Em?o~ z3i~lW5QD>0_oESTD2lpojNa_D!U00&;DtTj{mN*801*rLM46?))z_D=kd<1x8vkn~ z7NB?O>$lHc4>Uyu?I%j-5J`Xu+YlcV8dSi+Hg`y+cyI%#8+~2_PODt$A(#t;4L%T3 z#aqcKWQH}44z4WEm3O?hmlMo924paWTfrIc@rY-|9G52TW1o0I(5i>l2;FOTHazBB zc>k!$y!jFuyoMJnpnc>9Fn-S*li=?=A3%22!(IY`myTB)^0)kx;??~VkWaBzc#+@! z_$pV=5@(kI<)bc!ourhHopym;VRSr!4~r$ffoHv^uT8V6k#RXd^!4u>q&M=fzM>Tm z4WX@wkXwk7M3s7hBp|P*^>T$Wp_6<pHa;1F7BzqS2tWZ}rh5F%V-a1=RgILE>nrAJ|cdS7g+}ejLr5G7491SA`G!51pnl;j79c^~}X3-Z1)rdj)JNYnGDoyn#6N$TYef#hfkd(FQ{%c-?<5yRB$>_;@@5_NPC2KR4wsC}HA9&jG-{s~E z12v#%yAoYgFN2ppU@+h6_m+A=cCc|s_K;k@vXXA$fIH5KrU72JU!GZ=gG!5IF# zHJr8o9cBDK*lE;W>X}9=LXaA}WyOTbN-OO5g+h!@yDhpi%=KsrR+s$|W2j;WQCqGK znc~0349yzI1Cb$J2xV7mK=^gOx(uUhX(^58XP5$(%RGIrPI)4EMZ87 zudXIQ^evPRY|~JcteuH(o)@4?H_DtX%C3B1Ug@$7iUbnt4EfCZGVC@7q{kn`V>wSFaCa&TfI)U&J}fDKt@ZibLGQrjy}Xp z*Z|y7FaG#^`?H9nCkR?M4J5$Qb-uvJm3e|wDg zKW0bwt}g5kul{MLH?zO9*8t#bGi(w}+iAT&+i)p|7T0dUetO+Fj|{n~&Ll0tJJaHy z$HZpb4lnn2s+&A?rcF!?b+BK^Q8Nr#Y`-D26L^>aP(J;P$L>PANc2rB0b&)F@qn3Z z6nqgNr*RE=l9CzjVhlm^ymB{vj=>WX*P4f2d}M{ct?p~KwYB-E>{x1HQ0;Pg{%&fh zghb^ViN2iyhu@!fsu^mZ++zFO(8VhFGdl<4UJ?F4-JYg>m25^s`?lKKZ$?u?xYEiX zJ{B^<&vko{>UHiHDuY1AT*Wue^&UJ*=BvA*!9*B+ub#h(agRM}no>A^;5OT?!j;e_ z*uLZXi3T28Tx$+WY5r@Yw|_h&!`m16ztpKig+l2~f-#b__qnU(2p@dro@JsJ5ptBo*&-Oen#^>WD~_ zY-CQB;>H$Mfc!!-HYSe>eCo&zlE;|#@E*V*!+#%mlVk5bf`Z$XLP}1JYGfm= z8bRgCQ}iP%VAD75V0EUfWAQ{ef=4qML1i4?e^!i7C}tG)L14)%i^ zcbK1NsQ}~TrUt?#gqADve-(4)(Nyp69xs(KVM|Dc%w(uUW+^*ULXnwLAycM}I^q;k zDnm{xLqx}rXp8n_D#>_I=3%o<+2%1JHuw3``5kB7d;h%a{%2XN?{|Oq`hK40c|WiB z8{u1HQMm+US^@qV@nHUs1n2)U6#O6m@hc$S2;PHapwxO`PwxRS2QPB#T0zXdz5?k( zj#zOmW{fT1xH6Yxgm}&*tF~e$yIPSZAY)_wV7mhiE88BJoa{go4pm$>%^HlncgzXa zw>#L>FV6ESI1!vvZncTWdoT6`bOQ{XkXJ4A(e60$uB;7?fEjPw<(4d45Vcr@8Fw0& ztb8dcJu#Y@g2QN5^*h9|AZ*qJyRgp{D=#SV!om(Mu%dpqzguW@@Mch+m|=WJKFxVA zht%mwT3ZqPFNO)Ksh(;YZe=O zKIB8*zJuP zW4S6ZeBrNFqoo=Ry+C5|uKTuO({pUV8~RU?M*$;zla*5nTOUef5-?3xuv^RyI`UMW z835s*T)d*lD?1O#D&6W6pn|<$26D>%h5Q;}jSLI7U^G3GbfDA#5pc3MPhzX)ple4u ztO**{%P;dp=?L!w(YKHQs4+2RJoZ&IivXzzVxK}SfKWJL$A@;sicQo(+LLLDd-(M zzowyakM8Lmk-i4p0vb!cI3u&OQKxvOoaI_#7PRHT$6mLA)8Vnh7KK8wdPBP4`ESyN z*aZo1H~mA4jbgGricjK7)>iM;pSQDXD!-Nc3bWwrTP1bBrql3`5N#?JO6|I<9(z@;zOtIjWA5D+NDo+DfE{?7XmhP7mkKRw)+ zO+HieZ1f8XweKwas}Zp0wXL-aUujz&{DEJ%%`qJ4lem_F^Xzd=-q)naV0=yi8#^5u zxvg9o<)_;a*xOe#-ty~;?OKJ5ZLvm0*tZ##+|0(`NMsUfQC%sml?)6RS9Dntd%1Ju|9@u))XzIEI zC7FQ<)f3%!U*ZLJN)?hh#_WS;(Rio&{T94Blb-m(!WPo@n$u(&oc}?=d3C_V4$74- zIgV!xft*mV==1lJ(7NBEzY3thzP+w>OhMU&;q{-k54Gn>o7f`t-As_@gbQd_A9JMn zl-#i@H02wm5gjwQ2i)?wW$dL-?k^q@R$zvvVf4ouG=O+sD+W)?oVB+`i(-IHD7pN@ z<6$KZ%V&Y|DXSf=8`=QRY(v1QhNGNJ0_Ww@`+-1*)w;pW5Pdgf+IP6O8v)u#4#$fm z2P>3_Ldt&u=of6+^)a3;{)&U_x%T<_fH$Mk2Krh56nJ_Y?kxj$4ZG;tR7269RIPgD zd?UH8B2?n}+sQekBnlkCGN#sL!M7IpJ)Q|ZijHg*t>|%h8D%4hNED){Vmhp5pPS1$ zCv=E&Z>ic7q3ArSZgbrRf!?%9peIz@nbg$luxGmogJ}qg;>%;-=Q(55+x1t)%r<}p zEBEQzns)ORiGRxT1$u$a^1S_W8d1F7S-;{P*Oq^lA5zp?Ix+LU?>RG4k6AU99YWZe zZ!4_=`r{YDCWzanUH*qF6aXdXAh+u<3@T9yoTKXt;G6u<4akem9p>k%aA1ZdlCK#4 zMDn(%Kg=vSt(GE2v8sWmg$3D~>mg^LtM7b;PIEiVnheuskOmiDPfYxFP<~1LoxXa@ z-80BHnw{8B`rRp;+@o+s#$^E=*X9n-swu@nXUup2Ul*z7pHTo|Wlm)xg*=NvXX)9Hp zh+%K}QI4nIsVU$`mDbvu)nNL)NQtwbk$gG$5>?En; zwUc+Qr93c`KPcQ}2~z|h+z&^-5aIW7bfXF7P!I-V^kN7Z&FBlodmB6so9gz5hQo)~ z{532s(>V}F25NOmLsvr9y}x*9EbC)&;t9mw*2$yz;gL&=-65+QmNwx@pUo%Lh{@k1 z$a!;do``vyA~(u8flqhqenUje+V%k+o$r3~P)5Gi!Op%5fip^;swS_lDlE1uq;%mB z^W9id+>DV!v&In`mD8N7vs7xre6mb3Dy`v8P1$gX*;+|UwlSai-3RxEPE|^PH{%rn zJ`rSl7;UvuZK-RmZZSL{6ai(F1e2o;7F=fg<8HE|D9a52e%leVWALX}iH;7l7<7lG zAZ?HkNCnAwG?FRE!wJ9IkZF(;S;ZdW@iv$n1hSCb#4R;{tU)&1I^f2?!W{A7k6J{a z5x8z;w4k6n=AaKdP$J2@ZUfH?q7!p-6uX8VlT&{e`goAs(D||U- zq#OUX9{L40-=(CF8#N%R5p80NQVLmH-M>Qj*>sa^&^Fy&l}d0$T<68mPZpw&6;m@2 z`wzmgPPh1h7G}-Cv%<7)H1@+AZz!8Ls4it-u<(~cquKO>c{fVw>lF+~?8#al(Q1yR zq-}L)TI3JsC++!sI$bv!S7wv%h{h^)K~ST6Fu?nXRLAl#CeQUX+J!JgMmp4Fz`D1% zN~hr)l0{ag-*dNO1;QJBcQEWhE^NO*Ih<>Qhn$-=e_N5rrjDq=xnKl}VBpG&=vN0~ z(T&=m1UV2XQA&^ih#<2s46=(^ht7Vff1oRN$my#8sO|mjt47xrXCy0c_Ze)*z^J4qwsWU z?Bmk=)T?8cE?i^`5r=1dpG%Zb2R@brBT+BYk9XAkP(9#5-07AUt30=RSHPFTn+7Pf z@kn!KbUhO@Y&o!MevxUCu4#_^$U03WOa3K+!M*B73kTBmDc;d1PksTn%-Byxt?*C_ z*c*u~@@w4e4?G|&91bM17xx6`F}hux_l1}oNNVdgp2W{6npZ))A0vBd$5n7|DNd!v zd5!-0v?~aJT>sLY;h!SdY=qAqk{0)oA2lJL!UARYZr8r45hlsP@5~R1_}fDVGtREE zMhU*%|Ez}E1~1*?huT0T^(e97J7$d>vKbgf`Xy4s1Ya0N3_OQjwRM`&?^%X+VbpQP z6DFx?&nlju81`lUV|K++5H|{)x2$geb*ZECD)f}5L*^NigwsQ$tR!kje@%$zaMB?v zXG3_HR@^ImYvF?w_@(vK#Lr>=Sm8eg~kZkE)m<JcBf{ZtQP!WA?sJQyca;=LG>)Nx_%G+R9t{HXXU~CZBSYs89HLvp$tD$UR>W{td@7jX^-}$tvB{x DJ6vi^ literal 0 HcmV?d00001