From b76ac377f0b9507d187a9c3da256afa13f90fa06 Mon Sep 17 00:00:00 2001 From: Bob Date: Sun, 20 Sep 2026 21:26:06 +0000 Subject: [PATCH 1/2] docs(blog): publish fifty minutes is not a constant Git-Session-Id: b4a0 --- ...6-09-20-fifty-minutes-is-not-a-constant.md | 160 ++++++++++++++++++ .../og/fifty-minutes-is-not-a-constant.png | Bin 0 -> 91312 bytes 2 files changed, 160 insertions(+) create mode 100644 _posts/2026-09-20-fifty-minutes-is-not-a-constant.md create mode 100644 assets/images/og/fifty-minutes-is-not-a-constant.png diff --git a/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md b/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md new file mode 100644 index 000000000..50493cd7c --- /dev/null +++ b/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md @@ -0,0 +1,160 @@ +--- +title: Fifty Minutes Is Not a Constant +date: 2026-09-20 +author: Bob +public: true +tags: +- testing +- python +- clocks +- ci +excerpt: A test created an event at a fixed '50 minutes ago' and measured it against + the live clock. It was deterministic for exactly as long as the suite stayed fast. +--- + +A scheduled CI run failed on an assertion that an event created 50 minutes ago +was between 49 and 51 minutes old. + +The event had not changed. The code had not become wrong. The test suite had +simply taken long enough for “50 minutes ago” to become “more than 51 minutes +ago.” + +This is the kind of flaky test that looks generous because it has a tolerance. +The two-minute window feels like protection against timing noise. In reality it +is a countdown: every second spent collecting tests, running fixtures, or +waiting for a busy CI worker consumes part of the allowance. + +## The test had two clocks + +The fixture defined one module-level timestamp: + +```python +NOW = datetime.now(timezone.utc) +``` + +Every ledger row was generated relative to it: + +```python +def _row(minutes_ago: float, phase: str, **extra: object) -> str: + row = { + "timestamp": (NOW - timedelta(minutes=minutes_ago)).isoformat(), + "phase": phase, + } + ... +``` + +The assertion then asked whether the second launch of an item was still about +50 minutes old: + +```python +assert 49 * 60 <= age_seconds <= 51 * 60 +``` + +But the production summarizer computed that age from a fresh wall-clock read: + +```python +now = datetime.now(timezone.utc) +age_seconds = (now - event_timestamp).total_seconds() +``` + +The fixture clock was captured during test-module import. The summarizer clock +was captured when the test eventually ran. They agreed only while the elapsed +suite time remained inside the assertion's tolerance. + +That makes the real equation: + +```txt +reported age = 50 minutes + time since module import +``` + +The test was deterministic for exactly as long as the suite stayed fast. + +## A tolerance is not clock control + +Timing tolerances are useful when the behavior under test is inherently +asynchronous: a process should stop within a deadline, a retry should wait at +least a backoff interval, or a scheduler should wake within some operating +margin. + +This test was different. It checked arithmetic over historical timestamps. +There was no meaningful reason for the answer to depend on how busy the runner +was. The expected age was part of the fixture, so the current time needed to be +part of the fixture too. + +Widening the range to 48–52 minutes would only buy another minute. Making it +45–55 would buy four. Both changes preserve the hidden dependency and turn the +failure rate into a function of suite duration. + +Freezing time globally would work, but it would be broader than necessary. The +smallest repair was to make the clock an explicit input at the function that +performs the time-dependent calculation: + +```python +def summarize(rows, hours, cap, *, now=None): + now = now or datetime.now(timezone.utc) + ... +``` + +Production callers keep the existing behavior. The test passes the same `NOW` +used to construct its rows: + +```python +return summarize(loaded, hours, cap=5, now=NOW) +``` + +Now “50 minutes ago” means 50 minutes before one declared instant. Collection +time, suite order, and CI load no longer participate in the result. + +## The failing run was already behind the fix + +There was a second trap in the incident. The scheduled run tested commit +`743e1c565552`. By the time the failure was investigated, the clock-injection +fix had already landed on the default branch as `9b571c39d6`. + +Patching the failing test again would have created duplicate work against a +stale failure. The useful sequence was: + +1. identify the exact failed assertion; +2. compare the failed run's commit with current `master`; +3. reproduce the test on current HEAD; +4. inspect the intervening commits; +5. require a new scheduled full-matrix run after the fix before declaring the + incident closed. + +The exact test passed locally, as did the full test file. That proves the +current checkout contains the repair. It does not prove that the scheduled +environment has exercised it yet. Those are separate claims, so the incident +is waiting on a machine-checkable post-fix run rather than being marked done on +the strength of a local reproduction. + +## One instant per assertion + +The general rule is simple: if a test constructs time-relative input and later +asserts on time-relative output, both sides should share one explicit instant. + +Look for this shape: + +```txt +fixture timestamp = module_now - offset +result age = function_now - fixture timestamp +``` + +Two calls to `now()` mean the elapsed test runtime has entered the contract. +Sometimes that is intentional. Usually it is an undeclared input. + +The same problem appears outside tests: + +- pagination code captures a cutoff, then later filters with a new clock; +- cache expiry checks compare records created under a simulated clock with the + host clock; +- replay tools load events relative to a recorded instant but render ages + relative to wall time; +- scheduled reports define a window at startup and recompute “current time” in + each stage. + +Passing a clock everywhere can become ceremony. Passing an instant at the +boundary where arithmetic happens is usually enough. It is explicit, local, +and preserves the production default. + +“Fifty minutes ago” sounds like data. Without a shared clock, it is a process +that keeps running while your test suite does. diff --git a/assets/images/og/fifty-minutes-is-not-a-constant.png b/assets/images/og/fifty-minutes-is-not-a-constant.png new file mode 100644 index 0000000000000000000000000000000000000000..b19eb7f2c792ed4d6b9620c10813e90f8f8c216c GIT binary patch literal 91312 zcmeEtWmFtpyJbTNB#;gXL6Sxj+}$k=!JXh9f;a9?NGBl>+$FfXyM^HH+PJ#}*Pi12 z-uIh(*WCFvKW1jFyH5Y;)m44!oT_v7e)jY1@>i6X0AoThK_C!VO7fjD2!vJw0--uT zLIr;L^=20fgaQIdy@RT_&g{;)=)Bk<1RYYx5I+iSPeKhq#oTW^PjVV-)Y8tctSq#$ zf)zGTJgqOBQQMjKm~1?sXTzNiefawA+3nqx&BJ}4MLN%?3+ZQs*z$3 zc>JI+o+tu11J8sE7RiQ(ZTjr{%P52_Uo@`jAQ>)eA3NPD`bceH(P5rq8_QruPDx@n z#Hb?iBiuX*`g(HmY_ZZy15-@)m~>a7h>gjdn^J~60io0DL~WHA@nw0Wi_MGCSqG1n z7PnlQd?$}LnphxCE0}Mm>nSjzqx1o5qmqR1;KKMEjxwFB%4X}QyP9S8M$YC&a#4OF zLGP6*47Drc91j~-y7JYmCZY>pZtZS80=+W~z9e0%M%P?iCaOwP*J?>CeKERA z+5AHgRv=wIe`#9~gSo@&hvQ+YOLWmS+BQKmi2+tw85ta99O`?0TU{p7I7LG#Vz5Zq z5FJ}Pq@p6)9;{U%UW>jb;j9M7FH|aO8HpW(4UK5^aGK%88G^O6WNOh--o9q95rId? zM#4hT6uX@M>Ef@m?8w$26|n*K;OHN+xqtU_saOQf@4|&WlicBYpWA||4Hp5&SHtN! z%>1Q*?j*0n5=T67itcT zgdL*CMUr`1BmBTc z2do?s&iOjx7?QC|wQ@SH^FkiTr)JzyIF$8xL!; zPO}ClR^`6^r*4(t8a0MXTHILbs1ca=?LUn6{_pn_+A&#@HcLdh6kW_P_y-3Ku7gg-zd$FTjR@$DVjbwtP{t^alP20$ zHv?MwW#bKa1{jTW^umCOMM*{f7)+7D&LIq)F$_Q$jpg+>-~h^fpyxK6I18|J&ly=1 z1noFf$u|@@GBchv3SqDjq2n}@u^uxU3VuvGWDxf`XTm@=*hwCa`g~3dQjses&7slq z1=nIIdNyY`1>C8e(ekG$O&KnteU|kO9&BFD1*u?r-40mH6(sFAp zzt4fnz@qFQR6;5OEHl*L(GyzLad}~Bm~ki|T>A%WByXITJ+5B4E@{B3acp8P1YPB3bm8Qm2x`WnGaLL*7QFoR2{EaTE8K))Jdg z%!iT{B4m#wm39iDdy-1EvZ89Ukg-5q&d!2{#6(hB3t=`MUS$;~`l_1@MYu6Quwxd_ zKt^TDBgwcSxKUC+7=>xa$Ut2gV$sRK)9^O3_0Gt-?HUNaKL+Y5>lzCJzG0!frBZz` z4vaf2b40`fpc`6x|0lS?xSTc^#|oIhkd$*Fpp04z3(iMxqu)j6(M|&7qqmcqrUU1c z&YRKs1&hJsxrxtn>Rg(1T_78~T5P{Yht=!@-&JY-&%w%08p~er$P9{k?nk(p6!(~I zxU_wu8vfs?{ofSzZ{GcXnU4cwSaZ2LB-CR)`uaWoi&*0C2uJDvC|-E|Y(ytg1@-mO z2xZjUcQrJ*bmCb|xoB_deuU?7u$@X7R5&UlKd5jj8@ z6%%#+Do!=@M(7~LE^uTBfaEGFQv)i2xT;-Fpp?*^+;IbQ*%9wmEek+~IC$QJFJ|2Q zpNN^)ZkTaJtJDBW_r7_b2L(jLH~{R%TD<^3o8f7S7NYxBShKg2ixpO*SCWgZv4J)1 zV2bR@V?^bDoSpxI{l!&)LJFqt$t7AW8vma5Lc0TGe3S*0Rj3&Mq7V>S1iq%Xat_dc z%Vk&^AVc`?kD-zQ7v;{8qhdq@#i@W*fN@JiOJn7Zr%+}UP_QZTD33J|_x;5+l9?8u z(Dl4rV04-|nt54j@Jv=I!mz}Nd%fZ~n63ktPuwAv%nLeV#k*r$U)QC+*B??!%1ehk zTCkGn%xo+`!yxbv2s5@z&>Cz)N8Yo}b4!kYcnq+~Jhw*gN1VeZ=&x(^dtGo^i(Ayz zo2>HbzYrCWzo1o1hw||l*?%D%fC&FDX^;c`FXYO-uDBN@itzuKt6I62 z76142$gARa$}Lz?DvUGs-vZbD#Mn;x{@hv3ot@^bcJj&Q5zysoRXUJziK{S&7fwc; zTjN>j(#v>eK>xFBx)*J!!A>7pwhPb^j>~Zat6aIa zdp8`@6s13E-o4_d+UwotB$WFIb=`Y^Aq&nAm&zAFP?x_ym}e-v>)n)EW{qg0y#D^6 zkpD2D+74;1w7#`MH@4WD-||%V>oJnR+@a-^esuCS@h;h{}T zu(CW!)PxG$k#BDSi!79yE;))}rErpA85=e?QQb zuSyM2J;oWKZdjU5r4JdP$%Zsxw457!{Z>AKOvHfvF_xuEc=1DShrR1~es8(F6YHmJ zp0_9(aor!{Ss7M2SA1}ECJOv)Kl?6ZpJ2miM+wfHjt+BFcD05S2s}pv#(8`cqlEsz z?JT3u4y>&0oQ_Vc!_Sp4@1khX+yZ@mDoEGdv&LE@@J-{lf6$9FQX(`^$o|IOLgLlI zonzv_m;W#qnN%n!Jf{_sF&01pdfWWLnoHk^&Abu4R`qB9QepVJca7Ov=w{n}#49E|$b z)hoJD^9`hAx6$MFTY*9oe))7op28=0V$IjNn@=Fg3X##oiYi7U(T=a1x};RCF)=?> z?yP$6XVgtdjl(|0DE8TU>WgtKPI=I>1zghs;^za?O{$(5&!qhqOYP+2!7|ygMW1}= zaogGmfhWRjeO3Fb1$-3pWhNtI6oM-=wQz$&fWL3e`-`hk?sDfmL;Wp$Ug+mwb8v|H zo1D3I{D7%re2%S|QREJ@H65PTSc+S?tAo!)qiEwJg>-TZN7EHNhoEZR-}sb;+|{6Xu#mYJi_3ESOo8%wX;;q9gHlzQePWQ*s7vNhVB%IRzbMQR?%+ zyi7MGv#RI05PYuDD}QTIc`bpfs3$*E<@VbjH|sW;D3z-0Q1{)5y*XHnir|%dKqK)1 z2?YunFZAQVT1IEQx;Py4jPPK;;JYFm*Q_LO65;r)QHXcd7!WHQ=5)4ZM={dypp~z} zcf&oc5n|nVzWu4NfS?>;a+9*l8ru5HVQEMGjk>Dt|4J{7rO=ap8+;2^<{_TSv>x}> zzC3UjbTe~F?RPmC3NmGnWSFe6Q=L!0*2?V584kq@4-kiU^w(4}f%S>N@c^cMAsECR zVqD7&~L4&Wlbd05D`ty$77pPcWeGC;Qe1_;U;uBSfq-syPNAZ8?5SzVzySP!Y<0OZ`D3omGH^xpuVYz z>9!si*jeu$F!_n5pzGU$Q9(hULI}hg1&>Tj+>d(GprG&H?Tc~bnUm4uWDQ%EU9m&* zfakAu^n@mQ~s14QD>;IU*t8eDIiE!L2!v&TOgag;MCQw}i z4l;s&Gh~YK{TpeR6VZEppK(e`DO+i#yNBnHvc>B&hvx#cV*{%$Vw99Gxz#}l`(l0k zEg(UiQ`PJlD4t`ZK>*@t)*JGZtPDdWK}sxpR6G!GTm`;vz9L+<`fjg;HSPNqQRBSh zx!UmhxbpRin0}9G0GGwC+RlRqoENhkW=XS`fy~XYlYvO>cH>qoeKT zpp~q5Ul2a=IntT>cgL;p>k-Ma-7hLCMy}y1hZMO6$f7ayAc2KjmMkU9Zk8GC$+i4w zVR5ilR>zT{dSbBN6W}&RxZ3=)DPD1Ep#P5H&!sUFP>fYkXTsI5Rov~WN9?Ti4zQ>s zs@V0{R$AU*ZM-~2Z__5mmq zfv?kY%@de84>O0zKy4jvjna@vR|oN6tn%tW<YxExz9b!f!URk7E!{oD#FG_(L_DO#p0ODIEWy7%yrdZaap(mfKYcdw8a!b;e)j+z z?cMR(?WV*4@vVYDAK1k2#juxpv!I}tyhS7lRvu^tdN%RbXHj{aW>2lzTIPud&-Pu{ zyXq$^4+sMbF~1adorAf8kN>?Dl;Ces(+4a<3)+{*iQSS!u7vq-ETeE&VS=Om&Goe} zcFrHF+!l#ScswEAQyNuGE?a}-^^x4Th;vyU+a=; zG2>6pS`90tPQVhwvTm)RR}t^Ppl*X9cWfNz{iRng`%Fq7qd#!uQ>Nt>kQ>qADdh8D z8%(K2q)D-R`ZZgxl&|g)W*`}Q^L~ayU+>}(rqK;1XR`#pvK_qP9}FTP+`u3HMDV=* zN6z3W&Qwj5ahpc+^N(J1H+BOjodDs_%o?FSFBc_%u4LVWvII-^8996xsZ@$G?dltv zugj`)mx{Wom^zvb2ynKUpJAsOn41jgKR2*-`;s*knNTR_sp5F)Ie$ujDJIr|dFq<9A_r`7Z#uaAk zX_YY`N0A7@CKeQ`_)Tgm-}GnE+Ix>f@>xYJm7bjTcL>MHA@-_&o8{A(qS5$BOe=S- z;kDxt2Wkg<2M+n@Bps5*gOs-(#YMOLth7q1g+R!&7)I&wg=9f?Hmx$_Lq$wX=pLm( zdF;C+<$RUxBtga+ch>WscAc*}+DU(YrP zafyDLIy^#$519wq*K*OmM)vs!Mo6%qxJSStfx&oH78?i(y9k z6~7)V)3PF+9ws^t4d$KojzAcb`Lnh0l++Y&QQx;_E24d+5osOrd9Ef2LU&WQ{C|21 z$sTE0{;YA6NzO6*@HVAh^7oqkE51Ud*OM8U_&Nf~ZtL&d<(-xAa?FNj&SUU&du`~) zO-YkvJPSB%@>|H?c$|X4PfrcXx1La?jzjRumfO(Qa#zf$g9S!+5wGeerPg?^$3$zec6_WqZt&f56ZWq4q=U;Z1zcZyRNItvU&}xKaH21@s{v)()8vt&7?oDN)H8JqO|Y zbEA#>!JG71x>s-#$N(02<8+gHVoTPedc#sHBA1CpfE&yOTjRX!U+khe?*U_BZG8QD z?0$B9e@>OLl~!UA(@;IY4&g3$NJxLItsu8HjGm{^8M1o(s#PBw!p9c6p?35U)t_5? zxj#5?*=1)>Ccf*1gu}$`Eytc_7}&J}-}6ZBBPO@^c(%H4D5s^0u#PLXAL@ z4_UD>;Zfi;_-s!aY3e58E3LmXQf`G|Lo#?){`SwYW5R@Bst()}d%bJ2)i0=ML(MJZ z!j@8K_DU&9@Cq$ncGcg9T@86k!zs46sFpQM#xr(X=<;#BkB4+rgXiE!*6R;zBzb*H zY^bQOP<*Wu>#h{y=MS%ubAbHNa{4e*7BonB&;~sFoVM2{t{JAlXTdj>FVU`ZJ)@GI z6fZ}b3CxJN@I3V*43L-j`8<8+oK#tXW?6;rEE~=M& z5{l4tsBKPX-+BCi_lm3Riz8|*Ex(Cl27;fxj~*>!pdInMU?u%ASvhE`^W2lJazbcT zo+1~piD`=!{wd2PU8iuNa$aDlvpw+gCvyGvu7{o;bi3%mU*&RL zy)j&_8J4S2rB=NjxJh|N*!W^P?n>)GrV~L*IJm?8?xMf=10ILQhdeK;co@z{2slqqk_&(D#5zq_>=Cwji%-y^X=V2J2WoR9uODfh3;DvT zT@tRGMftnUuIE+~WWF`19ZU-Is|*=@rDd7&>K-{utjC!8A(I|<(6F%DDa@xbVUWp@ z8bY#Qu+t>8$9MVOmCumnyVPiU_1=N7w?%pnq=1DruI*6i6sfns&htf|k*-Hb8n(pl zXmp$DbDopZg85#N1(|KETYvV*dDssqRs0pMT##Bkv-D>5nj0e9(kYpN4W;Rm#)RpSa|T27!8bDQ~7x2Gt5&9Z#m{gIuQLxgzGj=M2Z7prajmU*<Mc-F9cj|*W+97bGnk@Lx(yP%n$n&3TyD{S@-lPw;X3Yj^kN0 zzdXpMT|O?>p7;SMpeRod`IWGbU!v;QUxUOoLFQ9j{X3Jarp{IkuBpM-nu-MgT_L*PMGxaz0FhYEQys&G)sc>Mm{ zh`@$4a?u*0e@#Nvkw?&7Rm*k6SQB+1fcA;}T2-9_XEO>1G?hvQ;U8NIj~=pD$%+cHMjjF+8+_hA(l9mQOxGF8kTQFW2XM%)}Tt z1Dr^?W~#GNWhpK>a;Gx+it<$i@;Ac-L1q4da|=R@|-DwbsM=h)8y#1wPjs?w8w{dDQ(Ku5_U_M zvfKovim38x6w!yvi{OC77KbI`TVMuSWxq@H zJLd)~?qa%XYsuo}y?JluG$n=w?^TN;S2=CWtp0+HzSrZaKh8J(Q=@(6n^HY(nHMqv z(XZP3g80Iy^9*-EXDqF58uky;d)CQX@RTt(FDMpcGIPS#@L#n{d1mBN;GesPaap7^BBCDB zJy06QI2iMg&1JD%AZv82ddoD9)gE})`c710+PlcTTIe%|3s#~ly`QpjI%^}hV9QNN zH~S5}upBO^s&G)VlA(2dS(a)q5!>>dN>GYnrt0ld)%vRoU9WT#$r!)#P+dxE)EwL`Hzrn@^}3VJ(JzU<_a zt(FQ+jm-?*BC;V&5Jg^}Q-^_PR}ws?fBLqhcwOrDNt9bZc$?WZu5)CDX0?7Dc4mzt zXiv7YD`kFF{-$xh&G1EH{dFJ_>2DJRPjPSpjH!*&prEgmQ295{P6G=D3)KO3&i z@e+4;z96$rEj~6H>3-fe?3gJ+j$m~L;oK3$Up8!ApNENBga#U*Hd(}BvyiT(U0g|i@l?S`E za$cTRG{${ja_9-li5BeaHIJ^wu?Lc5d;1xqC2Ly6IbX6jrS|h)Kgn^~P-6n&61>U^ z5;VG7(LUfJ=H{*Y)3>8Gr+sxC)N^1x0qi%R0at( zy_XCqti`G9VFFeRYi09PdJe$L(4BD)JQ~Z^^N>iG;v2h|^*o>l|2ADZ)p`*)j( zmx>vXd5l@dSG*fHdjd+)0ca;OK_?aJVD!i?6pfl90z(6I+Y1*bNIXpIu}m!!YcV z21Tiz{%9iM!{k1xlG#0TmY1aS?}Zz(%BWNiBN6_^rZZfgq6*AQnw*e^cyVkvr*trNoevbdUZewM^b1hjZ0y4JJiGMLD8Eh$sXoyZp*eZpgNdnQyM?Hz2h z-@3$7@bp_=y#2mo$M4Gx#t_N=K1F2JYF##U{zA%O4?DN{wyt1to;GJ(#S}mkpty=I zJV*uUtDpDwm9lbjG2@Xp>cC<%8WB-98^VdR2i!3g8U28N5@e)YNe^VPlyhf*Ka$D3 zd0+T1$^ibZ;mENE9bFgMngQb-?9?1w2;)nQcAjXe~14Sw&Q=R8cE3zT;5 znm(rQWmjW-wIy+Qt?^U%kG6yfIKH=?vt3&N&;mnzB^Yta@-`9;XR6snxu@yYRJW-NsG$aYDE{ zSg=H{kO-*#mqA%#$2Qpec7~FJFGf3cOUwW}7X`>D122(3>b)BfPMM8Om5XcsHku)} zPow4HL!tz^!2lK0S0yTMtPL9~yGXz8amu&kZ$O4B9+TuYBo=0mMSfP8uQwV_Su1O_ zll$C%Df(L=Hj}ik+ZZCWaHe5w9vl>|o6ngfoLFn>Q6^H9st5-eaD-zCHBD6?7kTSC z%R{`TwBW|ns}-Nwv)L?3p0LWb1@G33;f_ljB$b&Bu~}){{#w6D{g5O}HFx=Y5?Bs2 z-|fLO{!diqxHmDu@us#wJss0tX=xi19G*D?5a)z8Tnijc_uU<=wF($^8Sj6?e^Dm_ zH#k*{i@7q<3BcUm$f=BHkoHCIAN5VFA`KnNYb1{;4&VS%$>Y@H zXJE|4feuS@>hA>vq{ch@Eh3e6gIr&G&u!b;hK<<5qb8XIRZTf&?odUWs9VP|irFD2 zM;{-eBYvH=m%HV8dL%Ngu3&Hp>3cm0>f|6)(7q12uGH=6UeC_H3No}hhwRPAn-pta zS7jpt2iJ!_Cb*7gh~ytt4c9v?E1 zm5%Ulr92nqvhHv?&$-C09ezu~pJFejOuPC`)Z-6&P>u#mC7^CFjk7b&P{@jEwI67Q zkjyozD&=t1nP5-4PR7a_HI0zrB3`;~t;^FGan9rpDgbHch2K@Ad`<+;+e`&YI;pXm zGk)o;o83L4k&Rx{y_4-pLR7-elFmEvJ!-`3_c>s9tBwjGgTG>r?QSDif46l$6epL;R(B}2^mOp;_ZY8$tRyB#d&uD9 zz9gAb=M1PEZk#BHI_ywwKOQp}ub;VTzVSpD9^sDdq6oK(Id{hV5sZr@itg8%x|3E2 z>TtdOHmi4o8g;iMXzcir@bOey<+&680+qfM3Xrmw{yMP^SDl-Six$csGqq@(SE;=o zn+&No(H>kuW)aULcdw#mM>qif&Sw^sQjW4o_@Red#Xe~k;jco+QAKi#y6>sBRrR;` zxg|yq0LBz_q$oI?>ASv@GV!c&eME`FU>UX-!l`Un&~-`nL(+((xpI^oKNpRo7U6=q zkf*E^>&XlcVe49$6?Klb4q{ggX!CE5Ac6z9O_p1QKu_f<($pIMXeUfcY6V}tVS8rUr+k1^xT#F?8LVKT}p%n5> zL73~PlYeLAvC!gugV!IUhZIanO_kPn#tUbPJSXRx7Z0k3{YaCvvQI>pBG|hmkcCeK zICvXsd!^rAMZIF2aa9{mU!ycQBV3-d`R?MLXEIo|3-_>p;%>^Zxmj0yOJ68P2ptFS z2#-}G6&ET@+dZmGNv0C5h9W8vc27yf&>PKLB+g@sVN}m%_80#gt@Y{S7WPbfxU%KX zvnAhZU7{a0G-!BYQ~eNQiG9b2Q17-#A;Xi-Jd3bmTPzSL#&iTG;+GxU0uO8JXv&CB0gti~)AKPDlAh|=?*F)u6fVZ0r!|YiU zvnscx75=&3<{XbQMa7liYgvpi%&LL`7pB~wV`Rnzd6>uB6{|<0dC+1vRgF*LZ#zl$ z>$%q2I~)WB=!KqA2&%fAtFfv|89U50Db1UPW^+=5KDDHrLKZ2br+B2XR64xY>oH(A z-tu}II(aSe#QG|k843J}c}^-ly?GlMonL!>^y2q=m zDg(eV^6|7RIceah_U+`!!>_icO{DWKDF@a1Lf+vjn{U8cNq@=?SFVL`o|_h<+02Zj zGH;#XOyQE71q7<hH%I^$~XPH{cr!y)0W7?o)wVL!66wexq6D=c%-9kOpghc zR<+B6Px6A60{SP1dQmb!F7Hx$#aGuY3OVobNxjpWYu^@8E2XDnJY#-1l%%uMyo(4c-yF@j5rC8bnEbJNTSZ4zRNLtw+1-dJZ@OAl@=lsB{Z@N> zr=asQk@-o+JNWw6e&NkpGX;Mw!S4L6Wd1szX)$$|5k+!2I={=gZgc($!9rW51-)G^ zdOr-gSTv_i?}7cu{!aQs+3^%ai*t~KYOm3{!fAt~62gJ8P)oU0j?J{Ldij>17guRv z=iqcMq4ET-o_DI39k+-m73!$b zB6nWkhCOs9X{f!~sF>4s_}NX1v$!kO9+dCqh3=01a(iWGu&9n#mg?x}cb62obzF1S zNG9pfPr=vCc9g{jWXV9f&GVLboNITqIF0H_vsTjw6^kK(y_xX&l-JE3q{&(vVS;OF zcgppcrY;HWD$j@TAQ>+z&V_@v*jYXWVABu*ul?u<#2~8D_rUX+ehX#Eyv|LFEyJyB z!h>8nJVfr};8ojK&S&2T+D!w>YUN2}n%!wle+{{d>SLW_+2&KpX|%=sKm-!mrj#fi z^aZmw3j*oObGKe^__l9;2>RdKu>b)<;}`q_@H$WmiUT+R2 z(I^tc>J&mjz-4QE{6@kwT`WUk99c19@JhN?8Xg4SjkA$_^xkLA43bVMVDahaa9J;e za@w^OVw(!h)(c8R=jXrq8S`m6zqxH3kWODMS|`A-R{Zp@7x(Ic+K%dxXV}QM%Lzqz z<+P))*D((-RCgz;=lx7kJLUXO0L`LIOO`twq%d)WuHKyS0$O1psjuq1h8P|03X>-{ z1=xaeAzA6Z9+ThnY$l7%~<0X?30*^isMNaE$=|l_>n2>1S+{fFVEpg_XLiUB6(ClvJ5fp^d)!TvL%& z9YrRT{M=i#q5k|iqCvmN9IIGYy9`L7%SeY))i?{;l=&rrN5r-b{8-SS~feK&!cQ8 zm?ratZ@FH!8{tgo+gwm|pB;aMi_E@yk~Z>!t(WP`hb0o{s&761$1052G7AJY;A!Sm-JU%44L!QyltdM1$gY|eUEUb9ez_v=k4`Te zLYm`qqyI;Oopi=iKaBgh*1Y8R$tJWV97*ZTa-7uv&7aaTfJ37{GEwuUd5|PDYX+^> zi+#{!W!f^$?!9kgIsXEDIwj1?TcqA6K_rB*naU|EDg=xsT+IZ& z{aKxyFQ)6Cxx1F7LENV2$z$ww)1eZr0yWte>%IBqS;=L!dN?*o$F#gg?=t$~AMP+V zI>5pg8wb^cNzy*yk=Z?y=9L|EG^*FwW6qAN8#7B@xn0ECdJz16P5#?*KkT>2?QMMkQV|~QGh4^h=p$iG?-L}SMG=JF zuRT+fe|+L!@j^mb*H+}8#m83&g*|H;gP?7MZ&Qw@sF_|9i-ki@m~&OL%Bjc3Rim>; zJ28_Sl<{%`ud5Jy6th)&)@vH-upw2ywFnA?{smz6n5@b5_P2 zXrpEfj<%k%O!(2(act_P;b!piF-U;>>cZT2$GOAns`AdoSj|>b#cWwPBsyGZZ%ci8JSsY|XL&ao(6Ps_F8-+7G`@_5n-Vq#kzurAguTmlFi`xyq&UK{Umqna#(~30+(gF1=-S z*h|~|WK5qCG3ipQbJ$SE-I%}`uj>Y5iTe#A3x8uAugtj6ZK=-!sI(m8i3GNvwl}V|^S&5Ts(_Uvl z#op$41}$>Q%gNIrq@!P;%Bri%(`s=}`(brauBG>yXtHnkx8Z$$F5`u|BITY_S$syC zFQZLAN)`-kdI?_QpjqwTxYH`^XJ=b55L`jYJ@u1`K%l0(-B_xd>~1l@5~0)llR9SW z5rmQ9Gq<;UilXHTS8YAFD%1Gl;`6(Y)EFqAiiN4O{5wZie+weY0HaStZv`57TdYPQ zmgEgC;$puB!F`;RfZm_o(T+uOQ(EVy_^4R?M>2m@!q1$iAr-8%=eG)k9c^xV3sH9* zwL>Y~mzNIw=ZCL2g(CZ_>;i#;g!ZIxKGDMbM-x8BvtS!0Ph0M0bD0mG4#Vq}3V8N~ za4{LXus!!WIgjq|tf|x?CTp~n0wnAVpBDhvAhHG87fb%ggsIlu{mTw-e=7#EPej z0WKUbdU1-XqvyX0ckr5O!}_X^aeoHuK1irKY;uv9Xo#{Yj}{_S6J`+}8lP_&D*E^< z$4;s9sc`Rm3peXP_vd;cKdV zhl0E1b^Y8lk>Sz7DI+q_^4GQP`p4c{pY~$&=9}?QV=VO4rP=ch_0iX@Ys13VeD)J# z9$MhX6pz~b{B6**2A|;%B-|>UHu3?+^8LtJCkSqUX2kpx+69(smklwV36|;OQ8Ew+ z7Y`zgT-+ZS?{^b$2jf#OO&*XUYYKAvO}$UHHzxCwlgYtawG7?ckK>GwUXb8T@&4Kb zj9DKpO>b%LesULwXOQzpj9CQP$Ei`6sGE!<4mdrp8@~-$sg+%6W1%o5^=e+Nz+KkG z-$!jT;17Ge9V*;W4*!x&uyDCne8zPyd4ST=h=InBb6A{-P1n-eJu-Smf#Z8KD9Uf^{H$djpZ)lz$NdF!eq3SSPWN!@--yC!wW zYQ1x>FaZz-S9|1-nNjHC3NL*K%iJjrpyf(hu=!rSmJA?G%*{bA`vI|52%@g>S3`hJ zALdf+FzmU}!I`CbaFH6sag(*#X5eYQZtIz4Z{)gJayEK@b7mHpm))qTx?xBxX2!C;1?nq z+FCjp?v}t_6^vn2sI$+GPNYr}9NwLZ#llsfJPH!GzwRKCz>odooKjtEY)RpE6}vpB z{~o3ej-V*e3v<58Ap%WVra{T8wb0yLiw*XY&5K6K6683{+KN?MRbY3rZosocI`2n1 z9?zI^3Z6LI$musOOYJr7ug~Vr9yHh4FgLYGTIg@{uUj0xhvLozFs}ACV8mEd~zb2wArKk>YCcw+O5ofx)pFnuv4=W__(cHnuYdf zaR=g$8Ma)ztoq#A75}Lx3|j5r#3uGXJgc{B^0o$**!8!@6Fs>Sy-pI40MEn*ire3A zdj$9KI>@t=3UmJhF?Jjpm?C3js!`3oByyUsBe;sysHjztkG)y7UrbgKVsWgpDZDQ*$# zx0z8OHN$S&{i(wjOO84_d*kMw6hSod zPYNdcm^={3{<)kj6;&XaPgbkPmSAJY6pnQ}%5JZw4?)#9o?LM|(8~+s0#?Ub8OHI3 z9v#vQf5b`jRfX0{MQLX+anba#K(Str_rcz1W;IgPau%rlsxxo!*#2TM=?}sP_l*D9 zd^3p%Zm_KuGGI)EUG8Hr{yX*nu;Q7MKyJ=NicFUh zZ-gV?pK@MJ^#KCa#>KszcJ5+)^+c6nIm;*Xg5DaLqhZAv=(?P;<==q73+{V!_QRA= z&1A>X83WX7e=6*icr{MlogG4J>0SGC4yOeTOGsMCJ0~w(x0o9HAnNw)wjA@vLQPt{ z!1BO1)wr`J=3)1qfw8+r4yTdth)JgPD5Pvl$;EL-b;p9Bi!xM=`xh^}?(s2qH|d~v ziW;F#HdLmy>F(wzVZ|m%kk%pPL%XndB8$z0Ze`CQU={;O-WN!(w{pce1=zY}HjF=_ zC+i8W@+8udG0A75q zLa(yboq#hYpP_iJBKahNZOfhr)JzeVwX{fk;Ju3*fjw^h*`F-St9NsQm{`QOo~tc_ zYus4YO+ptJYgo=l4o8+}T__TFnnxvyg~iSxMDxj4SE1zjNcVT)kx8(8ep{8xx`(9t z@f_P-xhq@aBJ_fCjjl`ME(-#MOhX7n71fK&;R1HQvrHAQU%PX0H@9i|l%#RD$BT&K zqA8DGftLmv)!TP9OBhK)-Rd+PxIt`%dvOnc8NJzPa@bvLTBTbb-U{?^rtrKTfA~Ll z-6PPGu|=6|=yCB^i&3OdxAj=;XeL3k(#K%Mccu#aEAy1@BmAw;1rdz5C=6QiBUYfIfUbR2Ye-!eMI zVg@(#g^EYagFvC#90fY@tj+<+Yb{CRMfLI@ua@#7ffSVc89`^qar-<2Qw$AQ&-I|{ zs?Y9g-7hl-yULlG{e!?g!m@adbF-P>=}>YP-|t&%?H~v){!1*(Cz`KjzDRtXWZn?2 z(|;T8%>CBha7jIx!quHMq58~neuh5HH=)h1-Q-2P7?qRnYyS7whu$rP`Ips28xclw zMGhI|uM&SM)*P-#Bl1oX)NQK~K85<||0p4swR)Z5`@t+w% zA8@p?n(#&tp-sQP<*@kbfGJNJ^q3jQ{lqsXS?VQ>WW=S2(JQsSRPYU5qcvcA^-eE| zNg-FkEv?B}$@{cSKq1wk;RJ{y78q*ky^hP99z2NWz>{v^1zhAgL%_?kIHdXevnoIN zqIHWL!X0TS&-Y~cofzs}ke}8I+n1huVlzi~OVZ)a>;^7lnL5Z5_eM)`My~-Z=$lPI z|7N81iZ@~aHpC`s5pZ=~Y>m9xo6BNslZy{{v+aS7R_FFugNP|nJl&i_+{ssnznq3q z)eBj*e5I=CY!XI}A)cz$Y|)+$&VR9z@I$-e$QqX%H(*Ln&yp&l>%GNsp@bkI-QA$lDIF5hozkg@2#Az)!_eIzEh*hd zcf-&Nr&ArwPtM1R|{eHd8-yM#(<`WPf5feV2 z?Vgsn?;A93}4b#R)paE!6ON0xo(Y~Au_d$Dbi z84axA9asZ$XtF#Y{Jl=~%Lm z3}ct%%Tx@58;x?+@!vOVd~ri`MiaBJj9M1ZPc1nExxJ2wVi3e#%!p20vqze8gM^)^QqAL)d`& z@a*4?OGJG$E|D}%{oR4OLa}AT0xg;!Mg;#2esnV~kHXEkJkh{h=WNHt;dq(C|L+H# z27~^CH6vXP%ciZl^DpRt@f5gTvFYU(S7px^WXevLb}2`%Zar!ik)Xh429nBGe?5H2 z3)&)1fA9$?4BbNXFd{2rTrnhT&%n@U9YXIpVJJ|=l4uZYJG!45LuFkWjZID2eU**s z;Q&}!+(emE!sh5?^H6U5iy+bcamDE{5pH;PDvUNd1mIl42-xw<=G8!vZ$?$gOrA<_ z*ls#^C|Q3ZF9?<|EnW?UIrZq!^rY#A{{HJV%%|0xS#Yn~{i z0SOnN=KT2cfer^hPcp98v`EPcV8}W@D`A?Y$q>Cz?35Wc>nE+04E-2}dD0^jr*gWP zwaFPjoU9xdbn^;l`jk*UET5FX+%>^|$s7CY(^1QeqGl~BJ*p*`>W3=yHxER7x250u z)yTIfbsP_WDezi-SQi^u9nufzJ_QwqOW3K1scEq7JFPJ~MFRo=tU}0V<$BWpL2ocNj(@eC zI`hpvu{;BPDuAm2PF^b*mnPE2a8M5*X5NP6EsQ1`!L#x^gno;^1{AwUgKcnkmpNn9qkRq-~6)$oPLrU%GrNmoZY+^ zkk?jxY4=Jf0e0=bolV)l-T<%4X~CK7{~f?W?PGk@|M9yXJ*1JSMFNyu%YUW5-Fz;9 zXR|B_L%rGRf4AL#vD^Olt!`4K&i?WZdyD@Gw`0ydFvw|=2@_p>rK!$=Lrv@*nEfVj z(-IK4BPGXxM*)~Lw>Y_Wm&yf71ufpBz{I}iI&Ek)P+PM*H?ecsy=w_Yzm0c22>Tb~ zyK0pU#SLJ=$>CyyGAZcprwSqr?TQz=`;)gmenkYp_p$rMWFOx9e7G8+v>P8zL-phG z%J|CMNesb_Q*I@H{@q#Yr5EUZf`8o}%|UM%R5nI1etg z7pcMa#8U(EaY}%5&@PSpj$0>7>8VZ~+-!8>a;WfjOm|qA1c||i4a9gsX?tq$P=S_$ zChq3c&_SKt?XQD<#O{~sKH5(lHs-mnr;VxQ*npuINC*!a?o(fDYj5+od9v?}mrLD= zT>g1@=xXixP`E#DMrtbCZ;W#1WhQyl_S8!LS(3*SBcgnJCm@j5Mi+E--44sKdt!om zHvg$V%cRnB)85hgw}F@(%P6w`qBQP11M9wYbXY`C=yQ9Z#-&=OK3F zG-xWe%c1{tR>=<8q+_I@#QlzM)03h<&JO0y6$vfx7%map?obxqdfVba1R7B}KI-EI zO=p?-=Z<^dlwOS0&w=HR6Ka8>W?EAcx);23;QVdS^3~|p)`bG7ckz7KTik!@WJL{; z@D2L3>r-KCv=cPg$}F_8`~Q=A2fQxzzwl8B_&+<4WXG~C9um$0=kJ7IgrX=scq`!? z@gq+wP8rheS4>g@&SzEj?5Wek6Tt&x7E?b*+RPwX{E5r?8pWik8s!$<{+YA>*j8yJEz_*dKr(&DO&4b5=u z_@OtPE4Lf#Chv>}p4}}W64c@He6@$Q#8qUrixdk06?6kb6KobDsDA9b3L~tFgfi-O)!GeF zC88RaUH&!W;M_=t-<^_U>tzOm`aP*~gTTd1{vOr0q{qIVL$=#s@cWi3!!&Xe>9jTAI}x%t3hHGmLUh8eCl=Ez0}~O^$&3IUuCsp z9eXpt4$oQ>egJurXaG0$dG!ZuL5wkNP~^!4)_Tl3e!}RF!>YAh7dZ!> za0fOivWX9egv_I>8zLi&v+#O(eE86doY0F)1r$+E$1yW$iQvFIC#CEuDu$ZdIrlDR zO+#ce*}olEIZe_DvHbM+Q_+`nhXdgU^zdPei#nTl<`90Xb8OAs9+F|RZ~npi*R&Ws z)FSPL*gzrk{@YxyjPIFsu`Ov(Tl6jy)_Uhvc^x5?rf}@Efr( zjG3d$y4fz*(>CfRl|^sghkV3bWu0H24s=U@N)CFuii6W*#9}J@06gK@^( zyS;IY&*Snbw0qDgbU+++NyT3)ri?#ZcOoPwg;W$nKep;(eJTz;W$83Wei*1x9P<9m zITP{bO>q+cz~xUa%Iz3gy7$tqQd4E=1j3Eeajm(LlB`3t-@h)}e6<}C*{<22o?4T8 z4D1lUt+i|>1=h^##Bi{F^(dIDAC^_0ufBt%YCOPu%meFT4HBEdXVNI7wDxVX05 z%SfHLcH@@5YfgnW>eyhYiRTNZ=*uf)$Y(!aojxx!rZC2@FmTd(%0G}KdK+4s5u2(D z{Uyu9b+o7#>=CsW_6QXL-}Cgk)b)< zo@y25Qjup*nfm&x{ha&n%_cu&NRX|uS3K(59|k=$kGmHS2$qd8Yb-3oJ1xT{9Q0xD zSUEj`FH~_B)5GbU$REqCyQOhXKGC0?c!u`$(r@VprAVa6r&m?_FJY~0d%MSmnkW50 z$$0zcJDa6E*7vS!o8dk^1aL8(q~{(Ubfs5rDP&Nsz?xmARhTL3W>2hRcyjaRlh;67 z$E5ydaPd>QSNgjKg@trZV?Qk7CuOERr4e3y#h!N)3G{m^R35-AkCNo>2H!ixnu8hx zj_7+1khQ0K^$E`+otCNxGV6(Evg0_T+MPczUW1NHCLeW_H&KlQ3={pE#axrolWOi* zbYsJ~QTP%yy}xul2gg!SOz4hu9nIeSw**4m#~VhZ^G(x8od&lb`){^&*SXh&zS=7O z>Y0Qa3tlH)BI)f3YlhJwQ4GF>aAgbaRCBq8kIg=y*unI)4F363P;Pi%((n9*qOIW` zr~ciL^S94IW0q6Q{z|$xgZ;OpZ|_ffEw^(l{O5#kXTy7wDJZiz@?-_PUbe3&Ym*pw zT}XB9o8rfneGy*@DT1h4O2mLr3b5lJ4oD~u6obvd(hOBf1_?jonuez>U2KVEYDSo&0BYL z1fD%>&))h6jZzh><~HX&{xzsS`O#|l^_j=1%K2CW?EF0Hv*ma%JzMB!|e8Oz1a6V3kG4y-nfbg~}l_1G0p zQ5QoM&aKVtOHfMSRWDBZNFub*Oh?C-E--RS$mVHa&kMVf592X7BW4_CJ|>A|5)KH1 z`sot|0>vaVh=l8#<)!whgu{Ub3iL*#Cg$4Z*kEQn+yw_y`%|*ZMG@Lao3TnIyB$}H z@$4`-C8-y9_Vk)yMmZn9vDb~->OkR^xQg=d0pirbEx|3)Bhz9w)x};sAZXvd<8?i> zn|MhP>E$P~o6-BgYP9np+=)0wnjGS`D4RW0Plfz+{^RkEoUye+- zExstrq-#Ldd~o=nGD7BMouk&v5fmXCsvYpm+3K+K?fwA=}tB zV6~DI4;;OvLCu>+;O2QCwRpBOTW2SX0@YL+Js`pX`$l7%S0WBxln2zG791?!GEuhj z%&rh|Clpwf){@25d$ZT%MveWto664HM@3e3$kkdGYW8%v;IYqH&;zueLDn zSaRTJf*cNQ;y#>&GjmD521_t-N07WFC-j%Kr`5qGmQ#hLbb*Y&_dk5c;HF`&E2Bx_ zVf~@R9YAQk>r{4)Oaa$~F)UgnVrDpAP}%v+;%(xf3BO#W0Al*Q$~a?Pm0p?8HJN$s zMXiAO!h`qWMpM1~({h9i+0L=$3yH`|-HW!`DZ1A}5A8R27oxd(ht*Rz3-M4Idu3dB zIjQlkpZ7CG9w2@kW=d$}o+7P0PGd~ZBcu$25#|qES!xB`1~nIeqZzP@2nCe}eNWG^ z=f4Ma0)mDKs&woN#6;I(8l#8AV}aP1D>h+*@sP`=TY}a)Mkk($cb%5iKb;UQI2=1S z^<8)M_6*!bWzDQxBzn^Bwy2e~nU)k?DRNSuIDO%21YcLVO1xO}EY_A29bT38oa6|27Erizu765BPB`s`fU)RemQ#ZeV8eHJlcCjkeKZfl_&iY~HDH<7?&=Qyut zb1(ueA(+u^V)FeqPhdrX-0V+*>88@&Z}&ODExpaPlfYMJ{i&lR)N-MY3CFCSwvp`I z$cQK6T@}C5?v`@qOZ4;(qx$aNn4xVI3oB;>YwhM)AOm9@9WFBSS@prX!krnSXOSoP zOyr>Ja$?aJvSLz^=XTts)1w#bT+e(gsqm_GFYES~JMZ{tFC3eEfbX>5)ry$$8z!a$ zfxt`WGe&=?zdTCr`UQ$c(B6(Rx8)l8k%T4qGpQ4agJJw7KI zr)?cMfV6qtJS}*|@{+vU@-#XGsFS(uTs`!WBG6MlQs-kojLbUE7t|?2BnAj%<>nW! zMC7H|CqsXP2NE2@!<*9PSCTv~Y*Gv(urF0dMA*?0>K68kPCMIzx+X=U`bf9+#nMbW zwEd$a(o@!%pa3hn(=D&PA#Fi)2yj6T2?*h1F)G&)&if`A+(r$;!s8Ko=Xdu#wP!@P zdd~J2H;v_tG_M4VUZFyH?~YCSj*VRtvW3YCD~M`YS<#596{HE=@S!iYxE!l#ZHl5v zlJ4=04~tI-flS))myQ&%n$hL}XV!Jd!@AzXzNBE;=Mqs8?7}ICOPH^LA@0AFdDO&! zOzMr+P_oNJjm%LmJa1Z4X{P?$vmJkx?R)2k<~t#-bX^ZF{aixG-PsveC(=pFJK@wE z(+&A&p27@JnMqe^3!lrI%LC5AL$HnC-DBYwh(N-iFNatLFu&p)E2Q^)BKduE!OmL8 zV)=X)vjCYBD?G0Y5f1QP#nCgHtz@%BnrfQaXaI3KRhNuSwpE-7NU|rMp&m7ncCyCZ zp2>r}JF@I5SrY`+ce^;p*Ry%@M-R#0UK}C2Q(uJ_3IcVJmPQep_~Uvc)8&SUgYfSf zJo+oX+mJ>D{U$bmmw8o^kkO{W@E_dMlZo4Q+ff-f4zfFVV1bDOX$1XVQC7=kM}hpr zhDoz;efl$Gd^TIBT;-8AjHJYjf}s3SCGKqT$7~u;ARCttad)kS9=e@xdDn1`OmZw~ zXy3cPc=(*;r36=z6o)<%Od_r1h!1RbFsY%#Ek?7MiRPx}s|2i1SP9lD`?Gfryn3*- zOg#ULdePy|JIl7R&Ew(VCz0dDc-{5Ba6%(It8Z#5JPRXtKfX$%T|Gck`m&(6IIWo@ zlJxSHP_84zq4M&2IsQ-v`?E8bFAJoL+nZ;!o-)7thQ=1KT{p6}x?F<8o}fAK=>H-+ z>J&^w5pp(=@XMEPx#jJp!WX_`g5jztsw`Uz7fH&?#`S&Dklw{l5I~$!Cmfa^nm<)3P==>PX?NAeR?U`$`)z4+}PQb$+>bEJMw$ z-U_;CZcaal>+LDzvI8yV9uZKYdN+{)N9&GZFefrx37_>kY6k(Fl9oiwsrBtUw38C< zTsj`Ei-&u3n^F5ec!JuhJe3tZ6AQ9BYz|^StjnDo9DMk$Lmk@^h=z{w+n)w9Q7Bok z+kEz=9v23AUGC{#=CnUs_r=d=-m|^xo1Nx%qCx+c+fyC@+tVEu2Ayv(v5Z{~VDG{a zPU%K?oL&0uEo#^ZCPXCc%69=HY_mEWKHcO)H5XyrTnnl&x^~^^K_uT|b4~0i?o{K$ z43|cDk3X=3e$lg5p{Qr`HrS!cp2F$l2OZ-CL|6pcjdK)qOs2*t|_~;G&nbG z6HX)lEc^*u@m{Sr$!Pc+`fv&KK;0pe-PH`&ikUjP;WNcMuKerH3ZSNObs{BhbYq1z zg?acxJ=koeMf(dD94OF)o}x^6r(nqC5#tfdU|FDmY%w2!ilPNgkg2{cW*h{t0mb`G zo5U?wD`Q{3v2Cjo3$m|CbfMS5zM7zJ{rPcmvO~cyV%o>n7TU4Q~3SoQ}kIJwlUJF+Mfx6VAmFbxeND@2bIPL4F!VNUPqOA zJ0VCjkUv~)qb5Hsza3LQlEqAjr{D#>rsJ!05*&s+0^hTOr+j@}OjPlQk5m9W%=Q?c0?3U+Si_ zA5ntzY7sNtw3AlrqbcH2S@>G3`0e)*GreRoFAsL${WPOuVPhr&I#B>4vm#0mrwzU%L%<7T8C;3XXfsZ6!$#xnH*S z0Hhgh?Rk427Ov;yR+n|0rCP#ahgo!1nkw33{PsY^OjumIAm?|y80n?yNwiHI{{UR5 zv5CJAN+R|7=j~$C&m2I6eev)SNIk#-p%vi&z1HDm2V@!crJxs8*mKj_>vt@dS_4y@ zEaUI+gJ5>q?>oPi#lBRwO}P(o#Rr@eIy*=BcRcpm-~EA45%K%YE$;y}4xcl|GRev= zCGnh3x5ywSbv9_u<~}}#fkHFo(^4A7Ma^SvoEqLu z5j(ugr-`8jmwJfs)L(Y9IM2pI?n2jy@Y~*hb-q?q<%pDzpHqQ?Fn2V2gGbW&q*L}W zgJF88xy>unA>rND%FvZr5xvoQbi*_@r{|`aP@te3kBbrmHY?6@y<3sNUYI_K>dARB zfim0GMtbf2W-G^S>O>ya7C~?O^?1FDjPAS#7|^{|x^{N8>Q~IM);+ZR7Mxe%xYK{q zfP3%iwFkZZs)6~*c88t3k0oyat|zh9PvOt)3{EB8MXS!d5J2|bt+ZMiH;*}^TCiD< zjOML`dz`8_H<8`4(o%H2A5Byv9`Y-Q*)@5QiP-QT?P){nY<0cx&cZ(j z)LkRDpxLyk*ZwYiKaT<;zt~YxOgijqAHH^%K&RLWS9R0Wp71K+h3L)?kN3PvyJZH= zzTKgzBU^oEHBPfeQwvysx1kwt)fZ4&im}_ea#- zHtM!oBVKcym+o!2JNSG`S;Z~gWOn>ylOn&nA&?@Tl@q3}&GR9H7@|WiO%yk;zk8kr z4?W{aiPpa|3z&Fkku#hu-d(_Ax6MxV*d8cn0r!M_CGt&%hL0Yzs>-Ml%}rtnXcvOt z)6M^eV`980_(#SPVAOaTWU~FUf&4cZgMwxG22lgQ;Rt|Ua+HMmp3T;Vq5=SA#F8oI zgD$I#Sxpbe;RirMPFN_uQKikcK)GpQ0qo zTQWTrf16%jTJ7gc`h`pa=SjOJQgdyHyvKMa3P@_<0wZSZFNp;sgNbhltRU-auV)&d z7JO3iO_?})wPJa7c#!k@qW8+fCp|QVoo8(G!^=UXkvwUR7uc*Q zjmXkpN?9EE4?qcb|1ndp>~Fqw&(+90teN`jWBBAN=FPq%+arRXaqJzsgYk^~QY@(* z&KIKEZ&R2lrP9XY08jG5(WocJbJDEV1l&iMaeftQxdj!(ZR^jpM`1uKm8|W2w&a|0 z+2&&sbbIelp3k)#JgTXHj}IkRBb?q~wTg&_`x}(ps~2mfxBf0KU#vKcJc<30xLhGI zVryNvot_U)7^ps0w1i1e)-}S z?V%jEpUd-)Hn*LM13ADqOyHFel7 zn9TwogHoIlV5j3T+^_bi+wF2O)sShe1Iyv{WGM!6+!1ZKFeapQL9*yG{*)$S6;LCi}~yt}~Aboij&a z7RVimSk$&Ge6VFVl1zz(=-nP!u`A?=3f_u}y?}L{JdBhE>bGym$`5>c#N7qt9xDVgH%2{U-YxL;Fy`>R1?8^q3+p5$wvoyBkDZzbyoMDZu3Y$ zb4_(f$vyV(#7{?uMgoDg>pR`~76;_cbYK>R>*rP}Xx1Nhyd%9ih}_+sp{%r)Mj?@S z60<9Q2LkGLuE(VcfAoFxAJrx?Dfkwmu^G%gZB*;WPYW&Lu;%gMH{clSkp{q zwrIh{f{^reY~FYSFh%v@*6f?Izaj#w6XJHXPS+hE=be0XqBsO%z$i)E zdZLCkU4LjAJQt|q#DSz=D*kHbgG{D-+j|`y9pPEr843Jr!{Tr4v9u%jKbIrDGssIW zuhJ(#Be2`Uhee(FCfdluM+NN1LD=jkrOF$YX}a*NgpN6+_*)Q2K}2naAfOABp1v6( zv0CmMP;0DoDCE|QNrGd8ns)OA+yb8E!mG6L0zP*eA1uSBDw7XG=?LqHaJ!fA{O0Xt zlP7ALfB;jSBonJCbSC~bw?k-Kd|*E`8=%1-7WC_KU)Sn37v6cbkelT0r9;4EmKx>t zF#I>%zvXbo=XA*EKFZu_N?3labqyMHj&T&tqKN&l#h}FWO1S&&le*C@wC_QT7tVQo zB*CD(1q4!YyaRdcJK=>M_ii!7tE{d*%NNL`L?KBPh-*z{H}6@txd;8JAI@+2g6l*6Nr2{sA zc<^%jD#7md{cikWQyHi~ubeVaq|9Q|(DSgjAYUEK4?pk3?R-In+5fR1Wr}8Xl$=|+ z-9x~6fC>S+-`3{&Vg?LMF=C{_i@a8nAJ4a=JyQB9QwDpcCD=&> zffA5-?YK)oEWb#`6qzHw8(^w7yU{>j1CDi>Oh@H@F!SPqsv7#*OuHDBQT4&I{0X#% zbAd<_6Jt5?gCDM&A#P3vPY*L*6yAZM+5#XC9f5^KuX+9>D7F%}MD5L++fH3JLuQ5c zH5KV7jfXLhUW>t8E=sETT+^QR?Rc7RQ0Ri5I_OLzjH**fU+3p?9y}3HF^z!Xuv%7mWA!gnCvejQZvAr>PmaJ<9^nH--IWGoq zJ|68Y+qryOYx@MoU%weYt2;P#T=Q{h)7svAI&)q9dHtCial6XbV{(b3RNkHDAX1NM3oY+79wf4AjC zs@Jy~6Nx}MZ$lHq?HC=9A#Ax0zc7Ci5iE1PUgXL_5Pa|j(kcMkk($`Lg`pACPjP|) zm^z~`L8_S}>22k|o~=9s{4n!7)c~TXY7$a5m_duC3NCmz$!qybdm%9~JzFbWQ*O{tB*vLj+?aX$1+;;o*S_TxO_pHCRHN3dxT~52i z%K_-xDm#;*oVw9tjgPc%i~V3v6EdWuW8#icGX9R&ecnIj`X-4@tijGy{kqL}=*~q2 z?cE1>5Aa_Qvb{37M3|NT-h<<_NU|+k5{KW%XJ6Uodk$Fhd5qE^k%Xs869roDD{G+Z zb>12BzIyF@=@(h2l{mQDV{CdJhLEv4w`iET{W(r$)k>2wzt--xm_$bRA!|&BXwbA{ z!q@CwZ7*cBr*0G>G?-}Wb@g)l@=W;BFW>?TN3&sU3|u5V7@zV?xNS&#h5LWA+N!uP zSVS9$WRT!3l7d0O#Mt@jq1^Kr*JG3ybpq9S7pYZ$4jazoB1UFT#RfQ~|G1^R)jy$> zXl)gNL0{=zTC#%dFVpUBoZ==b&Y&gkt1v-%NHT}bpWXJ9IG{;_<=NxZA>QzU>@x2= zijRgN1c7N6amRYU2%DAUcv=KtyiuGSh3=kuf+iRk0yAdc@g9V%V>8_R`7Jgwai!et zFuBo${NlmkHfw+7Ve>tGm5i0)x9cnArZ1nYe+7VwpZ@LPEx%Gp$pEh2?N;L@?^(nw z3v2#qT3;I7?CX2bcuZ`%Ace}k>=1K6W!)Ya8$((?!TH4Zv(Ripfy>gUr7Y$Vv^%yV z5jQ4azr^EosH^f$Q8?-273-`u)4?SyvVj)or%2Kag+!)oVT3V=;t-dmV`?t3jfa3E zOGSl?2MZwsx@I-{s!5#2B6Zxfok*u}f8_fCtvK6Y!tSr;3|qWRYYEi@z{ymhac5ig zz&Z@hZDh9TI73u(Ue8@KA6H7Cq37AKCcE6GQyp?~Pr-QSTAT z$6DEGWH%;Y75IM9noQ(*d548VHab3;hK3CiT6BH{0q1d+yw>wS2YC)|v$9&3v#~@6 zqgzj<$Qmv-UQ*!aIgD%N!xFv*%Y~*`j6ndN^t1W#E;Y*!m3yby&vG!OoE?%#73XKa z0j00z*osz-+OSu&m<6902|TWWdEqqWQ}}gG{%hoA9C9XqLEtqXDM3*TT`XI>&9>ga z_aGM+$+Ywrl?Axg>S^vC0ZdGvvpYGp1vIPHi4A=T?m1a>ggdjwR@$Zw%ysX5y5v3R zmbyO5-J0oHsDE8cnkKoRQzu`gpO*TIlXR2~)I56=skppyboVvG=9nCTe`vYZb&)1U z;cY?ge4mazVuogevxSy4pi6H6&V8PXH$2JNaexhLuS9Mtf>4=d5P7p z5_!U+B2$T&WgicHUPZ`8NgPG>;aE(Q^n??19w*(8rql2%NQ@8?zty;@=y9Vc6No@y z!3P={leaJn!o_}=Qpb+9owc-7$INaHRwMH_?ImZ?A>Az{ox5q4+Hsd_!t--uwFGTd zds9Fpb#+cLGJ3=f+zr<%K7`Ntxqj5F^nEyZr+1%LF1xR@UrF1&YeL$Z*fG~pTgXRI zY{{)6f^XJtT#nkwY6t9nUg;X)>3q75R8=Zpbr3QckQ*33}3FmD7^xFCC?EE0p z(EQ3(!>&Q^%zW0LjGO=bJdu|o7aTsI>+gJFr%{eK1j!QqEpc;i53?$Tgu;u@JfV{&&+{vocNDvvnL|b>Xnx zGe6ZY-}A=2Y{YHu>D;V>Ugx@Rk$1Tv;nu%YS8pOnga{@mHq)hY=zBDjoGq8iY5TZ= zigQ1n>vfr>*35YWPPCE|#Rx&^WenZK&a83mu*4A|n>bGyikY_SsP0HS1HTmB$*#dw zUG{p~#T{UYGI?GmkvYW2_l$lLZ51FG7X$XwoDd4~uD75@^TNBJ6<0r>WPDBMrLc?^ zfjpj}e0vGI=yO>VOB}QQd-{Hj%TZn28A8d9tC(xe(Jl8v~B6*V@J?wC>H-3m3)SBu~k@trS z3#xL`6p4TlX{UtEqP|iIuCK4CxBQnc+-#tktU; z#&)EyU7wB*A%n+Uk$2v=g+;&8e|YEqPKwr>KhH6H=nco%4m%s9P+oSsr&Hs2=Pv>8 z>7Z$UD3KTdXx;V7HC*@qXW{a%Z9*T5DgwgnPPm=PzsZ39hZKS^zeQL7oiWX$^Z!+f^qwR+&i^dW&H$O(|C_iQ><|Aw8}BAkyX=J)%m19Y zjro6A=Jw~mGB^LHxXo1f7er9dq2B-sjO7%Z8e5oFn zf=K7k=xtz>c>|0x{W$<<3Tm5xS^Db6D3e#jPIXiJv<(GDnSwwzs*1mgp7()&1Y61( z7(_t9DZ}7wTRI&kH3=f1{|eds3yu1>e?)BoL5d+s7n(hq47b2i$omfvH}Ibj$4FwR z1W3ogC}y4)07tgO55y-1Jgb*>SLX1A)mjzHo0R)^z3Rf(>ve523G|BU3fJa2N>d_uqmpczQv%q_qHE8gu83X{rzRR`;e3z7VX??(R>8k>n+T(5c2lp}Bx{T(7o!5P3##gIut z!*0^`dDsMCjc=kvIf$fuVY!1D_V{#1I7j$pVFa!Cc^YxOCPnf0vk8VpArQI=CMoI6 zzr#9)O+i%VKOHc@29jP5+%GxJS}#~3?^jmIwawFnif`ZZDh|vSgls}WFUAyen+Bud zmmTH9VA+*ZY+!fAW~p1IEPuU^&7$>NE=MdN@;~fOP)JwVU*X9#C0{f!ZkbLS1&9S` zSYw!p1pujT$=@axZlmSxt-p#OO}|4^?bM5xDSh$j0_kq7FCbDAC+Z6B49}9*usD-Q zfq}GT`jVTx=3_FS12Pc+T?e%nX$@2%uu`j=NB1C>Z2T-x4*5UK;( zsC(&2rj5nzQf|ENRY!MCuQihMYe5>?<3F$GNIoT3%lZri z-Qm67uGh14tH1k%U9DzLpHd{DhFh;O#PvD_b{7+)!N#q7Fk8{`_+e8_cLoUh@B+I`W2IJ=3d>ClYz$U&#oA}P9!zVX6y|dM10>}=exx(;i;DqpJtk94EKX

k*#H>r*n4b0Ycc-|66?rfmx;z(@GZ*RpfdGq*~(E6fx$|lOJ2oM67&Ermpmhc{S z7?$40jAD3P3OFF`2u7sVH)&tq_9b=n5ly6@5C<@Tm*I|U(hc0i?4Cz#CT=oC*1HtL$z&q08iYeh znG4^S!DVWMx^f@9wA~nN!4kAQSpdN9b1XBG#|QX;O=ODqrW%9?E_6q53dYV>Pq-Vh ztQ!~hMxUs!PQ0Tq&lQe)#$_X3rnWUo)s|^_5ds{oqwXVwKP6dW4y8B+&kq9yZp^mT zze>KF_YVcmfGk*vPYPBKrJnXoR%vmou8F%_>%jVgYzD;W1V&K3=EFMMqgw6L^cDCk z>xFd$zmLG2Bz-ti!R6}K3-jLE^9Qi)35wP>_P#{&oDpBq!8i4%_-sBQ&%i&5M83w|CLi-e@VYdYa3IYuQq z@NE=0Spz*I0Hb`q8|zjX==UA>@Y$Nn^1Bo=iRI0{4}eE2uH!Y@6``bp(FV7xhM_d} zCB2S-(TduG3O$&s{2_FmC`~=H-`O~N={E>y3q1WFjo3n<M41~6+R`Q(Q?0^ea_Y%oTH?kan*u z;m!4xqi+SXPdCCu{S<}WRbZ%E^r8nt@vvdM#{e`AUV-e2 z7$wb$>`Sh9&-tlSk~dl}Fwky!-*y|M2kp2?nO0v`Zm8edhGZGv-AXQW56i|)8GPGl z)i8jd*BhS8O%?Y0q#22RZ>hlqzbpx5c#8As)1`IYdRS!IqF08n@z}JXZ*KGW*)4vN zmrNZu`kuU6t~3U(md9i9tDAkp>m2|OhlURPD{PP6#%tf^8@r^)CC%n>IC;t}ySCYm z>J6Ze=NQxy`FlR$5okcdaEA%}ec3J7Ut%){1W2D)<84pmIXf5r`H9k$vK9ISAPB0f ztDo3q&rea0jIx*fdZoYmJdvy|poe5jQ0b4C$!~kBHVjF5ng@>jxE=T$8icchGE{n? zh7XdIr^+;9_ut%xKyR=6n#Xxthr6b-gR)_HsJ@i4FX;5*Wb1a#QubXs4$rO>!6rRB7sZo>UO|qSps$ z9H?%5)Zzx!RMQbz`3c!&Af}VBm;5?d9%V3mD#SVu!#pA2n(9NIgkBalKgEjNaL7NeYLLS;&Wc;{4M0$>asaLwb+P8!}pS}c~c(q?KENK7+ zJp)MeloB}(wBfx;y~Xh>WE*aIQ-468Yir~xgj)}sN&_R=bjr8(W)k```o5VBHMI`~ zrZe>G)RSBuRQgqOuRMA5fan>=MRRoEs@+OYy+z#%(I9lM&FMA!%o0JDYZmCk4iT4? z9bCto00KD%79HmAS7Pp-a9KDi2_;Xi-4CUobPgns2T;lFxcwgUCp*(BYC5aGe(}GQ zw(JKXF$sMDodw7rYNh+ODH_H*(ewLHU+d(KWoruAWPv1RJ{c8D^(f~<`B(?u7-@~` z7e_FxLOkq+UcCqcfqZI?57sqZ8wZ$`%un#kEEX5Hdxkc?QOhX-E(KyTCT}ciE2kX` zo5j@DPR|p^n1CUe*}}kJ74fkt#r>s^Gaw4NOfQo8b$%&u*m`{0Be#8hwTM7$|F-Tm zn<_|a$i%Bj7IIp5AKlln2ALu1V&)GiqM7J<3Su~eyPU(~8$fvC_xMeo4;bginco|( zZ1lUn_$kgoh}(Rln`$QAK*E&hDb)?HOWbZcrl=C_1P?)6W%6@yp@p!>V} z;~%6^et;+C?CX0zIcCq1SM9YLS@z2elXxUq>LesYUhZW$SW~6xwvQKz46kQx}&!C z<~$AyIMfIge^$*Jo&FhG z>UlKHTWLpQ5uf#CL1JieA?|G7xtsELr!uXTvU$__+h0eMemHmpJQZr7Wqu(d9glB} zKqX-2acx;MIk2eXEe!7purLd0*Z=;MXsFy+O*{)PTtZG(!Q!3$>h8xko1KBb$zfR5 zY=`BdFJ5TVIad3WR;kUVoasQi--q&zt0;QEuvcOdi&L4K-QH_UAPWpU+K#(aw=3Vq ztyrq8@A9mvwePBn*(qP|=kD$bSCmh#vq6ko3u<@&R?*~;b^dJA8Aq>Cfw|yTWM4AU z9!#G9&Q@6~`HuI@C4qG8=+uK>V{L4nmeRk2n)rE;^idHtR441Rx`T(f>Gm8hmeS#a z+}Alw#+g?0;hB|R^B70X9<26dAdeTTx3=skyBl>2?}x{gTN2akInpX^TD|L2tJ$B} zj*DTZsUcuHoGCGPw=J%hK{7&22h+!jvlbq@J3exPd}{CgMVafbEuJQ1(jkT{eSeGJ zx-Z<6_#~suV)BLb!nQW}_NyZ6jg})cIazaLf6hH@`b_1135{*`QQ%~%L%`;Q`fb!FH7X(AL~w>Eb6ky2x#vnag{qv9v?}5(($a&Td!{U zJVk>x<~qNyOe=PA>gv9W=q2+b<|z>F8nzbd9_F09d*?o+d-w-8t-XSZyKI6XRAOY* zUN(Nv2vM8Z9xM=hIf`rk&V5$`eC)}*)5Y#W!Nek~nH+~Fn&tQ1>^sj(GoPS%x9bNz zA1g5~6iqp5k$%Zf&Fs{ZgMRmThFbMV#I<41F>};%)5Y1Qq*Pf9b6RJwef`rd471&a zjW*q3bwGIE`IrdV%$NNvYD5Ln%O$Zlwm(k}{+tF+@!55+h|yWOlahBMb~jbFr-6UI zQ7?i|wZA!hCWEZO!R>00V*DDR7^xjz6&Uq}DTdvqz8t!%_)4ZM!^yBdVVR6D`Fvhy_d~-XW%Fm2 zJgya1J7>T)>vuu}k+1~tUT?}5a}H@(5qmzO!)A80ioE4r!^;nUo*AGu_|s>#*7pS+ z?t7QOiiFyU54-0_7sJhNQt~&MnzfA0YlmS*Z#d>WjveYQoQ6jV+zf8dtOhm%W)$u1 zT>%YwIVwHGAEob9^pmbY8@YGt7n~9gEMJYUq z`AMhV&DBJX0V4d9z-w3Q6_uE(>;>NkUE}tmPAFK*w^8{7(l97fnmylHDOHcDim=9p}fB+!d4QG`R51;%=w-bWLTZ>)v{2^+mk>txup{iN?@JmAXcB z&`s-jqSOvNA?0;ENa8qtV=C1t^EL=ohtZUNZ$5G_J7o?;UIw(p_iR3<$47b?uCA%2 z^r!$Q-H3Mno1Rx=pspJy~`_%)~a;UTGjJC+ApLpJFRh*WTcmC8TWUxi-je zGGDn(CuXEXHqR;OQ01YxF{jK@@^K81>790z_umD9G=qVAr$-l?U8*N&_vl>C-!_{J zEF|&tUC(vuU~anC$FQ96Fzlcv*AlX zCHhez*B-O!dD*vQSFK(U)u1w7Z6FcbhMF~+eMKU(4k<(agBbx07wH%I1mo;ELQ`jX zz^>WMA862Q@*At+==hkL*O=p5r2CN;XYuDst0T)m*!4SBt_uI)1fL-Y3QDc>I?b=F z46bpA7nwbJDCNAVI-B$J%5;|5pkr6G-V-?pUp!o&O*TF7e(S@Tqoe_S{eE=jHq9iZ z0%lm>lBUYcgLiGoI97AZ-2X48-aD+RrHvl79J_$1h)7eabd@Fqh)4$kX(C-Z(jk!0 zLiC_i5di_IkuEJruSrCj^iJrJ8froh5R%+|zI%W7-iJS6KhGZaJA3w&cg>o$lt4U& zOMf~lz|IYCfw>2tH9LL^ifCO0-7kI{^DaJYyu>)ournOdlqV6>_i#3Q1~tno4`ZO? z|Fs9z&6W92qTxMTT_ffPYq;$cerI1u_c3IDqQG6ozH@xqi2+Kyv$Lgteqx+qm3gwk zqAf?_^X5d*wDqZ;6)%P!_{C8u`3tTJW}M;~&y8s!v{n3*ZrXLo*_v`H|Di{$DCM}@+$|!4pFx{xuz{)+%|D6B^^g6fuh#? zUR%JvR|u1y1KdkvMZx!|WhPJ&1S=!WcNr|RrsE^N-#Q;5b@pA0%3>&GjZZ6K1xDUE za2XRQeU{%4K)Z5Awey5t>s}q_HTjWOzJuPx9ihW_IwmrZPQN+L=e2-rTc!V$~{0nNo=~|?5`o}3R8F&kjnw=jyspx%BGu;V3RlH zt<=A$=CG#Sg1%j@r|Zm%?fGrL{+7hy_h;5gGLtQnuN z2-!%J7t~?mdl599-jz4oU{Jk~ve_$@srlPwHcR5r_I7dXB`Dw+W~hf;26=z*rt7uu zA}dR*;ZaO`trF+VM5h2!rayupAb1;6ueumerxf-YqgCQx7pd211zfkt=iqaM*osD#1rn$JkYq()=4Zzs&jFUrQ(VvXP z(p9c=2?ctTk|&BVbfPH`3kBA7NJ_vw2E7@)+(qN81c$zmz@b+LPF$2P$EsVP74~{} zfPYOOwzv%U!lyv*y|CPV8?MUGWWCKkfHm_{J`=iO-cszyCe+pLN!*|=JzpZg~Q{%5~3e!M;*2}vL4(Xr& zHRJxM9rBtQt_cVaR09rS1GJ+a?|Tfd#B@LqOYxqurr^QFw7}-aAcvKi!F1ETD#@B* zj;&=#pojd`AcpO^pTe`n{crqMg`eEjlsr5=_mmsKrj-jsS5z3+B zJf5-rfcN~N=fLR}C9inz%YgIGZ*4>mHjP6bxEThO`&XV9yW>ZPZ520B5s8c3;=NC|=%U1E3$Tz9KNC^#{A@ZL`$&Gxv9# z5JzTGfQ*8V$qvpdNl=lK27BO+ih>g0T9AS-ljC+u|lncn57G;6YAISwH9<17w_m+#e1g1#SM(Phd2@dnwwp-L zkc=Sr6h-vF>}-Sz!owY~kYXt4b*c6;jW#d4bf3ah#L6l1RVxM%^riNTv4tsDdlD$~ z&V5fgPCBIH;y7MNN9-Ohi=EaoMD)}L>l{ueOh;V_G|YBnEdz3@(J}TUepLCZ%SJTj|p3==oxl(PH6%dxcx)`91Z!3e5)Yx47SW0)nW> zMt|OzmitrwmudSw{XpYv6{km#1%VSbiG2>kb)L;lUSwWK#^YOQFEXa~V^hUoq=4_Q z)`}l0+NU2C8&9>{WGWqcB`ABXkBV)MT(AlWnT?2zrV<9+&TJDeZM_yfsp(n6!{Gv3 zW?5~WXbA2Rw++nX{hc$lo{d%hBbg1{Fb+v^&y5aH3~OekX-abc{j|23|rg90y(T|Q2TC-i&d^-2Zx!A*vIKpSH(2Vrl zl|4Bzi%V#_4LzZM0(OlFAXv=ZCkoK^;cLm*-~jKSL(eylzCk_F z=lTA*7$|N%j8xC1Rxb6%tHk+2t|}-z6`TIhn~7UalnAnH{E`r# zDs5Hd%sY0|v0Mt?=FmuecyVFD&M0g6XHeiPr^e*g2RS)`W5l%VT=XQzLOK2kAX3oP zKe~R9_Z$TdRBhOgkh&N)o{PNvj^mN>@8z2fa*YE70e&Un;SJ!xhAoM4Ee$MLqFc;v zx~p-3KIn`qii(Tw?V~uG1*xZnxANcXsJD=?{vp$!b?8m+p8;&e%smu>UP8TL;%B5j z6Q-|$-9K>yksrIQC)cE!v6-Xi^1g29bH&pS;a9_yHzxJ%7%>QE#xp=xsavI8zy)u2 zm+_ge{;l8%op1rmM7-YFsOoc*tb8IBgw}e1Lq6r90+V`v_OIc7Gb18#IzAIwXv(@8 z$Mr|?C+O0dd!510V+D6lSeCcvQbKJKGLAH@EZuvJ)=g>g3GuIb=ZD$bw@d84WQrlE z(Y~)q*Rb?2U$-?){&x?Jwy34`>vf#4p<#)%oUbPPet{Pz0GJWg^{+ErgE3uR06Zv~ zUwXW5{(JT<&)GL^8!hgP@JWd%cANq*Cyj5sxY|HG!cKw_lt`dq)@_E-G6AYLQZxqo z#(~o^eVt4uL777O+0$rgkLAjxd%y;WOj+Pb4~z+q*qHi~B^X=-lHaL;&`ULe6MX<* zZ>87Gc(>tc3M1ebHMFA18e6bLvJ}sa9>ckQsw%K*gsWr^-6i4;XjMG#@4L(f9V4)- z{RbjXfFs{>$_K4<;<;yUex_@-p-%jae~b@&3xJYqzbfSGS$zjLgFWzo3;AGP>W=~@ zy$YBkhn)Dot=Ryei3ZMQJ2>55_ZRqR3E6x(mEh(1_^vAc?1Ow{XVuv^$6jP4U(vq2 zkyCikMtB}Rd8Pu=$XjmR%Q@&zAHdHAoxU`)ba*LTEfR`O$tqs)W*dtAxB~Oy5IpxT zsfWu_9%%)*TrY2Y=6ErS7Gndab7GaePhD}v2rS|||XeXTIAx{8Vg}->6a>?-_H3{eC(bF>F0a2uRnAJ;?<`!< z=++i9F{u$jfEwI)40zT@>S+2uhJ@vq;oJR(rIG^aeLhOqQv!*pH`qRgJ}vl8A1TOF z(jK}feeI6e)1|3zELct$dKFh_Llqj4ote=PxP{*9DDcA0SbedvE%E>MX{^LFD`e{< zR*lDVcT}8p&wKRQc$lh`e-NyEASl15&@aAQb%QQ%FJ*jdM|NgdUx0NW7~U#tvnl#V zqHdBy-Tr`E}W?1uh(>uaNK?glFtUFZOo`lEacxh*E{a{`3uT^Dqx9H@bqJDz64?`xBdNg(Nea zG6vGc0k>Wxa5>_g1OZ!|E*tbM(f_=%dw`mMy{eF>`z0LY+cpi5!1V{ z<(fK|!v2@=C*}3Ul|&vAaJFYO_}N`%DyGe$e9@wwz^1*~RQpPXHc6XT^&|6Mfysu1 zekYH2=Z@K73-ei6rxtGI#~b8a3ojmc=gredh;Iw#(%PqpME-!$FY}l;jQ*9&FQg5o z-6MR2Mj>AojV>(kSUgYYb>55Y*4`rQmCoSR{4e)~b4752R=Pte~AMka;v?6rXc=f*=mJnUU`WT-`k zSDo}s%;>$M{8ZRgkNMLhh;vD^o>1P*<~lbt1{*E}1l zMn17WA@nJ}HZutJxlphj;&12s+R%3bwZ+hJ=W+=5*aZ|gUzX$99O9)Yv)J)+X=_Wc z*J)NJ|D+j9(OUfZi|s3prp)o?ypn8U9zhSqY+o%U(0L2gdMb*D3KRgv+(E;}$2NP5TaNt7nH$D(pccVFqpzIrQV9E^D*HNLcR z)Eu}w#M^Go-pa%^{5di!#B(1Y>wC(h;To}Ihp_BMU436rts{Yu#Lut6#Fo|QXirT= znOe_=Mc(NH{}o1sMHJi|GJDO`{=e_R+&{v?f%4WbY)fl-C@ZZmGJy!hxAC7KR=CmPL3(FS@XJHVShA>Cd$-;?)XS*)%nRahJ=kTLoU*U4H21pemz_NGL-h+bJt5RE6;*oeCYp} zXHILw)HFc%PNuxm5bLym#ln@uTnuIOna8QOWEm=doGAbHgP{3#W<_l>cGvtM4(rG@ zVS#pY8#~lZN@DpOQ}5i?p=CMs_L%Kw*M=mjjHRx+hUYAExnWF?_7<8F0r-xk4k>f7 zOT_ocMSbPv$=?2rC>vZiKRLaQEBaKiW5^@CJ!ZZ^Z{xY~l0;(;3s-aYd)X$a?daR@ z4`qYBhl~eUlqE(!&Hmo-G7u?*o9Sp;sMy6NfQVkOwXb(sFE<@t*VjuTI9f20%Kb>| zcQoVzk_sl7f_%}$B`WLSDOl~VJ%XA|BhQu z59jq=SX!lMq|4zd`C0aNeui42qT1NKE6h}?^Uhz}G?Zd)q|06q74LSh|JrVb)#PdH zLZeYv)E^5~RGpkjc+^y0%gW)_iL_dr(yWO9Ye8My9{@);or=;Fo&Re49A}W*Jislq zUe{3hd+y}Ku}aQL5hQB4)X220$`~uVLusaMtxpq~BvPY10VM zeLUQ!a(ulW`ig=d*PCiG!ulHx6&w&mx;?~h-+lk?gdv(u<_QMg`Qu16-|~U4ZTjLr zuCcui)t-|t1CB>WEl5PWK?_FCN71S?e{Cy_P}+hyw=~%2UUvJ7+gR(FjKmJ~NEa4p zbaV(Q2CJ0C*S&fE{v8SY&~xI?2gb~t#ape-vRwrJybiK+gIitGfM4#>hetf!eMRnl z47lff()SuRhWUB22x#l?0vep89}wT04+NJYHCapCcYyuM*ma*o!%K{MnggGrqfEM4 z?C>R8HVEj?adX&gpOtAD)`|T2w;21L45~*&q^f$wdh4Vqs_x3{bZ_vigRL0YcpR&& zXZMtOdD%EXY8CL6Vvw0~djIYsquxCw`Fwk4kLPyv&mSartE%!Xt$QuTZd4V%Ao&sC z)cv5n_wbKA%(Ctd-ASgf2RZf{`_=>4=sEbUiwwHjTCsYXpSFA73QUQ4gp}3vQ!XK_ zLSFDK6%1_FLifa)Y6)I5-kww&vt^oBu8iCEzrK)6GqI(A4xCfkKh~`nJkK@RwVrZc zR(U)yvTz}SE6{Ff-z})|*+i3QCY#<657ZX$eOR*attslvkQ(Dz=hlh1u*4@2}zX@?VK(U~#TB9+rrp;e0C)G+Hq*Ct!8^ zdd2Jdx23$fV1ySZhx}?L=t}UHzykaO)PcV5t`uGPHikwXA9RFgqQl zPyyeVWI!NK-THPahwowU?MpwdG`jGc1WbvokV$!fS5^`m#`a`;8G zfKBtoD3{?SO`e_wwFhDOwq z00n&=fOl)*vOZ<>*!%TSENs;i3tpiN9Q34otvyKnRa1P=w$fjszNz-Ge?yODY5asC zNn0$r`yUcwRw)gCX21OJ_O)LFe>9I2Tyq^X?7H;MZG$&*Y zDJy$elm!9mX0YhC-_uSU{R1^O;{+OY}R}sYlY^OC~W*#cpk@XQ(VFsD`1+w_1kq5Ip}CeNcu!M2rK0?p3m z76%Hr1U7<0>QP@8yXV@`c!UZXdqU`*$&JvRYko_V%YyA%ONxoP zJ$j&Zyqm5f?-%Xq#+TmjR|CaU=G#Mle;9J{K|lX-oz-Ub)#4TaQS|oJFOV}f0Wl!` z=Y~f!bsB!Fd7j5Zgif!xe)@a>3G=vBgCBqJj1<8|qIU&T?$AP-SrCifHw+R@rvvby zBo)yWR93T;U{mwQcfK4Ns;H5BR+8-K!#}EFZF{i-f&yyIhy6#NGo{5&2gh|A@SzR# zmFZwCeJy{Ej#(!gMKIlIBB)|$|J_r=N_{!=TlVh$Sj-)c#YKb$NJcUOUz>C-oN(tYHH=Tvt`YR2?3Dt1-`Sw*%~E$5Bdi6-JwX9&5a2Hh z&rRvo$F}$Hjk>78FA7^=?3m+!EAvhn=SD?FU)xgsI%zPzFSF}1SQW^43E^UMKp?T; zl@{GYQCpuc**6`!E4nMdKp2^6435WxRj^@(Oky4KrYF%Ic8q)D{cJh14q3DoB zcI{V`<-!IHxAcUQrt3<0ycurls}bCye!vCur%ex6LYs>#JxAnkbzTv$L|u!!!N^`# zX`Zq1id_M3X-k+#S1v=?xj?#dQmHyOWWG*xR?A@O`;XoIy!z1Gp3TA%R zIt=I;8G_ok$j$*-1WS_9aJG?ZkNzdcd>PkW-<&$bb3^x;g}&x|d(Fnoa%c2L{LmZ4 zkndk3)j!9&$vZB6d(9(XU;b4bTJt>2qXed4;FupfBQaHdP@{|!Rs$ieOH{ zf-4z~GGp-NKp(Vh15-WImTa@UGp@9R-t5p;&U+$0RfGN^O-@%wTzDvH)3vf(ZdT^6 z!IYvvod8g6KxwZ(_%-jpu33f=J!C)}{Z^noe2D)D z%Pqv8eqs3L8Z$6n{F9>`H#4>WGgJxtZ)BriY{TEM9yOOQk;1~IZl=hk5C0a8G-;@J zcj&FYshCKiLr3=*0OK;%(FQm7bXS;<0Sj}!vx_-*SI%#39&N3Iy@DE4)g>$Zvo=;% zlg9A6?VlC~w){C6?ndSP5G*YO#EjnV&Zl0izIJL9nC@Ejk*gYd@R;YGT%%&=m5$FO zzZ2uG2GR4(9+LqD1syV>cFx&f*kyP|>?%BFL&o!!Ki>*DSw6^YYTKGlr1ajx>NTAv zK7iYhhIZOLEc#_;!+-`L974)5)vgPxu&T=I`U4Gl_;B8%yY z%Za_S-uR87daZSJ{Ghn*+`qseVpXhAlv&#AfY_W%M3g~q<&wX zMq=`ZJ2G=suSCTjydzW;op&3!~IzBpa2W$he^i|Mz+YctWgaR=VHtId<&-3WPQ~X%lK~@3wxafM0Cz2rnm<= zN!S%CL`qYYU+oT$cF$#U2rbqvzaXM+cis~RRb-y^)3_9+I&ngfgCr?}N)jT6C3(~D zeEYf|2^E^p7uYyo=S8y*BuQBMeT0>{Iv?}aoOMWxRZ1Gyq`35Nhw3@l^a(iG8L4PR zoZ}<%(B46I1B95Zp2(FAW%+pMr_-K|oODz|rUQ8z4^Tu5G75Ke>;6=}dfKPtU{ABE zb#j%nUec?t78aN^g#lBO$^J|+-keW|L#oD>4gxv*pB`3x+e1SQ%9_)O6R)1B*3FLf z_}e{)m~OQ_KF@3gRimii8kWqJFb_LN(s+hA5ESE;=a=qwC~ep)SQZHd1)hBEB8jh0 zm{C@ZRG7FQhAzy5HJDCxF;ExdMqNdYIUO*Q(VXI*iP-KBQkOv=@ViQ?mhL z8Hg{D;!QbwAGA36Z_XDlccQ_Ie$&bBJdGQe7UDpFi%9|0W8gu~hSR~Vn2$;W34K_m z#eR=TRjIvjOf2Kc7Wff=E;>09>fQ&X_V#a0s`^oNsaCCBByVzY2?QhSMg13f2qbgC z+%{w4CY+HM;fTz?|2lN{%Vf%xd8OoF_IEw+c}yTn*7L0_Eb4ryMb&;=EF(ec>RqxP zPd#eJkvHPwi*$5xcNtdFQIwUs{7ZV755*n#r%2g0R@l){E1YqDfZ{~!}7uA9B8wlfeqN-etc!DJSMuN@AC(~Ne~i7oCOcp>|{2E16qLVIb(3e za*pw9OZCUSUF%1xla5CAQ2@|-lVr2Pc0eRp1(V~h#@!J5`diPcl{-MeV`m*;Pu8s0 zxRBl_CHbq4mN`3AYjfNZ;gowdvOm=@7r-lQuHg4UU6|$J?cZGJ+$=;Hgg|7Db$Vqo z%4|?)9X}+j^`g{$>1i3>#7UZQy}Ux)nX+Q+JzD8{%O;KzlM%;@8VooL^t z?6#BROU@V01%>E2krK4gmVCdVvT=86JeMWj=UJyiWgys>FT5C$8 zBY&8J$Ii$3f71C9!~bt}?{=Z}I<#x)gUs8X&fH_&4EA#;KL@_sPPrth@~sR%`Hc*& z>HJ!f5GY7rqZBHDG5+>l+0=ZyE3%|S8gECN@a>$R-aC0+QRV#`yf+3r{MF`23?nNM zP47P6KAzPb=^t&YOS2za)kOtpPluq5M>>T$~PeZ#A?()*=TLy7+X)ZNVGJ21L zLe4RZr6Nr{Y6S%%;HO*Lq38XX<8S60j^?Mk9*!uQqOjHW1Q*lxz`d{*39Q`rVEvls zLO=uPr_Ffweo*D7+`9HaQdLLYh0p-P^U5rhBr zt-VBi^5;f(*(KCeCB4{$T>wi5cB|~!YZ3GMg`(2_TZX@Ff}J%fpNDuJvliTrOZ~F{ z+wFXm%VOid8JpeLi1Ij#vuY)Itr~*b`M_5=T2k&wY|fqya`|rwZjRp9I+9m#3j2kynoFTyMaXKTa?XFI#BfbEa(Uonln3n`7$g?@*I%|UHXglc zKvMD%u2B$I3Yk%*3ntXhB?!x#EBU^NHWn~^*bYBw#~#x@a4Di~;5p_cv-92n`dl5d z#W2k@(?Fh34E{V<<+&k-3{ed1J@VtJ9G#ef4CfifTM7|J!1HBf!Gl#cjk6MZn%p5W z$FXGbwMme5(N|SfO+o!FsriIM)vx~JOMzF*N`C@@gkEv2;Q<0U%{%Pdk{o~)k4D!Y zMP5mqs+;%h8ad@YOfPW-ux*4aJ?(uMfN^Ul*(P`@E@TDTZiaJ`{akmFT3?}ZBVs;t zi)d+o&Qhup9K&Y5Xa#^{_yPORzf;O8Q)=qnUu}npii=3N?P)SvWg^s%dWBx)IS{1t^jVVw_e2B0N1HsI&huiaRwxiy%AK z@NeXJncP~CM{MK@{b#2WgpXeXLEdASZR~8qKz6@+y2;GYR}<~2#8I5}31n=SmpQ&t zACtk%VnVOmJsV~yvlX(``B7Hnc7hCbZ16xp9DY(`eo5j`h!MQ+d!0d_>*4=b$lZ6B}OG_zr~&{A|VuVok-FCkaX^)XkE&shqdVF)8yD5qEKK;;dOiAbfIrXehCKR1Z^`#d9HWT-N4KC@psX z&T|vv*G&kRBLJ8W^n27VSjZ+*Pj%<}VEnbzvBZvSVd*Iw_+c*uA}I+Hwh6}O4s@hU zq%~g=#`>D=wCWcYIz80mDC?GAgoIlZRU9Tc>-VKjKd7>w*dW0UIZfP(e5wzkw*SuU zn$-yw<_X=QKK@nHTGju}iXbnuiQF59H}wD`PS&1z>$Hm3RIE5cU zLYN+ICCKXq5!1VN0Ozx=hH0*l;=^66S#uCZy_=_yLvYa^!MIR>+hMnTByJ7_V{+u}<;{wNdvWY^CHfXYkl2i!XIL0u z{YHPC1vwryu9`#{M_)L1^D?kvnJUDh^bxZ?14Qd8;gm=T@!~*QQKkg?vCE&xqX)dr zHsS?~8ZXMR)rHbcsGq-@ot=HK?<>kNv)-Jts2=)COfGB|pZnkTGpEHhx^=p&Q^@Xq zDrdn!DNe^)Z~2<7LQxtCx{xhz791LS&jvsni^*6#E z7=T09SW;80`m7#m0LhO zH$PODlyCVS)EqErG{~_)vL?0Z@S5V-RU8J((HpG!lzSC+=$*c~Z4LE%}$1 z%+#RY{QBD_i%}YIV7mo?@_2vx_x9Wg#13Js|(6;Cv(M!b_+*f@ zr}S;OL1)t$Z@JiXHc48V2EHpJQMdWAkREUxtJ6gOgv18CYUREldI-dIdI$G=k40bM zblQTX%lTLy(zf~nS@=%nql7|J_a3sL!4Z;WeZ0<|0wbk9LUi@bwaR)aY#>1j^xnmu z*58i2>W&!t+F0G}QQ|DIK13UqWL{(_5`3sPQ!8C^Ku)j%RgvJ{4(bKakem#c|h$JSh)Yzh0v*C@lO_?6k#C zX+XV=d%_5g*CiD6y(DveA6;#OvfF$yZL)`qMdv%diV2H!uQ|=ofCyT1Dbgx`EZxSj zyHAam3)wVO_e#=_=F{Q`EV}905F6*)_TBv9 zm(*SSZZ`F$BHd;&4R-A}(F7G{e9&V-%8R}U9jV6^36)PME7+bDgazM?FStU16Q;2Z ziHxQLVjC@tmqpvw`m^Km6KYyghxlykJr8R)lZmB>!>!`_#YSFJD^{G>%RF_#is_?M z%br@@{2tbnfX(^i9R|19I`E*l=!@!*w^}3f6lfCOXSSsTrLzipsJ+2fGqg`xup<{T zS1)_zL>QVYG~#cl~aTp|Dz@oODmhZCXQ4y-wU^ zJhhcu(Rhc(?u=>_Hz-NWlK6Rgs%ve;&^SIr_>6~oO}%^Ins4~c0{ru*PTU{)CP{CG z&saXsqr0?KfsE0*Nr}HmO0QIUn{}Dxm}}^fj_yVTnE?Q-J|0s>-F$tr7F>|XwV5Fa}w2hNq29BE6v9~Tu)Hq zPdN~Q5vqjh8~Z8?I|e8 z%Tv2yV68WnmK3PNn&siSXA|H`o@Ih^Du}+yzD;m46}R|WvtF0ssW_HZcXadeY9CX$ z-+FP-K1K{wH^#julo*qc&ohR6_)1z|ILZ{n0&7m{ojW*{s*cQVa(rW=TgHGO(6J7)Xsg|(TA zCeSXHw-r9!hKc^vsTnWewAbH%tdUVS2X|UR5h1w4-)`lWp;TR~OAJxC_J{5=&YpVh z9oW4)5>Mxk(ZF~gGN1wvzpif_9tG()5w!~NZ7+9jBo7CooIJ`FvzzE?3SxWFBGbU$ zHM4;yw4Ga|^3DKw{#Xs!j5W0}RNM;}f9zxHn4cVrAcXGhoGp6c;m2NY;HDiafjd`{+*7YUgrwMQwr zJt>($0yU0~33&f*jcAyc}v%HW8jfc&QcrAScU;_tQ#lom$TsfLP zudJexH#%VEy+n2t4BG!(GtK#4Evt0AkwQFzukVW+6~c6TUNRd1dsaz3`r@Z+Kgn_2 zGp0|;?FX`RGa9Vy$w*V$SYZ2rOj!A+xt{k)n>}I6xy`Dya^Z_;@|nk znn^)=iYVC3&G^HfW>k@Ec3Yfr*SXRT7iN00LO01QSZ+2YVM%cL=HK_HGK$YO@#*B@ z3=>(r%u@jw9*MgBJ$)JJLS>$A`4Vu7qoxjyhS~f+ATnR$?`F!4lt<&nb)7};AZw40 zT4T6FLrx>(w_1PanVE&#gwEBt@6fE_35uW=*BZP}4|$}V2%@Gbv9ZbX$iw=7p5ns5 z^q;rxozjQz>+^kk@|y48;<-?7NC;ON@5@Wu0U z{$f@PSz~aFf4qB4@wr$&e8Jxf99qzFhFYqk+O&7VaJwap#>4Fr`7js01iRMhVU3`z zO~&HmJok_CQs(X+;nq*$vb>xu&ch#K2GPm0RSxN-#M^%~-qi{xC{$^Dx~7qU{qy3& zk@%DM3Oco<@2S|$b%u?8#lyeISd4mkd0J}TH+TvJrvYVS= zrod5?J)2#h1N=O3xyyTq8YRxyo}3kabx53l4Cm=;OJ7a>}<&Z{rYed{|zv#m4|)UuFTq2Ew_@ z(D;h3{5VBlXJgoer7W3Q|03FvZcRdLB#$2@UpUnp1qN{|7&HMpgRpdhS!bzMM>i_rd z{wx2#SRSGtqO#2_gq5U8 zZj#FXTZO-1n=oDF$d^_xeyG~DXw+Y1!sj4kwj zj#fI)V~*%dlTiT{F%G#1P9*_(8SAvKJnT<+gnzwMJTN>l!F9H`>!|T4f7Raf{tyl5 zL7q@aEo5-oT!DsIv&<2A{QK+PvMDKAOJ`H{Rv;0%GxayGC(*>!th3*MdTC9;h9#z9 z%t9P-)Wt=YWQcB`Nh>o|*mWpJklex~&~i&B>7Y)*@F>*`ZGOnpfLHf!$29m)JNJe* zg8$e2|7)C!x%JUEihrrF+!8T-*nj}6Y)XZ=r4)u8ev1wHB~Ei zwDS#5Nn>y5$`vZ%f=@Y4X9zG)Yov{phjYF%Pjn2EQFzp}AN&7WD01N{@U@jmpm;tA zZ@+Bs(4oD}mIv0ZjXiNTsy{w+qA-V*xgL%7{Cr)fpZj|%`WtsO|7N@5wX{@0wO`9E zJWfqNL?>O0dMIvvk%860v&u3jeH0^=XNl@_Qm~3(5;mbcume$a%9B$pvOKtp`1%1W`MD7B^7+2SfPR21& zi#PH@D3 z7I>isCpnP;NkhWBHW3wGQq>mT?S=2X1^v2(N~)oUzI?nzNus( z+*5?peT>`(F!SAyvWMQ_8?#SSNHN8IpA8mGfSlo0`hEVKp7K%a(EQppuIlOIE?#ml zo^K~=cn#OSPvp)X)^siAj3Ap*Pd#k)lJnOX6b{n9fw)T%aY!N4P5{8^IKURh;hkkb zkq>38<*8HkKv$NQk188aO|dt_cITUbi-n@I_^y4iFE_iF9z z+o8v{#OQqfP|{tWE0ravxDC*K?Xq}dQ_yFwV#`y={0{HIr9tQ#7p=e0$^%NsC37hH z&uktSO$1DK;-M)$AIbQjryJF&kxRbwOKUzV8bygyU21m9#D=u|YgcjQkEMdLV)VaS z!QpoJvj!-%kBd#aK7Ps3*(5IOdwQU~o#nq7kplX0NCm~Y11iq4v1)YmPlw+$per-; ztr`KFTqJY9y$x&{w>#s>6_Xi~;&=l$f0>hFOY!D~;t#gD)mmFiJdaZ#sGzRX(*rl{ z=8>d?f@a#vS8Hlc>u)u6wEqY`9Et5KlEKv+oE4F=4((&;f?xVkBVW|F(%Xl!COhwR z3gV^vA77bLJ|$#}PG@dhLJL+Wy8X>NqJML?;(E)#ZV{1ATP22?!! z=0*qh8sg~0uckq%e*~okU)>=B!-vAoUp*2x(#O6-k;#9yv0`;i0}8N^BL4he?7at6 zlk2)Jx~5Y>(Wpq1ric^)0i{Y8r1#!K5u}7BAf14UAVm;FKzf%>=)FjjPUxW{y#xro zm-7W(YtD7=8E2n;&b?=^efErFXfn+IhlD@R_r6bgKLp8#0&R+!_YW8RzRO8hoX+pE z+?226wHg^P&yBBmK6W>iE^Cy&EwXUr#%;oxk^X16AFg^lfo~^dc=L$@PA_|uZ)X*8 z^(qOu^h5GNqT}@esls7-(HT10$(J&?D6r*ZZtE9EIUh7G{YR)0te}l3$sA?;fg&_G z<`xUF{jgS8?Xfd#b(tSER(W^DvZ-voiu`4jp!=|#|*M|5*=>YFnc}?r$L3||< zcY)S<-QlPyk)RB5<@wXxCGo?T@MD9kk=DoP zLvXNprxsC@J2QZCcy)rYeMSYo;? zTw!WG!l*8Z5hNz2nE^cet=XB0X5F`!2QM5t=ucQVKLP3&8C!7uLkJZ(km|A z%KmG^Mo4aMman!G43+HT+eao|W*VM+Uog>mNSvm-c6Qw1;YA(qLaQ== znyLA4rJplf1(nxB(2wM|D;U`$E0zfp+LE4seNSn}tt>K&&&+wdkJZ%G24vbZ>l#!s zwJvKPCuMvWho;)Rg<`>#TAz$G9)tHK^71K&UieMm&{Ev_-D1{9dnlRZB*Tg~H?R3C zNb@aI$7^nzO}mW6&Kt*Dah?=URCmV4g7j*G$OXmOoy!gZPyf#Qib`)-&WCwK03M=> zE8ppCQ65^aK#{e5+S{LXD}`+h<$Xzx6L>xM18f`zmdVz>t@8N@ohX|Yix=!KxT8wJ z{F#jj)9S`G=2wZPjIv1J#(UE^*jYrH0vGKh{4p9*&)At1%Bsm z(GkDnSg=%63zIO}Ps%hI(SLWq5W$a%`LYvYO6vMiW&U+imuG zmyPw@sHTTCT+=yw#f0X{xN3|dT5i-(ESA^UZfufrf4zQ}63C0A0=46A-rfN!eGNJ_ zDDXx5p0n4#=Nu^uG+U966PY?Dmbsah`_DSMLmne*2bJk#4PgdzGhRSK0zPcHg-;L`E?g& zG)Oevpv2$X&B9fG*uKkGXpdS1HR)1uMw^AH!|lg(Qzhs@4YiT_dNFg-Q=7J+*yM#8 zc2Sc1dxIle_PCjxo0o)QsFP@~c6F2`!fStf99x<3@$Lrx(spDdTja})<31M1b@Isd zUUDy5Wu%FW#0Pl_F1D#0joss#hwWP`$=_+Kw-0Y3Rh~6>WuhiX9T#6GdXI<4su^Zv zgfblqMLI4gxt@&USKRhSg(+9>k0=I;3!c3v$Q9@>&zdi^X$}~#J?ZAPFmWc=#SG0v#h1X%xff4vR{$e29LrO}2a43m1(Lhu ztR9x~RZpKzdge}6)byIA1N_@vOfFlk`BHh;PoNB?t8A>lV= zK;~SXc_mtq8idwnt)) z;e45()1DTzR5g|gIcYuWiWM}M>I@b*b?*hGlE^(<3W2Te@=ytj>07in1j0V|2n(XS zhH}UmwaXNM+whSFk6@%m-iv20P)Z>)v)K~`8gqwfnXhKVCz`!uYZW^a7xOh=n$;c@ zI&C2rP?^Qkpx7yX{0UZQG{@G^_QHqnu5655v2~Mj13hNeZIVN3)mXm+GYt=2d`_cK z^@T3vCGMWO$C;Sn;1XHnTXYZ8@h66nHvfvR+$X2wVSV4%Do<)s%t7Mou;B?N%o3>q zPM)UU72H~G^uANyJ=kqcHc*sqh5OOw+WSyG2Z-CEU%y7Y06Mw3PN{JVA!u)c46>79 zH}I7S7TkIM6@23EQKbhqp`b<$xVgJR;IiPwuqO~z;i=$an;7QnvCoJ&OGq!0oh#<1 zJzakxh%Z;pnCph{ZNOzDIn({&_*U{E{&7v2*(xJkI9H5u=49@EQ&dPASzM4&Z z=SQH=NT(;cxI(vFHQiKW49-nP!utG(M$ismWbmRVnCctEZav-`o!+w0AYND)lzcI^ z9qGqzQXK8zwwyT`piAzuaI*CLiqlK|VF{afmX=bpqTYM=IkaOtEUmq8iXRs&%sYm* zdQ030^W2?TgCz8UZxU>*I0_x2wLO;A!-!#e?8jIG2?<33b8?EBTL&OW~D)VhdSd zRd&0x{4o3_?k*W{`$`JeXk~@npd`%-2#L-D&W?$_k5?Bwps&{6NL1=OSREFKElj{q zg7>%^=^w<$kLo{tixlE7@vwSRXK>{P$=*_0wTj(0&C6<^r)ZXXTQNTx%p;dl- zwa+~2EKCIc7fZ*}wmRZn1GO1v1l>xV2MX9wWd*$zfu3q3mdAYvnxJZ$ziH-{F!4YV+5PBp+!!bykVPa+T}4!57Xhh zA?ywg{P@F`UCiWdC6*5?N(|Rkb)#>R-2xqm(^;)kG)U5AkQ0la4ml^5uu*-uFBrc-bT`C_P5f&ALMv+-@EySRB zKh&zCr}blFJ!hKO@4`pn-vj-k&$xzRv87|($dYY z;KL7;)E(71@rhzfA4bMc4&r7nv4;}k8G2ZEHaM-?SCiC^&+FEHElV2P9eiIc@xf0D z77-S&vsx1|IPSK!_O|NKK7TO#q2=V`=gXW@00Z@FeG>5fVGS| zseX$yU}53nCclP-11KKVk;PaPdoQolXOgnLnC$2kTs!acDpGcTf?NW8muC)3lvP$M zgpi|_T@jPZd`p{+Ky?||jwt8aDZCM6YN~ciY3g8EOvto&dHCLI(j>j$Hvvu!Dczc-jvBNJuks^O2JfnYZS=eHJ00$ zxU=kxjH8v4hWpJlbhPgsRud=6b9{Y04mSGtrB;C(;LvPBI5hv%LvW*)&|A4^4atv^ zg0tJKP=#KZbg`Q3_0FA?p-XmHU5?R?HUfsW2wC})<-Yr(ujV)-?Yz@d%1m}o$XB`O zH{7*yj9TCJQRDA@ORm;&C7#I`TwXuwFLRUVNePi5yMqT?7KERDOV4kWYMp|*nK@ZA z(Ilmtk>bNQ*WTEhw)-u*zd4AwtB_Yc^#|*k=Y3T0;Nr7^toTp9>L=Q3y$L9l;=Usx zw;hdJJ=X%EK(Q($>(F zj}vQ4YXNU8fAbaUq%vidLR3|DQCG4siWgolV!g@f)I757G`v&#T`oG~XffwFv#sK( z$bjinplX+-H>TE=Oxlx$Tl8ZBWOT{4kM~cZMCA()S9@oH-b*y=qL)Vtm$GUnqnSPr z+`E~kP4I!heMBD{+4UbCU6}``0mq|jR@_ICA7J*es^6=Rj?Lk=R_&0~vOF$q<{o-R zESjrdYB}W+0SN2jXwQ}>@Pg%*I)7_{`>fGqdkq@pxt_7^FZl79brib~%f-CI-_f|J zeoi?xl00RM1WP**bZhqx88FW%Mqf4TP^Qx*>66U4d9sn?ua2rk+2``o$_?8j@Cv1k z7~T7b14Ykn;3cJ`FZz^P7ihG4g%<%J6m;>FWIxK{tfH%FA|W ztm#1z2A6O$#$8GkbY_}X*R)4s<>`j_38ore=oeC|{iYse~`%@-QwdcKPFEn8o3 zl>}^ogeWj8Erg^Ua-48RQYI}U#uJ`UYah0oN8pfCX+4L`KJ7W~>cv)nluF9G1 zPp*;Fu~cnvMfdHzvbJy@|3GnlVu~v0eh@*?6{6gGF?p$cgU2=jR>jBL=vP}2PNTJH zb_;|4R^;u~A4YtZNeSrhB~@9C33T1<3}$3eMniPCZZo#6TBXM|R?1(toTWxFwq(gmseErN zSzjWn${7?EjX5e}i8DjfousPVvaVnsH^{rgqew@11qae6U&9vSD}N`;%n)(qV!zXC zla|ZSqab|1LzRm>2*dM}{BfGyjH%_f^>Q=6q#(2G$!RPWb{Z-)=E_FBeyc=aBDz)takZ=#ZK_&Hsz56jj2h*Yx|3 z(ktCkVZpcQGE+v9xxCDt92Wh|vtRm6W#;b*vHmU#8S zm&3B8G&5tFC&eB4SZ`fjs}RhhLOI&bAqA!^g{`d;koIq?HQ+kW1{O&jH;_%h%fB?p zWZ9hu$f6ImTW=a|gqV)u`89IIg{R{hnnV`Dg^AO#Rys zaJIeyJrf%BHCUPl@l1z7P^doBy>$4;%sRlui?^Rauv&goF#hN;Jn?O=iTrJRq( zTb`*uV!Hw|;`mC*JWg4TDx#J3J&_AfYl^e*K2kE+tToRN5V2MbvKJbOw!`h}ZY&U= z#Ed6@ge_hkx7sVJ-3yV|_jmU#PnKAm;gFr-m@{O}ma9&+G-4sI!wuK-H`c zOR&EZU0L08tgvxJu?q6n7}u4nPas&PUAnC8f#S2%H#l#iQGEKwXJKgpBY(0vvlIs} z0)onlit^>J8Cf$`7?!QCwDZZx~?1OkD3sSDRtVBdLC zVNxh>eSzQ)neVnGejt-b<*gbh*!I%clHLQ!jTX_x&wUMq0EN(&L9D zHj0b3X4vh`2HXfs91<6mYTXo1R5ow)Tb+%Y9QdjTs-{~?NAiXqwVAz=Rc8k!M^F2(fRTUo4YE7cRUUx47|#^l-ec3ZhQ9a0p+9%Rra zIcDI+w_3TyS)?%8@mMVnTwyFWZjlUZRjhnbeZ~&G6!T-iWt@%g-CZ8d)4_K7wK5N6 z|Ar3zwc#>TQ}e#bnV0KFd!OOkyG!JVv5;sLd(6sigSffQ8UMmzqi>31+gH^6jM%rn z+f9(PCwShv7MZ3Q8G|s}7(pd13x|GfO8Ox6s^g9+lsx|CbYM*ZvXvjLmg()>i9>_3`%bNbA(mRSx*7s}O} zbMq2>e0d#%V7&S{A;rg<81VBsl23S|TRNBq=Rl-$U9%KKI^#NSg)G21$goNuv>b=)wW!7RW z%1Pg03Bj|#c*i42A5rs|`S?zt`W+ewtjM3rJnx|O4NNgP1Xl{AD@_o>f$F3*5LY^O zRDyWcwNE&lBY9Njis;A=Z7=Pd&1p;*GqJ`V7nqx*P6EzwC~uNcM;97tu9y{Y`4i5G ztVxP+4hyy9-OrunbHs#@!vQ)12p5}S^l78rd`g%vNd8!ELnwLM{Um9K%TC=Ub79m` zE`{RM=0rnfbSJR$cw&_nnpbk*qtWk24~;+Kz~MyQm>+P?bXY+rh$~Kj&IrU6;iIG8 z7+&06)muGb>_%eLZ%Vl?=|*#VOvV8*gCE*#d%*?*w4=CBbo5E^O2&~x(PC3m9(<^$ zOw!T#8M#HCo;5#E{~VgsY*WQYo42~Ek4A>0V9i8*Gp>7CtlQYMpyQ@;=xT`Dbp%w+ zZcWzVg%}h{$$IOcO0~pO0i4Rg>a8TrI#;5b4acz~hD2SbM%t5wHJ1zJuuNvV1!bTP z`GE{;3h6n;kTYa#{v&&MrmGd>@LgBS5K+iI(IVcis|FOLDBqD(#%T139BKkeM;&FS zmV`3&;K$!t&XSh9vE}Zi!52~DF2>I1GbvO#)6+1A6tZ34e2k{QuH%I4ZX#m>pRUA%145n%=K;_SEEte zmtT>5x2{PJT`;0QhUG=J?o7VOEvTHhOn;xfU}=(p|BR1QAPFj6)@oLbDGBs^h-6?Y zR#zLLPEPT_BmujLDc5M_D~(B88>bLooy~Sq41qe-M#z3E7TS2~ywaPXeP75W`?D`g zWX#|qx%Tmo_u4V`g@u&13-a-E56%TupTbKpKaTrvF$;`3p`y$KOxw=EQBlBvSUwoOI2$ogRo zZ^3n|-(1jbATx4J*2`KyA9enuycbqDNy2x_9}gI)5ES$#>=~<*W#bw~W(4J&57JoI zEr8dJ7Z*>Ajt!EGp%58VNo&d0!9NGl*#%bXmK--g9ra9QoKZ_>rkYrzU|A2pnLevVoZb$8Jkm$69$ zVuyCbnxUOHNS-`dyS3w+-y`}t+REYN9Xi&eV)t5rx*u?h7$zr2yU`rLZT-f(nj59& ztKt#^Lwp-kt`P*qrW_cWe;maqz)mQ==(Trc{Fg!Ehq3D0=QIpUkPe!0iUp3QeL zCjzPZc@#ohtndB>M8lGiFBlu%&3d$lrkibar`Mav_is_q`Mrm>wH?A3w0A`Ago`1+4HU)IOF^9 zl{~BiTQx`9_=Z1SatSAsu=C%XE3E*Pj}x>{$;c=ko=T2yrH4Rv?($T3Z|Q|}j=wC? ze&0~HN133P=e|E;HN&+MndhM zWp$)qDm1iNR+5UEHfaMmZ}f7)r$%Idq3%nJ+RD$FC&;v8~J255|Rj0C@!*xc8p1 z59lG4z$7uNdIJg%kT&)+o9tT7ASs|C^b~WVo{s$tpVt(Qi+2iQ01T&-b=Qii3LEc(iL=bmg~=S^g*7W8s}VDJ{!THE zX}k-M{g3X&H_zawK^~i54#rVk(0A`-0!uXF1O!a2k2-?dP?MMyd$+Lua6)b9R+=FiM+ZH{a$ZD=WYnpngmsc1AeD>wj z$Dpgu>U6+Mm87D2^O`!D2KYPN_EeCu_WOtd??8{5Mfc7L=+~Ox`&ny-+tG)_o@aBz zqZlhpO-&4V-6wR8jkn{ui6`>KYCS(@cvsGq$kDP}OUg)HJ+oTXM0LK}Rega@He=I{ z_k2DnW3#i`&0se{?^RWs!kXXTzklE>pZ|rxuPnsKNIYn#Zs9y5b(`Oa%ykfOmOON8^m~+9)a5{XoKm?IRKY>{$A-`I)jFeVR@z28Dq^+wfWniwen+~DS z+KrKnEI@27aX*?LD8+TFu>#>+o0=z%sFU$%>*G(C(h%h}UWyOE-V~LYz4MjtE#lyo z=&{oGjw{)&m_j8%r><$TfYdJI^n3plvRX|;X4h)W&Z*X{_m_Yma?gmV6vCnATa}xH z(wVTW{Q~FlzK?^8zNg3j8m_C$;P(T77hY*)8 zNT$U+Z12n{JE{}xVbm&;9;{9)nR?X!H}Dk|DIv2oVaw;Wd32lX75o|a*5)J_#Bkrf z1_86mjI)F>)phD#YZXm;UV3&$*}^tf1p}Zsd22Ue0G`ShnTk^_*P`wfNMG2OP|6hv zTyP|pq`a)~h>AC?Nqljj78C8>!=`G$p0WJAaqfkK&Y;H0W~?yPO-<$rT0fz@QFlys zwmJI%9Os?+tLK%0tSwpN`Q@;tUga#3g`m5+2hMsuMWnDmd0kb5qdB){!g?o_Efhmm zHKv1+Os24Eddo@Ga=VO-@{baxo3aG!tz|py>S*`fkit+p3p%}ADS6v!jg%b>XDU-T z2M1Pky;~gyrl&sEj!j8PcU*c4@+RT)Cb{}XZSDEG_RlQ$Ch(p4J0CWV!> zV;ik!w(OZlxgtIEbuBY&!4wi1(D7#>V>mo_lydiio%98cdYlBl%l2DO8jn=f?T^H$ zlum@Q8Aui>Gqkm5Xw?)gB8g~0dC)%$7c`v4a2{600QQ}3XOSR7)nArwv<8~GRol+W zklDP@^Na{nYdfEbzE#Y-bZ`NUoSZGm1}+?ZOJ;_G@3bxBn4{hm2hW}InbOHT$=_gs>abEikgxzch1ncpL7+A_ELMyv0X4BYo*^?EdSlJr^ZLEk+4@GB zrtHx^U`ZrpznA;lJ3XPZHg;T0S#86&L~U*PQ zB9lf_EOYgKQWeG4h!CD9^h@97_-0F8uah1h?~D&vUe$y3Pi9c2n|7V6$_?6ghXnW_ zU}Bmfpx}PTK^O6scdm7`XN*+UI1eXT$_QMB3&j-;ZY;w2SfYE^3Nlued+Yrku%^K} z+m2scg`W~`Vly|c?E|P6i_hogQj4Rx2|Z4RuVkp274m3L^u50kHQy=lXy*GaZ)_FS z6g8l(vk^`7h)Y8$AGt)1$abJkjvRpSgTs712K~( zhK9!S1;z+w-onk&l{Ep*-S2y(6JnLq^~?K>Df|epzx~bFLP}IvHBW3yfm5tujj{=) z03ywDu{hU*`an9yQNr4B?(5DaFgDt1<51O)B!0wWS9O?HBchWn!mSXqT1yNRu?S(l!9X zGptXB*SVX2KjhXQb{WrRskklX;W1Def48d>G$TS9#t_oDmx8s+E%$zBg6OT2ud}dS zi%;HQVf$@xEtoO)jm4t`$!VzZsXd0eZ?R7GWs|S{xtIO%H6r`(TUG}fzdh?m)bv^H z?e?bK6&%aVsw=EOma=@Z;wkUKSW6AClzyZjKRUJ$I6Ey|3|qL) z>7;_YYUOe8ZQ@GVs#80c$D#YvklA512nYF^}PL3L5doCi=LGuuHt*2_$!x( zqwX${3doeOeLCmLupauPvXbe#&(E;#{biwKVd@G;bvAtFtu1qcvrE7uTwEUHiv#J= zbF$Zd{z-(9K$=F^5)8ImY6X*hy?xc0SzqHklk*aN)sPe0y4OedOGv`{_LX#XwhS0W zex0}u4C|@b_65F7kRaF=%D@guD|oms=r*6-Kf2ahwHhajVdaTEPQ%3W=QUr1_(b8j z?e;igGFo{w%H1R$|8n1fYy^|PMYMm`WsnsBDH0!0dd+7WzxO&jh#ou31QJWYM|sSo zMTMoba$0T(W7xZeR5cA(|3a~ezuwqS|NFo78`CY)zMY~dmL(>P2S#+_DW`*J zoWUYQImEaOs*J@?BoplvOztv@@_L_Q-N>^@hCzvIX?kPFed~@$_rM^ zAxXA9V)C6#)xsDME7JF`e!?MNh4}n>tbP9mpb+C)vpLgy+PqQ#xd>*PfRl7f9=brt2 zQZjfoY`>E}Aa?PbxjbXTkr36RGtRCPr!!7JCx3*6f?lKu>+9$DC$z;^N1Ek1j8xr* zxJCx&9KFLxm`i)t)gtaW^Q2)DZjzxjU9Gv2c zbpwk2@AyiQt)Ti7RW-@n0xcdDei#|rH@#oA`S_9(szVuJWs)Qum)>uDKS?<>HV0>% z{a~J6KLtlX2OWh}1c$+j+*pQde(1r92J{O&>Z%R@{!6?S0*Hii@IfJ3)l0}|CfuU2 zO=UGVXewcB+6Uj=ygEaYawFyT?0-o3a|uOW;8*T9E^=leh2DjQtHrFS4BLsq zI5hdso7R7S&pW6<=Of`?vFn8fy|Q16!6SkYVH=YyVd@%>g1Qb+^hQ?2x4tnC_Put< zxJNs4U#yyrVD!Eioc`B{%s3ezvTgRrknt@psY(0>s`D^a)e{Jo!>C|Y~g4@onp9K7(YF+32t?0cJa#2w6TERKMep~AQGOgN@g1@ zlG-czmXI;NRrc8cV5&F)3<5g5Se%Rok~z=|u-PJ-6bpL*mKg&dN|IR?ao>jhd<+ZZ zmn7?VrYjsw5NE{t8 zRG#0HaJQMQHvxgrgelG;CuBK>c&+q4;8e@DXnO6`;Jw8;X$=g-Va@Ig=>Kua)sqS= zN-1F3z`kC0A@>)HJioCo=8CJ6@2+vATdPO^2J4ow1}oKI3;20U)rKs(QSZQ)FfCa{&!T1>j(2gNsV6;9PILIsyi}}I6AAHD=w9mlW9eF`Wxd>>6V4dLT zzqtVk9i{~LR0+V`T)II3=5$~dvnA(ZqO>{**xER7esI zoE9IkH$MLjP^7enc+|aUrnk2Kp+7ba)4o{Te6K&VZb6p_3kCZ?H%wL41q@OZF8hH< z_wpOMmyqeIy4Td;QKT*w@0TlPs<6pp@P`;1w*9Y%41d-6KV#hB5(W1D*7pyEuV{uU0Q-kH^yy})G0p5e zC|TpJUgF=*Rbd zhj68Je&bv$jE@AC2sO~)oHMS0AKz+%LjTIJnPL_MG&sc`lBh@ z`0M?T-#5s*IwVQ060(KA@^p?-gd%3XDu9*?ou?i6I74=X}ZX1 z#6ucE6_17bpCr%dZK=PAi~q<$7Jsd+|NDJXm^LAntZ6zYYXG2+g$}=$PQ}M^HGwpe ziJOrf9IBlP*Ev*S*oVsJb*?rucri=5`R5DuX6*>VY+A& zK!36tU{bIr`BZZRR3)&PkKV6BSJou=r!NdvWC%cfkUg>(rx;R7W%LvO0apRA+=)#F z!WG#e3o2Vt0It}|4Qy!jtKL>j3jk&^Yz1$g=K&Um^WCjLS37oMp?7phm^=i zlOzkX60i*#R3qLd{Pgc!wb-KObbd2&*BAWM=HR?oHfVbVGEZhn&22)adc+M-J2QH~ z+<_>cq?|l%-@1Eg4{UaE z`f2Ct8YDClc5cB7_LcpvjV-ZVJN6}&fcCd5sTA7N#yvr98ARyNX;~5f z`*{IQ_#-5VF1ZO?!z{H4mBGY49m<69UJ2vOZLpu0f3oc`(W(ij=-h6^8@(d-^%#hG0YXF@Ca-`M83%W1DFa>Ifsb@;Nlt~zxL~Ku{hS+ z%a7$(lEVO1O_oCqI2&-1knM3K;4{wY^m7}eDVzOI_FXagysSOv>8;8xky`vDZU(%; z;WeRJu)J1dlV5eZP$=myv+w!(zzYTF2UrYHD({4PCDfVF;ey%b)4tB>!~iab1aLEPe^Km+f1=p!e}Lue7W@+a(hgC_N5TO#ldsb`gR@Lt z0?LQz$PRHYQJOCtvsCsFoFaSMea`E(H4h+qvOCx6<26|hu?&p5lMGR%G}I-UJ4?nN>DUJhwnBgZxo_mT_84XPB1?F>x-@d*>e_^x*DAIo z53{M_9-;t6_3$epT#pp9tx$$<_r>JI1F(i*ayoL@5SC6C4>^$pb6UsWqhKKug#Z^HSE18-w!zK`GAk-95zS?Zw4uAbYlD*(DoKWW#|0- zH5_)ZX&`V4(@dl3$ve(FkE2M6FXz&z-8q$iUT*h0fsKZ-jQSF`MZm7+SalT-(+aqH z&P66a=V}ZWE*Kxh*rRbXL{Go&SW>CF=B+cz__1uYsYW=$$#y*$QA! zq}F?6yDm6Sc5OXB?&UrwS}4Cr&FjfAZ?Iy1tx_la~4{6=uTEK$ggRn++!SG`tZJ~{_aDA3Rw95yVY_Dp89ZXV{1cU{^0-))y+{^M z-kAOL|C}cVkrM{Fb#!({UxkZ3fe$93Ldyy#U6{2ze-I?OfT}yLZio=pCn)%-*&49Z z87I`u7m=3Xz<1eIe%XIytU)`op>z{4HthGvA+X|eo(W;3W%d)IOA$bh#Xf1Mfa~|3 zgpXriV0jr=w9LER*mMBRgq0Ss3rKpOIOs&=+?!;7((}u&l)(S6&;fjJb!aimXze=2 zQZIml87%mB!1~p-|7x%f*rVQv&-fuVDKTKnXvs&0-FGNF#s?Lr*3o~LRdqZ)Ut|Is z&22?2_a2H4`sJnZ-NIQ)!c>7W9ykhjYE}ME&rSYcX~F+17NvjLa{i}Bcw=2MC3>kL z7a3FqLnD1Mf&IY;fH-)FRT~qPvr+*$gW_Tb`>Nf)id9m#Vmha(yQW2I$-%p2#Br$`khGRKNHcOQ?KXsi)h#A_+_7zCm{mL z^?9|Q*csqQBO#h94qP&~lrnnMJzEbi?fJCI0`40anj}T(jB>EmcQu{PFf7;^V`Xyu zwsLR6;OK2-tJxem2EqlltT*8rN1liEjPZbvFti8Dq1XAe`jBCJg5;j*8e?}rnj2tU zGGKph2q(4yums+j^Ai7e;H)uAzc)=zSICFGM@OApCz}oIFLGSBvB5s}K24#>+aRzv zaw8WUM?>vZCo76m4Qw!e`-iPKAn6C(Jsxzp=hm03v4{^J33sAoEy3ThKvBV_{#-$s zf3BBh|C8MOx&^oqJ~p87VyAJ!Hn}0zh3wV-T{O z0MUOxFWT+K0n%q-kskaD-Hs($fc$jm>+LuHAD)i?7s~(di;Dke_cQpH|Bd~3Ofn*% zeg|$EV3J8ubg^QeQOp1)8EG{GT=QC=s)iJIfa22stSaTbA!A$w(qbeU=vIa1T=hd;5j=J z{WD=rkq$Tx|2DmwP}l)qlxNn&UoGT{n-l%YQxMStl6-ne5-r zP44H~=%Zo92H;6F=FmO|T~4xxSX>8ypZFast#&GWJ-0~OB>*K8!YS(BVC;y!Hvo?K z;kT z&bc4GP(MHz)qv?KSPDiOtNk8Ec1WJ1y|aP|Aa{iIr5e%jQl6J!Rr9L>b8rsv<|X`> zcZeD*&yDaqkkJn1^WF`xFbGz9>YrB2nv@T|+q83l1BzV2#sKt2b%{Ty#9W-gv2K_` z{U(Tfd`&Hyqb1vQdffu(OVt3)4W43I8dD$QRWZQ-R>z_f0HO+ zjs9N5Q=SiB`YLP}`|RAI?rdnKmx9CEeFWGMAQJ=D1#91ltFF`alAHZ5>jgUlw2QDq z;m9?B2X;m|z~2u#kqT^K{r}&voRVL;Ev%VdF)a`{fTH*PBY*m9`j?V`c+Fb=c+h~U z2)H+2wFg$?kXwX$g|2$pN=&A_Z+%|(Mswr&omO;4_=795SNJ-mA8|;c)>gP@Er&7d6x_Bhrk{`AqDtl{ZpHFKJ$KJeoezz%>EOD0-;LN;W2F2}|32DV(AEAeiTpKd;h@vP^#xnm`J; zN5f>9r@gik=PFTsd(G*{lB;2ND*-;{6|diuBr-SX-lMgt^a1?T+QDIGzwEX3 zd)l=M9;41RN%bZVBj(i~6lB(CyO%x6wYP?y*^4kBM|si=P* zJGmRL_%2+!@CLmj949GRHBgto9lf{4A|&XOw30Qc zhE}J}0nAj)FLRJukv_tfI%t1iDfudQZZqYjKQ1wJZRsiBT|V0-r^)pTarAmrH!u5M zyztwVix+|h~{`tm}C^RhV)ZmxvwXwo|RZ2pOu}jI-r>ov{^9ni7lYhaDK%> z{(Vl#zH{ZuIOA^%H!nYVlQ0>8m=1dT$EA1a=IJxkoRB;H&C3^KWZqnme@cO&xwT%E zH^#C=21Uu0)nzV=D0}B@27gn2&Kbp7MJummo>8C{rt_q0kS{ES+OKcv2PGFSW;Q^c zPJ{51WCy{Oi*HX^zy0~*|J#(1jU1RG@&?Upe39nn<=6|t5GjjByu`*tWo=#w9r{*B zMRQ_(%YqYI*42XnC0MCy%QWGw5a>#F*r56o-ZV*GrgomnZ?JsrYqS@B8;;pEGm@vd z5_2Kw{`4gZJ^IG_f7}i~=6Ie&x9L7UldywVTtsg1Z_K{D8NtH1sN}+t_?5a!*M`Tj zVtQN3YgpUrUbKoCi6jNh4<5VAVi)ZEn<(fBMaA&d`21)6=G=4ov?=eT5=avf#;OMM z9Lm1RZdrSIYojqVbn@haVEUgg2cZJdGsxhl*Yvk8w;0}2;;xyV4~>oqfAmJ>bLGyD zuh2A0!;lLvu1TfH<1Y}tta@s2KZv3#^rCJo^m*yR>@ck9mPAg1I-%A~a8#jmvgnIQ z^Q159g$K*dm9OdT2G4N*1Vq_qZHG>^B2VTb4tC-Nkz1mTTS2^f>2|6g`SS$|*FSW{ z*}J2=tlDzJ*!*e+&C?0O2YIs4G3vNB_Jcf>F4-c>P_WajyztyJW^)p|*yaD`@OmM!t=Q<@*nY2RA;VjRuoAREN?sYbKwzZv-i zKBR3Oj(JFgEJk;W1qU0?h`o)%%gvm1R#j%^@m+91A*K$-AN}ct2Wve~(37g-KeQXK zNK(-xJ`=q)!SHHx;l2^KQ=Br#@_coeLo5C#2Kc~K4AdAA#tUn@PL9b|8wjs)G>sRk zbu$?H_Kvz*>Ot5LEb~S2;LsCFq>|N(NVWJbW}p#%tRwH-6(G%rwX=a>jjtFCCr0XUVMFriuaAitzF^L zjr`>kt^IJnKfaq_RXDB9W+Gvo^^3Xi8xkKG(&wP|?!xp%etJSXe&kixW{Ci?s&Q=r z=h-3dNnIV&2eMs~s_97$$;rM14lNxmyy1nj3zPNx+FH&}cqlKJLcgd|&=E>fa)pd* zTQN%A955ri zdV#O4={~iX08NbOw_zT9)*p;aOtjadRkO4T9Az|1nMw&I`oCnwUY{_`-;%dRmM2BW z9a-)wNa!ECAN+Vz&GQ~gN7%0(MG=-7Gw?7Y=hJ(!;TRDf)<-hNG_x0JsHp#GX{S0q z)9njqA-a5#D~+mt>2}s9-CQDpPnpgfD!fcu?k*__@4HzXcrS_c#61tF?r_};)G&_B z))3h4^~+v);vg#WPO@ouv>A=Fvz+bkU!oCK^Y~~tqv24i{X-9)cVU-F>6dce=!CYI zs4rE_1*nnb%P!K|vB^O*PlB!{?uHT(_WGpE(#&@z7OdnTc1MbLQT;%{2c)gNpd{raQm)$8`~?My|h-2VdIou z%+BAa@*?RzC|J(M%PQ(3ZIH37&wEDP+;)G#CYHl;B=61l-d^75&^zOsZBwN0ga2QBSL*@YMHzD?bHd0`r@ zfA1B1P>cy>8ei=)pcYX&&lehcRJC5e(%)}P?Rv6f`W{kAonDzQN3ITq_HFKoiu=U# zl~(o$4Gs>5hlk(gbA%0KI$R|=)zh)CK#Q}D-4h-W`Nt)h?TI#CqpsF zg$`)VKDSQbeT;5h4fB!03Lo`LO(MhTM}7}z?>&~qH%HNs^;Jfs6D&^~?ZB*<6{vp; zd2J706IHxHx+8mPLlMRpCOtF#{Cg1P=~^YL)mYg>LBZYll4lntfBm4@o}2yw0X#1a z#@EKPILQWtU=8z~Zgs}IJ%y&IfVlNR9sA9#J$=uUu-vm(lm#5dl4ryoq6nc1kCR*K zjw?I2c+hlasaKRPOw4Dq^AWQ7$##VeQw+aQ4;VLJxb(b+ zrAv>=esF_r38|K3qo9MF|6(T}SLHFCj%x}Pc;4a55Fwiv5gv==HGQ;fLE#YQ;Ql6& zKWiw3UTi>7jmAMn?c^O=xH+7}0k;8;Uq}!>Ij^ ztCy+nq@2a~!uVR%;WA%WTqj-9?rNXV$@Y$C%XPyt?_X$n7PB)Ox@R-8oux25cQKd1 z^S>2$)o)QZUt0wfB$bv%q(izvx)*6!V(FAxnkA&9K?J1Xp@k)cC8QOkV_B9?DFNwP zdU@C9`+l$YPk862bA5i8IdjjMGxvS2>oXHRvyzRTxE}?Z7vKL7*SZJIY~Q=|qqi=+ zY)tQHL<8;H-+eJOHhas;sEZr9DiAiMYh+gelNkKX@&t~b*FNTy`thYU_p6kRWM?!Z zCC?a7h7qlLtbTSnqBj~~n7%PBp8Mp4(7azO)+r-D7#-9y`U1flQPkkm==;!}@`z>a zN&@hPXnCiV?MSNeuC%i4An>-PjsD_xYg82Of3v?8ySU6p(+fe66EyLo+EBG`bY5+v zIL;&R5mEV@ZN?{CjIZ$4{7tLJO?qR`AGI*TAbB0T)Y0bj^gi1I8POEAtepU4uw&o2 znmE8Tk5#T3mu+pgvQjCxXO$)FeJ;S_jg+UN)G^@sH`%m&w*0Ta4kB7H=jNH%US?)> z4VMezjcM6X{JO9IHXuwuK=+*pg#A``G26Imy6dD=`^n))++HiNRdpU8dt)v#2S;8; zq1>_dQ!l$>P@dkK4YDIeKx0o$z44bOL-t=TXQfS}p%iY*z)l|p^XZTjsYSI%kmcC+ z6-oxeBX|nv129KsUsrHb^CF>ozXE*V@OFbd{gYo%cWpqrr9~nqxAXl48}zLWT$<31A;nwE9q?dia7hIZ|1eaCo1al z^Nl+trXw0Ug{bYkp8OFJN=eBe4z}%asgCLm!Y4tAXL1x^X3ipz5V->(wmnhU|KZeLoSGuNM)CyG&QIZ96q+ZAH2Kq`@q#Z z5ja~{LrzUC<9DEkL5!PMrXF(fM}v=U;recRdep78z%*d}QKX#Nm~-0_P@^3-HV7r_ z9+@4uWN%Sa-T0*>U)QtaErzZ5i0N1uC6TBpB>`}%Zo-JpZ!l0LumCCngMoB6GOe%* z0{*PBSp*jXYJNwy1NB`OoAt6Gf0E9QepttkTC&8(P#(!R5I)6-3KA8mi>{EU*CK|^ zPRLqq>GLGNa~(N3L@a4}L|tf2XW+@7sZ%yhDr$0argZf-zr(Zh znM3dW`MPx3tqFRfu zv0zaa6q>Li1Cg^*>UegFroX2u-@nQ4`7G%0J6F0`S?PO*(1QmLj>=pYnpT!NU_UHJ z2K;{}ky)aR9LPK+B?tMsXvMs@GrK~!*Lv#^2tB_&V>+5PM?{gaY}fey!bSg2P1Aao zzV@!v)SljW+4FrG0h_+?>1qfd^GHcmH5pl+{4^^3nolC=(zfYg!10gpSXh0mlRA68mYn?ml4kmcI`JUDCH+aBoKg} z`!i&wVRdUFjp%L!@pAKR`mEyvLwl>>r|W%*vt6Oc7O#vINNqs@XkfWR<(a&inyAcu zkX&)&AVt+?{O{isA0i2MCOP(2d)P3!gP7>xT6Yt<@u|5JTqt+>SSJuz%fCwH#`Vj8 zKvACPbNTr1ne9yp-9lk2u^)`tg-#K%-YHL2d`~;>`#0yq+aDxJ1P%O(ls@%!Gik87 zJ6Qo7FbIcC9)e3IsQ0+ypS3xI!(<++f^2X>(2`95cAZn*GeO;?+`&YcJ+ ztv`% zVPeTWSt;I{l(g2Rv9%ynCNDeC?`+!&YUtV-d=mz&7WY5uhg?jQYf`&(LL4`Ta1IW5 z`jQKL*8AuZl_7@~*OL`qSdW6(0JP^tr+lU&GYbnYCmWeuM!E!#ZLF-+^e3%b+O2O; z#$j(PTedJWLLDaSRZQaG^y=uudwJpih9|F`2Gr)Se|m+Wr{^gu&ai0n9kzUJ@35tn zE0$BXBhe;I@;=?fxIkWia${tqs@n8oYPymvt}^rfpBu`IQ zZk)tjofYm=Pv3rE~uNf1j)#ws?0!YnN5hXY*{fwiOPD(Gl$v(-nEh#_gl*{9iERt(IN zZ=UrTb(G`oi*b`)Igv>?J~V@$UnBHp|C4&@*w|Q(fSsF?(yI?v zIy$K|!H9rU`Sb-0WjR_teZK(OG#kRYzeB8>^ z2M@2Dj*f0Q^u8;9ad5!@U5mE$nvbNUT7S~M#W|Zy5;5Jij#Gt{xOi{-gyrk$0?iwx zhsFg;sd|<Uri@AC-g;J#_=toUpW)r%f}f_{=DCW2Ked&L3mk(=`7jnIO6 z_0pPq`meV~LxY13l)wfLIb6?{+@qt{k#7wQ2p0sbcFwOSC);ofKa^Kk$*Mmlynb&k zFens{JQNa-f2@l+G|JyUSjo(E z(yf?9AVNm7Lr?wNr6ELJfvQizYvs&gFm|+j*u8A>A^?C0oB6iFV*NEJ( z=lMK+8LF;?B{~joVh6hxX6M&?SXTkOk$`BD4U6)Q=iw6^LTkvD2kpg?<1=#MfIpMk-QDthAhb9OOHoP5o-joe4E9nIUS$Y{wHrJi-XcGLULET!7la9 z&c+Ixn3%GlV@`dkfOT|N$El6)r+xzP&HoK*C z62*zp9dFHf1)M$X8WU?;8QZwSRuraNg+bM6YOj9C{dnG~<>9!(kW42=5jx(3Os&*i zm!e%I_&`NqL(=z)s>nm#r3mvrtp82CD*L+)0X0mZ-cVmKKab5ce+w1%5y_f~=_O1Q zR!4fv$sKn`L3u6OyYoFzd)lDW(uX^+W#BNq{%!|*w-J1)zGV#H_z;86d;9W+2D1wN ztDBq75hif8;nwD+g@be(D;HODm`!jHF#7_rLx5X&-Sgd8q3{c{S|y%z;_nC9xlwjc zeH0Z5aEXa`mmpMfKy+gs;q} z5Xe(?^Ydodlu+f#Z54fTM2?eGvJND2aE+{ad4A~D#8!)^A~kZ~m@G4BL+kP~vS;DG zygtLzWf#uFT6lc^lw%lvLFTn#Fr~U@-96XGsI~qrwxm_#ii!8uUPmT9eG2}RlLzL$ zGQgT!*o2zHCJ+%RlE@ixNmGYrTMZ6!Fa(X$bcEq4k4oph>vBw;ial!F7(?;bySiV> z<6sa$KOuOGmDDvxL>yPNwyv$6CBVv3a)U{$RRKDmN&vZHqV^+4V|iGkOCYf%6=fn_ z_R8m^wWjng;$2aitc3XZS{jhd45JtljM{mF8vucP{ya2C$6c=LSVfyqQQ;SO{^wwS zKRw6vd(9aNRS6O!#J04fAj~aHsxg%TfXNU z(pVH0>np1(t@q7yMi=Gq#tF^D-PF9A*@uPtF%Hw+wpowK0JA6+EZy=H0%x;YGtBWO zO3p-N{0jj1Jq*O)$`~@KZm2T>D^`SRo-*BJObt!yT56j? z?af8y(Y)(VnsRfiK_EcW0YHcKzD@I1?~UVcXtZk*?cCrdn1cHj&Va=Lc&-lN4iRLaR}_f_-;6J7xpi^?c(lz;$12Mh$@|g2ec}b>qDQ~kTbov`}HB=`tO+BI5 z>YFm1i5@h~NPi$*ok(um*`SGtH#t`drtbXi(tE*>S6&%zz`_5h|8)W*N#a`3IvQ*d#$wZ8if3g z0fp#z)DCGRi7q=Qrq&a%Gckn$j+|^!OI?CDJ+7yxKVR}9dNb=h@NTUaYGXsW`FpwD zV>Q#FmO;p|{fc*}y}cWwAWpB^cW1QA%h{4>#cfA2sdsj=3_k?lUGLY~I6TD;FDU^b zC(u;FoJDA!Y{Dm&S`>r@5AW`)bFk$w)JrA#KobCPMY7HgR&*5Gw7q{nzBw!!bbI`Z z$J9^=nDg!juqPYrBKFQ}1TNi`p1zP^i9(@AuU$h$&TmT-7Xl^PGD=G3=hWy?HimjZo{)|>|3 z88K8jII>}$%jB59yE}%8BHIAhi)E14rPIH}3RTjGGth2p2}T6|CmRSF5pD%sJ6owg zNC*GCYK$n0NinrOcMH& z`PDLnj@LX+1=qaImy6l@k^I2a)YYGTUBxh%mh4Crd9%Ar?w1oG@$T;x1A+EiWBZtu_4_lK zFRif9)G=#nu}eA79R;J{j*-U=zB@1DF+~ACD_dC&HaMM5AO*3outeS&+jmN*CvKH8 z2URSN`snKw=VH9NI*mo4e1|jOHt>LR=Rf0xslRAm{Ef;`hiA{Qi0BueKjZ&#GG-di zSYPi}QnE-b>HC-r0VU%AGwOX9ez!aezC>H-Sa(m|I4Yi3l zPE-JWuie8RW`s%nRDI>ITMDzt0VXC_k$5mn5^{22GpVyi$C01%G&i|yMUPi}fWLkF zR?2gYa_@Ezf(o)};gIdxPSq~Tmuyr}AIiGs+B}K#T(_@ttxiZ#!7Pk&Vw{JkrvyYK zX(^13wE?ZrnkeDBr)azJ{p;7a+S;P0bNZY~zi)vK9fi8fHUXc?u%3vR)^Koh zXNh|~3mX3m&oB3bgC(I--9}rr5hGA=YF3sKvZ1yX-X0)``v}w(LYW2!;kqB-RV`<~ z_BzmPG|gEEt(-ED0A59oZ>DCIXMVnOYRu&fe!~Gf66x6nq>zF7oMcmm&=ClM$eiSF zTB3_zI63%Mx2Fo}Zg1N=gfajP)zx)e2D6gQcMfOZ+V8*E{0^Tfy`tp>y-&IS=&7yg z5|Y7-sSYkdXMUNt5lIJUyS%143k(JT(8RJVL1&0eaxM{LuMZgc^W#T^-ys^kgEZ@~ zs6{v;C+KT{jir8vR-XkMWGJoswWV$>T;5dHAG~Dq}{|z`i#}% zta6iYhSuJPZzsVX@@vSE34wc*InMLJ#NEO25VYsdh5(D@W#tY8rhxH#6Be3#cb;l; zn)UTzq}=IgIr10$FKNNFBi;a&GL^RQ+yz-4uPt@$L)D z+o zW40ILETgTYp)aH>keRAYX|Z7(Hc3RCn9xBww)w;Ehvqadmw)8gOah>AqsPW4T%#U5UN5g zcGxLjeBKO9hZUzCI}h_$#F1?n8cjPUPJvtUP@NS6M-7Vjp|t<$@4eqb+nj=8QJ literal 0 HcmV?d00001 From d7520461edb1b70658f4544180fc30612fe62d44 Mon Sep 17 00:00:00 2001 From: Bob Date: Sun, 20 Sep 2026 22:27:38 +0000 Subject: [PATCH 2/2] fix(blog): do not treat a local pass as proof of the clock repair A passing local run is consistent with the shared-instant injection, but the unfixed test also passes inside the original one-minute allowance. Inspection of the intervening commits is the proof; a local pass is not. Git-Session-Id: pr122 --- ...026-09-20-fifty-minutes-is-not-a-constant.md | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md b/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md index 50493cd7c..2ddb6ed4b 100644 --- a/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md +++ b/_posts/2026-09-20-fifty-minutes-is-not-a-constant.md @@ -116,16 +116,19 @@ stale failure. The useful sequence was: 1. identify the exact failed assertion; 2. compare the failed run's commit with current `master`; -3. reproduce the test on current HEAD; -4. inspect the intervening commits; +3. reproduce the test on current HEAD (a pass is consistent, not proof); +4. inspect the intervening commits for the shared-instant injection; 5. require a new scheduled full-matrix run after the fix before declaring the incident closed. -The exact test passed locally, as did the full test file. That proves the -current checkout contains the repair. It does not prove that the scheduled -environment has exercised it yet. Those are separate claims, so the incident -is waiting on a machine-checkable post-fix run rather than being marked done on -the strength of a local reproduction. +The exact test passed locally, as did the full test file. That is consistent +with a repaired checkout, but it is not proof: the unfixed test also passes +whenever it still executes inside the original one-minute upper allowance. +Code inspection of the intervening commits is what established that +`9b571c39d6` injected the shared instant. Whether the scheduled environment +has exercised that repair is a separate claim, so the incident is waiting on +a machine-checkable post-fix run rather than being marked done on the +strength of a local reproduction. ## One instant per assertion