From 97e3f56bf2da36307a51f1ff04925f8bf5e304f7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 8 Aug 2012 22:05:43 -0500 Subject: [PATCH] adjust bitmap tests to test judgment form labels (and fix expected result under mac os x) --- collects/redex/private/pict.rkt | 4 ++-- collects/redex/tests/bitmap-test.rkt | 8 +++++--- .../bmps-macosx/judgment-form-examples.png | Bin 15771 -> 21410 bytes 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/collects/redex/private/pict.rkt b/collects/redex/private/pict.rkt index 88ab08ffe8..911b861f53 100644 --- a/collects/redex/private/pict.rkt +++ b/collects/redex/private/pict.rkt @@ -856,8 +856,8 @@ (list-ref eqn 0)))) (metafunc-proc-pict-info (metafunction-proc mf)))) mfs))] - [eqns (select-mf-cases all-eqns #f)] - [lhss (select-mf-cases all-lhss #f)] + [eqns (select-mf-cases all-eqns)] + [lhss (select-mf-cases all-lhss)] [rhss (map (lambda (eqn) (wrapper->pict (list-ref eqn 2))) eqns)] [_ (unless (or (not current-linebreaks) (= (length current-linebreaks) (length eqns))) diff --git a/collects/redex/tests/bitmap-test.rkt b/collects/redex/tests/bitmap-test.rkt index 56288b7161..e073ffda9b 100644 --- a/collects/redex/tests/bitmap-test.rkt +++ b/collects/redex/tests/bitmap-test.rkt @@ -290,9 +290,11 @@ (define-judgment-form nats #:mode (sum I I O) - [(sum z n n)] - [(sum (s n_1) n_2 (s n_3)) - (sum n_1 n_2 n_3)]) + [----------- "sumz" + (sum z n n)] + [(sum n_1 n_2 n_3) + ------------------------- "sums" + (sum (s n_1) n_2 (s n_3))]) (define-judgment-form nats #:mode (mfw I O) diff --git a/collects/redex/tests/bmps-macosx/judgment-form-examples.png b/collects/redex/tests/bmps-macosx/judgment-form-examples.png index f9ed6537667b1d0f2b5e8c2f9f0e91e4787f87c8..b7c15a71b4e48616ffcaa5f847cbe27c5335c529 100644 GIT binary patch literal 21410 zcmd43bx>u|lCOzVIEA|u?(XjH?i3X6?yiLvaBz2bC|s&=J-EBO7cO(^-tKv=2H9rBn-|FRTOCuD4s7^7ws^S91!?11y*)uMM}lTACs^t~66w4X+EvcG`?ZGC^F(mi`EVwXQRn%qb<;AxhIV%I_(og+3Akf3|UAlNcG zZ{vB!c2<%5DwQaAJYh=mlX99Js`#;@fEg{q#SxT4s}T-8RP{KO(xrq#P3uKU7V2Ek zuQ?xF_$G?F|0Lob)Kx&BJXLhg1s*<*7+3~f;NEM0enDY6y3M6zy8${*G3>JG$gt3@ zb^47A#f@LRElwGeDcLhZ+1~N=4SjCmET7yI1*qP%4EH?Q@=W~}?ucfsM1H6jJKLxs zQ!vfRHyyR^vxBWGWb8?o**_qEAyV3v#Y!P|r*N;BtR|2Zl(OMX6yn zlw0c>&Bp*t?`i1@X!$zNQR5V=5%9``h)+?lG5Xi!+Pu({ypy&Y6ZaAE5{nsxcKiw8 zG$ohDLTYj{+iG)Qyp5PiFWT~{rR6h}S|4PZsCggQyAR;j%=We4yGuM=Wl_5ZtoG`a zoT!d#IP>`4(cW*dR0p-feG!r4P$6bC%@SCSRi;o2`^bJ&P>}f@X9S6M&67KDE0nf` zDa@?6$|d*|m`JWu!B1H_Q`c!fdaD?^wiVQSv^8?d1eijDzVRM`#!x7W_kX~F`J%eYRkXig*S?hrwT{P|du5Jg8O{`;q%bjs@*$z%4r#<;z z*%Oyce{Ka&nKN(O^m1N0_lE_h_2dIwI5w%5qsNerUfW8WK>>g{tBN?9!}7~R5n z2E(TbrZNH5VfS6Sqe_A_t72-c2u2U4hf7yw^941vrtDFdLWJS({J*LDx#0?0P=Nzi z#+aI?f;TtrPOWBO9V1ZhTjPBn^4_*AzDl(g)r%--erQVxgnb##!wjn zURE2vMc+VcvmxW;q;SdI9;H^lmnrYMtu#=8ihe+xxIz?lJ*)Ef6W=gb-h2Ij%d zRmC^jNhDx{l&$n#u)n~ALK}iV2TsPF!=)&ji$Oed+|5|KW57sZO&|Yct>f3dW4GJb zQ?ITUxcWQt$PLkFe7eU97k~gPvdcl|7w(xj+%g}R0{HGPJRA+|gG?FvNqhlDit36r zm!AixwlXo=el4(viXb@TctOjTc)ds%Uiyo!eL@p=ApM2XQBJe0C}GNF+RXwJur9`z z=W}J)WFr(yw4|pZ_HacqksP)?gov#xWaOARg&5Dw$v!hRB`oLBs$yN&7Mzs@kpWA! z*?8ttNK|LCoB)S7<2oGc_QF9+hj%?tpNl#s6MV$*?G0gb&^{EcFiyj&($mw1)V?s= zK`0k#WrCobRm|>lJBQ5(14LuO_vfdmWg?jv>8{L(Kn|;0H}yLuuTU23-DpWe-)o8P zSvQx)uqI3<1S`Wl3|a#`W;I5)1MoSFBF>CZfZRWUZ%=cVSna7ZtLOpJo$n4tWny zupfQ>BX2Gasepp)JLt}ww{SkZ$HjolZBII=kG)cLt)9_q%^w@5JCX_D()}@_K`ev5 zq`_J>sO>h;;U9a>IVvRgXCbI)@i3LDqqM*k9Z2{1NU9dy2t!@v4W6O^2jS6q)4A{jzC z1WG!%)>)2qX!SnH^B6j&?CY(sKc}aLNn^kjaODes&=5_oM=x&m?pO5vY)@IwT%2OY zA@TJ3k+Fcc@!m_k{yr*9SECgH2d?FRi(nm((Xjpq|4a*Ou1hmIpFg%f_QppDNdGg3 zVOM&yc65`ShuZQPbYfEAfInE(g5Tc$`Htfln0pf3tB7>Y*9gq*4|4E4=)8ZAXq8~h zi+_~;9ED(eE_*+*f85M;K7ERHSJtuq^+Qd5$e0WBiN}&12Jg8v#nhqNHB_4X?_F!0 zHh?q#*Z9@t4({^;MyE%Fyg5%$o8hq1O4*4DUn`?0EGvVn=XsYC-P9icmGSj+d@AvP zG+j?zO0b_RM{dFPnz8;dq6denp{|Hr4^xe+sOcMfPT7IF+y}&@Vq`xkUZTs6Y)Clv z$IjZ5O&Ex&d}Tzbl`Yv>yQ25$4;N=TT68g**<+}I5lebMH&9lTd@?hj1Cug{@X9jU z{yjWX0y`HbhA^o46F zBb?cCdxEVtaHPM)GH7WiY|@QCHAzs5)ulA4`+GJYXJYz2i@YYGOLFt!So~p&gKE=0 z1<~cJUIV)0yC^*a(|&{i!y+G?C^I^ULUA3i*hr6Z?EcsSx&Fb8bq2U)sft z)W?9n${#t}+WYcfMMLn%_iRd{!vyJovR?=A&d%_bM2Pf^gwN%VMvzPK7bG-st__?5 zV~essZ_H~gwy9{uvp}&vbfM?U?o5)J&)BWvo-uid~E!!MczFuR> z+81X0^s?Mq=}diELL-6hAKqLj;5IYn*7;HUg>MnfM}$U{2qcc_2)*^c7nfBZ>2;0I zHUkFVj8?GD)lLY{2G47X_wJq~ir6H@29%z59v+f-`LU#U!DOn&-qDHllcP|%V$is% z6Y|057Z*!m!ue+nZ@newriLSLV0Zb#J7jC8v}is6`{__`8%H+ppIaJERSw#7Mvi%6 zMo;k4Zqw?IoA_ej??%gJ%NrWS7IWj)i{#BTDk>@rkt8;g@|;gpyrm8SW~69TR`1Mo zDRQ9biQCv&q5w?0ecu*^u7#)`da~cwc+V3;HJJ3D8?Ld_N&2ZEJI(qYCNr`$9F#JG z(gE$QDCU*1n)$r`)Rt z^667E52i7RgCeh}M>Pq@G0G>yHVCVSq;&sN!B<=y`~v|d@>=-=GEyO}T8e~D)^v3{ z-eVd$Vu5yABwI%K2lBF$JL6?`kKNUoTc?UG8TZ9@aDnp;te@mNTH4a6m?kta@iJQi z4l>fQq$&{W^F=3$v&VMdkIhJTNRi}3*T90dkw*~_x9d^ac`&qE#JwpWE$JEZI-LqE zZ1Q>%AjH6ty1K7U_pwHm*qtjn!D1!F6#Z!qy?v~z>cnTp4#kK1O*nRk@X3M>oHTy#tP?=q}}Uk)S=9-+U!yG5gbm* z0x1GM_RPL3l{NxNU&_nTcWsw3vY50b1zossn%)DepEdKg zChfy-60*e4$W&=Va(HYPoletvg-^ne_Y3pWO2g{i?-6Ofbb!MRs|UD&Shy-1+cbi`UAi-m|hT>kJ}s( zm&t0joc)GJnPD#YxPT!Ts(&KahZQT?hrA)U@}NaSqKRg!*GpnNa44oDk1Ks-^WDO? zen#fL;Q_hTPsYtKvN#1W@O3}GdNSyVlu1hV{$?)xWthf}lD+TXRsaUvaB7{a>lf{l z_n-mlbs`CEKN5n$+g#)6t3)2aXi(qX$=R$GN z9bJ2^5SZuCu1u_0`p&5>K0)X<`HrXnt=6METbH2&=M5$0Mo2HZ_>$B4C?*62MLpNT zbY)|BWe1IzS9sn!V{Dq$iyGhT=(iBWi9_Tae?zG@jjb)<_hL(nc3>zGQ*6DqTcq7F zF>{Xp7($ULUu&U6x3gV&2YeGOTfeGSG;ndG)-%Ae;hG)WspCqA9D+>V;* zvE~{YMy0lr*${y8D#Jf_O%fl~Y$-Gz+${TUS~OFYikEx)mMa2^(311$Y~qGSYRRl8 zpAHo)RNb=C#U=-w21m=KaI-IS0*{^w}dZWu5?xCa}drM$II@^5F}l^wcsE=vN`{JI~W(3TC;#_1YGO zGiH@`$p?9<_8O{gxEI6jM?TG4(jk0I0eDW6D<^AQ^QM;P?>=i|J3K#uQqEZ!H^I-8 z0t=}_IU!U$He4<}9%*3XZ`wvhx@Hw8d*j=01dkUW7h=}j=5a}TgN>W{1|9A@u1AA- zcNNcJ%q56tz;SptmJ~Cit)m!38Zi^jIGIf?SvYN6ev$FV@i?A8BnQvX1t`#^Ur@q( zkK{TPl|!`{+Y$-YdRK#Acato@H?ry$i0nZ~xvsI1eNQqqlbzezD1)jHI&A9K?BizX zd_z-RM#*!@r+&#r-x~HXLbVWvow!hEfbzUXh2wyx-MH~76?=x5Arf0!CTGccdzQ(f z?tG-9+|KRR`iZOU>N}H~S!l+uO^Ftq3;S*LzP9hMm`O?KtbcAqOXZPY?X9O2Ncr?o z2u!OfBZ7CF{rTGycBxProOH)-`46%2_VxSVDr$FM`?D25h9lpq?_Q#btqs@e?`*Gw zi~H)^-Tu7^>lSCrrz>IMHKbV^5oKy0Vs-Ykuy!-`U^}8Ym2zL`qC6Fw#jN3>Ym?bc zvYP=`7st{=#e9BS&^>Z})vd^i-W7-%f5_YOgIF-xA#^ujK#wI|`;m|7LLE&UeM?es zfva@uF4})P9z1TwvKEA}viaEHT)EUjaq4#dk~lt&tJ$<5uowehcW!4&$4f)s1g+y6bOw6;th zN!c6gTjij*5;45^D?PUd-Jp4E2rPn+#wp}>6_^C2Zz+H@=<97mdwc^P`q=W}0{(_> zQ_vC0f4K#*P>USVU7W+p!(qqanEqYY5ACu?S8RKMRrguyIu^;rX$viHmo0$Zj5p3} zQYo`JOf(ZxvS!@dUv%8EP4A~YivRpU+L1Z>`)pflL2vU&XV|nrctPk&X;+|JfnG+WS@Emn8 z0TTBJ6_k3d^Q->uzJn8jX7j7_(&K^xiiM(=F_W#wHSiCzQ_HKSKW`+>mt(4KJ!r|O znJe!T@>E9)PtG+en92ZDtd+;($Dx~tyt{ij$T^ekGM5Z_<8eQ&*it3~{AFnzG8+a7 zTuz>3PCL`SLrp{7_=Kw)8Reef%&fD$t8EXOT&S`WvY8>o2aBjtsX z5kHZ`41X_4k)9jLL(}`pd)~^K^a}MR3-zLo1RKknC;C5tkze_g(BAVzFJ!296+zvC zf73fjtQ9HtgV*PiDp`l0m9$dHCj_8m@ivJjZNT+!*fne+n<<^EiAxUPXxHE8=bPr5 zxzsejtC$pE)l!W{Rre22E;m+&4w0p))k_!Aa8pDcekUqr%{Wc=I1tCO?RMoqM-JPl zL7SR)+etI5%{W5leR~aGIn~h6XoacYwz)rQm}C^WQ>23YvE~dB6Z?Dx8v+#qu30sA zWAuyU7s*;~GSBo8I$lxnMEtKh|C;_9CfE=I{jJZOW(=FCdDgB8_@!D$*jLrTL*wMeq4z%37wR3X>fkbi>N~yOb9X9KMIqtPV zh`3RAKdI)uoW}k&WH--&kzDf!5z*CQ>R3!H5Ie_D9GtHhtSOf;)z^D!vgv!Q5Rck9_EMizQQuGoj8rU_i!o zn?j#ROAPQE#Xyzg?L7rCA8X%(kyuD9e_I=B-Spua$Dw@j&OHUlFso@E$j|dE_z{xa zo4i`qe^WjI=C~Ft==P@*T{8QaEJ7anpBPdX+Gyefb|&3CN3(g&*ucjFQ*0}^+O8T? zjQ|}fB;FJ6cU&<^lS$#VjJ*f7HOk*EQ`r9j%pGS4?nVT3w{RkqI(vG`23GspK3cH9pWrRF4ps=g6NJa2sa&%Ez2=u}2n#|B&P(%`zM%q} zi8#)j;XsU8kGkCQ;-V`WYq0F)s1ZNi@ zZ|qF@1U{Kvwm0O!2|088t_Uhyc2b)EGuAe`I0L(Sk$dX|@{S+)UZflfUVc)|?wNpo z#`k=}XVl#2K?_W#({kQ_dw5D(514o-TxPq(z$<#561qNiSYB#4BO`-za!E=&vb*FZ zQn@oaxJwZ0e7`@NU=)pH1`*dbz!`sqlBSx0AI9qB`F8THKtWoDJf7pjdU>Ng8s2$c z!(1?FXUOr?qSBjq#m$_nKa#A4Sp-W`fxr!1#% zXmJop`xRtPtUV&1h*b!7^~KOrTcbM|J+>h>cy#-Qa>w@iP-+w2p0Jk^aqS?fXiO2} zH%tqM*Q45)lP`JVOkC{_7l|Lg7F1`=MdTD#pHHW={h1!8d6G7n%@tG-dot8rzr5li zW;(pg7+uPGL12s^k?XGBF)!*r2ZCa(vaz~_l=*6jTDr)wD{t}aF-D%TuTJTS_p6#a zjtVj%ys|}?Ec7}uD3v^pWvcuIuC=#>jHxc$ysVsdqQTt#Elisg6v2JSDn^ItgB-C$ zT3CafTP@-vcYjSTuonSTE2`y7ndg;OCs(cFp$5|5&qmqIUWiI%f()Cz0IJr)IwH&F zv9F@^Lgggu3pKZ&B?3^HgdOkk6Z{fAHQk5!{PsZP@OzXPdyZhI%O5&^`kWjKtQT@f*?2r=pS?r>2MYZs5dHthh%OqU zo|-btf~9+r^~q`M2MI0ZBa_SXFsWg{YRekW=baQ%kvq=M|I%@>a-^+Ut$NozN-1Bt zyK7|G@g~Ltc#>lj1mO*k<^j4lEEu^3EvFbTu`sdu!6G!|(V6ly&KAPtlB$DPL|sFY z2_2X&Uuid82nLQ;CToSRAZZe+MWG;mB%;04$2-;Jf0tVuFi7oi1ivJx-rfb8-E2oJ z4!^%5*pA5S^gBU3`sU4-pwj)xKeV**aXlChU`IdSYyA2@x-=b)FQcH5<%&~i>o%ZO zA%;2v8M>^|usGO00;2HbF0SW7<&Qa_t=r+o{$0@w2IS`e#ZtAv;A^w&iqmVRSMD4| z4RcO9GU`g3Q70@K?yac3f&5_Ea!!1BwJvzc$>Nb?bq&tK21Nm4Qv1Kb;QMu+sSTd0 zEX}-TiCWqTmEEkSx#}OWUp#0|ptD4*^1V>H5DW>i7V*o{aH!VC{QN2N;>CBKkjFin zE6`~a^Pg7$G}bq-f7b$tEKkPCubB6mC6UmkWUrxjDcp6bplH{h4MV|L@$L<_zu_fg z#)f8ohk0^3rSkgX6355=PGT6ib;d<>$g9XqmgKs%7QeA27w~>8^HN;HHobe1UuqHF zBRC5TQXYwmmro5Is|PS`C?a#`<+dCQZ(s{?;BXY zO&@hwU4_~7fxTvoU^TxNt%#olbxGzvU@mRn=+j*&k`S$&h%D;b65kmjmKvQ#4HWGt zPq`+&?$Y}7cVh5m{j(s2nU5fKX?#tIHww4&+Dv z$qlKu$N&YgoHTA4INVR^vjiO9=$D)*^J)ifBD;>gkiq4uK`wq|{x)H&D8@7dXilhj+! z|936_VxWdE+3BwOucWgYH%RZ5E(Tkf zJ%)awYl4;?;?uJupo zCj3w6Rv%!p`Ys8N2+e-?{JZwQ3m%H=f1~|V^DzDPl36(d#0_Yu3{*4dn_dj&I*S?5 zCy#`$$I17%wfX5h+=W~^7S<>~RNu8q!#$1A>tI-2{BDs^f81IS^mlw1!ZtjR|l+O0SxtyS2591ouLMtb3*NFW4z0huS zvSLGOmq%bE#r%_5!SDFB(M^R%uF@iUWI7Z(H{@{?FCNu~)KbnhDMc$bHi1KqfWmle z*9VqrCjng529M7KPPS<$rm5JrtT>NUHCh30(>t~3N2@E}d;e(nt^;|0v z8WhG%W2)1LtjmRIfZ^PAegw6Y7&cpTH%4l#cvxQ`33XQuA(Kqnagb%#(u zvSU?AD7LH;3-^Jk>lL9lQ|s41QAb@Y9xAv<1|fI3mF9LA38#XZ|FUzyMSA!JP0YUL zQ#}rDZt29=gYts)s@Op((BqORPhu>U;7`^<*Kl;E0hso=SrdR@XQM+cy-iJZC5AzT zF7OYNFMdaT3aFi$c#R$7t|-J5QnMz%_q{k%yce6qj0Oe=`SDXfzgU2r?r)b*kG@5g zhyH7&9V>wsk8+Pdy#lXKF-UBC*J7%)57i^$_<96zF)U|r37}S?0e%3Fnd|@Rms0V* zM0i)qY&d2pIv`|%u3$z6G6r@*@mg==$JN42(YqlX@BlF56Yb7Ga9SbRxc}*rVY-Rr zF#Bb=)-t_b#ZnZnRY^_LP-e){a}01N-_Y1NGMRxU+{cudo}Tan4E{$#x`eyCyZnEV zON=Q5AF-a6d4``~>RR#C*~!c(jgIabSzmk=vxY9bb?{fa{*z-oe~`O-!7aalw(hyo z@ImhL($d)2?z3R0X^zXBx#(1W%fRUMCYO{T@%&cozhOaW?jqW~fU3YQ7B2d=&$vS_LZhH5EPsyL*r}NUE z_VAwXu3E)y!yUoc8@ARSC)a8>*slq59+K}$M{fKEfOGB^!E{DMI8fRLdj!oXjz;ULw zJK9*6J4EjIk%r;R1>KLgEbKR$C*Oxls01Phhr~pxJG!r zLuq$e?vdZ)PSUC&g1~5K67Ki*_H;_#TX9R}@164JW9=VGsTP1wt^3~)(gjxzZ}VfV zl8s){z`6Tg{D)Ig?CWvH3^2M)pZNONY}^%Vcwwd1My*;D*07e5X=QsbZS@a$L)ADz^zvmramV>TfK#Bh;RqB*?mSosQ`GM_W?mku@RP8^ya4$vY zzp7TGekY#ik4&vhX6zl9ZcSc47|87?N46r{%z3h^+j0MJP%gxcJjShSKa;@AD2vR_w_>G zR%i93A3RKDX6vm+EXqNZTc6IxE*`O=-T<4?iir7|pO7efs-T#`!so0M2Dl?xw1UcQ zO#k=oA+JH4oM+EReF~c#?+Bs~m4(e2NW{qfFCus5sQ*Tw1h-{iVLDoS$!tg4HORyx zFH*R4-sXNnLG2&61G9I7>{g|FfvK%x|0cjV?ficuy=b+Hb#GBNP?>1^)pqEBX2JtH zD_3c~OJ~vQrF$h@Ffjs`G-Rw1XwNO8!$2o{JQ!=nTl}7rKWF8DkK$h&~tuR zxjXhW|Cn-N+ixciL-LucSosnzkqbk0|K4;tEx5KLgMHnK_l=>dgS)=-m>0Gb&z{j- zVMNRmcsYdKNDsLhJ&*`u0LLI1=W<&JUFIzWLJA@N5rBE7N0%2A64PO* zVlt~o_I>d^IQAIbsP^A$aP&9JgC?JZ_bm;u8pCVwTLqiMUq7iX2etPkJ)SbZ5ekSV zU*q_|21s#$fqMhHBwu_UZuhhGS~Z3qvAL)~!oGyRx&}|i-M?}zLFMlVWDyI+=tmCQ z*|2}k+D~&mpE?|7oIUkiYm4q|f7*>1Ht2UPzG!-G8#7>up^mxNofGHUQ-n3uYdw{2 z*VbE%IFnqct7c*D|YfAp% zOy?}}_B~3nB7E-?if!>i3_h{1!$M+(26OL^43or6;N2ra8d|d+oluT-k)={$k%>cs z0}Nk!m&#BAn5CIHJ}?o{5P!evq$4m%!3^T~0_AQ-lgU2Pf+hB!LgJ>qi_|pP;IcGHh%i(H5JmpWGyX|6{_B{4 z%Gy=mss>tr*O{zc*P;~Gczfar$AE!9KZXP))=Cr|I+efY!0@Pi<29?tQANX?4TaIG z+tVwv=a#VYN5+c{559r%_5n(KWG5LZwm3ZB4I)*S(lBF8P2n?kgoOiDvT~KYOdZJo zuqa|4s(Dv<>;!Tx&tYNW+t%S?a?PCbnx_bZ71{)mbxrH*WO`qU-=-x5e^DgyF@E{m=Cgt?*z%6OO z)hP+&1trn)+h70Z&f#OJqQmQO;VTMyQ;ril*z>9p64e3knDD2;_D!%m9O7&Tz>By- z2>mQgbTOzcFn%&Z^##3yqWWtG(OsL8IINK2-*#Ug5J@R#LwgLX5LXw-x`lrbOJ+ZQ z&+0liBfvel>cAfOPC=CJG52!CKHOYwZ^-aLi7j|-RuQAj_Si9e3JMY&&IS1)Z7-1H z*^0(>A)`0WirM&`aURm2Kr@4^6@sp?r`1PiV)$pW-DtrS2;SVe@QjCa3TD7qCm`U4x0ig2Jj`#yoB!3&XZPW3EfaXEggHa1aJ9ob z3`YKCJF!7fEFC#2CQKL?pRMuHGCe1;iwQ!x$L<_LHJum9nSm@;>h(B5`tnTQPXu@HC}*=fF8e+GT`6)zX&X?5G` z2UEX%$l5;SC#8^1J3sR3X=HjH9zf2C?l)d=JXs^s#kSl5pag9wlnP78-X11cm2{4( ziq7Ykcy?`pr~RelSfM|zp4P3|N~d7Mk8`^?;C?#xp6&ZyaeUejfn2O zo#g^5$S{gS?{P8z^zlo7<0VAshRyzRma4aD&9B=@zdfy{wStiNNA84Lk))*ffg6SH z>#*y6)eKk%;XF7bRRi065>~#moZt^41HtJoC?Ul$uh9MAH%ghl1uxM^^S6 zM8O-`qlPPjTe&8e^qx(^ooAbOcAkUZarwn_Y zm96bzttiP&3A>DJOf}Wt%0~-zd)=OiXD2jP%ksxl8t<7VBS_XaU{3@=V6a-L7(9asL-G^NPBc#|wEFF5*n4!k3WJdz%g8$+G{*ya-835j{8@)zc7 z{9)8MtfLkFTBCKHaw@qpijk&a#N6=ZzmAg#*+omRHNv2cE4rB$vW|BE54lFuXGDteaoqGtGS zcTVtfrNbK5@E)zasyJE=^96|-xE9ro$)g9vMuRr}$>AQi3M=ZeS3fs+W$#L{Hhs6z z5)=pgngp+8v4{o_?-F{tVt`iL==kV2PP)eVlB$wn7Uqhy79N(@>;xc?&5LI`!vtGn8Sc*&y0Yz& z*(X#$P#*TT#bjylDi4+q-F8q3j^nOgS^)lFu8{J7f;cGdHM~tnze&inDZK4}C2fGAM zuv}Sq-}-s=Lf`qeTkOws49yE={jpMRNxm;r^@Yb{W_;?chk}{yW21RvkA>3;aXLo%j9pd?h)K{7v6H&`)nxK@98IX^9VJCVukTJu&CAcpNvJn5Yb z-%f}=Ppec)%a)n^8Q`{|DjFPL4N%=6GFv=VpTGOEQE)e}XHi9q+|;3-K95lo7XoqH zH1m!Bg|=8-$)L5Uw31j=7KxgTTJO#UvBEvV@T*xqf1s-2iM=ozNeL8e;a%=oBlbm!(3B3B^i5=)C& zQy<~rl|`8TIwJ+cYY6MwMPh|d4<2$pFNrU`S#%Wo=bzAzD>>(e2{1DvHMz*qq zj$>Q0bOXuiabEf?k09&ixa`_$MdAkXJgA27AyA6$!>ZAJb<^*F7=%bHW0 zZz}(4v(4>HCrx;G=F`r?m#I`1M`vJgZTf&wD%XOlej&5$pH#QGyuzBpTo!p5Mw%x^ zFs`1nBl9kMirPj05K-(r{IA2#Yt5r9Uw4}F;|IE%yy!iP{P*y<(ZuxY* zvnl`;SnFd6>x#0$=TVR^f?PdPj5%dDQPR_v&{AU%Vne(;&2&bhcUqX=6u6t}QeOR2 z+<`)W)6Hv_eu4vUM}I)>%njUj-?UGt@LCHbtKiUlyFO&L9S7S#S6@i00Q0VN7T2Ai z$<)O(DjHUJZnqQ*Giv4;SF_(c(J(j!+|;+Y%=mAgV8Gk>HLXmWv(Z@CLJt3s3sPi| z(Q1`eF?8Tm813ky*`RfAZO``*-#EO^+)dMXk!}rUpW0KNq&Oz#`KXW3*EDlO8c!G$ zebUHwaxToZ=v4V~06eqI%$FMebIG^WKuaCXJ_@Cg#ISZ_Cxp*anx~gu%AR-69Sh&Z zM#&K05W-5e=a)8l&aT+z#@WUzqy`z;%y?t?=mYSxHm#km@$TGqHLsrZu~5YR(xn&d zH;VNg&P{;j^5l~X^6y*~#lb6&V4Kl%eFKheH|u+2B6Y?-fB znXbUuOI%eyKfekGW6PkSPqejM2O)6xG?kMTlp8r$VJSaqRB!kDPgTSqA+5kWN1E~}Zw&sK!=rtlIkW68X1q+*I^4v_nVZ`ujjHcKeDsnhL2CI(qiTdRbG zH~>@X2M?pFid4>;t~LNZ62WtN}| z!n{fK=6=z!7EoC`J9f4qjGTl*An8nkA~#f%Po?xM;Py){!v_TMUA%}p?L@KOgsPtxVNB=|idA!R$`9IHzwOg61nj zZ|^K5@3#u0YeA)NcAB_!IFBRX4XS~leWD1K7jYJwBX9%b2A8L$vyE`4rp#Eut^r&r zP1T)q$D~YbozqusvI~2n@c}|=FY#-r37K_<4$QvYI&8TPlI9CBPaW_84F4p6Upy;L zXb;mXCCv+w#n`Qpx!i$%mjH-lUW61P|D1Tj0=gN9j?rNEoCrlDc-B2(B-j4jg+O%4 zaeYmB#>+l|QAj5!=-5}#6l#tg7vHQyM4Y+N{M7gJsof$nGpM#F1VM(!c0|`VwHjm} zCF8ni1peP8X-ysfq?##Ifuf$BfpbWmm#!|(z(I-23w(SERCwooc;9bktTdsivkTu6 zyZ7GWArMizVMj*DsRE!jlPinJsgkm?qBzO2`vZce_X6-r_DKv}0hspLIdcn0SU5xZ*Ay} z;~ux@$MV18(MFBnZnoqB2BF5u1d}vuh#(&B%t#N&Konvm0JNuUMa*_HL+<5`ue?Fe zsUxoL&%Q2%@D$&0eTEp0i-*gl(VUu**??QskBHprZ;0Gl@9cw#c%xZ=T2IdOYiL9t zo_Z`!=s9P@EZ-OK4C#5of2l-Nc1Lkskm0y7&2qRwOhKhF#38Wc?x)SGugQLyox&ls z%UbS13RH5*siru@{q!qi*u11dF;15goX@G&li1+v=Z}sT;B@yXOqH)0P_ZGUsK z4D+q?G^E*uXes{CkC4)WL5j@O>g3}J(z=Bc9r5=Xq-q>Ut1a=C4)gAqo3w_abfdn_ zGOm%WuE%Ncphwy-55f#snG#vw{aG0>~PeB$I%Kgo~4~NUw zkQKp8zIRm=BoR7m$2`KKFbpb-OY^4_a*OtbWhfns1q74I*#p}wwsmO!TG-JEHY(mm z#f$XF4VWEO?1W-RB*%%fb5uT*h03o3c2Pj|Yzd$vlJyiC0EVX^!CSg!PVfcvMh2rq zTT(u5;Avb(d^hmn)-UH$%U8&|8+hw0bcvtq8_r1R%GdY2TQfpB$=Skk@ywaxHByR?+>!OkZ zQ|JXI6YCqnNnO~a;y|)K&D&Y_*HZ3vDk2!;N>YZ?{b56l7JwYV`f3v{G zCH9fy+nz5J5;My?9&$_cNP^-Gtu7c7TdkD&(YjXoW=s4*(8&DcnD?y_!s*0jQ)0IR?59HU6Nk2VmxVIZsy|llm>AcV`(rp0lua>C>a%@c zP#^c%*WLN5ONgtz={??o0pOB?J$gu?+K>Ak#&&zvLUZ*-UBd%EiLVA6IDYIWqTGTk z6n#!X^VyJDC}v$~xK9xKlK$6F6oQsgPJ}OaHbQ7%R;S4gnQD^C<`xOXEZzM^+C@I_ z{C6Ximqb_@8wrMXKlb<+Ey5a7W>eDBZLiAnPftJGZJjU4O4>iMwyB{3wIPab{xPpC!3n`C*FI? z44#HfeUCkP+5&ld95qPBl=l-m2pAyQa1<3;uN_hz>2gf&4p7(;zu;*`iC)M&zrW!v z0=d9TA8Q7FpFL6bjvIL2sy9p|2&l-&LYaGythnH2K49K&y08Q)j|01MyFGlel1D{#WZ;KM zXcMH#X-GoK#J?mI1tJ!peHTxJV2zahKloz?rSGJSq-4!j+%1HA@A>az*PX=WQ1V2( zXv6}m9k){&TDqQ5rdQ!%nZtVPm2iTD8B{Ia_yi4QaTysn2?;Oi3ZSG0^QC&cfpu9a zByra~JjP2!d9BdE=KFHP`gkN8Qk0j6?Elrrc||p${CS)rC<+pUD@YL#F*GTmw@dFr zC<38KuhI!UgkCO4Q$)JbjTDh0MF_nk3B8715F%gGWBx>#QC6^&*6!ImLy&7 zgvthPSCz6Z9Z620N4z+Mlv!Mi@hS-zh9PANKElx9BgeU%ncAk69s5(W_oP{kM=d|E z=Q@}d(?-RGbogg@Nj!4dW+4~Dwakl5XBPMM>l3uTX2SDDjZ0VIY$|dm7z#fu8X6=? zoiE>e1P+ZHmlX1@FQrXJb-WRh8(!0w{ZZzrsDbX$VO0R2SmF0(4{fLC0Cx3+eOz;c zYJh~I#N3=WVQZi8JyWj^M!5BPn_v`{g?M0G`CN+y@ALPb17U?-;F^Dz2W4b%&_rcF z<7|(2I3sS3e9M3gf<#V`aUlbdg@~kw=iPrGRezYo{qhhikbPQhaK^`_Lj!YSIFH*NJZ4h__hbgp&c~R9y{>pa{ z@*f==Q?g!m6X-=AY#$M7Yo2S-)&g@pL3nB3-xP5cRm2}w1#PViQo1iMdJHlKcn z7l_NNxKdK}36++~T;*Eceytalv2F}2EKdYGIT6Zd)FPhDYQ6OEg)fO^!{ysqNtt3?CELlAb8*f&7{$ogPI#N*3yA#^%4i13vmD- zfdb!f&*F3GE}*i5CD4{@hejuNQ57N#`C`=br2ZN}H#=Bumq!ELQMOIjyqwa-;EXxJ8YFB}OZC^dFZEXz;K zw{Fx=97j8HY@k;Qn8N>1o6n-Lfpj<~ub#meMCmf5?UO|9VgYuj zaz+~l!jn+U>VS`KCbq~Qw&z5;`n|9wz#LVl!>`EytW}x#8Fq`~bx7GvhR5?T5zns{ z(98Owa>DQ~(7J_DmSEE}*)(iY>+WfcD4RDz=!G#m1Fo8n8OqZ?t#%lp zy$ghwLLvZMBf!GNpPdUo?gy?l4&Wj(K1mDOQ#@vUR6rQNWm0evQ2qfUVF)^f53=pl z=+GS1uUPoe-=Q!wkD_(tH=t{PCf*%{FZ-#GHRbI`7$z8=a)#hossWSAic&~*5m zuJ7&t;fpht`$57}iklmQ=F@i!LCZ-v448)@5w>_M!GX&5)aJ1EJ~ z=cRb}w(z5{D~11beS>||{leYaYS+B?(o3j;k2r}Ak#Ti@LN61kEW64`zm)76Nf*A; zIW?nLpGTkP_^{Pc%xM{5q>}$~->5*J2l3Twz1(fnN4#yHGA55Yugdw8a-_0>9u%uj zd@KKPxa-=^weDczRPibQrCFRhrBnl^3=8w=kyDaY7Z^L{J7%-D0X-AUxqUfYyq)|RoBwHvF+NdM`Qnxt}^13hCZRcIW`$lnma;b+R zBpC!f+I5t*{hUa|cSdsb(ZgMI>66sotEOITbN%8+Y}}NYu?FoRrN+BkW=g@(E2F15cmx_*WGHi>=j@s+*n=e>3lHO!k4xYD2z7Q67?1(G;$ zyYb`bXrNX6stb39@p4D4Ec^0%3jTuZv&SCJ?d;PQ{n2c*r_(SWIJqd2=Xg?mcOu)P z-l2`EqaD&VXc6qqFG`QryiIZ}3D3PfMk96h{@LsOOXcUxXH9=mzdiAWT$!2{sahCm z`1e{L^r9YXLq)SLY+KKwFMPf{#1*KDXeVC@XMl~NR~cLg&MN?gQfq{Ev#+ef2K&l{ zEVbBtKcZq}O${n5<3`aQgr?c#%y^`-(k}}BN~%%0XUYC%)@LI+ zoaGUr4lQ)Z-+nu_Ke|6XcF<*GI8`1nlbL5o9U@N|O^UQaXa0SXfQUM1k(9p}TJIzr zFF3gBW+kbM(PB{hHUC=E<&`IeC0dqXXLP4z=Z0SK`si@5qDDHX`0 z;48q091+69*inhQy9zTM&Bs$YTShaX5g&eM&P#v8Jc6c-y8Gb0-{zE-p!R6@Ry+)k<~Ux)|`zl6bB%>eEdDRri71=IbU95j2@+du{TEHM;RbMF!^f zzbA}h_7_SSsTmkWCiLAFkiUl9p)Zrxqa2k)EKMLNGg}0Uq)0RsXOtA>5i4urGGqgE)OXb!Iy=~ z9fRI)*xBD>KWsSkD!|Jxz^Y=R zhgAhwIq~+3@AaQ@D8((AbckSzX?y>4yEfk=fd7`yDr15ZHa3fW`kt_A2?AN9@n$p! z_{5`@itP@9p8no0V@qFpqLsz77>z8&Ni(e7eGX@Aqo|?1>jI!_&pbllD6R+^sm4fn ztl;2ap#PG|nB>)AzH@>*9*;Mu@azvHFNzA1X4t?kO=qQf4JoHMF|~xJ#lr=c%;q7X z=sn-HqxgY=q2eZQT` z!dHA+vc50;7Sfc$SZP+8@SP56){xNnHWnFu%e*0)-;TU@$}f~9+>FC)54F>p^Up*l z8N8%6^EKmSGUF-&cIsX;eQO_ji>z=%>wj5a5;!a=${e;dmEkRqalQ5>$pH1AkkKUK<||i S@#gPM5-l}7)vwAnQU3)(#T%ah literal 15771 zcmb`u1yEe=wynK@AVCw{NrJn(1`RI3-QC?GAq0ou4grF@J57QGclY2l5@;M6{?7NE zz3)C}@Bh}lRd-PoU2iunt9p%h%x8`np`s*%fl7=D004&UJ4rPFfK!G23ZlTnR=|GL z^sqljrt&h9z|)_fubst-0PqTsm3*u2oprn#q)xJz&HC7Umu#CZ$+hrZ)}@Y*dT@#V za)NKLHt};qNT-dp?PrH~QGPr3uWveUoAHXJ8*~;( zv7o*t^@wV%vb`=+)nQeeb8q73URH)OW7A93$+SbD64)quKZ1L!NA@n`D7LL~e5gjP zcGIo6a#i0YJQEMM_qQ(;6hqO`#D#qNiPk6d`aEC%0P_VMZe;Sw501RSf?2V*MhLI# z#LfJ~w?j>HUijpt(MlT9?LLnuh`f#arlJ=ruBx9m54t#J?M3zIT>HsUDRk&iI;o|J z%ZM8pl57-*xAa+JxWUtvk;~~R9@mzB?6QlLPc>fw_dKN&%?htoSx5iFA#xxE>yh@A z$QSi}K9HP(JMSSLYN&V~-7GJbvNT-uC6DHe2X$;*-bvfg-5UF=8H4I-C-6y0wK^Sc zAD)Mmj111OW&?&&udNZnNsEIfT=*65yt?M$rEjO9(RtzcU^!gX8h&UDPRm1Bi9c`gTMLvN;#enm$|q zJ=5f%e=L>QS7C8eX26PBh_UrMj6&fx^3TOI&e<8*vGzEZ)bh!R!TbG(3Zx6cj@ehP z2f}b{9nQ{1uYX@$`5D@i`msKn6#&4NU3oDJB}l<`fOdWLlQrCLLKY#{PkX}EsRRrX z%4N$Gw-KT*q}~oSS`WoFCLsWKB&=K?c+Z1C5{Y$|?j>MagQvNzk=sMYWWI-=AK>PW ze4y4QkuesJ+=I4n2X1G@4Agt!74>lYlDRLd743s|W@?XlrMB7*)Lz*4cga1#n5(N;49wxS;+xEP#qXWJ8^I3`%K8)vuiQhZUOjNId3Do;MzmC18Fd%T2}LU zB?qjHvb=v1Hnias9aL+$JYVj&@R89}xK7;;{>Kx!r#Q;XC z@@v;ls!pn^s@7^>1gmHnNR@V3_!k}af@znD+$3bl-xN6Ud@Km&dkvSaO0A^wpjgPBbI?dp3&=hX;8K$)IBx)#49nB_sLP#@fe$nOo z9C*b=x?s>RJRp3%;%4#WZ-TA*G(i;j^>Tt_n&3n{RSB&GD#s3}qQfC*IN_@&6EJ_J z(HW(xlM89z+uh}4&!Y5TW+y~vEh?gO4(`KC zqyIAdL8(gY!r@n=-X*SApwHVUrQklu#l=1&*Rg+z0}TgxWOME zr_(<`W4G2 z0syB4K4UoP?#|YXdgTPQ6pFrw^C*2^WdNO( zbVaM{Y5%M7JjeVR+S^9V?zZ$|d52zUZa^QQJ0k!}dpS#MkBw7?5@M&1z+Ezr8wiXC9=1nZ07}%>R&ZVNb%%ynO zYW-rQNar3|W2sS+^~o;;*dS>t*a`9^4bvPhffK8Ld+9{Gu3qG0Za!4l0SzciC@Vgj ze)3sr|Kbtqe7XmEIDqJue`!iJUsN4o1x3UPKmobfY#|TBgq4n$*2k@E&$msDxn7iW z_|#JT9JS{@`Jfc+@vJQQch?+XHoIp^i#a(gk(#@z*Yc$hRsK2|ccFK#5sNP(x zAa;He_>#s@ba5<=MDF|rQ9%9kqmU1|yk2o|zcC-~;)R#tfV`@!8I{&J_7$>f{aPo{ylI~q$zOc|c*AbPK!-8#x+f#G50ZL{*Lc1z4k z4P}S5^PlMkNDhYT(Rx4MA*M^5sLG)^GB{OQE}uW91*&mNqY!odVN^& z@ZHg^YIPg}PI{kENR3?(Em6&>>6|*XUdg{LrDtlhsUshH`1nzZ%M+ud(pNU%#-uu& z;x93~8S5NBWlGB_dT+~h#_H={>`$#r)2 zT}HiAuhc|HJ38G65}g}BxW4e@%5^yxJ9x83JBW05d@S?U+Vu@KUUAXyTGC`HmdS-pz-&|h)qmanuj*$fMTI-a1(Bp`xZrJ(5>K}R>&6BS5yG|?_7%-i6u z%OJOJLYme`(v&W8OXDPF%shx^+Qd`v{` zl^N7!8|}fXIoEjU#hc228~JN$cWrZXEhW+vX2B+SuW7M9_hq7nh%z}%T#~M)r#cp* zosV3TJ-jaR69Oaqot`;p&{#n{xdF+3WH6)rALpj3KRpEs4>^y4eiK^MX_yksZX7Z( z1$xglH~~U8u>^g5{Ag+ybW~j;Hp^5h*^k^!c^ow5QUkrBKG}n&Q?G>WMloPZN$3tbkB|{u2? z`qQkXUV5FvFJZAq{)%kt$Je;^(kqisbV^p9AOGT2Q(0ITdg`eVuj650J3xFXxnJ>NOa$1V3i{>pkb~U3_hEr4cz1m7(Peup!c!gm zMMUN*-_@X;$5H7{UdLM;mG20DHQ@W_B?)DRWp({|K|iDTy4*<=a{s_nTCbqv+&7SY zS{<&)+dduduEX*uozWuDN=Ae7yXL8ulIvqi_-NrSHHqah;hR{Psx!ZsVArh0xQ;$?*si z4h5P^F7&8k>K$;#Tl`&JsO0Sx?Bh`|?S3JgDRG;a(Y@bk!#p*&{&9b@j|fLHPrY8B zU6m_EeUE{(zR{kSc_&+ETS)tIzASinj3yvjAc~SnHesKgmW7&KAOwG-f<-pr83{6v z2p$D)1yE6&ZZ+uuH1NEY<8@*UJtifLva3q&M|5D)j(VR!MSt`Q5Zk+mN}xg{rO6hK z_t!*CgCjeQs9gOC1P4$}DopgjdwO}d<+8aWQOjOjq#b{xLPXe9mzO;Qqtzl((;wCB zC$tSN89aVdW^oXumUT_{$Rt9t*5#I{Qaw|*PPbV zb<*XtwqBp#U;R-QESM;5*3|%Jb=qB8Q11$3uiiLUxMIYL#l$n^6@N@L<97l=QNq$= zGkfV~@#<5|)K`Q$m9zX-(c`oBd|3+xBZpRB#~tg_8i20b&QvqR$Xf-KoUGY5#OYb+ zQhlYR`vdcpT92ZC1oxET-F66O42Gc!{wdQ4o$$r)#d@#Qq;0E$W*f<{`}MUOb=kL; z^z)Y2f8H6MSYTZ9N{?GDv zpO@e6T?6RW$ziX^)fL#@-rg8WRu0@7kZE2^y7H-LKg$(;OfDG5trVjeERz|y<)(Vr zM1KDh&Xs3Zfg5%-HiNj64=i8Hh?ng%;bi=mCv*oj~R=C&hZFa*?ePQ!X>vy+Sp14$p+o?jg&ria; z^#e+On};OZ32X;|EQ%0Er`Np%x&ok|XIC|yji!v;n#JZmCI`6V>y!jf!vng@isQ-X zUc}nLCWN2iUNFMJjFrAkZxv#<`yJI_0YY>@SE%PJ2>#EZ{4^tZNh2(@VD3?^Gm`y2J zYOz>j{=yw>8hDIi)cFi}L5z9i7!I=ZM2bBbY0t|?T}V4@tz27wWHk2mEk_E!dveEn zh`%lqzEAwYUHz4=`c>aYh|`CPK=-E(eJRSk619Rc5ttK~&z9eBuA2;q*Rk*YMER$vj*-C}A=^kF-6>^gmNRSo6 z%AtlylFmL3{==9NT30pbxTKd`fQ5~V!TiKx6ESRScOsITmM*Cjcd4J+&68@B)+F=o z-Y6?vIV%)4xC}%3=*jl>uOCjcceU-8Uu&=o9OET zI^r;5F(0moRudacB}|TNwbvg-bYU{AxRv0()Gn8$O zPOGYQ(W(TN%l(pr*?u#$L{83Gs%xCmsZnw~Kx(UJNk`??XZ;&jp^_@NpiQO{7%#a87rxuRi>v= z+2VJ^1|EKao0Ge+6X^S}%kvzw9oR`GFeul2etbc;Ve_lFZi2S=el?r!) zIjRgTLp3fZ7(JL+`0tnA?GE;Hsk#YiIyB+IvZId5k>ytq*wsKv6Q+wRNWxWZEbxX~;Vr zRnt@Cj-x?YN;7Em9`Lej~cfKL%ync2gVlS`S?CufBUtUqqT?K(9PyLs`&KMm~)9 z;^Imzi58J`@7=eD!dRd!GPZ!ouBnuuvNK3WXR#;!xhkWIueUJ=Jg z=EYJMFZ{8+cXEVMXP&8|^NobhX3B0jNXY5nyB$<(bq)GXK#y|um2|8=?Q*#del%uS zFtqW>O&mp#E^}>4_uxanj9$xoG)v9crQjaNNtd&cy69S~E1%Z&AAp#V3N|8IcOTAA zB$*K=GsW!!%zm}eF$E+hzbbG|6arIKx=YJGfxV^KLlQZgpe1adQCcFqa$mBiiEZqg zCp(!j@x*khqoUhQRZrsu?EM8X{d~~{+)O_+cax-(@SJJe6Z-ilQ1L6EH)KaVJ=f;z zx%i|rVF9OYRYqq}q(A?bAQKnjxK_bAFn%lrdLKsO>1LDYDW9-lHnSxCkrT{)@hvBd zYEfbjA}jG0b5_=p;HBEMy`~e%zXD3 zU${wsx2`%i4-jOz;WB;>i2xhCB^fx6z%hqCVRT=vW9{vWp6|}~tAXVy^#c0BO-kb* z!)D;n5G2M&eA?IdTwoq}eMOZKDa1rJLGmeF;y0qOaQ}_$+l4Xa^C4;-x;wHpj_|8F zVFy+)YAa(>#_Wfv-;7@TwgCLe^)!6z$*M~LIJ4LDM0bd(9=kE z^J8ipI(VMqHtYA{Ch#>%73m3-myZ1~08vAurK`K4JQSB()8E@YTe zVCCtmzgP~HW4R=3Jg2k$oB8*bP44+?fif)(?sn2Kk{!^!{6gv^yrA^IY{_2&`G191 zUAfp-)~6O+=j7uOzEDQ`+@=fNb6Z~LElGgdiDRQZVV$5UIq1^_MI@f>;ZncT@{{L+RM~i4si{nYF1<+I3<|Wh#s-_|KOXu{wy|jNerAXb z`1nLbdz>z7B5u5Z_+M-PS`f-sV{~w=#O1N?!unAGuY*IkyCc=PnM3PdOPcDnTBU9= zHIwg&Yrdm8QVj?3pF<3uP;ragQ^n;S7kXlM8d#s{0J;Uv3#J;d!ZM!_*nTca42I7I zbB(ukJ72RZ<$^TNDxK_=g(OU&0pkLsSnDkh4v2&Nu06lFf%zhFv9%cPttnxElEe4P zV{fNDXT3R*oVwK$_G-^@K=oJv-(ary%JfKx;G>wKdBxMJ-vX54X)#LFyZuR0wjzh4 zx`c{EwumJz2O-$(_)bj~MACn#eZ}Z;vYnnA69hKiWqidL)_-LuHgkXV60V=zs1(U5 z_wjkd5*cwxl-#fvu49XX!C7%Jg-YmzidkfBXTHmaanIa+o@NOa(cY%gNn8_I*E0@uB?U}1KaKO{h)a&La)U=$nGPwLlQ3J%F?M~bA zKn%7sJ*_i>Sc@Iu_+*$>xwFB%l1Da^x{R%IW-FU3VPDj&J%0B^&|um8cZXq)BL|Cx z+wx_?H)Y?~T8)94c{LB_Z;0y7iKdNzx2P3pzTsH&sH1P$w5GcHsxL;}9|fa0G_YnJ zyPU^S?W7N~GOgz`qE@8e1F^hy{7)|#lZ0>fwXjmgjwGb83e{QwkdGsAT%9fW zB**-FYFt-$rFsTFMGtD6T7jRmZn*m<5ht&PF4EN8Aa)ldsfz2OW%8Xlb}3%=bmuDr zt;}U^e5u`2;n1Ke{p_vJ#lj7&F8gCQ>^%NaJi2+8NBvbXnp0$pRx!AX{0B?&mwyRV z%r~DkpQPKJ|N6~*)=f)ap8?#L_iVwgKhkoQIx0S^!q+kVTb&`PTyW%sp_nA3;6PAvQ(8&V2;XZu5$mjwXm_6w?+|jf3R1Sk_xz{1B~kmit?+> zxYqVLEK3TXEtJDL0*BaLzO~6t!WSza(69n}>^GL;M4KI!-(z^snew1Kxa>M3CnRV% zwSW`5K3r)Tf>64zmvd-xL?7Q

+42Vsf3e2zuS#D?hK%5{22)94w>oy#d*=JL`r6W@DT{_q9)c8fhSoackH#^@xr>gPmM3 z^yOQ25V7!WF9Ps&r6Utj?@E#>q;I#9v`U2N4P1c-dSL@3zEFe5O=hzWUtl-A}>Qe3Hsj*u?z<`dE zrzl*VJKe5Uft{(pBa}GUZn|fCW0V_>!Vlj%C}87~h0SQX%Nf|e)mR4`z+eB^+kIye zpEPuL@|wI~c(Am>ZHjv2U9GzN!zJ%i$EiwRb#58)H~u^Bk0<4N%SoYe8HA*pWx({+ z#~;fI_Q!d9fP0F)EJ($b0i2>)Q?;!=H(n@jk!?#)J#E(fClNZ zug`-_0;0_@rE#6ep?BF)cbuRBD{DPeOXuLUi{*%eDl=JjOt(gcrw7YKJB#7FyM)n$ zACyJM;3`Th*q{t*-|8N@nknOl1X379&x_+V-&(UhS)OakV>C88-lQDV?(;#ZoJX|} zC{Vsob*b=ligwZ7`ColAeJ zYdV}fTd9~P39K5e`)Ul=O*E=_xgL#I(bOe&*k-DYE2SEJivNQWNpnx(J@@5#VCtwX zHydE+%Wqi2^bM{~flhf$W;tI?ht*Rf3Gh?=`X^jqjT!gfVg~=L2L4y_;2%qao+C2i zMC(S$p)}Yu$nEW6+uj3ORJiFu(qKdlrS<*_5Zwpq&neE+qn0Den2mIvJo;nq_y2JI zdRiTY6BN;;TC;(#(G)9R$4?UXjTznTUUM^*xcW{GBN#DNkto{d?>U4q65prN#67qYnFgVe{G5VTaS^izH=?Xv2C$UhxQM2hx}|6!OHK3%g%{jMs4Q{ zu18(mpC*3o8y)PE!`sVTa$fl?%d-1O`C+j@PdL{f*4*7kp~6csrN#vCwTz3tL=>*L zzm`>-Shbq!pQ7ayC>ZTb%ghl*>P}kl{UNgF9)e`I{$>esCeWRAkc#7J16PCeo{68U z9E|(WY-r2umO-@diyd_9Q_s?5W#xhY+Iedgf>tJkWkP~Bma?FLfC+Rsy*wWIb;52J z(abnb@331dJR7?0;k!SMIifcc+YC^GXBEjF3)cVEmw_zl)cUNi#7Pu6ywr{eC2< zj1$rkg8&o_(0*R^1S-D&fOt}(^~yxin~D6)bl1&RvSK5~){9_F#HBDH$PD-4(PPhD zEF$rQoOxMC^Al zAZnygi8`^{==3ifxGtar?sMu!ivFV5rwPV8K!{*HWvB5hd`+L<7H3~m=K}9=y4irs zWDh4`h379!1Ni&(hNGr1Amiu9P3@FY>v&R~l%pUZ1#dK)j}g;8}t5JQSs2utOrSCVD$30QPzUy!ELUd2Gl*C`YOaFb$W0|icMpS=Du6!%b$FQYkPUY%N|!Hy{4R#sz!iUD>jWU1)8g=ws-1dEWV-* zNFsGxJYJ;?dcOo?Fv0+94C$!O>3jrjF#G`DrV=w@J?BC4-$m?c82c5~DZbSI z0%KzfPe`i)qUsnh8mC>A3~@fF_*Nv8zv@;{!#GC`#&RePIni;Wcwz} zXFkzFCHws)=dgBYXaLrUQV#}#dR!teQG>$6@;r5O^VgvSs+fgFAWbQk%EvvJ{joGs z2@OrcRL%J6HOr&%$cXE&=bE0DDD;SxMOe zZQv3xi)}{iq6|K6`S)j5QH6#sr2837*>?{Jg@BL zOX)kdSRDE!&I01SFW;!#8Sj=R$38KfmGp-1T>veLvLUfQRfc%y`S{!l*$xBlVFo3x zT0Nv$`RSSNF($^F$#&4}lLxGR%zUsqUQnL-=xR6R#`+(^ zNpBd(l^oZXQ9X@>sJqVBnA;WnC}h>&@4$0zA)gVaTz&TlihUw!UEl?-aGGO0cmt<- zTz>CIOz%-op3cBsHM17#@d>QmCmYCgX9yKzj&-JwIz^3kq4OFT=kNFw;Y9~*6BNou zF=$XAzj|k?x2L}6qe|UhgNlIP zSEK~!P2ka(RSlV8NN~Mq5TyKRG)eY)in}VE@CXF14@+Es5Nc}^@uGCTguXj+V64uv z5uW-2AvkFp;0Y%XP6c)+m6_{Yg<7G10O^-^j&Ws&WEnq6vQtHtN!P#TfAI3z0F!L3 zZ}zQcA-#_eUG-!j7USz`@6zVG;0t`@jcY*Ayn=JNF}HJYnAF^qy2|Mmq*MxS-5Z-3 zmigCsm)m^x*4;5y&}RA@#gg)>^W<`iW9B=_{zo6j+Qp!dbceRd`WPd@UW5gY`x}x~ z5Gasrp7&vAPp)}S0<{f2;=>E=kiKt-Kq4p9`E~NwM8u=B+v1v@1poZ+uuTdf>Z@Iw zrAiHaa2_WQpDSTw(*Y3^1qDffITh1BpvlX*XmX;nuOeh^_PrmQf1pU?tJ|HFY=V$5 zzFv`5(=^Y?76#H<{cofmPe;pNoG&t+sFY=o{^0Pk_zRJw1S>HOl-I_NK`5@-J=~nqSMRDB>9*0HF zguD1Nu|vN1%Fwi7M87_3`r+xQs&z9}MY93%eu(nc;%&f*^_m|gA(AK_o*axbXAZe{ z-+~zf7pBw9de1g#e_;Teb&^DQ(E=kf%ejZX_pnX+#Jb}nX#A%V1^GuMo`a7a)dN6( zow{gPIMlq4=AG$;+cYou+GhoZaCpf){wqh4mO0+*96QrELO-W=DaumnWwOuUl5&WKpjPiRNZfN4?T5;AE_`&QJ1iyVF&|HI#+14Sh+a_B)9nLxrV`iuOu?@Ua$8nRXIV~)(E8nG zn%H1KR{Lqwsi_Z@rRHhlBE{=MTk(~tj zZM~;POwS6H`5Vz3uw;GFL;J73X4bq%FU+6P{vvA&4)dfUCKB7)kw6{yIz4~ufdLjCI%EXjBm03FB4Ob&7pc_^N!+s;v&+>^vgE!$ zK@rty9(-kK?#b1XIO=x{fAYRGWTUXS$>dp8f5tEEouRgq%?NbAb`waz3roD8hmCd3 z=Lzl~S?rF`Og(7I7XcuPStz>$GZcjr21*qNa4@gXr5iuWfp*Q z)yRnl7Ak%>wgST!4ZDcCi-hP>Ah@1SNh=k&K_5FU6F!YFDmD$7 zN1Gdv%^D8SgNA&K2e0e|+Ux7Dy%t|cXghG;KrLu&%oS=O1N=^rkK28v*i%gJEpb*y z=f6&$BO_X3J;1JXeEzomAe ziK?BKkr?eQ4ELd>$nr)t>Ff_3CBhu&Hy?N5e+eUNWwN6hhkEexCUM1kZ;#h=!E6){|f649&NqxMd8d_N< z>OSzcvp4lGY4+(k*%EWU`1K4>KtGI%0to7B4zjAoZu#=lUKAIeZSDpnyqh>a z@o6Fh#-ij()xki;`#v+dMkNGmS8N%x6dYJS&Ssc${A}aqrP=Fq1_w`k#rD(nq;?ax z#dy!`ogLb#ov$N)6>Gg1TtZ$?MWb;^&|Y))dP2VL1)2{(bES0=^S(c19=!bcZ!k>R zO^_?mAO>_d6jwGMH$4%Ep?iRaY;FQ0)*GK{aIfx#au$g)o#a#~s+q=cEtk&jg(8Zv z!Z*cU#Wx8HnJW6S^w~#@Tq&U;*O2xoh^jCjaSX6bDiZuGlai=!q~oI&&o)x=?irR- z+>D6}?)*0fwhNc>@bREb&cjfM)6IOw+xzG3ICClMGW~2Va>j9m2(!k3QIryTBgpgQ zfw8e$UewOU1*C?iU3UjIOt83EUgoCZSZWH?%VqSo4IJN(RZ#l$BcCoZ-h)5m30q3F z*B}&e@d3`!e9Di%1V+c8R_2FGL8Y#)>T({iud;Wvr4nJdZzdxnar*!OOxBMkgLxg+>MVwLM@ew;E^8I)AmfCr z_r0h87W|F3(Dj*FRx7BkpwpzoMP>w%Gd2{ClTxuV2AHi6;Z%@zw|-2ZLM83ieI}c* zl8ppZOrBi%kb2?()`EQp3Ux4Wz2Yy7#Fk>L_Lk?PCX%$wtJ0bW181P71)dX8{Ca9E z+?V8@C++dpEel1bHivst8!Ib|=v)X*BX`n`Fo(!Z zi0;-<03}SO~cm(Q_|_bf0;C z=InZa6410OyEaw=R&I|s8)N>!e6XOSgzKLPho{Qp6?G-d;H)fC{nqor(}$b=IowMsTn^)o5stUstN!mJ$w{6l6pz0{=(hoW61SoZ z*s-*{o*@UFG%vP%!HbVVwuh4hLyG>O;tyClplViT_}G587MTITSc)oJWV^twcM)7x zpX@}R`~Ndn*Idx?z&f|nK};HF%*kVFR(3cK)L0rlO~P-m>w9mbjQbg~vZ{a1QEwJK z#|e5B`7x>dPke?R8Mxpzw1#)ueiBi96I@s#3kZyjW2d9SeYblb0V?R}94#yxMJD#H zEQ}Lv455 z+@luj{-vg44pK}nNK>||Q>-=}ibZ#(2@`ZKYjZ!Ll!>JJZ5LJd`xCD70(0B_M~ud> zoTaAHma6N|!!Hk%9X=ZKjNbY03ZcP5y_T2_;&xkcDI=?;u(wOMn-~s!X;(rtZmDc5 z!`mfqcE8h>RXzMRDXT{P!RY;)wKZaB9NLvubJj`fH^9mK6K7C3Sw%I?q5hQ*r;)0A z$2DVnY%sTv5?PiXZyPT6bGqH)2w-k+1+hc$Vs5{eV*O4>u)72S1h$T{v4LS!LC$2J z=l)kd_ayR+!~^-=y~c_*Qp*#)6$AwG*&#)9ORV!A-n0@pYhE&}C<`qtJd2d1>>e0C z17l70^macRu2oOZMlBG4`f}@v=JxXT^73*orf08aG_+L9oQTFP6%+d9jF|L&J}ROS zuH;k6zHu@KHiDo(oFTM*x>Ldjvppn0qB6|i9~L@2P%;`yennsMJ~r|kv7XOSZL6l1Si(nq zq+K0ES=6=$-he7gD>3ZVTC6pZgq!aYyWFtGIw>8EXBT0K zed2OVIt-=?gPMiir-pNO%IY z%LDkl_3agf%JlmrHi!P37D?F?jF*2?A~_5!d>(MqU5wXteF&V2AvS?Wv} z#Z}~u$*lZgPu%Is{lnNyL{mYhN0`f$nk(3geLN!(O7?I%aOb^|vlhF{sYFg^Fp_zL zlCM9H#(f%nR;Td$nU6bkWfak8*gYvC+K*MDP_0x1KclTkvsAt8 zGUK7cp61G^{;yMJK5WD-7Wo{i3jR8eq>T+u9aF-b`CFalejl8mqpp#EC|ho7{M@->nn+ ztx;|0&>m(Xf5rSg{Dmoy_xJD@5P$alZb%K5UsA!HZ@8dkkPK_jWQ4iP(0uWAK0a~^ zgyK>my_sdzYF3#1M^3fvo+QPsz`eM9%1!A{S-*Yr(#a{NtE;`afTO7`qp7wx+^?dU zdJb92#bRLMChJ)FUxv>H$PZq6z2{l~X}w&vv=UE|%(}59f0}+Ocq5^3eNiAzXW`*l zd7)&5;ijX_meTu{*4m;w%^+c)2QYU3qo)l3-*PyWEK4~)P{6r-jE@iSS&7MM`S9eX z!!jOyj+}OIV)H~w9$8pzOaN^1gvkXF2q~7N(d=PQf5|{+Rn2nT$RXrs&=qh&TDWWE=2&%I2Z$oaM znCV5sfBsa~Gw~E5y=N3)zZn|L%@IkQo`7B&QB2OAlL)Rp)m2-YG}poc);)PfvFUPA z)@Y+Vcarrqa8Wa$5)T}OS>G)`DOeP$G-0_hM1d9Ae2m+u+8}kT*g3s1x?qM$P1m@Lw&-SdnQnef*j3se}rTSwnSIqt2M=Ro;0 zZ%TyzU)R3@bm7O|e38saYp**sP0VlFXyB}z*Vh+>F`8a{v$q|_Qd777LRjCZZpml> zO|6O1Opo0g*}8qNL!kdiVY+MGab^*lxy8q<;`_`VxD2I+Y_e<2*<*Sfph7;IOV>c#)MQfq%5-33Vf)59s;ii=0%SodOu>DhVldSWSm zrs+J5=7ZbK5u9$Q{!gPh89j}=U8qRKK@i6y)_;$Z=Wt8DOD_~WkOByT+=vzWLSPXM zRL0I}ongs1ewX9$Numb8%A-)8m>E%D+H+R}haxjq`MnQMT+h(R%;eRrBt5;c?+!50@%j3i^Y88X#8*Ffu|I0DHh&612Hr ze|mB4e82=hv_6pY3x~Ydc~k-}8-l=EqIPgBWKohm_x0o{dWsB;R#jBipC|K>QGEqJ6iBf&CE;8-^=ImP0PCmI%P?K16 zxuX@Ga`VtXSWS}^aVQb;5|_w94^%mhC)D^X&OC>6)@x?@6eTsq^1^>?v)<~Ig