From a64673378a9c623eb7f96335821b4b079b0477f0 Mon Sep 17 00:00:00 2001 From: alex Date: Tue, 8 Sep 2026 19:26:20 -0400 Subject: [PATCH] CB: third pinned run -- three processes, nine natural seeds, one autosave C5b confirms C5a: pinning the AI client seeds to an earlier run's makes the creation turn reproducible. Three processes, each drawing its own three seeds, all pinned to C3's, all producing d59bb9f2... with identical gates (including player 512's target 282, the value no other run has produced) and identical element records. The only word that differs anywhere across the three is word 3 of list 23's unnamed Population body. Three runs with byte-identical autosaves cannot differ in a word the applier reads, so that word is noise -- localised using the pinned pair as an instrument, which is what a control on a k>1 workload is for. Two agreeing is a 1/k coincidence; three is 1/k^2. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01ARBgSooAfokKUy6wKUKEyZ --- findings/subsystems/turncommands-capture.md | 66 +- .../saves/cb-c5b-turn1to2-pinned-autosave.sav | Bin 0 -> 66746 bytes .../shim/aiorders/cb-c5b-turn1to2-pinned.txt | 46 + .../turncommands/cb-turn1to2-pinned-run2.json | 1018 +++++++++++++++++ .../turncommands/cb-turn1to2-pinned-run2.tcb | 38 + 5 files changed, 1149 insertions(+), 19 deletions(-) create mode 100644 verify/results/saves/cb-c5b-turn1to2-pinned-autosave.sav create mode 100644 verify/results/shim/aiorders/cb-c5b-turn1to2-pinned.txt create mode 100644 verify/results/turncommands/cb-turn1to2-pinned-run2.json create mode 100644 verify/results/turncommands/cb-turn1to2-pinned-run2.tcb diff --git a/findings/subsystems/turncommands-capture.md b/findings/subsystems/turncommands-capture.md index 2d8f60a..6dba3c1 100644 --- a/findings/subsystems/turncommands-capture.md +++ b/findings/subsystems/turncommands-capture.md @@ -197,29 +197,35 @@ named set as an id, and nobody has mapped 282 to a name. That is the honest stat The autosave is `d59bb9f2fd0eb535…` (66,746 B) — which is exactly the file lane L5's own `hooks=off` run produced. Two lanes, two processes, same outcome, by chance. -### 4.2 Runs C5a, pinned — the creation turn IS reproducible +### 4.2 Runs C5a and C5b, pinned — the creation turn IS reproducible -C5a is C3 re-run with `aiseed=pin` set to the three seeds **C3 itself observed**. Its own natural -seeds were entirely different (`0x227235b9` / `0x762d125e` / `0x9d77d4e6`) and were overwritten -before the client ctor saw them. +C5a and C5b are C3 re-run with `aiseed=pin` set to the three seeds **C3 itself observed**. Each is a +separate process; each drew its own three natural seeds, all different from C3's and from each +other's, and each had them overwritten before the client constructor saw them. -| | C3 (unpinned) | C5a (pinned to C3's seeds) | -|---|---|---| -| natural seeds drawn | `e70a4703` / `0c63ca36` / `372be4df` | `227235b9` / `762d125e` / `9d77d4e6` | -| seeds **used** | same | **C3's** | -| research targets 32 / 496 / 512 | 144 / 90 / **282** | 144 / 90 / **282** | -| every other gate and element record | — | **identical** | -| `(Autosave).sav` | `d59bb9f2fd0eb535…` | **`d59bb9f2fd0eb535…`** | +| | C3 (unpinned) | C5a (pinned) | C5b (pinned) | +|---|---|---|---| +| natural seeds drawn | `e70a4703` / `0c63ca36` / `372be4df` | `227235b9` / `762d125e` / `9d77d4e6` | `be649c5c` / `2200dbd2` / `d418f3f8` | +| seeds **used** | its own | **C3's** | **C3's** | +| research targets 32 / 496 / 512 | 144 / 90 / **282** | 144 / 90 / **282** | 144 / 90 / **282** | +| all six gates, all four blocks | — | **identical** | **identical** | +| element records (lists 1, 3, 5, 23) | — | **identical** | **identical** | +| `(Autosave).sav` | `d59bb9f2fd0eb535…` | **`d59bb9f2fd0eb535…`** | **`d59bb9f2fd0eb535…`** | -**The workload that three lanes could not reproduce is reproducible once the seeds are pinned.** -Lane L1's mechanism is confirmed from the other end: the seed is *the* per-process input, and -`game/ai` is a deterministic function of (save, per-client seed). Rung B's input is therefore a -**closed** record — save + seeds + block — and not a log of something that happened once. +**The workload that three lanes could not reproduce is reproducible once the seeds are pinned — +three processes, nine distinct natural seeds, one autosave.** Lane L1's mechanism is confirmed from +the other end: the seed is *the* per-process input, and `game/ai` is a deterministic function of +(save, per-client seed). Rung B's input is a **closed** record — save + seeds + block — not a log of +something that happened once. -The single difference in the whole decoded stream is **word 3 of list 23's unnamed `Population` -body** (`876301736` vs `245`). By the argument of §2 — two runs, byte-identical autosaves — that -word is not a word the applier reads either, which is one more word localised as noise, using the -pinned pair as the instrument. That is what a control on a `k > 1` workload is *for*. +Two runs agreeing on a `k > 1` workload is a `1/k` coincidence; three is `1/k²`, about 3 % at lane +L4's k = 6. That is the reason the third run was worth the eight minutes. + +The single difference anywhere in the decoded stream is **word 3 of list 23's unnamed `Population` +body** — `876301736`, `245`, `61179324` across the three. By the argument of §2 (runs whose +autosaves are byte-identical cannot differ in a word the applier reads) that word is noise, now on +three data points rather than two. Localising it is exactly what a control on a `k > 1` workload +is *for*, and it did not exist before this lane could pin. --- @@ -308,3 +314,25 @@ Rules for consuming it, in order of how much they cost to get wrong: it is not enough to show a word is *stable*, and the stable prefixes above are therefore upper bounds on noise, not proofs of a record. They agree with the writer's own instruction stream, which is the second, independent leg. + + +--- + +## 8. The guest, left as found (and one thing that was not preserved) + +VM146 stopped, `binkw32.dll` restored to lane L5's build (md5 `F8DFC4AE…`, verified equal to +`C:\SOTS\shimdist-l5\binkw32.dll`), `shim.cfg` back to `hooks=off`, `SavedGames` at eight files +so the Load-dialog row geometry is unchanged. + +**Not preserved:** the two autosaves that were in `SavedGames` when this lane took the guest. +`cbdeploy.ps1` deletes them before every run — deliberately, so that a run which writes none is +distinguishable from one that rewrites them, and so the dialog lists a constant six files. The +autosaves now present are run **C5b's** outputs (`a3f9dc4b…` / `d59bb9f2…`), both of which are +recorded byte-for-byte in `verify/results/saves/`. They are scratch files every lane's deploy script +deletes anyway, and nothing in the campaign depends on them, but the deletion was not announced in +advance and is recorded here rather than left for someone to notice. + +Left in place for the next lane: `C:\SOTS\shimdist-cb` (build `cb-final-20260908T2320Z` plus the +four `shim.cfg.cb*` variants) and `C:\SOTS\cb\` (`cbdeploy.ps1`, `cbstep.ps1`, `cbgrab.ps1`, +`cbrun.ps1`, and the five collected run directories). The WSL-side drivers are in +`verify/harness/cb/`. diff --git a/verify/results/saves/cb-c5b-turn1to2-pinned-autosave.sav b/verify/results/saves/cb-c5b-turn1to2-pinned-autosave.sav new file mode 100644 index 0000000000000000000000000000000000000000..b952e1f3a7744f261da5288e31a650571a8e1aac GIT binary patch literal 66746 zcmbT-2T)VN+c0_&1QY}j5s|70h%^D|B?tm4ND-w&K%|KD7D^x@(xi(tX#!G}UPABH z0HJpXkkARCCnO}f_tYPV*G-j}s&^YdF%>n)&P_}f*bdsQuF?$U33{#o?t=fnN0 z*K#8`zFy1bxc2)YH`itf&)1*J!Ph*l(iXM1{chaJFKPPyC{6nz>Dswfi9-2Oz)6{W zBca7F;rRm#!P`=vj}CV&;7gM$=GYJFN-O8khH;H z@v+x34cCYI*Qzi0K+D$dC&<-jj!oB2&Y8r8*H0>>J*=}{(xXdwd@|>{C2=NV5vv#Y zu0V^jc6Bk~Qe0GCR325Gkfxj0TD*B}3;ChahG8T^gzK?b zXWCeFEqbZN@Gr-~!f!VJjZcQx5(5H$F*LwgVS#kO$j|HXnuE>Q1 zU&NCJs6KYxdLcPUjE#ppX!Yni+RJV^MrK%%8ETUj{QMV37aH4$-S9AA+ zGn<;w%u82=@Y(ya8`e(?E`Ht_ig&se+HCjU8#XR{T zeP}R+b|`chky`w*E^9)&kbNbaRV;o9xoGA@Xpj;uePcT9Sd?%t#aJ6R zUZ^54ocir2rRfyYUrV3Wg~E9oR!sf3_VYCxr4iC@LLa1WgY^@vGE}l_-ad=%D*pA) zz{4Y~>w`cYIfpLLb3*fYKyGR72UqXgBZ})|Pk;KM3*#1N9{teNw7lXML<(%ue9`2& zsRXM1y3U8?r0^<(kofK#eL3m>YB+lCXDvE%KH6jPcpa+@eFbyc%udOu{(Rivd&qTX zLlW_~HhSG;P3%(U8J5I8r)%Ee4Ra`~cVd{?-q$f&cr`aL?P5Ip=!XD5;A&N7HJD}u z4QOjoyQqU(q`ou1DCW#4U9t$UC#|GlTA|GJ^+cFLS!qDFejun6B67Y*^qj z5lyfW$@BAEO;kBbQ44$w5=i*otXXfT;bE|2n%XnbTz$A5Ir9f|JhYKFBU3} zcv4kkTV>HW^y=|&q6>t zhP9aF(TtW;w~>_%@(cqSU9(|U0Ka-9^SF)}+ekO3%UNqt^Y%%2EJ=Rz2-OB*m}4zd zDzQa^*QRUhTlafXtV9FJ0Vy@Y{0prFUQoO;oh4V0zy~rK&bl!A=!cAV5M!?iX;NyW zb?+mMv(sn(V>&sy4z%<($qCB&SLizQ`6bq3qQ+^V13Y5S4{bT7<69`_%edo2JzBR29yfHdW#v6gyw}I%g>4h28Nkl{y_dkO`g&u}5gl8BPiF`uz+ncsnd{sDd3k zyPwQDSExW3`DLejX}H@8|Gj5~tAA>bJuw1UQ|JS4SY0%v$xrNg)0F54nAX^8$^2Y6 zm-&WpqoifbnfJ$HV-mLv#}9%*ed4WM#}bQzIrgGc^(UDPwWn_hlJ{@vMiu)A zOe+6Z%%-Q+pO&lyS=GYRHV1FIPkeM#UrhI8GTQw0E#p=0PLXr^+33C>v-K-JyknaZ zu^X|@f!$N^H(JLwSg@1#tnJAJ6~Y!k>1a$Vs&v@zR5qXlBrPNnGMmQ}fM+v)gz_d*Agr}% zD++K9OGwGC+HMhokUQAPz6AF4OzU$0v!Z@)-Hhh-)qoH&5mGxB(Z1Bo&8_1@tOboKX{`u*{g&_Mu2 zLpBFL0%yDth1DBNe&+^ayDjhA2wC`%^S9V6!=m$w3RpRm-M_+DdqWVL=|K)DTqG@t zgkKXQ6G6-y+*SBQMqy1xZ@*T+WoBzFMoVWAOF2rq&ynUP75sCp&3`T1Lz5c{aU=hpcu0Km|4sEff2UvDFWm zIo(Vs$%`c-EVyP@$9l5&?pQj;Ws$~i_l`jjekZ>H{yuH1J}JWIFjr_c7PirPvMUA8 z3?Mgv$V%Q5qGo~4Z9~|WwL`?B`;_f;tt-UajF8vYR>tYExC2)@4=!x0ttBQAu(HcE z)x*ZqU8?T|R`B3t2hk_iR4 zPaCyDIzA9u3G>+tX9?K_tunqlcm;ARtkEEVQQ-(=bS~F=RBG>os9h{j=bqhN;x&lN zI>=NalUiXe#3?Kw#bUp6F_FxA=KTJ6x4Z`7PRySMw0y8C=ky7DldkB|v21Hr=t}Mp zoNqnfw^a!ABJT*q`E9nV<;EpJY6#Z@lSF`M{8(2TZl%w)9@{7q*9hr4NuYzu9klO| zPhvb>Et`i+ z6efd@?16GaG}3`~DJM+;9}H~6t8EU{)d3R5p$q`B^&c1G zeB_*(f}?!q+)jVbE$&PcD>kBZ!RvJP01}Lj%RB%<5S>3V0yb<5lv@~XD!zg^R5?$| zh(Zo4=An!A*qPl{nV`dQ_)Feth7^XkLx)&K7RmSS|--XE^DZU5`s+4T5TURFKDE*)t=Yi~CU!mfNjWE(lGZrLCkq zO@C57ae8+a5_nRyQ-%hd9_MKRm%Lug2bU{>u*GrO#Qn5Fgz^6HPA;p?-MMY-W;s{3 z;!mZ<65mdYDBz^s9thqgG>M(H1GxN8aaapd2PNw~_IwAZyFlz(5Dyq4467Yv#)41O zIE^r8Xd9Pw;zaQJYPQI1nMa?!4W*HBTu_O}P9N!jGyp(@w!USbxHKOAYI+HUa^uiK z%rvg4ji>Dioh*z)CInm=5)jv1fg~E)>Hr~A7t7*EFI}9n-AT49;dFIJ8DFgnS@RTI z@?A>{U#wfP`JD~Mn}*t6^|!swRx@< zBHDI3U~tIK3Uo&t!fzDi&?@OO&$NRjoA>Q9W*iJ5N@rYln8_7{JWL>u|7b#A5D`+P zt0ePHc5}RK3)b>6E^iNK=Di~XIN0G-CM8yq&2THFr!$B42<=`j1eS50OS%vnJi`uA z+FKrqR*EBZ6q5ZnCQi~?vE?y;6p3`)#ayIkIWokvym>7C4d$#3wwwHsTN#+xKW=7@jP;$w(x5&R}O$}V01CwsDLuU%+pD_fS!o<<3f&TXW zfGLsl5$hgZ&Vz79(prSB6Y0dP41!DTc&o)~4npO@U47QMY>0^Y#RXzmLu5WTzKu2L z6xE>_=y4=OEvA5bj2x?O3*0`68rF?<0o0t?Tecmn9g%L54_R0tD@tNSVj`wugda0<-%nL21K=wxJfGYaA>NZ8c1f$kmR4d7r>3YoNq8OArCyz3jY$JB4w zaLeL8moFTwP3w^Mw%X*q3)#a+$JJ^snV|JxXbq820WVj^)6qdDK$1+VG=(0S)m znmtmxU=!zTB^ut#x{J4xkRXug$hf=-K?S1w41QwQFTD)dxKAEdJQ{#odX8;I&KmTJ zweA5E%!x#Vb&!rUuOmT5kTq)*0%L%B>;GkqNnaqMyRmm6aZ}7Sb;;< zf7{F}on)2*Y8tCBDbx(RcxX_ks8H(>X^@nnh{ZOQIlzL7?5A2d%X^23y$ZX(LFem7 zMsY4p&_4qESds+PQ^}#oJcJxv1PGAhhGCWvV*qi0=T3a=A{7*o&#ZsW?u`(9&7l52kL|y zo-IL$5g<4B*eaaAkE;dT@jI_pgJjj8K=Cst*?#LaiODTbIX-ssMnhPgjZS8s-as7zV zvho1PxaWD^#prXMgY`Tp(}nCDZ}_yXjs%KT!`YhN7lvf{A-I6&UHODXOWaz+R0*S| zW{nv6&|=a6*m7|hjaO!Zl*zI1vgW;-F3E-!fD?8jT+?HAk-K48ZG-;&k`5=4mGMCv(znhZ_o`GyVr&HeMniKm^<^U_3?HoExor(J1nmb zD?QlH`8fWry!0!k(W&eyjcf!f_;%t$Q&{gJf@$xo?Xo9h4Or(^iYytJrc)4WG076c zIi0xaNn-eOzv|@-(gD6oZgEkB+0nue**ZOE=vU;xVf!57YQC`<_Y^S~Z%wIa`w#V; zToP)&44J|1J>lI!Oxz{xaU)`P+j){%yg#C>-+4#n*VIK8Nl|Rwd`P^W1xim)nX!=4s!3A?yD~ zqcWjTmJoCR{y!U19>q;L5xkvzK3fA9FS|P9n*qrcC-;fr4M&XQJj-~6(-1%0n2AxN z;ql~3%nAdMeC@75TnTAT)#6oyQ$` zy=qkT1u!dlh{Lj?1<;`<>MwD~0|@Iw{~?$vyTmz4x6jN*I@88!)L9MP-@o#^m+)-1 zVD3suOP#dx{C_s2Uw6$;UCuyDMlySinFiKL;+<@cXCaHiWy)e^3Iyjs=@Q-hSP9aP zHD>_Hb(E04*N2W)h6cu$!wV0cCG+5Q{g60iK>+na3{Lz^GlyGkepI0*&>s=EkE`R3 zBKlIF4B!tsp(nF1178OzMxB%DxXBwk#EaJ8V*+b^)dLuEa8R>=i49R;Gf*c{HVJpI z`aiY9|J81*Jy{ag;R{+gt5Y^B*8Ll|@eP4EMUufSZCgRjht7d@ud}~%!+G0eR{P9$ zm0Sysm6?ME6%Y&77h7b&GmPtJWfQ^FQat8X}uKgBzV2X%n z6AP=1%6AaGxiV_J+;MVeGCEm|3J;nsurt;sM^pf4V)qy9>61OAQca!=Dl+!6u|PPK z8@H+wqVAqu0;@`f9Tk8VwsJoxRIDgY;OoL;_-qyQlpEO=cgL!fm3WPVv)E?8j4tn2 z#)q-_6ot*wFdF9S#z)b|_5uZg8kw9%s4YYF2_AL+e} zm1OBc>kiN?>e@^3#@JC|Nam_yTnS@ed-EFJEm<9JFJUIDC}u1r4JB~0RN@_>?9xJp z4>Alx0x1=*f@eatSW6_7Zr;6|PGe4LwG%gd^p|kj%kdb95N*04l+0_6;IoNgm(GKX zwV73q8))26Hsq+ybJC{mW~Q13KKd@vKSCsG^?Xl;zd$2$xP>a+qi8k`2iWXYlA8~{ z47^zlXh{nem7MN5q4_Lik+uDZdXMurO9;-t>buxr`671yX_06!cb3Th<_oW@^2jaY z`vMi>u^E@e<5-ct(yLJxk>b89|wR^!$Mu6P+--|%gLdqnskl+c%z{a66F~luiyqduTsa-XcY|X zw8>3!cZksCV4fF<;u*{zlKTg@b0DwtU(=2VctUwJds$!1_= z=ouUd_&K?Udx6f*chK5n4X}`;{%a0b z!Q35@VD4EO{Cja}sqNj|=ug_VL5zpYgLJfZ4_u=e9jOtbov8Z}f%H1VGpQ%{$3ebt zCn}CY9O%R%BA<)0Nqz)f!LeITrbC58Z0I&$j5`bLY5nTp#ydWzY@wE9(+On5jM=+seOkuG?5B|fGy3_QBcr?ozIGH0M%-a_ByV=9UA;n{R7J9L8ZXl?M=w++ zH&pe*qxO`L={_S_vd`G@tjoiU>ImIr53p>i%;3u<)tgK>q0j6RnoUE36r9{kPXn8$ zIkGD#kNXw*X2>>jY5ry9@2ECUw3EjT47)eRCmKTz-%=q;6`GhM=_?K@B&?k7PYj=X zjfwxz*)&J>Kdyju+dSI5IY;6sGqOt)BWAIovhu|k-8xkU(Os-0cWV)ku8z8(H!dbKB*S@ zbd&DpEupMCU~oQ6!+NBG()YYl-VK=Rn)=bV^3|%QV4$$!O`Lu^X$J*xX5Eb}x*Bl6 zpsMRp7Hg$ZqgvLT2kJ(%YK(_sudSs%c}@V zzs|oY6Z<%TwS@cS)8(DM{V49d{O*s!GtAoGcPo^hK1q+k4}YeV=y2;v?M-*3FcQDf zclk7K<(nWotM$!4#Y`EV26d}+kJo*n#cS6S#C!u9Qu$@)?T*(I+nCD(Y<@6}M1>eM zQZvjWuN-ruCKo|}`%rrjzB+pF#T>9a3X;!h8^_7am+vm<#ZiPu4p2NB$~d$3#^HpfZ3vl&an#X7E{0@0 zIQ(MVeWZC6Kq(!o@>-!&Pf=m{&*)`&WRJ&^`SLiYIFt3Cly0*=cmw>&rwS4lw?Liv6_$YCK&PTomp zZ6$dtsoUd4G{e61P=mm1X2u9rz{%Z=k9)aNnN61C!o{LjUoDyHj&ZMRLCBxq9``_J zt%=sxSF`&vNW(hb*JWJrTS?c7=(yt^ly&$)yL~w2^_M(Hen6;(rPOR5^!BiaPteRB zoquwD>42TgZxMHsT z4&WQeH+tQY^BnZ2KG`S!%}KJS72{)#5z zHMrpqIzaOiqtV)U{t6g=&Q>3KD+4pD%$kj13wme{Dvsdlpxa=eN-2wObW`^0i4ndX z;*bgJhskhZIKQq1;i4^t$M>HoWn1iTy&ZD%e=C{6bwzjdXr48Ni<&-XV}UVWvrDY# zqCikh%!=ks#!tkS@!m#Pj%Jqu@@QTG1ith5J$RTnaxl7&YLyg-okTLymT^H;+)i+m zpPA3p!f7_5j68|;sn`(JJ%ab&W?km6!n+KRn`<9~vHoCrFYq`fWN^kob~H%-Mu1-< z-RcQ}mJy?p6(Tdp%F!GIq}?T_%?ww^@U#V`ZyfA&9ymp^^77TuR+e(r%Y(1Hi|jVy zp`HlVMF|CC5mX;3?P8aEf?hx>F#E=qtbub`l%7vHkNt=T1ds`}Ub3jr!*r^d99x_^n13A(K;f z*JgMAhCR_0UZL|vef}R7;YGQaW(mKIcandNG(7j6jqC=A{Jfsc`u%0zJNIAjSmCm| z^0_}mC>MuBY&8|J=WyewHSaO*$3|V|y8R4{kQZDIJ~QmkM{xawOy z9K|GG#t+I^yy^=X;*~m+wxh(EiC#f6g0%`pSXUIJk`&`zmv8l|<63o?7zaVZU%fiO zl6jxP8<@5iU6Uku5H}wE$X-@>mM^j2YWwCLWiM1otBpMJpw$H03sC zvFhYzr6z9ab&hU3Hu{=31wyoBt%K-eXzkRFn0-`p1!reC%Juo|G!YtBP#*emQ$67> zsrUS5>lMQyI$W0VMNdkra*0$&Ev1fJBP)%n7VX%{ucvkUXrJ+bc@gua!W*s z7x6_XA26Bk5&LPwSW#i-N%=6Y`E8fa4PWZ@!;z^QjFJy&!0lz9!rQBrdOX@`&|m%9 z;mU6hRSp>+ns!MbDt=#t6{J6^c;$@sR_0T+AZm5-9|QA0M;LenzNjjsrkz|%!Zts} zKbn3N&!~1UFhfBthg-#x!B$aEPW<~;2VuBui+G&jf6ntH`|>bnr-H%e9fyyTX_s^2 zj$9trQ1tWV3g7mZ6ZugW9D03Tg~#YBoS|&o)PLzON?QMCxJnjt=qat7iEpE<>kF7S zg`dT(zZ4$55928hU}+|K!Vwd0GF3WxhjS0VzKWMD{J>TtB^)vWe)x52P&@02x^f3f zT2GMXTb~*q;{$AjDi@DHLT0X9u^XT0)CzgVFjV|<=Yj;;zx zA@ty?$By9Ih4dD>y^8ZB3(Au}D+a$J{F<*FO}%tRon8R=XnK4v#d`dBLs}aU&#s+t zU3FMlJ*XdbU~nrXt=Z~p)~m;Iuv^=gJ!}q^)*8^w$t^JE{?LLE0XNadmgYgWZOK`n zr#g!2AF23La#YQ}fPvSLmr+0iAsQLiAEsOj=RVi`KApQ?T%mrXH-{=7&mUccQ(j<& zzS}P~e;mMa#4B|k)AJz%@@nM=g~y;^bV7W{TM9Z??%4pT(G{nbxO9*H(RfDCf^b?~YO*)x79m`}3Nbx1wDCK4t&YQax(f zw%V6$@f`KnY?x69!(y86YIR$+X5lcxlXtwR)AgQSW*;X%aG2td1Lr#JQjqKLQ({P z`655hj}^1EPwSQhUIYb&`hQv=zba=lXVTGRh$jG7W)&wG^&H~rrGq=`FG(@n`m?z2 zp93javQIOL6QMp29ylxQ7f3r_{^}Gwz*lC-;L>W7zc|M zwV#0>?S#LcFwG;Gh?`tIaZpvn7xU9*V-fsmQskr-uT*+DByI>*Z6rjqR(bbu?srni zq49NZxm!m+<#kkB7<)YQSOgUAzqy`XF#XM}v01lE;HM>xE4pGOQv}A$R5Y9OSXyO~ z;o`oiRhanu)GzwWoZ`g{HUbu^Qvys|3&MV=eqHJV%02Gt6+K@kehN;jvrgD_!^fPv)1>f z_;Y=qr!12?wL7ekZIt~Q>qXE~S5mUgnGU?aDQ}W0foyoOe9z=@;Z0M0&E~X5xjfIxDJO^J#)1urnRF@ zMx!eZ{67wZdEAiYEfNWW&q@ zY)pgKk~XVFMsjBD?FYq2bb-AS3qnS9;xHY3G*?OHy+G>PW^04MKUXs(ZXadVNj0rb zR%?(kf~crx8j1cB1t_J6PW<^ta&}fb9ajyYl*!Et$H{=U5%=aHt8h!I8`&?P?up4C| zpk?@F6%lD+f0Lv(_q^Pt&0)%}m$^$kbaRO;R#m(7jJtpIgTSMnyNaC&f8-M=MfUHP zq4|D?=#RzrHqlqLMzOI;(xAVG&C!y(>q9ZG92!d2h{`LpLOWZJ?CAT@pQFk%U@Vc@ zAhwU1+IexM{bp@Oc05p>Nfo ze)P06YtgA`NoL_(X$Z)VeTXTI7x;2B(Pzw@vM$orpkJppv94BGbB|Sfk^d+~f8t0^ z7ZIT$ZRB&1Qkcw?4&SnwwY?Sn!9J(d=%e#|Q=G4=Y}Hvwq?^@Jl!J@eN^IUA8^Y6O zwznxOKHxTuyb_U+117Mkvdq*vG0W$cQXes0(62dXr_SF4qRync~1LHbj5~=AViV zdk@YGCMu439H#8a&QcvrUf#CeTtE$sht=;^&ia6%_Z$ z2Cd{oG%lAP?aN*$9?zX!q0n?9zF2Xr^Zl2{pZB+Sp!P4tTphtLwKj*-*jh*_$B?6` zDM=@>`+$SfcuKslb6g~GJ-&fS!ZHU@GkG4CF>cj1dmF?t{^$zWFqB*%@TksW1aTNN zUJ$XDUW8>Z!bE;UEAylxEd>m?7%;+8cXjY z8fDCsfV*PPv4&SEShY?ih~3nnw$oR$q5(WxC8cl-dM04@==Q)2lW3kp%y?VMtCqpU z>z_e(-}Dx6&=dbOLV9NAC&YSnBX9F}r#$Eod)_$LCm$UsuNy#Ng?z)7p&%0~@Q{!$ z>VkM8kE~w_nP=-o>-I_{)^FK%YaeN|DrCJ_AgN|bM$VHj_iMwx1er93g2foSUafLJ z3gcRbZKfqwOR)(#7%+XFA8eo*!#T~lA^9UUhjU$D${-grnJ{TQtv-IB?5lPH5(Q<6 z9|e+g&8EtE2b#1Ufk|IL++2hN{KO_=%-m`{vjTX$on3xVDSV^g7DM7ZK#F`*=9F(G_TFII92tYIln-7p>bpkqoQmI=&7(3YM5OsHG@wcluTn`R~97% zD&Y5B&f=ZpY0VP0EhO1SXt%X9!j-{TLgC*W2?}K@_s~&3xDQ_=CH|&d$f8FtcZ7X2 zuBTcYX#NrM)HcW*(|$;cB)bz1#iNpgZ~HcDH_k#uZ6^OhlNC466U~wE5|1Xk&RRL61g? zUNc5V(=Ga+;^nN1OY!r^NlNiQnWit}lB9htQ@KXYDv zClwM`D0G#xLM!smdxGtV3_O|YAbiv$HRww7Q)jb*+3P5l!?U*Pfau!=_ZJSrr^;En zZ3}w;pqwa&1HqN`h{1ek0nsz~rQBaGe;yP(4SWIs{#ySX4SAjN_A*Vaft*_~zCfy8 z&KmbKD-8~HBRO-$DQ1BcRnUq{%>pwi;wLTO|R$ZFm^wjVzAMLI7p@K{ZMPVJt^Ky5zY(Hh9$D!Q_kM{~l*cgi5e!&e0C3%6dlf|? zwLulMH(3?Y3*NY_-6H#ftX%zf^N+^-f$R%}i^AO*Xk%a|y4otHbK={@a5pfSdgUKftTPeMrj&Z#=UZ)oIiI5zow26M^(xJmTL^nA*EnyU zw`X??WCYflAv!j?^t4{x7b^ns%jveaGVj7h7$(G+yOjzoufeB%kADTBw)kfdO5r#E zu(FZ5&PT$T9X((4ZUZRkCWa4?e6?i{PD4Fc58uTl(M}=EKlivcHYn1QNneJ z9Q(?5aY-*Dm46OD-w(2SH8417?J3F#eb#$}oljh>J^eu|0qOZOE8HsPnv~3gCmDW| zB6>HQfyX_!Et^3bZ?gl{GOsQLMv8S+U%v>it^2k$ktc+=?qTG;87vs<#z_&|d?$1N zy!&E}9hOtRk*ek=PmfGwRqzXV5WAqdq1wSl!Azin8>jj`b`s$kWeoJ;OhxcXUnlWJ z&KegI4<*?mY;SRXvuV9AM``Ub3R|H*yj*`pN>+xZfIb$bSWZ)B%B_qD;GiH_9R^GX z!?Bhc4>?c+x4TvO1qyV_;*q8mLGMv(?2M?RqYgC^?1q2U$s=CuWB-S)mUon{W#w)_ z*+rG;@2E0v6w+Pz*niZF`#)-CZgtpxcE%$o9D?*b5}FiOroSVhoZ%|+9{fbHA?`?b zdPOF_u#utO|D5_ziEipjJYxg3q9WMyAKzxB4S5v)+HKSwxX zQCoX$>j70ce7fG3X#XslA;g!c+|#8Hzp;G%h_fFkJTosTo@LMbG>E8t(=qA>FQ40u z`R(A}T{Jw&&%u}8sc_<+d1@|aYIJagrSbY!0>`*_6%>=F)wAp1?dEzkftHYSo%{@C zo4(+Nr#k;sOu#?_)RobhE`;)g6t%T0WF8(gk-E|qP)K_`&C=DRea4R&{;g0)c~+9$ z_wtEsLdMzD3w@IJI+0twp)Aey@2yF;5X>LnhUs$CiLtq&!6wmb@7uw2g(J6Dn&i|^ z#Fx{X3v4>q6Mn?9A6>!K>E-}BK_S83p5jK6R37{MX9Z0+*JKTao~z8{

2Om9IZEv^iT_|r=^t#l82y7S+&|c| zG#bSxo!$Np^~t?}t-}9-Et!9?WoPow!$z*zJOFs_27v|p;xO_ngl0c+vb}v((>vNy%lb zY3Ce&S94Ny)pNvDMenGe=%j(guB}~a_~5JTxAZMJ%U%4;`5$;~`~$DZG!x$c2Cv*h z!oz4fS_6*?CDFoP_>klPTZw4PCZ3!Z9tr_YSHr3$Fk#`Ny+ z_z_+-bl~LohyagKsj68!+up6empnLy=DH;1ELnQ_``L>1SmVtMN;wuXzB~H4d8S-o z?_pud#n_L$Id)-5gq!AbJTKcVKs04=7sphRu*&y9g`H9lP@He?Wb;6wrd;MWdKZGI zc5w@+kUWwUzfYoFDdj%1WXMq;)(9EvhOavq)o1m{6|r25@>e6l5T+SKOYt#fLlev2 zOB=~9{;hiv6HYDS7a(?~n5}5tm)v)yzZj0R&IZ+h%NhN;STaM^g8V|oDLjUSBH+Py zDKB&gKX}EF_hEFL9_T3_9qnAV{8!rjG zXg4gvk?U3#;c>0TEhQoA?YM`@lu5q@?(mA4PF7*|DI3;UdTENvf2Pt*y5HOuzG%Lv z_UDDKwNNcB5El--%j{D$9HkMdK$TZ)p^cyLl3)GwIDhAq#pG7A7X6+$HuZq{?}|?d z{0xg$ZTliG;pnHw#ha5AZ7Me+E>Z7eOnk2ew@vfczgUfGi{2dll+{tYE)wc~ciU4i zImGRiQZ+_{dKi-0`0kPSQ^&;Ob&5$D19*ss+_L<~Z9l#H;VLaq=p{xN%g*KLOk}A5 z#>{YoWETk|Ke4%0X3>YVUSsh-tnltqq}oQbq%|6ISa7IoHWKr5v$Cq>nI1P@{0ltj z>rxf7A1|D0aJ953&!^mOGn3NvDkQ^bs@e~mpqTvhk5z9|W*dCzWY?nT=;>0Edj!L3 zj*v`jmadn26T#omHn;dc57iyxq70qC?+D6scn9$Sxb|Z7r@uznP^C8iyDaM3fgI8qqlIS;wu!g(yWK?^v9HyYO#%jlXU-RRl|oX{GN^_Aq@IiBcpE)+}XqQ zQ%Ax0=Pgm5WW&kpsS~L7tDzb(@;It|=)X`cpMV@VE-6DIDcKGQ zDuVN~8VBEmO)efeVkNDoV&cV}7K654j&O z@qBxcRiWe$@9q5*P1YZF`@)2uIihRdDCl-XYixgt)23Nk8_M)rAT*RZJ~p{45N@BM z`%4TJbv1BI=f}tPx=M4p*d_3QpG@U=)(uIapCc8q`s;|yB8su)oab5{Dr%&MA_?eEze_}5Oy*SC z$?zB^zkE*KG$d*0yW-M_w{^{TxIW3Ef87)2<5}J!2g@$wkwCN{Ye>P$#>lQl2L4zgh{L4?{d) zUz+%JJxG$&$M9{Dd^RK=(#pxrvl1|6)|Iv7;Sn&;cou{+P7JD#8NbsXr#q9m zh);Df_7`}$tY9b+^$rqUA;G#Gjt|s8ztd9%4V!g|k^ozXxt3RS=zLK?&Ndr0@z<+8 zfz7L)kb#G3nYi>7=tfD}ikUb0;*%}&x0`DlqyL801=*o9=n1HoSaWT8Q0*kRN<{Sx zRacKpH58o5)Q5FK#+g~>MI(rko!cr!V%u1@3!&xT8guV5az8HRh*K~(d;Z-igESXt z_g0YqAK{r8Jjps7u5>QF&JF4fh^~A-w8V^yg5K4Q^qMtCuC&7`PhN1eiMKFW2xZ5M z#3RC{-jqIGVsa7%);SF^5IIK&lE11;_h3O2pRES3Q;(te(U zTN=D1+Wt7Po_M9){w9>Ho|%?>m6)JLcV;ml|EqJ z4JjX)GHmDm&-~!Eei*Oik0~H*X6){>-U)9Hbhp13Z0^tXB^p&|Q!eG6!s(J}4y$hzVlFd!&bW23@yH-GlXq&?pSK`^@r-RzEw5`*Ltgi0x_y zrJkyQ#S>@x{=~#zkZhBf^}jw=yMddL&ZQXPMzMraUd~o7A~^XUA|7pNp;n^Z??9?~ zM)~?*-50Q@k|g>|sahvh=;hY^}{6UULFX*6M$>(f@yGBb^1lkDFUsDESgp1!7HP z`<(1D zq@&B$;r`ze$t)B*r!Ukw4Q~31ebWJSgOkFD~cLKK0Tz1`y z$1!zZiX0}AI%h<}sckT?vx{aS7FC*!NASEoC~%>Ys?~sQCr;Yr$PXqRq^l1Z|p=BY;BnE+BfSVwt;{&Wvvv+j+deQit|3%KBeyg*OuiHbr z@FnKm(8q%#mu$i}E&VOjVP|fmA0HQ#^B7v+@w^r?>fwX=__52u{@btx*PmyGDp8c0 zz4yNg2IGgVJ#OIS`*k0S-Aheq7FRA}12@qoM)3?w$g*byj4<)c(bGE)2KmHhhZ!+D zc20PQ0leD!IO1Yo+gLl|^(*vr!`ZNpV@pltR@tE-b6901!)1d?db01gD|Fu1qb2k0 z(+KpjcQc1RALhSDH33qkv|3nvmTW!t3GYL9{x8PPI;@JX-`moXTcyJdiUNX^NN*aY zySqcWVbdWX-Q5k+4bmXp(z)sGW>fF@d(LytdGmVz8(^5(vsi1*y6*42KDeT9@xG05 zs2tnZd2%zLyNaK^d>@nYsV^|4II7C_JKAd@>A$Fw5V^Ph)*B1?)VtsLuo^w}m_4-Y zSUWp*;>$h)2sI?oO=l;Ch@of>7XgghND_gd8t%?^y%O* z^Oc`V`DL3Y&bEkZ2C6I}_4|L$HDPKpnRVQGXrVJzK;3S|XwT;EM3BdruMJ0=ylr*8 zDkgt4LvS?}TeT{7y{jYDT=|S38qWj=V{+o^mb#3wV?C-jCIYQ6Wkdt?e1tp^{)g9< zCuZ{^c62%M@--{LKN6yBP;&)B)tSBp&!qChKN4cQN+QW#Yh~wL_68R2NIUe?H=7n; z_*Ihnlrt*9k4?!#d~v58PvdOW9+?<-m)AP>0o@T92pM?4?XgtS1j`lew!6I<-kTTl zr|FWnxKyT+gq&u)Mls_(?>UZm1DJ^U)IqGW3#le_5U-fo72OZpJ+jLlVpzUJG^!at z)=)w-2t$c{9NyFh zwuTk5@wT=DiU(OKYZwVf_|>ymM&=4c&Mr@#Oo^dDtE|ZrpSzLNgJr^5EK1TOEU{9n zAS|SlXy&z+2ny+jDksVQ(34(<)wCIM!{2@hr{NafLMcVZhZ=+e3|>zzeT_1H>*xz2 zpDs}L*~g){VG*W85e$kDoM<7ET;r>OP5s1-l>v@Z); zJ}Rq;MV8}l7iO^+cZpo1(e_v-a)+I_cQGWxuSh!`W8XJ>KZsu-I@-K<0*~bg^T`^h zGNIj##wE?S``W()vKJ6tnomVXK4%d~6Iu4Bk`}_~#!)6`H%r#L+o(4n7X=UN2FL?>%)`-4NO zbg1FQmm~55LcwF97A62Y(Fj>oSm;~UrIQ>C`; zz8*{V>K*E+X3Hl#XIl(GQXKoEW1Kk4LIej0Nn9L{jS-W-E`~`Zu_<9UCv*9R4BoE! ztx(LpW%0F-CFmPA3^BeY{<#7A1AQn*1-*{O_sz8?6l`bHV$CiL!nP5ub!C-`{7+^t^LIaa8rY7TTts<^EoJ32k_9j;g95 zI*o;}{Em6F%?eS?x#>NF(L)x2ab}xJwbDuG{8EZ3fi-x0xY%wUeBA62X-MDi7J)P! z_U5GZ_Wj9X>>Rh~4$5BX*%k|5x;%p8>Uz|Ips72;|3HEQH1$6dG+W`N8F{xO?xIal)81bT{bc%5Py) z{MXV<1%i&4cQpNED9k!l=@?_?-ZK@p>uwKcCXP%n1$QP#E)?F*$v=1{j!CWwcJ5ZK zHpIO0O;z9q+6)HlZ8s5!?zUuF57)`<@-2?PpKG8m^hc59MhxL3E#AQ$G4!?v$x+Sy zM7Edad-_4DPm~)GkK)t2(Esjn2JVM`AIn)KoZPuRjLjmfK%#ABzJ%PnN2&{VoZcR$ zasNZ4HQ6cuA<`h$`*%+0j#uvGD0Z#N zWV_R!y#65*D2plcY9UiQO?O0BpHaqHpxKjrb@g?h{Yk(r;$$4|0e0g5r^0!hhiq>5 ze^WTG)&IM~>Bjg!DV(s7|E_S}EKB~QaQ4@C7C*iF+48+GJB_%krG|Ku?sBR_-;R;y zXIJ-zhg>@nl##?PoMy$RKO{>QH8SDrd(cJ`CScAz5~4sp{?|>qY#j?mKOk&@1GBwKJ_51W!Xa6H?rf_ImxLRCa!T0Kqw$7GUApIL{Yo|8n zQkIve6>eP+CeE7V{HJg#!QMTyd)9qg z3C=1C^}sZo4V;@UkauqT8+sYv&YwYdUEKCnt`hr+hzF21>eo*xg0ZE}Ui78po9c9L zI4JC-L=J|tn}Fq$#I%sFW+E5LcONbZE^mYj!4!O%olrzO(3!hnjg{#i>cnP04EN~% zutIOo6=L>L0`}oz7G4F%e3AM2|}9hOE3;!*p1M}B8=$F*Su!1n8n$i*=gdmgx0yFP5*hojX_fJ0VCep-~(X$ z$Pt=|zp~o=o_+>p<4LJbI@=DDZW3jKX6yC~rlWv<*HFn6fv{Nv=>*b-oH8Ey8$$bu zPo^pHSc#Bu48s@6UMf*KpBh>4Z{NpQ%L7PvL>VB_kZOz(7&<5tDTR>IBtEd6E54s@ zFytj^c#%DJt$l7ln*dnU%KD4RN@TCfILimBrGYIeRQaO$bxFkmLc;$lK zurARHJu-LFUgditGP0E{)^1iJn6c1Ypcmd{#-f!weeZ0+E|cguM;}*vw~os_y^f2J z@tuS~>Tct}b%$l$#7vLI)eFJy`h2Yefb-uZzbBIfAAt58X_6BXT?vBMo+-!(1Nisq z2LQ}#S%9%S`BknEtq>_&9#r@>M4Tsbo>tr_5`gy??igmMG`V~%=Vu=iu2FY|9+LBS zM=cXQDFU0`lKzHd4rK-FM@i@$LW2kWR1}1Yz^QS+Y=&qS{R-9` zFp*p~;PD{on~l?iN=5eSWHDq~`2k|=mk@QW23DlWvz6&B**>JneA#}aBDw5nGDwyze}i>4_i%%7(m?+Iu4#D7dPLz`6)r ziNvq-5_7Ugfi6&6>DTkgI^bYKqn&CAuJu>p^v78LJSnUQ+)GKZp|^{54=6I2l@@Je zl^j9XWFy2oSj;<-CR-G3u3o91%V+7VsDA@`hM5KJ1!f_vNFGFKwvIdbT8Rcpb3!o> zOSF{F|M3~Ciqam!l%2V&&dll=Z`ci1tp@b;_WNrMUJ?E@6)@dWEEo)<{-90gXa- zLbZsj`BxvUCBhWtRyUO#cqJ)VDi>T0RD4Re^Jk>Xo)@sl@N1d)n^ek@sw05191HM= z7JNvCF)k4tD*^JaX|M6YqoX=|JKXvfj&0^aH#>p6=Uc2kcs)AF?r{FL_H>FoC+Sy1 z@D_T0Kv}jUrh>H!P-aQa1gcSH$>;ZWmofBV*pg}X-FBIFhHXUvhtHw|Dh!kw=pfmB zAah6kyK3K6=3=oAlf?WRU zw-B(gF@0kmpdq^>n$4e23{JO$0K$@&mF^!OgX_u14_KF6g8JVMX3Vmga z_cz~58m7komEQxQNvC@O`nin(T(A-G6p(PAaW>RO#@lXVj;m3y=zI*CJScsv<_`|s z)cj8mS8>=#6J~LmMAO}6H+8jgL#2a5Kg4*vE)YbaMJ@Knq-4h&7SBFOZ z_4IJH)yO)ShXX=Wk5=QoGA~4DN6i?{5S~rB^e8XqT>bm&zYX1fr%s_NUFr8V+2Obz z8)2v70xaiOcmYxgmloR2cW=S^|IO4@#5ud^I22QJ4^mmgW$O)4gA`|oINPn zuU28H8FUMtqzZ&@^EnKUFCT{|DkPV}p4NTvRjo!YDa5T>Y`=WhEU1>g#-@YZ=A)X| z#fi%w(pcs23gItwRJz|XDmS?2UC3R>hoBB}rIjuTdYrsL{=%+CD}-hN`t{9h`Ssrl zL>cq{RDn1O{ab;cA8Y)Vw`%}+yFHK=irGY?fQ$hEj-iMHI+ z8r9UoO*+*9a;55>A@;8s2|xjrRMAI|K7GJWac*lP6WqJgvI(OZ%N@5$!Jv)>14ECQ z_1gXPpW)(*x-gq^+?ZK4LC@)ODJ)dZPUuyU&60n@Grt2*4^l&pS*u> zzqp^fd%CH0jn`~$as4lQR(SLuwtuCUloR#522;_EeriPFaJr+ZIc)34P!#>U3o-6* zWkJsMQybb0h6VFt3+fq^*O>WMF)o&Pjx&ioBy*Z`-8$*&0UO@Bc5qcEVibdUHPik7 zh2&qa8CsG77$3AYe1hdaOSo6CX>VW&wwRaOA-lHD7v3#nQb%k(b!5xXsB3aN?Cy~i zB~Iyczpe*QNXB9Kv(2Q72jI5!^z<~}Y^gGaN5wlY9UO=IVU-pf{AoP8%BQpA$&9G) zP)#LYU+Qn9U_{1xBnVq?B`V{~m}t3~Xc)I< z3$=KiIXcjshP3k4nAA=p>mNoLEwM*s#$6(qx5j^;#~U+4-v2SO4+}&ZEr-8zReI4| z|NBQ-oJ=1Z--SA_Rp_=ACL?uwTCIQmUf2W%&Pm7;?w?B zRrSYMf>Ol#NP~trU=H$E$}3bT_QtQ+KYWE55$e+r>(JRan>)Dz6nW;&19Cyz7*=99k45;G{pVeC2Y8>ILj!r9LXg+F!S9$6Dg$kl*~FRelQFat#v_0|_V z8RNqY2Q$kL(B%h)iyjEt_C3iE(^5hd8ptVm{h&%p^J~Z+Ik5K=2soF zDZkl}Tu5v3a0GQ$_Cvv4H(NVSZ?J`Kp|dxg_wUBqIx0~vx+_Dxwb1p!>&}p+=QoCX zu+tmDS;lmI`>Dj2A>5SE^j#dQi0;vTxw*CugIL1Am&Fx+Cm-_Go zU1?#PhdjX#exb90)$Cgi*Q@Uqh>|?Iu~RB3pOm}3_$*a>&AKVTRSzp+K9xfK4fhf( zNu!+2J>mzc9e(z`zoW$X$sOTuLwO__qdEBFhau_D%N(FTi-{Vx3*Y_#F~&U@*d5(j zew+k*lc)3C9$m}C2^pcdKVPHIF-VuPfd|ehcvA-*bX*x-@#}Lj2Am&^6QqvX$OTVl|74R^+!|v&Ev5)@E_ohzNqUSg;l+VVL$@AT1 zZL-c(Ud#(Mw_|JD-d8R&A4~Y=o2MqoTXOLKkhjUGig?{y#aL@@%tiqWTw3ccibENNSdE#nor8LPe7xK`Y;yV_XW=l z@p7zI zkQN4rm_J|Ofx)E0q zb`<-3G=nPwyZgJ&2DWB1VS5?{-oT@*<7O(!L4rF*-}O6P{wv>`-y3-sb8kn22)`yI zGmf=n{oFm#th7Mq({=W}4eaQhC}l#Ge|$U3F4)4A4iep9=2@K&(gJ#vPS!OM1~CMm7K)$4g=czcEMbSXUpx5QN%OBA&5ALCd1 z&(-%+^*Zwg#AZn?TXO9}#>4HIj{S9ZcTJ~1!doH>o;kRU6Vkk~a`IS^8By5!Z)FN zXBXMszX<)9lrGg=d_-pTK8-pC^=kb)+fTGrZZFJ|%0zXP*n`B>&%Djy<(yq>y|dmj z82Y>c#nSIF59Yrq6Y-Aa8K&VCwjAUTGR7+yFhANC^JAMY-#jo2lajYzysJbtt39{y z-?n~5O7?Mck!YZaF-YJA5{fy3T(kG-x&Hf6lXva{A7g&wSL9T1yxf}L<&04=aoN7~ zAvtcIJy^%wtCZM^Z}*r>?T%qjl7QN(ytS^732N!!Y8Ro-i|7_d^uoE(OS3z@GeFCt zRx|0KQ~8U)rT#Yr?wa{D|Jij(yUt|0^c#gX#?>K(gjflx&e|MmgtK_PEVp)5K#!Z| zF}Ru>?*^n0v%pR+h%HJkt=X$(6R-Al|MD4+m{;NU3!)gxm;KrZdr<-Xls49eZ+oLCJJ1{h z0YQAeJ+;z*`e3E|oxp*?-m&*7tzNcEtTT zgk9u(OOn$v!g(1iQYF370z)wGeBlCHeCaYhaDe&l0+BV@#XgQ4RHW0@MOp7ZHj8jC zb{|vkjKCwd_UvH%T_xHKZS*Q_5G+jB=5&K5Oys~#$cN*7R@izQ0Jz-({|&fX7y-cD z1psc<{quhSw+FxO(RQiO`#X{+mYsIjIF`pT$CedNY?kZ6X=CKb-s0aQr`jPxltTnW zx8hg&kJsE|JcS=R7bwNHXnx#A*UEcqBQ*zvk;3*9_+Wmw>1%$IFN;Le8CfpBZrC6} z5f*((Qd727QAPIDCy`W2K^ezO=iX^7tYmxb+inREJRGw(&$r%C9aqYf$@cPB6qx*D zTw7dr2!*c$#x)D_*CV|PS*uAVS3JmAL737t>||g9uB1DxkVaXP`w#3~px8w+lV#7*{zNn`-*rt3WtEE;o(1 zS~N*6fZvP)4E!wKaWC5*4vBQvTAX!|1t_-j{MEDDTD%d3NQvt*z?i)JPK{fe4B$Y?xXvQ3frlZnj*6xwd~;?p1!_1=VuRNS#zz zDnMi%%TiYKngXEDo887fgSbDxNBcSAhzqe$0)etliI;~>lLHS67}25&6aZt~jsvjU zhw1Z7TaE3+X}Mwo$qIwhL-@lL{kgmsi!dx-o>kG-_$8^;(>p;kP(75)*{G;X1>qcC zrGk9kiwy%VnPx}9z)z(qY z#9T{Ysg_oMQM76$35ujt*R$w^=HrhCl1)qPXIiRr=>i6Iq=4zN{uf)He$JmX3`|fi zr2(IfUrPN*{iDUYhr%x2i>u8xkUvb~xBzPNbv*C5ZM0}OI+x(m#{oU*?L zIiK~2^zy_RC+Qw?;Ur3tKxQObp+sgpTK$$!_BkU}pxeZ;_R+?G4aq)rpHlhG5>>vH zFQB6*V__JuZX9jz3f81s$rHZ*9!NZQF0xnIE1Th+{4#j?o8F%EiGJ6BmIjzKGv6P$ zy(_Ue^kh%@hB@Y#3D^*{jF#Xrq`P^08tM| z8cFJC7#@h*N89}?aS!SYNQK9FJMOsW{ANBM0FIB4H%4HSZ|DEXJJ}>SU5NS86R(G= zupm>GP?k@K9(0ubrIcZD9vdhknCAjP7iQo8K1{G2z_~SYfeJufDuBUB(1MrIoT2{^ zZl2csHvFW23G54*;m82tc4zuaxIw}I;dVUxPr^;E_#cED1RVTBxVg*#!aX1PmvE>3 zCER6y33n|bAg`M(|C?|VO8$#*6Da*9+$xFy;ZAl02=`v%U&0;r^FIi;6VNq_poL@L ztg8~Bw7`0pysYBb&@4mAD~PS3?f#GZZd&L(_>cR39}3sW-phhV17-r{8Ug(D4$xTiq}!SpAY1IA)$TdD3c&g4(!LQo;7jEQ$; zeqDSQGkpr;>^?YSEqkunkxnH`t~I6J>XqM`lR{V&R{lsdJo!@jvkVh!;M5sY=1(fE z%=k(mp2X653PO`yjl{ZwKdd0Bf4@s#Hj|A*Tu}BU<1}Q0mqWBkiy`p*I*D!b^K!0 z-wIHWgOMUMR2Whi9)$xMFv#ulJ0sdX;qUERnb!lr`jUw&ghqq=1^AO|WeJzG0T{3M z+h0l^<|5mY{}u9lW|IDX3v**-+CY8ll!>lgC}b4z0|2ON(dwxtKb0{of8xX+Pm-vL(98Dni$kw2ptZ6;z%dP)3q){jQ) z%79L@RUS^$=s%{bR#085Q3&GwZd1nQ>JanZL@TQ4sdu~lR?{fFx@Je!$g z*sxpJ0LZAwVb(Jf)ehoaKuk;VaOxoodBJmKBxyM`f$1Bj<`ispEqjQy%Tlj zwPFXXnrcet@Xguor~kvWS6v`e0gt<+gwW-chhW!CT?8MX*XAG<($+QQ2jMiJn8JrDy->Txz2Ak!a0qh>0sho-~W|g zeQzJUtk-;oN9lE(b4M$Xrc6~?{r&#v8gq@bC5U(DxCYmS@}MKL@?G)oGp)J*OpJI{ zuK%@XNPs&pOVsB?CRF2Q`Fnh^`tmVua?-FXqzCZX#k~Vh;_MsWR!%S&9RBz=*|Vm} z%{=V*$a&=W=i=t9%nf6iweBv+of9zGvrPs+S5-sqDu%{Ik^hE|#+z*yIqk1#Eq}Ea z-s&TG1q*mPK5;taXjRQtUnVN?T_w!O@y@)g`U z@&67+V0Kp@eZ@^}IiC8%)cHD$WaQI_&uqHCgpA0Bpp`mF7;)7i(@wH)2iV;^h2yC&7nQ1w8pg9UifwWb2Y_q_om^KcTNW`p$|&OP z6zS<@jK$o@5y`dmr>EJwGY+xnpO48+&aPMboCGhNRHX%+W{72l^$LE$6OEhPf`2X_ zIr1bQ3>+NImksz z>D=+AUu)?!LlXBx9NS>n*R{vRna9vydA}eH+mz8sYj%C29=7x(-FG2woiR?Wdbm}2@ z&MivTiC}>m4!5P%`;zaxCbQMm(IX>fc*qBwm&c-V_ZvcsudgLNJ~XY5T%)nb4W-SA zRmz^(y+vgSA!OULt*$RMb^ECrNG4u5fPYwU?&=(%70s5^CA>iWAdq%2OmzrKsLjCa zE!M85uGPWLCjL1Cy$x!14`}{U4*Zj++!6Ik`d*OIQt*1J*xO|7;;~lcfDf#cbf0m2 zeWaVnfkJ1nOu!Z9c*7A0_uB!cp)=Pvx7^wIQ?|`;SMZnAuCek!EmjXCzCX-m~aYt-ymebX!-7mC^#EgFPzw z)beh? zf*zwM%}*_9*J;r*P*=R6STRTUXjUUJGWnU8bCPmf@~2(O)%S4mGW^5FR6!Kj_Zrqi zAr4}NQYF+DloW$VVmUre9=WlV3khbJ5!{%S`hBx;Z^5s|HHN%_`537*DYr9T6)`vX zQPvkXI5?Jx!HKNMjIo7JQ7}W>SYxcabUMUehWE(W=i+nTRrhx>A<#EXw9yHHU49G}vW^ZL6hl z_0)v-&wSVB)7ni^-Eog?;aI{4WfQ!>w@b#1R8sFDrI}rEI%x?yL?R!6O4-}BV@K{L zf!xbmv6fBg&#;BC(DgMY88}33ntG^6(wrZu0MFF+bi}_g@3!VMFJelU6JJE{+w&?u zz8%ra1a${IO%H~ih)~85DCI@<%6msW(7Rjg)Q>@jIh74MG~?H-YbvNwK3~e37!58uuL*rVfDCa1N}Vn`}1dLXiZS0Qp^GLy8F;==Kc zDw8_iG4N|zfk*KM?0d+yZFs^|)+cr2LE*bJ;eDekN5=+!*fc$mC4HO>6V3IU`;~dx z&B2}5X=FBfkc-hKAfxv>suwQ|+j2%;OEUXUU69%E3S8yVq;qJxtjbZClG}b?s<`RP zk8kg9oE+P93aphrm}+8P_EgKQ++I8wgq2PFk_!aGNRF?+S9@&@W<=a8DsqX*^?qx! zjV6XlwdF3`4V9ymz>KZSm-n%+-Zg(~LkfdEyNot|H+%cXl_d&BcC+WYX3k8jlXmI+ zWUOP8~Q{tHQPxIZ1$^H7=m}JMqY0_g>xBJI)Q8h271jLBnEnB&eQ8~sjiJ9PO zWuXTKgq#^^*M4c9J-S}T`4`r1L4R0glL@~zl~Tmp23pAlGC5?ujp-@^2X_0kEY50n5}W4b2|9*n)uP@l_aF)NL4y5anSzRvfGNC znmQpL(PRB2Xp78@K2BRJb-kXWS}h&JW!P3ZF#(&hzh^mBs??%^i}q3~a5=|ktM17j^~d9FZJoPMD_GomPh-+*Nkw^wD5R-c2 zL&9U?M$H8h@*jhng=>MU(g=1evEytdm-4(8U7CU;X5F57k_n2}-zH-0q!TdNj9cF{ zr;Kctu+1`@mVK#`qa_Pxi_%a~G+>)$iDYi{a1t@A_|_it>F)gnI%hie`ge$)Am;`< z-klLN1^XfRy4C-7#7;H%p-OWImB%*~Oa2ZLQ6=E@ZOEn3(g|F88bPt#6kKL@$kK4ZbrIQ**7(@FX~}|bVg-}SzS<-^-pwS_FI4^TTyjr~ z4k9|(vp8k3Rr!svtFRv<&BB;ZP|v(cEM#qm<1dsdx5Qnu&bXC4iwn^{2L2dfWIajW zn)`f1uRDX?tbBVf->6rn$HSth!#;?8GaS&m!;PEYstOkM!xCJ6AD70`M=*uz5L~5(dZLMe(z3y6E?%SkfCq1Jw1J+SIXcltp8*xt1CQTs_WcD)p>31bGmCF*AAS104DgjyvF)U< z4KPTIs@hLyDs*sRVsDHh%f)LWK9$Jno?}183XdWHd5GWUpu5slirYJ`I_({sg@1OQ zCx{GaS{D@;vGWuqbdRxLCv+EmzU;N5o0}xvhwX0K;eEUC8Kg8E&o~K_|HjkTo1<3V zFnfpCMv)M{m{xI)29h(=SMCm7M-+@Bx9-%wCC77>3!G8B_QFPx?PSBH;lCWCr84HC=HnUBZp zPhGYfSJq04cG}?T5^#3T2@{C7iz_V_xkvOSB(>~g#EDigMwdr<{qGZG6Sb8!c+t-O zS)lEOb=eTokHdman`(5+V7Eman`+P@D!1zk%9S?D%!B=<}OAqVJ|nH-;uy zlH_l~voN|&TqU$zg3lq(PzfksS|+6L4WZ?OUYN-F3nYkycb(J>*dtVujN6~~$KAAd zqY4dfOwjcs5e8y~trCwAh0kEXz_gpEoAKu-AEuz~Ytq>>g(h5sh=fhAq@D;&;JDz8 zQ^s*3t1l;+OQdw0CsKijJFu;fXqgcoc?&SQ=-59(Pl`q$&#*q0iZ66o6(a ze|cD*TKX~K1tYFyM#kn4T6_DN#80N?HB<>+NYj}nKScCG{q`FXmRjob3zE~_5uyf; zBGWV%X(Ki7*?iNsT^0+b*m=|+QAM4y?$i1%4J-kO^Qmj9>)Py?tVXICiSQZQvWgp?q zyQwSzMe1)x7+fQ~gf^kxsx3Q?`aNpkByB-5-5PDSRAw7y@9_(hmlxN@u@|M5ovADy zyV~0RtFNg)G7oVNW;+x_^i+6v@-sdgCmP{4h+J0UH&7Km_0dMoW^R7w@6$Ty(_Jy2Un0Ci7&vDg;zyfiXSbJnIrHFy5V>%iY+TA)k zZ*~=#na9`tyGHJ`UHi(}aku{3fs1d8PWTT+?}fH&_Esaj}Xw9Ia+#D5{#CZ-Q5pdEbsyG10U$b!Qla!oLYxw()Fm0*Fy z18s$KuoF*rtYm!JnK=dcD7^fkE*FjBXnt=7`Mi5pxCap@(EIcbktMzz`5F#G?<6t5P>MH(Otuu>(79c zYuuWTni|AN8!`e04I{vnDN#xzUIuvj!bG%mpg0udSnv`~r=IqUsI6Fma!j%J@W^sh zOAyZ7Si%7U;Xc@-hs~}>HaQ2G9&>%KS@#xY3^t_Y(8HvKtACtxeVOp{+-I|vAJ%c8 z)Z1=nn>ka&SQv_MhMcv%)(!OPMN;u3_ty6Tj3wbdn|y*W3C}2O)NiG}n$)IhH){hB zZ!(@8mYW0)gB81`%KL#1%F1{c%=N8NOp`;kj`GH&nd!L6mWu$GBAKt zaN!IqM!?k}syj{IjO8O}@ucYVF^uKFjUNh`H22i?Z!m!QhLOVLm20W%7bB>*yS8c4 zy*MdW-W7tKZ`SpVj?!zSLH2<3kn*xn1iQ$rnUL}h-M+JwtlN`X;KI$4rqCNM;B;4n z+X6+RktM^R)%~>Fb_=`>Q3bu(q{`nX0|RHzZfAfWMmI>_Bgr zksmH!Z?bbvU+5e|&_2ol%SgfF7|%swzu0|DkFCdm0e5e*+MULRQ8j{GGQ}Nd7td@i z)c9UWX!<4BphuSs*C}Sah^J`!_uN-laBTwqwq{}lvzcE?%QptjJCNKWY;p5NshgMP8>IEU=bFM(;I{6}4s^-rKHVrIim-Kwi0 zqEM>w{i$;0-uAO>+R-K*N+wrmO$F`%7F%#Z;CG~RC``y+Y z2G4ja++jOS6*0h@hRnf~`vI7Y@-%&Ev8I_BJqOjmm{5^w$l?z7S-o<+NZ)Db)vD)0 z5=h?D{sP*2tb4;$o`$*aadfPlAQqoNW=VR~+h?dSh-S`rWJ!bNP#vaCx2&xOrnrW{ z$s(B?W@BU9xGWu($Y*sSHJ3r9&_Q467z$YOYpf2-MMZz=B3HR^mUz=auOO{YXI7G z)y+2Wl0U1ZgB9KCNO;_10z(qc&r~DmMSezgZ*&QzxNR7}`}M&DK7j(iXczKdE$da+ zcVR^JTXuGv$E9b!S2BWHjQk1RyIWyt9#sS9-JkAU!pqZ`C7H3lWA3#4hH*?}pu+ux z-9+?;{n~&Pz&nNzCmEx|>Sh>mR}muWVH5rI;{Yt{CNmAwoY(!C-x~$ViZc>ThQh00w0$_V!AHH+eVNx{7F%Z0M%Ay zzg{(i<=);=?Z>N2-cGKBfxy&VKTDEJg12@;KCKxyHk(jWl-5V9%$t&Kn^|I{nBFU= zOxS{YoBbtY98gpEAt8|IxTcfFT=C$@O_o2Hr{`taV)dlqsJ)?rd~@UaWaXE2Vd3sr zz&EL1u{`7cI|($zyO^{`_4qpEiGOTn5uaxpCH~@RB8himuy(rnkq5HRGc1zE%yj3V zQd3YbGt<)Zs>_ShAhY%U_5mJ$`W<+`nlzZ_2`pphf6zKPR=#J)@SA2(Gq@o_?TTj0 zsI476;Ts{!rzSELCu}BvXals!ScaR%8?UL`73Wu$>2LPky3lNh96bG41Loggp#tAA z#|lhkPNmfy+aj)7UI%|Y6-Y7ZQ)diU>|x^Gf${v=B(B=(k^^RNc0wV)(z+|s@GK@% z%UZ{h_;n&IR}ITUnT*1Zpbw}mrFH2cAF#+T>fl|@>iP{oKanSo>q?jxm(GO5aA0w1 zScd75_zM7ETTT`Y)FtbV&6}BHspQ;b)=o`3JI??MngQm62$_ezWIB)hgv0UtWoeD` zmHB}>AK=t)=CD;REYy~?y7=CGxYZ#vyWUtS{`56+gs|RN8UFO+V9viD7dZX|r3?nm*LEg@BFaVrKNcJk z-zV)DR1l4X~K z{hBHYDkUmPhoC4Rpnyn+AfSNKr1vI5K$}8L zvweQ=S@X{OymQW(nKggGV(qE`C-5$VsFcx!$ z!KAaT7R65eqOveo@Dq|(+p9lI%s^z+@K3zpF|VnnL5~Behe)WqY6b{-$-t zm;G7nQ8zRG-Ws)ZlwYp8al%JPKa%&Y_`O69V>}d$GLboJrLFKtPc>y3Lw5U0c|qhh z3%3YgONYO2V`>%}ota}Z&zmHNob&GvFtkZzzFou^PT$UG;6OO9e$G3~tw2i3Xd2xn49w_p=yA@USyjST!U{SDl@JRL)gI`hVvz2Bu4F86M!VFkW zmGMh65u1kF?nDvzMf>Wjba*y}Ih&z@l4r1$pX?Hb`r7? zk5B;Lb+{P2dd8Q9m#GYFddKJUV5hYl=E_+yr*iE?7kBZYd=lH#AbM#Y+cbWJka+9` zpZelb49`%tL^!McX25zj!6`a_%Vdgr2{kMi2NfWoh@J-83l>|+{FNmQwvWs2q>smt zGpy~G_X%fM6p#y?UaV-J z3^6oTHQ49150uf8IEY+dHJDp4ZWw1iiF+bY9P6ZrqaA}Io{)CgzXrBy(6cog&}DnuztVr>OVj(r0@XhlSb7U|Q`GN~I=tV&bEd~a=-U?;^;m9`o=AEW4LW6g zm!7N1Ao2^myn)&F;poS%)axuVJ(-qyg7e?$?_XukU%Zl@LF-@`(kj`ym~xsJVQr4G zIW3HfW(#cM(F<*K>YHRmIcJFek+4tSHNedUX5X zyB4_dem(lD|1LjEuJls`-FnRQQy8OsuGzD1xbBQ3!nJp>PSdzQgusiEdK(k(auS1> zxfo#+8iRvU?!^QpdQ|hNG#Jqqo=!>cIU3LxW*;8wOhA^tS9%@cRe zp`!fR$ddtoJ$7&$P|f4JN}cCiDA3zn4UZPz@l3lqnuX3ZX8F4CJH1@;I{ZYH0R;)_ zwTc>q7Oy=+Ucaa4w{~=H)jE2-LeSL#Ss6o88uUgbvfN%^J}<6k6=ENUU_%DaFPEuu zmKCO09kuNHo&e&vnD&8+htBjo^N2WbsH&>!X79Msn+{=)v!cJt`7YE4S<~_hLG$vG zIqaBRRM}yGDX(jZ|E{@57^&Xbb4ERLqHmiXR^+YF#pm7L;PL}|73?FB70ZZ3)~RD* zv4qsqu~Okv*+~*l9g4Pqw&{B-=-pKBtAy}}2V&i{S}ZSD|Mj}CV{Ts^)@=ey?ePa* znO(B}#JQaeVXB<*65~e2m?wIe-g5bfhHddkLL-{zop;jZ+&N*P%+i?AnWk+@ikRr6 z8yqsUBQB6^30TL^!xj1=ju_f*H_85%+cjl%;ivXY!GXsu3Nr(r0f7&Z6;|tTjd`pr z))*A+scePxRBqR+&uFpknrC)Q5noULP$JGms)h(X(0Pp8S3%BrrVL^OC_ zd6vRB$Hu$3bX@Zbvpnrtzir3s(N9F}Pmt<;^wPmgi}QjU^#|Oto%B<@AVm=fyQs2tmJ*1#nEvo#=;5E#z46V_D0x$Ctug81BV#bY*zOBMi%|H?B z#`FG`{M2IhLRseU~ub9Gv}1V_CKorpU=dAN^<>|8Pc_3h38fK-!lm z_*81GofTlMZrM1rbX4DJmOE#o1<{z z&O1I$;*-toI6`<)UgGR@HSG3co)@|-BQZP;OMR-hVl?*jh5$Ha(@UU??qz7r%lODH zXQ2ch9ScQu}sQr!+eYTD?LkzfqZ zeJz^&Be|QL@u+cTPPnzah^$t7T0Lo4(`ipHLQq0WBSO=%YDiyG@4J!-LsSb8{6Zd z^FiKD^gDx|xj6AHkGqakvM`oU6IjY~h2F-=@ZSgb_lJLS*i*zpA`_0173+WHYCnqx zsVq`dKR!ZpDr$ta%S|HD2@8(>3;Jf@OCYn_un1wMN_!3wS%MXjW?NqlSC4e)Z#zH6>0dm@v=!{XgT=%gG?I$;`Li2VXl_LMboLwO4a)d zZfsjFw_)&q3jvz$uv{I&^LVl=Jzk8g(e}VPsfEzL?167eYo3`rz;H1 zs4vfR1;N_(VHx$#=!ca?hUf-^AZT53!jCP6jVo64?)f!( zw;Zh;1ip<0zOXH+0qPtC+nI`M7AYGN+ulBLv+(BcyNTUI1vokZW|v)*GNQV7XD;%4 zZU1a#YfCfrwadY&afnxQN5h?THym_wRi3ehMW^XZoRy45t@bk1Z7#n3)l$!oc|{p1 zbr?O#A|sV9!#huNnk;Xii6Ree7m*5)jkd3$jV-v7Au;v<8mw>{=ot6R@-D{%qH%+) zdB%tJ_jcw@)WgT0*j5`whGHSA2}d`axyBiWBHdwuLyG$K?HVFzGv}68ulp4L$Rsdf z-rYebV;qu^4l{pZzh@5QfmRz&k!BY`zw^ z=&kZx$G&4H)@P5*?aUVx<#j97@@%W5Y&p=@P1fE@lfQ6g9Pz^6Yl;Rp3y zPmv9I&(?|&cOQxhqU5-*`z*BIKz+AZ$W}vIFL9j;FR%Edty;Jig(b{98};QF^-T6L zVlJSm&tjXO{^~n*F8APQaPnF>Z_mu*drvjIEIG7JC_QhYzeyBW*;=(EY`wb^U$3lb zLplZfAw_Lj|0%wVjbSF)z(IfEN&OYSeros(xkCi!`k{W2Z~<@TP~e=tQK4(D3N9jK z(^pmG3<|7_^r^nekG<=fhGXPNj-J9QvN86a>$AQB-`g)BP(Al0`K_1|ZHiPx55M$v z{!@Z}t)_mjT?~zpsTF11**}omzV$hDH^kO5y&5Q>-T#zMjo$~xkL+0ITW3G}1>7Q~H|-Q%dk_;Ty>$OuPx2nEyZnHT8(tRw$^U<8mv~RJFN9zZ8s_7?&9Jkt zd1s2{eb!H2F~+=-7oJTyFZ)LB%}{CzSk=5={hXXZ^jobIFl z6M^Y_QMu2=)e6S1WNL^V2HZxX9igPGv~BxB9#DDf)N6)2X43{#)Wu*&yXXOBn}m=h z+b3ExMkFw42;~8(@8=gBkwbQAyd$!T?ceYs-KhO`ie7G^CA2XDO!q%gOXA|1+xn+2 zi~kU1yUfC9D}qXTW2re!?%Y16KW#-x`o^m-{ollrWE!W#VSE~8eO$HirwF0$S=ZGf zh13zlJJXF4y znU5!hj2vF-O5Q)P=L%9&9tM+q((?Kf{iFSccrR^z`3*Tf)(Sm-P&~_MHFXxJacAc@rdar^S3zm}8sfE3_RvKlihj0GELJP7C(h|t z<#Ceo*1U&QFR0kor*~?aQ@?QLP2X6VILV`3EJ8ke*oPfGTZd4Sa07i z6aJQ9K8zpS%7^=DtJ-FMofBY?O5TTlg4o&rymC;oKdjK!a#Da|Qw+lBu`u#b z=Pr9ZruI=zL9`R|-5AJa9r zU5{PXG#In6DBx`XLGdXyc0DEH_wk&VFpgaLn)jgjPI#86YR%6N=Qaoe@F z=OdRr1WWH%l0M#3Sk;&T2RJzOGFvWPeLu-M_XkuwNk`(45To=^NvNpNQW5_{*ZEP~ z+tYL|nAYzAL!&z1V*lgK*=%o&RyCT`xWwDHc%E;nG9$UNB6Xeg+)~yAn|?#Xq&R)7 z%;67`a>btBjV19C&N_sqq8mrX zj$Ny6T|~*GmcR~E%LlN<-Xkqcm;aKkx{0ny-kF&_#x%?A$6I4;asH9gHgtqd`8OfS zBKvpyB}jnp51cTcDyjITGm!x0*S&f=K5l$f_wa6}jqRG=&u7_)1jT+8daH3knP1e8 zx?KZeRaKyxLYj3Pe0$`J;{1Jl+hm$zZ-rQfjinDjn(aT#Fl>vdijcB*=lSih4XW>l zASEJWNm1vADCcId#t3KZwFp=cA>~Bn=HnLbS?+X$X?gld&dO6#zc)F^&vmx*wcD*O z9C|;TUD|m6urAf+ozdYpqg3Q|CDXm{Zar}oJSyNgLUBmZ5JpwK!U(77FHcC{7&(;s z6(&wlw_C?x{ed4w>NpPXTupt4Pa_i++&5SIVYkJ( zCrv2vUGE4FB*#6j_8vd;TrEm7&i3`s;52#TS^MrrTWxEcaTO8!HG{K|N%A$-%}!|ogWJs0(v3U|b> z;kx;XBCj95iOnItgDyNfI=}g?9XiYCx%6W8Lz?qCQzta~GX`)B?`drdlqJa*t}t4R zJgIy_L)dgt#M|rEaQvBMnMiqO1;W2=m(v~P9jK}8(H+sLD_nY#y6No1TPA9WH}u+U zfd;5vvWfpd`Rwd&KK|O0a%wMPGrE>NxffBF*xn-ahis{z9Zp|$b?2e@;ec`9^_3o0 z6&CkD{)v^ynah%k`TWz`=yb0eTGaxEI|U%Xkg*t-x(aKkZhTeZ7Ssl}r$Lne36>pV zyGKZbAm0v$5OdQu7567K=~5huXUrN$No64jDaSdN`>yblRSVqHrjAeIQSOkt4P4KAA|KLLsl>U8rLv8LB;YQmt8D8zGBoh>2|%^9tClT0EWtx>Z=Q+iJ2%!SZCw% zFPw&1<8E;RT?Q)5KNR%Mm<_xkL1vgHy*|4~I=C;@?{Th9AyaGQT`fRb5P7TjZJ?QZ zTmDmtZV#4AB%#sY>J?R8H%P|GzSR_U?)^Xl&`W>4>9cM)s_A6yjrX5-0ofJ@oAGP@ zp|Sw7q<~WN+5|d);tx)o20c#Vwj@j)IYw=M3#424hZ=n^@Cy|n+yEV%BwA54Ja8Y` z4Ucy^Dd_ryb#P7~8Ih;S)CgRTXH1Yd(S))9){c&P;PN>c4}V(m5ZSk>Z#W$|fFQpm zey>L$oHj^IP4^#Z(HT1iJOXDJ0kEFsp=a6obBZ7ym8+iNCoWJ5!!*rW6^X)Xo)@+n zwM$rfKxDEb`PHXs#tE_EmzbxQ^#|$MYOm{!w>}C&YWG~)HyS;gMU+a=-r}IKW0NX* z24*EKyV>RC06=&NK&YV5s15gSrzG7xj}5H|>G{|qKq^FgONYj1(FJ%^nq{}3v~9hx zYyfJP8e_%yS9v0pc<)p3>GLuIXqE1#6~5*=-b>&Oep1K`p4{%jThX}}L7hOik#3>Z zJPvp(FU+!NKU+~C)A9d5gkey z0kN^x${_hhU*5Tw;ih+xwG+1d(6nzgI+wpx3_%hbK-gyltLahIL2{1>^XYJGlkPUE zZB5?-|J=SMg!nt=5y2H8_#jsH)-kA0{Q3;q=pO&wm2mFkk6_Uc!OJz==AY@7Py(nH z?g1GV=bJw5&O<@%Yc0->KSw{EI;VL6;zAVXl9kViA(SPp^hTBUC`QA_7;u7wc=5*D zhunh?!Vkj|x;5f0Zm%rnA~XT(NWn21xDA@jB%yZU?Ie3?7G^j3tR}6{ElJA2TLH7m zN#G6h{|YYP7v_6FOWVA<#`o5&k-t7I6u_v1k)IcP?M2N^4-{6%a_z<^{!!OXX*KDL z(R%Nu%OyZj71DvrU7-oYfd~Q8$MPhzLayA0mk*S(5EmH0)^JkKvg@+9NdD?gJK!9i z`eZ#D38)6<*%IbwN%?kLb0fS*%lA2gouowVL_ygCpn^-lcAUpGBv6)*O@br!`zZrX z*H7g~n)ym0WM@tV{5uk4VPsJaSKH(k4FGHB_=Y}BIUsHw6lU=o{=IVam&xAivQizG z-0}(uvM3O#&m@z$xhY=3c_3>l@UQov6HreUY>QIFeGYYvgqSmmnsW}TeMty(bTzI# zzk+hucnSdF@*7phqi1-55h}U_=4?yH$ltpyw04Is|ji9@y z{wfT^Bi<+az=e(3YbCtXfy3KApKEYYAnmJv?HvKei_lG{ykfrXA>DWG7J!a(Zi8|- zZO;a}GMIMO??evj0hnbt3xo;aVMLKp?I8R#fC1Rh39vLaw!BR}wnm_)u22YIZZNr{ z1P={v(H$7N07IQNvMI^5&v`$4D#XFL=jZyV?9xQrfCr00L)00_jy6IJ&}Hs_^G#ft zOYcRjKb1Y>UQ+vh5fysNr)TePCz1%}!h^3zPLE!c0}2{k6q`_pvc!^FIqJY&qDd8TxG7SB;IOUfq;KNQHRdGiWv}6Lb8euj( z^ES8$0($7cKFi)-fS0KBPDHsbliilkZ7VWNEZaE%0fr^|it_a5$v|*@Ht!BCD~4m1 zS490gWDWFcTxwUzWWYbLKDYvScf$!wtZ-yI!CWfxm5FMM z6fsZw`0~WBVI|J#z7X*d2dPXp_zJfSk_3(`2iDogucdYYP2(sK;_Ua=Qi{;W8qOnm z$knO1u;LO@YJdY}ULb++OkZzb=150=8EneOMrYXf2W0*jBIzT9LRJaZz(a+Y)>hyI z;B-kUFUrkoRnB<;dBt2iutTh11EG~5pR#_PKs-Z;{}m}bR4lN`i@YL;fH+l6j{+#8 z8=f}(ly&``tocbkV0JbgkDLXY^qBTBabQ_ibkf$P2N;8KjEmoZVM6EST%WKO&=jwY zVous-^jPvFVo^t1Iwj_&9%}K(1>PF$x*w(geS}f?MwbB}UG=#Y%K5^?Eur7~C*R~8 zC;DhbIF0`jShw8)Yc%~Dm}#iQYSW3pV5I(3`W`7di59lb6B*c=tH)xGWj;0F9%Nf{ zmpl6i+ZiHz3=_q-uDbDgCr!Zvk08fxC4&zKRU_&tkImm#7q17@fscjmk~YuCRRD;H z2NdPS;zM=n1>BPKpjMpKg15W{h1*rhHjssn>hT#cuSl#~`Qbrn>uLju;lxD(h#S#0 zHu90(wu~C%(!;ubSMCh!r%B&cO^cr5wt=(`(sv0`Q|zSw`Xj41x8)|j`sctX7pCSO zNl8!_Pam7YxRzn;E~b;oI5_Aiyo?Me{M3C|CIxZ*o{^`8@g9{cf%qD0wAY+e$xy&O zlP(e)z4Jq0l0Th|$NWC8$cGREfiCI8N~fO<19?yrtN+G;%%gl3;sgkrSA0DGWOsg? zGJnF~N*f@JX_4Idok#`;DLf*$mfoz$L#pUZA?0U zTAJx};o&Jr%-j_H(s`tW+ehAJ4hs^(4%&_Xyp{S3f4&0-1RYhrTha5u;sn1RPssxs zOO6am5%k2SW}cVdJ;7$_itDm)Y==;|C;9EB>=#R_-i-$mwO361g#YTdBHLm9{pMcc zBN)4~r6zphfU~smuY6WO!>fSPO%t1$sm9mGDq;1;4Hso%ya(J@yuI7}8am#33bi+n zgFo==Vr(EQLu8iVT_soQi->MNR+P}zh7`X0XU&cBw7 z(3Yl!fifRp-v|bksCfed4Z5Yp2KYj=PKWC)^nE`Z4|qg4D-A%6@%U(GG53PcYNxgi z^N|@)uv82NSC8V?`Ma|k0IRDJ)V255ph2#X0>%z8R1nN!A0Rz@NKH{9?N?;PUFuUL z|A!AXc@ypRMLvhmYU-xV#k$%*9~byNx%GB8*^a*1aIm}%QZ`{6M?qA=^6OGS_dWM@ znSvZ^LEa}1c}M|U22&3X?u^~6|aMCRHPCXx8FOyV(pmC5eyR?RJD+=hS zxBHb3Pt_Uo6M`Eus(yVGpy`63x~bKirJ1hhOXyals#f=YG$J&MiOxc#P-J?)SM}KyQiB9Uk{RY@q9YZ@G_k>=W=zBbRpxfyCT-ps8^vi zn-^fu)!;>iqJ@|yWx>>?tF#>ws}5bdTdO?ZFEcy;IeM+7zKE;-jDN0>0(Ni16{XJO z+8NQOx_zr#tgb^5laI?SFk^v-4lNf%PuSgbrZ3m7OulEa@HV4fJodp@5R3a=ln`0*#UI$o zvI9&q^O!ZHwRVko=7sDN*;;e0lAWO&%N$m_+qy%{N7f*1mFk@1Ot{HkQ#dm|c~~+! z=_sU1UJ~7)RdU&Z(Q)j@gv!+6l5<|{`7u{V%6=syd!W!hm2$YUV*@oWeRnKu_^8>Z zCpX@5b)+f`eAJ!h%iY*erJ1DjfOpN!rx+b83Q_Wd5~7#5kKBG@db}yul13nyZX07H zdr~mgqiP9}5vhhRPLaBA)HR<0FRo2^u=*eOUr}5XUGKt3YM;xwwx+&)Dr}UVV)pdOKxtot8`+K46 z+vRe!_p zy!g^q+G}e(YnM9%D#0#k^cV`t&fo9S|LQT;#lQZG9+Thrv5GZx^U(Gd_)6<$*UGkHB#G)6^1I3e zZNIrT#(N5M;E`$s3Q}^j?9Vyooc%b+coZ{^4Cq6j7LNC_VgtTSI*>854{p1u6}}>{ z*Fyh_GV6~g{N5aQMlsmN`;3f9>SuYuUmS}>M)!|ya?5F0wE)(U>^ zATTmdf!~B_p67&*Cf$BH($f7BfwuddI=9G~K>?D*Xp=~G4*&N59#cLwexOlI9ZX)$ z{c^9sLIy{|z0edUrsxsxQskK9!fPKHN+_(idEDpot$5qRB5LI0S~BL@mau_GW)ngU z;LYgQE2DL-?Ma?%flYe|U{scDq5@!aNcjUV9Sp4f~#LlGXJp zv>AFF9Muqo(KXST0OYDiDqMS`#_$^AQow=uPHv5sw+il0@&W7KdAiHeuM>4K+#E}% zxzzCpo%nbeJZlMxSH*H{_s*44ou2XC4B|R_u~q1+QrtcYGolC@fIUi22S9VYl25C; z=U3t4i|UEP>gZVC2U5;F#gX)upF;kHoAc&89>9B-MHvXV$ z>{3Cu6lWHIg+R-kBysZScRp+D?|)d*@Y?=fwRA8T{ac*hd_yyVdsY>Bv`f))#JA~` zWObG&RdiOTpG{b<#yKy$PoQymxJ{f-4_av}vu_aEXD}NAQB~P0y*KA{{&u2F1fKjb z=W*@L9UF@z^(pT_U!+6U_^v##aqCKKHbLfj`B~RXhO;X(^h&cVkLxX3m78)i{aif?_yhRy)8T+)VVRGJ~z496t(uo{7|G#V>q0YBk@cn(1Z;ZPU=DS@xNvY zIQ;-J1z!E9Oo7dytn}u%(sPmA23?H-DO3H@GlG5Ju$MLjqGbcyj2~Mau_ z8PT03{U>8U_e_u18WVURGG}&vrGoc(9Oc07y4d4n{%383?fRTyTMA!&o6W0H z3g@JH)jVvhl=8-1Upkl@CdLcni%{{g(OKKt`>IgzjxP&FcEiHYcO-g?w+_YGh&QC5r#GR|c!h#? zC~kGKC>$_~=-ruI;=U%bV2!ZyQA0`8#t0Jj!xs;mt) zrKUI_MSt07y>`Ip*`|d-i-ZhCOVxFS?_k|2IHKn zHJtvjYVJ=Hy1+YaO^RLH!=4_nxE&a|`TZkk0G##tUg%9$1h2}ZqJ>u8xc%Kth31$; z12OXT-4qHp{f`_!R=#)Xapo!?bYA}pi#yhN9`8kjDnG)eZt08h9O0jA=2206)OKkJsKq(r3CeUx+>{Cll=Nz~8M?6kH?f7xl8cGU?%f++ z3+Pi4S--LK54ff@hwK!G0H3S)pwmldmOn{w#vfp*G3pJ%r(&k^g3yOQ%>yXOm^J#t zZhD!)b@a*gSnL8Elo1y<&uBzi#!&Yp-OwOwLC5s35_K|}H601+lY{Wl0^JsSrhC@T zqGkhIA5K8XN(TCDkuOPKFU8Lmob9WX>J`3bu3nnn+{A2&5|dAO(j0!A@JtBr`Dc*P z!NU^WH2A|ld?3j04Y}nBE zowVhBsz+W`AB15X;H?FA9JPwy!a|&gI8?Yimr!&^C3HRL^UaWl}DZIcxH`b(!P;x_*) z)on@}BAt7*Sf?QLCa`Oi-N`28!w{(#=`;2Q#I6FR5T(1iCG0EYesGmpS`?WgXYjet zI~WgdRkq3gVguijUW8ngNrKIEmi(C>y6ay%^%4cHQxh4%?^J@AQ4mjL9`n+B=a+*)N zI4%)G3cI%5>_5eoX~HEuBv=Y%-$q+DU53q!(E30-f71>MSVc+qp>wO9NoR8KtSf9y z1PZ5Xr^jmtV@Ee|EEZnZw3bLSFME>*AXv==rX@xlt{B%CdIjO4&J=-r(my``9qPr% zt6jGG!*xPQytjN-p5FWQ#M#F`!U?}=Cuui*ljg+fP_IwdHPOk_pux8MtzI7TeB8A? zdaOnr%-`eL^yTSZdfS`BHI`d8S$%T*;LsSlo7;zmO5zONoaLNiq=8bhVkc z6B$2&3~0F)6Kv^Hcv5l>7Je+ZZ2J9Q|{xmh9& z-}F_I&Q+ojAu`}>R>U9YQ5@Va#;FAf-n4D+$c#aWnm%C^ej?7h@H%0O$p}L((#WL1 zz`T5LHyQmOM7DZ*ZG%{SvRpvaU1Uo2G$)9+84~HkAspkcz&mcWIrhoe+$<7HDgoa%c>W>TBTB^gW_zy4ndY*gqf_lhZh z-}?UdgK{QtneH87?{0i4lT#Ai+MRi_}nj7}+gV)xhOk)#|k1@%Z)I?TTtz8k@ z(B&LXO8z?_{RT%I{cofSY(-ZY9G3PFMbN9M+vo{7U9=uJ}C2;I@R- zanBo3?{PD6e1quVWfWT|;yZjF|NncO08;W(&)Yw;G^tu1lh1(y-lll|7v4J9cANk= z;@Yq8ujcv?KL8XfUDCO?XaJCH1bx8WuDf<@nGONcVi#*GB{}@_yJ7yr*M7yn$`np_ z?%~to{x$Oov+qzO0lHN}+om!kGRQWr_>ClNaxe(E)1-VUM4m6i#ju$6I^`ti0^Wte z628{euaAN}pn7q;*ikx~w{)m$tPEWqP>QjZn^qK|oRE>w7te!ev-n2bL`Ud$iz58H zaD#C$VKSu$0IMj3j)qY8YM_r0aceb=nmZ1tSCz0hdni7IZ}1+U;8Zpb&e$8Zd73POe{Qbo;t560^L^!BN4H zo@r+40K{`Rw4L_se4tukRU+47U(-VGYvVCWAf6JSC5BeOZ2*el-x=g$E=fT3lCDss z2+rc4TK+A$B>Q$d5~8#D7nzZb(0N1k{?>w1Xwun-JwZPB2~?o7WgS-;0E@~JV~tp= zIhQ&CLM%02k9h4~(3EEaT|GB~WXy;M(KS6>Tb$H{T1gyndG+$z6X}ZRW9aLK=RvMIeQX7!j@RSNGc61GB>=~?B z!`5k_1l&vZaV!ELae)*3mFMy(uYTU@4%RZQC^V2xU}6Xqd*_n*kY3yY(2qSW))$u# z1UT4zk$_mW>^*`z{dBo=AeVi#tOyjl0u}prfCC1(5ZBf|$ShrJ9RjXSMh@W7b%4t{ zu>tnPI`G2n;Cn%eMv4?B%VGYT*VdF|Dzqwq%F`$W`IA@^>wxUvkQXX^SeAFY=33#DK{obe zjVL=8mvFIiO7ZMk-`RH@d4y&T=u~zT8!0}X=wzC`vup!Yr8kj|VlrUmVjz5wz$5fA z!tW{o1z#7<^Dfv}$NK#y4R}xfjAB#evLr|7V0P)x-x31(4SGrBrUVbh~iV{`1NQ@Q5o0;@eqzJ z^!Lrsp!X>_CWjxgu2XAeY|iwg6JJ3g3Qf}^biTzvxXi93mbjeAPxq|%MqBX7J*Y?2 zK~FXzNcbHvOxzn4I#32$m9I2b+}Gh#0@-84L(ew+1kgW>HP=0k2YGx>O=JNGu9JJZ zM+0~^QVjU{i>Y)ACkDQ-BcTD$wi94f`bn06Vf3N>GzJ8K1W?%(`i%qe42o|7hP%=2 zAUbG%A7hme%;+OeoE$i~E}Ah4nRgHe@(vs#Aea+o3h+jqvsoL0u(0*4{~$Kku8TmI zZ2RHVbf>qCGSJ_?e$=LWj(d<~Ekiz2mY5+xYFT){LQ-FNNsYdXSy~k%tG6^xXb0vM zgve|rkp$`ycVLkVbGzsoIIMjBJne=7`j#)>*9hJHpP*CWPGcO>agM$vY=}im(0HxR{6L#y((&(%ZA%K$LH20kE7kd@N?@az* zwD9G_<7JhL%pZfDth*lwG-&4_zw)Q#YB`JYx=8iYC;^{J<=jP?m-d_^$JAiJqAB}1 zwM2P0vyP4mkW~(*7pbsb257f(V*Y_)6s_aq>j2O%5g@IH*#~#IG(F$0D4W{xD}jfe zhg<@iV3zFo;xfW3cCo?w6q9Euks^owGr{5-3%_9I`{3*Nl$IQ1>(3aXAE2LjHch5X z!GfV}g{J_4w9MQM!C`Tm%~OCt#|x$SohSt}S$dXH3Cyn)Ze`E=S~>viNn8lIkTV;Z zePlxc?lRRK+o-9>(Gz>=yRcVDlsCT|=U&iuk)@1XlcK$-5Cfm9RRG+f zvgfV%*N(pcG<-QqAV}jH#jJ$vq}O~GC*&_4MR!LJ&{>iZTI8F7KYNP+88Vw2@2n~( zCVjj3?~<04)kjP?F$G9Fl#~%RspHr01C(-N(wRRHsP5PHJ5f=j(9znE6=1NnwyQhx zbi5NR4J|3-SIYg1LhHiCv}UxaDfEGWf#nat!>pgh@9r`HUuZ;w2>ZogJ?DG`wpw!b z_nfs2i=n}c&@Bpmal0LH!{Cm;DD=SH$HGI2AGK3^B)Qwg=RGoKjc#hZ+(p)Q@oqRc zc+NBmcYd|&!wC2Tz&*iRw?!zL>pJlnf1)`lfaHK#KaaS7K5kv7KD)!qeQ6+c;Ba|# z;xuZ#Rx&_}+J}OsORv>ff+pCEX@>+1xe+QoOondR>CNWLYcAdhs57~62SNg(f>YD@ z4UK-j*zTgw2bnV>cb+qJ={*N$d`=1dEmyq$FH3Shth*BAx&QLF;Vm+m$Dm2{M(j4f zp$@EEC88by!b{WCHEOdVfF-S3l!+Le@446LV#pMzud`a{x@yJM+;-ZaT6-@#mu6|D z%hVL%#r@yPm*!Wte#69IxDz8rP@XlUdt?nB$7Dbfmp@!f)l-|KT(@Wuc>KT)B`xo7 z?;M4vB!+^CxVghqs+>MW#a$T8Eg~#e#h6+=F8n@WhUrzu+^&fy#0%b|DK39nR~_|> zuW(eRn!%14dRSY@;9*e5uvdSZqfCFtMe;&YUaa4*;!Y_&sKrd(iW)N#H+|Pld_P7_ z;&jfiVh$>yZ!JW{Jb0pJGPK$7#fwof(Bsj8jPF!pGbDMn3+pxsK5bKnfqaEGY*=Am zaUQ(JhhoAV5_yPFf-lZHY)p0H?1o+{^~@5q#SzK$|29oPs#vyXj7gv$;XcL0I|W*Y zp+g1k*IWz#DEMGDlVI<$CcNnf6)$kET0LDAxj2iUbrlPK78d@|j(?Lmhd}8AQ@#5& z4)L`GttLXRh)RdS59KnzPvkb7kej+h6qYWV|RyEoIOKqK) zg-(q9^6`2}rr8{p9`T(AsL716bV00aXWv)~Zi6qH;l$ffH3!CbqXeSJu7f&#M~<9X zZZZ5#3&2Uui_4z8*gEOZMk-~i#JT)&G3$=N-WSJJ z5_0TPHE8IcW6KYfeHXM1orP1T9xzw7y5$CAidM6M2!q~$kLCg>2V2)J_mP%I+;EQ_ zWK373!I)=3M8Z<|cp%4gMCuZ1Ol*O_vlog8yZMb(3_Dj<5=19#rrfH2J|4~Q` z6e)xK^alj<+h{qYFCy$KXkRjhh9|ENHu@To>I-vQFH}{{haU&JaWcFyAzm*_IGtCo zuWvQ%dm%IUbz526%U|DLo9G3@vBo*P4&MFzcp-Goyj*g|*@vzP`JhQZ)T?}a5XkSK z!x?oG5Ky`v?<6EbR(~UJTT0M)_dw}6+-n5+V11YRJ3*jAVq4o&XAlnILNiNFn~1ha z(0xrcW-{DIG9d&;Bs$nww`&+A~@0((tG0fY8Ql(DB5JoacPF=kyrHL-bhMn zjuhT$!Dm&*7e?2|%tsftue{-N-%z^MEnTa)I%Kq8e^3+Ua=|-9;9fuy-#YGsUoqNy zEF)UObm8AvDV=il&0S_&9S)JLNdj@#z0UXZT(w_u zr|yQA?dJbnLb=}$hlqz92W;4prmX$&5K!pmouvz>m%iF&poDE*lxu6+311Q7b9+9`6QUd2R5hqzCwF*PD;l*Rhl1uNzCo&HY+FB1E1t4&F`AHA{2v zU&C~_>8NCmFg_HQb}Z_Irk8lNe#1c7FG(q`L~=|b=|Jj82EG! z&;Oh1=NT_Uo&Te@w~mUcZy2?uL?yjxDG>#c?j8h5>FxnU1f)BM5CNr;mKdZzuRBKQJ@Q%-*wWZRYx2*KXr(O}|pQT(>5H0cM)3aRpeRr0fO8@D`dQKq(e=a21HQsHH=wXjKYBq?7Z_qM$M`R5LfceO zHCYwvr~Db;z#rw|H`4Ag7wr0g=_|Owcvz9JBir!2Z<~1Z?1LWX7gF<{Sejs@HOtgx zeQN61%LkKA9}8tw6+lLG*N6qxf!_(`doP{5_=!4_0+J@84{81@llB^^W~k0~`F4}O zJMj_gNpR>%&XMQ8A#|ZQ&x#AfiSjCf`+0dRI)AV-08zg-a;)wDu5>5n(P;{_FgOeT zD(U6lC@S!$Ums271e1MMUY4kzH5J&v+Vx?^rePp0!PaNJMc98{?`Of z+s}ASRLGNQG|Q4iVXeJDlaWa}_7$8z_A)d9+6$k_hfOLO;%oV&4C}9QP_uSa>YQBy z`f}v|q%V6g{a1b2>NwG=aF}Ra-kS1+GQdaCD)is|`rLo@>+kesp1mURW>VPa82WLa zartSlA0h*;R^gUBXAU_vb7U~#>U+5USxzbOr}mU8UFb}xVpM7Y+V+Yba$ZkvTQfwjN%hIeF4=U(z!yPvpF!cm#^O+)OZ}0w z(wQL8^#?5kzvX+|>M99mchJaWh(y!4u{vwAx`$}F^cS-eRj#3_XKIX9C9Gmf~-cDCl%EZZLV0Y-Ra>ssmDpy>*{aeI(JNbNeC zlp0GL3a@#(0zV{paLwW_XE=!==Yzp0|L)R)WtZ&jF(mvvPW*j(^tc@3h<1Y2L}XRC z3p=$*n{;$}$4zN!Q7$6qfK!)fCOB1tZ$;9MT~4$qGJcSP#FvOvRXIy=VjZC9k;1Tl zbkRkJr@KFeS&g%@iKQB6TG$qG-8?X3#t`EO|NnZ*mbGtzpR=L39nhCJoNQ|CaBOu>)7e?I_RLB(!cRyGF(N4VCE+Xxd)nr|~e!O&J6IEXUFB*~|R;@|vy_ zt#(n$0ge8&PltM1sJI5m)_=S(l7ytZJ9ak;S|Lf^b16X*;9koeS-Fed`=9#v|4$`l zhK<9l>J1-nVykgW;Qu6kSI>(E&j?=z5Dqf=6-fRB&pRE77R0@RnA5<`{Qh0+{&vA> zE4?O!$n_cH6a9E7%!p;0iw!$NfX4O1onKaz&>rt#%oN*1EDe zr9dicrM``v*Sm+*}jAMMf&2g~W?E7e$8<}QWq<&zAd*uoKPja%s z|Aw6G^g9$IGsUR?q@kHxBaU(nZ?#p&4n(>sXVv09=uQ%rUnml3>dG_rLQk=W0G5ir z+QXJZ?v`eR)|tfsnXuo?sb-Pf%1tmA)V`tP1i#Ca#R-Fo3&ggo=v?Z z!Iw$y{>fCpNx4nYoj40>py!?BS(Hn<{^!DAJzP>Ddqu&f$oW>Tckh8`HUbBt9IENE zr=PgTz$^W(WrOBT4O#S|sr(Kssd>#h8NR^$FOI!Bulbi_%R;6{c>if0J2%zBeto zi<3R9Mgw2cXlql>zxs+5Y(5g(i6Zyt4i>PoTXwLhosh<*Req+Gm%SARsi<2&<4VDFv=>SqQ`srRl>%kS1p=N*;ivsY6t7$usZ z77g1(E1f}w$%%eP3?BfcTnv29FZr#sG0wk#bl;&SjNKTCTP}4X-p)Ub_b$L7TFALA z9xgw@IO!F;L!tqp^uE8(iVF((+;4m&+49g`bY}MP`1QzX{$8qP?6i47b_3DiDId5< zuS;{QAjvht5D3t<|Sn!V*s@uB&97UYo(~LSvYa>(f`=i|N3pYzO9Ebm-`iE!88&1Io4h(`FrwH zj91hzDI-6WJVjx@G8!vAd%V~G0;^cm-wO}|Tx6$z0q?nGjL43j_;_Y-K@1>9B?&@g<8`Dg}#{E@}iK4Ap1NgC&uJ#Cf zjA5z&eG2p$Gxb4<&NeOb_f*ca8Dgnn@(WELz4dJIRHj_tctyb-^=+hD+;3h@dE#6Y zoE|smb6;l{*Eiw)A=<^_V3U58pIB>EsaEWeGbmYWT3euT-8=G_+i$BpmEOUJtLW@~~3E>KVyjm_GtAFR!GUEM= z9v}^v=k@=RA02;qMozH<=QnLzU9qY7IN!E(74{QIA1_z` zn8=?2K;vHBuvL4mkm=$wMTX0=0uaInLjO=i5nvk4+$-DGAP*VT!zFP0L$2Sb2L2EP z$h9s2GN`1F!JAWe?kZUVKfLxmf_>U?w;XiuJ;G>Oe{GuR(D`&OJcE-*#XFsh#satECGPPqdALb2VDsLR z*w7+v{@A<+`Tw$c?f=-k{Ma^`Ktca5gRh{=bKP-g^NMJixE~3#LMF*HfENBtXncTh z3ZV2Zg@UYf?^^gX+J9U4ZRLPX=tmbx8P-|4EJC1wf7)f|EomnB`yy=IO@b_C!-+En zXyJbVl-}m@ze+FJ-Ph{(%97(iTZJrxVEsF#7yVyK?+-%?jP_+IsCbDMkizG~{m&Hs zNyg4$>VU}IO!9y$K}CW`i|-Y`)a8q;c!nZGinIYVZIQ9pv0K0r%0t7fN2;tDFZD$^ z9Hfr22JrQj7Ee$Epxkj<47=TfuCU;!`-xXb>o0V87jr{^3pKzgAjO9scNapi=Ls5g zi^s|#BD4Z>|DBVLY<$3GA+WX%*$xGg(jHj{nZwl^AO8*$5!iTzTXMp}=^lqfTP`T% z@OB>_F`5EgxDGX-ny&=Ni6ZXDsFujKsE!DknV|G?1qlOBL|tcp{9!2qFy#45{%XC` z)qi^U+unbB_^yDtj72U%+XCGYI`RwkkE{-#00snf69ICiSHXWJ*krFuq8osTI})dx zElmU9e-P~n%mq;O4DMS%woTR<&mq50fWZcbeCdPV0fi4B*s}xx!7c&__S^p?*lGa5 zzJEus9|8nh2O!w^0v9vsUVyJQ@tJ&T9RkrvC1AM`xxi;A21Y>i$&{$enc+qaVu+H_ z0}D6I`>)ko3na^PF(K?8!+)e+C3K+Cf2Uk#`-1`&?nGAO*L&tItx2E?#V9)r8#3@V z3$_9yT?>vLZSxQX#tOzN-rW=O0CuQE0;s%X0MG4%q`yG9xhXqDK-XWb9qQ zPy|9ChED<<*8tS-;eIC&Hu;Hg{>$l&`|I>l{B?TI3xF8D$G5u}z6-D>=c#}gKJR~v z;TsVFG5l#DhA#*OEIgMx_gM~z;e$s1;A?FX0AG6o_}ZM!!vz}JA}2jJ_tH-j)Y zO#om22mIzlZca`A90d zCymboabJiGN-=`>n$|T9gJ}=X6MB57Su4>TCtYs6Izn@l%Rny6q?n2Kk_7k!BV~Xc z7ZntX)Geu)<-bZiGO(|6hy{&|vU==a++A!Tb)9>j)(sF)cO)-A+SzxuI-@&&0*>CG zyP*SFKnkCw2PkVt@=!j!OW`~JN#W1t0x5hbFnoY%4|uEVmr<+^M9roCfoX zP$;ypYtG}mCoq`(bzkr-B*cDAX%CZl@@ekVMTB=c`dbxcL2p70V%4Skf_j=c?zvIX zrk+!l{V2v8zc4_~&TXDTe)5q9V^bRh({|7t2spz`S!8VU&!DZc+vyL>60b zj!l~{P5bMr{eAat+(&m_5ANZMFf{K{zUiNW`a>>mZJ%I>nu?Ut;G;TK&b$v=4X(wS z9drh=@vbNX?cAAK*px?)`Y=jnd`4@4f%R_*!j|;=YhY|-K8GS*SFWQ%>E?~t;2KDV zC3X7I3dUK-9#08|V{!QkKd$ge7PIRixk1Go>({wH=%30S4HT~ zc7U;f7(E&YC7E*x|5bsXW(ho-djjK@9 zjFRN*ZvLPSTo_9S(s!E@ql_r&Ez`!ju;*IN?TMNX#I}HEGP&L9YKO6zlf{JGI3XpF z_ZrH#K=$hU>Sm351h>e9w~>kq(&IC-LgQx84HcVQkp1(O!H)-xpabvG9S)YYxrzJk zQzUPa?QpZiK6FW*)%`@;75j`k>$eg(JpR&Zx{Pe*j6%6+Y2i9e8T;%^+1_S&7$(YN zww+B}W|QH%n6A)wlrM+09W}0DEqFe?vM=N03-C2{c>Ws2W+i3UFl35izhHxg!Bb(^ zy9-MmX`@%Y{P%w;C*-N`Uj2qN$l$h|hNGblF)B{%O2rt z{B0by4wdG(>{!1RJ##|Maa&HpO_+k)P87%nkG?KojRb5Zv86#!3CW#N1+naf^{E@n zx&$r2f-n0@$BG;(ePEjle)zd<4D2;ewn8AzVeKTUKU=YP*p+h`;E#qEx@dEd`_%I_ z?3YLX?z>2Gu#Fx8MU|R8;^W|!YY7%?v2!eq(@%#Gx7c7ODf1n$oDm$gj#cKkHvY$p zy<=$;a?`*Hw0M_DeQOrCcO%o|*%00y` zuKrbVTmG9rD4XiOw*FF`G7Xt5!QF#25q4mL^Q)oowiRVY%#Ko~^V)U%AQOpHEKwGm zkTzX{w28+F*uRX!6wQI%a7!6C#Dw$$_Gp1TVuj${MfPas2lUh2LiX5X9 z2OePmW-F=RuX`%x;Ntj$dI>B*VF50R?p{4xk8)<*z`&H1}^-msG4M|PgY<+n}Y|ou;?!^ls_j4anIBQerJATj};_|ZR!fEH2`sbI3 z7t*yA_37HY@kT~+uZXDe%sfp~b!dAkb#F@D&Gz_;4NY$SH&*$W2xe;WvK@RlL}N89 z>T94Uv^uAL={v-Ze$@eVx$w0*?9@DO)5(^{aGd??*epcOkH#-Ox@K5DK@H>j1v-a2 zF;09QVLcF{XCjVx;aDsLiWzOHNYE2(zp;R@z?&aGk0JD;8mtxO#)e!((u2rpR&LJ3 zu%wOmo}mf?8QL_ebj*v#rT0cTZkH2-rZZlyGV&bxsH!;Ck#|lq?1bC@8`{GPoJkIq=#KVRMmnyQlzJK)e!~_Q(` z$n?BO9av3@T-yV0Q<*LFn_SGx1q1L`I_uuw(s^&r6~HX3e2#;8LNG?9(n?!!aH27d zpru5h$J0iHT#(^o)rEk`_Z2bG%?}rdvb_D*UsyQ@DP6g>Q$3Sq3)gyS`y82d)p?@B z=P||+tOE{1fHbL#W8Z$bE$qHOV>4UXv-&2phVn2+ar(nevyMPh&t<3IbhCDZs&`P- zz*+lC(2CF7-;js?-!*l+Yd?;sYlPH89T%XO+B0w}66pK>d>@9m0YaqM)Y* z5=^xGk`{)V$KG0f(GKDxB4U$u=<%u3La!)yH4NFr5w_ZdC}D?it2%0fy07;UuDYDx zeB!37qH|>M{`u^CM!L#<&xLMa)@Cx0`z+*>T67h6@C&KOV{@jO;-jw2D7!p*OL9&2#2A;2(Q+iW%SmBO%M=iQ#=HdO~_sB<=wQ1FN2 zS%l&~igLC}k*dNW;nOv**sRn-@a$MPn5X*{W9O0sdf+3+3yB_mZ!dhlmo=jy!#~(N zRg7W}x4z&*P7$cXo42`V=Gk)*?|dC7xrf+!JNs0mWb{i`>LjXCDEN*zAXo1_Cy(2l z(NF_D&QOCzXTIkaqzZ3zrFbL7+mARL{t0K&m}d*fW9y0QZragSusA7Ym#o*~G1cqX ztr6OY->qL!|5o?Fzjr0>K>MVj?yUJw^ftk<&OJYw8Z*8p2I)5pG5AEGt< z)$=?COMt-rYtIF7TtlCmBbJDaj-=TmjE$LYdhJCsNJy_Nc19GtR`0W6`MLToqb`>{ z56JJ-u%8Cm1`I3I5wvwh;nC)c5GfK8Mv&hirBgut3f|ld^Q(xnV}r7JQGw^-9;$PP z>9)AEEh_)m_nUw|(kOQhH7ayAO7_Z{^J0ygr0YqynDUosHh|pXPnvoBeT)=$#iFMa z_A)1-=@D<vb~LMYKv2BC4sO z`6R|7$qiJReExijX@_`vASg=d#F)CuH0jVHCxcUzv{+aWO`+Ip7X!ir*{UO>#k3Z| z^<9govF6*ef!x#~2lz+zi)SVjN94F~?!#q~jF$TEvkTjmz7@Z{up_&cK?j+h``*^~ zwI}mna&-j_;yvNI+PGJAq=F?=se)@oK0|0g5D2o%+VGx}C9pwUU^m9c;}jT!VF%QQ z)f5Du52g9mc0AH2=P}_}EpI-)IegB`W$I5A0#w-HnCd&Fy3xWw*Wp0;tPTT6p z9E{?7i(+G?jN@>GL!)cWUr7~Qn&`f8d0kdG+^FCjHFBKam_!p@wS$oYI`?}O!T7RC zGj5K5Rovv;hWhx?Gg@|aY353*#2`KU5ms+77gXke!f<5KjopGOk~9xbTgHX>A$LjP z_669pDKFnNYc@k=#AyeYKGwxJj`7@!Gr`NI>dbhY$no(dO%M*jOr!S8haLf%=@G7{ z37f& zT)Gthkl{A80WM~-E$X@@tjUqJ$P=832%~r^-JGwp&gjB5GUZdO+${l;x%jeC^Wm+j z&JIrLtkJI}pMSchrw6MjR!!;_o)P>*fhrZQaoPZ}{Zz%3k{gisb0Awj#Dv45;R~qc z74Fv6y+S?(+UFZ*Ee-4s(H#U&wss7fuRq(_@YP)v&iSnz3X`cp-i$X0j6X8Kw}LsK zv=7>*sS+~vIN4grH(o3|=FE5+D81YN*^Vep#m*sCjeEtla%fvn0ZLA(?78Nf5>7B( zM5}F#iTzq9B7GED+sKwM$_shZ?TjwgIM9s8fq7iqbHJmFVa303OF#8&`VAg=4^zn(`qhVTbmshcy8UjD9@}HHOV>aw7*j$OQrcwie`W15?7@WiCOGQIE(U&EN^Ec7<4HEg|GvpeoY`Km2(Jr~Cr!#GQ}xau zf`Br-Hf6)L*pZd0^2jeoXR&Mq7s_Ld0hUhE&;YUg=2qAX}d&+C*V5;xm!z z_RoUXmRD}uO#gBGps#HVMx-0zoH&gUE_o#EgfymWiS#T2gz8V{jP%{fX(=9D;fzn9 zvwLw3lZ|YjJYhLgV6VLy89J-7`w-@{_NT2Po;UdcT))8CQ)R6(iYl`{AG ziE}c>VgLtZ2Cp=!g3_3~f^wDOR1~RNNr_wl8JAJY=C}roa+gy|o9~C|eLB7WqxF-qSjblC1uYrwU|hgorSwDCRN*=?mhmWHCT zJp`PH4DFkYsMjhY)z7sc`FBr`QX5yzwy{fo9;$xp`14tWzhXsuuf?UFso7i>+mDbq z|N1hn-%!yhgk=u4Ov6>U8d()Q5?u2_d_*{+sJv)U>_YZ?@y4vs^Pd%@Qj>E_` z9l9jb9a9ehM-($ZSkc`B<`QF+Mz>+)!(_K~XbzoHth)*hCKz>zjD$FcVeO&w|90R{JINH3an-}qX*;(zNMv!MJ8eu z=mM7rWk0P&M;*!tIJ8adk=rT!fR5vF0{7ei8C%ySgNCDe+*7r1#6yv}Kry3YGZ zMtFl?R#>?Xf%a|SYJ>YB;ks8=prqUBUi7u~k!EEFbBvIqepinlD@>S#Cy(?T<`j%CTQ>Uz)#8 zU#Mhds1NW~YQFTtbyq1OT)281YIpOF5!mUPq5fKnPQVfxq|HC*2i_gJ@}~Y7$hx^BkFF40TQ;Y`48InT#@u$s(HS6@-$ z>$4aHf0zJWs-BQ^lRsa(TdB}ti;}Oq-Tcs8gNV-5X9&!pO&>wH*z#fKrHxs)Z*bp| zt+7=tw=lI$f0Lb!^1ab!@9p36=CYnUukFw=FAS&EMyg%)D-e6P{*&KZgwgD)*Vx{t z>Gh4bPTN=CAM1W+rSkKcKKHE+-f9j`p`%jGc3_+HxKK62cYZ=h;D`CvRFm~?1a^?E z?7f&4=wwfz+aMG?F1O3Vbavjx)W*N)JZ>0T{wWr~=RB->=#uOMbNUV>{9r@|0paV+Cp;{=4ZP3 z%mGrM_K(J-V&b($rsqyYk6iMsT?~wi>+>&kv5p&1LE zP0q?;>5T|JPx*ekl;}R|3}t)+fR$kAK=9^Jz?fXNLr52 zzdr$F(wwJSe;zc`X%IS%#LQRk7jdNB4eM$JWq$k61{$rO+~%%V+HvY@138)Ibb^u{ z&|^>SX@shl_PevD-%PH=Nu=P4eppy4`YpmackZUjVKr&+sne z=3d#Z^%*i6#BwA5E8y1gGG;-UuyNGNg31IYh9C9<*w?1m>22OE+`ek|!88TrS*x6dX>y7LH(VHYHecbgpGX0Ou#F!1;;({6AK{ zcYE8)$|qK&IxD(J0(<26&DzE+;WeK+2Njq2OHH&vB&&n8rZ5w?-tCbn*~};!m~0_H ze@y`&sa91{&s(bOB{G>SoY0hVFGsQdat!S|*r)9V`}NaH=V$q$*E6xRk-1+W^~>&y zA`|E67Fd^k8PO>PfDaO0gg9$$yA)Ro$e2uV2ep*nw(kuE);%}&+W&gpp z@+RPHYo9S#Njd8HmwsAJiskaHK8yr7xHe&E&ANe>j^IjYRL~aq1!cO`Yv%pCgB~(r z=?EbR@=ZA5e?5_Y`51b4=myCwglhcW!v5?a9;Kf;n2EYStZi}bJ&gf1x^7i{TMgGW}W<`%$;SA3j zNk>q9l;)zmfTQ45x9TRmAUz^>yMeuj<=-4E^z}E^^Z=IM)Ic)mqUW=vuzY--3W1PM z;Pe3HYvxHM9m)aM_>XH6d0Kt0^M1QB)iJ=SVqaiXQ;ekU%jye}mwHZg7mxZy)=RP3 zT9|K!a5+%=s9i?O3-#M-ll%4tyS{r>F<*DL4Q?{onCpmYx(b+7;XYD zaNQEXXO<5p+B(43fmz@vEtZx$kSZ0;;pwK8p z{sdWi=m4*D3nbi1rYa5Mls-16(gH~ncj|OPopgjFNX8i^ zaFpCy>v=xwOaxq9c~U(vqIKsEuHs(Rx%~v|eaEqs;?xod>%G)9Y4;4m7_Zx}=)S08 zQQB0y`RQj6JmJi1M5FE?YJ5qc38ycJBCB|(RFe0^xoP-2Pko{iH67CEX;NW}iSwjSnPTX`YlH_=J5+or@a>f-(^ zGgz^%R9gih(W0%Xfn4h}2Mik__Sy~yOSmI^vSo1TLEA4oGM{X||3VFvpJWRhZ z??5Zp;(EfHytUp$eNIFBW5kQGr0WfzC~a9!2*i7G^-bC|-MqrB*n=Vnpbr+^)}GyZ zqCWqio;>IM4C8BJ^doCJb^py=f&u2|Gten1^8LMDWdbr8Vy1)!5!RecV7N}jq!EEn ztdV;BqHcBTb*i8rqfWnaCPevk53-O7M4rWRGbeplXxgF^{fxMt)%)$BWbm2S@`9-1 zzGS~n&6dlLP%tHeNT`XX`jV_wvt%j-U(88HG!POgBn5HP36@jrjk)OVRJ?&4C68cb zDFELx_Bo;Y>=d?YqJy1u`|ad6rrc*<33{$Ew+jwInWCHAFI^5p2V!*y&G39|TJ9P0 zdxrG+z=lffw6i&Ho0VGTjh?)D((1WBffYTjtBuJe^UD$1cNXje;lRl?=16_4$s-E1 zrVEKwUNk$SACXToC`4c2nuUJLV9hxRcqha=r_>w7h0@}E@e2Z*p-?LR2_S*|oa!-x*!R%}uOaC?K_5yvQh8() zgbN}+m27A~YYZCiXOHN=$oqERm-2PXj@Cx*ZKbcx7WEI*#uHEg;ilpc=V&IUh~CH& z-noLq@!Ml-RhSt;IIhlS$VrRX$Zg8z?dz;t!LeI~KRK#jr1Oom}!JM5%d*Z8a>iW%*>B|5eI;Nby<+a}nGXd~SvQBzV@ zTF~OZ8-dcXFyGFnFnNX?a%?zwP~imZ3e=%_SC25wleL|uJwVWBzz9^5X| zbz|wP4aYjKQYwG`)luX{!8^I$4JRS|{mh$Af9xiAO6=g&t~St&fWSZRsTAg^>K%sK zrcIQ((56wDZ36qHU21a<_U>ts7=X~ohff%Gv9joALzTEQHY?!1o?}5J5Ec*??65yT zMw@HnJr-nHkAHRJcJ{&_E+A`fqsEQDIFT)=Fs#mUCUW)SYNf6c&;_$BaVa9~=r4VbdXddG}F;>I(xiLd|!l~Qrj zy1~tlakamQ$5?>&@Zr>odoWI0LbOz1Gv{zE9^!l=)LqLlWZtct+pUQ;J#5 z4f2)Ez~+xZmRP>8KDUUeNeP#1K3!>sJyVvi{$dn9q*XUfOl;OZTZB7+O zRMaTxTS9l4W1Y!`BrK0&J~~3aH{ib^(P88uZ5u26Sq)CD1*^@6o&50JG_7pnF^n_) zFl|A49P_9mLg>N*-k3nN`fS70Pl9T}lY zZibZyI?JhAEV)yqr<1$v)$hU`bhxQKe9I`Xky{U-Vzm-7A)Pv?H!qrxNefZr%-7Yc5XpC?p9zP@)(pz<%W@6>dkg znj(t=CGoNJ1Qs<~7qsx8C$iwY@Lw+ji^`Y3J{#y%ekaDA6x1NCY-zvn9ZRRip8u9c zt7Mya_(0+r<)+w^9Vu@UqBqYl$+_rSOBpfAV+oBD@zH`Hz&$Zca{SNtUea&A>fcbX;r+KNAMv z^?~7S) zCBFsvE?w2M{+4rbt~)VFk)cp2hnQ2z`vRZs-w##&$1RtuU_#?RPcj8}a4(*b*&g7+&nRZWV3jccDU{aAEgIV1 LyAP{85AXdi#)@|@ literal 0 HcmV?d00001 diff --git a/verify/results/shim/aiorders/cb-c5b-turn1to2-pinned.txt b/verify/results/shim/aiorders/cb-c5b-turn1to2-pinned.txt new file mode 100644 index 0000000..695cb7c --- /dev/null +++ b/verify/results/shim/aiorders/cb-c5b-turn1to2-pinned.txt @@ -0,0 +1,46 @@ +aiorders: out=C:\SOTS\shim.aiorders.txt probes=0 of 20 +aicfg words=32 deep=1 research=0 seed=pin pins=3 detours=2 +aiseed pin netId=32 value=0xe70a4703 +aiseed pin netId=496 value=0x0c63ca36 +aiseed pin netId=512 value=0x372be4df +aiorders: batch hook StrategySim::ApplyTurnCommandBatch rva=0x0048f9b0 va=00a6f9b0 create=MH_OK enable=MH_OK +aiseed: StrategyApp::RunAI rva=0x004706f0 va=00a506f0 create=MH_OK enable=MH_OK +airesearch: disabled (airesearch=off) +---- aibatch seq=1 blocks=0x012ff5b4 n=1 stride=0x1b4 ---- +aiblk seq=1 blk=0/1 at=0x012ff5b4 pid=16 rate=1:0.25 target=0:19920344 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=1 blk=0 pid=16 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiprobe seq=1 none installed (aiprobes=off) +aiseed call=1 netId=32 observed=0xbe649c5c used=0xe70a4703 pinned=1 +aiseed call=2 netId=496 observed=0x2200dbd2 used=0x0c63ca36 pinned=1 +aiseed call=3 netId=512 observed=0xd418f3f8 used=0x372be4df pinned=1 +---- aibatch seq=2 blocks=0x1e391ef8 n=8 stride=0x1b4 ---- +aiblk seq=2 blk=0/8 at=0x1e391ef8 pid=16 rate=1:0.25 target=0:0 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=0 pid=16 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiblk seq=2 blk=1/8 at=0x1e3920ac pid=32 rate=1:0.8 target=1:144 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=1 pid=32 nonEmpty=4 sizes(1..27)=[ 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 ] +ailist blk=1 pid=32 list=1 off=0x070 size=1 +aielem blk=1 pid=32 list=1 idx=0 node=0x1e3746b0 words=32 f0=1.74428e-38 f1=-0.00012207 ints=[ 12447588 -1191182335 1869508424 1632378994 6644590 -1721931907 11 15 2135936087 2 44 862815264 862815468 862815468 -1564249672 0 0 0 -1109545122 2 41 855303880 855303948 855303948 1013849056 0 0 0 1727786879 2 46 862671456 ] hex=[ 00bdef64 b9000001 6f6e6f48 614c2072 0065636e 995d677d 0000000b 0000000f 7f4fcc57 00000002 0000002c 336d8420 336d84ec 336d84ec a2c371b8 00000000 00000000 00000000 bdddaf5e 00000002 00000029 32fae6c8 32fae70c 32fae70c 3c6e1be0 00000000 00000000 00000000 66fbef7f 00000002 0000002e 336b5260 ] +aivec blk=1 pid=32 list=1 idx=0 at=w11 first=0x336d8420 cap=51 count=51 ints=[ 863131624 0 0 0 24 31 0 8 0 0 0 0 0 0 15 0 0 863130944 0 0 0 24 31 0 8 0 0 0 0 0 0 15 ] hex=[ 337257e8 00000000 00000000 00000000 00000018 0000001f 00000000 00000008 00000000 00000000 00000000 00000000 00000000 00000000 0000000f 00000000 00000000 33725540 00000000 00000000 00000000 00000018 0000001f 00000000 00000008 00000000 00000000 00000000 00000000 00000000 00000000 0000000f ] TRUNCATED +aivec blk=1 pid=32 list=1 idx=0 at=w21 first=0x32fae6c8 cap=17 count=17 ints=[ 863131664 0 0 0 24 31 0 8 0 0 0 0 0 0 15 0 0 ] hex=[ 33725810 00000000 00000000 00000000 00000018 0000001f 00000000 00000008 00000000 00000000 00000000 00000000 00000000 00000000 0000000f 00000000 00000000 ] +aistr blk=1 pid=32 list=1 idx=0 at=w2 sso=1 len=11 text="Honor Lance" +ailist blk=1 pid=32 list=3 off=0x088 size=1 +aielem blk=1 pid=32 list=3 idx=0 node=0x339c8bc8 words=32 f0=0 f1=4.03574e-43 ints=[ 0 288 18 1 633685498 -2013235968 61229892 61229880 61229868 61229856 61229844 61229832 633423110 -2147453440 863640144 863640336 863640016 863640416 863640432 863640576 641549570 -2147453184 865897512 865897512 240 181 163 53 641287438 -2147452928 61185480 61185492 ] hex=[ 00000000 00000120 00000012 00000001 25c545fa 88007500 03a64b44 03a64b38 03a64b2c 03a64b20 03a64b14 03a64b08 25c14506 80007600 337a1a50 337a1b10 337a19d0 337a1b60 337a1b70 337a1c00 263d4502 80007700 339c8c28 339c8c28 000000f0 000000b5 000000a3 00000035 2639450e 80007800 03a59dc8 03a59dd4 ] +aivec blk=1 pid=32 list=3 idx=0 at=w16 first=0x337a19d0 cap=104 count=100 ints=[ 0 2 613324733 -2013248257 0 0 613455803 -2013248001 1065353216 0 613586873 -2013247745 0 0 613717959 -2013247489 1037465456 0 613849029 -2013247233 0 0 613980099 -2013246977 1065353216 5 614111169 -2013246721 1065353216 0 614242255 -2013246465 ] hex=[ 00000000 00000002 248e97bd 880044ff 00000000 00000000 249097bb 880045ff 3f800000 00000000 249297b9 880046ff 00000000 00000000 249497c7 880047ff 3dd67770 00000000 249697c5 880048ff 00000000 00000000 249897c3 880049ff 3f800000 00000005 249a97c1 88004aff 3f800000 00000000 249c97cf 88004bff ] TRUNCATED +ailist blk=1 pid=32 list=5 off=0x0a0 size=1 +aielem blk=1 pid=32 list=5 idx=0 node=0x3324d2e0 words=32 f0=4.03574e-43 f1=0 ints=[ 288 0 1065353216 0 0 0 0 0 603410151 -2147398144 12329660 528 2 0 65535 0 65535 0 864157696 32 600395489 -1946071296 506948320 858051440 858051200 15 864209288 865040320 1 864209288 864157697 32 ] hex=[ 00000120 00000000 3f800000 00000000 00000000 00000000 00000000 00000000 23f74ee7 80014e00 00bc22bc 00000210 00000002 00000000 0000ffff 00000000 0000ffff 00000000 33820000 00000020 23c94ee1 8c014f00 1e376ae0 3324d370 3324d280 0000000f 3382c988 338f77c0 00000001 3382c988 33820001 00000020 ] +ailist blk=1 pid=32 list=23 off=0x178 size=1 +aielem blk=1 pid=32 list=23 idx=0 node=0x337253b0 words=32 f0=4.03574e-43 f1=1.74089e-38 ints=[ 288 12423408 865896840 865896864 865896864 538968065 1018011388 -2147163360 1969644882 543516007 1684107860 1750278245 28777 1 1 2147483647 1018339065 -2147163104 1701407809 1918312558 1634427749 25959 3481707 1845493810 16776960 538968064 1018666498 -2147162848 1701407809 1918312558 1634427749 25959 ] hex=[ 00000120 00bd90f0 339c8988 339c89a0 339c89a0 20200001 3cad9efc 8004e320 75666552 20656567 64617254 68532065 00007069 00000001 00000001 7fffffff 3cb29ef9 8004e420 65696c41 7257206e 616b6365 00006567 0035206b 6e000032 00ffff00 20200000 3cb79e02 8004e520 65696c41 7257206e 616b6365 00006567 ] +aivec blk=1 pid=32 list=23 idx=0 at=w2 first=0x339c8988 cap=6 count=6 ints=[ 12422480 1 2 61179324 1000000000 0 ] hex=[ 00bd8d50 00000001 00000002 03a585bc 3b9aca00 00000000 ] +aiblk seq=2 blk=2/8 at=0x1e392260 pid=496 rate=1:0.8 target=1:90 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=2 pid=496 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiblk seq=2 blk=3/8 at=0x1e392414 pid=512 rate=1:0.8 target=1:282 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=3 pid=512 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiblk seq=2 blk=4/8 at=0x1e3925c8 pid=0 rate=0:8.96831e-44 target=0:0 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=4 pid=0 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiblk seq=2 blk=5/8 at=0x1e39277c pid=0 rate=0:8.96831e-44 target=0:0 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=5 pid=0 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiblk seq=2 blk=6/8 at=0x1e392930 pid=0 rate=0:8.96831e-44 target=0:0 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=6 pid=0 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiblk seq=2 blk=7/8 at=0x1e392ae4 pid=0 rate=0:8.96831e-44 target=0:0 boost=0:0,0 g4=0:0,0 f3=0:1,1,1 civ=0 +ailists seq=2 blk=7 pid=0 nonEmpty=0 sizes(1..27)=[ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] +aiprobe seq=2 none installed (aiprobes=off) diff --git a/verify/results/turncommands/cb-turn1to2-pinned-run2.json b/verify/results/turncommands/cb-turn1to2-pinned-run2.json new file mode 100644 index 0000000..275bb7e --- /dev/null +++ b/verify/results/turncommands/cb-turn1to2-pinned-run2.json @@ -0,0 +1,1018 @@ +{ + "capture_version": 1, + "lane": "CB", + "guest": "VM146", + "build": "cb2-20260908T2251Z", + "captured_utc": "2026-09-08T23:24:43+00:00", + "instrument": { + "words": "32", + "deep": "1", + "research": "0", + "seed": "pin", + "pins": "3", + "detours": "2" + }, + "workload": "turn1-state.sav + one End Turn, AI client seeds PINNED to run C3's (third process)", + "note": "PINNED, run 2. Third process on this workload; its own natural seeds differ again and were overwritten. Same block, same autosave.", + "binding": { + "input": { + "file": "turn1-state.sav", + "bytes": 64967, + "sha256": "a3f9dc4b49fc669c814b09b87a9c6795de21bac80a1c7bfe3901b8e239fa36cc" + }, + "outputs": [ + { + "file": "(Autosave).sav", + "bytes": 66746, + "sha256": "d59bb9f2fd0eb5358c35954fbf2fcb70d06bafbba2560e0fa5d3f906bfb159d8", + "path": "../saves/cb-c5b-turn1to2-pinned-autosave.sav" + } + ], + "control_run": "c3-turn1to2-run1 and c5a-turn1to2-pinned; all three produced d59bb9f2..." + }, + "ai_seeds": [ + { + "call": 1, + "netId": 32, + "observed": "0xbe649c5c", + "used": "0xe70a4703", + "pinned": true + }, + { + "call": 2, + "netId": 496, + "observed": "0x2200dbd2", + "used": "0x0c63ca36", + "pinned": true + }, + { + "call": 3, + "netId": 512, + "observed": "0xd418f3f8", + "used": "0x372be4df", + "pinned": true + } + ], + "list_size_self_check": { + "mismatches": [], + "note": "every list is measured twice, by walking its node chain and by reading _Mysize; an empty list here means the container layout agreed on every list of every block, which is the evidence that a zero size is a real zero rather than a wrong offset" + }, + "batches": [ + { + "seq": 1, + "blocks_va": "0x012ff5b4", + "n": 1, + "stride": 436, + "blocks": [ + { + "index": 0, + "n": 1, + "block_va": "0x012ff5b4", + "playerId": 16, + "gates": { + "researchRate": { + "set": true, + "payload": "0.25" + }, + "researchTarget": { + "set": false, + "payload": "19920344" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + } + ] + }, + { + "seq": 2, + "blocks_va": "0x1e391ef8", + "n": 8, + "stride": 436, + "blocks": [ + { + "index": 0, + "n": 8, + "block_va": "0x1e391ef8", + "playerId": 16, + "gates": { + "researchRate": { + "set": true, + "payload": "0.25" + }, + "researchTarget": { + "set": false, + "payload": "0" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 1, + "n": 8, + "block_va": "0x1e3920ac", + "playerId": 32, + "gates": { + "researchRate": { + "set": true, + "payload": "0.8" + }, + "researchTarget": { + "set": true, + "payload": "144" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [ + { + "list": 1, + "member_offset": "0x070", + "size": 1, + "elements": [ + { + "index": 0, + "node_va": "0x1e3746b0", + "raw_words": [ + 12447588, + 3103784961, + 1869508424, + 1632378994, + 6644590, + 2573035389, + 11, + 15, + 2135936087, + 2, + 44, + 862815264, + 862815468, + 862815468, + 2730717624, + 0, + 0, + 0, + 3185422174, + 2, + 41, + 855303880, + 855303948, + 855303948, + 1013849056, + 0, + 0, + 0, + 1727786879, + 2, + 46, + 862671456 + ], + "vectors": [ + { + "at_word": 11, + "first_va": "0x336d8420", + "capacity": 51, + "count": 51, + "words": [ + 863131624, + 0, + 0, + 0, + 24, + 31, + 0, + 8, + 0, + 0, + 0, + 0, + 0, + 0, + 15, + 0, + 0, + 863130944, + 0, + 0, + 0, + 24, + 31, + 0, + 8, + 0, + 0, + 0, + 0, + 0, + 0, + 15 + ], + "truncated": true + }, + { + "at_word": 21, + "first_va": "0x32fae6c8", + "capacity": 17, + "count": 17, + "words": [ + 863131664, + 0, + 0, + 0, + 24, + 31, + 0, + 8, + 0, + 0, + 0, + 0, + 0, + 0, + 15, + 0, + 0 + ], + "truncated": false + } + ], + "strings": [ + { + "at_word": 2, + "sso": true, + "len": 11, + "text": "Honor Lance" + } + ], + "decoded": { + "record": "NewDesign", + "wire": null, + "note": "polymorphic object; carried as raw words and decoded strings only" + } + } + ] + }, + { + "list": 3, + "member_offset": "0x088", + "size": 1, + "elements": [ + { + "index": 0, + "node_va": "0x339c8bc8", + "raw_words": [ + 0, + 288, + 18, + 1, + 633685498, + 2281731328, + 61229892, + 61229880, + 61229868, + 61229856, + 61229844, + 61229832, + 633423110, + 2147513856, + 863640144, + 863640336, + 863640016, + 863640416, + 863640432, + 863640576, + 641549570, + 2147514112, + 865897512, + 865897512, + 240, + 181, + 163, + 53, + 641287438, + 2147514368, + 61185480, + 61185492 + ], + "vectors": [ + { + "at_word": 16, + "first_va": "0x337a19d0", + "capacity": 104, + "count": 100, + "words": [ + 0, + 2, + 613324733, + 2281719039, + 0, + 0, + 613455803, + 2281719295, + 1065353216, + 0, + 613586873, + 2281719551, + 0, + 0, + 613717959, + 2281719807, + 1037465456, + 0, + 613849029, + 2281720063, + 0, + 0, + 613980099, + 2281720319, + 1065353216, + 5, + 614111169, + 2281720575, + 1065353216, + 0, + 614242255, + 2281720831 + ], + "truncated": true + } + ], + "strings": [], + "decoded": { + "record": "BuildOrder", + "ordinal": 1, + "designId": 18, + "systemId": 288, + "trailing": 0, + "wire": [ + 1, + 18, + 288, + 0 + ], + "record_words": 4 + } + } + ] + }, + { + "list": 5, + "member_offset": "0x0a0", + "size": 1, + "elements": [ + { + "index": 0, + "node_va": "0x3324d2e0", + "raw_words": [ + 288, + 0, + 1065353216, + 0, + 0, + 0, + 0, + 0, + 603410151, + 2147569152, + 12329660, + 528, + 2, + 0, + 65535, + 0, + 65535, + 0, + 864157696, + 32, + 600395489, + 2348896000, + 506948320, + 858051440, + 858051200, + 15, + 864209288, + 865040320, + 1, + 864209288, + 864157697, + 32 + ], + "vectors": [], + "strings": [], + "decoded": { + "record": "SystemRates", + "systemId": 288, + "wire": null, + "record_words": 8, + "rates_memory_order_u32": [ + 0, + 1065353216, + 0, + 0, + 0, + 0, + 0 + ], + "rates_memory_order_f32": [ + 0.0, + 1.0, + 0.0, + 0.0, + 0.0, + 0.0, + 0.0 + ], + "wire_order_unread": true, + "note": "memory member 1 is wire member SRsc (lane RB, from a replay that regressed two leaves when the memory order was used as the wire order); the other six memory members are UNREAD. Values are certain, positions are not." + } + } + ] + }, + { + "list": 23, + "member_offset": "0x178", + "size": 1, + "elements": [ + { + "index": 0, + "node_va": "0x337253b0", + "raw_words": [ + 288, + 12423408, + 865896840, + 865896864, + 865896864, + 538968065, + 1018011388, + 2147803936, + 1969644882, + 543516007, + 1684107860, + 1750278245, + 28777, + 1, + 1, + 2147483647, + 1018339065, + 2147804192, + 1701407809, + 1918312558, + 1634427749, + 25959, + 3481707, + 1845493810, + 16776960, + 538968064, + 1018666498, + 2147804448, + 1701407809, + 1918312558, + 1634427749, + 25959 + ], + "vectors": [ + { + "at_word": 2, + "first_va": "0x339c8988", + "capacity": 6, + "count": 6, + "words": [ + 12422480, + 1, + 2, + 61179324, + 1000000000, + 0 + ], + "truncated": false + } + ], + "strings": [], + "decoded": { + "record": "Population", + "systemId": 288, + "vptr": "0x00bd90f0", + "body": [ + 12422480, + 1, + 2, + 61179324, + 1000000000, + 0 + ], + "wire": [ + 288, + 6, + 12422480, + 1, + 2, + 61179324, + 1000000000, + 0 + ], + "record_words": 5 + } + } + ] + } + ], + "list_sizes": [ + 1, + 0, + 1, + 0, + 1, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 1, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 2, + "n": 8, + "block_va": "0x1e392260", + "playerId": 496, + "gates": { + "researchRate": { + "set": true, + "payload": "0.8" + }, + "researchTarget": { + "set": true, + "payload": "90" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 3, + "n": 8, + "block_va": "0x1e392414", + "playerId": 512, + "gates": { + "researchRate": { + "set": true, + "payload": "0.8" + }, + "researchTarget": { + "set": true, + "payload": "282" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 4, + "n": 8, + "block_va": "0x1e3925c8", + "playerId": 0, + "gates": { + "researchRate": { + "set": false, + "payload": "8.96831e-44" + }, + "researchTarget": { + "set": false, + "payload": "0" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 5, + "n": 8, + "block_va": "0x1e39277c", + "playerId": 0, + "gates": { + "researchRate": { + "set": false, + "payload": "8.96831e-44" + }, + "researchTarget": { + "set": false, + "payload": "0" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 6, + "n": 8, + "block_va": "0x1e392930", + "playerId": 0, + "gates": { + "researchRate": { + "set": false, + "payload": "8.96831e-44" + }, + "researchTarget": { + "set": false, + "payload": "0" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + }, + { + "index": 7, + "n": 8, + "block_va": "0x1e392ae4", + "playerId": 0, + "gates": { + "researchRate": { + "set": false, + "payload": "8.96831e-44" + }, + "researchTarget": { + "set": false, + "payload": "0" + }, + "researchBoost": { + "set": false, + "payload": "0,0" + }, + "group4": { + "set": false, + "payload": "0,0" + }, + "group5": { + "set": false, + "payload": "1,1,1" + }, + "civilianRatios": { + "set": false + } + }, + "lists": [], + "list_sizes": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0 + ] + } + ] + } + ] +} diff --git a/verify/results/turncommands/cb-turn1to2-pinned-run2.tcb b/verify/results/turncommands/cb-turn1to2-pinned-run2.tcb new file mode 100644 index 0000000..68f1878 --- /dev/null +++ b/verify/results/turncommands/cb-turn1to2-pinned-run2.tcb @@ -0,0 +1,38 @@ +tcb 1 +meta source cb-c5b-turn1to2-pinned.txt +meta input turn1-state.sav +meta input_sha256 a3f9dc4b49fc669c814b09b87a9c6795de21bac80a1c7bfe3901b8e239fa36cc +meta output (Autosave).sav 66746 d59bb9f2fd0eb5358c35954fbf2fcb70d06bafbba2560e0fa5d3f906bfb159d8 +meta control c3-turn1to2-run1 and c5a-turn1to2-pinned; all three produced d59bb9f2... +meta lane CB capture_version 1 build cb2-20260908T2251Z guest VM146 +meta extension vN:a,b -- a vector whose contents ARE known; bare vN still means unknown and must still be refused +meta batch seq=2 n=8 +seed 32 0xe70a4703 pinned +seed 496 0x0c63ca36 pinned +seed 512 0x372be4df pinned +block 0 16 +gate 0 rate 0.25 +block 1 32 +gate 1 rate 0.8 +gate 1 target 144 +list 1 1 1 +elem 1 1 0 ? +meta string 1 1 0 w2 "Honor Lance" +list 1 3 1 +elem 1 3 0 i1 i18 i288 i0 +list 1 5 1 +elem 1 5 0 i288 ? ? ? ? ? ? ? +meta rates 1 5 0 memory-order-f32 0.0,1.0,0.0,0.0,0.0,0.0,0.0 +meta rates-note memory member 1 is wire member SRsc (lane RB, from a replay that regressed two leaves when the memory order was used as the wire order); the other six memory members are UNREAD. Values are certain, positions are not. +list 1 23 1 +elem 1 23 0 i288 ? v6:12422480,1,2,61179324,1000000000,0 +block 2 496 +gate 2 rate 0.8 +gate 2 target 90 +block 3 512 +gate 3 rate 0.8 +gate 3 target 282 +block 4 0 +block 5 0 +block 6 0 +block 7 0