From 7f976cfbc05eadd19d055ed9bff90e260b81e17e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o?= 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?= 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_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}Xh2XSm~$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+dQ@AiH5n5(=>`@&gBCNijTh;z+4zswgh%0|VrjNG|e& z0A$1nFQp*>2?6STNCc%gAN>I~@@$ls!q9IL1El-j2t<9a<y;(fTEwNcFaL9gHP_XM&d@fS91|I~2g{Yo+O!ibfFO*SbHzAf z{}-+Rp3&b1J|`yL2Pci+_qP;=`C?TQ4Ohv-Y3I_?X)+_~j}e&(F4eS)I?D4+tf`*C4p3np zuv*w~v3O|;G7Z_qa>EDQ6-sLo@p=PsmpU358y0*nNC^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|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 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<39ixEOt5VA=k^uSIe2eWhEDTLgEKnH`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!7od((58>w5E@?K_jP-u-+M%?R3#|0Bs+ zWyI3VPh;fNEIaKU9osPJULKoq>@_9EaPqY#W_SEGI;KzNwK60cB{%I36q->cJ?%~u zno-(Id(a$OF!9b5S}@^G63!UXVIQSI*f*CUJyH$sR@-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+`32kZ8kg3lwIZ_LX7hm7p(I^V>b8?AAA}F524y`5lM%1p?C^BQ0A9lmTHf{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 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?x>8=M-4j{29v z=Bepn9{9QBanDXbRV&r#bhU-0KQbj(Sux33qf00E2r#Vj6S{)3gn|`z{DNL%Hiv2! zQNu>8fwpEpDK0fTF>ox(8a%1+H4(M+VF!?gG_fLgaX3&{EA7FCsO_qRIWjsS z@^CAOt-jdh5HoHwist^4iP7`)(i!?3x0tC7|~isOhsW2zXZBXuIE6&D;F^DxqQjXVarcC zE||sYFmmr4pYn2rjV317xSN$v+VB-wDzX9iZsQ;AEHlC=WyC5|IYID&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?SwOqyp0C#9Sh!P52=0UO*59?6WWaxFG1>hCg1lni*bJi+pX+HA_d#7 zh_`08=cjJ2qFB|}v6!>=B_n0D?7CsxoeKf&fqC;-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&BcsUH=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;RoHF8}Pu`yr-nTEac zwQCE1nXZj2PH%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^pz2nnu8!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@HnBq7krVRPBA5(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|$;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`40D2El8e{5XhX6APkUP6%ugrAU=o-vv~24u$k6A1MeI2;JkIOGvDh_wXKbY)9Upg*Y=Fl8_lD5shZ zOnEl6)bDExqqwb^{*$7Tp5Q?A!Z_f6`MWcn-dzWOadG-Dk^Apbwif?}%v@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((@x2^MkCie}<^ZS4{0jIG4j@uvMzb8&~CsbrA=bLdlc92I7D95 zu2ubNzdXMAy&4Udi35uYhdf#J7HIlW!9SZ6_$Z!IS>2(LL4|%-sscL!2O!t&tp`QX zeb$-F#t_e&cKQ<9uK;=|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) zO{08$ixxWltfb z_KrXB7WPwUFC0V=#Y=2&6eJ$zQ*5scL=g40qn{BhfclO$&=B@hVy_LP5B0UDpHO4Z zg-p|kR^o5srql@D4cyi_Xj~ecKrCYjts20JUOnmz4$n0~R$PFet0$hs>yQPrg-jFzMA0Rmb#3V^DcuyY<1dQ+|M3{UG11GTfH#hs&sX zFWD_IoTqhX$??MI6&=-gkVErlWbsd2m-;8@i_}lB@P#cpL%laeQ^5w_~_{v9(pLK%yxa)pDM=%HYX zg+l*WGZRA>5muDq=7Qqnh8VB>-39q+nM^V*U1F?-b)E1!_q9^R)9DY)tX@jfAyXd3 zG- zgs@);tv))KEM#nHw4p6(p$PHhUKkZ~2fBWwzEQd;7xT{3a*Hdzur)RNzhl+7`)T-~ zH~rP`%1y4qDt!QWsH7>8tzvrDonqTKy361dEbSiH(144Q=R9kQX`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#>+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)_1ED~>;C)**zwMMCrvqr>i8dm81nS&ugmNuQ z;UT_ZQ!U$7%^OadHTt5%Az|xf4!>+%V+Jpigz?t1UtIe!)L`56bK*K#l5w3=7gXRf#1L<)4cjG&l?P@PfiV~@4|49tf%)v?Y1Os1eIrxbFw-Xb#q{Bn5`%x}Agp(7NkLh;NQ@!exN+`g_bO0k_GB*blAQ!U6XxJ@ zM|wtDvBj7{+lws1UV)!nWcvnsj-d3YbD%>!bo)Y*^B?s1 z;0UN&+Q)NBMYiVl4N#NqZ=zTn=ES)=u_|+==H7@x*h1mqu9k&Q>2OF5PQl$y=45pq zwy@!R$ER4GdiW;2I@*PWZ&`#Dm z6a&{*6PTe6Ub7Vp(<2e1OgvnYi7SE0SE879O8OxLiFd`of!}=V-N$)W?3?r|3MiP2Lb);ObRUnI|Q!-~0xlP}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@(#lt0wuu51l;+%G5&wN{u~Sh2*_x5JPmM1eHfv zKZU*D3d#GxloQNHLo$9Mdm*S*X0cCRWvFQf2AGvjX|PrIn+O=s?JgMq$Inf}Fpv{6z2F8CkfJHnI*wG^0p&_GMD zT=ahg6Id>$m++oBgiARa=nswYSVQPf={-l9X|(N(BQ69c(ghbk#S-+_1R3(zUYU~D1{w3$4w>WEDj9T^ z8no>c5Opt^68+aQnXY@sl;=H8nwH3lsyo$`jeE?L=Lzo@=&Q8Q+7U(C36a%( z^c1#FkrD)LQlgXK*GL(jT%`(B#mc47rqEYoVgkk?R4^A5JJ%Qe#_{)R871@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>`sOE|yPgH99q7Y4z1Rz$wP>o|{L~Ws;*?8Kbo<#XfWjHMFzyGq0ztc{k%M z8Ueg0r4Hg=sy-YE^TXuWmJi_vC+VU(V1ud7BA6OOF6kRuE(CmhDWCtl~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|T7TVZT0PXeo}6- zN1{@O#h6N{#b@{zu`WVkbtf;>47Z*4(3ON7Jn<_hIEAPn66|aN$2uGExZ0rR?Ma?nK{{02!k=k)m@BcOu*$d4IE7usxT;CNFyyqg8PU;V zG~u!cGR!7;xCDjzJZ?RVGYl#2Lcd>W?f14<#BaY_5gtWz)Rw%qn?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|)QTYo3W8=lz)(S_f0VUX?`>hq#Fc$@KcIWoKX5d9xU8YITe z;mPMk7P&W_sc6Ku`;n_&kh~nf8Dq3I-z&=bizYNe- zsI&XtaTk7k6GdrUt_Gx#9bUb8G!?0*xaF}MO2+f;w_Czk1J9`zwlXxOTh7*$U;1X(Y?ok>+ zQm3*Q#z`b3@ffH33HvndDth{uWnm}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<~@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%kmsV4hlS_!47#CQ+i$9)lm{Rjc~0urAnQ3twMAzFJ&}$}shv8o zG~`7X(Vgn~;<G5r4CRvD)72{PjA?OKFMsf!)W)`$@34?IyuqW@o9vs5Fq*}a4r+=~=Pm$}~C`YGlqU)>H3(>*#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;$+>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~irRg-4DMeF!0$Q8Z}mYFDwBzLb9;3XBbpqW~=hlfH~3t|JNu4Nsbm z!bHE99j06iHU-6n8ye>co*j9Bw1a$?`|}0d4{2DItLBiF4(e5Jl*fgqcepW*Ps7b_ zPZeMDJ~B?;uiy|T)yGD-;l!M`-oTSPW@;8sot4cVj-bH)9spe4Ut6YEKUrJ*B zN$hsOA8J8h5M 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*&`5bk9y~344x7;aU;j4dD${}x#S(wK<-@yX>!pLMIOUy4pEp5QMW_H;<2#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())vWrSu1QhPqWc6=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#Kf-d60(SqpUU3g9& zvLI9xvSwGVnS$`(iG8&2MHD_Rih- zmOtDRI86ch>5}v)N0O`9E$y6iq5yFPPc64IPx+&}-02;GXjUE9MqXh1b9)_}A%o>h zZHOkT1&PI4u_IMkSqQ87>oya<@%F@;^UxjDD>=!y#27}*n-^6zBlLCu-u5Axy@ zrEaScW|vwp*sk6_E}9Dd(C$Z`07o_bqM-{BA#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|IdswKiTBjF8J{heiabZb+scfgcW zqB6ZL<`2WZt$E;4AsUn-c*@#DC;30e{hy+VlD!iz>hQ&sl;$3KeSXnT)m5`%5^u5Y zOcA|z!iY~ZR79~mtW_|jaE6kLThXIuL9VWG2bDEMR#51+SMTbRK%USk2{bYN; zpkY>iN_)p@i}~Bx&x-WaXGtuLY;Av)9qIJ#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&FGdEiAd3Ywgd3HZM!TO&^+3~V(0`654zHgYovT~34JN9I;9>2`9`U_TU zQ|%5r_Nl8;Q>EB)`kqR$M{}P9{W+bnYhmUgp_&VC4;xlLii+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}RTtdqUpx9I`-^M36(mcuoP;oQVPi8nVo`w9}(k3N3RTCBt= z)_F~4UP95~&sr{<)@>~UE{uqoI{U)QONJu9?yPxHcj)cIyU9J@l^L4%%sW}C#cgZ#)LR^# zsyAW}A2Y~&c=b<^jL!D!oVDF{XYbt;RDYxUOJ{dx#`m??FPznz@?&v0Ub 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(