From 623eb4cd4b4f8865133c459251793e1f8940a222 Mon Sep 17 00:00:00 2001 From: gbanyan Date: Mon, 27 Apr 2026 23:05:39 +0800 Subject: [PATCH] Paper A v3.19.1: address codex partner-redpen audit residual ("upper bound" wording) Codex GPT-5.5 cross-verified the Gemini partner red-pen audit (paper/codex_partner_redpen_audit_v3_19_0.md) and downgraded item (j) -- the BIC strict-3-component upper-bound framing -- from RESOLVED to IMPROVED, because the "upper bound" wording the partner originally red-circled in v3.17 still survived in two methodology sentences and one Table VI row label, even though Section IV-D.3 had been retitled "A Forced Fit" in v3.18. This commit closes that residual: - Methodology III-I.2: "the 2-component crossing should be treated as an upper bound rather than a definitive cut" -> "we report the resulting crossing only as a forced-fit descriptive reference and do not use it as an operational threshold". - Methodology III-I.4: "should be read as an upper bound rather than a definitive cut" -> "reported only as a descriptive reference rather than as an operational threshold". - Table VI row "0.973 (signature-level Beta/KDE upper bound)" relabelled to "0.973 (signature-level Beta/KDE forced-fit reference)" to match the IV-D.3 "Forced Fit" framing. - reference_verification_v3.md header updated so the [5] entry reads as an audit trail of a fix already applied (v3.18 reference list reflects every correction) rather than as an active major problem. - Rebuild Paper_A_IEEE_Access_Draft_v3.docx. Also commits the codex partner-redpen audit artifact so the disagreement trail with Gemini is preserved. Co-Authored-By: Claude Opus 4.7 (1M context) --- paper/Paper_A_IEEE_Access_Draft_v3.docx | Bin 286166 -> 286174 bytes paper/codex_partner_redpen_audit_v3_19_0.md | 43 ++++++++++++++++++++ paper/paper_a_methodology_v3.md | 4 +- paper/paper_a_results_v3.md | 2 +- paper/reference_verification_v3.md | 15 ++++--- 5 files changed, 55 insertions(+), 9 deletions(-) create mode 100644 paper/codex_partner_redpen_audit_v3_19_0.md diff --git a/paper/Paper_A_IEEE_Access_Draft_v3.docx b/paper/Paper_A_IEEE_Access_Draft_v3.docx index bb8067f06ef2908c5b7b8adddbf9c6c30caf5f43..9605c47c268d3708fa3b29776bc2b9d14223242f 100644 GIT binary patch delta 44219 zcmV(%K;pmFyAj^I5e!gE0|XQR000O8v$(Mg$^inixU<*+9{~chxU=~JmH`5@xU-Q2 z7Xl5lxSL$y1o=61uK)n>leGpxe@sRx7{QJRW{OoPU;qQ&T^I%o?0EN!0q+-M4J-^8 zFkmbU_{+{e8DM(nXZXFIOE8$3Qgw}*3lDlqnMp>(iF4lj<$3?vU%#Ja<}xX(w8+2s ze9+(d+$8y^7^nHg7oY#`<)i5Eb5qrEK8~{@PrmqknN*+u^+d+&xy6a#E$kJySwi?sU5QV8S0A@E{^nl%yuJOhEEaQjxAf=TlX3_Ye;Ut$fo7xQ z^NYMF<6#CXf*m(Vk$3(Iq|>k%FY(_w{pWd!|5WpM1Q(mD<9Jdhz<0a*J9oD6lkZ3H z$ICeT;?4*dA}R5&+x9yCkNo_o$mv_+s--GB3)yI$pi-)SNBi zEILc7QJK#1F^|f4mcT*0GgoOn#Y;0;Ty$2<;KsP>2XU4TOZuzae{-95a9hvfx&s;P ze(-^~z1&^d%h#vBd->I~Z_LxvCl6nkzyF)RHIp>U3~b3T0d7uAwHVIQ3U%L`f0D(f zjpOG#gi8j>&r%lb2F}`yiV_ZXUgW5gqj*tI;V6J*((KRvM*BOzz#F|p>Z{H71xVpI zJ2vMJA3ijvBjjY$fB7c4SY&Z&o&!IZJ%hZRB~hFg`Er*20OV9AmuYgpS#+E1Wp2>M|bHA59s*hy=NAt9dt>bjsw9ixddrK~ka+ zfvtSL7y`fI))$K$OgdOZ=fU&Ss%z@P#C4riHU5;uqp68We>jvR9L#WOVxY?R_>M80 zkqDcf87^uwPA}3r{eflFEPj{ZqZgHY7sLiU*nZ4}3wZ1p z#7K(UUZblBv~@5%OZ!D!8^kj@D|Bv3V(^SY-#E;y+jd* z>~on`3;JW4f5VR{XbOBud9y_YmT%82@^Mn)li^V*@Y!WLhHHracwgx4`sP&vubgJ^ z*Bq?maa0!({A1?nJjv1=Zaj@)LlRgD>}|DxeFQ>|rYNy1me_VDfVXQ?p-4W4efl;< zj*TA2`NaY^=t(h#_e@0rz?a<)&f#-da%}$jv&YXae+L739_&z7jA+sRx69-Lsi6nL zx_X+_(ZLR^YYuW7zBNvgxtS!qoE~jfZ1BaSv6K1W8aNe{#ml4wfixS!+wu(}xdHsO z!Y!!MSqcmdHZ&^s{8iS<@JKPzklSxv7n~~7pdS?6;{6l0|CG!{#ACDf{ zc?4?*e{z7YE=^~e0)_Bn;1Zw@kSpMR$iQ!MKF0?sf7vb#*8t9XeUF-}J{zL2-S^p3FsrC5PM8CQu>w@7F; zzPNxhphuhleb{{(0qdkF;73zp5m;#qbQ|X&e@sezt*dDPlCS~>Agx`_%&B>PuYbTh z3UmQ~?!e8=)~_z=6SLDlI@s#+DdJ=3CGja0-WvY`x5BNFo$s4dB7-sR`q55r_i#60 z`U({bdUo= zY~Z1uB9Ln|FW^CjL}G;BG8ge2$n#rZ<}vdfh^Y#02n&F<THfa8cDcnj7G1jNbLk{Y7~JE1YKV z__GxLcxkrHlhK1RF5%G$h@5&Ee^s*rj*l)Qzheyd?}8Nr?+VIfG>y?T0O43A%y0gR zW0V{qyXrJw6hIb#L~R1ERn1XxEoMF7Zg{Sl6|ngr?JC_3VeDuKl4LArOD6*~m)2F1 zO;D*Wh8U3{Qk|q^7QzXY-u^{MD-{S3P&lM4aZ$j@He`dQBE06P>VFEuf9kw%&VjX5 zL~o9L<(#KbRDu`iKAYAOG}!{mt#&H$-&?mV~nt;UsHRL~v-6gfb}=tnp6!21Ct0$=_`=sAYk(Z1TdI>bP(enTTL_42BOBw z(G-N^7&-F!*&{3VK+C0czP_)37kD-b`~}?)uo-JOwyU_bL_jYA@4y6fy=McvxU`Fh zTO)nKD$5eZxw;5oXm!>TN0Fm`xoAVu6Nf=wFIMn##9hXz^igrDttKan@4C( ziee z7}iB5lV|So^6~4|4kBNixGXo&5e08hYfM3A@GlI>1Tl3T)Dc?*t9h(dP(?ww`4Ye?o*(-#Fc%jzi|7crmZ%^7$*6W|20rc!nu zKt%zIWMtUEd6i2Q`F|w6;85G+uq11q>rl5g6SXqK(O%E+$fsv}o>j zG+Vke^G`@ENnyAtxbSd<6)r{j4&MWeWlw_7k{Gvrvd9AQ?dbx`f=)KGqbS-MNrCr* zR)GR8E8uU*`xy8yVLeN46sggNJ}m4NI$g9pWG0YZ${bDyIDhYNv^<8LhP#AUxVN8S zLJnC*j^}rIinj3Au)Hxa4O)fxvS4#yXdDFK6}UfT63`HBK|hXDuUpGB>^}A5SbZ@%}NbXYxbfc1VS4hy8DL7oGqHjDn$R8{BlTR z`p8mT9w*7o6n_ZZEiTe;reVyS9FrK|mmT%sV1W35{SsW(9vBzD%d_-df~Npq;+=4> z3UqOiluI<+6Qn+58Bh)Q*d-CrYz_|r-h@}L$-2wg`9s-7mX#VO#P$Iza@6Uv$Sy?& zW(lg+8HGWRRZF-WPH6Bi&=0%q+B;qZyjw&&wjg7rR!6K6Gu;&(1b$|}cML+K2Y_Y*J(6&0Ai??>69 zlP?q*e~Lp*h+e^bQA)T%QYP>}3}ol@j>t;FF_RL>>B69rSj^!g)$A0lOE3nMQSc>Z z-+&|xa6MeN7?XQeEK2hBVYhnj^Ry!E0}@)-e4-8r`xxUy^u-Fl^XBVi_-)+)GKZ$i zicAafJCqd2G(-Vmm6#{JnXP-c3vM$x-C}P5H3|s>k8$OzT+zqttXtVcM`my#h=-Zs zATMk$NR1d}HqjSF2v<(~ScDbW0plX6L~FB4Im46u6d!*VBoidOOj_J+I>-5V>w}Q9 ziz$n?4$U}TB3bXqesQ*BlW$`4q)PRuy7*=B%flQi32-|oHtof|WP`1m+aQSrmT>}m zH^vy+3<#_k7Z`}c{SbrCRG77|#ETFy0vZYSy>Ff%P0hGSJW~pMR>&H zXj+Vnjd_1nBs@lV3sf>!g}OJ+BS6y=BQ~U!qj@@dM;b>X^B~xI%th}h{th=p`vI+0 zSR&}LIflmlAm{gs%9$N~^8#}}Zb9TE099NdkxQTl3^qw_qD}PS%7%K`8Y)bOCrS>L1fSU0(Vs-_vAOh4&j0_ z+$`{?aSmoT=fIi`k~M3Wi)N%G2Y) zmSDYCx~*G}-VU}TQWLmZK&R}b*tf#3H?n^%{+7{AIP*1TV$qBt*rnjYQZzLz%qf`8Zy0#C$P4-9D@b$swl?gVlpvEsafB=K6(RB0&*|rl*ObqSaaR zwVeyBk7HqB<0%;RVmmuLXiu7w zh(!ZQLW4F_ZiocbH$w}q37>29Ch*@9Y!LMv6;cKz{O&=T`baS zs=VLg$6+;t^+G7#W_M4%?zWsuQCi9nq>MpCA{9eqa4X`I*MnU;pS?H8py+>8lDUyw z#uP;gIAKzth0B5qPi7jk0Xw99a0$=Vb0Wa|B>%s~a!5IuCqAR#&T+I1keJzJ3 zmpfWj0eI<3CKa5tdvE9jKpLQ&(o8Cu-DG!PrZGMC;S*r)ivo^$Iy0~LiGcShh=gH$ ziUP6s6@PGo)#-Uy&mrD;@92LGEO{EE=ZX91#7UaFZDBHZp}7bx&;s_S#LxIJE=eEt z@C49LdzTkipjIxhdI@iAsem*nrFZ@1)J2iKOJ$3-vcnx4i`2Pq-aRl&gs-V}SjF&r z_=YXVg8S@sgBmL|CMh}xH$kStbXXGUZCrsC(C}rEDJSO%iS--=E2uQM>wb5oNXrwz z$czh#mNIR#tZNo$(JOz!+LGBY8IMWLvK$O+vrI?It5Ck6-2w|Z@U}>0XZ zj$=@9&(O9(6Zz}2hos_B>}XMy6;@#L!Qa^`BBABUtDyV?cNN5xTz^9y2t4)ADY<%v zObv>l#$yrRB`7RPiA+AA-i2avo{ti*R)+XRRboH;R*KybERuiWAV2KC_%(OCZO#ll zBz>P`UgC=H+oO%Viu@pjen1sNrB?+$wpHL<^E7g`;FJ*DAlXO(*z0N`L2laMU|~am zdWdKSuCUysAr2ht*}66i2nkQAaYf}f?lzdnttpo&vTeDNk_4yNkrz^7@eajdU31nA zU0`f=f}3aYvRFh=1uiN}3AB4Qm}k$SG{2g1^09JJvRYH<@UHN2*7 z-clawJ2SneK!R^{xkC-Jio#%UOyXXX@pplfQX4h`FTInB8!Q28leZgKf0`#6k^Q+O z`6vxiM%JQLjX{|POo0sHswuWNa@wA}F7(BK8slt1a#|GgRQ)DPr#4`ehDIVelwh5e zqB1##al>+?c9E(Wke0YrrKXgMmhV<;bxHeXg!*ny7N5qKC+#~5oJFOue`(5jAdJu+%S(at8)|%Ezd+l=E!4hoh708lkByB=2KKS6-v|2# zE%%mi1lX!J%_0eSj@>otkTEpu3TVLQqtq1E)7h|IQ0v#(J3tMUe{;ynerJ-RyI_{! zq*vX(IYr-Bm)(9+a`qVi45)=d2C(ZGQj>fQ-w5dOs#t(=N`51*dsr3akRCx>1#d4! zBNgiixHr{ya)6y<#iL@X94qP*ulJ(BzNrOb)-s(IYTjU8Q_y>(L@rlLtdY3*#(v&_ zDvVJh*73WBKxkdw=aF982<4qC*o91Qq)<ZEm?!Vk2jzx-mI!^?C9e+c_5)(c{Br8_Sq)N}rA^r%1RvT$)k}l|OByV1uOkD=xxZig{>zAg^sFe*@ZIU+CowW@TG!H={$umb0D> zppl<4W}*KB{-(WXUcpNv`e<9zK!p8q;kqw!Dq&fP4cA(HP4Q4E%fke0RY#l}(;%?R zT}dg9MDsQ4K@!1Fwz+6#Xk#Z{Vd(~u!OLk9L_R9^n$%<9T<&59ZV30&RuZ_ikOQ}E zJ$ek}fAVxO8~%dm4A;HqbC;-{iTO|d%tUK>#>oWf|GEmj%Gt|AkJpv!aU;XULc~gH zE265~R2u~)O>1nNuruKz$rrHxh&vg%%Bop<^P$~hpZLfguBI&L$Xu2q?A%_>JcJ@l zvk%`sej;($mK;Nm5(4tMXRqqP_SWSDSXo}`vWuOSx|kGRk)szrQ!Ta{ z$0NIBB}m5<0FIBu=h?;`#-n#b46jO^lHc?*%v?zv6NnVOkrN~@6?u6lsw6{7M5VZ4 ze~0|sWkFoqyk}op1C35xY`OJD=;xK+i!V*`AKP^wRL61Uj`R*;Y{)ZWT>;#>@KRgh zTu+c-G+l-2fYWu<=I`R*-0_dqF_&t!ulD{2TA**9we2AXa$K-ZJV(iswHNvYK83^x zH;l&4Zb)Qeqrw{3nW;`J;%l1VqbQ0$e=M+YyRLRl$9;5A0hWcil4}brZxuRW-??51 z!)VBYnv+=HuDc!DRJUxQr&P)fee^BaQi(>id5yR3x2H(SYE6jO9)^W}v|JcEn29yp63gNtbu(<(!83v!JHAfxyP)eUO&BSIR8IH!{xPxL z5u=baAQUv-k6reo7;D|Q@=ha3leDaA_Q6*c;&%_O_+Q!)SA}l4>r$s`QWOS`cEi%j zd4k2zRI6_b<*D&x!`yUE`{2ule=a(nO$o}V;h^`8jf0&_s{&O)5@(XbS@<{$zRlfh zsdntOSkW%>>nqETDRA@`doH=^p(=#3z_zY&D4kr8&)6^z)})rH81mQ;mQfMGC|g)M z{J_$uUNgq%YH#@Et$80B^KO0LQgn7vRq{6J%t|#b=E%6`RAVocz!om_f9`TlZ8-2E ziLLZ1`7Qq^9}SqwCG#_h;Ak zX0C0oBsLuRH9X{{f`pLx5JB-#Y>4V}E3TsDmaMVs7tK_&2X)nbb04%qmMm?jz}_1l zAOy+#MGC$O7@uL?W8k4))*pF$6JS>E#|geQHtk_)XRGTEW+lT5?I1an>azqlFU*B8Otf zmDn*3%7J6{!%F$u>(EfGp7T8OKKm;{&xjFL=V*ia3f0ID_PZRV=8l|Z2 zXljW!wk}ZHf*T7((hw<1nnzEd5G)sjF4W2b4qURJqOLo51V0IONkdkB^L1R11bhV~ z`1;_D*ZI=61}+<23A8eu7MSm{9kG}Rupv>urZ~|zmH=F?jxpmbU?|Bp5okqo-#jU( zka$Gpay|1nwcCC-f1v-D7({sX;@h5Q@o=d!e}sM!?1Z3$$?f5sfHjg!se}fTwU~gf zkwggEB03CwvSeDNj-Kzm@rr=7w%2IoJb5=Ib~)C~L#JG$o+GfplQ@TeYVu^|E|?BY zN?NO}Kf$ekxEO)zOVDu6s8WKE=lbRk1$KidqaApJ*zhpvf9`gBVN+f_KSRSholwBy zR{Y}jN-F*s0t3r-u+fgfI1}u^UKIgwR+B}^g3=P2tA84?_IJ(3@i>+Ol>&C}N+1<1 zZUT7tmR8VN5TF^VhR91W!N`0XE=qWdYb2gv>1)U5D_o22slDSidLV>%+I{L~K%~kcgKj()=iO$IelDQAL@A zb8eF)3W9pJ7oXctW>hz)?T z)~Xpn7?K(;Q%yaG8pVt8V*9S&*Tw!Pfn5Qz(WLc!b; zlVfxE<##>DngSZg3{0g-{blYAx=f8|^e#|g=x`LgqAQ5P3wJfBw7 z?Ate|z!I>On5g3Z-~HdySwhXgY%E}QB`Zen#KOb1X-5KKi-8U8gBgOhvUZqdZVjG@ z31;R+AwUwOV}+Nr0NPVTHgbV%ns7b0h1FR>Dyc?=?KeRT0Tg#`@7xY=kTSTwjh(WC zsQ<4K5Y5%`YUgCwExERWsadMD+LIqAM}I{TlXc>UdEHL7-~|+{30if4szPqe1SJg? z(wd%sUMdb!LX&MhauJ@fW}Y1C5t)(gAVDfStY^tj@=eQXlTm-pb4i1dRI#XQBh+^u z?L1F^_`x~7(pE3Qh8GXcdW6uMO`=M0iP0%_)f{X-xCU8L7gTc=R}?w1S^&w;r+=Mr z9h4pjU=ox&h_Su+ju!cP{kcJyM^@0R718)ktP!3d{-XVQlo4tHEug6mfpblGWSAYH zm~KlohejAag|+h_=-&H^1Nxgoxh@^BC&~yR_pjBv`4WdRH z#@;U*80nNBo&n zv3)m(=3Zc6il7Xbn5elD^ClGVTx(>7o`@$XG%LjE3NIs2T1OT{6$SF!zaIW!@#oIj>lq zi&Lx*im5cjlt;n`w|FH?Xk!dP?s ztPaU_o^fpCvYA^%2*`M3AzWvRtR}~O5ww*{p2=l4v1cTz7n}qVdtW17mkMyJWgS3) zl-UELEt~v2hu|+pINXoHj(Ar%0tM&LCbjjvfQvsBWXQexoLr>gpmuRs_cdG0upyo?*SY~z1p>8k$Gqg>@5jreiV$yO zMt2d|UrBN=P_AT~I*#dkqsxbu4`wOfg$t>`<>* z?R3O(Bv2eFs1)FYqU`DcY*tGAEUl#NLgDr(%I=D-gBH@h-*7^_E=?zlw`b-yFRv`24?NSeH2$B8iv zpbkc0Mio1p8Og%dGN>*Av?GvzMX|XV;z}?hNCgYJKAay#2O2pmPr%n5aw@?qf2N=c zsd^BlsY+mqe_6C#i#kNs#(NSUppmzpc6NG$?v}LP;KtENj4U3Bxt(4VCAQJT)qfHs zM}cvaNx|tucwy}iLfF-wz_@9z(0GL&oG6r|?PatXyE);LX^YQpI_`eHdo(viF{D`%~g zph*)_`Qe^LIq6Q=|K>wRIIzpEO@F--Iap|uN&%!844+|?97KtY7z_P6J59z6W6NPo zv0pD7sNZ&A2lDlfk9D#+vguI^Mlq|vyn!Ors3z(dE3(UTb1Q0E|q0LhMMJ;gD@?=NN%#`LpvS`?NzlF9cdQu;>SM3 z=4O&Ol>n({mT-Tvwx;{OfNky>riEoku?@+zz>Y@WminFWp{?$b26%^G^9sW|pHp98 zl}1kF*X7wM>m{`C&!KNlom(r^?X@3Ntvq6&O<_jl+SzxWe5+*GtJ4TpEDNCC+htD z6+&{gIrRI=cDa%D`WRl)a6#>nAF62rr%^Lzd*#nf$rAG@z37wXFC+m~lM663f7c_8 zd82UbjQ4omh@Zx&oSRwn`;k%#F1EF27=b8&a^c7MahlU*^%9Rz z5##H}#}||1FeiVP@GAH?`~_AaFS?^II!P}EZ!Mv!==e1Vl44YPFq2-p;t zjz637m@vq{xKo~wkMI`pF%Ac-M^pT90$=?GHU#hGeXt$g3V*BSyfyD9xuOt#m-T!pNpHZ;|2~Ws6bSe?haHY?Hb*Z85+Bvbg!qzNLDH zhSTftXesBuLqm9yydXQwL(LCHhg#eo(h+lPdoLChO@(*3_14yB&||-vle%!Y(FY?* zH%w)(OhMb`VBv6Z-{QnPDcZ1bGRi6l|j0ch#+@yTb z%c)Ib^B&W9cSZcn3FM?XSngvWK=A}GxuD(0{boc^IClgDWouIJew9$xQd^d6>EM&N zd5G3FECloLy%bnJ&;kymDqq4N$l%t6V^w6KnMD{ah zaDjiAEnf@@>Yq9@wwujGI-)Ji7i;LCjm4Nh7Dg_F%2SOlM;qxw_|o2c4UGl z&#pl@B0@sod`wAx0UJX537bY(97xf{u;vN@0gbb~6JN$@MtOK1Yfm#L2I)``r`=51X6dm8`ouy5~rK=K*%-=8)IR!j1poB9DjJ4@=wIz3+vmyXN)o{+k|ae`a2n(be=C+8G?Qmo|St zt`>N`cK}xkrk3lQDlu45CJC7~7SmqD622C_ACD`?;4RC;-#&l%CFVT_hdbu%`8lJX zFNQP5)sw*Lw~y_VFdG!3=)!EyIJ-&3Jz6?6C@hTNxSQ?fo^#8K>@n!|DFzOcpn}fp zBuAyidw9jcWbo$b`OI~24B7?1V;g@dOSU5sAe{`f4U&W}{qlWo7UeU;fbqyX6vn&w z;{tQ}nWJTuO*l=3H+q38rA#K7G+)(Z1=t3#VC)*}aViN7lwq1{all&Dls3j(VcyY0 z>-Ltbh*}O05Co0BvJwtlxtJIJwKfRkyfjADmxQz53w?OEw{vgT@0&nk38#M@RwuF* z+Gw)h8yp>a*L3##cR_};rKCWplogxCRP3J@L8L54L?6P88ne|h=KKqA^k5e)n{q)- ztH6w6f9cnIW|=10n0W~8!3@Wi<1W#Q3^uaa?EwYsz2SL&%?yeZku{34gFw(;9M#pJ zQn7n{0kUmIUKD-N72;;vvlf52PTGwObIpLHD(aT^S_(a-Xu=shDxJrLp!EX6j2*y8G zmA|tq{w`N=_nljH*3vQ+VZsxOFZBT8j9 zyJOdW$E29nP{yOm;AN}Hq1}YaC}f+{EH1{k@e9*YpI(4LpP||jpw29wvzD<=F2%1l zNn(elmeyJ$MGb&JK-Z6^70-{^-#ysAcVOvg+mrIuJX5&s2hV>VJPXRU1x8;eF@)k` zj5jO(r7Mp>tUBT-oo`b0&3zf%rqDH1?~<)3bmI#3bu7yY5FWK)sN&h*>-(2uuvbPj zb`B}@nDD$eQ?B&MfN3^oHg>IhWHf?jJD&$E&+Prxi*F5y=?J%#Vls?P(4$B(@3d9E zWdj5RO~yLmTpoXo#Y!uzM`R7u!g?EYxa3s1-NHSkUI^Y(Orw&Rs^$eZMPPh`w^TiP z3esW?O^2=9!XBeHRWY{?Q`hE6gE$)ASECm`JHA4@8I5EV5^L1;vdZfOZ=CPWg+BQYCL}j>!K{`i$6xP-G|`RpHy@v z9xAepppYJM)qFINw}+djH-Glv8=G&y_H%DB{(fR3%Yx?n@<;eSTG1jNi|#8{k#OB< z6$IU4&w!V36Y#fZ(ArqN#nj}A6Ex|(36DdZlEepPt4w&#CC|tibALZo- zjbN0}Ot%es-|rB@;YWDgpE}=x^*bGt@H$0*@*?N@?~98fX(a9||SFT|ux-X|mO zs8DEW&>+~34;qZBn~1a1{9Vv~(bGIco$;uFcVr}gPcO0bK(?sIC$4=|9*a=S-6aaT zZ?ACsAgik+ZAW-beV z&7;5jcZX`>atIi^KSZL!=`X2D|HR-V?H>x7MstDl61X4Dl7dY@#pCbe5m(}5i;AYTBPQ<=9MA%(iNC^Vc9`_WNd#0{>OtEPs^8|Y2E&;++%z}Fgtm## z)5~mVcM<|G-z4oQ7ryYEu%L~M=V(gKa*bfL`+6eBYk8C=dW?#=tP-CXTy=nd%=vQ| zj@;!^+B4(Gj(OUgC`R5p$GO3R^52h}2&pL6+pr$yw?>J?p5Pl9RkT^ba9vHSF5)Y1 z0X;Oo75}uS%b}!lvyBrW3S27=M;8@u!V0KLed@%H7ElqHM1nQ*6n zZwF*#qC939jGLmwuC@XaCuCQ1jOjEgzC-NzHu*vmw21|%e;)bJu{X6X7d$_p_DcS3 zWF33sz?ef|wol@Peu-)9KStN4YRaVpA=)5U^d+$P0$vJ-64_7+M-({W0Q8q! z#sbqx{T>ud=y5Vh6A>tXRQMEGqF41X6|4kh!`L_*;PbJBbs=WP@Xobn{KS>1cp01s z3(YY_l4ZWvJ6zJ0nBUNO0N7XQYSRVr#uuw3d%fYa3pw3JfH>f$ueo>zWptL=iUJ=< z$K_nSc*|K2|NDsk`=z8#{1>A9OXaH9q;+M*e8s8>in<{@m%IIcm;GG2s<;Q6o{oX_@F>2-)yMB6dCE50brFjfmm=!&e0eTUT2wq<2uZX= zT9N(r9)lazv&lVwjpoPr6AOMxMThsry18GrozRyz$*NUqHaoFv2e42EwAa)cku$^JPzn}g;J$$#T_2z zbMsZ2ZJy~hgenBswj!!BusAW8OVz0<$Y>E7l!Rb~#325k^Emj6xnvhF6F#|k-qwZ%T1sk=0*rkn1h7e)xzd_XXO0)(UXLV{v zeX;Tgib^EDvU!u_I;VrKc@A$7g>PWaC#+?8^p0ZAIv91}g#g2aAuvc^g`uO=VfSw}j?i_eL5XjaxHCW_XyH|2ud#o;2pS&aWg;oVlu+juRjM8( zWlpev8e`_QKd)TPM4vyn6II)%cOreF_D z3Z8+n4d!K3ffnOP3YFB+5OfmT=|j#f>8GJYPh7XTR)JBYKAwM%9Sv%VqM{|~N7lk= z_J-1&1TL%`z8B{S^`28X7+ejPll#nN$Lz{~!h)uRiswC=r~+6E)A3$8J!@mM0Q=^2 zz)I7%f01~T_YAzxa571WsKShH=^OqF9JyM~D3y<9V9%4KGD+7T+}SkXZGpF)RLQ}J zAT;Rl$OeglSI$88H_VQXTiHKvqgWg&gNHUV&Dsg-1c#J6C|3v4bDX}GX^g8#3MXEF zI|WrgXay_HV#bpa(iMwWJVmz{snQcvdvOb5oMMwoekgP<9XO}09mWJcFQwg;eeKEmAWtZB3W6px5}-~iB{Bo z(@FXl{hpVS@CB8OLbRWGO}<(;TN&bi1O7M6qXTn~6^Vwksg2tZ&=(av>evT=Ft8|DG!o!b-V2%zLY?~NetHq@H(>@Gss`f+#y)hiAKSNM ziTmaok7O)jp}+OjGKX(aM{?JW=JKpNEq-4zke&lB%Ym~ao0q-kWo6dmRV9h zUlyq=BQrvP1Ib{ulx3=7Mi59&y{4)YE8F4i9T%d&;$Tv?p^-`v!6i~?6aj`-1;mHK zS@t@`fC6kPZ0*KlW11OT>3LPOtEOd@!;F}Bhu|q=i?9nyT z3wqWR)U*QZ7#6B1h7J!8Ygf5;p#8W=m`OR_W7umBBG7uCHjq6`mIc*@D+D%Sq$rpT zn`UV9R!N2($(R@2AZ`aY!_LT&1L4M_w(;uVrZ227K*on=mHY^Qnz#)LG$}^oJXguKf0ENy*{?TA=_qA!X2nN*?22C4&dh#E3TG2`LIX4lLZDD$7UM z`PTD5Ond}TjyZ}I>F4eq^#>>Z&I~Sf1qsNhSJs$8q}Nb#jPaLyBfWc(6IB4e29*o6C|!I~GokfuzqKtqgwl#8qw=yp^lHRYgm(9Z<< zc0NsT7EkWL#ML(7l0-(7!c+FW;}nbButKB6DNY?Yl9i3OhtduEJMfmdHdo@N;M6&B z{x?YazM!_&-iklgm@A=L_Si}2n-bYU`P(E;xyzU*)A&PcOlNiC&DPv}VRrh1ds{uT z^%Q=-yYpjz@2CC!!>v``J@H-Gv#ub$Pz?`H*uVy}WCE%a*3es-dlMTAFiG)UzkGnA z2&^|OCWrWyL{C#hGqUcnPafnJgV@0MVU=KfrS=nVz>P<{{e#b(-*bx%wJS?)O(_nt zJ+OIJzdso6jV>?!J=_A*aWONhI8&b^jC8s92=e7aiShetsGz`_z10Yubtwf&XWFc+ zCmi9^BYJQ(1xt=&uw18vvzMqV_Fx-U%-{q)+Ysvt!yNUId7g~Zkxs4_a!A*cU`Hn? z1^bpKw@y)yfV9H+_BLXB)v%R0yS%fQ;khUw=&B%ex|29?Wa(YmldnfEe=Q7BvpwZu zKg)&+IkCKw;%wI(6Q#EJW5u?&%g~(inuI7(6(vJtc!z}=ve7s;GSL%AsW#a9cx?V0 zn@-#{kG*wyMJX$k!G&8yf>yTNC|Te%7F2-`juVR%9;!fqjJ3HN4fZ}$Elxx$G^@yp zSU-!Su&0vtae$_Dvk{n(f0K#wbsH4@b7X%DLf^nKc4RPvfIBwUoi&I-qu6gyXu6%VU|N+URZT?_a!Mcuh>t~12c=?(R0;i>I*W$X_Z zz%(n}@FI9AZk^7^LQ5H1BnrMtm13)B+mUla2cB>`k2SCcl!@iwfAm|oXYD2Lo|Q)5 zNY)=6^p8HX<<7;NX6I#zKO-Qn81mH;;O;#{_v*xEuYa)h9VIlkLciJ2KV2OkmU2l| z)R^b#(PM)QB?w`i5lT%LDgla;IYxJ0a(li(i`9vU9IHpmgaaoz>YDR)5%ll`_uvHY zOBEcsiVmrdJXQ)OfBFsqSM+H;4yLEUUhwlNVsrLb9H5QrqC++=5NblI5azk!f&+As zV$qSDt2`Lw9jBo_FdpwjT3_#IjjY2XB#clzTA((ij=Q_j-Fu&Df`$DkCPbo2IYzSn z=m>9+sg3gb6?tllW$b02x5(CpdC>4Fa4{!dc>&pc7xCP5BwFP`*IF*C(q@A+_A5e9 zoyOSUW$a)i7Qu|}$w?wHghd#y9+Uk^7k|F{Qpuv87Lf^1v2o<)v#Zs2qrC{93MvV11l^!C8YJa)j zdm%AvLxF7YtSA#VE{od(*ciIgx(94s%n1$;rxc5cnxaKQV-D$wG~^p?$eg=Iyuh;W z6S4CPoT3QH4d2gJ_t*f*=T)o29@OJ^1!ai}fD|AC)ij5#;a&*U0AN6$zm8K?;+ZRq z_$0a3a}Sg*z|7pRlq!EI$4ZVw1x;n9V6R^#1QfYmUw$6ol{nJG z6O|i`+{Pp=MNaGHITMGw`GnGji?$5PY?f^Al6h@IASk>UiDQF=+OICa3V7yit=qzm zUtZ{TT--3>s}W~r{c&8^`a#}Yt`6M7Y|#SHliE5lVSR1i&}Z}?f2{kcLFls3y0Cvq zR9>+~$?-;a)rBQ6k&fYnS?xI`7{is&9V$ul@JTdbjB=W}sWbaJwrW#xjk{ zY&Jx8H4@_uV~%7H^R}Jts}pm*dAEefH0IVR8WOJ47nh7qs5B|tJyv}y6S1#}3gde*SDcvp=MMyf6qY)tls>LxFLJ|W3vL10_5MV( zH%S?-0-x)DNEW@Q+87^3X}nbW=TgPVR~EXBxY~-_&KJrM~=7X)6}~B?X;_dLR@+{01P6$<1_;vcKD6E^Z;nc~)QeZe*T$BWb+>)l4KfRY=0rqGC3PL0=`I5M?g( zIZw&Ve{Zj$p27%HmO?<00t0_ZeB|_O%T#V2N5Bw3BNP(YH;0ZIm}mI~A<)?;GCzKO z_RyfaiiEjMr$*dlE1D^q;v_9QXn|x8V!QUb*gs#}1MZ^jY@Y_&fE{gdAZ5IPmQs`T zQm~XlVI=d_uTv9NC&-+6#nrW8j}W5)m)xRR+_6ytfaZZvj%OWlX;7}r`=p^$3+|9qQ@kOdellOye&&oC@(j-7f z_fv0bjwXHxa%sT!NuATs|u1xSEV&?^L3=Dnzs@8*hwoLa!8{n9>x@ z;pP(K8v7^lL8<+4-_N=$Dn)la6p-5G=*vE~jN~Z9gOKl2e? zB3~}>NqRbdlZ%CTV{8p2+Z0QRVqnJ{;}^Kms*JLMR5DKNl&g4!IIj|rJW2)~l4m_O zdXy&EfLL92S5kw7_MMcR4|IrIu#>YP4^*Af{qOIe)wdgbSk<$JW8eEf~t`$7FnAN#n;8p9zFprc!BlV)0ug_zw<`W!MSS!ac5=) zPnLKR(Yy$!oH{Nb4OEwu(oZT`Q_@qYDH0kDM-6{k=pg`qcNOj%2OYSj+XQU2ek3zI zm5{oS)qxY@vIIutV!E!i@MUmm>*;S)Ww)3A(3@2K3S1V=8?JghmT2IEH1F+kNJru95mlFe7j z;I>yXWDX z7M7En=6iTiu6(v7NUBU4zPFPlXs3XYIYrz0)DD-Ry;8O?i5jNhEu)P@3eo0 zyG>T(s#mrdlxtOyI;n@JURZy{`%Qbci;NDM(-120UbK9RRIbkwpvulEk$;3S1{ z;)y2?Ii_GVVMb!Ow6VX}dq*;f_xgXB-m0MB4xyHJV0bhfJ^(`W2dVW6)8=B`(WsYU z%3%pM*mwFnI|nCVvXky5=#ih^@-GyL`)P}>LNR@Topfm~!zWjh4&n+YPV-j3|HR;?{2ET_>ZuySwdlqKw8cC5N zBpM|lQH>33;`QoBq~#->gw^lX-D-aqp;n&Yc&NyUHF)|V;#Qe1!q z6@jFaAyaNnOCz(VVESykQRt*K*FiGUm1bISmPC>sURu>svAqr@Zu*6ukK(*TNj-K6 z3r(#Zb(}n#K}K(3^pSrmJ<%|sd9=b!;^onjG2j8)g#ClFxV%X7wh{!#D|+LV1f(Zz zh1V!ZPC~*0N7h(E=wMc1>UXX!;`Azc7%^t0e9)`svCUM~3MQw&(qdiF&L=6}{cYbo zr&|7Vspaos2M&K631JT6wta<__s?AA{kN`7p!2jaPvRVNt*3Tod3SRJ(l=puIhRck z=nRqrnawkLy~rEM?vM6H)Z?opY_0UVW;l~DL364dv}m=;OAJoMtjh~CUBDVRt&hmY zA4nvRfg+z$O6=3%3N_#fgy}jL1B2KZxcj4IE{GKw^^+86qG5{onkp7Q!~~Mh6I=2gfQ9MZjayTd_XJbs~k9l-$A& z(>YhLrMZ9hfT(W-{N&#vc~3x#JTBKwo^~Lwu{OFpDA~l*J`TDuCGd<9SgJbB_c3TD zZH>(Rd6%T^CX13}$x0uWEkkF0CKISNLsl-DpkXwHf`WeWwt?$6H**e(ifese*6`5`z$BEcT#S9%UvM;0|>(>@p=GU7B zbKrEMPNX>NFa)~c*hvi7p#%7ZD1th@|@V=_srra^G8(hPeAjt)L!;2O4g$tb?W zVbAc{qtkED;i2%dXN`Ys66F)Kga!X$Hduqmh$VSe;&qQ#5e0f2xKgRB0DqB{lFn+P zn8JE+7%AoUfM`75!?qCJ3ov0;1?)|Qc@uvi8XRhis>DNc2uED?%%--zX!WxLeWBh+ zQl^v}u}GkvC*-3+HX3uk;)+&0TF;PXqUqTIG1RQZ2a6AmPFX7Aj&PxAR#zwoJSCVzUPyVK*|(HAgn(#xsBS z<%quQw!_C(6xN2Nl6gcFG)u-Q*55oIu*3EIKOo1+;)Anc8{;np2PONRHy-!VH(issT)c4)ff zs)5t%Xj+VPa0Rt*%V^9Sr0Rx=%*TI$R&iFi%1~^=ajo&5HL)V4bTp8gOw~3#Q{~gW zTZ~Eni;+MLWnCsU5Ao#uj!k3}d9ZpxELSZyu4ZVhN=^d{dC>aqY~|()vv;u7wNpG- z<8a~TTdi}#!Lv4%9#fRK;8-IrF95~-fF|v~n7w}_++C@8TX{7lXujNrDFc6BAzf!U z`*YAN;FEbsh5Qe}5iAi?ns9L+ee;bBDh}@4a6+xUpt?n8rZvAu#_2S^v}K}O-*Hmb z47QrsjI09krL19PJ{ZN;MpYW#!~@msINYu>9qvUz8fiVNOI7V2G0`VoZ965r`reQdL8SLCzK=yya?WH$!)6cPn+MoEeS!9CPNrnC=M zEOh%aBBGpN^xL%sc!2@BMBGYdDY6+Q0-RBKdpkf5opro|BXoAsY@@|k9VnDIBTN~T zPE}xgG;xUb`sNe|4w6xB4UozTW^JdVkF-eG3;jmn6i98iX?TBRUrL`3SxOj6{LmSE zE6B{YCCGKaHOAZBZnB+iXW(9RMn7(uWoJ4hSu1n?`=0szIsQNX=iBqHinDhZ_i1Kl z+z?i_0&5S*!Pj#!^@b!`JK#!sHpq~BmB`qo#$ZuAN&?xQm};*wdMfaQ3lI3-{&Y>C>}oYD-oAZ4i~*Z=9h$ZB!(T1`=R- zD+O$r+l~EhC_p~yybsK;GWg34$3EDobAOchJa74$5J2(JPkj9wh7_d3jNEPZXUL{( za1#T3_P~~`6OFTvxlfX&D^gI8(%&0KN+>qie(@WDK1P39sEM>eWJ51M324V74m40{ zwu&R2Q2~xTje3Hkmi%xC43BmMSgfRnDntIV`w}AY!VS?)#db404Ao94-7w<$U5+D* z;xxDP;sXjauo5B>YLn+mst*J9?pdh5S(SDqk$tG^+ z9OwSCvd|SHqqBfUMhJ4FA2Nkd4Dp&9TCR3(|*bT05_hK!hu4By)vr2ot`= z5(?QfspbVDMWKlwv?kQo;peq_OxJ^0kk=7&SBb^ za$9-407?*uFYfEs^PGvq7>bB7N;)a*f=o{P$xCXzzkD&@T{7%s(n>oJc2Q)L~ zXn%j_UN4;1!7#$6nx>PwlJ}NOCXO^=tOyO@!R-hA!I4HXP^(cNePwq%AXNw2kHG^f zpZB5*tKkqY+|X|Z7IjC7YF6Hl;7TPt$bSiAjvSpqW^@!$S-3C@zr32eMTiYf-_nX` z91is+@^o-w?Fy_Vi6BuN)y9x0n#_EBEoFaQ*Y@Yr*|B?&yq*ln#3ZR;_)eTz>zO!I z65VNgwj^AyvG=|(yIVbj0Wh0y*x#Z9x2qAhA5wH;Mz?# zJ*uyd{6^|^ed;~G+TC?2b!}Fo8D#QerF66b2~(5IQe>#B#a{t<{g5yrr{sf|)%G$s zC)s-2RDy7G7f5TLgdKZ`C_B^TYJBa35pum~akGv+Uw&jI`(KO=70i$b=0()Yxkmir zk|JOP@nwgMhB41Z&Hq`KyRL)jvOa%X01JR&k&vOKA!L6JgvQ%q%w{7_I-*~p)(|{b z&3#w}jDMYB<%C~&+F~m5 z(TkPvzIPc@Ie{r7_)3M9B3ZA_vcl^f9Xm#fD~)$P5Y^x;>UaO5nX>2F$wia z1}DTrN|r%zqFK$VGqpYX=MsIoILmxO5LQw$DlA`rl4RNAzBxlku@}Xn6c`8QYk0-w zOlsmchhI-u$9!@=^=PNJd$=2p0eybxkZ}37lXH6&6 z@bJ<|W>L@x=`5}ZSOtwMzHgKYtmgD-QIKvjWCC#SBr=aC9 z8YR*w0CEY_y0{2sD#2P9^F(Xdle>{DD3 zT%1+k{9@jAOepurRE0902UEfa7SKJO2ZKxtt~aEdx!Y=sx5*^Q(=d~qtY^Jrpfm1o zQeEgHH`gcjB?+c1F$8~gF(t9+?>wI*?x-}bq?*f2?7-eq52WW68hJB>7{jLW@Db)! zvKZq6Dz#U(&3(jYg2 zkUUguG{Bps#HhDmKvwX~_^k^|(f+`05V=2V@DF#!6WR15b=%-)>9+H4`yg#Cj558{H%uX)Le-x7tAXu*k<^R%=CHKClO*cE zw1@wK+cUlb#yo#E|NPnGXP1LPjxjGDddf(_8qq?H<;+ZLZT0kAo+fp4u!CQ_LfEzN zLdhcljn>qtj}8{KTm$P24tINdyN7biq@fN_kqe$@BGcW?)5{e6K=aMZ-<$oNqaD+E z@Vm29>Gk#o=lC$#u9_h9LR;o-1di#$C+0RoHhL}SQ`>*n%+_#jEbkx2$F9;!qlDWM zDxrcdPMvkzx8fAbSj`KN03$310>xcPe3F*^BtcSr&KFT|=EamnTIUIxI%o%EiCQs_ zR!@mY<@xeuQG!<9?H`G~jlW)U85{$irFP7h1ovJ}HMokCaML->F~qJy>J5so(0t?G z^-8D3lU{$Bq<)>qNRvs}@@JpH=HBxqsG>ZCa7PSJ6p`48n_KsS<7umuNhCNSKA3~= zMud;$bA)PH;Z!&{x|MKRXfT0F zWLm`j?tu(~XD9}z=yiG4By;PJ@KOeEsi;*7*P=tDD1b*+6!l-jH<8^i_fMnETvZ(} z$7_F=A1=lhxTb@h9UV?z!)F<+?5pAm{TPWG+HPIrB8zBvWW{nOf5r4=<$zqg#UGm? zw}Ly)&CTK6-p;*&b#DYD1eUA%M5I^)6Ib`honh_+wC(l>`~LUQpwvgK0zTCqIGh6- zMN=yXCb0*BxAHA!X`MkL{PyvaC_*yzMn!+n$#jkm`-h)(Z3D8)u_u*By4)Zsla*_% zy2w6FJmLWrHAc@V-NVCPFRO@}MY)jIocZOIrvk~nIr8LD3clm6vCzw2W^e5v1zVRb zxoGLBmQHa`^;^$FJs_YWY^=v-_Ubs8;?N1gQc^pQsnMJyk3Xygh_Aac^`XHi0n7m>h@NWyB^M%m&)OMCmfHvr$6fHN@pE_{pgQQ3FM7xTMs$0 zX541J>B{(`T7j8;_-d>@kO}Rl=MTE>)nq~lsywn~EkZN9?T8*t9cW(AAzOc*u;Jy-!sU4n1}M@~3NN(exxEX=T$5gK2J_N8=Bw zWd3t=cYS+P>^+XlhW833LFa!#F-`K%E3-AG5{SEZkG6V<1(ipLlb$CC27LF82|2lE zzK&j)UCl2x*nERXXm#ka)zO8^95`T5&!y9Di(mr03@}OOjLw$x)EwL+(yA_}n@=)J z1jz(}T&QZF_mft`fa5uN@OCl`nhO>p1E;|xamBf+i7N_Jz{m!iD7k;iK*y-x*lBiW zza?07yp)I*Aon&>-NhJ;T4ci|zizn*UhCfu)9Cl|L-;LU?;_H4Q!TWp zUN`ldtCia@AbZmJNN*ZDJXVc}GNOx}y1uwg=f^K#IiIc0Sw0J2_P>&0%duy?wW&I4 zIJ*{KyiK3ox>kd|F2a8+qmiqtp}jgBtSTBvZj^bLC$$ zuf;cIkP)_?f`%X5J^Zov)4lzjEy2E5cS*i0-s4Jq-QvovTi}0646U)K%1Mn@B^*TFq>GGhx!yxNz- ziC6f&Spq60mK67osbJCpPJuw;brAK~Q2rXMD#dA3M=p@=A#NVf)2QG^Wi%Y~M6nt{ zIi#~n7#D*w9u!Pij>tL&Gkg`z@soTvgVfulp(fLHY4Crt>NUnXHr;i8x@Z{P?g+Pr z>+4m{q*OYBoBh4`SuSK6;9K_WTVf>|T-wuMRT*okkF{bg+fo-mdqB25r9LUS8lcfN zaD3b2w`upa$J`6&0pB!w_)}=v-R||{ov)p+vpE7JP_?a4*#Q-t_xHN(y0%T^2o7Kj z!W_wlW&(fu^E&_VFCz0@i5WyjIQ_%F_{~-WN?vZe(?2>qAm!k7OSnI}KrvZ$oZf~< zM$+&fDF5XBG#&E5#NbgY?f$ziT;)Br@hq^J(M#)h|WUcVeJw@z%e9RAG%T9(A<9%z9#Ql#x+N`2RT>tjh4U&PS3T> z+Ae6oSc}M5Q<>M|L@1&g1Ffn+80r9AZIAE^E&w_GTO%9sSf{a5`Sy*f%5!p^8qEr7=>Dl_|-JZdb zE=Pa(Aoq|9GX3cO1HAWM*K?V?Dt&PT3UM-BPL?y z0fuwiV60D}9Y6}w&;y+u3)I)}wvK^}9`SsGN9hJlXn!Pe|CZT){^S#~B(JwVd5*4A z0yI{_8}DZ;o{)7KQ~p4Les`8+bu80D&mVtaqtM4 z2%simCxu6&^l7m02hF#UHq={CfD#e~&$r|8^sdHb zgLdNSYP*;PNzzOJ_x^~1NEHJ-p{kKMun7aMf@3v99T2wc-tWByAu^ig1u}mb22tZN z7qgZ!N=4^fAi4()w_3tK7;khf6+Hif)GlH@W5sXHvw>-0vl(GOQIn{S*O00ob!w(E zCK_Qwq@;ir#E_lKsF+NS4I31Ho{rRJ+MIPKnf_yKof5!O>O5ub%M_LLAQw? z=!kfNx}gP*o`y)e*taWA{3L(b!iRnHzyombrZ$l^#5=h;97a`jdtp^wtNCrwC>!Aq z2l3AmhFiIa7O}Q7%RHb{TiEq`TPI7;b0gtf2L@P`xNf4uiG(${I1@ODX;VRdef$Nl zu2^bv5oiE$6>N6|`l|18AhhR)$;ok8N`6avxJ`R6@Rmh9(=!;I$i@mp~6W+#eJu2+a^9x+NUWNC- zS6R8`FiYo;(k#Q5z@JTdoXmy^Jfb`w4~UuLW0Z^aXo^2h;JYZ_z~11^ybrd+d*N@@ zoOkK{q@3Zui23uLR=&jl(v9JKuRYvtclo@N?QVa6RfONKO{bnJ;`j>4Pl$yg80F`* z8r%LsE!Y`mET{-nin@Cy>0k7FtG5&y^5Bue#8>le9HJ5Km?RJ>mBu(p?O=+$i;R|Y z=wbI99`%p>nLa&+GGDlowCh6kk*kbs$z582=nu$12lHmpvQ%e~(ZseHzpUvr(M+3W zE^;lC>u-YI6$%@ zjoCWN1V}f}Ir*-QQj-*W^Egg(!i@l`>=TN1b6^^bb5?{V&kn*n|wRMjb~6P$z@HK$}=*?MXjiJA7({qW zaC8ceAP(3$Hrq1AW?QGfx zly1_f53aPjOkynI!7{g?HtPB*X)c;Q7L-x#YiN#V4<=ZzpZ!d6f9sk3GJ~yknrER# z3Dr5l<=%TLZaiK|1r7Ei>_8&2iQvX-#=6OjU?y8PHs)5ei+$86#Xe;091k+97E~Wk zi%NMGE`NpxVtFHN`fHC)*g-b46f`Nx0ZG0k7BLEJDb~F1MEM&@<~yZdyHp4mU>4F-2T(b$y{#KFiu(>c%!1_!;py*ELn=FSuADL7jda8u*S2v2i|?9WQ0r;YPmPN`)^&OeZDA}QsnHqFZ&0(T}J+kDWG6VGKWPfD*(gH!!UxxCtOrk)9UMnVL2(t!ue;(v} z(@uYIUI|fR)s2@S-TGmR;;EZtIen@vGA`0bu=$`nDlF&XSh~Y}2^609#YX1BUeF6> zw6273CGA02X2?Pg}KIrh@3q<`1`;4H{`zS zXbVbr@hNLb94``wUci@a9gmxO(SK|x^U%e%a$|=j9Ps+z{j@!>KW;IVAw&S`K7z2} z$K`0C!z~z%0DU^A8P?QKaBtVKnD#4TKnCG@?|t+c>ivsE3Zkr*rhd|-B-CNO;GTbh zs}J-o#2XV}HyvjqDYn1!nez6E)q&4H8uSnL?N*COQrH%*=w@7RSGgTD#V=={TeKn8W6s&G1K^ez^!cf?k=ieR8n?_TH4MwfLp9HWS zm_*`_&~}~CV)59)cpSrOp&jAJp(VhsjOmabC|h|>O~N*zRwDd#%ixr}NUd|LGgWb? z*zjbDY!YyaTAoGJ`oKfZ2iQ}6bLm@a!SGbQfb zZkkt?Cc(fiT-8Z9MoE(1&OB9fxOcsd z`?(74$Rj(~f39sg6o*2B5M4I_T^D@1Pajk6lje4j!`wQTt8Y%*=I`jRWR0WoE4x8t zv;rVOeij(Hdg!qF-haW)VSqw<(BE;&m_6t&(uV%Y4NpNE>%`pc?Hp;c5gSh~$UXrP zeT!+gJ+s@}J=(`_-!KQ6EtLUmihOr<_$k{8Eu&mydzS3D$AsoYefk!*k=2yMiFJ+x zfiJHc+o+b&7h>k}!*6&AY7$HQKGOYz{@vZr@SXPW_Kyxf+kYT-dlecsX%$FFMYKR! z-_rBu#LnlH$Fbz$Hug}&QbYUGBsM{`ZALc*xH={?{veX0%F*2%7K?IP6k{c3U!Abt zQIl8}I)l^Zc}F~$AVKU00pJU`VY`joHC8T}K%N2N0i5B5t@^R{5{J##qZTYX{Bg82 zoj~>Yb1~Z#VSoD|$gY=>uROtIfx_E|A2z#(1vfdI{`W~LwY~&dIUY;8#C3bZ8RM9` zjV#N0IZYZ7pKy-dLkiKwxtoi#QcS8N=Bjt*&J;|a8K!z%PXU$d1B;l|YW+K$p$!at z!r}%~F3BcgX2ma3)Nmk$S7Qd1_TR#_w}L21E1rN;n174HP3S@1OG`|^mO9hms!^h* zDAZb?))NbclO;ME5?Al1J8Vwg_Ed%gN9>!Tlp0bCf5K+j@dwg0jwrsr$g-sVB&747 z{{wkf1Jl9!o@ls?@L%d%q(TD%MbETmAehlBda!0Ig5rtQJB+y}!upA*HAhBn>apAd z4)E8~BY!ClDwP@in&qNDl_|9$9jwDDr~wL5C3^yA$tIp21qbign2P_u_P({ZjVw*? zuM`A1Ep+?PjC#!Yx;izZF z^FS`qvLn^JYc>xTjr(Gfr}Il#FsQ;GK>xvxw?Rq=oAo^entzIqydCX@R82mK5a;3; znMa=X={)n!Hd6lS^wVQs@+-@E-=x%Ny5z)$a82%0EtWy~IIS_T+k_r(wg9k<@aNKE zM1N8UDrFktp%>q_Kb$v~mPVR+bR6lN>jE3X1>Td@e3~5smO1t*JJAf-o5xT(t)+*eADbfKRzXM6>7Pc=74|(0?|RJ{;S5&TT(>hYR^VL*;y&lo?&fIg{{C zO`0ey6D2dsS%tS4*61;zC;|F$2PA~Y^>W-@g@XOp+1T!uLWv737F=86o1_{ zdP>FjyBg-M%vNI>2Fdqi#N6VJeKM2Hdb_=38+MLiecm`5iloLrK`5FDZT^s7jNaXS3r>u^T|2hi9MlM zgaF`z=qb#VWV!58TaF-VML|&1n15E$Vc-3Z29&!lrYKoRV$Ic&d`3!}v4DD64EKJC z7t&poQc`*h6etnQ7Ur?~&)v%#qsh$z&Y(y=!ZAm3Nsz06GaJDht_fx(hjepMHdr_cTX@8OOQ0L3I zRma-lCQdX9bU+w3vjj~+7LiNjrkboyYrxT=JAwQR%vT>Z+WmXB{fJMY)#TTkzxNx1 z{yld8B51(`_qK}0fdIW{uhTf}-P>QM!t>cCaOU%D4rV3U{RK(u7Sgzxo&hr`w4#wK?X5pChR7yWlD)oVY0PxdDMLYK^KI02#%GKDrB4IUHo z%k-u~CKyzBRGA9$={+D1c7L_Rr|tR?(Y~B#*p=9R?uYK4!x>w5Sy`JP7 z8)_ngBqK+gC`P@~s}t;g`Kx=o`U@#MtP3aH6@_}i()trnx3i2dlX+PU%}zjN*|bED z&2@9cT0$!?wT$wJjwZEk#?Hb`*RR7ys2iWuCy|}S^8zw+eShXvJ_Vrn;2oEsU$9@S zNO(ki3>O6Ld+r0F=l%i)Q|?)hLLM|9SVIm&Xp71$kW7tKh)>GQmD2SfxUACg}33TImjVWj_v!$e);4W%!Dj##T( z%_jY`)v3X9bm@N&>3@&te+L*iF(GBx8w~DlEofN_Oe?f~C@h3=sav$Ry~~ZUD>?R{ zi|jMvyQEZ47q>9HP7G>ZUcbhdJDoagp?UI8mtJR*(0}6Ta)r8!vJ!jMHe1ATw27ZU zib9)ftRVlf09mZ<`HFMw6W0N&&^C$F>v*1UsAir*ruBF0FL|U_VFfZFk<7>Om`k2+ zVm!8eWQKwlG%1CD)0=b4m%Aa5^!HgTXjo4C317$`5EhE1v>{RATAjFDm$o?GQ6Rw|(ZkW61p+bxHYSwC!`s zPg*|8Cn-QiKt(j!Iybxk?q*hnR>y$xs;i(SW`9fxF<#;(`BH!n7!D6Mj@2==+fy*_ zHhz8cbUl9E(%(?p-0iE$$=Dw4Onm8hPH)sPBLNT!Ehc}Jl4zJa@*eAO z*?$W{&~c<-)u6RTlexI1;6&N(+KA=RLr_^vcm=b0y8c6Mw(ji*9~OSdlwfj^_c=0b zu~sqIdsvH3YSE*8VSky|{l8*b3^-Pl5Zm?s;XVIGKIBYAztI~_JC?H$bw4de}8+t#eW0LndoK2>5M90alR-?HE4~Tg?o`MCAEmB zvAssA2ji`kh;~(IqwZDc7U_Z#0wHzgy-_zO+>@HbO~dap_Jzn6&R5)7#fr{ib3aRS zt}Ar3zM|>IMAHML=qLrPl=FFWr+dxFhkV_oMy1s@W6OyUd5PxBRpLTj5pdz}41XHW z@3S5KuP=jGHaDte*uptaT7d0sY3WCoKU}-jS~66p85FSaZ_F3R9pZAVcC zLwgNTNb}r=%A%rVN;IkN4So~l0Ak8L1|<fB-!`i(dTV*)yvX zX~JEUS8CDnW+9@y{=BNxXg*O*bK@e$ppLjo35a0V2}Z(XQX?9#byqQsZ+{3b&(HGZ z$txNiOKC9M-oSOt!I5kay)+$qmlzIVrF(47yyYf?Pjl8P;leO*ExwebryL>JN00W+ zmvwYS!sJ~_8sK8Tio|=4x5+y$Jv_JF(n4{>8eHqD)k|+bI<7ZqClmr0kTNJEL$Vwc znP6kHO>h}fUo-Z{EIajkeW)?)**W-PnCHA-!6wV@|@MyEV8x_vP4P*?A@vZM_GY_-OTrbZIpn zgCz-?7Bt%=x9j8ggAh{aFkO1kuqt}otoNJ+_v%UDkh-e!j9(ohvblG)uud3Kx-sb;g$zsDcL3bc4Mb#Gg8xIlc;^s1H4LrH$Gb6{J@ukXOZ z5a5gW7H9EynSbit3oew-vfO&P$V5C{_Ab`rT;uHzOc;EWR_)m;1YvvqG|>2}bb zHKuOF`ou!_TXP%H&U&S1hZD`cE;S9CwRXGj27qM$)JQqAb5ClC{31>q5UUU$T`52C zBN7iNYAle;Y&hpwk7>oy4zr2zs0!m>OHAl8+ClYHLw|4c`O1_x_v*9fUR7*gClM15 zPWavr{=J`qd3yV9p2%2e;uy9kk-=;_lvs*L?4;`UT#z>SeGwT#nx8ZAzS+?6$bF4H zhdA_`kFIylBU@XstwOVu6u7(Mi=QHuk6npoZ|T$o{4CW|uyj0uK4a7dJg<|jxpTPf zJ(Lo7JAYdW4%wz2zj+wog6UrAC<4CokgEP;;o4594n;R{V#$|q3y-jA9=T0(!jTrN zeRaIs144*l?fbo2uhpeZrxbo4h(PzoYim)r-DtJ%ac$zRNq@ZF*KImFYINGRebVdI z2F4(*!{TR2VnNzG6CyKp*gx1^gyY!#l?h9Y^M7n9Cc{;7orQ97Bv`kct(?X;1W3I! zUw4%j>G@Q~r7UYVtAOMA@9~B1OJSvOGE>qlJmx&m{#t#HSLqB{z`38J-!+5iPF_sX z1*y;q9?4Po?YUx1(ZHwe*EW5HO*3OVxl2ShTI`@5Fkew%W0_^@<|ZXS;Vz!K5BUA? z0e?w=oJ`X(mdk%&v>CL#yUHnY)jE-cGNr2T4~A?=E?MqBP)pkU+w120$q0x`Tw$3U zL3xTMgy1XT&Kl1SK}P(1-#4h?t2_HjMO0w?f$)CB)NT7VN)Px`BZdbXiX(@&eON*i zL90Nh7YUy{Coa%gym${~vOhuH`>Dy{&VPkt`fRxxnM3&`VT1NC9$ubPiO-t(>e%tu znL1dG9o!`5tE705EbG0d_9ZUlex*E&l{lAM=bpbYpUhzo53h?=V6l{bkc=(~C7LMB zdZIAT->*m3@-@`GiRwhb9W}yI8Ygy{+*r9+bFB;GEEPQDudePS+X!HVX>yri8Jk;khmlHZI!P)kEe(@k4;FiA8cF`8Z{gJ z{(y6g*}~+Kv@jGbl#anCP=9+g+x)(XW%g-uU`e#fc}YK$rh9n6F*gYi#Sl0bS6mk@ zAsx-9b@qctuizHTht@K`^rf(yjb692R%0Wb;D8{tBz?s-Ln%_CufPcewszfX+L*wJ z1~B=%SB|JyEg5%W_PV?V8rJD9)t!qD<^_?(NJ2(+B#bA{Ky<1nzkjqLhcUL*^2TCl zS4$z}I)FeqdNGMSl_3w*c|lz3sQu+X_wM?8<`%6Vlv}(ZXf=d4-iPt(PmtU^XhhJe z{~S5-ndHQeERcjoO&@9F@HEfN?wnQUu)kd87R7_}LM)%$PX~w5GM08Gw?@aSw3slt zZmCG%kTtgC4e)FoZht)upb2J=jRAmh?^y7nHKM2U^}p66@iM130Z+7o*(i5WBTrpT zM`ux7n%E7^82T_0S+Iw5F^yMLaf%?>;zUbgW2Vikz414?o?C8|DqK{*2RV!)nguy* zuJAW2I20}1x;sdV@@neYohIXy^=8C@OM4)wZp2id!Y$#ig@3k(r-CL&IZg^B$mq0^ z;`LkkZgKj9=i)xt7o>of^{%`(a z7Qe%5ZRqF0HGg%m36GgJxi1FA=4$h%t%;z9*<4V!vh_)SE>hbt3!;2Phe%4seo(n( zHd^NIIbcw=CB15|=IBG`>|PCb={ZVb@U*k@biB$|3I*H_Fciv{A~B1{%pQc#Fv%)P z6tX+5H{DwsGM0&DuWDU>3)O1(Q2-x}K(j%iLaNs&_kPU*S1Kcgo9b047|m~ z>cxydc$14MP6r;nbTSJ>Yfv)N(E271H+eGBG@oM-ET`pd-N~KyU|B0i`W#-4qHTvI zymG-|*kVwo8L&Bloo&Pwrwd!ZVivwJuedoq`4NvJsC@6UA4|Nj5YX-lPsmf?3s7S3 zWm+MpwP1>jD%`-M{&LFh98Z$wI=lKViZG@aS6FDpTiMQ~g=_>CzsDCtD8Qe87ZRzB z3~58c_1Nz<1)0?K6L?3R&S-odocaz9-)!v*bWrk&(FJV+Eh(K|`zvT(yw>p7%H9F{MbCv=+;sxA=V8m(&gm z{_@FxiD|o~f3=b>DMZcRa+u5PNVW-}@Z5JP7Z4$%6TOLFQJ)JzzQQRXv6;>cptf29*ME zlMCVuffnRU?H0}0eJd+arVxvSbYs^!*vJ;Q ze*UfzdHz+?zRZt?62uEZo*i${wbmrPJ!%USO-kkWB=$MM2DD1Jss}fnAhp`s6c-6Y zynWS7{h6iZ0*)VCD&qCkp>@6YX`^|*QA5en1l0Y`!v+JFl&BRWs3bEIBf&rLiO^F9 zfzBCs5?@cM(~~@LK25xM8xOCJvp6=>!4MMMeZ`^7g>d(ictBkvQXg6#0Zw0Nv5ixs zQF6J?f*o_JG21mdDKo5wv9$P2RDbM%)Ih;E7i`65`nYI`iHUQRM2lex$qjwz37W_g zRMz-#KWpMht3)Z*UMR6x;j(x-6|z}_fCGa|vrqbM&|ZnE^+jwsT$ArU zZ?Fa8qc-JvXt9;ZF-c&KH5k1-s^DWf;9YeO#KC2#D;%`w7(^At_B#Dh6#pMG?jqo<6YA}eXFl+Z&!dq@bXGgQ9GEem}3b` z(i|;JC2KwMt34mbX*|tb54G_zV6YcEums$I=oG@~Z1_(Dgi=MlO=gw>rD_0cMrrII z{;yzT$QTqWD^gDQ7y>vh-)!{cSlW9!z&1Y#gwkKOI?81W9E@ciTm>}R;)l6RccS_^ zZ4)ZK--bqdx1xw;nEl(AqcPfF?3!p*F`31e0^yMxI?Es}6h8K?;JNQaf%#Qt2xRaC zJ2SG-R*E)?0`x4`LwFKj5Hq2(O9ZiNv0@-k(FoKO_seqOB$ppTJ-yxe#H3d)YQU|z z@fM1d35W=j*EPN@>}d@94Yyt-2YKD}OLWTGmu(w)SyI!lAze2l{ITmm>}XqsbUV32 zc>XOUcKZU;lwzYMRrb`I1!TXWZeQ6!QYF26?G|U$F>Kc*^G6>Plh&FWoC|Jl5Ur$* ziv9d7Mw=W0;jK0#*B|TRAsX6y>^jV21pR_(^c@JGM(Ct*4pJFW_=^#6MQ{^_DE0V* zD}Y4sdm>^a8xEzApL(Kn1FqGNew&^se!MoQWi(0jnI?8Scqv1^HDKKauv!*V={>|_ z8}K(^O<=KL-19;Lj^J#7Ir_PBx@HQsdz|L@cHj6x0(EV_Y;a%SC^^FSTsy{nt z{h}AnZD(Gu=;JzM1n{PjX<#06fkyY6wxbjij1Z&`q)MO&knqGNV`^axv(hdZX}C$d z4yqI@_4MzU)N$wiAtcUahTQi3k}o zFUOz`D!r;Ai-s~FUHO7@q)VTLrb;dcJ- z5MENaFVsBrE_t=n_mY-mLJkCOXOCfy9iewp>_0P$!#G2id)rq~4AL&pH@-%IK})hs z&Fro;pwjsZD*`Kd#Z@U{RV+#rfJ4X8{k&0i>0nVMNHg`QvmJH-vo%PEd~Ur8>PsW) zP$|Hax`X4wit=?_vkUPQ1D_P;NWY4e$RaYc2xriXBL49Xl#0AMY~LtHibWyX)DtiS z)wFROqbY+EqSD4LNQDg)|4p^Uq1lh+zd8WH#p*9GOY>SdS z7)CYP8LN3;w5Q};Okbsa3BZ&#lOfGcfknE!Emerv}gUciac752WD$hHAxRaOI$O*@5)EG=-62%UkA^M zSaJWz+*=0XSsRbzTM=s_KB*K8^Kgc<0GwmTZL*Vj7y_6V0Cy%0q4q6VCIbo08*gSqL5D4aw?b6-q3F|6DpH1;#rQ7 zS?U$$8N?-4=XzY+q7N2b*?>5(Lu`6}xEhNMRthGeQTh2x#>=v7P!kr?@`3(3KqT)} zJJ6@^V?Y+Rh#v3HQ^%y`)6!n;Gr&`@-qj?h6NQF`1j1)v(kxiKWeu4jax?Ym9nAIg z0NLHmL18v6a0@0HW z86dTK=O5+JbBZB%-3S`L@v*QBviw@;i8lmgh(zOQ%az*rN>L*XdJ+Tk!zXGRxrIEx zl`_2`41xBlTlMp2DE0)eR}&5hZf*&MlwU`2sH9w-p?J>hr;@AS zXpOPYGjz+?#e!w$2_^TW4Ayu13S7aRcFGfzUPa|BE{wFzB_Z&;6I0u;gDrG7Y4|}s zM=Wj#MG-vrOwEm;h&((~aYMHoei%sKgn2MUlUziH8K;^Y2Pieue}Sm&Uk0sOFGTI+ zOAT98Cf^`~t#j9%44|dU6Smink)mKf7b_8!yf#0gvMOP__en1f@B#L;&}0#l#Eg!!|?Mql~0mq=VoQEBdK) zx#I84P$w6TE37PV6S3U870c%8QkHrV1W>AY3|G~cIhD9Jzu9IE#NKM>OqaUq&v8Yr;359KLTnb~*54EZB+=HA?LH{I(n2O;e`f z;q9#&Wb=X!v~^WX!kcl`I@l-Xw-%6CXFQiw-e>JSyJNVQ?HmW00Ua7dp(;c}_#z~F zW6;}oS&m5bF0D)Y73jfI`zS4e)NfnRTmah*y5sKmC=-L60kgUo*CHS(0fk=XpDnFr5 zGw!knaEp9qlKnRfP#6r!25F#`70tN!J5zsvw?W6cCCAv;hEab0ZEo3=G|ol)^+{Wz ziBK@BoY+(?J8DRhlPhIQpz6@?N3d^0e2UvX{#{|gWf4+n{0X#UI;v)s+Z6_DmB*U* zw22rBxnNJC;Zc#pTQIoR!V;&%Iz!E8`>URBt8Op0U?sAQKm!(H#?T1Lvt@TZ$*V!V z)NG;w#49@NQ4iHZO-snd))QTA2(|RM%`(|L;#+FRfz8T9w$vf{n?p9!Br4FURkU(c z9I2Qz^yv+V69p30^)KwMlmf1?9xJPq#YVR@Yl3oMrSN`Y;~GeI|4-?*^a7h6bvRFi zA745d4T|~@uyv!L26FPV7~5de1WIK*5EKt4otk4tYySvIC%Da}nQW}9x6Zn8Rb z)hnFbPNLGvBmNx8MzV&+NtLaM_Df5=oLn=z5W}1*oRpMeWuNE zQ8_%?e4xiJb@~_#*r`^q+j=5=Q#0QCR<;1$P zK$D*l+TYCK6fRRqgF0Yhpz)kMV2Xp)N^~BXRvlqo)oVT>d)YaPhB9Dy(%1t6EQ`N< z;dMx&9%6yyN3@shqyL4bMRv%LV@-S7kL6&^QxNm8y-nS(07$0gKfL`im2M>=8l>f5 zn_F=M{E`Rqhmk!imS=*%cc~Sa#S=R!-=(ifaQhp4lmUfS^yPu??zZ!X&zv6TM#+i@9@RI+p>Oett=)8fvanC40l7m4!8tv3uzX2Il;?5|x(SNN z&JJf7Vo&y9VH@52mFJrG*`I|l|oqYmkyszhe!-2N)(XMIRe&AFFXf1cPhj+>~%Ig$kymy-Cq>Jtwx+I^;>( z-1aXor|k8JSuyd@mKy{IK~m{6e4Mb{*@n8 z)8K|-DRch9Nf(lw6nB_l6wgq-V)20UQ+R2)MTi}jZke^^$MTaGf?SDnWpep!8E;p6 zDTwF1`wFys28Oq?MAC$%zaK5l#^cf+R!755LkZ$moezYB>m=Jkak3}ia(W-P1iq6h zC4C*B?`#m~ZX%KfgM~GMW%~3TWY3!CMuoZD9 znUXmAAPw`^#cr{)TjGj$%s3Qz&0kB344%rIhaE}Qn=_hf6*H2_AxHBdcg&E)yn?j+ zrO^Q43nhfKgF^b1%#xjz-(0ORA<$};9q<4%g9aPU4t*~sU5&Cdc8$z9U&0|Tq+cn` z6DHNj>v|&E(9wWr2D{@GK-6UW&X?3vxSX4jBKKx!5>$(=-{u45k@(%tJ>k%gRUM>?tc4Iy>+iWwq-Ah_V3S1J_csO?tG>Z;-Y&wUZ9)Q&%>La zN#Z6$WFTYowjE+%x|kHMpc7ODf``Fkpv*(fNOB#jo|41a1xMZ6Ix>!Jo@!8k z6a|y!aNkTYh8zPpZURdew1D;Ljo%m8{T+W8c*}z^!FewsOYRaI`R@g(gK_CM1V=;T zvss@Nx*a9&mg)~3x$;p3{^sGNnocXDi4)Z!VdhxP6}vAbuFHl5KQN;Cl5b%CvG7{x zI`_+UMM4qwORvL83w*H0&1oy~h~&Ad@m9V&wB*L<#@g~NH9!K^sT{~&Vhg(|?O;;# zY1YZxL9+6&RkZ~r!n$48C)dDASU66u$r3chlX%8w`)*Sg`e7VLV7MRu+h+3z%5}u* zh!*WGhaMdxRYpyogGk$-zV{QgJ1S*J#}Rm>a7ia!gJvtdN{CrfM%cVmHBkDe8$s)w zPsKEk)K4@PcL6=i<~Jbbin^1MolSVFH3izr52s3 z1_5`_UEsR+#aS?vQ;21vbhpe6I4;@KV3h(068o)sR}h>mr&yN!4#OfT!?T4M{ZZ-? zj_uSf=cPO>!#L5nM=$pm6_a&Aw3#?7%N04^Y&{M|yC&zkL;^1|Ci zA^jK`Q|QC_g8f@J342Qj&QzoO_+xWzh7v;3Y(XOp-AtrrDzJL;K1pxhwSHe~eUYLL zd~rs?l}E`Re&+&%EXHCTG8s= z&D4o~jHLDaiXIr6?!faL>PRP)>x8<}y5r(Oui>$E*`3Clyqp%qwn=Ry$l^63{J&a;t4$_l&F#*`R8~0z_+#KmV=;0^IO>h> zuCkF6=DEWw zg3P#o{!ByLk?U8*w9Y~uxo-0uk$sV|!)3lgX=Rj!U^crk0m3f5`h>h#YSYZX76jJL zoMF?Bg1!K)!5aAUM#gkhI4)L7?E>AdcaVA%()o{hD6Bw~)CX!6po#=?CFhFOkZ)Q(A)BShB@AEmjnxCwlf}lzIecU8j!57hqDYr%F3O*j$Df;x)kZVMH0WRGlm`+ur;j$lM@a1b_ z4cB169C-#LD)wptC&kZQlOTSwsVd?3M%ubKs2RW&;SNI3r4eFOzz-ReM&DMq>QDtyr*`GJ%a_ zuh|@sOD{)2EEh3*@XQlZ7GP-)D&oW1X-@olbZ4FB3?e?~I1U_Tdq`l;;9*aMH6Q$n zA*F)cdSZM+Z?@<+^3}wEJjzzM_JnK7c%M*9wm7e6(eo#tRq2u~z{41Qn4x5&3Kd8Q z5`9IR3;^&nbG(33&y^Lb_DT#`vmFu~Jy_RHvPGU4toZtz0FsFiVh z?mp~EDM*=k;AA#mS(*{zhe{ZuNkq0XRIEFeH7|7$Ivm8q>XJxs!b49iPk;!skX*caCCg6%=J zoq58pD3K{oj+d+^xHk5Wx658&i2jhfMbw0P**8)1oYC1Fv=5IEjHQ|wb1ykCE*lMv zR?224m2V=sLYN0q;=jqsR~#EpD_}wp>B7)n z#aIw5NK5R%v1jGG_aqy@pReNz9q!KUpjPzO+qS-u6{i|(((2b_5Sv?$Y@{(Bo=C4T zWU>GbJf%HV%J*%@cC*w-a|rtPwVEd)bgmD(#b7LquMs^9w1GMBVK;}=?y^ThJC@zS zXH9`JkHT|?_-9=9orU-NUx9MOFMjwjIij9QrhlVTeZw7-O0f*KNB5UmGvO3skBH6^ z*AuCRk&e>Xd=LvaKF+!fU5Q?lm4Q5`hP=O#un#t&DU@MnN)dH3pYrG1E-qjO6Nn^i zpVKgbE8qPy@C2)a<&P!boE|cD1xrZfK3y#!(h8-Vg0N+)3Px_4yns<|AJ3Ux>(L4h zsrCi5vTRFYs^Ay(4?RE&_Luiutqz|^IdBZO7(sMGnD|>$b83FZ$5@IaPGzE1EkQlM zl~WiHI;F}$JF}JVZGXCSz~c0h5p9vhqjcJeUwVim+aNjpw;dvL*Dtj&<0?L03fk=s z-?iB#@}DZEHE$2PIDo2u;kLh^agf2qqNOTpq<0&XwWnu8}_64aV&;o&^|8LDH_t*O4w? zd&E=wKOSw`Esy;; zUf`ewUKAt7kqtCU>aUaBgeQwfPnuMx)ea|I3|UYvb9+ zfVD!hyZbF&uvmN;a&#m-iY==$fzHQ>Y+Kd*WRN9?->qw*Mv(Z3|Bsx~0|H03@Iba- zxA|pqv1u|L^J2sxR|KP>E#+vm&{g|v51uj6LZr%gk%8t{r-Z1SoTJ1Rpe{rE9DUe{%*5hUd20lm9OXi&yaE!90_82>gMGb41)Z$_ z+8{BWNgK|qiRlh>8i}OFS`-b^Wj*?`WPExuRt8sN4R`d86szNcUz+aJ zrUqbbDwYND184EiE-$Q|S@*luG{f{l8j}xMgp{~^$F(fBrxVDEvDs!rt zK#EN`Z&dv&%Y1aVi`b7V!O!z;=i}|-<0bcfbt9AL{qiU9W$5GX;^XoGSbA}RXPl>f z$CW{!8oB+rX@INGX}0_`+R<%ZLyw5h_iDKZ^!N<1X8&q1E>DGFMPQq@X$*9+Rundc}0+z+i>j za9bDGXDbNZA1tNJ_(A++Xy-JP4xIKA(1rG!{NoSd&zvJ@Xzmd$&?}N`nCkr_*P3@#8!{5y+Rktq-zt5j2ih? zJKGr)kvIA!>O<9i`-X+fcCK0t*@%@5CLPUOzWWxwIOZb`|wL~PBv8qFho=qR0(9HOs3Pjn_lXkL}7HSfu0DjSo^E*!vBI*5}E|F*2`)OVJD`Xe*JbSlj zDTYZgv!;I3%PfwZ`}0N(1uhh;^(TmyLaU)2ea8$3GpmQ_gyh+#Xx!J2U8$54F;r%T z^52hnnAF7964S|d(jru@3B>)e-ggJ!1V&+p&e<~PUKOplSJ%ucXMm?{v7YnVgFUN< z!7NFd9HZ)3Sa$jXnsTL_u8Az>4X)COLtj0#)VscS_EVx)|NY#XKzkcUfsgtXe3+`u zg<;1qnbvaj`Y~k*MJ3%g*Kf45hbe)9%MpZlY!Y_VlDV5@_1&a?rCjBWm^U{{+MYAoOTJf5B92#;P9|RmmzHC+suleD z@4D6kA^!o?Xz}b1@~8r$__TR1o-PYfB|a){wi``^t6yvTD9}KX4(aN`5o$sa@!jUG zJB}4_$rYVBSQkezk;r!kTIw`Q3`c>EeA5fCoOW&>vB;TUb4F?Cy}JduLXA6L0vsvf zIZ}?`QI!W#oja}c9K_$RKiw9V=oh|4Yk=>o-6a5i9@-Kn-mfrAs`QedH4$Ibj+EP0 zZm^Wwp494h=oA6x3$rcSk2y81gc*km0>~zIZ_3dDL?ntVa70*1tB@j~ps&p%ftvH6 zS&2N$A5y~4FD35sM1sEfiW=*ieINaQo^vVsFytMa9k}ACrjMGgV0b!wA*-!EUhw@6 zMp%EX77r=u_YeHRqA6wp>?KmnT~@@U7c!U&J9H4;!*~L(VGw!wc_7#H?&^CNNQ#5y z$0rHX8+|G|+eMK{PK1MV%P$fJn-1rZBJ`>Stn?a)CxnVI`%UQOqZFArQ)RC&w!M=U z{4_b<-*FCStRF{ghV8e#xumRdf8@v|+&a}Wzofk3Kz>K5!*v(X4YT`GUD?iGdA=}R zZQ~%mgpUs-B%Cp;R2iva&-2^{sbW6*YF0+d8KSTlE)k;+q$eJD@^x%p2br0Dw`b3+ z-bX&kh1*XMaS zxqOPtxM#|5iPv%QUg0+8>{DuJJdFljq9TzJjM@@LEA-2w`+wv-Usg~C%qArAYE z3E@h*5l_x)cdn+|)QfDb6;{|4;~WLn%u1De(CkskWrzC@MqXLTrkpwCBDmy#9THI` zqGz20QSmxh2GPlI#SgzZlUl37O(KG8UX4_RG8APu*WKS^dw>cJFZf_arCKNR5u*3t{b0xGN#8IdY(<6 zm-SB`b|&11FVoyNd4aCk`+Hh)R3u!<2-kyzdBW|rmuWfPx zQ}x(oiJg#hv7pZ2h+ka+aOiZK7eclM)!wc_%Wx|-^{OUK7Gi; zkI<3*3$1L~CV&25y_UJ}j28-Y>0NJ3=JHOH-L7N{L=z+nfbE`LF^kXhy7b@yW@8p& z7sfGla&aslvd6jzPL>{AS&5H1s}%1YrJe5M-Q^&aF+DQ3Ni&VSEN5lNVMGir>3m}@ zmn|)?R;8{^3#Usg@aqtap~l&)ljn<@!Ytyj~#iAiBEujR9FPEjbw;FOwEPoj&bdGf}PA^xC`{uT^y zLhiiDN`ZVd))Ucf(Yal=zV`Bfcs<7nEGpJZ?$x*Ths{ZAW5dw`!=P`PljZI3*StdH zT&`4QKXVzWXqOiMMvnvZb397+aFm67oBGq9R@5ic)|1=+L@sXVdT?Shzy_M750vFN z9QN%g4#rKbb6?rX;^MZqeFr23oAUAXvl6O}W8GT-C?r36?X*A%`W8*VkU!;`AWpV@ z&D_DV*eJBY8fRoj3bZ^&M;wlAAEZ(-vmm0fEhH)nSNdp-KhePD}>DWN#nLM3u&Yglm#tz#kl3!A}g&(xG`kd*51+# zXm1$PAp*;cY2-kHu3x{DJ%V|9z7iM($NWY=P^&0eQ2)7&n3wDE)j{vyOBm zq?kQDZBUjmqNuQcifE+2O|tr%PGvmb2e0X(;fJcGG;|LPU(8rQ8%vu|;B<8ux8uEB zc2$!$6S(0^4Y!H|v5M~RdjOMpTdS1Wuu3X; zgCTQdr&SB=pBEa>8Q{aXLHP>Zk8Zxa>RwkRU(?zoU{Qrf*HT;zf!d)Aud*k`;~5-Z zK}Gc@bTAV0e#}L|2JTr_6! zCEW2!S?+!99Ag?`5jTJLm@5M2n2(uqI0Hj|r@Sbhko!9gO}Qbi-cCi*YkPj+*QDIa zKm8^F3wj+!^F?^`OhOPGi%w_D&7MqD9*%mqDV<%U>aP?M%rP&-dlr)E``G>fD9C_A zpo4*d!GM8UKw?cXfG?jq-`vIYPg4%;**~=zngDPL{x7&A1~C82Xr>|s#DDo0{3ZuH zKz#}9IODQ<U#D6nh-=8tAhk#XLhzsNX+UuPQ$kG${(q{g3BiW|YRS~ugm~h1sR0AKOfAub zVExy$q6vWy5K4W}grFn(mmy|Z_dAIR49rOt5)A2chW|bM05hpVS`dW)`WR|`_DM+f z)qR^-}S?PX;-O`+7M*_kXHK>$xAxQqA)jw=X z4b_Gq|A*E8uqJg>8-ny7p8vzpR5%?7hJVPT^ND_`>N*fq|IqIrrlw}={O?fR|By9x zO$UPfKXcdz^0Vqg0Ki<30bm&aoxrF10gO|Lb^k93>{y~ANEiTCZTkO{?oy3Elm6W& dTo(c#yh;fowMPj8JGEOE0vRet1LAX}{{g=(TX6sY delta 44228 zcmV(vK&5Z*b~TzM^SJ8I(@|Me#iZ_!iurainWUp+`?4s< z+q*l19r|fe7Nex9;BgP){35RI$nECE?d~>@NBZOL&dwqHp62!*>nkc2Ne&-QigF&; z@M}4RE6R7vMFjU;#C1AMv$S5}z3$rETzr3VXIbXQa*xQa1Ft!T1sq?@GyQUL-FJDR z@{e9o-e!?}$(d|9EpNL_GFWhtSF?2C_U&Wu1|QD!CfB~O_p+CZ!T!%X^s_R)gn!%( zZ?pU{Uo_8n<=5YFuyczO!CTlXZnK2&nYt36_%1(gYy8cf{=B{YvMiPhcenKC-R+Zf z2orx6FMxsOqvP{wUX<}LgB8J!8>GlPe+ANMSd3Tr?}GmGyu^R1MLdFw&E;`CsT1J4 z-Tj?A+xW@%BlzP*oPBX;1Pqas_}6WF9sfsuepKXjg}10iDQxM>be>e^X>w`4DdsVp z{^jxPG_P7dp$84=zts==xV>F@l-$1ltJ8mF4PUR5u{j^ZT2j~t;&M|=%+n%|z5-bs zy-24yeB*REPV1sH_-kA*%cR0v)%2ipo9~zA=5bt3ljy}L&Jyz|&EtHO#u;C1zDX8E zSy#vF7oM84Wt>H4Ni{0d1wQ6c8P5|qh?CX0*CiaFdESN$N)(qTz|m3x0~ z(++OySzLD@gWV545Vx1RYkT?n^mi}6diITZdivzy3-kAX^S5S_W|@I4879EZiK&*u zd0L_Fd-G4S*tBu{e1~w!K>1n9g5AJbn^951!7hp%b#fFh>lqvcuuPi$+23e?=NEXR zmq>lJ`Mv-t9B0So{Nclg=5&OdY&w76B-3RUm*zR}bJ;V<+gTFDd6BQ?=?_3oWpa@w zm)#rRW$~h30eQCg=bGY#=h7CzzDX_QI67~@YIhvuwu2^E*odDjh zO@$))820Jg6gf6}9Ou&|ZqSor4DXqW0)Q{O9bCZYu;keM^JkBrT?|_W@;um~tQgUv z{co4a6se&H!n%5z)X~8XtZM;s8@@G8l7*Qhyqq3wR&4Oaqp_3u;2Jm;l*Oy01c5Xk z!rSrFD4K_3@31I6{vZ&#%W)_p(3mAWk7!Dtg9@%*WYX@?GudYmI zmI8(FW8e~?50ES1e#pg>vX~2b!Qqz0csZgqhnHo=rCiWAFK3AX(~fl&tZ$UXAUI*W zOH(ZC#S+di2C}LqmUJrALqTcNmGwluJ6;VBzNU>6zL3 zu1?<9Khny7ddt56Hztdp%y(JxM{~GkM)885ba(`pefJp}MY1>e;;S^t#+7+=`VHI+ zF4=;+@9YfV5Wp}8=@!GEfk3woc6uQ1qeYyS@PZ(+BUrG>>6}39@S&XGM`av|sEFYl z6Y_s|Q+_-=9avbNjvn-~GIw{QyZ875dUyCwY3`@fXrJU42;A80!Ui7dDFV4hivk{G zNF+x1Ei;W5K%U_!(~D{ zWn99e6A(G|DyrrM93Ndqe#aQ@-vuiM-W8O|XcnVs0K&0KnBV*r$0#{KcGYRVEPyQj zh}r~Rt6HGqTF!gG-SAv9FJSXQ+Euz6!r0LeB*|FLmQDs}F0HF1o1ju%4lyD_q&i8- zEQAv(z5R=jRw@u6pm0c8;-Y|)ZODHHO+|RkQPuwxhShoBoC9mAh~6Cg$~jM=s01ql z#Ri=^>_3tH9PE)8Y?(Qo4ea)^#CHH|9K*}$A()a5}4)b zHTE3*SewqD{+IvmAOH7%^$-8)KmO_e`k&2z{tx?Is}tPvUo3&xz#J-o;2(b!bMY8H zuY7X{Z3k;jcK-Cg{%?Q!_y6g?{Gb2tKmH&88h-ePfBE14>Hqn+|M0K>B|PD7*BYB- z0F7vcD|}nj18h6u0#aXdBEcrGln&hUAO5HR@lXHi-~Qvj`5*qvfBg5|b{q8d;0@Sc zGt_$cDp`Dq{4xioFiA>cHa1UaXkC^l7V_{xF+EE5@A+xtJ>h@!Jb4nb8ptzHJY%sG zftQeJz&HXkZ;0v)ED2{P!b#Ssh~UsB32h|&4Xy{VoG7>P&LIDzH6^c>b}=tnp6!21Ct0$=}VC1AYk(Z1TdI>bP(enTTOG)2BOBw(F~K75FdZbxU@t- zF9Gks1a!S;1G~7gi-%hyeZngvPesZ5WVEF1A*+lX7@{E(6iA6ho}ea8tI(7kp%pe7 zElVYN>o(FT4d^@2;6@1xA1UoT(s|fLGSo6varI6JJbL!3Mf)I{u-) zEbP1Ti=apX`h{~pHbYS5w0-U%VUJNX%qeKndYC{i{AF4(tcy%0&)ntZZhRWSIrx+tUS>1)XeWM^Usjk^=7qtpWvHR>0qq_c8Ea!g`k8 zC{m*jeOTBlbh>DH$V?!+lsTLZaNgf&bqqTVcL}d>Z$HO`9I}iY&+qaSZQ-wBd1GK2 zviPP~tm?jlEx1xW#E^zmWMf`1&RRqBW zO9F5LATl!)o0S@(*6c+?2!u91boULDIa@T5RfzsG`Q?zt^pT~wJWi6E84$QzT%_Mj z!U2_q&{RBP!0Il z6%o*U0S^J*gjYeY$-2wg`9s-7mX#VO#P$Iza@6Uf$Sy<%W(lg+IfX%xRZF-WPHVp&SKLQ*F1KMZ8&^p40%!ZDK) z$!Tg(Nh}xek!p5|)+HDN$|(2}vu{8W2Dl!sTaL*+E0!gB`>vx3S=6hfUru;litkMJ=_JinVfF1Hvol% zfycP=Rj%mctE^kuL`PHl5>qy!AoI*~OGaTZd*GFOjTwWWP9DvB@{Fc~Yf%R9*bC_~l`a zl?1pQ6r1+qUb4Yf&25mx0?Rmoy&Gc;Z4Lxhj0+6J;eLq0XDZCvSK>v87y*q0``$NC zkfs)88pg3W4yJ*5kt=E$l_EUiaWpGN#>TvVDiR(eyag(m%R=27=MkXki4hyp%F!Yn zy(5jIk$DhoJ?5hK6n}>sqWyr@Dl8H7*aAc2evtF~W#!C{zIlPUAGaWK5`ZeENaPae z0fSAFn`l$L1BslD(rVr#n<5=yR+LmT(H1$hn3#!cjAhid2*ondoB~OLd0I903dnVT z5l_Wb1nurwf@$tj0dNcx6!fUr!Llw3j)xEjR;H778_5Y5U$hAf%pv9m>>%KX5eXd4 z@hpmk#E}eE?&Qo?I9wx54tLJ%n^fT*p*01okB|EWfXY2Dwa%2vao?y z-o06ovdN%sT?hQ7sB`MLzmhthFb$H;fmP(XZY-i*i1Hx zk4%N3dCt^u%EfF`S_MNc73JyiU`w#xE8W(uM{fsP5~&GXEud5OQtVsd*BjY?7Jtj= zCY<>iGqGsK5bRR$bT&yWo`J=k3ZapnMb;DxmG(r`B}$vX6Q)h_3}~{O(Z53PK_n&V z7__d`k7Ao{JjRd$?AUtT#ms4cvTeRaygk8 zq|~f$ULU=ICjq$^3(8{H5RaFCD(8fS_2yA|R%8`<5ppbq$)^?X4X{l#2fJ?-Wic_j zxJ_syaelSpf&>mUH`T8gfoOHsd~Iin^>HjLY&->{UTg=b9oG%wcTS6w*F{1@{W8)r zeeB6ysG9dLwS4+d}aw9I%ZvCy$5?KS>_Z_jpt=rMeMOJot&onr8b zG_s*Qpq_C-tSF%i2}36?3hhZ#60v9?Node!irn6)@9P;(>_Pg%R{fONd9JwgB=r1! zhNDj2qr*r9GB$HK7Pwfu$@r6s4sMLCP3JBvLU% z2Dc(Uc|F*r^VxfY42n*FC7Bz^MNCnofDIjU*4J`qa=D{b6@ZtnWm3UOyZ44p0HguRDb1vk*-du$MHJx|<6Cr;Ab zZ3~mR3(ZAnffleoC4R<-aY6d1hbMr3+Pl2C1hq27>Lt9fr2^8Rl-~81Qx`?{E|o3T z$_{scEqT@r(oN^NM1HyW?vgaRq`E+HqbgCs-D|CPqFu2Pv03ZXh?b)%8zyx`%k<4N zI2dboNS$_ynA4l2wzj{u!`aL@C{pz1^3zO1~pb_Oj2|XZh}mO>98cy+qeQPpy7)m zQ%=qk66-k#R#0hh*ZuBVk(MWbkr|f~EoItfS=TJiqE~`{wI%amG9HtfWjPquW|@wZ zSD}1Cy9E|-;BAkXwKqr~*)w#-9LJ#Io}+DpCi2&34@t$N*wLaYE3ClggTJ#?L_*7x zS3&s)?kb2Wx&DSa5P0gJQ*!kTnHm&9jmILsOHf#p5}ABJy$i+UJRc=quMF{vs>FWw ztrWW>SR})LL4MeO@oVmO+ngDANcuj>yu=mXw?`X!8Tmm9{eUWlO0NohY^%Vz=4s?= z!6_lQL9&qou-DZ>g50#h!NP_B^$^hvTw}ROLmW8PvvqA45E7nJ}#1UJv(Rk5T)3S3l{5@`2qFwdStX?{85D`fdt>^a)%mb6@|gzn8dv%<8O+SRvR_~ zue_6v8!Q26le-&Oe-%$OBKvbm@=+S3jI2eg8iO(om;xEXRWodFV)?jN+w+5CbR67BNh&T#pyerSY8U8-%#TV z`vuw_ZlU&#Gh8S?F#&OeT|Qy`>(;`2VRrh1dsyv#wA(-Mi=aJCkh~uyE~t%F);5|0 z?}eR;xGVSYdTeY|GO&+j{XW<~Xt}q9BfwU*X%B_B)dl-37A(C%x+S%_;i6y6pColC#J7XFx3!GJsvjkecLc_(njF zm&Fo{Q}P>e-NULVhx7>ADtLP-8mU-Ez`d!qlLPD=D;^ayOn1Fjo1aHoOiuH(eA-cdRua~ ztsCH!e<3BFQf@#>iO(<=M&ECS9LRn2d0iQBPWEC)O6e&)m*&xBI<99?MFlM<*btMz zGvAw2X%6zOJtfOjY({2bW=|p_e}VKzWm1dgwB(}QSYo{UsRUb}%G=^P z8Q42ixqMZBRUUY?W|k~D2+d@|#p7kWkP0 zx6z~ipv%UIja+c!jWssh3c3AH3mC=;l9M5$MXl?mU|0UMk%A49>aVy6b0y}X?SZ_u zf1M0y|LQ_7XD}<Uf)R+c=UG7RsaU`0rSr3v3ezMI)Gea9Y@d`^fhzwrNk|6R? zvDc&?1Lty=b8thrpSF^~t%V%8ZR^ove;}8q%lYsZL}$3}J)gTo?Oe=%@@FPm%QH?U zNdMPW=vB^MCVITCT#p+Wrb`hksjY~rZc}X(lr&voCK0B zi+$oFd$^vmpd)ixj<9okJ@XKXFwH)E`}m2(VOw$xJxU13=bpW)2iv>XiJZpJC=o z;+R0B=#88pd8x?DJ5ePWQX(qFe+@h2=PnE4+U7m`(i&)V;$q8PZG?Va`MvnkB>%Bp z_d#_WSMEsf5XOc)Bi0qbT@_wxE1c^I5{#y+P#ti(j@tZP9GpA;u{!2Lt@ica|3C}$ z&9k;Wjq-4D&#A^>j$$V{7{)TbKH#f%TU2PQegRRP^^oIK$tK#X(R#V(03#nMI=jSHz zx?i_m_G=b=!H1Y2__d;Cf1Io-+D6$luc{d+aJ?O|7~vrnM^L)kYqi9(cu3t08+P!F zAjgicll(5|`brZ<${>}~J-&ZTY&hmJUC#^r_d3F}m6tetB!&hsL~H-?tQb|)TS|LkTwo_p5jSmolZMubHKdkYQe~WVNy%v8M1shn*l{IxjDzwa7&L^W0fBnM>$-Au*gdp=UAqPL5+M*l z&0KEIyo1<(f8)d?(Eif|J(5N#symum;*G5f)VAQpLXk8?ijwBh6DS1B1)&SIvVa4Z zEU2jK4j#czf?d*(Ro{Fa7bF2+0SUf7c;j`xw5@^5M%MzZOs56ryKF}+W&&(T)UPQ{ z^o=C|m#bsUI13m`vP}e9(cCvr3MwQXQMp{tJWlPlf8P!0|0M~mu zUj#cL=wNbtI459@mM#hp!yOtoHMGFAmq8e`9p!-Aj)V5 z9w9b7e@wc&-Co#~7thbouudlwu(%b!xV@5!KZd}-vK?%+qcF|{JFwS90G!oiS+bzC zgy!m>My&l^vvE9*r9h>C-MbV>1&f;i9=@d&bQT0?hN>a*5=<~MpN7j4-r^dGCs;b0 z)Dw4#qIgabH>#D^5;MlRR7tw}M9q$BU&&sD@NosAl-03*PrlcO zZ_|m`q)Z_ZFHfZTQRw`RCm-r=>e+qg$wxSZg8mBosXEj=KDRM)cMZk|)&?Nf- zzzM&A`*0sjDs_7w*?1rl7xsjLxg{pY=J3Zki69r-#KL_EK1DAZ-DWlYAx? zf7L<}#|g=x`Lc^yQ5VxPUd$?L_U)TfUO}L)h!s@Icl~kj` z_M0Gv0E#=ecW#F_NEuw;#!lHm)c@Cr5a#N5y>l|`mb|ipsadMD-jg9GM}M@4$vW}F zyly93@B#|f1g$ziRUtQKf|3Rc>586zUMdb!LX+)k3@jUoLE`J7Z{{3 zLdBBc)JpP};J0}pkVYEDp~%{nQ5}DQRBKTp^}{sB&w4oPMNG3fyhO^VkP`*KZ7~H1 zx}kwDQVFOCZy#a0Nn(R45L^L^Am(a~-Uf-t-^TAi!Lh*y8hu9KA}zsWSCQ6IZPtQO zVug`|6~gig7kzWc=zrEr!(Pp{GirdQ_+hfs-+lA!0ZR6r{?Sq3MmoXlqjp3{z8VHC`!VVeY_ahRKEn#D zrIq5?*`-buVeS*b%DhXEb6&AJ7pGVs6jN!yZ4{XGgK{91EBGBeb1%QLJ80;hYDuH` zkij(h;kvzang%gC2-ISlb0eOQLf^=+R5Om#kWvc{RFh&VA%83evt%a9c9|DTP`A6F zZVBd)5>jlt;n`w|FH?Xk!nor2Ssjw=Jm=WRMKiaE5Rmc6Lb%SCSxt`nGH5H8Jd?|8 zV$VoaFF6S$_P$2EE)?Ka%Q}DpDYFMgTQ>Q54#8iHaJV0X9r3Pk1PacfO=|0T0U7CQ zBCKH|ro;Fau76nWC?{x@DQy8h2$AGMrUg=SIu|B|t{8<^7FZ?V`(mC@^0zicOwQ0=DI8?0FO(GqQ>j*-1GcTaZL0gX&WIsKEctt2#?Yz zIJi>YqLJle(gwzU5UE*sl}SE2t+xOw0i0ph4`^DYwFPZLDatjIhASZfOOvQ8Fn_g= zK&BmfIFg`ysQg~Pp&+7H$GjC;Dvieu@m<+CQN$dG&WIk`x~LG9wO?rXlBV?#V+ zu5|;b3IuB7j(N$$-;Y;G6(QcnobDp9zmnu!NeON8N179YzC*?7=O{Jzotpa z6Lwb3)%}hL(;mGoB5Cr99Vf;xfI1j~8CC3XW+V$+%b>ah(2hX<6~*S}h%3R2AQdd= z`fz>}9cbjNJON*K$f*Rc{F#C(r0PMGrYeCc{$MR7@#$gH z7(T-&IfxP)F&6rDcAAVC#+JjFV!vKEP`~ZK4&>_{AM0duWYeP-jAB-Sc>_hL$=@_* zL15M{k^k8Bos+Bwp6tjdxGsUF4I~Q7fQOD5qbD)2q0T`J0g@fjdWvI?-(Sun zjOl0TtSBsTB$Wl6vwsg4t)HMmeS|THp-c)Ov}sho%-~zEK>)nj0#lvFj>lD-6N{+( z&Y}1!o+Ij=)Q)Q6cQ#gBc6&CMinDgjc@EaCoSZB6%m0o&X&Obg47VjGfafgO#$ zE%iI$LtEV=4e$=X<`sr_KBvCGDvh2zeki4`gh}lZXH=*LUVo01W?ZxNwhJh&6q$z_ z{O#+J(YxZUwWsMoY;BKZl`O{v_;t&~ogNDek}EWz9l!WB2v3YVM2{0}5-u&4<0w(6 zDvTCHqMA}J7!M6Y6-B%@E2IRyg!Th&#luM$s}Bz}QU=1dM`8(Ys)^Gq&FVj%F|mYq zf=x}FE~Qs((tij(XM-fm%bA0Pu+8-B^2AxzaC>@^k)|0-eqkxi%d>^YYtml;-mq*H zFXzf*Db%xAp`(OHX?jQE2m|AQRWRj@-E6h5v@Bwl0?Cx48K3zY$`BrqXPT2wzhEqy zPt^N!-WRu;${#;b@6U4$us*xMDum>6bLjV#?Q$dQ^%%XR;ey&DKUC8MPNQbb_R61| zk|pL*I_;C_FC+nVlMOI5f3HRw^G4y=8Sn8`BYqmAa&BhP??*~0xY*X7VFaQ8%7q^n z$7xQd@qV7=)p7jAompKkj<>ffaOCE3)h|Gx!Dpm?qcBF5K`kEfI6FeiT(@GAH?`~_AaFS?^II!UL4w-(cA zkxy~O`dz#dUtsMip);q*E@TFSZa&=8&^FUSt_Q1gS)p%%A?bi@MN-iu{L zQ{f$My|wij^w_WFq%It8^ub8d4O7`G)6svXQ?=ndSWkTntDr8m-ri!Yddp1-3DhDd z|Nn#4-C*@k)hB`~&#=v`q`0ovlu!uI$Lh%8fX@uua>(=!w_i=>VApNM0*9f|^+gPfV%#?m zc?u}ux)7)_z$9hu#FCA5)S~VMAy?VbchU11Y)~)?6VVpmCOW z;)^)VC=btL?P=zOT#21apmkQRVGAGW!QbL;>cI~V+)37}1=SzuqyU<4fewF5=kRWS z|Ff=)oVPWg0fhlS(t6Gv;A>^$SSm0Ij(2~ml66-{_Z-RZJizYU9P)ZuxbZ)nF6!G}RtCq>V*VkNCk|LtXx@AeO(Zy(cy3oy1a9hNrdVQG82_r36R*Sy}{ zf74^_&&=yGx|&`?JA;Gv(&m51)dH{g4&X|`)N*}OB?c?XBq7trV%m#X!q=kr<8kE} zyk&X#+vg9z#JtDgaL1fIKWFsw<#5ipdJLA&60Y$JbV$#x_Hq?3WR zL6Y#LU%t=HqI_l;Fdlh_!gv>dTw*RibF{3o38$&>MlVsNl*uHM=Bt{l0NVf-j9p_r zP9>p%GE8$V4!BY^rHwIHn0NHhy1nHpqL#x01VN*(tb_wsE*FJ=tqlS>FO5<4CE@J% zLLc7k?cCe-`zDZB!fAhp)ro9{Hk$1B21ke9HJ$zbU6A2yDJc*tWyNMO75nE!5Gl(M z(T6aj#%#5WIsXD2J=jIdrd(3fDlntiU;6c)S*1xfW*$O&FvGFsxJ&dRgNUWR0TiAP}?{M|Cx*RO}v4LAK4wi=r>OLflMy)&hUmNxPAO{EiO$hcxyF zk*FONxsWXK+@Qbv8K!0IbChK&%`x)e(^5*1aLPNr#3artH{Jku)tr2~I_8Xf#jF38zGeUIz2P zC(`zU#m}R}RoZ_FcFV^?F#fr!{GA1|fq($71d=bYb5C>A0dKD`;#Q*_K-%0;^FHU= zshJaWbWG?_>^PO_l*9tlKGoYu(n1d(>;kkX!m?Bu$4WIIl642s$ zIt7D1L$xD7omsqKEn}TrieGJ##12g@t+hsq8UTTSt{=@Ro*%Qnd$4`)z|zsSC*`X} zrf}O2o;`nf7L;uZjJ{A}2*t%1Z&v(ER~~^_b;MCR-=ylB`!cvqp=+q#C0kSI#ue)8 zSe7*)JZiyE#k0TH_b

{|E8Xavu8u?Se6+54*( z-x?Cr5pFBRWEh*EN0DOQX{&t81_%h6jCI1fJQ{zCl~!1f$Qr1H^)~2m$*FR?g?mc9 z5WJ_DMkO&-EedXm!1xAlse1Gjq{SMV4qLZ{Jw|V;Vs0I#uFaDMaWuTIMlXDJigDKA z-OprtAdyaIaQCox@8AGwXpPdUu0{vlsKfow;F`VO!M(k}RvFR6Kbi@a_%9vHLddh! zcn*KoMOoAre~e_i55cKFspw2RRAd`LAwA-%`Dh?-4>wP5{_MdwHs65l=iXxc{lrF= zCC&HckMMo8qD4Fw-B+w4;kwf*2)f0d0WaYu;BU{MwXu4OsmT>5XwrET9)~z3i4V$F zned!To{=-={+8Gyj2X>S#EMHhJ6;aZJNAD>tm|5f&?Gm{B~X-~pn<<~bh$3X=vpCl4gWo@f`dJ|G#3o5Qxu zqLVy2VGgA>;&MrcnL%jsG=CSgU-UE&QD;1A;2jys-_uL1JdiEw@ri36mB%6!b9ae??%Qje0~_G! za0jzrA%_zaHpu>Ipust~`3^NkVO0Cx8z&DOfR#uEe+*nBlwv1nkeSOufAi??{@tNk zxEun;?hlcuaQZ8%(mydcN&AO_rqN7sUIO={SyHeGsCfK+JmN~6Y&rK}TVr!~KN_aB z=CM5(JN8(l3(UQ+&1qd0A?O{LxQdbM0hGaY{`C0R8v`&gJ9a+3zh!8Y*eX6P2xN>r zy%>Xtqa-1tYH;AD+~Z*Ke=V34f&*G0HSt#%%?^{^IEjEtOFd{iLiO7m)?hdjhnwccn9w%yd3u=*?M_1A z<(s4(<-(Vq6Be|Q@f=ObSzaL+?Y^GK@me0Gi5{aOE~~^R23H**e{=pEh9h^ml=jRx zvSXe$CyJ5x&T($Ap#1maCPFHT^){@B`K?hRu_yROMip&VFkDyDs*Cu_TR;!ZZ^b|D z>2fHk+-&1ShyvG&!_h^>o3H|^QlC1pqXiU(sThr7RB=_8pqkh?1hXHjAug%HuX)5B znt~l35Jh7jxDGcBe{G3}LbKK3;-)NI_}p zlh_=dd*!h77_&#ilP_MJKLJ0>;U{{o$~lnMd(c#S2q#WMo?Sn5Ed@>J_o9v_dLJS= zmPwXcG@mupvSZm+hviRYh8=I%TJ%*H);CK*%MfnE94EZce>%~_MJC+o-`fEhnJAB0 z2IHnEv8%0s#0lBe0%JOjiti9RzD>T+1Z`pg>YqnGbnH!S%LUI5sJ)VZ8(GKRI56fA znC+8zpyz#{<$zE^x>{3p*5g-n@>1!^YK^dK8wxYlX(s4N#FWz$2 z!~Z^_|9&Z{6aR%M|5CZ?HECU0GheZ4f}(B+&*g6ae`SAHz!TUnpj(2BEt9E?_<&bC z=AeWB*v~7L2iEAqh%eT$V@44}aJ+$hKffL|&LrX`eJWm#%u6qc`r!l+*o(a7Yftnu zjbv`vR2BDN)6+4q9v;P)xcc~gBv08!yDnn!;!;Fio-fbkNz01I3n7V?NGr0x-eYj1 zdN#SIf6@FHzubxnZ`X{S4^f1D51RMlI(>6VF+Z#>qg=FwQxt007U*p^_lPl zWPYs9NVUk*taf?pHDpiZ9J!!1;!$*!Ve0;pjn8>EpR zF+Q$Gh7Bfm@inhG*^9q%H9Y}P_#+A1G#K~ne=|ZCliQk?rWB2*xN3&zu8Gi@4sZS% zBUCu>4@r2vE|;$L1f571c$sZjR0w;6tkO(d~Uu@v&}QT zhERn7+g3zX1{Nm?H7N0o5_bk@1TDQv>?`aaFM@{0c#%lTFeTKvWtFN&NtqL@f5w=5 z?ax;=GTR7?Z8+w3>N07Dmyzpi8CIFlifJ5TO$Wzu7@b%_Zki{0CI!#H*aq`5 zsz8fzB!x=qXb3uq?ern%mh{t5q9?A~T&uvSQ6JC0$BqUyMN!d`^doEGG z$$JLgXE>RpL{wo$xAYDFC5~Jz=akAvGqC5$QkkUd5AJLl@V3C)PO9W!L=YPEcw~db zz$<4U`x|CQ$F1$3w^1w(mBB-snP%+-b%I069hB<>={Zhc%QVJyB!v^Nf1QG=AGCs% zW-;SQ3F(T(E1sfTj8y3fs=c@cF;1~bB|j88mkylM)(&F}h~U)S`8{>AP(!LUxbAe> zXk*h#$i(m^cF|HW?;Ix*EnGX*9J}S2uW&#swMyL=e37iI*<0sU=R_;&zUd_WX}{;C zBz!?7qY&+9UX!oZ%~pmue?fuYwFSKD_5u=e+dog=QxKRW3%Bt|1RU`ro8(}l1zZWs zH5`g|m+36nDpBXq3s$e1T{j*H)Lxjr_9F`JZ5V5EgP50%N}P!+FW?U%vB4|Y!yquS z$CA`jXtQEoV9^rEM+{hdpdcFd9u-#E5$TJdB=c9Ejst8+80z1fe@9C~K#uZi`w|`= zp!hL{E4HvQb$RF3F5^E*EcC0sdEiBzztMrY$BM*7(Wq~{fwE_IpzL!yO?Go=@6^U^ z2Vv zSm_OdE83eB z%s9mwgiNdo7$(@wT99GvZUy#iGsr+GEwT9!SfNb3)g%9GknDO+5j@-%I5iwLoh4)H z)z>=B)F|*Vne`n|$bjc(mq5z^c!~lwZV|Vu-#SCqACeLZ*HyfLpE-XS?mH)<5d4 zzORZrf0&6r*gsIVZ$oKo2o37Z_u^I(>0OUrNod%4M?OSH&j}J&mU6J;(pxHrR33Mz z4RFV6+UuT}y#wdqG?vLdU<^*~t-(hd>zn)Tnwo0qY3xk{%$2KgI9TjSHOE_l(J`X# za9g40-^&%m*_qJ#wsM#Z%U*Hh&yQU@aiAeaf67Hx40JmxlbUi+I_PJDe7l$>IEyED zVB%^Ua7iK~O5rK{-f@aWZdjpF;uNP29Ld_o+e7Jw{T+DAT$?L#Q*i2>IR6_YeP2*p zYj4dTYs{5UEqm-F^i7HEp!{tTr`%=ClWF{+HKwyZ@n&mbzA!ue!M&}X*?I~;-`)AK zfA`b={^8a-@1FQB>{(ZkUZ{qLCv0GYSuz3D32W%B&Ao|@1(>Axu3tVtQ3Tc-7L!B# zN}{J3q8VBD*e4Hii$QE){IE(ezEb;%H{iyj-TuL6&hNR!hT4^-wx$#Z*&f(DtKT0C z_ePhO{vK|D>A08~Rh+5M5k|UPd<6OOL&W%fHB?Yw&E9GR&bpL>q;qXn))S8K=@C7+ znt>(9F<7os!r4pI6??D^D`s$lo^6PAg<+2R$UINR=}0G63pu1$lVe9GCtZDLhnx02ym@HyZ4HrdphcR%lj{6|sI6M`6z- z?c)GV>1HD^A%7pMzlZiRlcp?|tMJ}l*us;Du~)1$`* z8A=esIwO>tE>r>(C3B4KyyW(LgBGh35jj?mmI((=a?~~FS4Ggn6WoInyf0O7(XX}H1;b(Po2fs;AQM! zBo@Jp?#W3aF@!}JuOE_17k|nXb6h=-M6E>*@wM2Y;ATWbXgpSmzjv*zL1iIs!r?3d z62VZNaKZ!!BXzj@W7x1rK!g4EguY?T5GrhSjc+mc3egDkrZw{jwZkUU&g}wvm$3## z5gFWzr&*4ys3=te`%dSib>E!VRkIkg)KQ;JO2N35jTq~3Dm_FF)qnD8?}fyy4F$5n zv!+bkxGZiDU}NY`>mIOmu^>1+oKh?%YKj&KjX9(z(vWYoA#?5;@dC@fPsGkIaEc-% zH+(-^-D3kJpI5C8dr*(x6_h0^08)SmRMQ-`hI=7Y09in$zdKGyP8Q)(`ULa&_PqW{Vbpp48Tf3F~Y7hCZYJ_+#Bi4MLZN)`fpfqVkF@N{%7kU`C`Usv^e4Q_U&1#ZZ($#}+#ElgeOvM9z$U<7|F8UatE@5GuSul?c3 zV|d&h}}b4cO5Z2U5lxXel*WF9k~}6h<;% z{W>*ab%M;9S6p2i_6RW=aLFy2#T^?ZAUO1IN0!7C?OJ~@jJIBH!cp$>Et6k#1EI z&Ag_f7Z0c8`mB*gncN`XfTr*$THaEOj37Z(gg_VXu>n)dpl$Gm>U}-beIAHJ_0^Pd zi7A-v9IDol^cJLIZ2&W&wq=2Gvi%Al={@ZIEbn2^mC?Osa7=7*Dr^BX^}sR)nK8ff zbk$2>xQ&03O_a1CVgt!cESnLj!7B^oOsila!wl$a#o|eNeQIH@vREMOL83$K;r@#H z?i7a*sh#&E73U-gvn=9L01hQ`icT^wz}@`&6~0K-X!3s0?OEC8M4ANX=zi)=Ezkt= zQ9Ry(lbtwDZjM!dF)C^t;8HH7Eog{f*{HpNXJvl|o_W1{_~t||AV5v5Q_?N0R&x=G za}4_gt+$}A$(8bEmrF2|hRa9A0#}n!?43#!*M*2yW#f$zPUw{a6jPd_Iow=gTx0(v zJ}9*x?)zDHO{M6rhXPW&9DUixmXREVco6b^>QAKDMde9v*@OuG0y3YLl6u(&j&s{ZYL)iQd9L#~2%N?1D7AjjuRzqEth+_#_1?WVfzZ>+b1v*GnITllFMU>&A6p;kda_)~NvzzwQ z-NoeCq}s7YSX?G+RTH=@{BHL|`eCnn*xG+`XN0&)9jb9|?_)YN1_Bl9kjR${e3G7y z-{fK;-WXd$$u`A`q8QjQ$M^+qv?`-)AeD?0JLM`~BhJeNB#)9ohvZq0jUJ^5HXzoQ z-IdfJp?xPM=K~$$7VPAF$ODzE=TXrb1A|HMOK~SXQ^#hsE`Ylgz`)5Gl4o1rE#`mb zVCTEfwv=l`Iz=R%_#j|)IDK;B$9}5Yx2669YIfJE*TVQogY5g zD4mKf506r5xS(nzi$&HZL-BR-vxiSW3r?{qCBAOTB zlvBqAq=D*^Qu;|HYf5?wHAO3q1tj@2&Na=>uz1PXdrej^ z;L7(lhuFSbq;Cg`XG&P8NM}EF-k+H7;%qUC-wt}_J5a3f1Hzzo1|~9eQTKn^t9JFO z-R=hMMpa~((C~>K*=bnDqjywpQ-UKGX&%;`QiE|L=op~t5Yu{|E6L_dWpLXo8FISy zU>n@d{w*VO7nE9Z2CU+{r~VXDo87;LWznVsnF&Vd>;1tS48v7v^yKlwAPdXMP4hjx zC|5q)5+qe74d2_z60}pmNL_!_1)5aO66N3wzZhDD_N}8y3@^2!En=e=XQ25W|A}uc z`Ch)-f3)k=?$QzwAOvG}&#k*F4J>j>5uK8+Ki9lX>ssQK4JWlsXhicSp)`of*^Ow| z{8*^%!nY$-HB6J+UVaRz(r{;zqtvw-z!`&v$xT=fz zgno>Z-fOwv)^M%VuMDLRPo`VsX1Q1-!Y_@Gq{3TWP!RN!*gJb&b0%S>7cQ)H=7p86 zi(+jKNj|XE6Dne^j8RHO#bqJ^1@RNSn3+0A-qsKe$@aY7JA8v<6~>7tt2q9cf(3=? ziQ&oy0$=YP$yna&1AKq$QiI!tTHb-N(r^+1NYo#s@GH!ri>XI*Uxq2iDA;=6>F?|u zoPhmKikNUnetOHlP+0D#Exrn6_7n*_&1DkhIxrV}X13BTcFee3Z!3SBZZVgtVj;L@ zp52uC*w?%b5&3)=1sv5u#j}oTDJE2Pn4<*+Tvl$9z4V8-DT05&Pe8N&2pfaOP))xK ze)@6ur%wL%$21!JWPW4tr{4^I>i+cOchw)u`p2hc0blP7BKW5ZpS#QUe=<)^XTewg zW+B&+p(THmpXhc!ZO~@fLUbZ=*Tb+LmEl?}LAt!7s%W%&7<@olKl^Lt7d; zRgv}CkfS(CYvO}sq^r}kNG*wEK)f8QOVx)L+l0-8^SGR*d0Rb#;}yN}S~k*?w!&)^F()BmQ6y`u zCv=#ru=1KJ;1%860pJVvm+PN$?O`?n5zC%vqJM*YDaCuUt!cV7t_SPtGNK!@@dRn_ zxv|o0s%;q*>B9bmY0{`i66yw5Oh-k0MCpr+o3MZL-fmk5!-*>EY-y_Z13azPN*YJG zL?sxNz;UdtM#9IJ)&$ivue|0fLk%Wc^yH_mudjVdZz_Dcs?9J!x?=EL1sNNSs5u2o znxuN?+7eE$j)(DL)`|zcY98B4Rjna%`YSE2D%trYrMtiFo99%?e=e2$J?y`MBO$~= z+_rzOuDS3a(~T^j&`o1;GjOv}!^#FnlS_@Fo%thjwlbeSReq z!6~mYTU97p5FIjjUxt-H5rR1<_7wdpBZZAXFl;O|st`NjI+z}6`#~&EY2PRdgb|yB zxDfgH@Bij+wG6g-H#$K0JUCVXC;}dn&WfuuTqjayNvSRDFI{l`TAFJIh&n^SPyT-` zlJ^9&$is5o+-V2#8f%-o1CmWV?c;zOQ-aPIfoZC?~m(#FW#pLR*wZn7*%maKJg z*&=k-XEJ|U^JC?*2^mH+C@3~Z6n}LVFk}hlgjtMASm98^W07_e%zGz<2Qs39ZEIM& zh5EjuB>f#a$l7&+uiad!U$*LPmfe5ViXSQac8fajzbLt8b)+8;VbKQU2W&zDPCo-# zw)GuYHd_ZfJa8R$?(4 zb7({rx|{%t&Apw^!l7l_yBC{1_y~KEX{tH0DYu=uFGuucw;evRqOgB9ES1b7qM&&) zPO>$Bu)w^1h?lh zAQ^CZ-ObUAAPDwG;<$Ck(30W(@psIQlA@_}l^vNbS#sd?I+_(D9a}-o+cFsQ2C2GX zBJ**eRh$*BG89{ITw{N{XHBe0DIE;t=2Eqd&Q$qy?-oPS|6(LiLs^$e%_BTHp<^@G zL>{bO5Xn_bjjK6YtCGaPG9I+PJ6pN=!t5Pvb?ppK#Wj-Q17xZDn{Tzw2?x*GRC-Kd z;evyUxV!)o^8;G6|6=z3k#KjV<}DR63!kF-avP=$e1-HX!`XkIf@a~K%tI>Ue+Z6X ziHOpKiu>rBZ)8kyaOZ{-YV8HpEjlr+`8_gDXYqwC65aZav#@5c)kJ1w6_BrF4Qtck zs56@!JS>X@3CSkq*3K3gdIUA(%u!~?t-+Syop|1IB)6f;dT|z;F%HWT_;3srJBO7+ zrF176uIst0kNSV+d8vI2lnH(GcCcl0mR>4Ep@8{8(xQ@Jd9$PeWkV@K?{<6KJlVsei>YWIkVKIv-HDWN52yoN=IOBRZhea49g=v^ez zBMu83rZsn+`llTRm_46E5?eA0!}-f#=hgzT7j7@T@k@X5P=3z}@!rn%-cCEHN!Z-+ z2q!0o2{ulYf4F*dBCoPUm1NT7NjR_#3YkS^pDZS2kv&QCDP)udM z%aT7DxXpjI+;rgGk`2<|Jim7UA6G~rQ2=I?q$m*FLp@wd`(Q;vw=W|i$_d8WYt|On z1%~GmaVwdn$YzuXZbs$p?cg|c((xLK(Ai0|i56pZpittB5M@w0Re|l%L?PPin^PP& zNJhCeKq@PkwV94S(h^}W^c#gUAhp@1;gNkQT|R$gDPbt_LnrX9;WFEXAlLua7;bmF zxpuahfjiL|`?zJ2o#~Kdt<3rFd*=7&`2YByZ_m3b&fa0%rjK~!?TafbG^QIRkfNPy(66tH1#H+H+B0Qso% zJ}|$^;4e2E`(UHa{ZZocyya`c|HMN-@%3*QQjq>Ka<|!^A)B(nO$_hZ16#6AG|oQe zE=iiLNI^YHe{UEmq1a&i#cu=p7-^v<(guH#4ZZv%pdF7m&_JchDvoqU1vv6F=n0Nm z^1~r4JlYXpv63FD4Ef9MONhe@H$*oTo6YPfR6C<|!-(g1ISwp})7;XF4=2z-X4ob# zt^uvk+36qd-Qy@0r5)_1FDKv+rBrNoMPXqB10l6-_T#inHgP*2r|%l|0N%c;WO9GI z8t&u=WZnK^`0o{kY#fSejujqUfj(5z+IfWpAzVotnJa8Vknk;*P{^K1wI~oL3Qhc= z7oolmJ+IYcx*o!UypEXL{y!dSoG70MFHlv2mxfF0MiLHF7bA?8+fw5tP>P@hxP*(V zt>w_VL#H(zUMRIubqQ1)^^QhFa6Cp2@b^)2=`nk!1%5zs1k*S6!8Vde5-!P5E-ci3wY@jYv<5EmF( zTXTzcD)XsOw*}4@H@uWK-{4ljHTd;?3{|+%cZxOH%<(-xpou9*`#bk~;jDiS1`#&Z zES=PqytiaBai9q!MQ8vIZa?S`jx>^iT8+BsE4$+XsXEAh3?5Luycbp&9%jbuC(m) zf^dwvnvkr7i^MMj^vo_J14n{5r5wJ4cXvHSj04|9k2*6QzZIoN1@(WC-$s2^mwL~y zc6V(_U7OWt2ARBADIIM7@On-*e!C^maiR)=a;Ob3AaU2Tf*c2Fgh8Y?-#0ihT59Exa!uSpP@= zz!rQ^MmokU+Z@N42k-rP)$m`sk_{lmntHQ-YNz<|UVKE;A|`*KKFQ#Octpu62u?Js zS#_eeNB>-+PZwvIPYA+FN=Aj{>rav_d)zl?2q^ZVSe636&wLH9xSC5%{O0iM>H3gQ z&Zi#j^mY$-!y%y0&mIZZ-Vfer+p1oUSKP!`47Hd<4T&e9Jd@fy8%io34)Zy1m3cvP zeog1ev*$0mnw)>LmLZRx0ZK2x5`Fj{#WjfW2e3Q|cJvKi=%%dcd>S5I8p$LI8X%p; zHNmQ&amDwIGDa{(PXzP;*2jBOi{IJVxrErZ`V9In1rv&EKWYHE8+l~q4 z9+|38#`9Q8_`t%s$BST$X~Fe|lrwi*ZP7NFBzYEQl9TnUcMNpK{Y|P1edMP4#J(iK zlqH6srZayMi~i2@N#c%5<4UTz%*2lCE%iWpUZIgUL5T5{Di080Q6 zXv?&Xz%hOJ#N1}YMy~~KYWteW8qSU7{lkCw*kxL2lyF-@B~;MGsk3hTR-9rPt9bzu zV1(sBptviEPtvlVBuJ{y`63F=yqK{_>pVeI2kn3?Q7h)r`Y92qJYT&mO3=!?{Ufor z@z)D3gJZa})DHQQ;NHub23K(oZn~f;hS*g|y+QFMns3~@Ug@lO(kqkHuM-(*G6{cM z{_Hc@+w#e|4I2HH3flubl zx>X((ZI0MOGPIJ7Ni`nL(gb7Y1hjwZ+{T5+C87(%Zg8nY0&}h_lUkAFGQ^y4Sj6fN z;@gA&0JH#%b9YBnascd%u~I@o{N(b4oZ ze3rq=zA7%!kCC{c?bbCevWSL9R;=doS4>}44!Ol!{IMBwE4bs_+#KHR?c5t!_eM}b zV7aPKM2a;KadnT}8RkAB+irib?|&Z+N`1sS!c*;`!8w>wG_`_Y5_=GME8k+4))^$i zZy!I2A|z99Pz0S!=jgD1_*s9~HXyqkds2C%%MFq;SGmTji|o_HBOXvuWAvQTJv{35 zqKc?llnZ&ynO|OcDuCRZBTpWs;5+Ub3%u-Q_O2YGVC%9a7cD*2(kbq#e(QOt2Lx1v zjrG{fUL6NB96CW*N^0jZHJX#;@kf;a@pac`K6IMbHmdfKVm0dK5_o?WKs{yPSp7DZ z_PZ#{m5E|&kh!M07dnN9qUJ@88v4ZZ4%1p-w6z~0<=I6vDvE`rgV{)Bta3eTPN~qx z;nHk$wNWF{X%2!DQSq$~-TEO}2jBN+t!z^NHWvd1WEz*;P8(J4lFNkigINMz>$@eQ z@AuJkT%=_Yy-Krp^yz=sMK&)G8T2B0F;C09xF8Ku$rOadVspswG0H=BwiaAuhfscl zt!{5Ex$6Ood8r)Ecf#?wd-{W(E)`b^>_>laN+54k+j>xm6bLV-eABhzMUjS^FdJMku7WSnb~be>}cvh^MVf9>Vyqfryzf?%c)&aO@0>C1Ss@9 zL)?dnI3VqF7a@@m6#_Ngplfe;H;AxbHhG^?W=WaYG>F0~PL{dI9y`2791RB2A{b4o z(NL@5TML`-4WL2OWys1mm3St9dc`D~o@6AgY`S4A&CSzj{4tfxe{SloZ*Pjd$8p*4 zUZEuDJSb*K{&|08w#HNfarf@gRu8eD@(5AV^90d<@4hi1C-=awlgL_0;)#Y^aNoI*4nIMo0RqgYB(rOrP zJSPv{&V@m9!9rx*h{oBEMh?u+{^q49gmUDRszvb&)gqCiqg%;K8W`1+EavSJlPdXpz zO=AbZsu58}bg?tnm$&Ks_ysKIv-K&9bqcYOvQu zc!dPPC_sOW|8!u5*Vk{jQmZD)ptjp`gSwAgcy00KFHzs|%Zv%Mq1dx@LG%BPgNcA5 z0bFE?m}GO903)?_=+y0oo3+xl=T9|CJz+nnAs;GD1g z79%&vJzH1|=LKrG!BIzX;+x4^9l-Zsk-Q?xvoG^HFr;lrh^lX@WbNMUSKCxDg?^Iv zAd5+3`kG!g2^p@`yeH2U00x~?(9H+qBb%blK}N(VbY?VkAQQYxUv(3{%2>-A$cb>x znpS^w=@D#@{l((z^QzfC-7@9tx^dU&XrlExxQ9+=Y!Qgp`%*aZ3coi?K&8Zz;{Gue zOgg|R5JAVug#h{D_1rwGd zvW~$FUqw^=B;U=b^mb{e$#h*BysUbSp^kq|cb%Uu8b-G}!mZ)@dX+ONm5$(Me=mNP z3z-J^mOcBHScwLg_B2>k##-uQtys&p)CJHUkZn(?PfD%^Xmkx6-}d-z+WpF7?uFBU zZyG%ODYWcv_xj<^*N)WL903xj+E%FSfC|q0d);E~3?d_({^4KzW~+f6FSp(49~~Z$a`3t(+#g+_n5;TZZ^I)aY4{J6fAW5o4tZQ+ z@Tj$R|6LcZ@}AmwmREs;vqN}XM`w$MZxG}I2m&?|P#b|rKw^)1DLtGW%9$TTXQA-0 zc8MV1n4C-1QcUho*{E)4ZVF$McP)S8nxor;oGbc9OJD?N=UQfM7c^k3MP#h0%xiHX z6w!@=R#hMjb^NWiM|hJ`Ttdrwy;pCPoeXgGToQ}Qp~PHL*NTAU!+-QKF`FPv(i3QzWw+cF%yjGdQ#;hMquRuhI88_tWTjGKnl{7 z1DzWS)YtH~j)9CG@j!z|=?2Ybe6$ca~&zEVDw-A7G=<-XRhtLBtfbvoO8eIbkeSNKc-u6_aag8Gj7}8v$CEI@ke+ zYH;shD;yuo1hLzAK<&&#+G9HwgQPUe?0fgD_HnOfzsTP?I{N#+`CEx|(jXSXJZs8h z>hK`Qnwtl7_=9W2LADZF&}dxoHxCE(-qzdR;FaB+5AgEBHx7n#om}<0sqV_*EdU&U znMq2&rLdUJQ<4Db+J8u;&Efl(Gwq)qdlR9k#^Q#EpT$O(G2+*R^o~s@?S@eu8^*cL zKW!L({Edn--ona(tHvJ3qA0KtKuy9<3XewV(_rBb8fYVJsJEVBLsm5wNnTV@qb?G( zsjFb=Fo$1M%*NgecQI|B(d*uN-mK2uZtt0+t&n5*CmxRDLVsD|Jiaz#Y=fdO68k&X z>IWN~_<$BrLZaY-c08Qk)wpcXPCQ+27qcKqnhD_EA2ATAV!+OK@)HL(VZc>ztY)YK z!j|3py|*AlMzg#?Cc_|VJmzB7QbwuhoC`$vplMbs_y^;SuBC$KUy#~GtY@tFCB;Z{ zir_Tng#AQKqJKJGL#lq%shP=;XoL-sk^))~Lw2sBVlp{4Y*74pI#Qcyi$)?u!b8CW zDWD_+O}v>jwVeai2|D8k-6npZBjO3_h88$_ni}b1->x|ElVl4Y_RRwiz`>i^MAi`R zHVaf+--OHqO9sKlLEDC z1(W@5cMEld->*%lo+;w^8k2u-8d^{Lz4coP4SDcLVdAU#HV)AUcT5t9luBcqq;@bx z-bF^sIrOl54v+dr{!E`9LzypKN!oRx`p8vAw&X4?K=cP>po0OkXj!T=$Y^5Qj9=Dt znrNm?GZ%R!lk;zb6-78`HL8n<5CPz>UzkBxJr4??tre4ta3+5gq4KK4n{ToY1(Q zZ+|>G_=!xF!^6A!mm~hm(cl37GLPT$B}YfQnA*C3%h6Of!C>bPoPu-Rh~Ddm;MBLC zfFrBaK{z@EM-T_>9Gh*KVzaH&UtJ)RL|I<=bA$ZZoB<#zCCU8}>_2Ca6c^=RIZnz| zZOXhI?qFEyOsX8G|xhf5~_28%f0th+<3f_3L5N3 z*nvc36TywI80#i8f|+dH*qB?B>9$D#3-<(SVJc{26EJv%y7`T2aMV>mQG7$o0H{yEMI?uQ3jPkxb*&T zsGwzqI%#|{3GEwBqG+9HS@ zD%4{HVw|6YZJ5}U7U&zI2c!X+^1PPy;&hjjG!_&OxsmYO)sCesl@KG2x{fn}e_mI9 z9}ZBC(p**~9mCfCct;lmhGsVjVQRHZr#}*xjdl z^vwQ2Z!oy)iN>ysAPz?Mna+V;FgWP#?d|#(Ff9_`3R3gn-eIszwpcu?8oe4Z66Jdq zs}QT5E{kh?9ueH0Bwq*j<970zT8K#-gv~LSqOx3j(=>sUK`?(NV#!iW&0;B|zKBa* zfi<4RJ@D=;B_m{-P|Lm9-GA#MEpN%0S7(u` zOVu1tVPn}G6A6!QcPQzajTsM_W+3i%(fg;&_ob^a8$Y z>v-JMi)KTahc3328#^rFfY<--r|p6Laf_)8Ap%hM5rhptE=L0$Zoy~-=+imPa7FzD z_jVnNX}^Ca24oPf_ufaJq28Y+QV?aeH1(4vC7}-M1^4_5Tz#N#A>Nn(yXiO^NwNK% z&y=^$GZSv;3<)XPK{et(RbR?8$2pO;mcSvkwZiN3jW4S3 zPy2rdTbrXKUal9wU5yN}JqZI%N^0UCm)kBBX_YQUr z0~FGO{*F_|>_K;tHuO(!cnaEBC+2Q%=SY){*myD}`vgSvEvDV}%x-V@Xdl0Q!yJEP zwp0eNDe~R*;iqgXw2X3*?OCzo9ut}q_32yKMpjc2C)PO*1ipOL*haOCz7R8)AAZA2 zP?K2V_mS=&^zZI|hVQh0w|{i_*#@!OtI)7Xt3X03q6NzOmYz2!c0R8>jwKJbv4&^eqo&pYD51PNk4 z2moKe4cl$xuCa2-1o8|B58w)3BpNrY12-^oicD;;z zP&;nMv0oDP-}f!Pb?TtmgsCqT)m&} zusM0#QyC5%v2Th}YDg{o37daq#~(=3IHLIeGRu^kEA%LRA%&RmW%#W zrqqUXunw!B1}H?8>=%MveDr_On=&-*-_tk%hgqn;hl1Gz-Yj#Trm**sh{?u$vD z&M#rXpbCEg{RcbV1}T3XY}WS>X#Oca@^-WrQZ@M`LY#|ZWFC3ir}NA^+erDR(@&3m z$*(NueUnn7>5>y0!Zo>1wO9t_dkPsf%%W;2q6$Ys;A>tRUsItctaYNWP;}SmDHY%EYM8q+Ta9TLB;S(} zbBjCn$xJqvw@X6zr70ERFE3BDka7S`(a-_5{0<+)iWq+@&Y}^WY?4|5FJe8rs52Ad zCZH10DTa}&M8KR}m9E;xruYujU%ZvmUI9fu%qQn~C-#J55dwe@CO3ZzID;bf2*(`BB|)wN&TIs4xF(pD9O7Lh$zX!QJ3~GzDrZ8!y8m`B3`}RR zbE=inZnir0cC+27k`*tnpT^|Ns9$e&?nQxWrA5j^oiF279czc1IMFQ70b$t85;O%_ zL@tq=YO*@50Y``K1oAU5UwzbQ_wU*EBR+*zlV5*t{@!m4`uEuVi=YJ)+}kP|2Lkk- zy-wq>cW-~43eRVoz?sjpIhd7X_ZK9sTS()c4iRyvv9s2~6V*1rVS(VrEHetnx@GEg zn1t(sQxx=hg{H!0S4!Pf++x|pV1V=!;1vQ?W_RU4P~hpjVs#Rp$ghwLVz6 z>S>FE`_OT&aKqPy(k$!BJiDvHdm%m63o_ykT2_>GxFNuOHwr)4p)mC zo7_o6w1w+l^xv&iul@Wz*_-$aT{5@f1c-k^$Q0UiGMx}5ur8c%R}|_6OY2WS-Oe(;Oy*@ZG&=#6Wz!NpHrLG&YYDBq)H2E=I-1nF z89NI%UB3<+p>BLqpG0;R&kM-R^_f@s6oB4?cU*#g!G5tK;SupMToAPHxetV%`wJLM zxo15JdC+`d4LJ;GBr{mJ}G}QS4!7|;Ic}`mp47_Qdr+XuQ9miZ`D?lgPK9J z(F*?1<{oi)s%U!BE1YdDgpvLu4ij~WHZSC~{IM~%K= zvs<=Ga!%jyXdhl$Z@GbfzA(a($tFKKYIN_JQ*VMfVy$j9oAl3Crv}T>rT>3Dr2jpl z{~ci9#DtV#Z!oyKwV-7!Fs;z`p|B9frEbyM_AWQZuH@K*F0#*v?~+nIUEIR(Ix(nu zdHot+?sV#~h33gWU3#5KLW`%%73wa^O6*nJY!S!NCVm1b3T>{jg8atkr@hJ(4-XpO>fRE zU+#uL(%)yXpkX=jCww7)Kv*c2(uPEdYjxsskt0;0BS}P8w=FBddEXaX5zb=6{8G@H zTDzIl51KJ5E!lxiJypn_*l1E#Bana5B~zY(`N&f}4`L+{2}gTJ-CBRA*LBrD%uxaHOaoFV*H3xtTwnNPP-1eFCjv@DR)FtJQ(YDViKWX_WpQHd80Tt0?>)h}H zxSLrOS{(z%tFD5Um@y^9c!`_jO94J$I6T-mR>#n8PruoF zqzg(2gw&b$M%{m$a8GIyHx0kb*cT#OIA3vR6)QT6&HXIRxvtRB`iiC-6HO10qN5bF zQqJeio$fUwAM$mV8kJVtj4dZZGiW@&&vx{`z6@g7+^Cje3+Fs( z0k*fLr5|1XaP3xSL7V!=>rnp*kb9puqLWaZ_!WZ?tFwP;ZGiAJBo4kveI?DI4j3}T z(qY2OfeU&A2`VK%g>v27`5svSA`L`xM|~&PBfN%IT%KeG_xM%&>$BKLy;`%|_SAm3 z25C0s*Ds&FG_HIpM{Cc@6Ykqcpx^Vp*s}DvD1&FU9Yq-o?KMOp&2t+ni;9vd(WJUJ z_)U}ph$(;f7?eaz74EZX{H9j0s{2(EPC;aXV0uoqzQLXUa3XPn}vw-`tzz% zqxnQN&5er~gF50WB_M)bCm0EnNsVZ{)?LLkz9G0gKg*XVuV{2ErNL}_1J^MJN3uQi z(sbxuVmO4A?y))ZmYWPd%~`923&X&*_)?Oda)f_iA3fSPU)IqT36pmzX@HCUDiZHG z-X`z3^zhtvOAEyjYjCZrRxiE%=(ygbolpp1K+2$u49Rj(WP**&Ho;{`ea+Y(yY!GI z+ql&ssbH`+96BY@MnV{>Rszg~uvPo~GxR+D4xSffc=OBUJlE`2G%d_Yd=%bwuBzG= z6Rv+dA^=uuU}rO>;K2u%Tn-P*1gO$I4N^DroBJE0eCwEOydQ#a2#;oM-M))q&BMFM zZI#JpQ&OBTY;x{;(I>#Zg1C^ z$xgpE7<8k(UaN7aA55b5p~kRh=j1cYI_!Si2Y1Qa-Tk#>!S8E~l5rl7gzOMoj-Y>~ zbYu6)g!F2yjyVa3?$+S)+?QjEW#^exwDlfn;-l3g(xugS43;ElTF`8h+^&z`4?;+x z!*uCE!>Z_Uv)*$S+^Z*nL+Yx^led&m)0_KuL>)@U>_2RuV35-*jJjYekw100dFv9DB4eS6 zW7wWV2D9l8xJs``(GYdfJj6y3y$C11iVJi?}V#0*>du z#}~RUg_Xj|Oi8ownDc)?`)l<*UZpc+0q1^>e%B15J9#ll7oqHXDl&Zcz7_uR`WV!!9Eot*_ubb~DBOoqug=KOCR>r`aFdv?lHx_OtoNGQ zm$;DomGUrF;#_}joqPVqd@_eUJiIPefyGk#K{C1|lxU(f^C?WynGYu^s@6E`$KLnu zwVU0e`Y44#dh^+5^;X}6#mzxqeud5W_ySD0W{cr151ZggJ!;b5&GRxQ1{u|qfYqbu zDe`jjy5P&1=diGIJTRQ~L zz22bP>8to!>#*G&v|DS+dY!Veo{I1NB`fQ7f2~L4N7B=4{h9Riwms7Sucudros1h% z&vP4_E#WOzwMxb7vLUu;8!d1F7jTkIlDWw*cSpNG!5lUZ_iG^o5%`yqm_P)!?@uTV zs&UfdNI!p{gCij!+9y(PP5S*9HCUq-C`LnMKOV+MID(g*Hg5}*HHH+suKlw)Cfyy zoY-Y@W944WwJwaaRPd0$y1J8WBY+jA$z_IRY;J!!IszX1j=}2*{8{YCDAJ9CH+jA?%@H)+$2C0L*QIoab2{8bTpsV*$*DQf?F&fTFd;> zm%@K;HhSI8T8)i#f&+rolJphV45dhkz5*u@*xGfkX=4H>8o=c5UOA#-wPf6h+3WHe zXjrGaRCg{qm={DABMBMRkuaV(1JS9T{L+RT#@JTN8;hY`ErpQl00QOc#U%1nhCEQ` z1#zvT_Lu+MyX)_nTeN;qZt;eo)ezozAI5*HKS6TypbJkbhfqufP}Jasi4okekJVmCBn=)*{4!5)9k z#WY?~#VLYhixVx0jhQyD_Qv1ndTzN+T>e%B!ho zcbbe-)|(LrF71J!x)D=-3b%y67TO-33Yr|{I4O`Iqti-?*Kg&!#pw^8i~C?-kOE%T zhw0Ox9O?4#2ScZj2e0g}hS}mqzJq^(fUHi)*Yh6riJ#2bpwgLQ0DHL!!z)&b(io`4)GkXv|!z8OHQONGJ-gIwm$XF(py{dKj zEmW)BM*(~^0?h`63aMVB;HTpV?8K~&!tFlqa*2sQrb6~d)B=9kh)&JcJF}&7j(JHg%E-Tjc~)c50^KlhSrRd-L-R84iwtgb)#ooJZQ%yX)qm{^6geg4fM z9KB7_-c%8ZKQG|e+SKxppDSNPsD3kUFo9;UoEo*~w1~TbjO5fCg>-^PQn=B0<>Ab~ zxJECeg->_9(|UPm7uuhNTNx6$gHfqH@6rC1TGn6m5?*!|zQa1cIJ=F3E!xK^8y-|O zKPnMyJg4CFjKRquB@!K7dRl(9Wi1j4DV})EKaAZzVrF?%BPF6Nu}QiM0nfCC|bY3@K-=A!`$)j}PDS5p%eV^`8{KNwVDKj|5>_)=CtO6eV` z$&T7qJm#WtfEm#w`Brx4B&Ns~ReLj8xk}h4F&u{o9V!$OXGJ@g#hkfskQz&3z3%9} zF@X!;^f4O(h(B9D_ijfYXu^RK4}T|^lY_B>H1q29>{7eQ-<$4&&iK!!YA?#ZPeF>rj`p7C!xaO`{t#rjX!QPNAjh-(Nguu!d2Gi zd?t6G%w@^f3W`H|>k$tx9mXbE?P&Ckn&#DR7hxEo*f`RFOVSIpRfp3LY|yzf!ZiNgPW=jC%40q#Zx{>o0pX4sPzl6>mreZ``vZ4YuzeNI~sR5SXWF5Xf^UM54|C+=LX zc${zEPoq3oCb+t=9QL3rJ_#9A^5x`i04@?GzXBcY4_P38DM>+?yRD8i7#P=^bl)f9 zWbVDE!^(_vHv5u-;_F?7F<4I_H;pb`GF;>E-9JSgVc0rT5Z|Q?$Q!ZHbgTA0|?Zb&{jY%}dNLAe)X3l=5AB?RZ5uFL!khGX(7< zGcsuM{dO(%voQ>kN4B<{@QBlboGMqL!D(69mRr7?Ge?{S@I3dyF)Y^PImLo*jSf}L z9-_TJZfpM=AIyH~BZ=gI^#N_!y?llL3&1 z3UrgU#k^>>Fzk2sC-~+{q$=Xeb4{$2L6@!rKJWExI?|5>dtq?Sh(8FZ!i?paMlHjp zTHSYwCm-o7bl2pE3EIiBc~5$I5KD|UzsIr4gPdOO9_IRnExWR?8K`v>r36usM=7Gw z4g!vSu_D<}M^Db{H zmL<2bJfsJPcaf&}HU0ktg(}HrIQic$1Nx^)jeXByslum>vJ~WAJ-DoB)bx8SW0%SIfQGuOt1arsdvU$n_ zgSVM1ast(L%|UEPN89%W^P@#JlhH34wJvBn*MzQ)@u9S41n%a3w7b$U7MVPL#+haK&%sK_4Aq3x8fKA<*x=*Nc79vxlxJ&`|o(Nzh~LB7HlhwtJ~P{ zcn?%g^c+cyd42}kz)y}!AX8~^40#A*A`K+h{fx@f!6Ol_lTgQ}$fSK1v|Nl&lp9N^ zsdDUs)22;f1-kEROU}0gI6PDF};e{shiD-BqH+2c7%s zzu5iA6p24CPn&Z{-uboEYsqm~hUvV5PXtEU3SG*p(jSn_ByBdj!=OX8;ghCT#l8v7 z;&63hG7Z9))?qYC99s8fq`A?wsjgv|Zi^q!6;W@O&-C(K6EwyTTT3%97J-l*%cEFb ziv7%achthjk5?#%4-DdYF>0mCt^1C=7-PwL+vyX4tLs#SVt4jwe#&KLSE0RkP6Qj# zqNb(3L!GO7C>zeAT_?1k5|xX^Lxp?RbcB8m+@du`Kd zxbgk9V@t-kH8A|MQCN7DZy;sGbO=~-3AR43Jom`bi_z~rXzJ08-PPu)T9}br=p|`d zc|4}UrNzBzjV!+hXF4=3eF%y1QP`|?^R@GCU5L|ocUqA=Gt}VV?(=w>X`&8(Kg}v( zDMjmf$O@a(Nf0}0BEDZhfIs;JE5*uas9?YNA!p59&WOYaTLx;B$AH{>+U_tDM@25o zH0NE8#lB+tTkmTT!p3|X1oLjB^3-zXRHcp`l^A^I#5ASEpWG+@0c8E-=YqwASZUPD zAkbN0oOV4CV>GDR(Nh!((;roxFG)boavA`J>3h`G3(q7IW15U{{Da93Af#s>rRlNxmHA0NfzF-Al&zR zD{z#|1%VgCOcCP7D<9jW8U9^>Htb4cDWe}j=ym9oXP(GiO-MJQGvk*bbg2n@bfz-qby>B56;}dO7jAjSfXzrR z1BcLFY?)=20aXF;%MV<2hq~UzZqEwas>3PqEF8{^_Jn3WXZnH)v=lv7eX+FX$mqka zz#}$A9JPkpM|L;(j9Bs(?Q!kv$v0Y)39G1s6oT=xzhTo*8#8H)zwi2i53zLSk^uDH zzb52=yoEvMZ8^V4ZDKFgwWw2L7<+K|8F5O1(k$4AEz{6y3l@x%Yxnn!e``+FUg~Eh zR2;?UZ8FjVZpt4Cfh|oG3MnJ-jq{BQ?2l~Ysa=!kc*W>=SG2?k{Hhnf2J%DPyDC%A z#i}9nQPT2Xb8bRNHUM?rmBrA{R(ki!&y2kDska~@plm190>${=wR0>GJ*6@GocgkK zVwg$D$K&QI17?uARljvFkshAFnzI{w9F|pOF%8L_#1B~}T;taLX4Tew|1~IHoPYj+ z93E1j>MQ2{uzVx}blYddE5BQhqD2P!3A+26(0vvi(>47LAb+Db2MJU$P|(o!PYz~a z`2a|%;8la@cnf-z@LD|V9_Ec4JC}}H;YPZY!9^nl9A4({R#|GbSSGJ2>$H5@2${_G$G6Y7iI6U}&T1P-)<@uJ@WTg_zqituc3&gP zvH(kezv8C@nzn_ge;(Uxz(igzRzRiVls<@9Xe@8~w@T({O&O;mt7tgp7ow{1@ilQw z>6vddu{0t!k-(ur${cTK`XOmW?8~Q9iJv<(+0YV>QA67PWG;6Iwf(;5b!+gIIKCrDdI_|N-p65<_%9P z8FFotqIFbuqkBb36^2nK_%M`jEg~ZCvlxte=}q=DqJUK?5gM9pSG{-XUqs)(u;eWD zNrG*kohQ1UI&I-aEy zNQ;Czu#1(f^Ls~$;U-hU4*pbb_A5qVB8~^_0QH4(cuEs@mz#{F$Y@u+7DGJDqngX- z+C!|LfuoH;#53k=qd@3HdhGLeTl4U@(l_GMjT zM;-bYz3_ZH8rtT3!)Bu;?i*%1*P@JtHXuxp{xVG7>xeT#?^ZDAL~s#gjW1c~!)t?g zNno(e_struq2Wrd{FS&brkQDG?M7DSiHRZM3jKT@lP3oI+1ci_nYOHEkTsxgWJeIC zPE;*GlV9G8FzLz+5r>^-;z2ZJqbP4r3QiF+ifLJ37>~R}h4yB&eQHS~pYhN6dO5D9 zs%WlUxI{ypZQiQY3W5p9Y8!Uey4-wZgU@3BoRcHvFIclsG4Jf^#FZ#1=Li>YzSK(^GmnThsi!Roz<7h{4oRtJ&t||FlXp{& z$yAZ&2tEr9kJri|*ceNYtuEJXNE}+Xsn_Wp-i`v)pG_HA`aYuPK(oK8@|ICBYNqlu z_~y#`2!&gd>jt}t*MeJ#?4{1@;H$b$cZiU7%7EAAil2VJ~G ze?&oBh_!McQG`c6)1XGGg2TO`km#r{L|Vy+RAccD5FH3A|4z)j9o#5cES4)y%7n$^ z5!S;?{?aboMgUdS_c&yW1hl6Neq{zBkIlZasmx#2a5%|+}yQC=UjRG{@M%ZI3F z{xTiu=x7C$E^L-tD2)CssB^&{guR&M-}?g_DLtY9KF~koRqr}xPNikehD3r29=->> z&4#%*R=e*{N%2Q3Dkx-&h}4@N^wVlO4?svYSTL8|K;=u{71w4OfO>KhY`q>*8%%&S z6gq&yJvrjh)sYF4sFG+_>!pK-!CI1FVY;VjLVUFYl#dR_1J9)AI ze>OS@Jkc{@IpHP>UH-&Dn6mHDhq2OIWt4y0NrtLJt`uX7&TdH5cbU7vM*kS4gTAdM z;{JJVkhM(~-O#R9>jx&7V{sQXW>xSP%!a+dtX|%oTcewj&V5Hr4MR*T;aZDc$1QZo z%m%)t!2A~L_IkIiET^(!#9U#yIJ2d}TRk6WSgqOfs zzkV4wHbuUZShr)_-izl3Z(qrqZP*}BtWF#%)t{7a52$FpV!(Qs49n*8K21!7zK+8f zp4s{?QgRW1$5g^rhR8lLdixC~E>{i&R%lfcXy!y>tR-mH#$?ZX>$H}Z6C-Jg^ZGbT zU6CMvKI}L@2A<)MO=qvvPBRNyXYyG5E0yu}J>FT7LxDI=C`z|vqggTS_@{Eni926v zW*3#kR=ccbzFzkavy%En(o$F3|h;--d}&FB2eZTETTT8L=G^o$%Jr18C{bcVN0 zbsy}uU%o}VV#zvOGUOeo%p;bX*sSc!54>|lAq+c{+io?^wlT_MbJYT>-<8WA^?nDN ztZ>CTY#&ZsJhhV?>xLl|*MmTyHusU`0g?ff$DUUmPB7p5Vqo9-^11m|szpOFqM5=V z^R~hiEQG+Kn^3Glkto+o7o%xBwxbmcC3l!)bBL@-NY8-Tb}AdkEJ z5n3MAc3gG4bGOAsPIX;))9Ckzf}PSn*o)jz!L*-f=;w-qxzT9M34%WK;omK2#??DE z$B|9QA}2yfwJ{q*MnMGP5*R_w3m30N}9g!ld zzVxne&BRoCx=Ryz?uug?;9qbjni8h}0z}qKb%@V!{3Vj{U++%0a7mw<8HTgw%?$p& zTIXYsiAnT~zGnzf4x;OX-Dy9`v?M3qjnY4PG1;$I~?K;LAMagxshyG1-NB=$_Wa42(SW z4(e6;wm-+FOZ zzT}+-0IqKO)fi@$GkVY`uj_~AhRy4sc*_3pVN5Lm*%+fi4)#b0F<9zP<}Asr8QM@` z1DB}=Oqpm^4?jEhK*}30Ee1G->a?`5dSyr+Y@~nl@-|ot;G&8kaT=CUm^KkrLcY~) zw?0NMrO|Wvoj`x*@jyS6N%+QX_(avOl4q_aXYf=^y4)-oP$X9?6Yw+^$?mVOLaK)`0^R+((AF)n+LaOmqB}2Da)iWjs|k; z$Qs;x&g{uE$oBS*kqcRUf%i?>om6}(DI@2mX+tOxq`W5YZEyGL4ryCUF{+xZjCI{z z{5XkWMTcN0W)@Kro4ZMGVhe4F-#>{PUo{#DN}omOBxg~(Jr!}d?1prhB@Egt6SbPm zdS6oi#vBSA_puGd(5gq=VH6d=e$lWF{t~fXS-AHTY+0gAFtgtVyxI7Dr2gPWejp*a zaTUJ+%7-a3^TYD^Y+*rf2k*_a3DH596OUsHh*5y^{fblUD%2NlKC&;7dxPhGTZp0j za~Dq_s$}*2QUH2PMs;uv*ZaL9^1+N)J~q%V{n#VLRh9XSa@-|i@w{cvFb{Tu8Le4ZM5fhj^}p>0cGnytH|kr5#Kw=Czx~E1 z1L4rp(6CK8SIAb}ghhpFWq=6=-0v1%bvxdC^Y5j(WmdTtTt8v`go4WI(n?I!sOZ$E z$KR%H4y;e1<%aFMR)lkk^yVn@x!6)5*h0Kjql@l=f8^ew43+tUna~b=kX8?$)_63NZvq9<<{6;Va3?*uBap}WZt9wJXu52AfX+M zRFRVmQb76I03J&`^wCDzk{X!zii)$6wA(8Edggl-Jb^+c{ftl;wMdNSYwmj#1)BIq z1q{W@HqBcVaZAtI@c%@E#GJOy6uys5q?@r;#_`^SXM+4j3;UqLmfjDXU9eV!=$GY{ z*YJ>?gg0a?IpEHH7H#bv1W!fq(rY**=`~E#3?ST>sZ`bT2aOy2Xy2&_TYVqjeqqy*WNvf6#$*q)LPA*ge7m}_ zH{#nq@<$g*llpjy-SNKq42bPbhN;g#2J(^e#h(<)8(WT)OQRR*kZt{z>kVurQ>NV& z{N~exjBR!kwTbuuH%2YNF#REp;PoEprf@SAlP*@fvA#?F?&NhmnVvp}j|6#Hy>PVXxYO&#avx}uGg zB&vPb`b$&f-P;4n+pN%Q66iGq^im0WA$fP~!2UWI#dxw7lbN0&j+*Gpd?Dl2R}`eW z&?fXY@cuIJeiQS4-|>D90zEl_oO~X7)?ZIa-sd~sd)D7G+B=*g{Tyevt!wm|!nXqg zY`j*JE!H{v7d6a)-WLyjR&e86#~7|1mjSFKQBB&d&yS|oihbjPc0b0Z4@fkvXP2Gw zY9(KCzwW@%EjW%NVW7vjF4LnNC%y47`K1ml zbH>Ug^@pZe5;3yJpeu46Vza?BSy}PDLO0%>y)W=^ZAxLT+$~MUL8Va~sVX8zu!-%Q}sZQ<(xcRGYzNU+_ z>rA1=k)}-w%At0LA~g&ISF?J|J_eEn`tc-VgHwvxn~zOQtJd-FX(jDo6+Xoz$XxS* z-qmESh{^D&1d#nm1%Ez_1IZmqS!24CQ=Xc8tZSme&fxaDVJZiIW^&M1$dcn$Z7eq> z%U_XZbgDx?abXM};>CXlV#rrmZV3q)K+}f2M&YYo`T{G@S6@obqt`l`R)(jSTdg zydTXuGuCDl`qL-pz9%ip}jNI#`{wX@g&AEH)*hfPFr= zguBN|y2iV-83<2FjI^EhoS;h`5B4H@3W=Zccrcu=H5K68w|Nwf=j@PmG@ccffvVFd zY%8=;y#j$}`9WYV@L!zEU2)^YafOqRGoYg7N%eP!tD7zBK2FUNR`=uny>M6^qq-OE6(1QA8AsAfj4yZ(bReFNO*DUZ*$AmsH8S7Dl`*) zSjdb|Jtf)3g&Mt&H^GT*(C$}zH&~34EvgYFsv!9I2p`zlXhit_6qW_;LUw6+Jh{=w zQeYR}<476hm|3m%IEN{6vfiv5>`G1}P=3j-hg1b2zHZsSwTHT>0qir7-vI9Mx&0oe z8S^9evUJ_N1mO>9#HVPE`0*lDfLEY+AA^^^vLg=C7&_ewHL9h?xFU&PAukoe;d$ED zSCIG1!#8mgU;yenhTJhI5lKs+YpiQiI8(T2xu4?T<_W8=^!3~YB9msM$uWso&KnI! z&M5zPKj61gqH<4}sAY6RIzrd2&jQ845CzZ4%>kyX=j_NQy^!D7f~@?W=5u!?Pgm$7 zf#rx;K85Xa_{+IkLbM+BPsPAVe-5|=UC`(FY5`Wst`&W@p^k`a6@$Dimuqv6_gq-e}xLYP8&P-Ao&j%fHH*TjK^)dv|Rg$Z2p^ z2k1q%Oo?>I8V@%o+*H`+>--%!9}V99Yu&W1D+SF925WZA9%?aj1SNKg9i@%R4~t2j zQPpJ33g{^u%=o{eBQp~Ju_p?%0o9t*r^#{elDS6?!ciF#qi18p02z{@_{$r6q6dV| z4dWWXA~y5lBK?o9X&H(zO06=nEMyp2G}j}M0^^GuU$zAP~H#U)gsLq zBIGal5x?{-hq z+z(!_?&o5o^8&KFFiM&?{YF<7UKtY_-aQ6`^LzI;qRc%o$4Q4)AnAz>4@ zmJMpM_!*9x*-BUgQVBjSj2`3h{Fv zSPv5xkF(%f&XLBB{;cX)(H{l$z~TQKitiS2ET9hDo@8`OvQ6My28F0AytBnr#_u|f zoq|%J=6<3nOv_oubKk>nOzvM^O!XovX|L~XauCQNzTX+RdV8-XPv|ipWYk6c9cw{V zMslCmmd6$n%D&m8`-0+eDnf*#JkE49J_<8ql!j<6pIB>?ka!ci6;ugPnTj7H7+~Q= zIsG{X=p#(PXSFtp1uA9etomA2x-wq#NSj7NaicA4beq*z+vj~vS*Ruqh%T+4)Jnb)r~Zb6m5UlS}@O>7npkG z$;uok!($v*Nk}X*t4VX3@f6H%-{?7^Yok23a_W0T)u4GsdHW*ia z@1Kd1T9juf2SF4kU%(7H=$z+K7&cDcwGpxWCv- zxQLO@f^m(BUX!f-^LmPVFE#)QKMY$0=oU{yej-ANAovH4!pF&zjaJdjBW_8S+J(*2 zS1^rSb4V9B#;-e<-+h%mrXyOQxk9O8q*5VXxO1(+0P=gO<@k#UJ1Fw-*F_h5BL;}< zw)uV1s&eRj7ww|O3h7s(hsGyRJq)$G>DiRIHKcmgf-3vz4XkA!|B88~=4{9?WmjSHu>ZF+E>6if zC-#>XJSEuN_VV)_uh5G{$o+zPBj9C=vuE5s`ZX$XGmAPnz5bDO`cE#U6>h41Qkx)Qc zG5`V*QYr5;n6tR1lI?KX-3RR(5Tn-qabsRJeuZU;V0=jbcv}NA_5****VaxeGKM7- zx9`%=)l8_BezVGq)Ieo7pEQA#)s`VzrZKep_}SQuOKf$fi?!vnQ|}&5%9)*!Eo@Ad zH_b7gd`hiz-YUZ16~{oDaQ@iMB#P|#x2g{}q1 z>WO`=J}N~^_*pI8!fCs&MzC#f=_$L~v3w&j5ncL5kySYX=kNeavNSXO1}=k!{|Qt! zoxWH8H0HA}4hr*gdvYjRcDns(9X4Rqv}wm++p?TL%PMpq-K=03)As<3JlFa7{^Oac zgK_{j<8fal{tcMPn6x|Ww z;~60D|0NB8zDaf>P7z*HK_uw zU_Okba&3UnKRwk3aQ{2qFnCfip+K%6C2=m6MA{)K$1LQ^y$ zAs}>MAs`4pmh^v@FC=f$yAFW9o*6Kw$k3RFM>;2cY~9%Jk)%FZxKre#{-?f1skIDLnxBe~{qt?rhsf zlI8;<{vQaGgrN^${12*ckyqIKNSb~?xc>vWCmHDjX#TAuRR3cgF-Zmb0J4AX;D-xM z#|D|C#0H6-^r{a)`WHns_=xHuLM8bkLSZKf8~p#M;ztznG|A2YK=}`f`{(8-RTu#1 LU=y_gALIQ$`i@g% diff --git a/paper/codex_partner_redpen_audit_v3_19_0.md b/paper/codex_partner_redpen_audit_v3_19_0.md new file mode 100644 index 0000000..3ad4abf --- /dev/null +++ b/paper/codex_partner_redpen_audit_v3_19_0.md @@ -0,0 +1,43 @@ +# Codex Partner Red-Pen Regression Audit (Paper A v3.19.0) + +Scope: focused regression audit of whether the authors' partner red-pen comments on v3.17 have been adequately addressed in the current v3.19.0 manuscript files under `paper/`. This is not a fresh peer review. + +## 1. Overall summary + +For the 11 lettered red-pen items (a-k), my independent count is **7 RESOLVED / 1 IMPROVED / 0 PARTIAL / 0 UNRESOLVED / 3 N/A**. The two broader theme-level issues are **Citation reality: RESOLVED** and **ZH/EN alignment: N/A**. + +My bottom-line assessment is close to Gemini's: the revision substantially addresses the partner's concerns by deleting the most confusing accountant-level GMM / accountant-level BD-McCrary material and by replacing several AI-sounding explanations with more literal, auditable prose. I do not agree with Gemini's fully clean "8 RESOLVED / 3 N/A" verdict, however. The BIC / strict-3-component item is materially improved, but the manuscript still retains "upper bound" wording in the methods and Table VI even though the results correctly call the two-component fit a forced fit. That is a small prose/rationale residue, not a blocking unresolved issue. + +## 2. Item-by-item table + +| Item | Status | Manuscript section addressing it | Brief justification | Disagreement with Gemini audit | +|---|---:|---|---|---| +| Theme 1: Citation reality for refs [5], [16], [21], [22], [25], [27], [37]-[41] | RESOLVED | `paper_a_references_v3.md`; `reference_verification_v3.md` | The current reference list fixes the serious [5] author/title error and includes real, recognizable method references for Hartigan, Burgstahler-Dichev, McCrary, Dempster-Laird-Rubin, and White. The flagged technical references are not hallucinated. Minor citation-polish items from the verification file appear fixed in the current reference list. | No substantive disagreement. One housekeeping note: `reference_verification_v3.md` still describes [5] as a "major problem" in the detailed findings/recommendations because it records the audit history; the actual current reference list is fixed. | +| Theme 3: ZH/EN alignment gap at end of III-H Calibration Reference | N/A | Entire v3.19.0 manuscript | The dual-language zh-TW/en scaffold that produced the partner's "no English alongside?" concern is gone. The current draft is monolingual English for IEEE submission, so there is no remaining bilingual alignment task. | No disagreement. | +| (a) A1 stipulation, "do not understand your description" | RESOLVED | Section III-G, `paper_a_methodology_v3.md` | A1 is now stated as a specific cross-year pair-existence assumption: if replication occurs, at least one same-CPA near-identical pair exists in the observed same-CPA pool. The text also states when A1 may fail. This is much clearer than a vague stipulation. | No disagreement. | +| (h) A1 pair-detectability paragraph red-circled | RESOLVED | Section III-G, `paper_a_methodology_v3.md` | The red-circled assumption is now bounded: it is plausible for high-volume stamping/e-signing, not guaranteed under singletons, multiple templates, or scan noise, and not a within-year uniformity claim. That should answer the partner's concern about over-assumption. | No disagreement. | +| (b) Conservative structural-similarity wording, "a bit roundabout?" | RESOLVED | Section III-G, `paper_a_methodology_v3.md` | The independent-minimum dHash is now defined directly as the minimum Hamming distance to any same-CPA signature and identified as the statistic used in the classifier and capture-rate analyses. The wording is concise enough for re-read. | No disagreement. | +| (c) IV-G validation lead-in, "do not understand why you say this" | RESOLVED | Section IV-G, `paper_a_results_v3.md` | The lead-in now explicitly says Section IV-E capture rates are internally circular because Firm A helped set the thresholds, then explains why the three IV-G analyses are threshold-free or threshold-robust. This directly supplies the missing rationale. | No disagreement. | +| (d) BD/McCrary at accountant level, "cannot understand" | N/A | Removed from current structure | The accountant-level BD/McCrary analysis no longer appears in the live v3.19.0 manuscript. BD/McCrary is now signature-level only and framed as a density-smoothness diagnostic, not an accountant-level threshold device. | No disagreement. | +| (k) Accountant-level aggregation rationale, "why accountant level total, because component?" | N/A | Removed from current structure | The confusing accountant-level component narrative has been deleted. The paper now avoids translating signature-level outputs into accountant-level mechanism assignments except for auditor-year ranking. | No disagreement. | +| (e) 92.6% match rate, "do not understand improvement angle" | RESOLVED | Section III-D, `paper_a_methodology_v3.md`; Table III in Section IV-B | The match rate is now a data-processing coverage metric: 168,755 of 182,328 signatures are CPA-matched, and the unmatched 7.4% are excluded because same-CPA best-match statistics are undefined. The old "improvement" angle is gone. | No disagreement. | +| (f) 0.95 cosine cutoff, "cut-off corresponds to what?" | RESOLVED | Section III-K, `paper_a_methodology_v3.md`; Sections IV-E/F | The text now states that 0.95 corresponds to the whole-sample Firm A P7.5 heuristic: 92.5% of Firm A signatures exceed it and 7.5% fall at or below it. It also distinguishes 0.95 from the calibration-fold P5 = 0.9407 and rounded 0.945 sensitivity cut. | No disagreement. | +| (g) 139/32 C1/C2 split, "too reliant on weighting factor?" | N/A | Removed from current structure | The C1/C2 accountant-level GMM cluster split is gone from the current manuscript. Residual fold-variance wording no longer invokes the 139/32 split. | No disagreement. | +| (i) Hartigan rejection-as-bimodality, "so why?" | RESOLVED | Section III-I.1, `paper_a_methodology_v3.md`; Section IV-D.1 | The text now separates the dip test from component counting: it tests unimodality, does not specify a component count, and is used to decide whether a KDE antimode is meaningful. Section IV-D then explains why Firm A's non-rejection and all-CPA rejection matter. | No disagreement. | +| (j) BIC strict-3-component upper-bound framing, red-circled paragraph | IMPROVED | Section III-I.2/III-I.4, `paper_a_methodology_v3.md`; Section IV-D.3/IV-D.4, `paper_a_results_v3.md` | The results section is much clearer: it labels the 2-component Beta mixture as "A Forced Fit," reports the 3-component BIC preference, and says the Beta/logit disagreement reflects unsupported parametric structure. However, the methods still say the 2-component crossing "should be treated as an upper bound," and Table VI labels one row as "signature-level Beta/KDE upper bound." That residual wording may still prompt "upper bound of what?" from the partner. | I disagree with Gemini's RESOLVED verdict here. The item is not unresolved, but it is only IMPROVED until "upper bound" is either defined in one plain sentence or removed in favor of "forced-fit descriptive reference." | + +## 3. Specific pushback on Gemini's RESOLVED verdict + +Only item **(j)** needs pushback. + +Gemini says the BIC issue is resolved because the results now title the subsection "A Forced Fit" and state that the 2-component structure is not supported. That is true for Section IV-D.3, but not the whole manuscript. Section III-I.2 still says that when BIC prefers three components, "the 2-component crossing should be treated as an upper bound rather than a definitive cut." Section III-I.4 repeats that the 2-component crossing is a forced fit and "should be read as an upper bound," and Table VI contains "signature-level Beta/KDE upper bound." + +For a statistically trained reviewer, this may be defensible shorthand. For the partner's original red-pen concern, it is still slightly too abstract. If the authors keep "upper bound," they should define the bound explicitly. Otherwise the safer fix is to remove the term and call these values "forced-fit descriptive references not used operationally." + +## 4. Smallest residual set before partner re-read + +1. Replace or explain the remaining **"upper bound"** wording in Section III-I.2, Section III-I.4, and Table VI. Suggested direction: "Because the two-component assumption is not supported, we report the crossing only as a forced-fit descriptive reference and do not use it as an operational threshold." + +2. Optional housekeeping: update `reference_verification_v3.md` so its detailed [5] entry no longer reads like an active problem after the reference list has been corrected. This is not a manuscript blocker, but it avoids confusion if the partner or a coauthor opens the verification note. + +No other partner red-pen issue appears to need substantive revision before re-read. diff --git a/paper/paper_a_methodology_v3.md b/paper/paper_a_methodology_v3.md index 1898962..dd9601b 100644 --- a/paper/paper_a_methodology_v3.md +++ b/paper/paper_a_methodology_v3.md @@ -208,7 +208,7 @@ As a robustness check against the Beta parametric form we fit a parallel two-com White's [41] quasi-MLE consistency result justifies interpreting the logit-Gaussian estimates as asymptotic approximations to the best Gaussian-family fit under misspecification; we use the cross-check between Beta and logit-Gaussian crossings as a diagnostic of parametric-form sensitivity rather than as a guarantee of distributional recovery. We fit 2- and 3-component variants of each mixture and report BIC for model selection. -When BIC prefers the 3-component fit, the 2-component assumption itself is a forced fit, and the Bayes-optimal threshold derived from the 2-component crossing should be treated as an upper bound rather than a definitive cut. +When BIC prefers the 3-component fit, the 2-component assumption itself is a forced fit; we report the resulting crossing only as a forced-fit descriptive reference and do not use it as an operational threshold. ### 3) Density-Smoothness Diagnostic: Burgstahler-Dichev / McCrary @@ -228,7 +228,7 @@ The two threshold estimators rest on decreasing-in-strength assumptions: the KDE If the two estimated thresholds were to differ by less than a practically meaningful margin and the BD/McCrary procedure were to identify a sharp transition at the same level, that pattern would constitute convergent evidence for a clean two-mechanism boundary at that location. This is *not* the pattern we observe at the per-signature level. -The two threshold estimators yield crossings spread across a wide range (Section IV-D); the BIC clearly prefers a 3-component over a 2-component Beta fit, indicating that the 2-component crossing is a forced fit and should be read as an upper bound rather than a definitive cut; and the BD/McCrary procedure locates its candidate transition *inside* the non-hand-signed mode rather than between modes (Appendix A). +The two threshold estimators yield crossings spread across a wide range (Section IV-D); the BIC clearly prefers a 3-component over a 2-component Beta fit, indicating that the 2-component crossing is a forced fit reported only as a descriptive reference rather than as an operational threshold; and the BD/McCrary procedure locates its candidate transition *inside* the non-hand-signed mode rather than between modes (Appendix A). We interpret this jointly as evidence that per-signature similarity is a continuous quality spectrum rather than a clean two-mechanism mixture, and we accordingly anchor the operational classifier's cosine cut on whole-sample Firm A percentile heuristics (Section III-K) rather than on a mixture-fit crossing. ## J. Pixel-Identity, Inter-CPA, and Held-Out Firm A Validation (No Manual Annotation) diff --git a/paper/paper_a_results_v3.md b/paper/paper_a_results_v3.md index 0728e84..4fefd83 100644 --- a/paper/paper_a_results_v3.md +++ b/paper/paper_a_results_v3.md @@ -163,7 +163,7 @@ We do not report an Equal Error Rate: EER is meaningful only when the positive a | 0.900 | 0.0250 | [0.0237, 0.0264] | | 0.945 (calibration-fold P5 rounded) | 0.0008 | [0.0006, 0.0011] | | 0.950 (whole-sample Firm A P7.5; operational cut) | 0.0005 | [0.0003, 0.0007] | -| 0.973 (signature-level Beta/KDE upper bound) | 0.0002 | [0.0001, 0.0004] | +| 0.973 (signature-level Beta/KDE forced-fit reference) | 0.0002 | [0.0001, 0.0004] | | 0.979 (signature-level Beta-2 forced-fit crossing) | 0.0001 | [0.0001, 0.0003] | Table note: We do not include FRR against the byte-identical positive anchor as a column here: the byte-identical subset has cosine $\approx 1$ by construction, so FRR against that subset is trivially $0$ at every threshold below $1$ and carries no biometric information beyond verifying that the threshold does not exceed $1$. The conservative-subset FRR role of the byte-identical anchor is instead discussed qualitatively in Section V-F. diff --git a/paper/reference_verification_v3.md b/paper/reference_verification_v3.md index 61cdae4..4b965a4 100644 --- a/paper/reference_verification_v3.md +++ b/paper/reference_verification_v3.md @@ -1,14 +1,17 @@ # Reference Verification — Paper A v3 (41 refs) -Date: 2026-04-27 +Date: 2026-04-27 (initial audit); v3.18 reference list updated to incorporate every fix recorded below. + Method: WebSearch + WebFetch verification of each citation against authoritative sources (publisher pages, DOIs, arXiv, IEEE Xplore, Project Euclid, etc.). -## Summary -- Verified correct: 35/41 -- Minor discrepancies (typos, page numbers, year on early-access vs. issue): 5/41 -- MAJOR PROBLEMS (does not exist, wrong author, wrong title, wrong venue): 1/41 +## Summary (audit history) +- Verified correct on first audit: 35/41 +- Minor discrepancies (typos, page numbers, year on early-access vs. issue): 5/41 — all fixed in v3.18 +- MAJOR PROBLEMS (wrong author): 1/41 — `[5]` Hadjadj et al. → Kao and Wen, fixed in v3.18 -The single major problem is **[5]**, where the paper at the cited venue/article number is real, but the cited authors ("Hadjadj et al.") are wrong — the actual authors are Kao and Wen. None of the statistical-method refs [37]–[41] flagged by the partner are fabricated; all five are bibliographically correct. +The current `paper_a_references_v3.md` reflects every correction listed below. The detailed findings are retained as an audit trail; the live reference list no longer carries any of the recorded errors. + +The single major problem at the time of the audit was **[5]**, where the paper at the cited venue/article number is real, but the cited authors ("Hadjadj et al.") were wrong — the actual authors are Kao and Wen. None of the statistical-method refs [37]–[41] flagged by the partner are fabricated; all five are bibliographically correct. ## Detailed findings