From 7f976cfbc05eadd19d055ed9bff90e260b81e17e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o?= <ldureuil@kpler.com> Date: Tue, 14 Jan 2025 15:29:33 +0800 Subject: [PATCH 1/2] chore: upgrade nix --- shell.nix | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/shell.nix b/shell.nix index df88230..f859a72 100644 --- a/shell.nix +++ b/shell.nix @@ -1,9 +1,8 @@ let - nixpkgs = builtins.fetchTarball { - name = "nixos-23.05-20231026-051829"; - url = "https://github.com/NixOS/nixpkgs/archive/04f431fe64a5.tar.gz"; - sha256 = "05lwii2zf4j790m886jqag4g5pgahjfg9balvfifah3aic8djzll"; + name = "nixos-24.05-20241112"; + url = "https://github.com/NixOS/nixpkgs/archive/9256f7c71a19.tar.gz"; + sha256 = "0dxwisjg7cg8m7lm1643s0fs9gplji1l25hiwplkqwa5c4hs6v5b"; }; pkgs = import nixpkgs { }; From 784fe56f6213b030df22e91c3791974ce28d7e18 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o?= <ldureuil@kpler.com> Date: Tue, 14 Jan 2025 15:32:00 +0800 Subject: [PATCH 2/2] chore: drop scalafix (should be run directly from sbt) tag: #major --- .pre-commit-hooks.yaml | 10 ---------- install.sh | 1 - scalafix | Bin 20798 -> 0 bytes 3 files changed, 11 deletions(-) delete mode 100755 scalafix diff --git a/.pre-commit-hooks.yaml b/.pre-commit-hooks.yaml index 26a0412..8f37c89 100644 --- a/.pre-commit-hooks.yaml +++ b/.pre-commit-hooks.yaml @@ -4,13 +4,3 @@ language: script entry: ./scalafmt --non-interactive types: [scala] - - id: wartremover - name: Wartremover - language: script - entry: ./wartremover -traverser 'org.wartremover.warts.Null' - types: [scala] - - id: scalafix - name: Scalafix - language: script - entry: ./scalafix - types: [scala] diff --git a/install.sh b/install.sh index a386747..07f1ef9 100755 --- a/install.sh +++ b/install.sh @@ -1,2 +1 @@ ./coursier bootstrap org.scalameta:scalafmt-cli_2.12:2.3.1 -r sonatype:snapshots -o ./scalafmt --standalone --main org.scalafmt.cli.Cli -./coursier bootstrap ch.epfl.scala:scalafix-cli_2.13.10:0.10.4 -f --main scalafix.cli.Cli -o scalafix diff --git a/scalafix b/scalafix deleted file mode 100755 index d10832863af80611db21afb0346a4bf8a4545a5b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 20798 zcmce-1B_)|yER(2ZQHhO+qUiQva7mm+qP?$ZQE9t(RKU%zH@W_<i9y5IVZU***j}b zWj$lhnK9;g<{~9#ba!=OG_iJIG<WbIa<zhSFm|zY<tHPBfwAUi<|Xp9vbHlP(j_7x zvnC;;|9eaJuLeZ=yhLV>Fhu|FW$s~YNA$NRzaE({nYI6aR+t*Q{_XR(hRE9CKTH4V zMlVB8Lrvsr?nXpU|95yHlD}WRe;bn0%lMNJ@$&v>Yjam))BpTs%}+)}Wlcms^7 z?@}{I2Xh#h|8pdI8)KKh!!eQk{}jdl`LzGU_J0NTH?IFtOjgzwZhr&$7v_J1G50bz zC9*O0FeW0C5!MhkR8&$^{TFsHO0u9}Xh2X<P(WMNG>Sm~$3^=0-qg|E#nsyU?;q{x z=;rF?V(i3dXYB4^YW26shQZX%*wwX0L)Q~k9qkXrv^ma(iU@L{c#udfd_l5-aI-wB zkWN%;^Z<?ALIHd+t22x6eL&x?Fxt?^g1}gCC*5`8@$oohp8pHtE2x`yh3~9fCQ_kA z$JE5zjKJ<r(@SpCY=&#V>+dQ@AiH5n5(=>`@&gBCNijTh;z+4zswgh%0|VrjNG|e& z0A$1nFQp*>2?6STNCc%gAN>I~@@$ls!q9IL1El-j2t<9a<<M0<ukFw_{r0^<UWV?= zLEl)bQ7C{tTpMc)>y;(fTEwNcFaL9gHP_XM&d@fS91|I~2g{Yo+O!ibfFO*SbHzAf z{}-+Rp3&b1J|`<pX-`<@Ym-i8xSV?kVad3hBs(GDPBFxz`Rx1Ra;#HKRB+y5zF07D zJb*)aFKAUb%FH{KI99$vp(sr(1=eh1FVJ<0Z1Zz@IgWjL4uMf8f(!~jAZ;M9H4q12 zd*HU&v;>yL2Pci+_qP;=`C?TQ4Ohv-Y3I_?X)+_~j}e&(F4eS)I?D4+tf`*C4p3np zuv*w~v3O|;G7Z_qa>EDQ6-sLo@p=PsmpU358y0*nN<zL&0WBWo>C^HPIM_8X8dReT zqsKA5v4mCQgcy5>2Kbd0k5>9&Ka!-zdwCL26eAy(_b%nGmGt9RTvC;zb%<$g8=5OG z!1a?J%#_ruh^-n9kKR_kuR0_$QNQQ4b8eQur~UP*m8d^1qrBQJS_k%W*t1vmtcF7% ztYDAXQ!uXur1M%^e_?H!U9G48lt78~mvND`Q;qX9s%E0MuGYiF9WP~<=0(SyI(1!- zDYjG}<}{c(RhOsqzf2UExq%U@(J6ekeqh#4N{Jb8Jd=TYdUQub6!+~+`kJq~H&b+T za$PlIn@^E?c6)I+SM-2~b#j=c(e{VDt|hJ@`k-jSF|W1J?$|3z_KT|gfU)rMUXbj7 zLOKAsa&}J?kikvN5!KiA`RFX-A1@d<TQTFqz9zi6iF-zPBKJwk+3v~u;05=xkyp3M z<Cc92v1_smr<Dr^$sBd3b~RC(xJ_H&mMJ@q+s~0a2)@^kB<&iJKm|#~9a`Hty2-&< zoSM4Z`y*_7mCbZP($8+JA^y`es4wO*cPU#%fRQ$dO-glADe#Xo?w{yCLw#qiXu+n+ zJPL2Qg~_yYdssEO)Y_Z^?I5WMQb`GE>|bcw^HLfLiNnom=^VBTI$zh_K`dp4{TF?2 zI0n{!mHCsbARy)!KO5CDnPmpG@*+Q2TynvI+sZeRi_LC1S8Iyp-ixE$>8w?Uv9;%6 z-F{N*oixkvlF5@Zp13f3Q_S9yUD!~MkC+IraL8A&vhbYu8%m}jQ`-3jB{m1eYhBp; zrQ>{AR|%RvS;p=Nqu_721qjF#5#V%`BZi;OqiXk;I+-Eh0`Ohekm6<r2%k4jk)V9> zU7^ByX1GHHAir^_Gi~1Mb3(@i?0N=4Oit%kjNPWwoJ}WOulXSQzCaQb&ogqCu9g;- zM3!7M1WolSfBIHjpWQ({gS%a43|j~jDdv#9X|Kr*ZcJ)rb;dkVD_-)o`Ul>TZ@EG9 zo*;j5bW376X$79S-06u|BhYGuqhHd~uFU3MVmSSdDEqs<Le?+&AV`kp7p*$s8I2~( zE!A6A^jB`4^i*r~HC9R`Ag-1?5xFcvF<3Q9%vl4UK#EfQWHWYk$2n8HpZTKe@C*TI zHg|M{itGHeBbfE><39ixEOt5VA=k^uSIe2eWhEDTL<UK8+z&joW5B*8$C<RMZ1kGC z^E9%@6%5Pf&1Hl5^AW2z?o&mFthJcABzVJ(;?=^SR@`qtBf9P}Bl-ZcMYZDDKNs`8 zp$|D@7!N=YG4|Qf)PI;t&dJZ~oN_<Nq)FhhtLStjCrTb^f1%)NJ1`x?({0MH&o%;* zLFstqxyKqOlSSz^r(Qm$v;t^fA#5cuP?`aDLtj{NejwprCP%)_N=F8j*0-ZhY<e+% z;m^nl#3se_p1INrhrZ3un9M9BK5uke$ibZOpQV9<CdJwucWH1SrNTreM+O{F$#6lX z!b~RJO6x>gEKnH`1rhhD=E1*=jr!WvI!U$8-_hxR2sssOhq^~w1y3Vw1}^svYA-ae za%&CQ94?B*qteeMFKqA9oG7j&3pilZ{`hdOxh$Q=w&l276@>K#%%j|LdjDW2WO@@~ zCuDmwVkcyIQ;JlyXH@JbXun0l@E+sd1lu>-E)v%RkOqUI_8Th6LPABd3n0Zq00G$| z00I5a`OWs<{Kos_xGDev0f7p^-~oZ)0inPEK>>k50KoyFApxNbpI1H9DE5^-)a~}Q zmsmK}?Pfd8Bmu#ZHPt<Z!YcuRar&98CIPX2^tn)YFttSTRs8vxc#v2)1d^Y-(0v4# zuf#zb%rlrg*L|=M6!ck`xP<l{v{X2hIQ7Z58g;Y;f)qUPD-hX=ABqWtcn)4D5q}I7 zBr0fVy}7xKmB|sT%IKdEA)&@OtPBhP5_ad`&;LARyMKqAqh;%driuQo$kN4{VMjn` zCrcD!ZFg?bltpAuD*saiP(%%Fgpw~C#I&A6rpm#(nV}6*^IE*IqEodZsk9jtuO(ih zmbA8Z(6s!%^8R|IDflrE6?-~0LzdO36>!7od((58>w5E@?K_jP-u-+M%?R3#|0Bs+ zWyI3VPh;fNEIaKU9osPJULKoq>@_9EaPqY#W_SEGI;KzNwK60cB{%I36q->cJ?%~u zno-(Id(a$OF!9b5S}@^G6<RRq&K0^&%1eEak?gY(Mj4KIzH%-`RNV^_fkrDZAk-^7 zV{4Rb`UooNP)-7^dZ;VIEd2<*I;eyw3>3!UXVIQSI*f*CUJyH$sR@-<v@iuCmDSMC zAonqr`HUDAY|BJbmVqIQ0~#w6TKTov;=FODq$0T;z!6qbP|#C*-gqQb=^auMBGVgF zQj?s($WfA<0R8~07f%r5p)9f=KB38jGDSSAcj7oEY5E8@1)=eS7T9k82dNhVp`{B$ zkmG&=6vLhH?#KtpD}n&lfakpvSX%lEKgW}Qc9aoByadyv8NzMs9=n{x9WKTn{>d+3 zM2S1e?6^I}>U*9nAN;(iy;(1%axbIc_g^ea_8D<0i}4;FH;nCXL0ywmTG{|S)wW7e z&@z0@JS*HK#SVMmJTOFro1N;bF$>k;vfrJZ{_Wb-T-C~Gw>qshmyGGP%mr;v>9r2J zZ@}9E)@E*Hvg4Q%E)o*cM{J|Yo;VzV%IfY`mJF+`32k<q0$W!xmmOR7SsRTVTTZT% z$~&{0Bhu5$>Z8kg3lwIZ_LX7hm7p(I^V>b8?AAA}F524y`5lM%1p?C^BQ0A9lmT<u zb8_}_vn&^_JD{Mo`eW_%lFR(yq*WV55*!s6Yf2t2o(j0Gi8R6jdm9(8`R*c|NtNnO zpc*^gzoy&VynjW-y++`zTHH<=-Fv<krxrGSYCAO08sQe%bXQB33Y-(i`FbQ?i~w0~ zB1btQn*%BKSXXs6h_|@62?^sk5I7h#-v*B-VQn`PmT<7JTETniLdui&PRaiPbLq0z zziowJKNZUpaBfNeVI<&m7ULp;?XXh|RUXs!2-VKKv*6q3p<>Hf{Y;RQ7#FwH63GDE zU_@D#VR{W|7p*c({HN0VlVp%#c8fTk0C^7UwpZumCTJjmRGE1PAj!FK$Dv}zjCOlp z+;zw=Zk+VXVr1NR+y0gzPG3}$)P@>>T2F1TvT3Vp0Y#gZ{O%q*&+KX6eFTI-I7diz zW+8EVfVAa2y`B4g?q03t_&xUJQyO86E$Eam*jRwqmwj4siP8=6OX!b|(AfU8`Rgk5 z_0FYAkAf-SyR6}o?Z>HmhM<aur+dZCUc0@#4Jr3_w2f0N`07~8iw<_|+p*mi5@Xt> z8L@#!ksUG=HLy$NW@bJ^c8NJJeVds}n05OmSV-F|YC%?1{pQ34Na68Rb%)0?olWw) z=*s)cEg_l`>z+*ps=rRaudgzcva+>?X^@MX&5l#8?*ac{e*dnx>#OrJ3}!J!QlF_5 z>t4XLTDti*>N&9Zm;BrqCVk%O`e^4tNDsHsd{StuWVvoE*VT_OA~Tm%QKd@Oz#)Xh z3Vl6yU2u&=*3@&GuyZJ_v<8?~(=(5c2=k65KnveKReFZANsd?6S2hrJ73v}n{a$Ic zv1*2HYXNVi#bu>+N2Ti6?<CFH%G8R50k9ozyY@pc8#zx|A53Ekh?diChb}XEIofSL zX-KS@+DN`82dK`~?a+DU?Ukls28ny!tI!Y6oQX5<)p|K#cypd3m)PObQggkN6$a-I zwvn~wp*791<8Gu2k8$iLM|&3#4ZWxOf~bzDQ%<Uh-V*xnp3?3&6P>x>8=M-4j{29v z=Bepn9{9QBanDXbRV&r#bhU-0KQbj(Sux33qf00E2r#Vj6S{)3gn|`z{DNL%Hiv2! zQNu<zd&TAstyWe*6qftrjd`a5Hv9rPl4Pmw#4`>>8fwp<wGioh2|?RR{i?KBH{0x! zMq6;_1PXXoTX__LeK?K<+#jG{3>EpDK0fTF>ox(<rOY51yE(*ru+5zrWMDY9D0PKC z1XYVoXYHSS%wT-7Y+(EFhKJ6EhZ;EAMGW^a$wP3hio|3F<=yq=s1n1t<rsV=imx*G zZZT4a?<?G7iI4L0oXp`X)N16`xt-}&<~lxiePh6(hP(c_ibzTJYmwz#!CkGb4^A(w zBh+?!oS{d2nG0Z+lC=Ku(d*h*GB4yb8Kf4LPKXV@2$YufFD8fF)rOu3w%W!RywZhb zz5WosT0t+eufVp*sX<ZSdklf~HI(1EfFglb-?2Uz9M$<by!VBkTub785^?q=94$L| z1)1(;J9L`be1*YIB!Yr+{$pML^qKPFdn{b7K*_PPor#**g5PMPR_XXQ@@x(dBjrPY zbr@rx{o4ZBHKYLO%Y~Hr%)n->8a%1+H4(M+VF!?gG_fLgaX3&{EA7FCsO_qRIWjsS z@^CAOt<hIVP2@x;NPWljf@xEG9`0z~5314}|Hblk&iD~G8w~xl)w%U%os3*bI{D2k zT}$Upx(#1i-l6pN6Fw8LgPfcKH90#d_-u6O--0SRB+|Xn92^QoG~3vj1Emo6CS_w9 zxMCb#p3*`JFAD(&EW#Bc^k0wqp`u(tMQl590Wt4I@<NpNNIR03%3M30XXVi5flF4@ z#>-jdh5HoHwist^4iP7`)(i!?3x0tC7|~isOhsW2zXZBXuIE6&D;F^DxqQjXVarcC zE||sYFmmr4pYn2rjV317xSN$v+VB-wDzX9iZsQ;AEHlC=WyC5|I<lGtX6H0`sAc)3 zDDyBX@-8q#BBw;7gQ`j@Pxi^SL+OJXYPOML=M>YID&r;7OO4&#m=ow*BHH!(?LiSp zbKq==kjb?>hNxgLYVBhovq6|$K6OUX+C#)pGH=ueu1JXVuz|P!h7~WHsoabz1*3`3 zv#>6D(kqC*1`%5lsWg7bKT!5*mHa=K2_A6I_kcJ=)!GN6pwRyy2F5Erb?LEdIt_z6 zkjmoMqKK^hK9%mHIXH?J!BvEmk6=vL!}yqmYxM|$+J5ejr}uN-$6CIR6pOj=lI;|& z)XW=3@F@OqjrL4#QlO>9x1+pF>?zYwneInGi)$s)_;kVAn?Y?SwOqyp<hI0yqp}23 zWx9apkS9SU0l&WkFbVhKkb8Psdhq2RKK}tbhz6xFN6{;UfKbBR5JD2|^*w@Mu_}zP zcK6!Drc0!&0*#A4+>0C#9Sh!P52=0UO*59?6WWaxFG1>hCg1lni*bJi+pX+HA_d#7 zh_`08=cjJ2qFB|}v6!>=B_n0D?7CsxoeKf&f<aSNp@k<jC+6lB-9Z{=PhFrF_$9QN z{Wb0q|J}dDwEq2yE;I}f5CHXmqb!a8tt?|T-ZXLlnnk(VJ7(#vNSO<6;`X*bK^(;8 zt6GN(waTf~W7_4Ds6!C`nne{${<|+ZovYxUB{n#1D~3z1pR%9xuAjq)_gJ?%NKj;2 z-21-2Z@zAPce`GCJa_88{e1EIJGcsr`hq^tw(9nn!4+w|ga>qC;-vY=?(2tCQ50pn z>7B(6@FP9RcappeO=J#0BN5335?{3rP$Lz|1(II%4qzj#Ba2WBW&F?wQMS+qW#G!o z0p>JpdJ}V#b7dyf4jK(`!88}l#f8ADEL-J;$gAZMMwkF}8Vx2k=Qe15xHQ%)i}pa` zk_EgkI87EZtmldd6GXr=TxZnsT9pZWt!4wpDl-{29Qq|wbs@IqvN693&dmrHAS6t3 zkIBo>)5Z&p15krQFiMY;+b;}1Ya|C~8nf|2K(z8Az=mf$K!9i5{}q<zECis%T4suD z4g<971FE+CV@(Y$H*xFPx}h}zt61~DBo#z~U#wokPQOyo{lYid{AP~`vEl$|N?G)q z_B)QJ)yY2@R~BfIVp|?#&mo@_RNEwYy5#w@uA82c_wCTN1ZFwUc&u%UC%QeCm><zH zvM@5Qb)Wo8g>&B<M_IOJs_HJbFXRJag+!~(+ZPrkbJ-hiF0?&Q7A&Nb1Xm^#EJrYu zdtPlc=y602#c6UhuW(rtZ&p$-!5GSo32TLGIH2uf)Gg~|2<|y@LO8QtpTEVkC)JBF ze(ak}dgxrev0r_wZam`@0Mu=3;M`-rD2^+dcAX^ccLZ@wesfBD&lX?Ld|5A^;mvI; z7uH0;uNo|;>csUH=eRan1J1WBHyu{oAK~6yHC&SAs2LgB>FrClqrt>D?du$P&7tVl zkGWb=9Tgg{ENJHCe&{LcP9NqTbQCSgwX!g)Bno9hS_P!3VZC!z7_gjOjDvppSTN>6 z2ae$AfTybGKolei@h36A4sp!X76gZSag)m=hAC!--N12qj5uwHf?Q5a-lW5hb6d3X z+qcA%vx3-u(=xtGe^Tc%opOa8rz!|qvpI~PQ&ikz$BA0AQ7ka9>v1*4Vl62{dv0(* zw}7EtxLtP8d6Rxx>((;wYh+KL^zDvWJRy^Wb|akjJo4xNz5;Ro<nOx5$hD=k@4O~^ zqKYP?NpD5ifV4_C&)z|()56EzPz2HGFyPN!8o@a(^0leeXrk3>HF8}Pu`yr-nTEac zwQCE1nXZj2PH<jqWshI5%^ZnvxRIi;zD7@ea!uxcHe%q`k&y&13fRYIn^oH|bCYLu zF`S|#oah{R<x}lgh-JU=3T(Xy-j?N7yr8qMyHTR1Nv_qq!l7C<JpoEyo^d-hXV>%R zO&*?Rb$OEq;23+374K!(yuCpwTYKZe;b3pi>u;VDEL&S;>>p$u#hTgPPIuZJx9VPO zbW!L58r+&jJ*e!XY||F;o$NcOoM`yXN%jN@!2~g&Zc7Y6TY@%(E}5GZeZf))5m|54 zxrSXC`J)zfesdK84};9m-lH9Cs~^0f+$|nL9h89_ME>Dxy|K2PHB~KSjMsQSOAmQe z9JsxFi1s2n$Qvr#7XogmHQJ2VN*kSN|3r|FH05Hg4KW8kr924CQ^r&;4CI@^j+zkT zbL*CU?_7$&Ns#;%6-IKg9_gh|fEga_?WR!3UU}qvL)KjGf>w6o{EQ@?^g|MOdv^~7 zn7|4Kmt;V?+AyRmha0inr1I59i^WnF7!$4qqrRc%C%myBbTp*6UR3)6Mv3+2feVan zxR%drvME=z{b>kzAf`{}H{=qf-~OBtA6kkrInG28d99qWIrWex0(Apt+i^pz2nn<y ztt3?tC<D%h9Q4)*H*PdUK;XpNIZh@;Ag~6fe8spa>u8!cFXpMfm&pqq{RCT$SeA%> z#+r`_4ocs?=VxHO7Ks98R=u7bX7HeJ(JH}+O`U%h%uU2*&vQN3AiaG!Bs9Zl6bZl5 z7YcDCL?jh)y*^q)D7~u$aYN7_b?IAUH0#S{b#Lg*2;r_f$7Y%8Sg}7rI%4@gME$rY ziXL@!9=?6=Kxe#o^b4k47{Os$fS6-(x;lOU4#q}Yz9$5qZbF>MuRcp_u-NRMNeLP+ zQq?BZ!Zx(!i8*Gk(TKZ!|Ck*^^AH;%fBl_zxc?0$nf?bQsoE-{3ZwBa*4lMdKOljj zD>WRnmQ>$Dio^9LQj|yHB)!{r@}`n+W?1mjzSprOXprASz81xJMyW$#ts|b!9B#Q1 z`ks!?I_?5*^?%{jZnRq*md5IGIBd3?9@fSl^Rc9JIE@HnBq7krVRPB<bqAZKvpUTT zAkFZM?I#Cj7_X(fD~k;D2LaCxqtGz;>A5(AM>EtO7Roj-wwE6?Mx&$YZ?Sf(PqCWy zn8X?n($+dYcy7ga*u68lql{am7#llfUr;@Rk_WR%hb;Z6iWR%NgGOwY5m5V}sl&GD z-Vn}!v_=ajAx;!u9eU{I&&I4s?naKjFc{T$e@K5surMd1yNzWQrA>%=q`4-nRANGl zOSOA*!db0E2mhn9yHt!Z9k3FkO0?qui@i`fz=T=Ob}mLz!Ir#$pL6FyuBOYPk$q9k zG=%{5hY&>l*Mw1U9Egnv)y@Ok%EyBVmNiTd1t1d+Wxg;3OX3^jySsrJgeUV|()T67 zGn9H!^wRIs0E{~HifQV*&k$~y)H9lxad?Hur<e4RltD*^Wvw}2ME5b?MdzAA0gzFk zUB=sp&D#7Z#$sXifnia3-YQoG!Ve<h(YXY0vWD#FTn4;yJd`kEZHE1ZKEY-E{k3VD zk=$gK=3%rvs*UJy&ibIAeRbf4NtwGaL;Yh|4C3kO@78Tn1C#VP-XH%H<ewR~zHz*T z3<3mH2l`*lFxLMjL#AqF>|$;v`cIZj&e7P++~q%J+^;?b029)PAf+`Zu@G&Dk-061 zI!3D+UCu8SWg}xA99sA&JF_l6Oer-fI6ff6P@f7Ov$Ot#+ndiW!S{gg-XB1ErdS75 zLq>!kUr+=-%p_OCTw-)iJTkdam_9|-#Omg(mNx3gAmdiL8Vlx#p5i-!rSRIiRx~B! zNs@u%g6sIv8_$1=HCnomp-MZGK`40<QOKBbFH0I)*w&j?W_U#F<mi|E21?e0V(553 zyi~}yYnI_VbgFz=vULKRZffueFt2`%rnWF<0TM=?LsmLKXJ+<Ejbaxks~Ew~y}-Xg z*WB<(w^T$m1~y~`_xl`s8zBCH^?EEd^Z74mF~I*7tTg`(taAU6f&4d`|LM;vdq4nt zKnQz45PLuv|KrmBwQ4OO5EvjZAP@*33?LW?AOau=Bp@u{|FLM9W3B#g@Ag*+H3xLw z|A$%YXKmmDp+p5<9Y0OM%Gfj%mk>D2El8e{5XhX6APk<zK}Z#xAdHdMC<gLC9Rmjf z_3}<>UP6%ugrAU=o-vv~24u$k6A1MeI2;JkIOGvDh_wXKbY)9Upg*Y=Fl8_lD5shZ zOnEl6)bDExqqwb^{*$7Tp5Q?A!Z_f6`MWcn-dzWOadG-Dk^Apbwif?}%v@<e1|Wpw zpHv(xuYzh@<8w#VEKLkU5E6x17ZsF$$~MwjLT21_--VW32zh@c8QG*lwGo(+<2}`V z+*5b^f(RtJ*3e*GWNSJpQ3oD$*e@cBxf%++8jLtA3W-b5I!}@QH2}Zg{zE{XAjvEB zDCyOOZ(4<2M;xLGsi29gCMA6sQ<{6hZyGfL)?KE4CaNoD?|YM2Nn}knT1SH<>Asyx zt;9@)#XF}A5pEkb=-6{rCdyC5>U*EqE$w#--Gm%Xf_imjH9CS;-*Bsvk=4K!cDBF@ zHe&nbeKj&=jKMtAsg;1}Xn}`CL(^<&#^+5Kqm@`5Q&_g67OOL^1c3XhY!~(OU%(pv z{^*7J3u@5+3Rv@h1M9B3ser1Crf;dk1z;MJuT?>Id@L0g7LPh!7%B!9A+cI`9Kb6z z<<+vx%ut2zJBW_&MInqrep((<yeBRHm=j@7mbS>@x2^MkCie}<^ZS4{0<Pk5aGG-F zJMtR3Pd|hnB^gzXD<OC^ni7IKgc!t9W-8e046+8*PiL8nl?LUJK-W`6VovCn2X{uL z-eSE6YLlO$bpZC1D`qw|!B$3{by^jJXp^fZ8tI1%Q({Zy9oB@~x2mq6VM5;C!n_rq zxL4tB(@El8XdCW&tYBPuP!G|SNdP#@o@+^R1MDd6_en;7o#%gsk86k_+4&S&eWdC2 z7ll6QDY!2*mS<TvX6mHLG))X5+GR{|%r>jIG4j@uvMzb8&~CsbrA=bLdlc92I7D95 zu2ubNzdXMAy&4Udi35uYhdf#J7HIlW!9SZ6_$Z!IS>2(LL4|%-sscL!2O!t&tp`QX zeb$-F#t_e&cKQ<9u<d0;XtjOt%S2l?9)Tmp4<BNhJ864)wwL`Q$v!&5<XWJAF;5TE zw`RkekF9RkMpkjfWKO4oDco`}=ialxTbI0s*h^|ZHGkt$E?G2O%nl}+*h{yu%akKK z3UwN9<bY6n(AA5s7&caJN`yKuU`&?)Cw_6}*p!F+1I7Ju-uL)dA@&VwoG|YImt?xA zDSV77O@L2_4A-WN7Li1es{nGHDO2A)tj`(bBj8o@(E(3%cC@dbYfvemC~iOAa)wxA zblIa+*$VzK*!lf_u0OfaZF%coJMIOV&pMI6<TL$WlFxs)*3JGsB~vt^y>K;=|E%hq zQ(sP(3|S|y#pY1d&=ImYSfg@dxp39kQnNcB5XnicE{yDmr7kU34k_uxHP5;17H{n{ zaY_S?*G5un!X67uYESs@j=szzBC*m|q}q)m2%PkAvflP&d{0mHzRdl&%>s3T|8qW) z<FIu+;=BF&6PKH_bo(^~7jrw^^)Si7Pk1l8-#ZXH@B_>O{08$ixxWltfb<SOFdV#> z_KrXB7WPwUFC0V=#Y=2&6eJ$zQ*5scL=g40qn{BhfclO$&=B@hVy_LP5B0UDpHO4Z zg-p|kR^o5srql@D4cyi_Xj~ecKrCYjts20JUOnmz4$n0~R<y^mRbWKwpuRUu4W4C0 zy%vKE9?LaCR*)YVF7E}A<V*pPgh|!x7&ZPI%}zLb+!}n^3nK}W#%f?1rdCL2fMcuB zh_}uKJ&A*_jX?8YUCyB{9MM!R7jVQuF<U1|OL4IuK5o`XaNRCH{BZ|E;b`)pL2+y3 zk~;32E?4miB~W|-Vla6$Ew?jrbWI}=#aaG}WiWgc6BU2xF1J&1(A2Iue0t}Cj#xht z{F)y%d$>$PFet0$hs>yQPrg-jFzMA0Rmb#3V^DcuyY<1dQ+|M3{UG11GTfH#hs&sX zFWD_IoTqhX$??MI6&=-gkVErlWbsd2m-;8@i_}lB@P#cp<DNQpH<2!N*rApot-aED zRG*~_?J<HzIZ|ecD|T`Zkv5QU#Ail}(1>L%laeQ^5w_~_{v9(pLK%yxa)pDM=%HYX zg+l*WGZRA>5muDq=7Qqnh8VB>-39q+nM^V*U1F?-b)E1!_q9^R)9DY)tX@jfAyXd3 zG-<g`Tz_zUQtUIuVit^w^9?b?=x%l~QeQH+w~5pp+|`A1C6&WaUE4cyyGriRXPY~E zh`b!DCwhs#mP&0D9-B)IaU)y%uQyfu@=`H~7mfYZ2ghO^uxl-!z|7}ON<(Y%O;wi> zgs@);tv))KEM#nHw4p6(p$PHhUKkZ~2fBWwzEQd;7xT{3a*Hdzur)RNzhl+7`)T-~ zH~rP`%1y4qDt!QWsH7>8tzvrDonqTKy361dEbSiH(144Q<o&A>=R9kQX`<ng!$2-6 z))P=?Rr_kPYP`ngGij0MUmQ4P%h}<G*MhC0gPoPijXr^IC}goHdeOsU2=plns7nbF z=Ylepm?aa59BxfXwvuHQaqddml}0<|8Oc=S8b)jx%?qg&C03hqBs>b$#Eok4DaND) z*3|y?*xc(Y9mU;47hDAy_}HwusYtKi6u;88(>O>Se3ugDDBLoa+@+IvR4rIavQi7m z(wx~_WAqFq0{pN$ge?h5u$ruh+j8rtq$}Tt79Gc};Ic$H&zsG@l7;o&+6VSqT;$qL z1bK?(4uSnuMEKoB#>+<taiL*i2Yq;IViV%>2l6dqRh3*E2RJL3QaZ-1SPbU4%ge5x zJj-CEg`SZ;wW2M(I-KeKg#^Vpph>qm6B?~N+mt_lNh`@pH}7(I>8BhRjL=WAO~iqZ z%Ta5y_sIUX57@0J&!zF|u`u?oG(t~Q8Z>7YAWoS`vX;%G@>Z>$N&zTYR~*z2_NR)I z2VaPhlx8%ToD-dLtaQpswfmj>ia`T)_1<vE+b2fTsmBa+Mkgi=t7LOkj5^FM9IDlm zRaeq2py{LUMn&mcb=Sn3Cf_Li-Wq7sqsg)xZJ1h@mM=u2r4~5n3fJ90;LMebhNiXV z6=F6cmz6wfPUP6~z%A^$)#()a9S`f!>ED~>;C)**zwMMCrvqr>i8dm81nS&ugmNuQ z;UT_ZQ!U$7%^OadHTt5%Az|xf4!>+%V+Jpigz?t1UtIe!)L`56<AyHNavtrT%XO`X zJDOkn>bK*K#l5w3=7gXRf#1L<)4cjG&l?P@PfiV~@4|49tf%)v?Y1Os1e<uD<X?HM zm)PmU>IrxbFw-Xb#q{Bn5`%x}Agp(7NkLh;NQ@!exN+`g_bO0k_GB*blAQ!U6XxJ@ zM|wtDvBj<sbXik=c<m%FmroYKCgyhu5)_pIy&4!co71<r(S|MN0g`4mv1t6{86!%7 zuxTPV`J=DR_5+m~;6F$~U3=nek0CnF=@4FVk8bi8FSAFUw6~DlT730cu_^%x)Xk9k zaM}op_dHE&m(ED{osDba^aGe~t=>7{+lws1UV)!nWcvnsj-d3YbD%>!bo)Y*^B?s1 z;<vcLjk~Inmw5NS<_@I~@p?j#!flMvIS*{_8?y<7n@;#aj}tWc&S)fx@r-3ZY3g(S zkhusdGE!<{ha<$@Z#-i8d2`vrY4t}Lj0NSIZ~#VJbqQ$Sxa_&V=0wY&3}AD3f<0^L z>0UN&+Q)NBMYiVl4N#NqZ=zTn=ES)=u_|+==H7@x*h1mqu9k&Q>2OF5PQl$y=45pq zwy@!R$ER<kepzWMJuifmYB!5@Hy)B?S~BTLGS%448WZt_(pogw6o~ao+46MH6ySmE zQ@ow*RQQDm(T2`2w?F(k*X)=55wi4S&h)UESn*cZGE$Llq>4GdiW;2I@*PWZ&`#Dm z6a&{*6PTe6Ub7Vp(<2e1OgvnYi7SE0SE879O8OxLiFd`of!}<hpW7Gt6Y-x7ll+(5 zS0^M85FyfkwPE`2q=3o4r9h4rw3piQ-(*L|RMr$95gb@XJ-n|*;gtf3j0g!aDhOBv zu%3a1L1N%|xAO@+*~Y@~&4&r*oQAFKqQ)jkD={&;o&9p<w!M8#OV;vDO-+sL{9`sJ zt1(Lk*v75wAJ5zMzvnvsp6QS$@V;KM2C^;R3=GGAZ3T_zx+@2b=f1;-?7i%-Lg+pr z$_jqKH}m{;kPiYW?>=V-N$)W?3?r|3MiP2Lb);ObRUnI|Q!-~0x<b{gQQ!_!qiGc^ zl16i+TCP)o6Uv}!RV0!|>lP}Kg;uFvu23)yvrM~`KbHbyuUxKNPy@qGeWY2gU0@H> zLe;EafDd!6R^9^CbY~n`1g;gOh`wjiJvqMk0^_H&C#rz9Pp>dF@{!XHb&KH@-~Rz7 zKy>F!d9r5@(gx!vv6rRbbtfIT33h|TMeZcAcd3AOSo2TKN~AXzHPhLUpWi?vIF^$M z@(#lt0wu<w2W9FQM=F#(v;fJSa$r34*6q>u51l;+%G5&wN{u~Sh2*_x5JPmM1eHfv zKZU*D3d#GxloQNHLo$9Mdm*S*X0cCRWvFQf2AGvjX|PrI<bieV^$?t}e%gEO{i}Lf z(H~$6UG=~KhF7PuEYy7rPN>n+O=s?JgMq$Inf}Fpv{6z2F8CkfJHnI*wG^0p&_GMD zT=ahg6Id>$m++oBgiARa=nswYSVQPf={-l9X|(N(BQ<M`T-4Vz8S%y&z3%b_zE72s zHx_-OPT291L`|#cJKL00C{t<zO>69c(ghbk#S-+_1R3(zUYU~D1{w3$4w>WEDj9T^ z8no>c5Opt^68+aQnXY@sl;=H8nwH3lsyo$`jeE?L=Lzo@=&Q8Q+7U<fP6>(C36a%( z^c1#FkrD)LQlgXK*GL(jT%`(B#mc47rqEYoVgkk?R4^A5JJ%Qe#_{)R8<O^Javw)E z#B`rI+4Ped`kK4U27$Vjl28(`@V3^$P4o1rtn+K=;ll!{v^G|>71@K59h%aUlw=N_ z_7o*8l?%aq{Dn#p33bp(HPjRH1RWF$HsjVzX8lX!XL0PS5h)5wjZD-P5`A@gd`Pe8 z!!f$)kBS*B?!qkfE>Dg)%C`))Z1GA~5@Zfs7LqAFwuz%2uugW1(8HD7%S6;vZKi^l zT_`-W!1WA}gVM_D%=Mgcsq_LT^`eSVw#5i$(|s(7{s=IXhI9hvDjXCG5();h-J1rd zy7ngL&o^7t0w*O*Qx1zJJ6CB_hpev7^{xR3`hMFNb;Wuo|2hJxdZ8);UNo4q)b*Oi z*Pz6Pd3?+(>~)atv@p62vnFZPlJg&&$^MNz^mr>g)in+i*7hQy*&S!p;~8BgA2y?R zBiW*QD%vbN8)nM%6XboI(Yc*4F4$?Og{Pf=59g9`4M;3J_~m!vJ?h;|AKl`o@tdRS zG*D%CjqIB-d5w><go-AJjtKWuYIAnQ?qSfQz+K*#1OT|wBTlruNrv_PmA}4CDblj_ z+T8dw8>`sOE|yPgH99q7Y4z1Rz$wP>o|{L~Ws;*?8Kbo<#XfWjHMFzyGq0ztc{k%M z8Ueg0r4Hg=sy-YE^TXuWmJi_vC+VU(V1ud7BA6OOF6kRuE(C<Rbxe%8{X#zWw93C_ zpO+^*Z9+Mh(3#0Vdx(>mhDWCtl~JMoTAi+>0|rSr?Ht!O)(+KOtsUly{GJUu0H#9= zxo8Sk>Y3&C8K?`owskH%Xk48+n=RN2Q)bc=c&7wr^T?kVXDdAeN^)&B`~x{?P^HOY zVN8_Ld|T7TV<yO$D4M1rxaxGs$D_b~@QsXi^Hj#XgqM0H2HEJl8cDa|7_b&c=mVQ5 z=PcDZaXb!gkUI)HXk9VrppaQDXAIDgU2-tA)?2VGM7N{0;zd3okV^v!&`wKhn}PMn zmddS}5yPTBcIIl)%#w(jrLmeUw1dFuc^DNJQeEkemL!7#rVHM$fxqvbe&2PqYwI*D zaF&UnEpRtK=M${RYiJ||r%L(PkwxqG2^55C6U76F7Y!7QrNOsNHixGDUT2(0cBV!2 zc~Em=D$-!f66E0GEQTI06Bv?8N|~vP?2$`Z2kM5WEl9C0;G~C!#hM7>ZT0PXeo}6- zN1{@O#h6N{#b@{zu`WVkbtf;>47Z*4(3ON7Jn<_hIEAPn66|aN$2uGExZ0rR<oL)T zT5w1U1Xz?hXDU3>?Ma?nK{{02!k=k)m@BcOu*$d4IE7usxT;CNFyyqg8PU<ZgR>;V zG~u!cGR!7;xCDjzJZ?RVGYl#2Lcd>W?f14<#BaY_5gtWz)Rw%q<i_QXl!#m|sbCsT z`(eiCyuayZe(+D7^PcN+`EO<48Vyd|Po;|b&`oisB4(ye-pyu5@+iHZ711f5OnJsT z68l}wYI;IVGL(y#XtvONlxoRcCgmm=xKE+xGA^vm4Bpml*$<yZKIEL}7yF<X50hO7 zAG3TmxhzN|0Uj4%&!f)8@}y$E_&gIa#yI;ZSr_g2M~EppN#FOwl<ElN{<Jh~|Ee^K z)*?5?S&fmh$V7MXkGt$5b#{pJsaKAY4NzmCPeZ)KwIC)RSyoEw6yVR*FT%UO388Mu zS&ayHFv9lbo1ZsL5m)7<a$S@v4F|9-q%rQYRc{*kzu{1QQaZA@|3(~b*V;Fk3c~D1 zL!11D_fn(#Cf;)tz*CDz6G|R!!lz>n?V}A-UJ5{I`GZ={Kq$6lIMQBG;RjWBns$Bv zxCi$-mL3aUEy5PtfW$VqNUc;4Tx^7${jeKV?Ck@=VezvNptWldfWrLEq;b!)%30RC zIT6-h`?Aj0N=ybNIZt0C8uFpMa5G6Lq}erllgs?`Ym{l()U(Um4Q-K@?@g4858VEX z6wz0U#tno$nKOb`+XskVQdw<(e_#gKt@PNTj<3ws)%>|}$93}kVUqu?><+>Ric{x6 zvE#R2YZUQTKSTW;0-kYvcO3mu^gO9FKW|-z9x-*w5>#zdSJ~@>;$EXM-9D?~bpyPR zD=#(;eISXi6VPgBigM6Ygry6UJrF+V+M=L~>Ly$a9Lb#E!fN~=2ghkH$4?I2B(176 zCpZR*sC$0&QEno|1$4D=cdwtB*1Q;{2Q8?olJ!t;Fe_AAbw(*qO*mZ9DKIj6v<6|9 zbZ8VkLC2N}Wk&bWUco``q*Qxb!aAnRN>xS$?<_E|<Ohsoq`7Sv9_?HQWs@wy2dC+H zMZDgWn_P7loBrL`^an{e@zY6$0WgkW5c5ugQCYMQ^}ay-*P8@`TgG%Ym}MPhc|+`W zcRU^=(pUTdfCKH^{!>)QTYo3W8=lz)(S_f0VUX?`>hq#Fc$@KcIWoKX5d9xU8YITe z;mPMk7P&W_sc6Ku`;n_&kh~nf8Dq3I-z&=bizY<VICeX`7jAyL!P|YVzZv-J(a+WZ zuk;5Z3$sLf`(ry7j!{qFtn?k_nZDK!rS)7-5L{hIWcw;Sp^(=5c~9jgv7QY2<=0Ww z$=PQ4Bh(+q!AfF9pK^kg{?BT?9c878`bIhKK$_Ce+zT1YCk=Vll}75?rB`y^4>Ne- zsI&XtaTk7k6GdrUt_Gx#9bUb8G!?0*xaF}MO2+<wXFo@$L9dn!=K^wS(yhLnpor%r zXT}e;kU`|D@Elk9KuO_-AQ#&`V1r?H7>f;w_Czk1J9`zwlXxOTh7*$U;1X(Y?ok>+ zQm3*Q#z`b3@ffH33HvndDth{uWn<eWqse^Mngg2Xn_pE4f7AHq)Z;ZVcSMXOi5pJf zj@<k$YBf9=6=wPcma6RDu+fukVSrXss4eJ+8vuDQ)5b&-H2ON2w0dn*&FC;?_X1R| zg7!B3pF_vcE+?dc=hE;!n&#c;ivX@ki20c!VY^;T_7^tkunv85$_B-Wo^aW4Ojp%o zQ=W&J!Rgg+^fg?xXu4}t4#FdfoyTA=RsxyWoe;+_%zsqBF~~7~2`ms0G4}sP^;`a1 z^~Y*{xZ-M}|KUjNzI+Oskii?R#Xl<cFw<_`V1tjn=F@8<A4x@dV3DCRYth-vs`gx7 zrjehhN)~}lMwwtmqbgSV4fTsd+`~o+f<@Kh)$uhD+X&_$dpjkMWm@i}>m}eNyXiFG zbc^=X@!S7}<7dxnQAiM&{$O$lql}lqU>aFB(f%Y#FUh_*G^4DS_}~lKr_^A)xS#3} zI`S^&Jt%S?(tT+JH*z1^JuPw{#yu|bs`#hI(5={~!4N#MW29FXGPB$m7@;XvS_8N# zOY1=qoFrBpYqrHJn5cmSY_1vCh?9&2tpd{#)(n$h)czveDV7@c<~<kyISfuTRXAyW zX6uWKwg^;l{A_5{+^xYGQ-Q^=5t^52JfEF7t_Y?#N;`}NARabL^NLZ5oonHhx_=2{ zAfB+#3ey{m4ZdsMR^_EIfM`tZ1)ryShpMM?$1_9wN(~1t7+kT36Yc{V7nH~9iHeEV z9Xtv1ryrQ+wL8fBSzkzcfPM{T$GlA(3xsH|*Xsq8-@js@05lu{k#K97KA+a0{wc9# zGuF2CxH1e~^W3o4EX!Oo9#h>@LWpgi*V&+_ycC}ItJwHL6r^>9O0}hQQS$ex`?S7f zo)bPGlcKXqLKjUqOPOAlQ`Vqd`G+tEFGq7meG9Bvy?x05+Wom{GQNEXN>3R-A1P7x z89y&gJ}GmjK*H!mnD$%_aVyRx{!=(JFg@GSq>rS@Q^jiJT=&Y)g|(J2UBdJli3^<+ zeSn-Qc5~z5S!x!6y1eQ%;}7qa75>O4JAHuUCDu;SWu@cNLtUBrH$OImW`0TT*Ezgb zrEMXC;EHdn0Zoy+oM1VH<;wE2SD`^uj=pFm!`tb3sh0z3%kmsV4h<q2TzGOz&Ljv4 zC<Qx5y!f*7xdTG7URiaAxg?@T2wRIgk31C|%&#!^#d^4x{GVa_MkoX=usjt_!ryfA z@#Q5MF*?O)8;u^_XKS@J>lS_!47#CQ+i$9)lm{Rjc~0urAnQ3twMAzFJ&}$}shv8o zG~`7X(Vgn~;<<Wk7uq~Y78~SINQ+mEsw{40-=D+l0RrlMKWA_<W;R=8!!@GOTJ5Y^ z#pHkV3-C)$XBJh}{_!FzDM+J=405<&@K-KWlSzUQ)P<+}BC4Q#L&acWt4Ug7F}{0% zLb6U!w;XRvuozWaiEh@)bTuEJsE2tkDN;pSsn^?X0HdPSmFRy?nJhAI)AEp})Xyn_ zbh}>G5r4CRvD)72{PjA?OKFMsf!)W)`$@34?IyuqW@o9vs5Fq<UVJXTT2DPN^ZjuG zW3~I*Q{(Si5$ql87FTm?3%vc}Ms4$E_c$?c>*}a4r+=~=Pm$<lXG3QAKtsW^1VZDf zU#!Lk&)_;<l7;RjYFd%a2rk3f!4bI^!xblk*)Y)Z<tkNs4I3YR79VTBXDFBPqt=?j zyU8;04X5S=Ndz=@g{1ZLq`{Fydw{g#eiKpzl9#u3U#-#A(ZP_bjd3C7bf^Dhtu$2% z9I+RInJ?VwjK<?dyo=V$t+9?AFE$f)t)-a?BAR=w`D7iI*tpiGr!Hs!*Fa*IXbZkU zhB{1KOxzChtnJI+4W<AfGTS$=Bo3A(#E0#&pa>}~C`YGlqU)>H3(>*<zSqG`ATc9; zJXp1w7Q|`1cv9)f2eTyw+`9*f6h`foe)faR^hN#dPMwX>#FhaYopy~kew#C~0nyuS zsi=fpqZDvEZtfsyF!~j3HQQj-Q0na$qPD4cnmIa`qh_VZflg7SRfH)j&Hn3$1%j^% zGqus60IFeB0T{DM0eavXpFetyu(e7z;qwctt*QDq0qO|%W^aFIUd_0LV7UC70j!r1 z0srKIAjr9)mAyCNHc4ic)geoB)Y^qH?VX|puT%xPo@7&5F>bO+ye3J0xIog;$+><? zsAp-|Mn<<{@MmAok)Y5Yy@{OM1vJz3hBSZDOTTl+xqi+IZ;*X(H^y55)TLMN30{#c zeVFC6Ni)72&ZL<N-Tb^jq0zR6q#^F?$v^12Ru8`<k7%$m<jg-@GxSav4NRC5SjJ*i zi*>zX2zCYc0kB+L)Ml9TiLx`KDd-RYvNs`cK(H~3k6ynRZpz8e*%w%C8B*qq&P~rE zf?ZF`Zu(CGGDli(%kFRfh;I4CrR^hpnxDaw?INShcPu-__b~eU1bKx|@{V6|oCJfk z?bkKmSFr&llStpeUuYJ(=w-+SJ`Z|g(Na(7V$JI3eOSdSIw~irR<Kt2GW&z<RsCWj zR803TqC359(!Pww9OW8StCViknDgT30&b|hyAM$RHpWg#=ie9p9s!Dg|KCug^?y*L z`mXCguP{3_W_5L~8{tyBH&D@tWHw9Ck(7qgJV_SWS3u~BQa4Jcnr*UW-8f*;0P^-h z;|1=cSVAN$@GSkDM*7Auac8&5GKGX#GH!E!=McW+x;i-g;d?#S1hRBe9mo#)4b!V! zU)rxZx7R*s?1IJ>g-4DMeF!0$Q8Z}mYFDwBzLb9;3XBbpqW~=hlfH~3t|JNu4Nsbm z!bHE99j06iHU-6n8ye>co*j9Bw1a$?`|}0d4{2DItLBiF4(e5Jl*fgqcepW*Ps7b_ zPZeMDJ~B?;uiy|T)y<D`>GD-;l!M`-oTSPW@;8sot4cVj-bH)9spe4Ut6YEKUrJ*B zN$hsOA<D&^Va}DEuD8MBn0a2QO<Tr@-dbHK_(7KQTfa+#;$14<;njmZ=ZSvx5kC#C z2sA94++_~J7TCb}7m9YnCKf&50p@q6R35%Vp7dh_Ec)WKb{Bk=Mzh67n|n>8J8h5M z`*0LFf;-E-o3&^aKj+XrxG3cFS+1uQ^djStSA(&p?7)8B;jZRY<@q9#&Cw6Oc}qQx zOVAk+OQn-2^)8DKOe_*tePJCZ8I0ij?5T!qM~pV=Ve=*>^4+-+_MmApP*&<B?K<5S z6i`MUUUywCJX#+3)h2pQeJ8x#-}+4o=4>`5bk<q5Vtb6+^}{F(x&orfPRs5Wsh79P zl~Lz4T5S=US2y^kSl*2vplW5JaEG&JXZgQ#Pjz|W?#pgn7)6B`)?4hWnyq}$D|2y} z=jMR<DWkA{jHu(8oO`5gwAo*S5BQax(k%xq0G=QUx;LHtE-H@JcNa-~d(Tm7d}4!E z>9y~344x7;aU;j4dD${}x#S(wK<-@yX>!pLMIOUy4pEp5QMW_H;<2<Ym`&cyU>#Zc z3VoUK>60EYL}4khHA;24W}Gmi$+`#baF=3|*@`iC;J~9kSr5XthHT&DiX$~|P247a z!F7b98dvYye&=4S5-7lre;$6D&xpk+*lb3GWTkTv(n-#`i01yPi+8SA8rqLZWJxx# z6DaxvJgxM6FC)P&b>f_=Oei`jIG9cxPDzy?Ng75YL~tnIEvJHdi2Y{p5gtftD8G%k z;ho`xcma%p*RWUh9qWyd())vWrSu1Q<ROx_6$p>hPqWc6=7kZw=D37}d&ArlML^)f z2({QB*qgOLjtXL^M8Eo|&>1*p#p>57H`u7~=X;(UK>`dSPjqRa;vyyU53XmR`@A5b zPtbqVu}u7gROR2)IN@Jk{D1zcqt$;beKlXjMI}6bOp5DHgyNqO5#<pGSWDCb!fptD z%mg4ozeDvkwVi8aSB*cZ0zkf5l$nC1hKMN00!WGyUc0hHIm#N%%3gAPpMA4;zIyF? z3_<5$MgJ;WVdP+v+DI(Sg6Ih7c6uWbA+dgb;1_T{q&ua4Qs5>Kf-d60(SqpUU3g9& zvLI9xvSwGVnS$`(iG8&2MHD_Rih-<f1%w`yO6NpTp+N(;NvM6k@Mt`SaVXQD0C$8o zvzUCt5h{l<EPy<AQaha~jHTJufHwBxSrRi~pMha)&PhQ6%@X_hooDd(Mo?*Hs?W3> zmOtDRI86ch>5}v)N0O`9E$y6iq5yFPPc64IPx+&}-02;GXjUE9MqXh1b9)_}A%o>h zZHOkT1&PI4u_IMkSqQ87>oya<@%F@;^<w>UxjDD>=!y#27}*n-^6zBlLCu-u5Axy@ zrEaScW|vwp*sk6_E}9Dd(C$Z`07o_bqM-{BA#<dUr;rS`9N@6ZKZem4b89(~<5{Ap zO$A10BS^utX2Wm`VXZ|if7*&J7C!Q??#$_U9M2S>JH9%*lj2GR@#j@kb=ZWxGbDzs zE0Pmp<|$+ha}F?J&c@vVa}RY<2jARzmgUR#qOLK*i=_*6n`{ek?5<&`F{L$N9aEcB z7VXn;1STW)wB~Cwu$4(35-x#Otol&m&E1P|?_J3{%3{Z{MpmDb@bnmcQoJLqVV%26 zYFn+jr!`fyy;yv_Ez7-Cw&K%V8oiS94KU&z|IdswKiTBjF8<ur%D`l@z{cc-Rwlzm ziG^2n?d)GvHuMWrg<W{S^_WMZjUkL%{F}h<RKe2OHzHhWQ+@>J{heiabZb+scfgcW zqB6ZL<`2WZt$E;4AsUn-c*@#DC;30e{hy+VlD!iz>hQ&sl;$3KeSXnT)m5`%5^u5Y zOcA|z!iY~ZR79~mtW_|jaE6kLThXIuL9VWG2bDEMR#<m8Pn8eY-Ly?oZbNt7EZ56I zudK}D9C^y~N@|y!x*yPPbZvuQ?Api0?@k){+~9l2{)fqi>51+SMTbRK%USk2{bYN; zpkY>iN_)p@i}~Bx&x-WaXGtuLY;Av)9qIJ<woK=IP+kns{IT8|m={BVRWTwj_O3%c zNkjy=aLv~>#8KDN&rRRg(a+P(H8@1i*KKOQHD9xVfJ?RCL+&?Dc2lFZR5DI1H$T>( znjHPD=>LR69*Q1;yRK$Dd+VdTMlM99VwJ$w&2#2%II-%cw5hgtQyA~NSv`-|6!$5y zK0MfQ^pt1o-ooZN8xJtu`owho&9kXjnx~yisus7n%;)Z^aCehi*rnyK`}^}{LjLMM zO57^@=Hj(EzAkp3Y~)RSz1uIHt#ryeUfBJftM`JKmvYh*oz5M-hfKI$Z+XWG^6J~S z&6+EL9_dF}DAw1?8VMAH13e%M-=Qh+b5uYl&FGdE<rJ?C_nmxOfoJdc{S4bC`<n0l zdSRyDe}{hAM<>iAd3Ywgd3HZM!TO&^+3~V(0`654zHgYovT~34JN9I;9>2`9`U_TU zQ|%5r_Nl8;Q>EB)`kqR$M{}P9{W+bnYhmUgp_&VC4;x<UxhTB-{;E=^TTUsvr@wTY zCoXuZS+|1ko!?UVs<>lLii+Rm+47A3u{Nc1zAOClYoV&qt~6DS*K@+wu$?bn%N6Kn zu32eu?S;zu7ZS;Z_I5#1J#~%K_DdD)VYu`|zSC~jwvgD@K}^PB)wLGl=FM|{v>Kmj zu|0cCA@e{g(@s04?)`RMixkrJmn0v|Su-W?!`VE$&VOF46^})KHy>NS-@abCSSsoI z&m|w92YCk;){3rqaH=y;{7_JJgNpaHTY}RTtdqUpx9<y3Q_!x$ymv49dOr(JTsp;X zey-eNtD5(myWTv_&f9z7z{^AX3%Pv?6;E$g;(NoYqxB}!iqVthIoA)a(~PedzchJv zKt;nm!)eFYmjcSV+h*<md#r8Qo)w8YUor|dCPhD7v$DYFx$dzQy8mCCNfeS2K9fA% zB3j+x()ME3pF+QG{Z{!^tl7H$T>I`-^M36(mcuoP;oQVPi8nVo`w9}(k3N3RTCBt= z)_F~4UP95~&sr{<)@>~UE{uqoI{U)QONJu9?yPxHcj)cIyU9J@l^L4%%s<UtG2f6+ zTAIz8VGC;pOWdPK-_0tgC&lja+!pEf=B~-7f?Ib)=PU`hU}tXP?fj(KSt?!6SEo%P zBJ6dt#s6px;O-;qmavR#ZQEmY4x9Mc&2@S-W%*a<vb}vvCeMhI?>W}C#cgZ#)LR^# zsyAW}A2Y~&c=b<^jL!D!oVDF{XYbt;RDYxUOJ{dx#`m??FPznz@?&v<X_oieo2PW= zRi6}46pZwXDtOMjo$rL|Yax;NZ*uB_@p=NDYozt6Io8I0KPx5FfAH#+fMS~)pB^{5 z7`)HFt!N&#(qDb;)Nf)5BCF&gJT$xCuB;TwW7+oVeaYl644Dl(OCD~SR>0U<t?u>b zy4j!nO}yeSIenC5Ui=5w>pvHStFr>j5-xt^vIISY5n6MNn!$=vi-9K?C8riMgBN>( zvMF$39T*^rD|9OifbvA;VZDN){DRb?lFZa%?^EaXHT5*TbS|9sJ#(h`oTrZ7HeElz zGoC)D*Ie*Eck)W{xsxnlH)OM4?NbBVpaR4J-i%Bl42a{GkPof^P3ofpd~Sjs#)NJl z^05%820j3m*!T>Do_>LDAo6ZNR0A&qn`8J4gq|&dZXohr4pakmh432)-BO5dAo9|E zR09u4;5QJuAq3q(<VEYC)Q12{()bO;vHl<30_3&bptbJ^P$`4o0@Ri8=;k6XZAJ}= z&9eB-g{~7vHxPMYDyo4z^7sveu8&4H5P5kEs)6$r@f!$T-HL7?^2j-=fvYs}8wgz^ zgKi-5I0LGI3rz7F2pxV$HxRk^f@<Jl8~g@B2P@DGL~eqi8o18^zk$#$5VC=wmK$<I z2h?&y052Ep?Kor;K!quCNe*fdA%LkXekY-p-k|0Yy4fJJU`04;Zk*;pirMg*0o?-R i@)=YUAiz&zEkLRl0=!v)1uX-E5D-3MWnifF1n~e_gS<Qd