From a2be1e4573662d1331f2560ea06c2d8ed10bcd73 Mon Sep 17 00:00:00 2001 From: amaybaum Date: Wed, 28 Oct 2026 18:30:46 +0200 Subject: [PATCH] Reconcile book regress summary with restricted ancillary invariance The final Chapter3 turtles summary still claimed a proof terminating the substratum regress, contradicting its preceding qualified paragraphs and the open complete gauge classification. Replace that assertion and the linked proof-boundary clause with exact fixed-channel ancillary scope and the open classification obligation. Mirror FULL; no paper theorem or Lean change. Canonical book rebuilt:547pages,zero missing glyphs,matching source stamp and hashes. All28book content files mirror; pages99-100 visually checked. Separate source checkpoint for #946/#918, preserving held #982 at20ca05f. Independent review and normal CI remain outstanding; no merge authorized. Published exact content from immutable local checkpoint 9c1dd2d1959e4be7f2903a276e223fdffbc828d5 through the authenticated Git Data API. Content tree: d8e95e610452fe018851fe14553c97a703c7db5b. The local checkpoint is preserved; API commit metadata may differ. --- .../The-Incompleteness-of-Observation-FULL.md | 4 +-- ...The-Incompleteness-of-Observation-FULL.pdf | Bin 2028000 -> 2028007 bytes ...The-Incompleteness-of-Observation-FULL.tex | 28 +++++++-------- book/ch03-structural-realism.md | 4 +-- .../README.md | 34 ++++++++++++++++++ .../publication-check.json | 16 +++++++++ 6 files changed, 68 insertions(+), 18 deletions(-) create mode 100644 verification/audits/manuscript/r32-source-regress-reconciliation-20261028/README.md create mode 100644 verification/audits/manuscript/r32-source-regress-reconciliation-20261028/publication-check.json diff --git a/book/The-Incompleteness-of-Observation-FULL.md b/book/The-Incompleteness-of-Observation-FULL.md index 0f3861563..c7a9a3d2c 100644 --- a/book/The-Incompleteness-of-Observation-FULL.md +++ b/book/The-Incompleteness-of-Observation-FULL.md @@ -1067,9 +1067,9 @@ The distinction is between unresolved facts within a specified model and redunda The foundational proposal begins from differentiated observations and attempts to reconstruct physical structure, rather than treating a pre-given microscopic substance as the only point of departure. This is a useful change of explanatory direction, but it cannot eliminate the need to justify a time ordering, the physical dynamics, the measurement/readout map, and the gravitational coupling. The original four-generator completeness step does not close those obligations; proving or refuting the correct observable equivalence remains a central research target. -The honest accounting — the same honesty the posit ledger exists to enforce — is that the *justificatory* regress is cut rather than dissolved. One can still ask why recurrence, why finiteness, and there the answer is not a theorem but a ledger entry: the recurrence axiom is owned as a posit with an explicit non-derivability countermodel, finiteness carries its stated two-part status, and the one load-bearing external import is named ([Main §3.1, §4.5]). But the deeper point about this price is that it is not a fee the framework pays and others avoid. The Agrippan regress collects from every framework that asserts anything: standard quantum mechanics pays with the measurement postulate taken as an axiom, ΛCDM with a free constant and a posited substance, string theory with a landscape — the difference is that the price is usually carried off-book, distributed through interpretive conventions where no audit can find it. Nor is it, at bottom, a fee for theorizing. It is the price of existence in this framework's own precise sense: to exist as an observer is to be embedded — a turtle in the stack, describing from a position — and the posit ledger is the propositional shadow of that position. C1–C4 state the cost in the dynamical register: finite read-write access is what being an embedded observer amounts to. The ledger states the same cost in the logical register: unproven premises are what describing from inside amounts to. Incompleteness of observation and incompleteness of justification are one phenomenon in two currencies — the book's title concept reaching its own foundations. Even the single free item confirms the pattern: the first axiom costs nothing precisely because it is the bare fact that difference is registered at all; everything beyond bare existence is bought. What is distinctive, then, is not exemption but self-knowledge. The countermodel annotations are the framework proving that its own debt is irreducible; the gauge boundary is the framework proving where deduction runs out — receipts for a tax everyone pays, mostly without itemizing. +The honest accounting — the same honesty the posit ledger exists to enforce — is that the *justificatory* regress is cut rather than dissolved. One can still ask why recurrence, why finiteness, and there the answer is not a theorem but a ledger entry: the recurrence axiom is owned as a posit with an explicit non-derivability countermodel, finiteness carries its stated two-part status, and the one load-bearing external import is named ([Main §3.1, §4.5]). But the deeper point about this price is that it is not a fee the framework pays and others avoid. The Agrippan regress collects from every framework that asserts anything: standard quantum mechanics pays with the measurement postulate taken as an axiom, ΛCDM with a free constant and a posited substance, string theory with a landscape — the difference is that the price is usually carried off-book, distributed through interpretive conventions where no audit can find it. Nor is it, at bottom, a fee for theorizing. It is the price of existence in this framework's own precise sense: to exist as an observer is to be embedded — a turtle in the stack, describing from a position — and the posit ledger is the propositional shadow of that position. C1–C4 state the cost in the dynamical register: finite read-write access is what being an embedded observer amounts to. The ledger states the same cost in the logical register: unproven premises are what describing from inside amounts to. Incompleteness of observation and incompleteness of justification are one phenomenon in two currencies — the book's title concept reaching its own foundations. Even the single free item confirms the pattern: the first axiom costs nothing precisely because it is the bare fact that difference is registered at all; everything beyond bare existence is bought. What is distinctive, then, is not exemption but self-knowledge. The countermodel annotations are the framework proving that its own debt is irreducible; the proposed gauge boundary marks a classification problem whose complete proof remains open — receipts for a tax everyone pays, mostly without itemizing. -The framework's position on turtles is therefore exactly this: one turtle that cannot coherently be doubted, a countable and audited handful it declares it is standing on, theorems for everything in between, and a proof that below a certain depth the word *below* stops referring. That is a better epistemic position than any horn of the classical trilemma — not because the framework pays admission while others slip in free, but because it refuses the illusion that anyone ever has. The price is the universal price of standing anywhere; the ledger is the itemized receipt. +The framework's position in this comparison consists of declared premises, mathematical results with their stated hypotheses, and open physical reconstruction obligations. An independently prepared, normalized, decoupled ancillary enlargement is redundant for the fixed channel interface under [Substratum Theorem 24(iii)]; this does not prove that every deeper implementation is gauge or terminate the regress of explanation. A complete observable-to-substratum equivalence remains open. The posit ledger records assumptions and limits; it does not supply the missing classification proof. What distinguishes the framework is the approach: starting from a finite deterministic substratum and deriving the fixed-basis quantum representation as an exact theorem and stating the coherent local operational lift separately — rather than adding observer degrees of freedom to an existing quantum-gravitational formalism. The contemporary programs work within quantum gravity and identify the observer's role; the framework works underneath quantum mechanics and identifies how quantum mechanics arises from observer-embeddedness. Both projects are pursuing structural realism about observation; they are doing so from different directions. diff --git a/book/The-Incompleteness-of-Observation-FULL.pdf b/book/The-Incompleteness-of-Observation-FULL.pdf index 5d7c6a59bd173f00eedda060bed04be988ba7cf7..c73e7552f2c42966266fd4c37c1e7df1d48d97b6 100644 GIT binary patch delta 30690 zcmZ6yQ(z|1*0mekPCB-2+qOHloph2nwr$(C(XnmYc5-^3ee>=A;;EaetGPz4HRh;U zy9a+x4*vKB0SAEufi{8lyaAZ``C*)0oJjsXG}Ga;!C^(8QDu_Xb;kwl1e|e;QjaV}3F>W`6K@ zzI{KxxV}DG30ix<@$ENGQgl1MJhl_QCd)VZ6L`L(TM0gTum7&*{soYl%S!$xFr*nt z46M4FVMx6&_sy8Rd-OQKA34G6U1+R3aQ5g0_zW4Oxa=;(91PyE+cNilXRhbYmTdw* znP>NIZDg7MLcEx<4>Qluvos6M+U3Oo*1dh@W?z>Mw^+}ubTx##`nr3%A^710`!>8f z!H}w&=3v4r`aH&=`UId!qpFd;Af?>W!GNV#M=l57-x0V^#*QKU8s@sei*ayLgll{2 zNH&HY`BgjQe^6i>S{hS^AGAYDGu_pR)x)pb&Oyb+ZRwSr&HYhocDCwbTu85q9R(bW zzP^l8oZNMGD%dQWXsZ&>O_y1VwITdubIwBS69*Pjnc(%RiU|OHe)*ZbT?ca_NP$H>GDWnz)$L*CmG+EuvQ(__3c@CR~1hn9PpPH!Iz_ zDZClk5lpk@j>%BcnFYo_CU_}#0z>p?6#h&}1`6ma24rl$Mi5Sp~5{bz{1w_3C2lu-a3va* zd`_wKyq==XUCfpn(}Ugl7eXZ7?~7u}v(6Ss9^^|AuHgXevC;~5k`H&n)$zmI8-4I_ zobB($j3;M#)O~1$Ff$&h! zGd;Z{Ae7z)%{~X*haw9{4(vNWskXCBL$fTED8Pj!ZTF&*#0!`#z7a*M;W2V@(-0X0 z+O^+Tz4HMja>wwZz=f~R0vVh+!l|qTL+OLz^hDWX)%^?8DknwD#=uuN(ox&FFU;?% z+mdtqyNld|F$uVwlsKBC&-*PF9FsdoMuvb);;U^Ay$_*w%Ji#QN^It-$MBd0 zR&FkTi1EkPy=8t2BYQ&Vc%aiak%L2gn3xbQ2D!J4?{&7r^lkciar5526@ zmTD+IP*^>*{MBuPQUDgB(rmkO%;A#Rm_>=14{t1#T{N^5Wl!~zA_YMvgQKCk^dlFC43kI_!e)coo(zR`C82O5YKB1Q%43~Ar0^op zi(X@qwXAY=m`a(yAlv|**ThNM*WulkpE{IjT{5-0zjwpyy7ZX?)R|ly{YT7(3Il+W zyciywKzJcp=SXfs{L|DRm!T1dw)hZ3Sv%v6P{-St2L*^j3K)e&GqxT#Y6 zA*`@YS&h>_5+Vo1gv4B6Qr0U?nNd)k+3wJo1)r@OI9BUS(*K1MNY}rN1&1t(rCKD| z=c!TO-$yt-9~!0bUPMw{2ZiPo@XF+E9+7ZNGl5I(2uL8k z!5xtQs`gA+Jo9!KIKWwxx!h8pt4U(mp!XNlX)x}nMd}{c|LDiEF9G0T0|OKB`qxdl zq({{v{t=il+qE#9?%9hk$})9{8aEeNi#W6{GLU~Lp(s@%Z%ar7vxaMN%uLL?{8N8u zIfRg0;PU(MONU)Vn2IugQ77@r0gT`E@SeD^0MCEgi*bHEJSJw=5Tc6;b+Cim&pH9O z3sr)}v${n~&GktSO9!BM2Ldsc#DE;x;-^oH4Zc)kGsZCyytF}aWc_rczoEz%n4PPj zl0ffMDUEVN!^rLdPLK*c!1@l8tKI`*#&2FajI17l8rHU3OGS`4bLo{_ce(=0DQs2;5jQySU{e+Ljg*f}8hVAllJmxz|l zm_%1oKSCD81$ExF%m>EwaJ||;t5{EgE~p2 zNomM>^H}$9?3ICvyN0EJML@=Ar)<@QgaUFs{7b&whLvm7@nwUB#la~h6{sKDOb5R~ z&ZBno;AAE7bDgW+%fe8KMsqjJmp1NujyqWcj!S#@i;CZ+nuLt16(mzwt||`IY1F8u#ND@sG0M$M zAQ%ALu#gDqV%@BCDDVNZ9HRD-;VcA7f~6CW=O;UdeFdFHq0CT5o&XR{r8Ytrjc3Jj zpf8TVg?idnb@8bM9dmRTx`|<^k<{GNzy29L?;2av`-+EoIzsPriIuZaD?yieE_+)P z3bc4y=v&;!(ciPMf8r9}U_I-2<4IW5CkJq<_~o@#FlW;%Z{J~13*es>w;(d|V;S(F z>x-x6BT8I$hkgo!lQ5F1)l-h%x_dH-f4Zx+x)Dad^(<-58XvG6tqR17$)$mx1P6Q9 z3q%;p!0xr`Ie>96(|ASGA+AO{+X}E>E~kM9Sv@}FY({%Dg=RiktczF0jJyrkEd?YF z-2{BdT#a;!d@j3)D_M3oq8*5}`VqczxJ(zuYRD0c@4DF9 znCd7ug;)Q$u%A25rBh46d4G&2?NZWBZ-%S*3Zd9~*7|ltv2QE^-`JK~B|O<%Ru{Q- z6GeD;%LTsJsZRoFT4`#-rJRJ!= zHB#|>DUU~Li1Xf^Kwn83-Fc?dRkGPp`PHw!+EO{tz@kO0W2siIm>zB(jI_+-v!^-m z9@#rVf`}%2)g3-*7^$tx#yY$@5bYeCUmmhhrc5xGzBKLF4Vuo+ZcKGQ^yD|)xvAG( zSque%cW*E@+}w}o^;xqzk3~LFguDQ2urCn?+;om}p!1vKl97Mo=sv{W~YG^0~_&*^20r?N8e?b2O<{z;Cfcpo0YbXSQ zt^c1L;wsB}x5nAt@`=>rX1wq3cHWonH2r~{qJ2zx zr8i{#x;8}cEybc`x0B~eLkC>T(`i<8um&E@i%d{ymWvlcRHn~)f?0>>81;J@sZ#Yr zu;PH)kc%&c1u@OXm5pv%!H$)9nMszX%*Ih3FI28lqsR7`IZ!&LJ{6m19Ecd4cNaZ zSt?8SsA}9FYeT-c#cRv^@xU2bQsWv@=vTDL&?BGJg>7+$kJg!NB{sPobR`0~hh@HF zUMt)$EwBSJOO=XarvTZHqwwGyu6{wG2EYj!yK|+VOnLUv8k zY%K&)%4AFCD3usiH7!mD_JNeT<(~|2);#>m=#4~_v}xfZ zUI&bV55P3Q^1y&J(_AFU_i1CaNb#zvupQ#DjV<~I6Uf44X$CDp7z!{2pn%MhlNf>1 zkc*>$49)Ng6#!^V`%RKu+6i(vSn=aNc~KbhS)=fve@g~L4^R(zT{2wW_ zjDLslQZlN5S81U$P>pqP=H0_W%j6yWMhl{R#jgW?;nJ11Yax?!DU`$0(ypYjZ&Z|T z7^$kCXOc1bAJv;OGFp08kQ8(zw{Zo)i8-G`sQ%^G3ju&XiGy9}8x4jT&XJKq5A-~- zAMuo9uxv)$!}+RUTzH^op=z&vXm$H!S$IwIvnI~t7YKzZQUNkQWcklroZ+|I?w@^_V;9Lm8G6o%#o^%6%XIZJ~{m5d;60cOH5sDhCfSYkg421@m43EI}oJ zhd&Sx`t9rSVsbqA)4br%(Z#LmXLHc?Fz;^!hAv_}tO$8zEZ*_MK_ds!Ig!G*`6d2L z|F3E%1O4sXDg57Fdgd_KYda&4`LyZ2xnh904Q3lXp=a&WY`Qmzy7$T5c&?%mm=m(7 z7Na|#uDPz%+CP!3JEs6Q{hf5k4oUA<@d#%&SO4+p<+W|mHHv74DlEi_Jt@r#DisBZ z2U)UHp(U6nw`M2FOJ7YlE%q&EF4y4(sY4bJ{Ep>yM3xGNp*-4p#}j(RUOYfII{IT$-DsD2mY zGsE^RJ$@41h*h+(P0omq43Fho;Cuk4j(HJcb3~x(>irqmd5W9|O~*Q?wU*0@ha?%6 z%n6m4)GaTbTmSLMY5Ej-vTVm)?vrnZBmiWY{*KvRvz^uNlZd~;pQtLO06U%JnVven z{K!i;^No*sZz>Px(T%R@2>o9JxSFxrAMp# z0oSmmrTY(R13&PX!s(-_{+94)p?JOs|3Lf)(m#;@f$|U3fBfej`adxKf%y-te_;Ou zrxnll*T4mU%}C8%7G55-Azi7G+^0a zu52j2Ymw-w&dFZAoA=DfNUCN0H9)^$e+&8*<2=DsG0%CCX)NVv$Oo^oX2un39O$Qd zTHz7`7!0%oyBDP=@+2$zo0e(H%noB@+9a)A6#1(IWs10t4g;zcF%3o^11Z%l4)o!j z)Jyrn#ZGoP%EWyf;@hCwAz)&dLlcKKbb;-l=#W-1w_o8i0yhnJ$=lW;9?9A`Y1-Dx z?fWW1fX?%Jj-zrObaH77WH8Tv&CX-X<7T6c;SAaVyVY3m8jv*McN3NH5g%!6*}Yt&w}XGMpT0ZLekO(HLUtgM0pqcz`+ee zK@?XOvi^nR^F2N!f0hhFM!TF4A}Jkgt0mJDo-%rOqCFG@ zxH=*8DXLb4JG)#@ybC_xF-lRVId0l^wY^)ctFH;j zhz5^$u@S4#Jg#z44y-3tW_5x;v!&AlJpC0u(Z=uRu2v46;xpf^FX(+9ZWXe-#XV@o z(Ehs%9N#AhT_Q*V&I*!>rofsnVzVv`qpRxYN8CC9kc6ikwpZk$iQN%D(e`G^EG1ydB)#hWFg{$})Hl(ju36H$~B!kbx9q z0loorC^;1ZY%ki?_7!207)NLdV1YJtp8pk4269=Rp3<_?qq(8~5#aS!AyT72ugLX& z*q{Vwr7lYI_mU<|HVPASs%m-~B$fgd8VzUc5gnG+v<3PVpHP~>U?&N4yYRsx+Y^Y( z^_aAd^Gv=v@G7hu1R4B@#qKYLY0{vbq`va(<)ZGMKp%?_kbrqt8{T3h0Jhy=4mp$g zx9(~J|3fSq$W!O+xYyUgP4Cykzjj#t^recd_UH2@R^a=qb%)FtRWiAt6>QuxrZzcG!x-%*1zmKPO%ca=Tl`ssX~BM5eVGzlg!X~L$o9H9itDbuH3IR zvWG)T^b$i6rU|F`m~IvU05ZA|=$8$4-w7mLVmA_}6jx)9eo!{xTOmk|UbM~tjj<{< zoWm7XzNtjee63_Z{Lw9y#eVkwRhE|gNmcSJPdC#;z&5T~bt*yAGIK|nd7k+aTbuah3zqX-g*{%9?CB4!nCIbigzcI zwBzTv7`|C`p8Yzjg$M`dGN~kolfTF!{KIAl@lofJOX}cESJ~%=rpvWlaNK-RitX^G zyqIhGDa~l$+WFysxd7wGzC&@xXOVWVLF!uvq7gdZo3SPVz?Ly{5y(q?oPv{WCBra} z>c*EyY2(SvQdC`szPk8r2^k9lscHE^1t!$HA@)LN>(Kb&_udWWz(?<^z``BF*)x-i z*S&ka>lRS#kwz~UK}Rj0rs8vnj7MX4*V6h_RqukzZ;N-?G`PF`$yznUUk$)ld(2<< z=bG5X_-NV(=t=)p^p+sgcwE-xe&zrBOxqzSji>O%wSR#IWHQ0Q{l5K7i4@6$kHF*g zR?=^hosM5aAETq$<-@eED2C`GynDk_MuI@bc%QV(eXg?jv`wM_P5*INYO@s?q4Ivt zzp{s+bDp5}=U2RFzz$|&w=y1G<96a>3`Fk3phYPP!1LUczL<`zp_KejFN53l8D74O z%+bYkzYa>N&bkPEv>U~ZMJe{{*>z0b^Q+h0_fRB-?gatU#*~Y{pl_n0^#plg?y(KO zBcE&v_3z&zjC`BPI3J1@=@V)WE*}C_ajxG!M6 zS9@QPEc0}AzsIQRbO{@;6%}36{c?1HAMqp8OUDRb(r9W;eQz8+W-LeM_AC*b@;~C+ z@ix51iEIh?LjP<827zE;a!On7nB!I>63xYqTrYOaB&8YdSAyY~ec`A#iCDTb@FcCB z%9Wy=w*Pk48b5g3fAZDP)Q|t;4cjf^1q)s^^)`=*9Fl+ZXRfk zon*9Ff3whp?NTJWb((J3)*3Tw8_EeU!v6Ri@G{V|=G{)Fr$6*iP?$6RW>|jOvw`UC zDA{~%T*EuBcql!dPu{lq`c{;1G^!Bs#0dVm*KC?I_||O_h%Dp?+rx6 zTAt_CdUzK9Jlyi{1SL-u+X{Tnt(db!ktaInMYS}Pf0olp@1Q?zOB@*f$WD4J2_%lL zECC!-9c?;kelWId|L|V4B8F=5LbC!8P4Y>JQUs}(=8`mF93#;kWw?Ve{NINKWu{GM zBb*g+P$!5Qbdc8;C`KC=gk!P`DBR9Bp_C!Y-QrXui)68j;KoBdGzI6m0*X|Err~b7 zr;t#OhRl%gtDq3E)y8iP#FVQqmFWtW*H8+U)q@JrOu6tI(1Rdp21LgH%-l)O5pAg~j{BVlU2;`8Z-rY?D2Gz=G*6$=M#@tNo6DPPxo{(oD{tqDX-Q*hQjr9T zX~|=1dJTlnrk~5Zl#ItrXQj@);}T0((D%A`=y=zhe%?C=Z)@$DWA8h@t|uC12{}`8 z#%f^T1o!7dJN_bS?RU@pb5wlsE`(NMjOEyB=~DLPvF2gpR0XDAgI9uGZL z=>wM?uwk_!h$go4h5nGH9N?OX4H?zXfzBbPvwsMRYng>(BsDrM^4&9EB?p7PT6gUB z%fUq?) z$dz{X)q3)=^-?QyYu{ZQ%mU2Y|=oK^u?@6iV#fn@>Ax*KJv6EORGQ=7H zG^Ysbf-=uXNXS`XP;V&fqBsyFwrd)KWFL9FrqjZd&csPaETi@FLOIFAsweBA=eo#6 z>mtf@3Cv<~%w>|delNn@H-u+s`Hg)a1}xLzw9bc(eSxTZ`Ghjy_*s(pqW6S!_k_d` z!x+R5@Jz)Z5lBXvU)x+U>;d+8~tQ7Sne2{fP zga~u9b3++|UwPbHt1u%F-)p^aEX}7d)U3s*jO)xB2x~I|)9~f>boV`6VUn$?k-WHzIB93BzdNu(ZJ3BugcNb@Ecye!h)?Qw3&Ds2$fM2qd&u8(az1=w~ zhQqB}TNe*xc=jVBDvr*Llo3a+t9x(E-559LUuQ&LEWbZ^uNGXeawFVduJn4GUYz)U zq(@lwBb@5j4p*@EujD@-y|=IDoA7ey_e;9I*@vebzHBipH-B7rlE?rD`1tMutqY%B zmNhe}rl#!a>#{88zB50PTN(>gJ^)Mg^G0kX)g57zwfz4==cw$9v6@pf!v_*jDHpmVXF_+=WfT%Kj zQ_=)vuEHqMa~KwaC3Ix*9DdQLg0LD7b(0~6h{vPZ4b6*Re?F%7FF9Es*h`l1Hw1D# zb!zKBeAH&1dTVbdVHR@eSBTA8$kh~L%;Zg{GSY25+-Is<8>6#1+GM$UsnYXX0$=61 z6P6Fp9IeY3XFCD>J1m|v&Bf(;7*3ue%hNXdzkfB)K`x#cg;=^?bZt&jCmMdRS>vo6 z#g&wl2l`tq#U06t{7Z^^&e~TPYa~hyH+P}dgwaJ)`bB6c1+|tkbhjMxH1QZ*YYdvJ zUFk&6^S_*Nj!A6z|LnwUZ%wf3Ar5#8o{+fl!y_7d@eIPwls@oM|9m0p0QaRD%7US$ z@&V(~{6BAn#)doz7n0A6#^XViI*E6$B-B`{9sGPlCr(VQTfjSu-S~yK=lYq3zT?WynLg~> zZhLuTNzO}?;77kVdTVL{0Epe`_4#i_Fzde1tzTa8Hkx7&)lDv)#<)Y3b-JbigI$Kn;F5@M6hX{#bEzohZreymm|T1zf8i_;%hp2V2fC zWaeI=!ecJno-y>2nE0{AK{^QnkAjlrK_&U45JBgLC_D?M$7Mf2lY_;9GY55L#_#gw z_w5=Bf{KL;rW>1-5X-RLyW6V4%I*hq?K{;S+)BkQ1~a#uO0*cCtyeNwN`;@7Lkt3v)b;uVE6T2Mrbz{4=RpW8KeA~n)|v}8QSmmX#L)s#7&!3!iH(2>Eh>moHvzTv$55X0Q!klKm@&iu=MgV+|p-gk)sV-iR_`&|Zb zGmE-d3&S5(ppK@-`x6m7odh8{_emm>Imp7sTIJ{6qLDElvcQdk#!D*^1}X`bEh{FK zDON)Z0%q4|J0!T3gB(Dh&bgt3Jg0&DBSn%5ut};5>Cip%qSy-fBN4FCjJOv|`zG^= zgDDXnXxlhV>e4VR^xMIVwIH>;%b%WR!E-s|>H96W@=?56Ur|t_8JHLkfJZqfKPHOV zO)8i|oz9^1Ca`mqToLlMEnZ9?Ay2@STyeV-0Uuuc#;Hd=`eCcV?IYm)0NKS0@w;K7 z><=$4u(%7@B`CCtojw$ys;HV)SHW_h?r_jUEb1*mmycsN5#a7vOyD}t_uUFoxD@ds zt`C=!**mf`r?fbT1VIQ&kU2-H@Pi=SIN*ChI7*OYN@yiqqO*1H`PMfRi-)}mN~N}T zfOjOE3zmc3((nK)ZN4@!ZM`-MZFBwUhh@W|6}Ew;lT!2M7IS8{cllXrTsK}G9tOVx()#-ZGW z=c^gTls4V3S!%DUt64;uWY2FPNU3gx|CU_^>R;KFtOFU5fOg#h!+dU01@+lif?(!U zP!}CbZhvCN&Oq2g$`HR^SlZ`9!CAfUt~nVDm9C|$#i0aj8K`mdm9+njqm01>;ph~D zVg#xhbxrh&jmRNkK-%$pgd%<8_TGPfynQ*G^VF=Fc@DUBICXYqz0d-O!;9tGLlE_J zZmI!V4TowLW!7w$tPMlQ~#uF~wXvKtnW4qkP#MA;qA7 zL03+Aq-rWrkO6JEoyDHis+HJM6!dtW+3ikvwC?uc8>J(=JS}j;FdVxiCur%tnRymH zaX&*Kz#h5r-%@o!K4ZLl)pL@ ziM@6Y*U^)zbDPM?0s&A7Db zy*8pJZD;x}kaI}Ry$GojFUL1((5j+e2?{eYng(1m5#|Dl ziIqAN`>TeNc&4rbrxcmC+52;@?pBiUlg($VKl_{GH5_jwk4e|1#vLcYzRXH>OijCa97D83iS~jzCiH?l z0FwX@AngE77n)fZ6Jzzz)q&6x91}fSA-C9G_DTX`OpmNq=9w2{K)G;>VI-xq+4Yzy4!8tVMpb~ve-*a|B*dLK2%dGU!LFH zcr1XB$yApD6#=k-oMO{g6D!G@(o|8rVB)Qij=tyu?h!0*?>0R8$ zt=(02ntFsG$LHfr(qS?84n!FYXLbGd&Ou1w|7AW+xC-KeV-$ZbO;5x>9a-8X-cIpD zXvfJTFeRDhF)a5ikV&fJ(hA8$sOMVTnxbZZw+P*HE0h`Q6tVpqn0-K(1fTCLR10I0 zA)V~wrNbl3Cke@cUhZT36Trqe$pHh!KeiT!Qac!dQY)kT%cr*_ME=jMCa5Ee8E&Kw z2FI->dv(AF|Czo5^~)D%TwK}nfAr4_%$mv%kB0@gY(PttH7fx}X2n5j*(%m{`@LXt z3Bwj*LGXUFGU;w%2p-IkKE`!2J>{xxr=EH3AXU;EqS6STY63W2C(2T|5kXBzz4baJ z*UD)MJtmImovOd4Sh&x>Cb%$`ECIMx?!WG z9=UpEV65>fV~>Ta$2(zC&1j{Igd`VqO1c4{w?t?x`uRcgPef1C!AZMOv>R*vsGo(% z4|0MXjzu|H+!cZMhB=?(M?IdyM-3j)n6b{N0z;F8NOR{C70M)~g1m@UUgC5k9rP5# zL005V+9h0JnK_ZMVXV~S`oj;k&z^16gE33IaxVMNJqVBgqC`MMwe6 z9>~~E=SE|3GQcZb=PBbShm9t6%7p)tgg=MD<2u~)d+U)7wrAX-)(pzMc_)huS=EEh z`65}mg(r&-E@6Ysn0xDzz$@bV{~ltIIO+}?*P)_BKGzQyl@3y<6(!CFZGPs4L=LA- zej&Xl_8Oaa&GFVRdhuU)gze_awKt0;U{RlN{4Oi}I=7Clsp_qn&38A^9(kDDryXCY z@{^`qX4EOr6l<{DCsrq4(NRx!}Ahj*sgP9!x4VF1TSYw?s#f*F=@%!`8TYa z%Z)t@bd&N#Fc7ls9LN$va zi8QAHEQwg08c9Y7F)W@v%ruYAC=YE1po&ryS1yRdgo4f*2181{>0bskPOLD7gGTaz zFY1~gdI=215CO)Z1>GSMC2Fpk$AUtgW-DktB#1KIKnFFA20g8;s$a1D0HTmiAs5hL zLcYibog8->ACN;Xq);FMdehoQJh3*Vp0Nheq)8tU}=ab4{O+$eMyTd`H+b;|H}XSG^Ffar|#3BV87 z9Cldc0J;Zj)T=`Z!hrS{6g%9Xp%a^DHM}3{1JNytJNgeBEQO0av7AQ`k^@PpClu+6 zkJ~U-fBl_fb{#B}grLb^MNk(n8|wYYQe8>;VZLZQX(Zy2YA`*sWKx!Y6jDW26V3Hc zp_*e?6z^EdqNLD9QcB(899k6~u_teL{2GR*V+C@k|Qr=y+$Ka}Lw}*Te;s z4Vnr6^CN@u&neO1b+PhbtXrd zgoeH6Km{l%rElHJ>vqe?kP?Qi>Vg|W$5o=%C1QZdi0Ays$i^2L6JG;r1yJUP)QZD9Y&AOf6$jnjQgB4Eqci zQ@hkhOgxlSFEl(^NN1NA2Y1+|)+sbR8DOwpnmF12N~&KQlnlVi$oM~XN>s4^*GvrG z_(t%xB<=RLWeOsp*b?SjipbG-W8+mLX{@D*^!T{$#ED>{`SP&bzzIV>$r1(hr=#KyL}2K$uTjm0p^ao56DBiekOHLuD{y^CYLPbh>b~1ec zDn7l(W^VkpK2*{bao%2!q#(z78GLr2%{+RpM$Jw^4kHc6>}jDMTB%#X`lX!=DhZY@ zbo$d$X7&w#c7B(W@j=am8`GQ=b{5c_EuVm=>#iJDb=?gaHRCB<#?k)_iv%~wsC^!r zNxyLXb7xautI9@F0RceuKxo8&o5X1WU_xTdwnEM_M5-oW%7oC`+Av&+Z0KQZ>6*@l zmNqM9^g@??q(Z-DL6ZDdiNNbYRbaeY(L6^t19mCWk5iH$14Q~KY=lnibRgzFvW1j%urazss6(UUpf(UV=|}ay;QL znNT((3giShcMXq;7_Sbr7@N+R;soF=b=K8#n8Ce=yZZQ?b9$w?R1JrcMEeG`8`)GU zk9szOGBW%=E;Eoe3F(MVG?US}5xNOp#p$N#wr1G+iNiNbQ+9gl*Mh_>-PgMG!9i_R zeNW^kqUCaU;D6O^gN;W4VE-R&$H_(h>)1kW-q4-@*|FvgYFJ_$SJ(kJ0V~rpCi22x zWl~{Yw>z~`(ujDHyXmp+AsnL<1xZFhyBn11dr;MJo4a}BgGe}+L8NmKZ3YL?n=@V& zQgH<3-$i`Fw-0~H8I~SK?uxvq6QA_;-a7aR3IJG~Ejb}1tA)5kq*}*^!~h%>Tu3==9BLj?%QjJn zGsEzxyhFsN>|87DXNl-5U#XO9#;AkIxowqwi(g#pJzmt_S6g%Rk8Hh1CFU<$iP!k` zW0+}2RwqRdgE{o1+f&QZ8&ogfz!3`Gt^ci17tTMMu=AfLc4X&^=6;naLcoj!6j_}o z-DXR?`jSg-TK-=}p7Vdc_Ol-ifk|>VeR@+Tf=#%ztBMIZf$kGn{HwWJ_50WVhW#@byfMoWf)ej>La*RX5)7~ z8v6hV!54bYzbLS*wy;x9fQ|S1KVlO*>z5*#DLm3;Wmeyh6@+dIC z#r)lvwiI!|3(--sX3e4QM{5I)l7EWsoFf1=yTE1=}!i&-iYs!8&Sc@<#o zAeoA0S;!<26*IN-qSAE)yNT9H{u)0-M~UT#W3IRcmsI7`F;boRi5q3n;pI}hi>Ak$ zqMJGBP>|8jen1Rm8IGTN+uRWRO?HqI5vIDuCO29nR2`7>;_6L2n+TP zWj#IDijIo0c$Q_>iaD)Pa?Z_YyQb!7mSr|^Y&2OrStuK)XxH%IRZhG$3Re31v5LQc z68dNJSTcVF%8h^U>lT~@dy0Zj>b*?j2> zS#g6l_ZF^Y&ceeZ;(w;NK+8Tv5txDza!5c%B?c|q)6zzZMD*^NiJkRKSnhkPwC>}8 zB=ZSO@}r{^qw_UqGZdw>IL;t=mCfi`)8eZw7{yot27?|9Sp{ft5(ZBtk`x<%MH#XJ z^qFzvg^HmlMIP4<1cIrmnZv)BrM1Lg|DH>J&lf=BqTK{D(z_1J`w=gysW1HimDklH;H=%zoxp+bY zwct_&fUG*>5JjiiIsx*5Qs{@N0ZfUEwJ``88r4&f#4(+SO)GJaJg}J@g{lhjL=jnW z*@PNOwRv7z8$?JnU8Hhc1S-4^ra`^VPao)CZUeyB7v!+zT_H@KZkR`MO(%m}4u@q~ zL{kMKS`dx$FR}>(GcC~v)|l;QO&JZ?CDhmljF})?l1pfZQLL+Dfae{SD^&KSN5fDb zfY=~_pwr4OyjK~`i84`vWVb+yT3`l9;*jcrP~#cGi4~F{Us|#u(a?-V1?saJP;wjo zX=1E~O30CP(>0pSFt+&ZAL%s96$J@_K{bX{U;*uHK=W+^OpE^?@m)R#}>2;v$2!g|TgVA{9=M4o!4 z2Oqo%H?HJjeb%x?_{9CXxstOSI#N|M&=s-a`sT`YJ%2@WIfZcqNw+P?`rT;G8go`J zWH*||d5GY)N07Kd;C)43uDWj2U9{{KG=MkqET?*XC2g!r z8|Sh}KEI33yBedn9$y+^Ru=UDs#%|S6084R#W1K42@~v^5*EcU%I#^UzNSsAX{LPk zM}2{i-3yZs=^I9UmJ>g+$Cl~S+#^B5qkHI)AJu$BH-U(sJKVbHW9WIuhV#g1dgAfi zKk6@@jaRNlenX>w1{BdF^pI!~AB#cN-wH*FJ;sY(ugoQ7`ADgRN=pMuV}38){c)YW z(xYV+te>sJOUa5z7T4?ZaAD=+%I3}bT4<0Ed`539PeP}`!!8Wa< zt^V!;^vb$(^8i@W6>b20?}!;7EMD1B_0NAydsNOlKY|<0b4yM>ZdTjrdhYJdylI6w zGqPnR?CDEq_-AJ1XNVGiQxNzoUQ|+CpKGc3F%;-X{~q#WOjnpTBVg3}MZ~0g0B9y} zfp(-A;%TWFKF>7xTuo=U+z=#;K57T4333q2aQcOO?#T|x^IQXnR?HtZ^OtB>PPpgv zlSJ`~9=;w5{Dndsd70zzvddrqEBeLRkwWncUM12FcZ_t2`~-86q=lcIYhscwTE&Ws zdqtn{v>M-hhkPiX9_{}t>^-BJ`l4@9dhfj>U8NIx6{HiINUs4+6p$*tgbon|0f9uC z2nG;o(mR9zA|XhTCLN?#=|yRaLRG_xL zwP+2tn7<0?#(lBI-!Q2ohA6#nqf`?8pwU6)z7CfC*4W!t6|HO-7OrtuWE|{crjCe(l3{sc*qq?oa_&DdyLWg+{>GB$4=!A-=^;i5A| zw;b?5kcKMhuG?soK$wYt@bQ%sa{%1tmu8=9DCzqlHOQQSjy3c1@0JaG*I&MTr+1O< zmu>v0O?+QxScmxV(fKCUU)O1rZKcvy)gpK|<2T;-y7FS;Jz}UJ4%so?tL4}c+4~48 zVZ$J#^Rw#Y#fdrsW#aZ!y#?0IObLH*pfsnv*dF`ceC*g4HZ{{5Y4QRAFpkv59-M){B#nOW7CozK#iFtK6@=~ev(94=zKr4 zi~Gw~rM<5i?^n9DOfyAbnk$|5CCFl5Jv)r-Pr-5r1RE2x31`^xiA}ojP6zi+uKdk$XS1f)BIr<0X?D{nRW=pv z!AnVMNt`+;Eq>JGqny+-D)eOr!SV50+QCDzUY8^jiyJvD#e+@jPY%(gm*Gt@?>|K5 ze~P~1#vR-_DSR!JV6T#76Eck2+Wf}Z=|VvksP@G8pxYVA zh^+tXL|>+JLG@W#k?`5PuhJ~y9szEmy(7?}(JAOyOF)$? zb~1te!)hScSaW?m@I!*UQOoxRJ0XC9utFuDuHre zC685#G4w+j>Vw%gaX(ciw)H1__jP=)t%MwFAdbw@0W*~L_q(k?(#`!zvrLaUStzFP z_yovoUOfX$yB)IrP|?C1uoG%+NIz8nUND%HCiqc`@Y|CZ$^P!2=C5p)xWY&5_8N!|PW@7u<1-VVXk zjW%b+;N}5AmgFQl6|GMSQRA2@qAj0U7rm5)9??&X^3Z2Lqj~V0OE#;q6FYK z+Yj0B5GU@<+4{1){=wtRBSyoh$$g(L@d+Vf3^Zz>xmWhFzE+VofZ&L#^AfLxJtO{c zl2cF-l%MdJfs+KUz^C+XR0+EMXX_qCM}DI<^uwk#x^bEMmdzgMO8EUF z2^@6rw9)IC#)J-y)Kemc?jmi-bRz;&_H;S}oe*W7(W`jn0aqJjUcbzkmKM_dJc;^3 zQK9OStMejBRa04tXW-1T>@$P-n+Jp;wj;E04NN-BR*fh_M2 zu@E8!k|)6e)$R0jI+~kW>Hz--l7?C;Gt|1%0Xmw~Prkc9)Dp>UPS>!ncXQvxRC93s zfxd`)_kz^QqG-)9kg<;*PcQZIs~~Jn0C9KE)8$QDux`@hj-PjjeSv0_1j$bYvbo{E zYUxTiD=ln={gV(SoX3F-)Q&vE)#@=zcxONIEE9-l#-De93{>?$5j?h>o2@I^()#L< zC1)Tbh?LPv>aezDdS`C-;lVrGZ&(<;!yy!#ycQhSPfPa0zXM>a1Jr9pG1JQ2bBR`C zH!WXdgO`>NA;0Qsg{KRqWNO-42`N0Sjr$vpypHDmvPqutgRvmmD^cV=u$!T$@Vg(Gu~f?-KR^?KWER%`nw4%K7rPj4E9=-yHga zyqIrI@K?)IQf2alBwJTA>~g!fEFjhvvnp(jq$VujCMQ=?4!e>CD zb^6{Q;Ohy*r$8#z!IPcm{Q_lyBM?79H1*+Q#%Tka$`)hm9^DVAHt7M${8{77pJU0g z6`Z}2&Bq`wn;nhC=8GRR3H`D8F4O=mEAP*J1N|PE<>y=e#jJ=bCm_Ujvca(}RI)_- znQk63Q-DMw<~m%=^gVsXgO4&6A)hmTJX+&J|9F`Qx_|#KlJ3~1aprrUYZ#NAvagy_ zlGR%MgE!NDJpyB-lKbh8F9jc8!Ys|L=RJRN(oo5pO=NAO;Nd=+MQoNyC&+nx=>F== zW%$YVv9rHYq-r=CB40MzJNW0R9aJUw8}#Pn+Bww;t8RjAmQxwEuZ*B9{pLk9o((n`ZrpaoVnGvb(t8JC^CM0xpgxX0X*IspE(hr&HoikDsx)A z^`|X)-1K-x=knr>NKsm9ZEx8q)c4YgN=|fRc*jlmI_E%Nyj;pvd?@TYn{IXYl((uV zCpS=C4N(wz(e`@wZZUCnJo9q#P{!be+8X&u!DDnYgbt^9GA(%*@K!JJcyMN`?cXsi zWL)*yG`Aj9PRdJk@>=qLNfMFIj2BM zUuMZsucbcP?je)EkB=CFmY_Pc14F#tg@`hfnlw`_Iy!}$nb+=trH2c$BvFcnXX{X(A zos0^yFOm|hWDge;9T+vOM*vKEFQ=TIC$4TDE?1OFI#uuH>eK`g+-oBK=);K@GQJb) zX%nC(F}0LXF0lBzsuyC~1{LMJ=qRh!f3vOYRb~qJVEfC-_J&Yu0?=c2IQ{qYEJ^5` z&k2`CSZ&wc@0h~i(pxA*6i4Avr~Z2w9?rU3B6o4Yd{Nd+!P}Q_6uIaU)Uy$&VvT!R zsXBW04Zd{WMXFxSx}iT8%O69Ic78W?9RyMRX+r}SDBc}c60FU&K`tBAhLnb03``X2 zzs&3u0$&j|Qy|*uxiFY!v(e%NjA zO%(4UHccxhX}sxvy`Ok9uoA?+ctY+^tZG#`@ZE|UmL4X|mQv6>bX2mud3n@#`@7I7 z;AZZ5uv^w|tr2MDr`2ib3FKtf+@#4e+y$$Mf_;dp4QjO9%l^X=I4R&(k*M9@ zwndwex>##Td@84Y5_-2Hr?ZgrXKLlo&UW(9WzS+}az8XR5;5_~zRKlp>AaAq>+*K< z*KNAhZ#rpbm}B;p6}RF90f&1pwV25(WoS(l(c#iXg_p;r!FvLp$<$L1L5j(u;;`bO zyT}3u;Le_3U|^^pwES-aF?D_WhDMiCFy$+rVJsvlG|9bTMy6xuGqW`E^A@{XAor(l zBZd#ZOa?+j=XZ}1SIh+~d%di=t7{tPykDvPwU<+PrGR;*Z#4?&aS2OSaR_McS?(L{ zU0tN1RXIKnqJY;B!(X?thIQ0}>MLOPyPnOuQ6VpzM3%nxHqFgn3pSG=n(+~QgW4lR zv3wTLu|^t1E|(+M-O+kl){E6tr(N5+EJL{cX9no(nQp9kWkFWxMiT3-IP5+&Payo5 zHB9As^BcChbWJ!PJ6d8p)_G@7*@0F;u_^d3ZV86R-{zzQvC@C2WJ1k7jQ?JA_v-LN zW;Ecp+jJ^Z478&!;@=^`h4kz^nT9oa0JSdX%Xsz-D+lSpC51@j3lO0Rx56E%Z=*sx z#q&%+1AUIbAP=XOJOBW81t`gZWo4zM0dn%P($C~&U7st-D#*LZxPn~ORsa8fkrOq@ zV*r)@ABq{Z{2&LenXIzwcNXK1GBXJ>9?=s&y3ZHwr>hk0hevFN)gu4HWsX&XypR7j zuv**EIJH_k;C5iIQOX_mFOW-EHH|lXW8!+_I)Bl+RC3<3$;)znOwF&wp$htMXn?u4 z?-xzusc(E?Ah+;7aaea}4YVn3h;+)dlmTVMh zSbAI)c}$`hmjxBsO`inwG_bNf+YJm(?!t)Z=~~(uY$O zc9$M1g_AgUb6hZV##AqJUa)k=9(Y{Z?rm;d*MIS%!nl85xcKTt^>vL9d3awH1#N$NCPLs(e z7(-o@F;T`KfbXBr(~&Q*ks(6}ByF)dAz0@!0irqhJ zfW0(rU&E^|#4EVoit=G0xY4cP&Cc4LTpi&t&><%`cLo;1S9LuW zSGUgqVN%t7r?BJl4tUebRsIl09i!s=Z`chPh&iV!=PY(V9~4y7)CSK?5_+D}`<^TK z)2)hR9I5~;*`Vns&j5*1(NO*wz%W-o5$xo(oq7y8J-hrY#vEAoy@U)fAO+%o9){r> z&`uKb?;IfqmVEE02AjCH-(;8jeES~lJUeOO`Ibe={?)pyu+B)8@5AX8xn_PizbrGR=VYIv@%p1DwT9y8bb3}zZoi@1h+9);A6 zU(>y1M`5ClSizDz&vh$(F)y{38qqxeN!sGFc!eh z3;7q%*V&Pe!U4S))q&Tni>jpxo!uuai_uuQDw1)%@PSULV}^0laHCuBIy18CLgKB= zF$cgbTmb_(CIRS&pC8B_vsm2kgyh|x(Ezl=y|GfqJWzl`xJF6^K)qojDNa(|j&*ZnnKdaGotkD^tN8 zh({QrBahtY!ejv3o7NBvksC5;F)ALcB{h!r#`pq?;9DyS9XSXoAnZcCOlGzJ{hP%P z_+S)Nx(@9P`NB>MZoJ?|cncF)NJO%F!(nI)a~J6!@F%I`zJp;X;>eXHX|e0yEKnAl zei3m-3y_BQt(;$y0BYf%SI&P$0({}mS9q7!&~DkuT}>?rB4GSQsfkQxlCAjd@Hj>g zH2DS^wsBv?Z4w3@Q35}a%39GlAq14eq0}oHFQXBmaN`x{$ZlW+27Kh)G5{pR$R91L z_5dGa0*^F;Q9urG=|y2a2uTmlxmdjUjOd4}t=!#2BZT1{D|e%|fGzmHmAfGcu#6Nb z`tH~k{K1vx&7JjcjBGDgcGO2V@CUb4{YRK7u$@b)!6Q3SfVlL4(8pJw5LQrlCd1Fu zYy=SVfPC{@6i_J*5p;Qfod4SeYuH_11fF%3(CUY@rGeWs91fZQxTTwfmYRl!U!zptMRnay z10lc$qANwUFO=))M7l~HPzl;&8-kq(H>Bu#IZ@-q7!bEz$ai;le}!WxtAhUcq!OL| z_Oz#*wiCcvykcGtv}bqY*tV1I_Vn)OYQrb!_RQ|#JK1r{V<&jR}f4CL*y zC?Ic28j)3L?pE?qX17Ax@Ja85(UR%ahpja7cioGM8>@K08lp((a-IO8G#|rSTR-L= z5Ka`524_$4H8QjNiqJ~Yi}}_i2OwhP(^Qjyv%i65d<3O~6F}_@vdbgj1UFZq7hW&~ zJzSCe%LNLf4~!vtuD9V==(~ z`gcn-MPQ_hoq>;YX_|50GsDBp5HJ!nYv=2{n&x?FqrT$QS&7 z10M)m$CxTj#UtP}4B-_G2wS)b!_8dF3a0;c_EH)&uRw})Tqg#a?t-KmH;%dU`2kcC zc8=+Ca0g2u+v14U;E2R6KE8!z@VZ;5f&OeDfKsYMsN_`t|2huxCH!{ZH4@MDHF< z_Rkq?Spzcw=YJIL4(3EUXf?@8)o}x$)>;*LJ181VIJw##D?mk>Qt%}Em^ui=Vz>#| zNcsKNmcNJ>BU?vW_f!kI?I3jSnr*b{omcC{3yzPwJ!b}7OIHYrs_b`9CE(MN_`(q;SPgG}s3Kh&%dNU&iipN5|H40Kk+qD>{GAf!*6h;*HAUmYaffPM_Lz zi$Ys`3;#YpWUl#b%ftP#4)DH2(G@&v7GN$W9A0t=+Av2YtX0` zk$q9@%+t3mlKZ3&aOLGopX2Juh8{d|<+i}T^os3Rf3EPR4Iu)Bm#*CIIRH$hN6`Ot z-XS1x)|J~Fe}!u<3xVY#?CA>edRE+kWo~&-d-h=hRy`aRBD##gGX4<7sE{ADk77J9 zVdMwLB7gwXq{69%&vCSOEr=#ID0$(gs&q#$k>Lffw5ff7$RL>5n!RgQg#yN_XuLwa0{1hA>`9hc}6a8;3T+v#!fb2I%|0I)ZQ*cIp z7f))nWPvbLezixI&QwL3G1`F9G{+B+4%c1Ty8ZzLG9h8Xy4fF&T*vwVA#lVCpvBSq z16jt{m%;^E$-`(@yEhP{RD>c>^yn$^2iQP8%gD?ym_h0l+JF3#83qqr37K33G6)-~ z^4<&sWrX!qHC}lO6OTKocB#7wGiQnxjC4VeJjlA>&YON<1dtVWh`Yu|R%mN4$c)oL z$Bp@)kRl9vne?^CH9owI+mfJHBE-n{pS(|s`3(Nx5^8|{c#vx_aFUf&+a;43y(L0F z4h170fTOfAcVj>R<`JyyVixF+ae+;rVStptBJHRDdVxk5Gnk_DGbA$@u00nJ>Maaz z)^4A6N6LZUYlokkf@fWHjnD(h7-)T8N>{4g&6%}$Z{ASvYFo83`xTI%+5DXBO zw<|YJ3^3v!;>t`!2&9W{z_;E!$owv@AvaEKA(3u51OAJP^S?I^0AeUSo*_hJ1Q>*I zg?%lT8YisN=I`p70-9oEU^jhTm=ly(&i6%?jhEgSL)eW60-+AKWVqbxLTn}53YZsJ zU`~3!W|cLYgRk5sjh^<(0tltD7(Uk}HGuDdi?sv%{769Z22TqmF;xAY>1FBI`*uk) z56v@k;p{Op!sgF^Lx-vQcHfsV&ts^1cQeY2(=b#6yXj>SCcK={Got1q`Nt80;4W>) zVOao$|D#Vl%3ZHzk%pg~R92VSFnqA9qGO{0*Hps^$ptujqLQ$Amp}FoKZYE3^{D~j ziZOs)O|k<9+)R=c&`K2dNwYfb=;! zY=V6U4EoX+R$hvj!3BAT^-D0#dTp??;;K9QIxM&=Y#6AtjtJH`Qvk3YJG6Hxd4YM5 zy6sTttLI?#_0QVZEFWy6LWD-?4~E6i?OB`e(=cMF_RP(7tfS_h1xR~i_WI4H!^Uhq zkpP3^At}H}x|2a|TB$7ubR*dMeQRV$8lS=O?-+&x_)%Lju)i=1eh*glI<@a1uuS{l zl^2qLQFv4&-`7n}*x^&PQkMsHzrbjkJ=_+W412$Mj?Oj^eTYXVF_zju(Xqa1(g%0eq!$2socDj)d*45dZJ zqq)i;U`b>aIaA35O3VdwX@K5{T?zOeS?}ww1jiPE@Q{7 zX+g6_n8h5pQp(o7+8!*zk7(T7byW?V>Z)wyc~w2k)%!Yq`V4z|qKK?OpIy`<7~x(F zDkZUqO!z*7%IFm40gx6Z?hg&UcnOq*Rc^YkQz4tsUW=f0F=REGC*s9A7qSrTbn6Y+ zkR}v7TebtRN)Za3?L7dnO2-PGkz)TX3*ln?U%CH#Nw)-p-BMgPLII9L-&z|1tfd8n z&Wtu5EOCJA(U;1_n*kU$nEzcGf)nn`kh3-yF^^_4aOn2~G)X}j1*K+0B~1;C)x5{@h_W;2am_UZ3g)_T7+1b9s$m9v4GFFBpKw%FR%y3N?axjEnZ) zvV#}_3>WOT(gMZ}h(K>Syr>L`L5TVeez6Y}fLQeB1UB|}l)y#kj;-hG z#Nb-=zwa&3l_{5O{W++j+mI2)4|dH98R2V21gez;x85qzzevD4HoUb;~3HKtR-!kK{q`OWLvKh3@%0Z;=sJtECh^_9uVYHnN1<}cVGyGdI%Hv zKVj%s1u(*tgvdW1V6;IdMyQPY04I!+fel~~D7)S+=*jCMOyY0OkorCs*5{BBmkfP8 zj0RQdqvq$qE7I0N%YBgma`;Zh;j$V42ItH;JR$%Xz<*~P<`(7}^v|Wo-PK`%6zc_o z;r5=w%>K>{j~Or%y-$r?F_wT+X|M#E3g($xd&c{706+=;0&2iV4U(+S_=(7=Kx~TbG zF(|~a*9cWM2sjy=Xsn$22+V1j$Yc0QHMpX-$W(e&r{7i*!aShm*9QS3VhxM!flqy* zwn2BcJ41u)+NwE~5Ln`0*58Na;5Dj#J(R-@m7fINxnL=jZc;tEwW~_SetvP{?Lq@p z0?3owF!J%N52d42mKP&Kcox@sJi5T-9R?dhS82s)-Hm91*=p?c$fhOUM93D-!ghv~gr5pI+CU zpq)DPNKf)1g}n%)b7IrS$ls*lP2_99N71B8TgSgsB^X&=)n zjW4}!1gC36-wdx|z!hg5nsCiE*?Sudd8Q`h&_xi5{m9Q*qB6BRcBRjrYLurzLStY$ zB&`x)S)&o25A{(&-JKkL17dZ%jAD8d1i7iiUb>H?nPyF5$u|Kb8qlTrjrV{AqyeQV&8 z-(a*E#ctOe7`|X4p2X7W*6a(e31~qeHI4!uwACBpcHsg>DZ7?r)D<+V17nR{0Ml>s z44d)2&`t6A%i(1MuNjXhnmOFBL#_4&^;RPe=~QXjMoC=(vy^$Tl`mRJLbBchJ z57a~7mGo6vC1Qp?o?Qm4J*D3now^w~BoEh2J^RIR!O5dq%x#@`CCBW*>BOc2I&>6(W8YD@4a37m&FJ#* zm6PxW1DM`{Ag4FWtlBUKCc2Cp3VJ1mu5Vl3J`{I$dwQOT50y%)-0uBIs@wCT400Z@ z5?toCMZKb>7{?{oyF`W~%cDbsUNbJlG#&l-$H1Z1QyL@%PmJEOZ`r^EsiJK^}fQ z^pM_EGrdvhehsBk+A<@C!-hN{WxmIXTj8vm@Q`g{Arh7cK~I73JNQWhqw)tsOy;P! z70XSf<9(Qvl&vOQ-h3<&=t!c~8Tvq9+s=?cimdIvvNTo{1yryv18 zf~4GTs%e64=D_<((Nbg@6x;sB^m*t>mz4)T9C`Q<)XZ8OUCyW<(bpL7r7%A&C1j@* zSt}I8lp-KP^~E&dimGfQ*-0%YozbM7z^XgIhj2pRliQYjGvR(rsJBllSA+>wT+dJH zUtxo=IP;&$Y0s>W+(_YF$8GFX00Kq9=8@(x&`VeSNp7s@-wZEGPPIMadG7mSGiNL)hVLiZU zll3_73G6Y%q_xH}tX%!~dT&7u>#m-O+RClZy-GFV$R`jTM?x;1Aksk$fkkfxpX6!S{^hD<%$blKl7Ow+_||NVBat`wnsqWIuTD8V?0 z#Pi1_u*{Ty&xOW50I5|itlTwGC@{?h&M5Y^hg185Ak%O2SkUtz$+Fd!Gfc?Zrox18 z0N;Nb+tPDbaMCvYtqdgSxH-~UZe2ny4SSI;OfC_0NJ$xj4I#XS?rON=8v zr6tZTeoJZ?*{t=VI(^x}t^`$1MEZN-rc8F@(yzpnl+b-<5DlbOe$IWqQniVY6k8vf zJz(Nz&tD#!p166?#`M|B2BcU2ppjtCW+2j&lhAmZM` z-erA7j#RgbD_Fg=PCG?ag2y1cW;>4+>aCCHoNj7kJNN!ax%|5j{D#7mn5!x0o~c9X ziR(Ag;giG>MZ718dV}mnbNJg_jtX$vhJkG^6YsK)&yu^O(CbVKqJYLTL9xW+C5FaS z5ht2})E8*iizE^zKEa))wCp-4=W&_z(5oU+jt?dh(B z5KZiIeR!-56w-1Ugxf>cyu*cr8$CK}7=9;$9IbqjaH>-;+XM3e;WIi_inLw}PjP|C zCO+0BpI6rgZ*c>vd z*KKZg?L*IHnwsi2YbxAZZkA@pucS=*nxi1`s(%ft+^&vwYCZH zqwvH#&DU4 zVt+z{$=#iQiFk3FpO&`>c@p}&h`>#;b}I!nlDo90d$9{URk6zFWq>zfMNV6(b(V$0 z0VL2ZnF*e%^99=PGmpMPEG(+XF3qYvLN&g66P{Afv*9MB3FF^KD~`cH@;sefaoEVW z0Loe{jbmcavfD)-SN?;s(o+Sq!jJKjvU=54{+rCRM!3}rm^yOSQ{w)0x;Mg724=Mn zI2peL=0BeF-w>~TR}2tW)?=j#NHD%OC59@s!2%K-AeBLnBBrc#QWp@r@mEc+1F@8D zE~@qc{WgWJ+r6@IeEam`RXx+bd*j0Na zDp4TJ7S$m=XEg#!%1v{`+uB_Htvh> z_IRU6>&r*5r=Z7vCok*CF;U_mkLlDr3$#*=0H(Ns&b0$~LVv^sjGC$8!X}0?|7>zJ zD(d8RqCSmiRVUt5-FvlPeX`eUew9mGn`)%2Mbmc@<+em$wy0PAg>_lzMkknhA?AGM z3#0>kyY)3+U3|Med%@UonUf~^3cAq3hMR^Cjy4fq(YzKGi#=Y_@~hI!A0Kb(4*G}{ zH33zmYK#{-*$)+UQcqNL8($S*Rkp1qiw^=%)t=H^8=tqFeg17Wpgdop z+_>3XG=*#nx2kqfCaw5qSUB4F&Ofb-(?}&0(w2bv{cPKOya}%t#J;ErfkvHn1d{r_ zZm&dgN4Sl}u&}tDIQz;9=|S$D@)&G1pTKMmNKam_(2H+UHDX@|4|a!Iiq$1|sEV8xdB?tWR{ji&bz0lZrHSB~3M#(Jc7|kE zWfUL0mdKn*X8DnHN^?ep%fGbcrhkUNkG9!H3Kjo3WA41EHxx<>fD*bpk9k-w`!CMe?cpY^t3lT1FWnT|0Wvv&9@pE z6lgT0ie~IINBVI$MVJjl7`;mSY{B{EjUu6Z{IHAs{}eLd@*WE&+R-HpPN~wJTEng4we~(IE`e~UJ$_)x7YB*sN|)G! znG51KmO_H@o#Jwqo(B^<#hxz*1QX)0{Ktit|0Of0A)ap58V>b1WnHxd(5A{71{lNsYfX6 zyZ=8GLs>u&PBvnuS3@<;Bp+)R@=XX6|G(u6k1D z1qe?)t|TvS;BO!(v5J^zO(iX|g1(-3m}=KzULofmuUq+}EQ_t->XVhj#KYw4W&B&m z+R4~4j-b#^huDE7T-#KTFie2QMw9D-)5Y!}U&xN#5~Rd%MR#kC>Nlp^}w9KR0}- z|B-DqJoeDW?w6sc;>+g`D`h`t71vLWKUAbTizi%iQDicS5m;ukAre8!C^BQC0Lxs> z47km;%+O5W-iNC6p~k7EP~v7gPB>JvtX{?})4)+;)iUuV%P!=}j;{M#?aK4AQ_cpS zRqjdat0#AwJEbrGJ*o^ZgJw}R$P`Vc|C|l=hIt(9tAjfrufB>Cq1f0cdO?CI2`{C1 zgnOP&)44w{m6zg{kNqzl8gc`8!5Uh)f3|1jOkX6%iD9lpU1>q{ZtO3f0v_y_VH<&JJk+sWyOcE8YJt^E1v)Uv)RX;OdmgNR-4n)DuJtrh)fak-_s zd)n%qvU^2s{g>D(^wbw7JJZKIZZFKIb?~rUlppBL%E^%2X zn5!TLQdHG2p>~Pq6su5FP8tD^$WU z7wIwlde4Sy>is18@yDuwF-yDFZ9{AGtuJMs(^QRdS2JQZc>W*}IO#EnZ`C-G^l&VDXQSx&u)_d~;RGq~$`ZyS+7Nhr``buUs@KV6U#~ z`DDXj>!i&Tbb31!5RqW^a4)S@1?{%-H`!?-`FL@m%OTSp-30IL zFYUs2$2)dN{rT4G_ff?GR1d$p9TqDmRDCH{X-q9hgKo3gT9>Q${qF6AWS3}5Rs(8Z zZL{${9f9l0e1;m?l5 z4AlPYCWaey_{^-x7<6oU`$m^Ii8lm0y}CiI>^DTL*Yu4GoyNY-*}22F&nmjjX*}ZL PCzGQP64Ei%rTBjU=pT43 delta 30676 zcmZ6xV{|6bwzl1|?R0G0wr$(Clc!@l9osfKwr$(C_2!)Y<2(ENaTP|@s4;4;d(OJo znsvPIy|eHACkQAAI0&Q>wCfeX%*O}q?BZl_&3N_2-rz zngpng+QCf}<2H?}g6{1rBSs=VpU(IlVU2${JDwsUe9+i;3S|?KeK0 z7+C2zO)qiSz!QDs;nm?keCt_q{V{RT&VrHj+=4ef^jgR2e=QiFF4WjH z!i7f@ligbE6|e&cakeAuJ`}}gq6<5Ln7lfmOvP1Y_>SL(Y#)ZuOeu1VU%y-@n@7NM zHNmu`N9`=d%I)$NZ>4lB`gHKFGp?h=u@Xd1n{-kk3VV3Me5f|v2yFN}*01(CvSrWu zEvg%zy>MUR&!Ah3H? zXnae%6y^bD_aXT`icatNsyNePDXjQ|X&>QqNLiy*yYo}ZC8bL!K$qB3QCs>?Om8Zy z5=(qL3tam#M%)f6ER7O-gSJa{8eNYZd0b!|D(l5YyYSqQ-;~J-$1+Z(NiQhW7~76s zRAU{nB^4xw^S>a)*T_eNJ;kZd8q~ws$`gd@{!IeNF1Oe_p8_xQN$P|POjcO#$@!#~ zP9Wj1DdzPW0&+tlLq!9NB*<7lVh`E|H+0yH@@X3jJDj5l31{a&C&XSCs!!|RDpRWS1 zc{2bit4=*&}(i>p+nk zE*nU>$sS|KJvcVMZQ}T3?4pMi(thNjWQdw5%b8JswDW(ur1Kjg!6yAj{$(m z!iBsOVUISaiu%)Lq-UmDdHM!yq9RBbO4`W|d+iScZd%mJQkeAL!W?w!0uDIangb>% zLAu7(i+vVy4uN3MxVyQ7qLJI1EZn}8d~_F}Vp4m8BEPxOv;)WLM}fs%CC<@&I7Au- zsHsLUFVT!FW&8$BnF6a==4Tvzl{^6{ek_~*;0+{&P}=5!?1$&+_bXSzQ@QOp^?xuh z?&=70cXKdFnkFP;D6;z<7LM~7S7Yl8*=nj4_{LvF($+15qwKr#PsW<(YHb=rvS#)k zqBB?{k9~4w{DI%fWiFHH^Arx%y{Wc6%as+Gb48wHwN4X8x9i#^jO*LUw$}k1Y=}1t z=UuajTv8Pw?s-NiVz5zB99U<1q^Pn>OOqWA4GC~rI)Rec&ct|M*nzCQYFH0Iq9>|_ zJw2Z4b-g_VlXIam@^6L2CAFBSQUNcFJ{S?SlPM{jDo0qXh*D5Z#@sORfiY(e19ejX{iNz%?Q=YcMicrEs8E0~WQ$gZe-;qHXM%Yt#q3?4W zd(GdSbSos;dEz&p*~2~o&tH5boAS^sQW}=_mcCS$6Q=0i>aX{g3pvB0 z{bm+yw&+S6LRj|&8&bRRYAbZ4lHW_5Rad!~3R{CPR6g_lCs%Lx>h{opz zCdj9vWIo3GAgj3=)zG8}Nep8cW^t?=2~8-Oy(U3m%r^O=+Mfm#w>tg{_u;l6O*-Fl z2|udvGKhabv(uj9Wy=%s|IH1@0lNP#;l2|6%1QnTb*#cm)4+l!^Z>IlTZ+E@U)B_3a2WivTAeS?osoJOD#^I8gA>15F7Ya${Y*!W1A)p zZ(6?7e9TADC0bzl)yBjvD!m30xtRY8F}{QmC(tF=RK8BnIFQU~Q6H7k5nLv}JtC(A zWr8c~(9Y5h3Z+8FE<#l^>`=Gp8@?=jSOY_Foc~qw;D`lyuJ@KwUN$S>dj;RStBc&* z3+f(u?D%gDlB`@YMNEti~GyF^FOlYx;AJWa(IdcP7HVb56OSwbD#bxP6w_v|(# zsQ*51njQ_{%DN+%uWB&TJ|SJoX$djp2^wV0vy!xp$8Y4@tj}PY&mmbZF|zVrbLV2P zL(?~T&=}p9F8#p)0S@I6qDb)6F8^ZgDM30Y_@#WpXvG;(zO>%1NmvT!m zOJUyWY#we@$quTW756cF$tAB`J$%}2bS}(HA`f5K3D}pNi0z*zH zVLOdew+5vN>3J6g<9I*c*mCF?H4M~vyW~sm{;Qf=wwvP?&E)S#h_n44Z?MK?Z3a() zMrAp`uZ>8WKNV$)l3cuh`}zj>{#_50%`76xmnyc%=nLUAWD#tJ=t>Sod1G-Vk>E;* zfLv8_kvTaDua${4sxIL!cr`AHpY|14f8wsCX!z*@GJZ3XtxmNvd#yBN+(Eq*UL-Uy zR0XPk{`u7y?6>X<(dM=CIMoBYkm3rx;_{siuu{?6s^j$IgspF>;eJ1dq!qcTEgf_P zYR7Nrc{uPD=_96==m@Zjr%H~}b2oJ?Zj{1&oL|YxgYBC9edZkh>ZCY058LEdc}h1_6kQlbWPaH(Xc1LUcOx&gT*EvM!jxSeYPPKq zb7GH0~I~DCzHjo9?Kmtne&&8RJ?@7!&G?;0#!rc_2G8`paIefHCxe?XjLX%_XX>+#sfd~0np;xDcp z&J))rpc$~RrJ za4(#j4arcvwGTE67J`}9&@ABSIK1%UP@ z!T;$LFt?nLEYbPc9NHJ&Om~0cf5O4r08&_AXvw{5TGcOybzPV zak@nt!tUlkJ7%-U$YYu`iA=XObdDN8 z#drgWkb*Nt(>8yjB1pi$*i#JRC5wCMQmWZTl}#H}AE;PGu%r#uRE7~)iMzr@TvkBX zYHmTGd*?oYfQ!U|*<q_&LPA!lPC@scbZ;V@9a@FTWoyCuh5EXe~Fiw?sFkHSVe z|Jks)hUU=ttKu>^_mnDV=DO${)uwz96p&7{# zCbJg}XwZOg=l&gx7=j7|%?$#H63yf9-RSw#^)i7di}26%qu*%6G#UBMAVpKGFGx>> zUSK+(qZ+G%AXO8vp9ZCW0+ovrkrrLqo7Z3HEW{+Om|&Pj$}&%7HA>|X!bBuM+(eQ@ zCexr2WWJpMW+3y=tPBcn#7uG_b07$*jEB8YSYCd^>;`lc1s9VajHn7H7#=FHutBi+ zTt_wxIQS49?62Qp7hzBaZKO0y>lCx?NkRDloB>l3p)>;EM1F86OWA_VGPcKr6k&AI zf;gh3UG`OuOq^&S!U@t(8C_*#=AaE$Gn(CUN){Mv&gx=L4N1AmUhar8UkjE{;#Ou+ z*C}vuuK8fxwdxEA&Vuc9V_?Bg9LiKT7;iG~2vs51$~I8?H2lb{5PZdkSv;AoNFd$i z4`hPCiv~5o$pzGt_+b!PaG@C|rkBNg)uV)lpG_#OQMSl8QTUBbsBU&7&ZziIf}FQP zGBmqrUPXGueqFZ_iEl55M{F&DK{bi*fH(1`D>$&MJPxkVsDj$j#vO^dR^ub4oGk!G z!1Ac84$roLWt3Dd`Xaa81hn8_6#S9&#IzJCR*i_lU^VEKN3c{!QEzy0~vzy8d> z+3|X{I2mjI?FG1hd)D{!e!tutW_QQ00d#eKTB(14lzme$q1Cx{l!rP!gWvanN{upd z@k0XMQu@4^;ZeKUo9DH^fv$ulAB?&-oDDiro(K4&B0-FIkI%;+tj<@iDT3j!r()E^kd&T$gtApnQJntf}N)`v^e`>1x~FMbk;U##gMuqhc@0 zy=3g-RLU>gL7@+inU0itZy2`i6M&=Mb{a~XhR;iJgfpva-q;k|+E(Ezc{F_`X6*QG zVC~ZHlI)nJG-#z|f>v&-(1ELA(-hPB&g9T)4K`BFMkjo7KTo=cqQd^6nne8^-bBFW z7I6ye{RGM}e$? zlt1TV)2Hm(-G9V85o%~)8l~x<<=+5HS0eUN)ek)*gZ%>56))of4{7FnYB=>e&9v=j zHivT)M|a8l<93~#Is2My?HXKvU5@|7oTq9qt5BGXSSnnDc6%0ha3*o+JpDsCHY$@ z?XB>kQ@r&_*Mk0F_V|5oqyy-FuTcMj&x0SoSp(!XAF^1EaJf%kSmHmnll696wt39qV7kRVJtXT#&X-^J-e|Pd z<;LpS9g&0$w!e-?d zoST?iE!IcxUAO1dRkTIl(jfy1idG&=-SfK-1<{~PtP|Ki&7w2Gelc5JE|`NQBd$n& zUo*wU3WoqdZlEd9xga&3D^cFtxI|rQb`T@|lCX4=>!TGKC*eFc3Z|V$*As^Yq1cfZ zZO%HPne~Q>8W^~pi~UF_vPX1)O#wQFBZzE&59c6k;osABGh{x4a{v#*-n+<_OWzw@ zvtw4$1yq5JTpIY6&g?y9?%M^V-KMbpCwa;S+V&LSTl`xK{42Ep&m@RxcL&}CxLJTw zw30{|66!&+g!zNmMKx)$Km~gt)J4#wtCuR3ABzhv86`#qR~hXK)5$1CqYNw(=~V#) z12qU2T40v|;27_Xf6tQn8#P;sSVISK7L)n$B`q<7gE(GHp_U#ZIumHWH5nF)HS(0Y zHVy=^I4b%ipjbxsal(`G>3>$hEJ>x|$Ya~_?{yqZR>@!o3ob{kZe2sdW60{jx?$U- zR!YOHe1fW9&N&*31t&m*HN9eCIDi>j<+U1)$~3K&u~;t9shK7+5^kcn(V$1H_TNcv zT}?oGG+aEajcA$1(S?grU@M6dixb?TE$u4caY*dA-KCeSN-1=b*L?3*43HIR9=MT< zzyC%cIu2<1M+MxavG0d5jqS3a(o1-r(9>t-<-*hcZJHKw9x4&NLqY$X0yq6M|0blRK_}^da*9mn{g;KNH0j3Yi zq74C%pOm*Q5|hBz+sLK(!~IcFUnnuMSNt7KLI>n3AJ^&M4QsSFa}^N zDg(ZZH&JTG2}P=oSzFpoLSx9y#Dw-CwlI?Cd6}N$1*w9Obn+R0>jHMNiTJ zaBfO<>hMlf?n~lT-b>oIe)z~G!fk%;XzdC7hYMRphpX=D1yO?$evL*IH1-O&)il)w z{Jgk|d%7C32M!@uv;kSU59`WTH2NUfb-};_&1^k^&@zJwEg~&}d9v&Pb=^l|ttB=n z@kTXyw{Qz-DTARrB<*#c-WjUPrvpNA{s~3*2i&9akKK;Kaw0ye4#AmQ07x<&qrCs)7X#m&`xp??+H}CirEs#CJh>`SHHv zG<23QGy6#>4-Xu@!0b_g975dYwO-j>^DAz%V_S=>>V@W=-)`HNuqyH!tYhA{#lVQ3 z?g0nr&JB7WQ@j|PIk#4EVMV~U!|2-2psVdr+$*6)?_~ZN)|y~!>JEn*8R^T_Ic5Y0 z(#nA3+lrn)iEW81s`!z^@$}7vX`!*Cz>_^DO~w`&b@Q=Unb-1TyK0&6o}Fsc$v7J zKJy0kS276d7{jzQTXmR@C;6eAgkjHF3rL~pn4VM)xQ~?QUODk4z$w1>$}v}>gJnLh z+vg6Ew60~9zEKkSJ=c+=TV*lvn%A;k;(^njhK&ixS+I)2o=mrx&l=uYpK%opXH7^+^|h0l!2A>v6(@oF^N< zJ+BoS)h<7{-X{lls|)EoQ#$qD*~{-*p(WnYr}0?I9@kF`X9@38{a(yZN+|>+I~)AFaCen7128s0vGcmy4ay^IfM_ zzdnaQQZe@1CF$t#-dAr>2hT9#YfOk4E!~xZjNw-m0+GV89-Gb)mm1sHdxpCGNc(y( zdkeqR-1#R{qWCcLW?TRdmL;B)vk3ai*+XCAySzGpF@Hh)7`&FL&~Ps%A)u+pEy`Hs zb-XTsqj($G6E!DTGK|R*E_6BF?-^x^KU>C(_l;Nw+0KVe6W7e}+s{;_}yf6^}1jp5K@cyQAN~v|CGu5@-LSw3s^KShH7lvY-jnV*ij6`#kW(rL9ZyOY# zo+_G2cUC|~8YigNMp{iIAE}=gipk0+cRSm_R01z^i&Kd#l));5l@j;R5Srr*DO3)c zLcPwKL_{$iI6}m$ghZfJmAW+$RjRsBqRn4Ah0b463n~CL#lo9o4T7NV6Yle#zLA>2 zg$#lq?-Q2MW#Sna`*W6hfmP1D8E!?c6iUI}G<8A~DMv13E@rOj!i6-3ypG;XQrTXRkhs||92fF*aj)QwX#h(@r zHAVIvhaDhoy)J+n{QQNcRh(qdX*L98TuT~>o!&e!nlCMmT@s>!T;DL#UBj|X=nrZ0 za^yPQ>g>u&?{-+tt6T7zlUMQlg^eq3%lsn!%(lSi^+aFdmRzXlTwarZqo0HDX`{D+ z|E3?>5POtycWQsT|33X5dgWu0_~JI-$<`tts|qkG7{b?ld)a!YK)W9Md_O#!Zhu-4 z9Y3UrI6~MTO*y~8+pNsES_Nbb`5{E(%Uw#l+^bylk9<{K>wm7cEK_7xsqOv)wRK&7 zkp`50I#}p`*kHv@Q)#K~H>AHdzcO`e)Ly=7d~?Ij-8l$Qpl!B=S6YO z5&_~?1>6;&s#a43MQVwNOsq>`S>VCf>ghwNo&+`fGW`|IL@CD6<4lW!ai~R0ry3C! z(}*OR0t>ZBOd|+P74Y_fu3KHU1m`G)%wwKs%~DaYjz-L5{zn3G$xb{P@jPJ%f?5ZH zB1iYMB1ct_fFI`?a|hiQkG4xuAOsr&7=rV6I1u5G8cpa`EQjQfYJ~_aK&1s2r`&>z ziQ3y830IL;8mhuPo8RjVzcDBkjD#RpdPJPwBi!Gj#bYWT9s{|p-1=2MoWB;XkVOex z&TJ{z)Z2cDmnnf4c6=a6fFYUa|!6fqbjZaSPrC1ETMdT{e)Mr34&D$>;S!^@|f7I~;&%RisyysjNv<`nn8Xmq^KZXHs)PaogcxXA1m zQD9`q`ehMrT{X(fA79eRuHQ1!+KrvtD{sIqZ=1yred<5UYBF5`z6_tg-O_W|Cm&zy zD<{a5GbqE_WY`3Ri&xC+NuRAo?$BX4w}`Y%@8B9kxJu1314ocWOdQK|X=oRis{uJHJ4yk11(m(mh;cQo69LMi%s_c0v8 zh^lDLz^Z7}1bcexk^^u`F&SnM0 zsPpX>Y_692drJ?@`Ex8kKIp7t#n)^0jI8dP|0D$;5H2Nv>A$|! z>g!g-oQS^9>JR&{TJ%1O%hRgabm~$5ZZ&(i1 zCntw*dwPHU^XqVCbE~@T$}GLvn?HxIo!-#f1Fw6k86dB`u=&;Wen-q3e|Wm@@xj{_ z{q8)h=I)Lf6L?^jf8(cPKQ!<4%~fr;`ry302|qu*39#C*$MCCWxO_FexAx87HNxim zJai9&jRU_EfT#H7nG1^Q&!j*^vO9k>ibsJ`@66X5^s8PVB+i`~xq}=P(+Acfmja2x zIch@1q)hCqtjfw?vV%cf2i^^b4=SNe0bKpJ^hSQVekqwqnoKzq99$8Q5UeB`^tgXm ziwkxbD&Vimbr1`phLk9UkfNm3xJkNCJv*H1Y6=DV2)mAnzK4`hpj|5E5w=-`81$57 zA+||DDz-{PTSUHr$znErlR8MeN?;$#NUFF2A3-llO(4o7-@r<07wMRM)p<_HL^btf@(%mlmaHVRn8E? z2ylVAMng>iflnJV9t?Bz2ph&0T(X3m07d|Y>K}4c`Vhe?UZmc}3E#;y>3BkJy#MYD z-D@64n26kkLtF?7O*b~xt7DQ1b4hoPq zfrpV?qI?1nH>B}}96^K|pjmii;1m@GUc^V~Tv->v>=ufhz5NlqI9&ztkT5&h(mWkk z;8!LlhJ%8yOhhAi%+oy37|UHnT2$2Re31~J5Fk$iB}!-$2587d>QB zX9@8LM7dvry5#;0(^v!!j$ukH#)YnpMMMZmbz%$VvxI>{GNEs%shlc>h=YdNU>KpW z==Z>r)F}ou=LC`TOFM|e`^qh{hfVmhNoz%VR!t4BV6=5%x-(bjw1K@mgpCoJigA~px(JK7W14d9Ih@B zU3io^0pyWiq6A!Yq>hH3YYsDL=-~Dn-Yx?3`7diG(~PRXoJrYf zik_vYnlv9|z9u+V$F~NM>M~Z++Mw&pB>roVneUc9@}sa~bkb0q&(pBpDP?7@jOdSg z`(#$gaK?jhBB`4Y#MphH*QE}&;)^;uUj1n6;Gtv3FPVQBDIlld#XnBjvg6m&D;w^2 z%ogqb2B|t%%KlH)%mT+{2gq9o3Lp+%`$h0JC+*~%*g+GKXbD=ZAx`FrH^h`7s;{OB zclo+*CkSJp`f)Q)drtkcj7KZaNcElxq_H%zEy0#;*{vq6W7g$5d;zlN;?!iaUtKQP zFMjv>DEBtH@_SZR4Q-kJbUd*>gs3nougTKMD&IJ+%tIetG$ujU0MOOnIcAj7t8mwH zxM4cSHaywRAw1RFhA?;1xo@`-ZkEA#a~2h~QeN+S6lE_A@Q_PJWyW3|%*@zUlAdbm zj)ZrYCvp^~18xlh>z%0q)}4j#?VOwULi~(L*n7DI0yMvD1+5X!{uSY%Vrvz| zh!ezc!6S!h)>8qS*r>9F2vyv{2S9K8v*n_iaE}Y9%`1VwF`&NY{@jg>2T6t0;f%oO zaeN}$bGeZ~`0wz=9BISJNB&PxRUkhQ0&q;wWmNw@4-NNUQ=9QN-WJ)drtDCAx4Fv2 zdZ4WQ668?L2-Qf{#b*qQ&Pu~ykT6k5jnt2Y`wK=u$ZgsFFwP+?b7e+l`r+2y&9Iijz`$cKXOil9R(~(9k$_rTfY-F%5nFk*u&^<@a z{wGxJP`Km(_Wx?Q>n3bk{U|p0+Bc$8hO#&3ksJs~DO$y14LK2l;oKtl-`fK;z1=k zM^%1eYK+NyT904uIIrfw&%4;I3!rZ0-FaX)Vr3QQ;~6u+(=V#VhmZ0YYy*xyjBfly zbdHzkRX>@BXZKKlb#V^Mb zw_Mzjfhc&!?cifP6CGGVjADX$P4F=RaYU~D88CPrXGE%?5C#AJ3;!BQCxO!AUgjX_ z1OMDe2l{cwCTU3MJmKIX&#Z87D984V69;hkX^J`29XDc?SlHfR?l;NF^{Uu*_`_|P z2+cB6k%xn`UG3w-#0U0`eQ1Vis?Sg0RNaB){|pKM2A2ZB{$FM*VLjqU&LKZDkk*TO zR0LaN7$O^2FvE6TtM^})IPF5wglmyqpXq5ck#H0~X|Lu?p#(J%Qtl`Seiyk`sUGX6 zLwy`PmB4<%+9jH(_r=PIPitC(h>_0!+_I(OLiXQ7Pl zCxY@kCYm9;L|&QL*qG5O21Q*!(*3U{JhaD&j5Cw`-WR6JYM)Z)8wEaY2*OCFF?(o= zGL7U~gjGiQaPb0KF!>2K+J&wny3M%p%brA8D=4<%PDD911XN*s@oa>HG~pD1H;rOa zLL`FOP>Tc<-a@R9W9%@Pyim3x;meAm;mf2eV%zk~3M~*dtO^L$$8|gPJ3X5=TyQnM zOo5J6A78(MBT7>QuYRMXpu^!(0Wqft!r@{9Y&0Vz$(ZK@AhF>fFWt%>AqpKYpjn}2 z`5v}w(ynLvprQ4d5}l{AGR_+}D%mb?6J)+&bsOMP4jgQrg*n`Fgi#V&Zv1S>HM1{b zCq+>K8OodT#fQq9-_`PjY1Qu2)3NRPvGVkrWp)h@cFtw|F_W8DO=CLs2oUJqevgEJ z(ZP(xr*j{u5?Sw)gjJgalKGVLhUt`D>Q>E*_7(?jJ#V}xLyqR_(aGwKA?o$%u5ZYa z8NCD-rkvqn(|^`&z8uf4C?RdW2#K0rpA(6iuAdX+d7Izv--M>?>v^x*2>W+7p1Rq^ zqHM7$Vov$0g&U${&T2<-hD9fQ3A#c6gc)e9+G&9kP9!fgAjz7br3>oZ2;aETf98al zoJdm>yea}7j4{3>OxeCfOqjgEuwq_gJA|f)qa_aqC{#+wd3qy{ASBB~Iv6VXJxwT@ zSBjefuyP_H0qJNa4n(cVZ90*qK6N3b9Vqc5I}-_cr36eINLa9+Mxzd!h~cmRJ&};i zHVvi&r5@LqwxT=ER~oEJ)R7(0Gd$0{yW|*`e@{d@+HF(2Ymp1|C!CKk=I0K!Cy34~hON@_fFAb77zlqdmo_#~rtMaUKvL>%*;f55+EUsm*R#^4zFs`vyXT^l_ zW@|Df4>n(3v5LDUyzMi+g|q8-ZC8$sZ@*8>x3$$!1Wx^K>+c)S6*93VCn3PyE?b1u zXuB1lU1sij!&2egwQ#{oZ%LO7pzNOE#xYiNxQV|ValN6r>6`q1V+Oz-wm%(|rHY9l z@}cu@H?ufoT8e&I%OcepzE>@MbnA+c(0SL_DbaA_VbyQapG$O-i#1L}g(&FJ8vg&la?pt*543x&w}rleP;@reEXTUb#(U0BV#z!pGt?a$ocvT z7uEl-68f3nK4mmJh7W{8zSiyi;qh zQj$kO^yh^o886ef&xZT~?U?V$7EG(mj-efA4bc*RXroU2kRW`FDM`AFvlR*K?mb`0|Gi+fJu+1jnXneUSory03qGbL{o`B?aq2%4hk1D-`9@}fV}oUOVD z=WKddIdv3*=h~G-iYEfDT<444XN3OmBLwT=@P7Uv-M6};zGZbR+YYK1{Gg6-nEymg z4CTjtu>5xmKta|zm;tflSpDMmuhPfKuq1H4JffBMnRnYOw}$wkKdA+w-^$MX;0 z>g)Edi~5IMFUxuiM2@Staex`(ow41ypEk}^6*em>7?1>C=ic50c!|;p&~@L{CUm2c ztV5fc@5Vy~V>d^EQyj8Xfljmcp4N^Lrug_mP@#k}wCKD-fYitPxcd;p9ljaw-7N9_ zF;hVoVC|jd4qik7Qqx}X)vD?l5dnD~j96*+(o8I)C*m4GCC9!DIwgP>4<*G16;~GG zKHMeR$#u461{GHt2y}@xPWwM$Vn)X$12A)P{Fft0{Qq2<4P|flzYGCHWaZwu!Xh#R z1D8f29aCev|8Z%;bpPwpGMQl;>=G`SH)Hxf*?iOHDbCc?L+m~`lSt?m8rN>_-^lZPyA>FC0?F&4^QfwFXPh7j+nb6YI*!K=I51z=n5&Hjf%@y2aax^>fwNbxE z*a<5pP`U_D4Q0sDu${UXg}OY_<54B)p53)DIJb3Y%<YJ%Y$*?9mQ)CqOpGS~7M1B{w1U@xB!XTFP%8i%h4O~sratAm zOUH*!pn~#`HZ~UWAmRX53+EseljP;6<{}$PA?s3;x#0E)3NiQTkQ5iD&Xn}=l(>P} z;5M2Vr&b$5$SCv*8cIRKTUjp$Jsaw!dg9IIcyREb5H<$jRglTi9!QepF~*B4G~G`) z!{{=a^$xYHxlxIGHB^JrFo@Y+_YDb>wjrF zPB!v?UG7%|r<-QPnk_9DQga(v-WA=V-cRz+!Yz;tc-(B)NEU|TO6;V?x`(h&jOU|n z2)tC0R?P|wgUxe{Nh$}Sd(#DYKtw4wB)p#rs30DpDdw06KxSC0qVd-(pOHZj#jH2@ z)LwSB4nP4IE_}?Hse?AhOckdKdh<}Tf>_{w^{o@}VDt7LWsRci+gwRAFX%kfwjMW) zFC;1<;3!~*1<*J<)$vD5g%l8>vLf+$w#^nUaTK}((UeWm6q7q_@-~$mg=D~!PZAmT-#h2CE1dM-^^FC}(#|t4a z5A4=Gbk$eZR=PJ`k)!)@6KkhxEL$HMu&|T+XYJ0N6Ue2W9X29fIU%w^jtAD}82v*3 zVli#l<_F+lGehEvpI5b(dm%6DRm%@k9mxoa2kdVG1EkTb-7kGJ4N6_jHL@Y1f}@}D z$=%H>*iENySaN(h!K#-rnz{bcW;e21*D(Ca)<8uCTN`u{wnU9mlW-8yCm12_hE7)Z zLj$t-$?*~rZudL&f1JFMK3=FrlKv`$x2UJVMn1wxNRIimiXllu2X|79C+KTPoy4{j ziRuzO971EIZ5RZKk2c|oyx+n^(>AvUDue88E-WoPvFD7mp3YPJI8&(NOx=1lyNqtu z7nOb22(4YIw*M=!P+=V07GWH`kJSJErMyW;+a6VN&Uag1(H;i-^}Iu0jhG|~0uBaG zgN}QA;Ypa@4pSPB-I~2(cN=glV)i(hHDqdBm|uT~jD_V$#6(oFHl;CNCTE`2w&TFw zHoxRHrLl}5^G2`(H6n6in`mAHuFoBfUMlp=sD zTPB^Bm33NwTsY;fg*A>GQaWKdt9wrHIVagjHsKmSIr3d^HYyBE5bPHh%*G_-8e$}9Ekx(&+&0HR>P&{+B2hcGf)h8@0G`jO1yY z!W3(lyMp*tIFJ>wetsse2{BbRZ7qO`VTQW0x`8lm_)i2Tr6Ft+qvWVzse`{NC&Ce~ z$0>nKHP(2TRv}bzezZU7vgmPPQX6J20OG3+Q*x{v@Jp3Cx$!JP+Gep@8gHTi^mF*9 zVf1%q0$Gei<^U*qz%*pRR5qj?cBxIGuof>@rItbVydgpqWv~#^WepE8 zPZyHNGR_66)Fp@!H9AJ5wq#MDvXX=u-fQ+x-bv8qY+oahgcs4OW4NGoOr9?o-I(Ap z10JSEA&GEUKIP4C3=u}#!(6O`XFNljO#L|06Pu90E*f&-gYq^i>O&#b8uvSf2;WLkR; zZ$~1TZJSbkwF$|y9Lpv|`iA+W@EGEVP;f+g(F6%KD519D{ctfOuXzr%OV0B#{RT~r z6oq*+361t`CD1|9kDl{H$YO}M>;p1DfMo)bnhG1AapKovW=h~KBO=x?P-kZ%!EHOz zx@wYAbQD>0rP{7R5osL4XaZ#WrUZk~zm1jTY+2#$^{<1;9QnTm3lCw9a0E#q^-G=DfJ|+qX~aNSo@;X9irwz^5a1>b89`!(dV9k zQGvY_sIO{d*l)pst%aDDLB=5RR?J3|!It`cLw>h@zl)I1m*05-`tb{cy$B@I10B$W zYJ3(=Vd#=#v#?q!J0twA9WR2VpJgV8b#%LOnQ^5Of$`PJRM z>1*ggJsg>GI@&Y4Kk9k7c|&FV(msKLwDfsz z6{gdHeULV_-iW5i8xAjQZlMw%k&ydYKc(%BauD5xI+V}7D!X8YEi{qd63`&M z_wv#qfFK}{&=Dz$v@e46UNto7h;->ydO!J{Ip@s$ug*!z1!0a!S}owEIfbW?iFb(4b^QN9eCO z_sx-+Z<(E&uq9VWWV<5ta5VnhKN|I(A<5%Sy_odVYs^+8Zb=BY6imCEGOg70ocOKy z!A>;2+h@h%*X{C@eC$6S*E3v@{(O@fQMlBz*X4K0tG)mAZ75)88C&{E!Nwlbn!^3Y zAvBg3Q=p8<`YZpO;FVOreeTRtu8(*|lvH$987j-|q31Ns_r>5U+$oBm_6_x8P=@TU zM2mf&G|YMS=DhMU)Q`3>{uKVl~txyMwww zM3x&be4L*2i+I4~-8{{z z5;lHa3O$cS1HWD^z1$*B6u;zAG>oLIeEv{(NpqFs)kEJ*jy*TAgKx}7r2#U3_iP(t z^!Aure~-||I}%6hp<;e%i8woUq#w=_#xwE!M_a&68lPK~sqyS3hm<1e;hT%CzPOr? zg5HTBHC7w$2sKk=)KGRVM z5+;$RnVjdDEei~e0gmVQe6_TobRPd%o#?Yw{v{Z3MA)J{@IQ)1lDMMqtI$;rmz#tO z*s;!M-vN7iHcy-9i>h1xAzXGVakW3h<|V`FNbDyf$NhJjs?20zcNhJ+BDI zC6^7!9&6snqr?#Y9}Iq(!@eTwpEsw3SV|YdL|0YrG)QdgYa?RQrbM$7#hX?ribLU3 zyc5UNlxpXM-OmrGx)GGejMXNAC(Ijqnj@}BUO=z|6Pr4N=99LguVW2~;pdAQAGa7> zqh+>xI@Dhy9_qL9c16X!4WwvZ%KYc7DY4HGW)?ZD_ay@QWaq(DVGdaeSw7*%pu#8$ z8b};LZxl(alzZTPPU5y#oIVngon4T(yXXQ9t8l@0m-VL-u}_2DGoBi^Y5bNdqIK-} zML`5G))RNBe97r3@yn!zm7~5S#(Dd_O5=j#)5LOdA9hUOk*-v|A|>KxA`c@Hw3^g& z{w4VN$D3bY7~zZ&y3o%sE6&CEDPd_-S1)YiKW(*F6b0DaB~h&o_m@9aN`oyJv`>qr z@m{=F7koKDrhr;jcjE8R;O^+*%{Q3aLi9`npHRYI$@qWs_Nj&;#3vG8-v91u_=_lT z(vZ$1qopbe--&@S!ZEH?8}bcN;6_FJC_HrHg>-}xF;LLV+kKr2;qu}rT#nemB%G_` zliTJyY&I{2R9%?f>&_RlX_;O&xukPqet77A1~#Hev-b5P zfT+kli}${XS;T+976J=zDXvGgmi=0_);pHLbmL+8?hmEj3$Zii z+#gRQ*JO=9(i5Z|Ud*C-pT%t|8@X{p3kW{~OH?E7Et2_O0z;fVNHAxfEZO91)6^nj z(&ToD3{hI90V=y{Gz|3y)3HE8010AVD)qOv8zk ziC-?Euq}Ef)dG<#fnqlRy>bxy`lV`s;JayLbU*zkf)#fs>nJnf(MR`7bH1`ta{!&2 z@DhXBSO26s_e_84D63nGvr&aTjZWXoPL>&_(lNpwuvsR@cW3kCr>hC_7C8H?Z>0&9 zt$)FUrG{{HCYMX{XU3pWF4lM~bgPp&9=^@_kGF1CO*c zz8@(T^|hGC>pv9hMa^@C;@+X_FCF?o;tNug4_t~tv*NXkJ{z9fDtcHmrC%xKf~J$W zxW3FTQg)o;hQ`{7q?V^jQ_5y0%#@wtY2&DT+M7o)XpKgQtKcYjb@Y0Rmy{Y_i8Xy= z@?Obul6A5>f=?Lys;68@D^tAthoNaIpQ?>8Z{&1f>T^71q9P1FMru2ose=gEZ&puK zdwU(4uQ;WUYS``dNyOriivXW-I`!~_W@4DXrY8J{17G(8jZRtS4{r=TR2j4$4%;`k+U#fPLyKTyE2hz}DWbx|865}o<( zXl)mg+LytpF7_FW5c^5e&m`d5KK0n&NZS9=)%DT!@z{RR*veh-<;n5u3x#GF$Sg)N zOxZ1#iH7nc4tzr0|F2?mb;iTT=W^-rqNK*ZL_l{KnJ0e1o^wh*-j+MqFOhaP^%dpD_h#?7UHU0VLtjZqJL z1)JYab;nC(`Dt`(txef`oTA<@1+Khlqm?-X?NVD^lQ!@0KW3Bw+-avH9ZlKR7&vmr-vBPLE<<~K#<}kgbKarElZUoe|=O&eME*L zzC<~5ugZ%iB{XCOa`f9ZiN?C^cB#k7KVZn%^}%{y&ENeqRQ4r@D}mg=9Fd%kRIs)i zYyVTMO(TJbbz~X97ud=Y!OlBft-TYZnvzBOMMB(|RCpm~j`r!)FqBcve!=QZ-^#}M z!OidQmC~n!Jkx=A@0;-R-5%WYAM;X@c539vaCGY$Pj;36zT}zz=T3b<&naxcwqT`vZS^Jj*0hw8GU^4|0)XT&Fcb+UjH~Y zx(`P#Hvjz0keGMw-aU(EFY_UIUAA|h>uN-&ypGzHcH+Z$T;K8;^TM~t20V_kI@{M} zz1{uq$X*l*?s+QOD+b(NY-JRFcO?nggEm+HuzU&(=X_k5R=$J=Y(KP{{?dF+I#$2m zU|367AH~!bfrikz+lE)ix+ATva{GAKE|$ht?Di+G=L(x<-o;!LE;QXM&Pi$-ERS30 zHf(>U-9CNgAwy;Ag0NF~R2Kky-JEy(cH>;h+)!^}S=IGS!pdMZ*fd1UsNs2u za<7ajHOdkx_O1EG)B8{rLnisZ-fRaI2>n_sM&D|I3QhWO~-*WXeKu zgME{&i|v1Ly@Z9kVteirON=oODsx){k9PjTZ*Q&e=qv6C{MqfXf=Va&KHz;7GW&=8@f4Xi#R~=d zDCSfn3+TXxOi1xt1c?rT%pFbYU+EtiPv7H~34{hXSX7X5a?)=g5E&b=t)wJa5+V5r z43UX+ zYm?``+|`cfkn&E{&%Yiw>yND}4m6F`raOKz1k8G)>p6D_NIGu;D{`2)n55rnVXfC_%F_A{V!IWVxOypf~*@V#K5rRUvWI|Xqn7X%%5KWp2e*_Do zf~!uGN=JWQ_K2Esb?Q`>)11369WjVtal$k2G^&zvBKY0uHBDU?!wy$N<3SOE)6B>Y zr)eUeD7h+DY!vVZK{HK%8s387oPMyC%uXF+bKFlIN>ISj(cu{CTb z>KK18XJRPt67Ht7#4y_>Sy>L9PNwM@Id$kHVsOm`6Y3|%9TQdf6=9A`^7R}pp{z>+ z^~^3|<_P{d;_qGTZh~_}zFkUg5_2SFiy?mZI3gzwXch5kRCjm#7Tx_+EXd?C5`J=U z1C#CM2LjDh`|W`T;>|Ri?Plk+%Hc^%^yieyQNv3V=b+Z`$|crw#@2}a?em(((cvo% z?;9rcD7xja<`Pon;+idZ8a_Wla;frogN6XkMH$`!CTv7Jq>NYsi}z)zbfTb(Ua|oFPCi3Z-;B{lo4?ixCt4Qv7#bOLY7whorbE`j z_u?Fp)=+cES$FM57E%~e3oM%*HDH|4B+Ij{3s@hlsyq968ipM$xGaAm0abwL_INj> zVJy+>%Z*dNu`XB&_m+O?8j>STi-k-Fq{LcneaLE%1Ls7mVA7u=_V0^#R?|{&9E1ta$B(+V@v*pK92Ja3T>~mkQ(e_#cd^O`(1T0kDy5uh} znkzYZ11hamkNWfLk4)-d~Yv_U~&B! zLzS(u_UewF@XvrBk#lW%#`LUuGw37MqW4prv1bXVRfi;9Wr8QN!X^`CJiL(E5N$7R z<==p;u>I9tws?hfft#U>2Nnj$;b!qu|4Bk+AkICGEB?^$;LYXQ;S1&Oklmi`SEU#Q zH1)D~Q4FRDO?mi5OwyAkRmjTq3wEyWHEPN?2U5eB3W!-fE|WaEH)hzZ9Ee!s7Eo($ zeJFiInkq6MG9(j}uqi&DyNS$&2gLan)**9k0#LpIu^2n_{Bq9raql|%c3Ek>p|_=- zl6IeLc(A#f612bEmgyhGEIR*_cd)sal3`z)0^8g{Nxy${g>CLxMV&F1w6%1t#`_M6 zLiZs+VfPhl^+|8p9$WHAQQy{z{A07`$G3I<9SIEk)@hi-&IJ1X$0w32?=W2RcUI25 zBvAdJ@S&{3p8IjSH@k$rG*FG8Oc(G<5=K;+{SlTBUL2>J1crv8?U$jit1(+uh%f)Q~CQ?Vj(Io*z;ntUbQnQ-hxXxHM}2 zzTL1)yA$1lKgpnEw-dvH;T2Z0)9JxN`Ew+TtxxQJM=J6qq^bMNsTw1I{Fk6*AV;Y8Y0#4db(2+aXcb?^7yhvq=0diG7tp{8h-!>i~T zng1X%J^N}+gI*nTptgk%S(|YU5+QlOFpRp`=(;7FV}j~P@0vFUu*!({=ewo4eN(Kk zhC2U#+XmH*w-}#H(@(<~6MELXGie!)G zORVLbyWaeOJ;nweR^C=)8k;Vw48-Z~v~01I?S3f0ITI7c#CZrDO=GzdD$fDe_m~c* z$A@>dp32l6gmJ)~b++g0hXU&O%~KfWXtLyc!}`!Jhzpsz_lq4x7@F|)Z68cozykl$ zLK2EkFNDX-JDAYz#|Qt%IhfGdt=@hOf)+xmL3)P`7zo;rZ2H$I)&v$#`09@&lsc6U zZ(SgZIY}cuw8;fZ52oT<)Go%L(9xg+{d5dIjF;>jc1VV~a3HMr@iwRTt!%9Nzi|?n3g~|NR!o1rQ4jXpBVmnsV z7l9ZZU3C1WKv*6hTBz&zefvU=G?Zq{0ROJK6B`6`CHuGSgv2XOBJ_WeWg5FF`1G^F zplIiDMn3fglF^n}Q*XEcnGPq`(6dU!6rl@1k^{^w8Hi|&k?SI4y6r!{x3!+-)?ot~ z`GY^PU%L}N8ip6jqi13<0v+0Iu1I<$jt7(NvwFbs)R_B^OQtW&nW>!Y~o&S`cX0xtOI!M}AUL`9Q{s0)M==9_ztr5Ic2g&TWYO-wV{?7A}k%* z1qvEx)y~SwqzWHSJh>tbzL-{|MFq>*;>i*N_z)?ay7%F?6ylx0V*!s|-HE zKQdEcRk%9fUn`F+mH{7;AL*!g)}j61`AZZK+`@}*$qs88n?8)_=b`=M57S0I(j(^) z*ZkkcH^ufLcp$Tmi@%-)dt?w7$r>wfWp$PBwUQEO08XalH=FRFSFFHJ80%-N!hhWB z4OK>yk_CVJnIIwXQf0yN(Mk*|Wn^DlW+e%gK9Wa+>w==vMiw4R)5oGx^;&*SV7Or6 zk^aF8Ft9-K)j*V6Yh={(-;=a;0`yJ%q5~J(1?SPA$sGw~C-@!T*TOuE8|+J@x4Dx5 z{@631lekre9%V0pu>FDc0}t{$ZOKCQ(TpJJ${#Sv;-biMVHx@edtOAEB~D{zHBG!@ zF|sfPGKHowm|}5DLVlMyFRw73V5iqt`3F%GyFQHGCkY zYWVgii~yDx8NBppjCM@BGng~eK5|oh37|W}O7m^)p=jzS@Y57A+!)EdF%K>6zhdj z_YHY2jf{Tgr6n^)1l8gp=EI4MPJ8DT0wx9~-J>_LqRPsp-u zF(D83-lYX6sAR)M)dR)ICZ~ngPU<J`4F5h7%WC(8Xs@@dt1n^;PRfgZFK8G*^v>&~jv+W{OXTs?iB@yt(Kp zWE^gS1#z?6Z^02+Ut5R}{-$_8$?jGRSc8 zcs-5jF-kbZu9$5_LSHNA(2hai$wz7VJ{u_klaHshP=heCg<3{> z0ev88Hp?^y^}h6M$h3-sUPynzedq%f`XTDF!INkv7L{H)oQs}`L?xF>WT(s6g7{}8 zeqkA5DbLho1HDBAo_}PO_2o)K6NCPEl;L8`3(%j><5(Y- zKYJi6*95i)Sz6d4Ws0MoNw6c3G{tGp0N2}otQE`=r99G&Rfd_Plmi!F3<8!P_djLM zB-u-hN@Tn5+$)ZF29#Cfq$Lq_gQ}q^gXHjC`s!FKMQ)0Y0_Jblzyjtr_&LzOq{Z>w z-On*{aRbTdwYw=S1SW&p+_BJ2vTf9Y<#A@pg>7;}E*fys5}*as55*Xu0cDWE+VQ~{ zIs{}e+J|L^0jQbkVXP_k2}T@&6$RLOU|K23c;5otv z(3*?)L0&@w`S!ZJk@(;%zP-LYG+Fm6jk$g0NA!_$58Z*g8Vnp(+kN$2l0IBc^f31& z)CEh2(!EK;=wTtK;RG4_XgTpig66?UTOG~ob7LeAxP-5Dl@-YYDd7(>{mM+Umfc;M zV=qANX|?RTnuY4M_;Ah}KiCZy*8r}2s*yGjW4_xVJY0Aw1KnL$Vf?V(sJmWOC>fd+ zba&_hMWM|>ciVYc8l7|L=Z{?>sR<1tht}Fsso@QRWKV^VEN};Y?#p6KG@2x3WaA3S zg5c0lakNX4>QzjS{OSe$j2288nc94;4VK_TbPM6aiv)i`|EB&RxDwz;>^;M!7gs(+ zQH{(m@ID`6`z=%qyw8ug^Ms0FWN0;H|NMZ7BxLYe+!bRcnXEPZ&ap7oggm~W@(fHJ z`kuzQUn|B7md_W&;)J_=!31=B83^5laHnjnT%S;*^)wQukuUD}eb9W;!--B7GZ|aOd8pGE&>$vBB+|yHv+8m5-6?g!a1T;E|g=(#@q9uq*w>N`Xtl4`*enP!t8la))bOs^kc6;ZGn9- z37DtGb&mqH1!A9a9&?C1UMT(kp&O82*Rh6)XpkR3fx^4BhFU)VZ0PsB&sBRY#%J4e z`&&ujSMitC6^XY_>`&P6dEt_PwDcl+Rcq!PM+Ejc=^IfNlP)jZ8}%Cmd{RB86UZ1 zm+Tn^)Jw?uSM8CF-@Lh**}Ap6*|6+;!qhoQw<=Sd!&}8j-&KN4hNigs5z)iGww2KV zhf;Ed(`E@0g4BPntP5)GR}-Rb&$pLW*+K>TMPF~5%(@Pgto@obxA|ks;n92OyPwjK z$T;6A@Xg@ake~8z{Jpgr-G0oVT~aa>PbZQHaQdT0QMkme92i<2_3eEmr`lXjIl}>= zT^&lu%Xw>ZcGI9xPD~<+s&=P+Y3oW5{XU`ryR{7_W8(5=l!EU0;$k< zt|>Gpq=`$FqCA4B*_+o}@6e)VOzp0UlwJK8JiGs-BCZEkUHR>(&1?6mx+r-|=;SgM z0Tqw93+kHbfapm9)!hr-0U^Y;X=$5Cm^1;HpkFAe#=b$uTmmE`c*lQe=CKB!wEZ`* z^P(Be!K8+Rdd1EyLV6S*?Sr=cU-eFE>z!3`{MGLcS>3=WaEj*-HaRgo@;$gYtMTTx z0#@{HC;g@|x+em5ba~{xJ3KW~at%Si(JK!|+n@oVrQa0-HF)l}9_j5xuLU}}%uacA zY_}hoO%t4T2-kBOrPgGhgB6K&Rg@Cf2TY%4m0x&=fk}x~*`19#JrY=>J4l&&CJnpY z_1bC@163FGJdEgRBDxS9HOGoZMNlsWlz1p zSt%0&*W{Yq^csX{LX5o4r}s5s_1v(iLAcg*diFav`niPtd!CCbrF~u$?s66cwZTdv zzR88|42pzFT^z?@Odi50dN{cgVOBfis#C;o$R?No*=13;m;cuaJ>f<*ckg>jO{&T7 z8G^H}F1@o;@nwo{lQFqpjhA2m`uUJcJ;@lu7UnnW*2C%yzlY=Qt~}1C{FC~@obFPJ z_`2<5dV$^yhlYOilbwP=!%sYpo0Xqj1#U9%>-Ck&RV8FcbRR8&>hT@&taWvysyTuO z0Yc8M_0_l5!FbkPzN>*x*^{Zecn=;b_D;e#q8%=446k~h$dXcr`MVJUasfpg1cL1v zZsg;BnM=2nf@$CY^~w0Gi3qRzR}YpK%$={8_CIRaC$v0W5=dmrBuzp z=$5Bt6TGZKy3*m~eg2A7w7M-GDKNmIY$+rwQA057^ zCvu5U$j@yENNdylImI*q1Q&2p!pkmcnTUB2_s46l zJo`j@)&XNH?!lkGeKmKr{j$XEcb_9BU~Zo_FXlnPy!qDmiMAqNUzbwbMGxGga+^tN zeVrqJFS?Z4y%9U4D{VQGboPlxttxW4++*!3u3~Uf8&X|{O%nlI4`*3@c-QHI5=<#% zRM>5O|1<1+*K%-Ak+}A|HP5=xq4#vW)hHRVi_IgK?krSZXUhP_!KRg%$RGhG(i=_= z>5j=yq?ADEc0%<6ucS(+>W#Z;77fnBCyCw1GgFT;>xrBweyg^)?!bor*GBL1jrxO- zC_S^>w+9{~#er;^2OW(~nfd7_P`IVPfrXt>yP=!d9O3sAq3(baW}P6K`52o1!|-{u znqD4DZbydG33o_W4w@oh49Rh(GP=59X(|ef6sqEOQc2`=hoXtiRa-g}x%xPX7yDF# zD}+J~rdiY#sfI#p;6mA|I<)T0VliC~=ftgof@s?U+HjYKAto!IgN|M6dsmK|%y?jg=jw*%$H$bBE~WFTI)n+496^!^QDk6LxxBQ% z*sb9*onD?*-}}Nmb`rrS!P41;-g(<&hmx`plMb;-?Y65M9AnjIe2P>O?LVE~2~H+k z^dZg?bOgoov6p)6m`X_!Jti2g=#}P;bVu7 zM_Lhb;pK37ITqhg447iAon!Tzz#i4rQ}*FnJ8>?xwt~d6c-(*hRDpDquO5nXicZtZ zd*YismY81aI@K9-0147eO#D5(ByyhE$~O{|O8l%TnL`b=5xe%R2$F1J(tb`lO;epl22X#PYQ5E~ESZgu zZbz&hb8+Zg$^U2Ae&R+UH@hZXPY>)x2QFH91U%ifH$32S7NBc`J965zWVWrJ2RyZA zdZJ^!%(W3+pqKa8`*=*@owr}`-iZItp4GQWyEG*5*+cDP4h=g+WR2l4(arAVtN(I* zsQ*#fr9flLDF((xHjQS-IbwB(J+2 zU4SF*R9iSU_uqv>z#IZ&vv?lILr=}ef}}3o_~b71_Q_u?t93x!*s}YLPM&|W)^290 z2;1&w)^5ggiOgD(uFqj}_9vOsaFoA0Vsm)ROmR}#_P@DR=^4Yy#aD^|Rn85Hq!ehF zEbA7VC2nlzkTfBeeXAGv6Zl^t6ezj3<+Q6IOCuiob6Otd$3HIjkxFm{AKNy|5@Hv_Q7Ny zkOagn?q$4(X8AE&P*GX%xluk1m4jX9AEj>@{&^#yruikGP{gcH*Q@?pm4?= z{HD~JlzKs@d)~^Lb{D7b4XBNuvJZ$%e>sAy6$}yOAj*bb=Eh{?pBe@)PtqCYW&UnI zt)kx{4@{{^te0RTB~cB&%0Fw|E*MhUN?2AdHEvvSngHxPbDlO**2ZkNoCSMG({0a; zhl{A_mQG2va87;?yNq^G%qA@9WM18v@E0j&8Y&)??zWpT)A(AWI<>@pPO8kSW*2vC ze?v7c__jc5aI|c~A|UGY*IzxmKi=0<`Z{Xf!B+-k6FbPV#1Q$s&z}7Od(Hfe9$v-I z*EjGBhN=MjyU$#9G}S}zx4)j~lGt%C)%=qwBfId z-n!>y7q^?FoSMDqg2i_BQHUQchk#n1NRsV`l0`tyFRJ{K(u!bztXNq=Ci30DXvruN zOjQ@Q3s>{dq4N#5go~FG(QUUJ+xrn4kgvDe}rd+v~5_9=mLj zF92Z9t-y5^St1=lwFT-8g^`yg#1GngRxKjrOG;eBTvc<7vwMx$0i;Sx-B84(v|c5? z)Ui^I?=RE0>_-`h;I5O0S95t0d$8@VOvZGZV{7+s zTxxb)Cmb5<^~WfaeUfAQWp1$z%DN$Yzy5vFlg}1*V#mR1uK#NDwnb+wJvh1q_4bRu zjlyi6?&UKA5M{wNhp(eR;O43jnBPqL8udH>IG zOWPj(jf}9khVXTr646eVBj+R_c<|mNFZbB$mFkVg>eq~(sM^h~{MN#5i5UBi$Su}aR;@spgx5xMuT(d1cO zMnOh*wb2}OIW-ferolfsc{KP>PBu~)8K-KR5lS-Huj{8Y+orWYPE9-=R1N7%IvA_? zv61C)$7$lasLd*NCmMw(Ib8#xIdGY2;Qxac^zO7fxu)4qLzNH`)2ydq@~$H^4!W%O zNK|(73KwZ*?^FNJH)CUX7jgDWC;GB7p|{iBO)>kPU?;u_sbB|>3I6|yEEKtMXH%`W zH&js$MI0^R*OOL+U+%xe`FK6GlfQ067Gyt{9O?lEqjo7bv2oLk6E}i6QkjlHH;S*3 z@-@{|E-?y=I`tI)w-D9S7h1n>@qesBD8@hFCCvd5CQ7tm!;n9G%DpArG{*^9)(7Z zq`w8&$Lef@1M>p zI%!GUk9|JutiY&!jBb%Rh-{(#EaiBR-iTMHtjPYaO!;bY+RV3#%t?b^Uu?{1w70YD zTOO4^E(W~6e~U&>5{|K0n-yp|8rr9cm1hW6X9gk$$hr)~8#4U($mC21+G{&sjjn#tUe+>YT!=IlyZZu!R&A1K9 zo;svym79G|6RdUlG^suwkYv`TzYUp31{cYka01^#GAC)qf5ey#=!wufu#=USpQYFD z?d{oC;ColsEz%Ssz?4yRVDjQlSv08u+_p3=XSQptiXVpob?kxvSI*($-|aO+a3 z`ftVQlPSL%P0ZFcw~g#4gvxPC3K`$bJ{SSN9CXZbG|E8sQT*lTPYmzBg(MsO8)bP0 zm>H-$650=PmU|a^2Y#bYnw*&F(m&vt%mkYaz9<`eTgzO|QD|uJ4L`xiYm{8f%=-Cu z+}n5e%l$t}!8k@+X&o8plrqi!7VgR3=B3uLXqCxtXa<#Q7Mw_aQ;wdjAGu^OD|+gv z_g0&%oUY)6?c2YINtux!lxFr%MFijS69VP;@+T<2$%h%Sj+o&!TA3LC*k%DNYbqTN zytP{@_@}%N8;2~X%D2CGS_0)Fect@_6+4q@vyCdI#^&2w_LfxTju?q9DZME!i5Ofs z*o)l85l0Mrp=$XYGr~AYi_XAtMdZ0rjgv3WR)hVhCZ8yo?>|-Yp~104Y+GLdrE;r} zBKysJo51|^;Y6ByV}Kil>xVZGB{DzfkCEuvZ z{+>6xsjw5VdAoGVagz0T66GD6(J*k=lsNFKJU2vboB6%*aC^)NrFbP!^4nmzie`)X za3vt1@%I__{c7o(6M)O@z@jG^Er%RDq+oJ>{^ztD diff --git a/book/The-Incompleteness-of-Observation-FULL.tex b/book/The-Incompleteness-of-Observation-FULL.tex index da679eda8..2c843f4f7 100644 --- a/book/The-Incompleteness-of-Observation-FULL.tex +++ b/book/The-Incompleteness-of-Observation-FULL.tex @@ -5081,19 +5081,19 @@ \subsection{3.8 The philosophical difference is registered at all; everything beyond bare existence is bought. What is distinctive, then, is not exemption but self-knowledge. The countermodel annotations are the framework proving that its own debt -is irreducible; the gauge boundary is the framework proving where -deduction runs out --- receipts for a tax everyone pays, mostly without -itemizing. - -The framework's position on turtles is therefore exactly this: one -turtle that cannot coherently be doubted, a countable and audited -handful it declares it is standing on, theorems for everything in -between, and a proof that below a certain depth the word \emph{below} -stops referring. That is a better epistemic position than any horn of -the classical trilemma --- not because the framework pays admission -while others slip in free, but because it refuses the illusion that -anyone ever has. The price is the universal price of standing anywhere; -the ledger is the itemized receipt. +is irreducible; the proposed gauge boundary marks a classification +problem whose complete proof remains open --- receipts for a tax +everyone pays, mostly without itemizing. + +The framework's position in this comparison consists of declared +premises, mathematical results with their stated hypotheses, and open +physical reconstruction obligations. An independently prepared, +normalized, decoupled ancillary enlargement is redundant for the fixed +channel interface under {[}Substratum Theorem 24(iii){]}; this does not +prove that every deeper implementation is gauge or terminate the regress +of explanation. A complete observable-to-substratum equivalence remains +open. The posit ledger records assumptions and limits; it does not +supply the missing classification proof. What distinguishes the framework is the approach: starting from a finite deterministic substratum and deriving the fixed-basis quantum @@ -30168,4 +30168,4 @@ \subsection{Historical and philosophical {[}Origin of the molecular clock hypothesis.{]} \end{document} -% source-sha256: a39ace980afe21a51e65be3d1b07206092fd60e36d09be47c8acd24d3e04e043 +% source-sha256: 1278511c1f280ba0948756694efa6dc0410db670469964227df36897250c06b0 diff --git a/book/ch03-structural-realism.md b/book/ch03-structural-realism.md index c68d8ff72..9780cdb0f 100644 --- a/book/ch03-structural-realism.md +++ b/book/ch03-structural-realism.md @@ -215,9 +215,9 @@ The distinction is between unresolved facts within a specified model and redunda The foundational proposal begins from differentiated observations and attempts to reconstruct physical structure, rather than treating a pre-given microscopic substance as the only point of departure. This is a useful change of explanatory direction, but it cannot eliminate the need to justify a time ordering, the physical dynamics, the measurement/readout map, and the gravitational coupling. The original four-generator completeness step does not close those obligations; proving or refuting the correct observable equivalence remains a central research target. -The honest accounting — the same honesty the posit ledger exists to enforce — is that the *justificatory* regress is cut rather than dissolved. One can still ask why recurrence, why finiteness, and there the answer is not a theorem but a ledger entry: the recurrence axiom is owned as a posit with an explicit non-derivability countermodel, finiteness carries its stated two-part status, and the one load-bearing external import is named ([Main §3.1, §4.5]). But the deeper point about this price is that it is not a fee the framework pays and others avoid. The Agrippan regress collects from every framework that asserts anything: standard quantum mechanics pays with the measurement postulate taken as an axiom, ΛCDM with a free constant and a posited substance, string theory with a landscape — the difference is that the price is usually carried off-book, distributed through interpretive conventions where no audit can find it. Nor is it, at bottom, a fee for theorizing. It is the price of existence in this framework's own precise sense: to exist as an observer is to be embedded — a turtle in the stack, describing from a position — and the posit ledger is the propositional shadow of that position. C1–C4 state the cost in the dynamical register: finite read-write access is what being an embedded observer amounts to. The ledger states the same cost in the logical register: unproven premises are what describing from inside amounts to. Incompleteness of observation and incompleteness of justification are one phenomenon in two currencies — the book's title concept reaching its own foundations. Even the single free item confirms the pattern: the first axiom costs nothing precisely because it is the bare fact that difference is registered at all; everything beyond bare existence is bought. What is distinctive, then, is not exemption but self-knowledge. The countermodel annotations are the framework proving that its own debt is irreducible; the gauge boundary is the framework proving where deduction runs out — receipts for a tax everyone pays, mostly without itemizing. +The honest accounting — the same honesty the posit ledger exists to enforce — is that the *justificatory* regress is cut rather than dissolved. One can still ask why recurrence, why finiteness, and there the answer is not a theorem but a ledger entry: the recurrence axiom is owned as a posit with an explicit non-derivability countermodel, finiteness carries its stated two-part status, and the one load-bearing external import is named ([Main §3.1, §4.5]). But the deeper point about this price is that it is not a fee the framework pays and others avoid. The Agrippan regress collects from every framework that asserts anything: standard quantum mechanics pays with the measurement postulate taken as an axiom, ΛCDM with a free constant and a posited substance, string theory with a landscape — the difference is that the price is usually carried off-book, distributed through interpretive conventions where no audit can find it. Nor is it, at bottom, a fee for theorizing. It is the price of existence in this framework's own precise sense: to exist as an observer is to be embedded — a turtle in the stack, describing from a position — and the posit ledger is the propositional shadow of that position. C1–C4 state the cost in the dynamical register: finite read-write access is what being an embedded observer amounts to. The ledger states the same cost in the logical register: unproven premises are what describing from inside amounts to. Incompleteness of observation and incompleteness of justification are one phenomenon in two currencies — the book's title concept reaching its own foundations. Even the single free item confirms the pattern: the first axiom costs nothing precisely because it is the bare fact that difference is registered at all; everything beyond bare existence is bought. What is distinctive, then, is not exemption but self-knowledge. The countermodel annotations are the framework proving that its own debt is irreducible; the proposed gauge boundary marks a classification problem whose complete proof remains open — receipts for a tax everyone pays, mostly without itemizing. -The framework's position on turtles is therefore exactly this: one turtle that cannot coherently be doubted, a countable and audited handful it declares it is standing on, theorems for everything in between, and a proof that below a certain depth the word *below* stops referring. That is a better epistemic position than any horn of the classical trilemma — not because the framework pays admission while others slip in free, but because it refuses the illusion that anyone ever has. The price is the universal price of standing anywhere; the ledger is the itemized receipt. +The framework's position in this comparison consists of declared premises, mathematical results with their stated hypotheses, and open physical reconstruction obligations. An independently prepared, normalized, decoupled ancillary enlargement is redundant for the fixed channel interface under [Substratum Theorem 24(iii)]; this does not prove that every deeper implementation is gauge or terminate the regress of explanation. A complete observable-to-substratum equivalence remains open. The posit ledger records assumptions and limits; it does not supply the missing classification proof. What distinguishes the framework is the approach: starting from a finite deterministic substratum and deriving the fixed-basis quantum representation as an exact theorem and stating the coherent local operational lift separately — rather than adding observer degrees of freedom to an existing quantum-gravitational formalism. The contemporary programs work within quantum gravity and identify the observer's role; the framework works underneath quantum mechanics and identifies how quantum mechanics arises from observer-embeddedness. Both projects are pursuing structural realism about observation; they are doing so from different directions. diff --git a/verification/audits/manuscript/r32-source-regress-reconciliation-20261028/README.md b/verification/audits/manuscript/r32-source-regress-reconciliation-20261028/README.md new file mode 100644 index 000000000..b6b7f0ce6 --- /dev/null +++ b/verification/audits/manuscript/r32-source-regress-reconciliation-20261028/README.md @@ -0,0 +1,34 @@ +# R32 source reconciliation: deeper-substratum regress + +Base: `20ca05fe9e7e460de29e08f7a21029042fa45b12` (held PR #982). +This is a separate source-correction checkpoint for #946 and Introduction #918; +it does not move that reviewed head or authorize a merge. + +## Concrete defect + +Book Chapter 3's concluding turtles paragraph claimed a proof that below a +certain depth the word "below" stops referring, despite its preceding paragraphs +retaining an open complete observable/gauge classification. The preceding +paragraph also called the gauge boundary a proof of where deduction ends. +Neither assertion follows from the restricted ancillary invariance. + +## Correction and scope + +The two assertions now state the declared premises, conditional mathematical +results and open physical reconstruction obligations. The positive redundancy +claim is confined to Theorem 24(iii)'s independently prepared normalized decoupled +ancilla at the fixed channel interface. No global gauge, regress-termination or +new physical theorem is asserted. Chapter 3 and FULL are mirrored exactly. + +The old "below a certain depth" claim has zero remaining occurrences in maintained +paper/book Markdown and regenerated book TeX. Legitimate discussions of declared +premises and the open regress question are preserved. No canonical paper theorem, +Lean source, ledger classification or historical review record is changed. + +## Publication evidence + +`sh ./build.sh --book` succeeded: 547 pages, no missing glyphs. The source stamp, +MD/TeX/PDF SHA256 values and ordered mirroring of all 28 book content files are +recorded in `publication-check.json`. Corrected pages 99–100 were rendered and +visually inspected. Full normal PR CI and independent acceptance remain separate +gates; no native F/E action or merge is authorized. diff --git a/verification/audits/manuscript/r32-source-regress-reconciliation-20261028/publication-check.json b/verification/audits/manuscript/r32-source-regress-reconciliation-20261028/publication-check.json new file mode 100644 index 000000000..a36f31836 --- /dev/null +++ b/verification/audits/manuscript/r32-source-regress-reconciliation-20261028/publication-check.json @@ -0,0 +1,16 @@ +{ + "base": "20ca05fe9e7e460de29e08f7a21029042fa45b12", + "pages": 547, + "rendered_pages": [ + 99, + 100 + ], + "source_sha256": "1278511c1f280ba0948756694efa6dc0410db670469964227df36897250c06b0", + "tex_sha256": "28cce66818fc3d515710a5c2d5339fabe622c81df8938cc43c8c90365318ed33", + "pdf_sha256": "af2f09af395691346aead1d05eac208a6caf18561b868604eb75023d7e9e6ab0", + "tex_source_stamp_matches": true, + "chapter_files_mirrored": 28, + "missing_mirror_lines": 0, + "median_characters_per_page": 2976, + "old_false_regress_phrase_absent": true +}