From 6e90eea736fd9adb03a0efc1c2b58def03958b3c Mon Sep 17 00:00:00 2001 From: Joseph Doherty Date: Thu, 26 Feb 2026 19:40:05 -0500 Subject: [PATCH] =?UTF-8?q?feat(p7-07):=20defer=20all=20249=20filestore=20?= =?UTF-8?q?tests=20=E2=80=94=20FileStore=20implementation=20is=20a=20stub?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit All methods on JetStreamFileStore throw NotImplementedException (session 18 placeholder). Marked all 249 unit_tests (IDs 351–599) for server/filestore_test.go as deferred in porting.db. No test file created; tests will be written once the FileStore implementation is ported. All 701 existing unit tests continue to pass. --- porting.db | Bin 3395584 -> 3395584 bytes reports/current.md | 6 +++--- reports/report_0950580.md | 39 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 42 insertions(+), 3 deletions(-) create mode 100644 reports/report_0950580.md diff --git a/porting.db b/porting.db index d3fe90635ad8def244ec5704943ec857c75f8bcc..5e95f804136d4c968b7c3bd1ee9c9c38ac649426 100644 GIT binary patch delta 20956 zcmch8d3Y36)^~UHQoVO|HqwNolXTKWfRL~gLI@ZZ+1IcN1V}(25Vk0Y5W1@p7esJI zxH^cS&gi%xK}YirDh5OaSydESWRX#Jh&nE#An&=isycO=`TqF+c^@Bn@~f(I&%NiK z?Vfvj)t1A?Rq+416l36tRwb5zq5Ya)!{xQ*#@ceOw%k-(Zmuo2)RtRo%lX=JTWz_$ zw%k!$?yN0$)t0+!%RO(Ed*{AsG&dZ1)7znEqIZu$@a!-e3`Vc_y7!d#6VGAKsfMH` z@4KFW*=CC8=1-l*?S!_&NrByVuHC9|G%dm1)#LKmaiQ*Y=_c6Bp$rf(aP&B9X-GYlPS z$k<}bG%}KJyh4C?KWaG3O*XDyWlgGaw|2L5yIg;`nq1#_U-LfeUFVH>mw0D-$9o5R zdwDx}v%D?54$m#iHO`ANiEn{AyfVq0RH zX&Y}FWc|(drERZmhwU}nv)l`o8+L>32iw26_4YRQR(22fkiEaXJGaa}hMQ}j&P}#2 zu&*Qw*70`<=7r`N=2G(jbAh?7Io0eXy^W5{@n)mxN7J{aW2Swkcia!U=ex_?quhPn zU7h!Op7%WIsq-xL%;APRCwfkJ4tREY>bX8%v*%~eMXr-K-5bYcdwY7@b1l4sI6Fvi zX0t?z(ae>?7MN=^MKCt#mB9EGLT@5ekI-ufy@b#TgytYLo1q$24~_Stm$ML>iBJVX zNEsd=8<%AoMgsPa(7#p+^yV1fhrB zrkZA-ZF~s5tV5_4AsHbFA%f5bgw`YUB%qpT$T0pHz5EkGPaw1op|uD-j?fx}wji{b zqGm_+EPA;Kp=S`p)GZ;*wOjIy{<4f$JaX+|HrX-e-Qtyw$wf{DfIDSDR;dkDs1Cy18s%2 zTwB2Avzhpx_zV1Ten0;nzm0#6|1)39-_OtHC-Fo1V!i_((|!9)?L;& zt$(u;>m%0X)_K;c){)i{YZt3nWA$5|mRpt^mUEWRowd#for|4woYS1+ox`2|okh;h z&bH1>r{5_!dB-1)pBz^m=N%^;pE~wB-gmt1*y{MJW256wjz=7;9QQlsJ1QLaI7T}L zIr=!dJMtVMN2(*i;dF5J|Ja-C7wo6)U)T@WKd|qxZ@2&5zS+LPzQ&#|+n3uH*=O6! z?Bndi?EOq{n)KVtw;+Q8LJAoe5IiI|AhaSr`p<cex5&`7Y6w=1O$A zNM-Mq!J7X|e;(t`X^pBOyD9AjD|Nc}7#pUCgd?0?EqWPtk!KQx)#URyVRS<%Nidt< z?k$+>&AY9M2C^qz*i=*C&UcIMGwDKl*BRHBu7j@kTw7h6Tx(n_T=QV% zLtRC#Tvw{g?Y!l@=KR`u(D|Not8MTFs^&|K-2p|Mu|z<5@#SQ(7l8**qxO z+pyH_dzg!@BpSOmbj%SBS+yN;bR)y!gi4#kHNo&Wcf~+@_ettZUTG3KlT-P^Tl21P z|A+t4+TsKwn?30@+Sjk)W(T3A9mV(8PA*oJiQ70tV z3H~~vWu1^xC$y>)QtO1YIw4Req}K@V)jKg^;z8yPZXBM?wMPZDM@a zax6YPEHXFFU^H}a7r8rd#?+F+e&k4_m_)iw3ucqvoMft;NCG&Dl_y6m&iVD@1P`XLxbcwA&Q{k9u?+l_uZ z^0!a|IsRFwyF$?W^Uy#<5Gjb)LL=-AB$Ki)L!B|FagmBU z*RuOdSj+RD#QmRhCwUZI1e%Gnc z0L(Ct5%B6xHrT%o-Qu{5xx{uh6d)OmEq29+Cq|ajK?-1y0w%qoB%`k{o}B(5pz54( zF5o9q_5>8}ib~IjJV2?6fvT8F?Fl=WL(`ssgY4TA=&VlSZP8Dzo(nn1@DBqq3tkyn zM(IZa{YXkb?J}sj=X@xUy!&CGNYRhRF9PYL_@h8EUiHez(mP2(Ni5{_`Or{>HPe(6 z=V8nVAIGvD9J!y;=KhQ(0cBsK>Qfb2ObPUMbB{7Z@D~B{`o)lqcrV?lw2LSeR@xp10;W$uWC5ir0cn=db)9P&dvs+v1CBoS zG=9JJG~8nOO{Lr*!_PEMeddddknHimqBI=T>ub~30UJsGKJ;{Sj()Ok5;!<`<|Vi8 z2`Z~)h8;0WHabha#?Mjdc7Zv&ehew*n5@oDDw250bGYO!au25x_FV-DPnrsb^7xOT zTM8}gs-HagVpAi(@TH+%TTi5w#8E~SKvn@%8)T3K+k&cb!4_ow(G-E?{~F36%f|&hx*dVh z2B3k$<0K;;Nbg35=m^*r9vB}h&XtmZQt3@IflQeYOe6&pf<+2_{Y~%+?Ir}>r0Mq< zuMi#|scGiQsR;F)&IY07p3%FK%{Z1tq|~pxqxJ z%tdE%v&a^|m`eQnh#VcvAXOiz!J-)1PHWNY zcHefLah`X~wTEr<`AW-ei^c5a&KNTct?79rTrIVr17kPw?o!dae!Qp(ZOabO|EBvy z_xj7CVxftYi_}d@q6RQfN-S~@q?4M~-xx z(gEhdqUKThv%SPbGQ=bXN!m{>c+%b^s+!Hxn17nYAxJ3UDk*`^UGM!9D7`=|FN)dh zFO%!(MaoWSV|dAHr(49hxy4dE9cUm-WFQAy&lWOl9{A@*i|8ahETZb>SlruT5ewNw zG*=LrDaFx+3mDEjJdU(0yqa26E7rBShrI)o;BEm?8O0bDz z&{`udNuUJ7^YqSUodd-DtW7K>T(uHfGl*~;LTj;I?2hQeGbAsi*XJ!`)EUxjh1t|! zZ?`G(4zKMe>pIKb+$Cd^;WrwfQYK}jXrN|FL-Qb7_stOV2>WZi50=f`5Ic6f z<^usXpS2cA8F!Arba+G@Y)y6?sNnA3Af0Ck*q}Jrg16$-scMQWkC)Qve$STgFLKYO zLf_WSm)PKq7oRmMoS6X(%N6b9W`cMZW1phMjXqL<60d*_TLH8sg<&5V`DienR3(ZJ zs`^p~`Af$nRk@>Vr$}j(a&YZrC0S_zHQ8%a(i50&2B}Y0O-?hQNW7Fvmpc`hO{Ejv z{ume#^F34jVhhs6559xto6J8p`bC`Jg5PUJ>7$Ct(j!J+)e^)!^k11g8PZbhq|BQ+ zF!tj1Ywh!+lSq!r5_6P z&0b(gD{+{*&F2Cw$wRHcpS_iqrI2bOlL{n1v&=}f-ZCM-vp1Bcibi$2SYov$4LmuD zCUH_SLckO@Elb3P9Vw97Q36~% zcq~g)iw9cBvy$>`)ykrqZj{<0UJ!~CNbxi=o}9@R`{=~@{&dksgb-*`ueWqc6Oh_a z`dP5dS#+6=AT;>0GB;6*-a!z%Avx+vGR9OlMCCo`qpZM)U+hhS!zwG28JO= zZ4S|GbHvp;>DinLLjBf`r zdiv#r7$cY{Wm9I_Ih^chr|G}uY&v1>6{IXmFd1eynF>(o1c6~&t~f>EweDRpjjUY+ zX?|IIH3~-MF-{87DNYXi^|at!Q^+^%#YdC@n0MXVUToQ{pn5~_81{;uBkuQI+ntLX zlkB~0aeSubw)q#+uiOFSags0aPz^G3i-d?}*NQcp^P15WPe0rgA(67iFFK3B6t?SvJ{mI^7=TwpX87?l*(D5Z?qN1>1q zUjn(%tfPT!b#=6;!Cw6PXzZDBsnmmxgZs${;M6Vs$0<;^+5t z`fZd7=pa#BWcHEL1$;h>U2IeH?+ZFeSr;(v{asWwirQBzsXL{QJw~X<>}a&zkYu%x z{H|ggx!yHqi12Kw8yy1Y*q|XiS=9~x@jlU>hpHVE6WENH!mt;oyQw4TB-@paq?c^i z2CnORcc^wwJ{A}hl}9Rl)*owXlGKG#teF|S8!w)h?!J?u_Z~>A())_T71H{CVipl* z1)bzz-&lrjX#iehKT*wrfoc-w<(B&6Z)XR!Z)XSbw_rH^=(pH#*u0L+4qC{h0g$9C z3OfL%sn03G^Q69%RPkJJhGOMpM!Ib}_~IdVgD+;J5USD%Jj-YFnroKqQVG?E(UFwq zBW?n@IS2H1#GK%Vq~kR$cbzmhh@*LUrgRtO9W8Ne9VCv`sqCP^>e(V{)()u;CD63B zq;MX2PK4TT{a{f&5Gb){h^i*qEF)c|-gK5F;cR^=uW^XDPSFxZ_U!y1K7B>}QZePH zKg%SMKZZi0$jaO-C4aptR!fXhFG__yX{+JLlfL?CKoN$h%hg&Sl!&ut5-qja*KpICEGLVY9IWsui#>bPI5#lGxRxxM$zzA?lTSlrX z$d3MUyfl_lm&!T%>=T?kSNyDfB#!1D^sbN9`n0W_vyP0*b zog7o|fK3`o`RX?bV#H)|w9Y30^pQ8F#7;S08bV3&NpJ8}SYBwVRv=;}dtoYE#T=Nb z(znssgU6UAdIe7xcN^Cbr`vwQ_65Jqy4%tKm9XErmPX>sDXm*#H+g#T zu=_s?$$KH+P7coi!z!2oI?OyMtJ|if`rPz|Qd5g=P=+*}ZqN*B*Ue>RTtnzZ;wg8`Qjj5l>K5p=qw_b zEsduHI5}V?lgcVEh`Xw^0!a4leg<33O7VzjoP@-f0m^wRlXiTCJ23Q%~+ARZwjZ~R@`A1b7?E!+2xV(xGWc0EX|}mXM`a> zYVJ3QoV^c{=V3KKv2UfgSy^=1U&T!F&l&hUUBq9(ZqXLa|lGweIwh<+T%gLFQ zkc1DHpgR1EOog`zavlmz={;L2ldNAJ>_H!i%>%)uQKXH;ZlkI}vei_w>m(?gG06h^ zS@_!&iM3g1Cup)u7FQ{QFQ^rj4xQ)*#7V5VLOVy56jsnVW|ARwFthy<%n|dK zk@2#N-AX%QSz)KLt^is0XE6QVNxs&kW}P@uk#FxM!62z$2Te-{@>JihM2Dp^y92_x zUE>lcMZpMm^6nE*2W43vG-zdz^e14)NBk*fo5G7^b|r*wYS#^icPxDufki?QjX;+k-u$1Q{gv$ykP!GHXmw4%T37aIjVv$}$-^TH&^^NVd#V zHk!rJYT)-Tf=-UOKbS)PvL2$mat^;9NTbj2#YiL|v#x|_Mz(GPl&2#%p>3@>-6(JOGP`TSM(2JW9QxVk;Z}yJ1yE&EXd%m9 zh*AGYyv!OD@bNF-4|R$u$-YE#?FH=&2my6+EbAmXP0Sid)$28=zo(HZzt8nwazLM) zNJ$lCglZPMV*pYYIos0bC4*Y})Yb%T5DR?~bIHF{X8j3w@aM^9!KXGXGJ1e6QtXRK zM8hj()|P;?*}}g=0`;2Dr#5G>VncqMuNPZ-RCOlFaaiTxHa3HN|8uAX$$uf=Mz*!` zWs@_h@XwSPuoVDX>rx{)(0;TYHvNhHBxU!Al=l#T*=IcmCq{gmg zxvcarfXXyCOR-Xq`!#S8^>MzQ%E@TUm4Hatv-j5|;;W)aj_jqOX&wy18b(H3fS9r+ z-ZxL>PotB6E4ZDF`(xEekUh;C3JT6PwAuHk2YiE-LBMUZ=m96tfX_yDz8*UgFSC}0 zaWDz(a*TO#2T9)sWdc?#hCv{JYy-(2*rw8ZbrH{NsBc4T^JR9XY0Y`T&z|_qu67m+?vwrLqr15ddct8G0ioLJ4$yv>^0XD2Y-|O2z@`ksyq#TM?N;0XX z|G+9pi7+eSJB<~)JbAn!hE;f`%o;JYk_P$XJ80ly=S>#={&FE^MUi%L2Gz+bP={!> zV8g|LT4HA*dec8aFHn}s%jwMv0&Qdq^6$`!&v0goSrnG(3Y{$qB1NdjZ$fgq4gQ#7zn<_SG0>fsHx(qf!J7Mgrk#Jybf2M&Fv~Re}kG2 zyiiIQIKDNCo=fh-t`p9~jyLQJY-9O+%N6r})2rMb<1s@c*I^ShrZ(5hgTAhBf65-U=zT^#` zK+SaJC$Z#7a(g<5X+YlGvcoEbl!zP_ef@MdIofDSr<11g5wpzNP4Ic=aBFQ1;ER&U zx&vy@NmM81%dF=_O9yCmIPY>GiJZyt4OFT-nk~mvhvQ||af0OrS2b$R#cpXf9s(6c zf)ZrbXQHGqYQ$qfq46+CruAW{6R@=;v5wSVP017@z2tteO7w&h&R0DSeR4-03qqgb8q{y?m;2tSt=B#U zHHkI}xr$78!wrXAor$=(6d&L>EK+F$-YjIYto&Ko_V^<#Z=nbQKY1hOnU{|>`os{ho9{n zgWz4>*{226T>%d{b4JW)DYKhJeW9^_5KMSw7vD@p{n?qlZCBqQtWH;4wa7WxS>t=}_@mTxKZv{SmBfzE}u&>B$%ra|V(c5+s5ej`{lyJn_3G2^* z1*H^%R)OhKk8&#$?U39vnWVSwVsMPIME-G)v|~7eYjj6M%Pvhp1qhhalEjSiTU&oQ{Fr385M>pMe~QGbs$}W!3^u7tl znNz)e+ONxK3wLE7fN0TqGV5~CUm&zlYWbJ@_~t6|V&`{&X{7P4SjQeOv-SoYw4J01C7(hI=K delta 11880 zcmaKx33L=y)_}XVuIjE{suBpib?+R*5<-l=mqb9?g^(d2)dvr!C3VagLum$sIc@+de^ z!a1~I;M_%N2i|aBVYIb2N#~wYlJAxg+=CbK* z3@b2yGH02StM=L7PGk-+yO`IR4a{n0F*Bd3V#=7&%wVPu(~XITrsez)=(K`OhoT}b zW7QUWd?VwauhJLj)ASeghgR7taM!rsxO3dM+;Q$8w};!oY1}66dF~nJO=ctWcjjqk zCG!Z=#5{;QS1=QpG0a`eK;~v9oAEJ8OeaQUX!;M_?>qV=eTe>qexH7uewBWKUQ4&q zkJ2r416@l`qs!>A^a%ZD0ajg;W;nwBq(8k|t;ZC7Y=p$qb=|X}KCD;TDe~CZO zpW#pNpY#9Xck*xXoB0j=8vY4>2_N9+@zwkkej;DY594p+Z{>UO-FOclGnjYsto1MJ zMeFz0HtS*QKI;e8ZPwSUFIk_nuC^|-hO7&$bF4G0<<|SHMb=s4{-=-B1h>R9hs=?FM#9p#SEjzNxGN17wbL5ml~)8avKm$+42 zFRl~=Vy##%jur=sIig2&*{|5o+K=1+W&fxB1v}V7_By-YKE^)C-pih1ciXPo&e=}b z_S)XIy=Yr)TV$JStFYZ;yUmtMfAjeI=i+s18vk@hlPUNd3D%KdEeW0_!5R`g(*ZPM z;dr_OLGTm_o+QC)5&#KWNwA6pPw1ereFb}*6j@1v6(m?rf@LIlj0BIi2aS5=T-u)K zUPhe*3Fb;nW5*s=M~ciL!E6%LlAwkJ)g+j812mewv+4#hK_v-hl3)f2rjuYA z38v~GT+!`)jUV92Ytj^3n9(0=x8EWiptbG4OZ%*E4v_XxP&7vFtraqIyiJ=oQC>um z-lPW*r_hBYC?G*T39x%~@B`hC1h+;&V|d)4Z;6lyxS0ffNzjJ`c_g@r1ieYnm`jpg zB*-B_HVLvwkV%3J67&p%#>l)y_aH^Olb{<36cYGI(3J$~1Zbqa1fkPNkV=9S5_m|E zOoAj5B$}Y{`oKvikRtIUh$BHP3A&IVh6J5Ef@yxbQ%B;bqe&1&0&-ZU|7Qkv6H6Eh z^N-!a%n;51UnKW|egmZEw66!pzRSINQ5s6a+Ph-ijkJ?kMmtC#lE6*^8wmsw@FcLB zpq(=~QiL4+X>!7+$$5jO$UQ6spssZUjehECN8+chkl->2{vyGjB=~~_zmwpS0UFyq ze|{rHekH+wN$?8^E|TD95?ts2^y%rR4g|q@5}YH!SrYt6f*(lmJqiA!gAUWvccjR_ zNpOY)-;&@P5}YQ%*X@BZJ+-wb`t)>)1Sd)G6$ws|;5Z46k>DtTj?>c-QsgiRz9hjR z5_~~|&q;8w9WbY-&)N}VdOARY{Uq2&f=@~C2?_R+;9vhUJ?$YyJ|@9OB>0d7ACO=- z3EsZ}!qd~P8^oNRc9LKR3Em^YyCm37f^8&tM{4Xiwoq@ABL5`8TO`m(@Foe~Ai?X` zL1XxB;k)WOg50YRm3F_Jdqj%0}PxRh7n*_Ba zs3Ac$31*R?iUgGiI`+<)q{s{sOeeuK5=AEb{>(Q7 zR_yZ(fu>yw2Wvj_^?>SV+0HhX1*XHgIo=fb^)p|82u$vj4P`q$U0}{Z-%VkWae--2 zwa1eJM-TdLhT7byu*l{A_yjorV_KfAe_*P9+}IjO`NR_s+ULH-5LFW$mcx&+P<1XN z2X<&N98(sUVxD;E3p}y5)H?*`9=d+mIJg*pn|~P3@qg*dysl4$ zsn4!2QJ;gy(|k}=;q}6R!@lgWNNvCm{5e#4-C^IIFz7qHRrMubBIF$LkNbKXB2x31K&h@+Z&a)|g}xhf!gohItK()ISpP`Nf*onHpxM9jU8d0aI zhdKkP61`n}>wV9i4z{^IPz7~uXoYL%6dsnH^NBF|obOg$;~~&?4y|v-Kz*RHo!pZ1 zC|7zOdh7#j$^2gHNvng4V~Xj!EWhZQ@7Iov_xf0PsmS{aY#8nRT-$Mv_jV5I z$9PX^@9gkgq4kZtT`g{>^P1z7_>Fyrty!qzXX4*QIMz*{qEangEzR|67vnywhAG1! zP!r>W9iMtqRvlN&3ybQlYD_emc&OSLHqQ3OLs0?#9q1WaallwgxdQ8t^~i=MS{bd| z$3dgi!e}`ahB1m4l7H>OLl&b9hS5J_R2eby9;>)v0;5F3uzs=OD6dsJnGuMqB;YnE zUG?=6<9M=G4~jbg7u{mm-`zY{jn=I>6g@tarlD+z+!;nxDpttml-tb^YE;aRB7Dp# zM(&FCX=;>yi#wXpu9NK zP(KNJ2ufdFP_(&KNtYX$4dPkcaJd~V@~of~L-``K2;Mab3Pe-{nE-d$OhvGWJfON^ z&2CQ`WRLe+A;+$;PpyyH}yAdL6+F@9p~^QujQwdrb&a4Ioy=WE?^peae_v`@!*ofO+VOSPM+ zf8i^S0H;QIKf*v{V@1m)i|ae5;^-!dcDL}Wbvbt@{XKO7QU+umUQxud&2?%T{9`ue zyGK@rnt^5H`{ryk<9J!I!-&yo;gG3QQ+3%C)AvPDiU?h!Fi6VZj5Q+|j3_XEQG6zx zi(<=oHAOeyw3Y{a5I%)7xUQVZd1>4sv3YF-G{vEtAw_eaYRy64T@wn*3wREPNYdm41dB znHV(*Huu27XJk`poYDpI;xJDxW}qiAo01_V4n1`w?t0kNtBGdaF;>iqN4E_BHjRg2 z@k(!~9THjg^eb5+Tze(U40|R{O@Kf8;W^m}O1WvAwlpOJ+7e7nFdiG!c&Pc>dc_S5^2+llN5@AzYQyd;jqLTBZ_v~J;EV5c%= zbTSpK7rLL>0Iz1l=5Bb6iDx}l7?7$Ine}$Ne^pABtx zn`OIacV!7|eEwTzrH^?LyQ-LdxT1%0A8b8)L&{79`&iYd?>4;oHnS@7 z8Cbv<^;BBTYEYJ8`X0lnMC}UO-bd^1%fR>?%rd+#GSO-}oJ+=AZ_ZRELST(q zT4P~fU%d6QS}cksS&BIz*vF|}{oIn~I5?1l)i_zk=DaUUS!2#Zo3gRy>wVeinIBkO z2b}LYUKMNY<81{(6raXjV=pnk)1OdBEg$Hi^c)+I)O`4P3KovDIm!gB?x1HYqwPN7 z=}BwKm!4;>+J%!IiDCm8YL02({6cJGm5yj0JcXE`D?h<;U_+rY{Km1HuvI&cIGz?4 z+t=8fLLA@S+L@!6U+4qWF3TqU*u~mYlf4aAwt1#{J7n%dn!Q&V%9)_S3dS!oz%lH4`U*^VAoXF|e~Q)mscK zP{$fx4kVaf-rqy!p>PzI%B4lh4%0cyMul@-Y>83t)y0cjx|@ldkf*1}7)8{i(aLZN zMki$XU_geF3hq^?;P5dR(eET@n)ThLsKt6(46QNGLih0ycaKtMmTIHB8$LX8k7A6& zA|t8yn8wa8RwkHY7=3YYvN&8}8K*i1vL42o|DUmVR_VPMzQ)8=c%S0ZKZ@|yqHObg z`w(@suKnH33N*A~%l&Sw5(RZ*l|^PHHj)_EMJBZdb(CJ%Qs9;Qlo3#F3kNmi-ybPd zW7Q)4LQ@{hcTUj@)efK1$(;W(#$i?8d%v>4?5)PuO$FE+GRI+;czIl;S+eR#vjP}X zqjNmQg<(UZBHG8Je*f*+JqL1Rh80!6IzrcftXgP{{u%~BFUlOaF?mxUs{}`*r%NJx zOX_glc-`Sz36?HnTYWTx-%79&Y@Qeqi&2M}t>o@fB@uk37^LNe_?(cw#tB3!#SXov z)Rfh;g!51d7PsWebM|ly6P>nW!XbXMbr+}MMEDmSPbKK_dP(mJ6{hhbwagC1lQ52q zcTuF4+2MFxWQHqI{bt_dg7DOgV#b`V$H8PX4)BS=!KoK9wlXK9Q}n_NBLQ8FA02RH za#&GOO;^ixTTRBmUXg-{f7OpYakO9g)Lc{M_X^P8kC$tzh!}!bCz(y+c!hE=$aB1R zz|1MQ>xF-2MP6sq)H28^z|w;vPPp?YtkwEYbb? zr((RHnu39BG=5`VNZI3Ium7SGJUca_45dzl_jaJSB1?yx@5K(QB-p(e2O6VoWveAH za4{yr4HNB{j`#CU$COB`MTg>}ED73P#3009n4OC0r%r%|W1dvVouSm5nR9N2Ig4X0 z9;c2sAAi*|v7nwFf*D|BDZbOJ@c2tHeHdOHXW9%q(7kYRWqABIho|M0*jTSthJAt$ z8TEcWUE03_driWOnNWp(9#qmj+=D)^QX;Rwnd*IJy)%ZEnX}OEgJz+1Baen;sG5aF z-7_nEhB*;f@+_{9v(8Z{4z;sFD?ftU!2+|4o=#O*@>UFt)~j=^S)I?%#y(VCt&E42 z6_NaQ)tJ>;WGJ=9bi%unF>8YW;Gz*TD8sI9KPS z%Qk>oWtREwGz!4}4^jWov(4M-bHpq&_fZKE-JD!7v})C9=94WV=YRzb7-YsM zZCnjkNYMS;xJ={i?ao!F>iX8;C|#ppY~*~b+s0D~3soE>EQmPGsZP;5LJDk}k2QGf z0vxuCZ(1T^U0~$Gu(tNO>H|iVXf8CXL{1#GzY&c%P48K#tTm^PE$2PSVb<6#%n}?_ zl*RR{W1Tp~o@VPIaMrWj=j^LY6Fr22)D*W5awPgw?URMxo2ckOA9aBq9Sx{`18RR; zzXmw9(3=CpRP0cfS}>#wR3(m1=?~45JLSNZ2JfxyRa_OSkJ(BHhqDrCk}6=P(M`XHqI;7NoNtI{4P|S7Xh)H3IZMLYMdzt? zdJxP;?PeR=VWg)HmZRaZB}%RNWstG#=n^#Zw58z~5L-s6bM$qkK?<%8!nfcDOO>Z6 zv%%qyiLmVX@CjHYXPZ?rZW&g|(GOsyGwNvkGClE^g?H3v&=jA=^}KVqBTjVN_6Xbf z4b~>^9(EG5fNr6J7N5nUz13MRrNEmYU(^0J+k1;uQ>(qBY3=wt@6W8hL-JmW>!S0x z<7M$h`(WWT|CRM5_aXZcvyt9JZME#x+w(sl?kCT8T1}hhFPv0kTDqA1-w6JRvG{$+ zxxXocwYjnK7Mkj$ckwi6o9pGYwUT_4($W&;k7%tvO72Z-KP1aBl=f05*+sPukgfDa z{Az5Al0$|rtF2nNm(SsTWcM;J)4Qp| zt=sHR>&o=K{;qYx_xZBBbtmf5nlDeM*+62;P3Bh%``=gmnmbkgR5Y$U(Bk?AC+OYc zoAyU-mBL`2Wf^5$q cn-OF)gKSoi%?`3TLAF