# gas-dispatch: lossless weighted coefficient dispatch

Credit: Taylor (gtmcknight) wrote the Gaussian policy, filter, replica and qm tables. The complete contract below preserves that credit in its header. This is a local gas experiment, not a board submission.

## Changes

**Measured result: 235 gas less at the engine peak, 496.311383 less per callback on average; the 40,000-gas target is NOT met.** All 32 per-seed edges are exactly equal. Both strategies have zero OutOfGas and zero other callback errors. Fast peaks at 206,076, below 245,000; its runtime is 20,772 bytes, below 24,576.

1. Replaced only `cw0..cw19` and `cw` with a globally weighted alphabetic binary decision tree, partitioned into 32 small functions with at most 16 coefficient leaves each. Profiled stripe word access counts on Taylor's replica seeds 0..4, 5,000 steps each, using the unchanged qt1 Python reference; each weight is `max(100, observed_count)`. Dynamic programming minimizes weighted comparison depth: `cost(l,h) = sum(weights[l:h]) + min(cost(l,k)+cost(k,h))`. The floor avoids extreme paths for unobserved words. Function boundaries follow the resulting tree. This is the only executable edit: its joint measured saving is the 235 peak / 496.311383 mean above. These numbers cannot be attributed separately to weighting versus partitioning without another experiment.
2. Added one explanatory header comment, with Taylor's attribution retained; zero executable effect. No assembly, coefficient blob copying, storage change, basis change, fee conversion change, or new policy/reference is involved. `stripe`, both `surf` evaluations and all their integer operations remain verbatim. Exhaustively evaluated all 306 indices in both dispatch trees: every returned 256-bit word is identical. Also checked source equality outside the dispatch region after removing the added comment. Thus coefficient values and rounding are unchanged independently of the sampled fee tests.

Runtime grows by 167 bytes (20,605 -> 20,772), leaving 3,804 bytes under the cap. The 40k reduction target misses by 39,765 on this sample. Do not compare 206,076 directly against the brief's published 208,775 as if the difference were this optimization's saving: this sample's qt1 peak is 206,311.

Qt1 was extracted from [Q](https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40): 42,990 source bytes, SHA-256 `c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca`, verified before editing. Q's Contract design and Notes and limits were read. The QMS1 reference blob was decoded from [qm-spline](https://api.imd.fun/artifacts/17d249ab0c33fc44931d9b105cf3f9e3846a560bd518b67310c2a56defacdecc) and its full SHA-256 `3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e` checked.

### Checks and method

- Setup: pinned challenge and Taylor checkouts side by side in `test/scratch/`; ran the explicitly requested `sh ../amm-sim/setup-fast.sh` once from the challenge root. Wheel shared-object SHA-256 `ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14` matched. Starter validation passed. Later Python/engine commands sourced `scratch/env.sh`. No repository configuration was modified.
- Gate P: unmodified `python3 -I ../amm-sim/research/solved/gates.py` passed before optimization. All four columns match [Taylor's published gates](https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md):

  | seed | perfect | Gaussian/plain | Gaussian/qm | lattice/qm |
  |---|---:|---:|---:|---:|
  |10000|448.261189|443.455598|443.522608|443.663520|
  |10001|576.779199|571.463409|571.623551|571.977293|
  |10002|531.886497|525.168028|525.865859|526.411631|

- Gate Q: no new Python reference or fee policy was introduced. The original Q reference is retained; no new 60000..61023 selection or 10000..12047 score is claimed. Dispatch selection used only local gas screens, never engine score changes.
- Gate F: 50 replica runs, seeds 0..49, 5,000 steps each; took the first 2,000 callbacks of each, exactly 100,000 total. Replica routing follows Q's original `QMRef`; both EVM strategies receive the identical callback stream with WAD-encoded reserves/amounts, independently initialized at 100 X / 10,000 Y. Every pair of 64-byte returned fee values is identical. Fast versus Python max absolute fee error is **0.0000045730487712586365 bps**, below 0.01. EVM checks use pyrevm 0.3.7; the Python reference is stdlib-only. Replica and synthetic screens are not engine scores.
- `amm-match validate contracts/src/Qt1Fast.sol` passed: `Strategy 'TaylorGaussianQMSpline' validated successfully!`. Compiled with the challenge's solc 0.8.24, optimizer 200, viaIR, Paris. Runtime sizes were obtained from `deployed_bytecode`, not creation bytecode.
- Engine: exactly seeds 9800288..9800319, each once per strategy, fast then qt1, independently against the 30 bps VanillaStrategy, eight workers, one 32-seed chunk per strategy. Used [Taylor's harness `run` and `paired`](https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/harness.py), with gas reset/read around each batch. Configurations use the exact pinned `MatchRunner._build_configs` body, changing only `range(self.n_simulations)` to the reserved seed range; its RNG is independently initialized from each seed. This avoids allocating 9.8 million unused preceding configurations without changing any draw, draw order, or configuration field. Batch wall times were fast 57.915 s, qt1 53.795 s. No reserved engine seed was reused. Both edge components (submission and normalizer) match, and every submission difference is exactly zero, not just within 1e-9.

All following gas statistics are **local engine measurements on these 32 seeds**. Means are `sum_ok_gas / ok`; there are no failed calls hidden in the denominator. `paired.worst5` ties are listed in seed order (`edge` is fast, `v2_edge` is qt1, names inherited from the harness).

```json
{
  "approach": "globally profile-weighted binary coefficient dispatch; original 306 packed words and all fee arithmetic preserved; 32 subfunctions with <=16 leaves",
  "seeds": {
    "start": 9800288,
    "end_inclusive": 9800319,
    "runs_per_strategy_per_seed": 1
  },
  "n": 32,
  "runtime_bytes": {
    "qt1": 20605,
    "fast": 20772
  },
  "gas": {
    "qt1": {
      "afterSwap": {
        "calls": 349704,
        "oog": 0,
        "peak": 206311,
        "mean": 137967.4611614394,
        "sum_ok_gas": 48247773038
      },
      "afterInitialize": {
        "peak": 90858
      },
      "callback_errors": {
        "oog": 0,
        "revert": 0,
        "other_halt": 0,
        "tx_error": 0,
        "bad_return": 0
      }
    },
    "fast": {
      "afterSwap": {
        "calls": 349704,
        "oog": 0,
        "peak": 206076,
        "mean": 137471.14977809804,
        "sum_ok_gas": 48074210962
      },
      "afterInitialize": {
        "peak": 90858
      },
      "callback_errors": {
        "oog": 0,
        "revert": 0,
        "other_halt": 0,
        "tx_error": 0,
        "bad_return": 0
      }
    }
  },
  "edges_identical": true,
  "mean_diff": 0.0,
  "differing_seeds": [],
  "paired": {
    "n": 32,
    "mean_diff": 0.0,
    "se": 0.0,
    "worst5": [
      {
        "seed": 9800288,
        "diff": 0.0,
        "edge": 418.9985017484821,
        "v2_edge": 418.9985017484821
      },
      {
        "seed": 9800289,
        "diff": 0.0,
        "edge": 657.4507614998981,
        "v2_edge": 657.4507614998981
      },
      {
        "seed": 9800290,
        "diff": 0.0,
        "edge": 401.44834912854674,
        "v2_edge": 401.44834912854674
      },
      {
        "seed": 9800291,
        "diff": 0.0,
        "edge": 478.1584423108849,
        "v2_edge": 478.1584423108849
      },
      {
        "seed": 9800292,
        "diff": 0.0,
        "edge": 450.5909152103592,
        "v2_edge": 450.5909152103592
      }
    ]
  },
  "gate_F": {
    "callbacks": 100000,
    "bit_differences": 0,
    "max_fee_error_bps": 4.5730487712586365e-06,
    "seeds": [
      0,
      49
    ],
    "callbacks_per_seed": 2000
  },
  "dispatch_audit": {
    "words_checked": 306,
    "identical": true,
    "outside_dispatch_identical": true
  },
  "fast_source_sha256": "164c979f77c702b8654b09af413e78de0bd6cec6b8834cb8612646c4cf1a00e5",
  "peak_saving": 235,
  "mean_saving": 496.31138334135176
}
```

## Code

Complete `contracts/src/Qt1Fast.sol`; supply the challenge's unchanged `AMMStrategyBase.sol` and `IAMMStrategy.sol` beside it.

```solidity
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;
import {AMMStrategyBase} from "./AMMStrategyBase.sol";
import {TradeInfo} from "./IAMMStrategy.sol";
// Solved AMM policy by Taylor (gtmcknight), amm-sim 4812a638 research/solved: Gaussian filter + qm tables (qm_k1e-5.json),
// fee rule of real.py's qm variant (sd level, phase, synced flag). All credit for the policy, filter and tables: Taylor.
// Lossless globally weighted coefficient dispatch; fee arithmetic and packing are unchanged.
// Tables compressed by qm-spline (cubic B-splines, QMS1 blob sha256 3ac7cb88...); filter, 3-slot state, math and fee conversion
// from trim-2 (port-3's filter); synced flag stored in bit 255 of slot 2.
// Taylor source: https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved
contract Strategy is AMMStrategyBase {
    int256 constant U=1e18;
    int256 constant LN2=693147180559945309;
    uint256 constant M64=0xffffffffffffffff;
    // slots[0] = m (int128) | v (int128)<<128 ; slots[1] = sp (int128) | r (int128)<<128 ; slots[2] = fb | fa<<64 | t<<128 | cnt<<192
    function getName() external pure override returns(string memory) { unchecked {return "TaylorGaussianQMSpline";} }
    function mul(int256 a,int256 b) internal pure returns(int256){ unchecked {return a*b/U;} }
    function divi(int256 a,int256 b) internal pure returns(int256){ unchecked {return a*U/b;} }
    function ab(int256 x) internal pure returns(int256){ unchecked {return x<0?-x:x;} }
    function clip(int256 x,int256 a,int256 b) internal pure returns(int256){ unchecked {return x<a?a:(x>b?b:x);} }
    function ln(int256 x) internal pure returns(int256 z){ unchecked {
        require(x>0); int256 k;
        while(x< U){x*=2;k--;}
        while(x>=2*U){x/=2;k++;}
        int256 y=divi(x-U,x+U); int256 y2=mul(y,y); int256 q=y; z=y;
        for(int256 n=3;n<=29;n+=2){q=mul(q,y2);z+=q/n;}
        return 2*z+k*LN2;
    } }
    function exp(int256 x) internal pure returns(int256){ unchecked {
        if(x< -42*U)return 0; require(x<60*U);
        int256 k=(x>=0?x+LN2/2:x-LN2/2)/LN2; int256 r=x-k*LN2;
        int256 r2=mul(r,r);
        int256 even=665280*U+mul(r2,75600*U+mul(r2,840*U+r2));
        int256 odd=mul(r,332640*U+mul(r2,10080*U+mul(r2,42*U)));
        int256 s=divi(even+odd,even-odd);
        return k>=0?s*int256(uint256(1)<<uint256(k)):s/int256(uint256(1)<<uint256(-k));
    } }
    function root(int256 x) internal pure returns(int256){ unchecked {
        if(x<=0)return 0; uint256 n=uint256(x)*1e18;uint256 z=n;uint256 r=1;
        if(z>>128>0){z>>=128;r<<=64;} if(z>>64>0){z>>=64;r<<=32;}
        if(z>>32>0){z>>=32;r<<=16;} if(z>>16>0){z>>=16;r<<=8;}
        if(z>>8>0){z>>=8;r<<=4;} if(z>>4>0){z>>=4;r<<=2;} if(z>>2>0){r<<=1;}
        for(uint256 i=0;i<7;i++)r=(r+n/r)/2;
        return int256(r<n/r?r:n/r);
    } }
    function pdf(int256 x) internal pure returns(int256){ unchecked {if(ab(x)>10*U)return 0;return divi(exp(-mul(x,x)/2),2506628274631000200);} }
    // Hart rational normal tail approximation; erf(x)=2*Phi(x*sqrt(2))-1.
    function cdf(int256 x,int256 density) internal pure returns(int256){ unchecked {
        int256 y=ab(x);if(y>8*U)return x>0?U:int256(0);
        int256 n=35262496599891000;
        n=mul(n,y)+700383064443688000;n=mul(n,y)+6373962203531650000;
        n=mul(n,y)+33912866078383000000;n=mul(n,y)+112079291497871000000;
        n=mul(n,y)+221213596169931000000;n=mul(n,y)+220206867912376000000;
        int256 d=88388347648318400;
        d=mul(d,y)+1755667163182640000;d=mul(d,y)+16064177579207000000;
        d=mul(d,y)+86780732202946100000;d=mul(d,y)+296564248779674000000;
        d=mul(d,y)+637333633378831000000;d=mul(d,y)+793826512519948000000;
        d=mul(d,y)+440413735824752000000;
        int256 tail=mul(mul(density,2506628274631000200),divi(n,d));return x>0?U-tail:tail;
    } }
    function trunc(int256 m,int256 v,int256 lo,int256 hi) internal pure returns(int256 Z,int256 mt,int256 vt){ unchecked {
        if(v<=0)return (lo<=m&&m<=hi?U:int256(0),m,0);
        int256 sd=root(v);int256 a=divi(lo-m,sd);int256 b=divi(hi-m,sd);
        int256 pa=pdf(a);int256 pb=pdf(b);
        Z=cdf(b,pb)-cdf(a,pa);
        if(Z<1e6)return(Z,m<lo?lo:hi,v/4);
        int256 r=divi(pa-pb,Z);
        mt=m+mul(sd,r);vt=mul(v,U+divi(mul(a,pa)-mul(b,pb),Z)-mul(r,r));if(vt<0)vt=0;
    } }
    // ---- qm-spline lookup (QMS1 blob sha256 3ac7cb88..., 10,167 B): 5 cubic tensor B-splines over (row, column, sd level),
    // ask side only; bid = point mirror. Coefficients int16 (1/8 bps) as PUSH32 immediates, 16 lanes of (c+32768) per word.
    function cw0(uint256 i) internal pure returns(uint256){ unchecked { if(i<6){if(i<4){if(i<3){if(i<2){if(i<1){return 0x946594cb947894aa80009489986280009852988098639846984798398000983e;}return 0x800087468e9780008e0e8f578ec98e158e788e1f80008e5094a4800094f3941c;}return 0x85468606840d83bd83d783a0800083ba873d800087b1869b872f878f8732876a;}return 0x81d58254800082018339800083ee82eb852d826f82a5826f8000828185cd8000;}if(i<5){return 0x81d9800080ac835583a5821481f381b5800081cc859b800086c7835882588326;}return 0x830881b581c4817880008197835d800083aa82f881cc8294819581ea800081b2;}if(i<8){if(i<7){return 0x800080fa81bc8000817382a281c282008133817680008162831380008331826f;}return 0x80c480e780e27fab817e7e178000816b81ed80008297818281ed809481258205;}if(i<9){return 0x7fd67f03800081ea80848000808a80737fcf801e802d812580007d4180f88000;}return 0x80008000800c7fee80147ff4800a800e80007db2801f800080207ff97fdf7faf; } }
    function cw1(uint256 i) internal pure returns(uint256){ unchecked { if(i<17){if(i<12){if(i<11){return 0x80027ffe80017ffb80007fc27ffd80007ffe80037ffd7ffb80087fc38000804d;}return 0x800080007fff8000800080007fff800080008000800080018001800080027ffe;}if(i<13){return 0x8000800080008000800080008000800080008000800080008000800080008000;}if(i<14){return 0x8000800080008000800080008000800080008000800080008000800080008000;}if(i<16){if(i<15){return 0x80008000800080008000800080008000800080007fff80008000800080008000;}return 0x9158964b93b0958980009481985a800097db98ac994497aa987297c680009836;}return 0x800087448f0480008e099021920b8c338f2d8cdf80008e45944a80009526936e;}if(i<19){if(i<18){return 0x853a862d84ca836983ec8379800083ba86b48000870a864e859a885c86d487e3;}return 0x823881db8000820f83ae8000841183208425830c827882a68000828785ba8000;}if(i<20){return 0x833a8000832382b382f4826c81c881ff800081da833f8000848e8390837c8250;}return 0x8269820c8171821b800081b683408000839f82ab833d81c681e88170800081c3; } }
    function cw2(uint256 i) internal pure returns(uint256){ unchecked { if(i<25){if(i<23){if(i<22){return 0x800080f68373800083a5816b82a4812b81de806680008166820380008255831f;}return 0x8237803982247e96821c7ad78000802281a88000808d82aa806982257fad8369;}if(i<24){return 0x84e86ccb80008238807480007f56811a7ea682c87c0e8df780007fdf81148000;}return 0x7fd080007f0d80717f6a810c7d6b867280007eca800a800081257f6680c37e12;}if(i<27){if(i<26){return 0x7fe8801f7fda805f80007feb80148000805c7fce80477fa6807c7dc58000805a;}return 0x80007fff80048000800f7ff9800a7ff680097fe9800080027ff480007fcf8012;}if(i<28){return 0x80297ff7800c7ff580087ff2800080017ffe80007ff280057ff980077ffa800b;}if(i<29){return 0x80097ff1800080017fe680007f4f80167fea80127ff3801680007fff80078000;}if(i<31){if(i<30){return 0x7ffa80007fc480057ffa80047ffd80058000800080138000806e7fec80117ff3;}return 0x978192ff95819389800094ad987d800098f9984597c9991d981b98cf80009852;}return 0x8000875e8dbc80008ed68cf88be690c28d888ff080008e609595800094b69622; } }
    function cw3(uint256 i) internal pure returns(uint256){ unchecked { if(i<36){if(i<34){if(i<33){return 0x84cc83cb84d984d983e8844d800083fa88ee80008882892f8928863087fe8689;}return 0x825d829c8000824b83ee8000838e848882c38309833182a7800082ed84718000;}if(i<35){return 0x83018000839282f782a081e8824881a280008212831f8000822d82e9831e826f;}return 0x8287814a822e80a0800081c882868000823282c682258259818882b7800081cb;}if(i<38){if(i<37){return 0x8000810281ec80008267825e816982708098834f8000816882ed800082668276;}return 0x8044819c7f3481e67e7684e580007fc881d68000825580fa82de7ef682367dca;}if(i<39){return 0x76c794b480007bd9805c800081217faf81877c7e82a87673800080b880ff8000;}return 0x7fca800080cb7f2981837d5c8354792d8000817e804a80007ea581407c9b85d9; } }
    function cw4(uint256 i) internal pure returns(uint256){ unchecked { if(i<47){if(i<42){if(i<41){return 0x80387fb0804f7f5e80008016801e80007fc680627f2381307e7b835180007f64;}return 0x8000800180168000802880067fe6801e7fe1803780007ffe7fc580007fca7fe5;}if(i<43){return 0x803d7ffe7fe5801b7fea802480007fff7fd280007faa7ffd800e7ff0800e7fe9;}if(i<44){return 0x7fee801d80007fff7f96800080097ff380257fda801a7fd580008001802c8000;}if(i<46){if(i<45){return 0x7fd3800080147ffb80087ff880057ff880008000803c80007fe7800c7fe58019;}return 0x943e94c5943a94808000944c98498000983298509854980c981397ef80009800;}return 0x8000874f8e9d80008e568ebd8eb28dde8e508dd680008e1e9472800094a29459;}if(i<49){if(i<48){return 0x847684db844d8428842a83fe80008412877c800087a48767877d87d2873b8783;}return 0x826682328000826a8388800083a5832d83af832082c082f2800082c884928000;}if(i<50){return 0x82d28000828082e2828e828481fe82728000822e83058000833d831282c582b2;}return 0x8203824a819e82ac800081ec82ab80008307825782b681e88238818a8000822d; } }
    function cw5(uint256 i) internal pure returns(uint256){ unchecked { if(i<55){if(i<53){if(i<52){return 0x8000814282468000826d81d982a08114823380ff800081d582798000826d82ac;}return 0x8140808f81347ff081217f94800080b981a18000815a81f180e381ae80f58233;}if(i<54){return 0x805d7e5580008010806380008012808e7f9680b27fd180ea8000800c80f58000;}return 0x7fe080007fe9800b7fe280437f9b80a280007fb2800d800080897fb480557f33;}if(i<57){if(i<56){return 0x800080067ff4801080007ffa800180007fdd7ffe80107fd7802e7f8a80008008;}return 0x800080007ffb80007fe180047ffe7fff80027ffd80007fff80058000801d7ffb;}if(i<62){if(i<58){return 0x7fda80047ffe80017fff8003800080008005800080187ffa80047ffc80027ffc;}if(i<59){return 0x80017fff800080008008800080177ffd800080017fff8001800080007ff88000;}if(i<61){if(i<60){return 0x8001800080017fff800080017fff8001800080007ff780007ff4800180017fff;}return 0x9435941b982b980997de98939875984e9862980f982c982c9822980a98069806;}return 0x8d3c8d6d8d328d5b94b095bf956593969243934593b494c99472942c9461941b;}if(i<63){return 0x863685ff862485df85ff85f08d028abb8c028f158fe78f148e308cdd8d448d91;}return 0x82da82498287829f82608281824582628798898a86b484be849e850f85b78683; } }
    function cw6(uint256 i) internal pure returns(uint256){ unchecked { if(i<70){if(i<68){if(i<66){if(i<65){return 0x83148331832a831981e681c581bb8193818381358477842a84ae84ca843c8398;}return 0x832d832b82c78279822b820e8238819881a5811d814380f1839283ec833d830c;}if(i<67){return 0x8314833f82b28295827682568242821281aa8184810381867fe081948342833d;}return 0x7ff6804482b482b68293826e823281f481d2819681ae813d80f980d880208112;}if(i<69){return 0x804880d37eb280d2829483198202823081e181c781918190812f80f680e18087;}return 0x8083813a80a17fca7fd87e3981b18247824781bd81b8816481588127810a810e;}if(i<72){if(i<71){return 0x80c680e2808580b481247dbb832a7b4b8a398235821e81a38161814180fc8106;}return 0x809280e68081801580c080b480d880ac7d148265873a868680ca81bd80e48120;}if(i<73){return 0x7fe5818e8070806f807d80588031804f8063807d7f957efd8446868d808081a9;}return 0x830785f3804b80e3806880527ff07fc7804b803e803d8042800b7ed7851d86e9; } }
    function cw7(uint256 i) internal pure returns(uint256){ unchecked { if(i<78){if(i<76){if(i<75){return 0x7ffd7ff283be870e7f4280f780107fc67fee801f7fea7fe6802c7fd87fdf802a;}return 0x80057fff7ff7800380d184ff7ff080337fca80157ff77ff37ffc800c7fd78018;}if(i<77){return 0x7ff680067ff780087ff9800282f4858c7f5780107ff680027ff680077ff97fff;}return 0x80217ff0800c7ff880097ff680087ffc811282dc7ecd805e7fc880197fe5800a;}if(i<83){if(i<79){return 0x7fa180327fcc80137fee80097ff2800c7ff780037c2680467d777f9a803e7fd7;}if(i<80){return 0x7b5b7fe780297fe780197ff680097ffb80087ff980057ffe810e81e183bb8070;}if(i<82){if(i<81){return 0x7fe7809a806680117fed80077ff680037ffd80027ffc80037ffe800080087cd8;}return 0x93a1942e97c1982d97a597b6993f9a3199be97e69765985697bc97d697d997fb;}return 0x8c408c5a8dcd8d0395ad93bb955b94ed92b290138f0c9487961293c894e7949d;}if(i<84){return 0x872485a986f585e985e885c68a908df38be88c43912f932295678c608b3c8ddd;}return 0x84a081f8822c82a8822b82848218829388f486d2874e8603833e82e6819986ef; } }
    function cw8(uint256 i) internal pure returns(uint256){ unchecked { if(i<89){if(i<87){if(i<86){return 0x82e482ca826e82f4825d81d581b781d381547fbc8499849b847e846284d4844b;}return 0x830682f882eb82ce8298824b81b181bf818b81e27fde82e7837983bd832b8378;}if(i<88){return 0x8276831182b682bf8273824b821681e581cd817b8147812880527fff83878390;}return 0x7f3d83be83e582e2827e82678237820681e881cb813d812d812f80ff800d7f85;}if(i<90){return 0x812d7f4b82336e7880df82a9826b81fd81f981b981b381328144812d80af80fd;}return 0x80de80797fb281fa7b4c8ba985c282e281ac8247817581ae8145813880e3806e; } }
    function cw9(uint256 i) internal pure returns(uint256){ unchecked { if(i<93){if(i<92){return 0x80d480ba8054802480297f58825e77c185a881ad828d817481a9814e812080d2;}return 0x812a8106806d80bb7ff580537fc97e7384787f4583a08446818381b9814680fb;}if(i<94){return 0x81c080f980c88041808f802d7fe780fe7fe3820d7aeb811a8a8e856f81288136;}if(i<95){return 0x883182ff812580c7807480b47ff87fe3810a7f9081587d8584127f0a885e8163;}return 0x81367fb0893784577fce80e680127fa780297f787f8580767f49817e7dcb8080; } }
    function cw10(uint256 i) internal pure returns(uint256){ unchecked { if(i<101){if(i<98){if(i<97){return 0x7fe7803c7f9d80128d0181b8812880207fba807a7f89806c80127fc080657f2a;}return 0x7fb8800a7fec800d7fe87ffc940e82797fb37fb680657fa9803b7fd77ffa8012;}if(i<99){return 0x80787fc4801a800a800580097ffb800484df83167e7781467ece80ce7ec98062;}if(i<100){return 0x84457b85823a7e5f806d7f8580257fbf80247ff2819c7aa380ba7f9481077f6f;}return 0x5d65917877c384a97ca581727f6e80567fdc80307fe3800980a57e7297e56ddd;}if(i<106){if(i<105){if(i<104){if(i<103){if(i<102){return 0x80067fe1865e794a81697e2d80c47f6080287fd3800f7fea800c7ffc7fce81c8;}return 0x950f940e98bc987598b998c5979a9717976098c298f9983798969801986b9819;}return 0x8e618dfd8c918dcf94579587940f93fc95fd973a97ce939c92be947593939439;}return 0x853885ff85978598866185e18ed28cba8e7f8ee48ad68a4388658f818f8b8dcf;}return 0x828a84a683c48340826982de8252820f869b881c86018633885c8864894e84d3;}if(i<107){return 0x831782bb82b681c4823a822d81d8822080a5818e849b84e5845084538352835e;}return 0x834982fd828b8243822281dd81fb81c1819b81ac81eb7fcf83b583c183a48314; } }
    function cw11(uint256 i) internal pure returns(uint256){ unchecked { if(i<113){if(i<111){if(i<110){if(i<109){return 0x834e834682ee82918258820381e181bc8193817a8181816580a98021837b835b;}return 0x80ca7e3482d1830e82b98279821f81f581c581618184812e810e8125811a7f38;}return 0x808481147fdf8479835c833b824c827e81dd81bd81508169810480c781228086;}if(i<112){return 0x805e807a80e57f4582c877aa834d825a82ef81f381e3815b814380eb80ef80d1;}return 0x80c5806b808b8052805e80c37caf857a861184f7819a82158142813180da80e6;}if(i<115){if(i<114){return 0x80ec80838093802c800f80197f5781987ad980ee8722819d8233815f814f80ee;}return 0x80d8813280bb808d80217ffd80407ef27fd97bf188bb7cf28333807d81ee8147;}if(i<117){if(i<116){return 0x861e8167814d80c680727ffa80027fd87d99809c7dce84267822825d8775852a;}return 0x7da58091889f8119819a803a806b7fcc7ff6800281717f4a81147d5784717e6d;}if(i<118){return 0x801b7fae80897fd882c981457fff809d7fa17f8280a97fb97f3d805a7f6a8167;}return 0x7fdc800d7ff280277fcb800c837582f280987fb07fdb80b17f21804f80227ff0; } }
    function cw12(uint256 i) internal pure returns(uint256){ unchecked { if(i<131){if(i<127){if(i<122){if(i<120){return 0x7d3b81217fae801a7fed7ffa80147ff97d0385cd7af4820a7e7a7fdb80687fe3;}if(i<121){return 0x86307dd082db7ef4804c7ffe800a80157fe2800a81df7dff7d82886c7b7282bd;}return 0x829f85647ca681397e3a80aa7fcc80037ff97ff580107ffb7c2e84e881b373e1;}if(i<126){if(i<125){if(i<124){if(i<123){return 0x7fa2809e809f7d2781547f9d80847fb6800e8001800080067ff9800281997b0a;}return 0x931a93499852985d981b9814982c982f984197c397d097cd97d8973996ed973b;}return 0x8d3e8c628c718c819481945a945d944f93f593df936594a9948d940494059357;}return 0x86e386448610855885f4858f8db08dfd8d6e8d668dec8dc08eae8c498cae8d00;}return 0x83a5828082a68310828f83468261829086e886ad86d086a68646864685a28746;}if(i<129){if(i<128){return 0x82c482b1827882c9825781fc82118256814b81698417842d838e837583948363;}return 0x82c782af827e825c8240822b81f881d281ee81b1817d816583bc83c7831e8310;}if(i<130){return 0x838583a382bd82918242822a81fb81e981d881b381b181d780fa80c5838a83ae;}return 0x806a80668393838c829c824c820d81db81c581c5817e8176819f8116811380b3;}if(i<133){if(i<132){return 0x811e80ba802e800883a283af8282821181d581a181a38154815c8157813d8150;}return 0x80fc80e780e280cd8007802083d483fe821581d9817a8175813f814380fc8118;}if(i<134){return 0x80ce80cf808380de8051810f7f407f5883e5842581a381bc8155813c811880e2;}return 0x80e480ce8090807f808b808a80d57fdc80997f648468841881b88164811b80f6; } }
    function cw13(uint256 i) internal pure returns(uint256){ unchecked { if(i<138){if(i<136){return 0x814380ed80ae8066806b8046804d8088802480d87de2807c847e83f281af8131;}if(i<137){return 0x83e582fb815280aa8062805a801f7ff580917fd180437f51815b7f60840e8311;}return 0x806b7fd0830e84448032809b80207fbe7f8a80117f58802e7fc580b47ecd8043;}if(i<140){if(i<139){return 0x7ffa80167fde80078301827e80c2802d7fbc80557fd9801d802d7ff280137f99;}return 0x80107ff780067fee800d7ffa829e83c07f7980007fd37fa6802e7fe07fe68006;}if(i<141){return 0x80b77f7b800d7ff5800380027ffc800281d581877ed380a87feb8006800c7ffb;}return 0x7e5581307f3280787ff180087ffc7ffd80047ffe7e367e2c822b7ba7813f7e94; } }
    function cw14(uint256 i) internal pure returns(uint256){ unchecked { if(i<149){if(i<147){if(i<143){return 0x825c7d2f81227f22808a7fa4800c7ffa800380017ffe800180fd82107ceb83ff;}if(i<146){if(i<145){if(i<144){return 0x800f802d7f7d80747fab80217fd9800f7ffc80017fff7fff80017fff7f867e63;}return 0x9327931a93289328985c97e198aa984e985d98439829982c9828981e98369826;}return 0x8cdc8c788be28bf28bfc8bee8c1b8bf492f293a5929c92cb929692e093449339;}return 0x841484f28390841883f1843b84a28487847a845b848184738c938b7a8d338c9c;}if(i<148){return 0x819980d582048148847c823385fe84068399828281c281ee81e281a9826481a8;}return 0x829f81277f8a81d580f081e68051816c81ed83e880c781f7812b84fa8438816c;}if(i<151){if(i<150){return 0x81d981c681e881c6810481908350803181687de183887ffb82bc81a6837b827a;}return 0x80af816e800d80e58187820981738139819681a77fc68135809c82467fdb815b;}return 0x810680567f93811e81257f56812d803d8134813a810b816f8066810980d7802d; } }
    function cw15(uint256 i) internal pure returns(uint256){ unchecked { if(i<156){if(i<154){if(i<153){return 0x80aa809980ca80ba7fc4802f7fbc80b7816e7fa080738040812c800281fa8093;}return 0x7fff80067ff1800080797f0980de7fe380197fee802a7fc87f907f0480ce7faf;}if(i<155){return 0x80097ffa80067ffd80007fff800480007fc7804c7fad800a7ff180087ff38006;}return 0x7fdc805c7f97800d7fef800a7ff580057fff80017ffb7fff80187fca80357ff9;}if(i<161){if(i<160){if(i<159){if(i<157){return 0x80007fff8000800080167fbc80487ff6800c7ff880077ffc8001800080028000;}if(i<158){return 0x9b5b9816992798079813983f97cf980e7ff8800f7fed80027ffc80027ffd8001;}return 0x93bd8f1c976891918e6d8f5a8ec19410931d92d5933592f497c999b2963698d3;}return 0x848483f784c084518b1c91a685f38e178fad90478f228b988be28c9b8b198c01;}return 0x841b843f82a581e881cf821b81458207848a815286f7835b82f982698374848c;}if(i<162){return 0x82bf8059843b829182f2805f80b881f481a0815c840b808b83eb86c5821e845a;}return 0x80cf80f681148107826183a48180825b81f8828582ef811c814980e6820280e0; } }
    function cw16(uint256 i) internal pure returns(uint256){ unchecked { if(i<166){if(i<164){return 0x811a813a814880e2806081e67d3880ee820780d7831c81c68265815580738150;}if(i<165){return 0x813b8160823b80f781b2808580b1804e80297f2f838f7f76820780aa820681eb;}return 0x7eee84a77d85811680eb8148801f8109802280d080837fbe7fde7dd2812f7fe4;}if(i<168){if(i<167){return 0x7f3c80107fb07fed806a7e2281217f9880e77f8b81ae8063811c7fc4804e8010;}return 0x806b7e2b7f9f803980347fbd80357fec800580627fad80157f4082c07f6e801d;}if(i<170){if(i<169){return 0x802280577fac80177ff57fc581367fa17fe180507fc180087ff67f9280567fe5;}return 0x7e15818c7f09803b7fba7fee80237ff47ffe80687e79808a80c97ef980917fed;}if(i<173){if(i<172){if(i<171){return 0x7ff580327fea7f4c80597f9b801e800080177ffd7ffa80027ffe7fbf80b28013;}return 0x93f09359931b937898e996839b82963a949798279773985e980c980898b89852;}return 0x872487c489698c5f8b908af38d7b8bec927e986c8c56988799ad96c19764928a;}return 0x84d8871c82e5864186fa871685c084818491859d839c84be8d7c86ee93c18800; } }
    function cw17(uint256 i) internal pure returns(uint256){ unchecked { if(i<178){if(i<176){if(i<175){return 0x81778216809881f8834c811884cd82b1827a81e882d182f182988095834a81c7;}return 0x8202818280cc8177812a81407fbc81c0826d835381f68260821582c8825a817a;}if(i<177){return 0x81f3832a81438201816e8190816280e180ea81ca7ebf81be8275812983708213;}return 0x807b7f7f7ee5809a81e38127827c813c81a080db80db802d80c47f91842e7f76;}if(i<179){return 0x80e280167ff87fef800881427f5e7fd08144820a80ad816080a080d1803a8030;}if(i<180){return 0x80488215807c807c7fd280427f2e7f617fcd7deb7f1b7f4180fe80c0820a80b1;}return 0x7ff87fa680457fed803880ce806680747fcc7fc48037803b7fdc81547f5f8042; } }
    function cw18(uint256 i) internal pure returns(uint256){ unchecked { if(i<188){if(i<183){if(i<182){return 0x7d8f802d7fe9804a800980677fb6801a80677d2c83317daf80df7ff580067fd4;}return 0x81a0764f8e0175c68444801c80337f177fd97fcb80317fef7e8d85fd77b783c2;}if(i<187){if(i<186){if(i<184){return 0x7fd4801c7ff380007ede86507688873d7cf77ecd80598090804c7fed7fff8005;}if(i<185){return 0x98a69855980797b097da979c97209763804a7d3e84117c3481777fbc80367f85;}return 0x9336920294ce913e919d91ac927a93a592f9928c9245927597e6985b974a98a7;}return 0x851083f1848b84658bb68d0589fc8dd18d848dad8c428aaf8b968b958ae48b3c;}return 0x82ea830d825681c68210821782fa825d850d84d9855684b28462841b84b485b4;}if(i<190){if(i<189){return 0x827f821d82c88248823d81e681c4820b81df81f381d181da82ba835b824382e9;}return 0x8154815181bc812e8216828181d7820d81e681dc8207816f81a981a7819d81ad;}return 0x811b815080e28141811180d880f78129821580d382f2819181b881678156813a; } }
    function cw19(uint256 i) internal pure returns(uint256){ unchecked { if(i<194){if(i<193){if(i<192){return 0x81808047825380e5811080be80bd80c880a281b3800680ed816b8215811f8177;}return 0x800380e77f92804e80d68165809380c1807b809580658087808d7f91815d8051;}return 0x7ff47ff680027fcd80137f5680697fd280d7802c81308062807f7ff18039805a;}if(i<197){if(i<195){return 0x7fa780a67ed080867f5080477fd1802a7ff780477fba800e808d7fe580f67fcf;}if(i<196){return 0x7fdd80697fac801380387edc81827f10810c7f6680547fb7800e7fa180487fe9;}return 0x817d7f5380717f8b80107fc180317ff37f9c81a17d83819b7db280fa7f45808b;}if(i<201){if(i<200){if(i<199){if(i<198){return 0x7fe480567f70804e7f5b802f7fd880177ffa800d7ff4800180397ed581d97e76;}return 0x94369426987097959967983e983e982897f7982b981f9821980d980f98039807;}return 0x8d5f8d798d668d6e93ee951a91de93c793a5942395159429943794309457941a;}return 0x862f863686448617862c862a8e118dd490008ed28e418da28c8c8d938d9d8d8b;}return 0x822f82c282cc82b5829782a6828a828b85b586088443856385cb865886e78640; } }
    function cw20(uint256 i) internal pure returns(uint256){ unchecked { if(i<208){if(i<206){if(i<204){if(i<203){return 0x83d983b3830a81b181b681d281bc81b8818281768543851f851583908321828f;}return 0x831382d1828a8253827682e0819e819f8185816f80dc817e83028342835f83ce;}if(i<205){return 0x829c82d482ad82cd82b5827a822381ab81e98146810d8142804b812683828381;}return 0x7f5780c0829382ff82658256822381f581df81d3816d80ff80e580f3800780b3;}if(i<207){return 0x809a80297ff37f66825d8211823a822a820781cf81918159814280f8809b80e7;}return 0x80a981207fd481257d8180dc820e830f81c981d981a6817e8157813d80f9808c;}if(i<210){if(i<209){return 0x80c780cf807480d080877e8682437e0c81be80e7827c81938186813c811280e7;}return 0x80f880d480a5802980b880ac80df809b7db18133892284b3811781c681188111;}if(i<211){return 0x8005817c80a2804e8072804380348054803c807380977ea38219866f80bd816e;}return 0x85ca860480468108807580717ffa7fd58066801e807e7fea7fee80a4837686f5; } }
    function cw21(uint256 i) internal pure returns(uint256){ unchecked { if(i<216){if(i<214){if(i<213){return 0x80477ff1822f86f57f62812080307fbf7feb801b7fd080187fb6808d7ef77fcf;}return 0x7ff580137fe08003813785787ff580317fc8801080037ff7800b7ff980107fd2;}if(i<215){return 0x7ffc800180007ffc80067fff81fe86327f15801c7fea800c7fea800a7ff28006;}return 0x800a7ffe800180007fff80057ff98001805182797edd805c7fc980187fea8005;}if(i<221){if(i<217){return 0x80207fdf800c7fee80057ffc80047ff7800a7ffd7ed77f3f7eda7fea801c7fef;}if(i<218){return 0x7adc812c7fb9802b7fde80147ff680057ffc80087ff880028003812883d57ee4;}if(i<220){if(i<219){return 0x7ff3804e80ad7fa7800e7ff180067ffa80017ffe80017ffd80027fff80257e7a;}return 0x93e0942097ec99309686993f98f498db970a976f981b982897b4980697c997f5;}return 0x8c4b8d338d9f8d239444922c97239122921f9223964f95cc93f793b4950193f9;}if(i<222){return 0x860e8601869e863685ea862b8ddc8f808a9a92269103907689f88b068dbf8e02;}return 0x813681be82c582ba8278829c827582a185b683cc883881e4845a84838882879d; } }
    function cw22(uint256 i) internal pure returns(uint256){ unchecked { if(i<227){if(i<225){if(i<224){return 0x839f82f5844f829981a481d481b781d9812b80fd854a867383a5859a83a78361;}return 0x82c1832d82db82fd81d4825e820681a981a181c080918192835382df83b2832a;}if(i<226){return 0x82b7829f82bb82ab8276825b826b821381708179813981457f5381a483458435;}return 0x7f5281e282f4826f82a1824a826c820581d6819f81578137812b80eb80be7f38;}if(i<228){return 0x809f805980fe7b34821682b78207822681d381c981c9814c812480e580c280cc;}return 0x80f97fae80ce7f79804580e082928253822b81ea81d6818f8154812c80be80e0; } }
    function cw23(uint256 i) internal pure returns(uint256){ unchecked { if(i<233){if(i<231){if(i<230){return 0x80de80c88017807f7eec82c07ad3829781cd818981c1823281528187811e80c7;}return 0x81038112807a80a38009800c80347aff8aaa79a188198537813a8175818080fb;}if(i<232){return 0x827680b9810a805f808080357fec80ff800282ec77d1841287978562813b8157;}return 0x847a844080c280d38083808880267fd180d17f9d81047e69842e7d9a86c37db2;}if(i<237){if(i<235){if(i<234){return 0x80de7fad88528420803780a880697fa17ff17f697fcd80287fc480617e4a8129;}return 0x7fca80527f61801884ce820b80a7804c7f9e80208034801f80327fcd803f7f93;}if(i<236){return 0x7ff47ff7800a7fef80197ff68ee5852a7f197ff9802f80077f8480167fbb8026;}return 0x805a7fb98002800c7ff7800f7fef800782df81eb7f0f80b87ee280847f8e802c;}if(i<242){if(i<238){return 0x7f2e7dcf80db7f7f803f7fc380187fdf80197ff77fbc7db380247e5d81c87f3f;}if(i<239){return 0x6c8586b67ded82657e6580967fae802c7fea80177ff08005812d7ec98c127afa;}if(i<241){if(i<240){return 0x80017fe383177db4801c7f3c80477fd280117fef80067ff980057ffe7fc58175;}return 0x94c8941498a197ea996f97f1983e9818996a98be98449846987d980598789828;}return 0x8e2b8e5d8cc88e1a944c95919245959c9496951291f8934e9489946c9393945e;}if(i<243){return 0x869485f28629857d86da85c58e408cf990d28c398db08d2d918d8fa18d548dfa;}return 0x85688455832a835b82b482f88298823d8681881183f7882785f5869683c08569; } }
    function cw24(uint256 i) internal pure returns(uint256){ unchecked { if(i<250){if(i<248){if(i<246){if(i<245){return 0x82a38341814082d182ee821781e4820d8134806784d8821486d381c0850b83c9;}return 0x83be828982d281fc82d0814e81c181c1819f81a181e28159837c84dc829e8457;}if(i<247){return 0x82f8836482b082d8826b821f819f819e81bf81678175814c817e7f03836f8262;}return 0x812d7eda8298830782958279821381e681da8160815a80fb812380c081d88074;}if(i<249){return 0x80dd80038159805682b782d682618277821481e28132815380f980e780f780af;}return 0x802881137fef812f7f427ef1824a831e8225827281c48183813980f080dd807b;}if(i<252){if(i<251){return 0x80c4805280927fda817d7d9e83ab7db082db833182d7815c81c8811f80dc80e0;}return 0x81288093808180217ffd7fdf7f258383767284d0848d81d781b181db813480ff;}if(i<253){return 0x8010818a80ac809380297ff17fd17edd7ed37de3869b7ca5851d7c7682b88132;}return 0x832c7db081f280ca808980317fd87fee7e0e80d07e4d82467944827b85d98759; } }
    function cw25(uint256 i) internal pure returns(uint256){ unchecked { if(i<258){if(i<256){if(i<255){return 0x7e77806f891f80e98141807e805a7fd680197fe181267f3d80c07eb383d47e00;}return 0x80297fc8807f7fdd7f2b7f8c80cd804e7ff07f6280527fdd7f5780537f9f809f;}if(i<257){return 0x7fb680227fd9802b7fc8800d88fd811f80727fd57fcc80a07f54802580467fdf;}return 0x7e8180a77fff7ff9800d7fef80197ff77f0a82f87d3981157e737ff580317ffd;}if(i<263){if(i<259){return 0x847f7c2882ce7e9180397ff27ffe80047fed800784607b3783f97f9b7f1b81a8;}if(i<260){return 0x7ff382a57b78830c7da381137fb680137ff9800580047ffd7af0856f7d4d7deb;}if(i<262){if(i<261){return 0x7fc2807f80ac7eee81877e7180ca7f71801b7ff380047ffc7fff8001819a7d6e;}return 0x933293589806982297cd97f797e097d797a497b997dc97a597bb97289704972f;}return 0x8d518c7a8cbd8ca09442940a947693f09421941c949a943b93f193f193f2930f;}if(i<264){return 0x864b868d8604859c85e985af8d888dd88cf08dae8d428d338c698cdd8d7c8ce1;}return 0x82ee8306834b831882cb832782d782c286e18688873e866586e186c7876286d0; } }
    function cw26(uint256 i) internal pure returns(uint256){ unchecked { if(i<269){if(i<267){if(i<266){return 0x82fb8261832b820e821d820f822882618198818383a0846582a28406830c836f;}return 0x826082b18267828781f6828e820581d281f481b0814281ac835d831e8353827c;}if(i<268){return 0x830383008297825e823f8219820e81ea81bc81b381b781bd817180f582fa8365;}return 0x8110808682f7830e82668251820a81e681b381c8817b8194817d8155808d811c;}if(i<270){return 0x80dc81587f8d80f082ea82fa827f820081de819c81aa815c815381458148811c;}return 0x810e80b08129803181487ff083348303823481c48176816e814681378102813f; } }
    function cw27(uint256 i) internal pure returns(uint256){ unchecked { if(i<273){if(i<272){return 0x80d080d0808181047fcd81f77e1d811282898426811f8203813b8144811c80e3;}return 0x80ce80d580988087809080cf80cb7f5f81a17e72833a81c182358130813480fb;}if(i<274){return 0x81b880c780cb8073806c8044807e8059809c802e7f258088820d8556811b815f;}return 0x829383de812280c08067804b80257ff980747fd080537fc480b37f7c833380a2; } }
    function cw28(uint256 i) internal pure returns(uint256){ unchecked { if(i<277){if(i<276){return 0x7fff7fee823982928066809180327ff67fc27fcb7fb380107ff87fcd7f948027;}return 0x7ff77ffd7ff38003828f82fb80bc80327fd57fb98037800280217ffb7ffc801a;}if(i<278){return 0x80247ff280077ff980067ffd81dd83487f8e7fdd7fd7805d7f9a80187fd1800a;}return 0x7fb480037fe380077ffa80047ffc800181a180577f1980cb7faa7f8180537fd9; } }
    function cw29(uint256 i) internal pure returns(uint256){ unchecked { if(i<280){return 0x7fd07fe87fec801980087ffe80027fff80027fff7e157fbc80ff7ef07f438073;}if(i<281){return 0x81ea7ecd805f7fdb80257fe380017fff800080008000800080d681567d7d817d;}if(i<284){if(i<283){if(i<282){return 0x7ff5806a7f2d80567fbf801b7fe6800a7ffd80017fff8001800080007fb97ea3;}return 0x9238918f921f916191cf919e91b291c9980b983a980a9842981b982098089828;}return 0x82d6831f82bd825d82b282678295829289bf8a4489f88aab8a218a3b8a608a1d;}if(i<285){return 0x8025847a7f44811184227ba386a67ea085897c82892a828980f581f77c778357;}return 0x7f9580ee7fb37ffe80138028803b7f8981f27fcf831980787e7f82b87e0781b7; } }
    function cw30(uint256 i) internal pure returns(uint256){ unchecked { if(i<291){if(i<289){if(i<287){return 0x7faa81047fc78006800880197ff67fff801b7f6f801a7ffc7ffa7fea800f7ffa;}if(i<288){return 0x7fec80207ff67fff800280007ff67fff803b7f16802f7ffb7ff67feb80098002;}return 0x94698722a2cd8f0b8c0193f892b790d995eb9fe38e2a96bc9da2959b9854980b;}if(i<290){return 0x82d1814e88e5813881f582a8846e81a488b38fb77c128d058cca893c87998b3e;}return 0x833c7b0384ee80cf7f69819a87b87d4b839b864c7de7846381ea814d7f938248;}if(i<293){if(i<292){return 0x817f7bfa81ee7ecb80117f9a83407edc813e828e807381a581207ebd7e6780ea;}return 0x80be7e55809f7df1812c7dcb84377ed07f3f8165803f807c7fbe809b7d878068;}if(i<295){if(i<294){return 0x80747c6c84637c5682097e2381807f6b7f24846f7b4b83827d1b839b7b5f80f9;}return 0x93c88d1c90f8a3f58fd9976c8c3093d8985a98169b23920a975796699a8897b8;}return 0x829385477f8285d883e9816b81e883448a4d8a738f9c811289128b248c338963; } }
    function cw31(uint256 i) internal pure returns(uint256){ unchecked { if(i<301){if(i<298){if(i<297){return 0x7e108b958042821481967f5085ff7f34851f7ae886d380a881a8811e82b880d0;}return 0x7e9e837180fe80157f837ffb7f927f2984a479c182a5801f7f23818d765982d2;}if(i<299){return 0x8495688f960a7cf07ed280c380a87fe87dd4860677f080ac8022803c7de18047;}if(i<300){return 0x805e7c70817a80f879c983e27de480587b8f90d46e1c81c7857a7c2a81b07fa8;}return 0x9145925c921a8bcb912b8fea921690d897e197b5976899d9980b982196919767;}if(i<303){if(i<302){return 0x83b582288474827e829d82f682a0831489e08a9b886c8e668b6489ba88b88944;}return 0x82617fec8275813480c782107ebe8212816c84a9810b82a181d381ae83968124;}if(i<304){return 0x8068800480af7f9f7fd97fd2804c7f7b80be81e3810180d980ce802b80c080c1;}if(i<305){return 0x7f9e81927edb805f7dd781567f0d80187f99804d7e927feb804c7fd480367fe0;}return 0x7fd3806c7f887ffc7f24803a7ff27ff1803d7ee680cf7f2981947f4280617ff7; } }
    function cw(uint256 i) internal pure returns(uint256){ unchecked { if(i<91){if(i<40){if(i<21){if(i<10){return cw0(i);}return cw1(i);}if(i<32){return cw2(i);}return cw3(i);}if(i<64){if(i<51){return cw4(i);}return cw5(i);}if(i<74){return cw6(i);}if(i<85){return cw7(i);}return cw8(i);}if(i<163){if(i<119){if(i<108){if(i<96){return cw9(i);}return cw10(i);}return cw11(i);}if(i<135){return cw12(i);}if(i<142){return cw13(i);}if(i<152){return cw14(i);}return cw15(i);}if(i<229){if(i<202){if(i<181){if(i<174){return cw16(i);}return cw17(i);}if(i<191){return cw18(i);}return cw19(i);}if(i<212){return cw20(i);}if(i<223){return cw21(i);}return cw22(i);}if(i<254){if(i<244){return cw23(i);}return cw24(i);}if(i<271){if(i<265){return cw25(i);}return cw26(i);}if(i<275){return cw27(i);}if(i<279){return cw28(i);}if(i<286){return cw29(i);}if(i<296){return cw30(i);}return cw31(i); } }
    // per table: row knots (2 words), column knots (2 words), nr, nc, first coefficient index; knots in 1/64 grid units
    function tab(uint256 tb) internal pure returns(uint256,uint256,uint256,uint256,uint256,uint256,uint256){ unchecked { if(tb==0)return(0x29f0290226fe2610259925512507248a23b422211e0711d10000000000000000,0x000000000000000050005000500050003e2f31f92ddf2c4c2b762af92aaf2a67,0x00000000030003000300030002f002e0024800b8001b000b0000000000000000,0x0000000000000000000000000000000000000000000000000000000000000000,24,10,0);if(tb==1)return(0x28a0283427cc276026ef267725f9257724df23f420d812c50000000000000000,0x000000000000000050005000500050003d3b2f282c0c2b212a892a0729892911,0x0c000c00091007a906f6068d063005d00573050a045702f00000000000000000,0x000000000000000000000000000000000000000000000000000000000c000c00,24,14,960);if(tb==2)return(0x2af42a2d298e28f7285527ab2709267225d3250c226518230000000000000000,0x0000000000000000000000000000000000000000500050005000500037dd2d9b,0x0c000c000c000c000781074006bc064505bb054404c0047f0000000000000000,0x0000000000000000000000000000000000000000000000000000000000000000,18,12,2304);if(tb==3)return(0x28a2283627ca275e26ed267725f7256724b42395204c12b70000000000000000,0x000000000000000050005000500050003d492fb42c6b2b4c2a992a0929892913,0x0c000c00094507e30720069d063305cd056304e0041d02bb0000000000000000,0x000000000000000000000000000000000000000000000000000000000c000c00,24,14,3168);return(0x5000500050005000314e2bc82a0228c4273c25fe24381eb20000000000000000,0x0000000000000000000000000000000000000000000000000000000000000000,0x00000000000000000c000c000c000c0007710685057b048f0000000000000000,0x0000000000000000000000000000000000000000000000000000000000000000,12,8,4512); } }
    function kn(uint256 K0,uint256 K1,uint256 L) internal pure returns(int256){ unchecked { return int256((L<16?K0>>(16*L):K1>>(16*(L-16)))&0xffff); } }
    // cubic B-spline basis at x (1/64 units) by Cox-de Boor; returns span m, N[q] = basis of coefficient m-3+q (WAD)
    function bas(uint256 K0,uint256 K1,uint256 n,int256 x,int256[4] memory N) internal pure returns(uint256 m){ unchecked {
        if(x>=kn(K0,K1,n)){m=n-1;}else{uint256 lo=3;uint256 hi=n;while(hi-lo>1){uint256 md=(lo+hi)>>1;if(kn(K0,K1,md)<=x)lo=md;else hi=md;}m=lo;}
        int256 l1=x-kn(K0,K1,m);int256 l2=x-kn(K0,K1,m-1);int256 l3=x-kn(K0,K1,m-2);
        int256 r1=kn(K0,K1,m+1)-x;int256 r2=kn(K0,K1,m+2)-x;int256 r3=kn(K0,K1,m+3)-x;
        int256 tp=U/(r1+l1);int256 n0=r1*tp;int256 n1=l1*tp;
        tp=n0/(r1+l2);n0=r1*tp;int256 sv=l2*tp;tp=n1/(r2+l1);n1=sv+r2*tp;int256 n2=l1*tp;
        tp=n0/(r1+l3);N[0]=r1*tp;sv=l3*tp;tp=n1/(r2+l2);N[1]=sv+r2*tp;sv=l2*tp;tp=n2/(r3+l1);N[2]=sv+r3*tp;N[3]=l1*tp;
    } }
    // nC consecutive coefficient lanes starting at flat index idx
    function stripe(uint256 idx,uint256 nC) internal pure returns(uint256 x){ unchecked {
        uint256 o=idx&15;x=cw(idx>>4)>>(16*o);
        if(o+nC>16)x|=cw((idx>>4)+1)<<(16*(16-o));
    } }
    function ln16(uint256 x,uint256 p) internal pure returns(int256){ unchecked { return int256((x>>(16*p))&0xffff)-32768; } }
    // one coefficient stripe contracted with the two column-node bases: ta = sum C0[p] c[p], tb = sum C1[p] c[p+dc]
    function row2(uint256 x,uint256 dc,int256[4] memory C0,int256[4] memory C1) internal pure returns(int256 ta,int256 tb){ unchecked {
        ta=C0[0]*ln16(x,0)+C0[1]*ln16(x,1)+C0[2]*ln16(x,2)+C0[3]*ln16(x,3);
        if(dc==0){tb=C1[0]*ln16(x,0)+C1[1]*ln16(x,1)+C1[2]*ln16(x,2)+C1[3]*ln16(x,3);}
        else{tb=C1[0]*ln16(x,dc)+C1[1]*ln16(x,dc+1)+C1[2]*ln16(x,dc+2)+C1[3]*ln16(x,dc+3);}
    } }
    function bern(uint256 l,uint256 s) internal pure returns(int256){ unchecked {
        int256 a=int256(l);int256 b=7-a;
        return s==0?b*b*b:(s==1?3*a*b*b:(s==2?3*a*a*b:a*a*a));
    } }
    // node value: raw sum (1e36 * 1/(8*343) bps) -> WAD bps, clamped at 0
    function cl(int256 F) internal pure returns(int256){ unchecked { F=F/U/2744;return F<0?int256(0):F; } }
    // fee surface F (WAD bps) of table tb at grid point (pw,p2) (WAD grid units): F clamped at 0 at the 4 nodes x 2 sd levels,
    // bilinear in (row, column), then linear in sd (real.py's RealPolicy.lookup on the decoded tables)
    function surf(uint256 tb,int256 pw,int256 p2,uint256 k,int256 tt) internal pure returns(int256){ unchecked {
        (uint256 KR0,uint256 KR1,uint256 KC0,uint256 KC1,uint256 nr,uint256 nc,uint256 base)=tab(tb);
        uint256 i=uint256(pw/U);if(i>319)i=319;int256 f=pw-int256(i)*U;
        uint256 j=uint256(p2/U);{uint256 jm=tb==0?11:47;if(j>jm)j=jm;}int256 g=p2-int256(j)*U;
        int256[4] memory A0;int256[4] memory A1;int256[4] memory C0;int256[4] memory C1;
        uint256 mi=bas(KR0,KR1,nr,int256(i*64),A0);uint256 dr=bas(KR0,KR1,nr,int256(i*64+64),A1)-mi;
        uint256 mj=bas(KC0,KC1,nc,int256(j*64),C0);uint256 dc=bas(KC0,KC1,nc,int256(j*64+64),C1)-mj;
        int256[8] memory W;W[0]=bern(k,0);W[1]=bern(k,1);W[2]=bern(k,2);W[3]=bern(k,3);W[4]=bern(k+1,0);W[5]=bern(k+1,1);W[6]=bern(k+1,2);W[7]=bern(k+1,3);
        // Fv[l*4 + rownode*2 + colnode]
        int256[8] memory Fv;
        uint256 i0=base+(mi-3)*nc+mj-3;uint256 sn=nr*nc;
        for(uint256 q=0;q<dr+4;q++){
            int256 e0a;int256 e0b;int256 e1a;int256 e1b;
            for(uint256 s=0;s<4;s++){
                uint256 x=stripe(i0+s*sn+q*nc,dc+4);
                (int256 ta,int256 tb2)=row2(x,dc,C0,C1);
                int256 w0=W[s];int256 w1=W[s+4];
                e0a+=w0*ta;e0b+=w0*tb2;e1a+=w1*ta;e1b+=w1*tb2;
            }
            if(q<4){int256 ra=A0[q];Fv[0]+=ra*e0a;Fv[1]+=ra*e0b;Fv[4]+=ra*e1a;Fv[5]+=ra*e1b;}
            if(q>=dr&&q<dr+4){int256 rb=A1[q-dr];Fv[2]+=rb*e0a;Fv[3]+=rb*e0b;Fv[6]+=rb*e1a;Fv[7]+=rb*e1b;}
        }
        int256 lv0=mul(mul(cl(Fv[0]),U-f)+mul(cl(Fv[2]),f),U-g)+mul(mul(cl(Fv[1]),U-f)+mul(cl(Fv[3]),f),g);
        int256 lv1=mul(mul(cl(Fv[4]),U-f)+mul(cl(Fv[6]),f),U-g)+mul(mul(cl(Fv[5]),U-f)+mul(cl(Fv[7]),f),g);
        return mul(lv0,U-tt)+mul(lv1,tt);
    } }
    function w2l(uint256 L) internal pure returns(int256){ unchecked {
        uint256 K=L<16?0x7ff77ff67ff57ff47ff27fef7fec7fe77fe27fd87fce7fc47fb07f9c7f7e7f60:(L<32?0x800780068005800480038002800180007fff7ffe7ffd7ffc7ffb7ffa7ff97ff8:(L<48?0x808280648050803c80328028801e801980148011800e800c800b800a80098008:0x00000000000000000000000000000000000000000000000000000000000080a0));
        return int256((K>>(16*(L&15)))&0xffff)-32768;
    } }
    // real.py/evalpol _pos2 over pol_mid's W2L (grid units of 5 bps), WAD in and out
    function pos2(int256 v) internal pure returns(int256){ unchecked {
        if(v<=-160*U)return 0; if(v>=160*U)return 48*U;
        uint256 lo=0;uint256 hi=48;
        while(hi-lo>1){uint256 md=(lo+hi)>>1;if(w2l(md)*U<=v)lo=md;else hi=md;}
        int256 a=w2l(lo);return int256(lo)*U+(v-a*U)/(w2l(hi)-a);
    } }
    function sdl(uint256 k) internal pure returns(int256){ unchecked { return int256((0x221a14100c080400>>(8*k))&0xff); } }
    // qm fee rule: w, w2 offsets (WAD bps), phase, synced flag, belief variance v (WAD, ln-price^2)
    function fees(int256 w,int256 w2,uint256 ph,bool syn,int256 v) internal pure returns(int256 fb,int256 fa){ unchecked {
        int256 sd=root(v)*10000;uint256 k;
        while(k<6&&sd>=sdl(k+1)*U)k++;
        int256 tt=clip((sd-sdl(k)*U)/(sdl(k+1)-sdl(k)),0,U);
        int256 pw=clip(w/5+160*U,0,320*U);int256 wq=(pw-160*U)*5;
        uint256 tb;int256 p2;int256 nc1;
        if(ph==0){tb=0;p2=clip(w2/5,-6*U,6*U)+6*U;nc1=12;}
        else{tb=(ph==1?1:3)+(syn?0:1);p2=pos2(w2/5);nc1=48;}
        int256 xa=surf(tb,pw,p2,k,tt)+wq-w;
        int256 xb=surf(tb,320*U-pw,nc1*U-p2,k,tt)+w-wq;
        fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);
        fb=clip(fb,0,U/10);fa=clip(fa,0,U/10);
    } }
    function afterInitialize(uint256 x,uint256 y) external override returns(uint256,uint256){ unchecked {
        int256 sp=int256(y*1e18/x);
        slots[0]=uint256(uint128(int128(ln(sp))));
        slots[1]=uint256(uint128(int128(sp)))*(1+(uint256(1)<<128));
        slots[2]=2823606104386589*(1+(uint256(1)<<64));
        return(2823606104386589,2823606104386589);
    } }
    // filter update over a gap of dt steps; returns new m, v, rival spot r and the arb flag
    function update(int256 m,int256 v,int256 fb,int256 fa,int256 sp,int256 r,int256 s,bool buy,uint256 dt) internal pure returns(int256,int256,int256,bool arb){ unchecked {
        int256 lo=ln(mul(sp,U-fb));int256 hi=ln(divi(sp,U-fa));
        uint256 n=dt-1;if(n>12)n=12;
        for(uint256 i=0;i<n;i++){v+=893025000000;(,m,v)=trunc(m,v,lo,hi);}
        v+=893025000000;
        int256 lp=ln(buy?mul(s,U-fb):divi(s,U-fa));
        int256 sd=root(v);int256 la=divi(pdf(divi(lp-m,sd)),sd);
        (int256 Z,int256 mt,int256 vt)=trunc(m,v,lo,hi);
        int256 d=ab(ln(divi(s,sp)));if(d<1e9)d=1e9;
        int256 pi=pdf(divi(ln(d)+6801595083153746944,1176000000000000000));
        int256 lr=divi(mul(mul(Z,260000000000000000),pi),mul(d,1176000000000000000));
        pi=la+lr>0?divi(la,la+lr):int256(0);arb=pi>U/2;
        if(pi>5e15&&pi<995e15){
            m=mul(pi,lp)+mul(U-pi,mt);
            v=mul(pi,mul(lp-m,lp-m))+mul(U-pi,vt+mul(mt-m,mt-m));
        }else if(arb){m=lp;v=0;}else{m=mt;v=vt;}
        int256 pe=exp(m);r=clip(r,mul(pe,997e15),divi(pe,997e15));
        return(m,v,r,arb);
    } }
    function afterSwap(TradeInfo calldata t) external override returns(uint256,uint256){ unchecked {
        uint256 s0=slots[0];uint256 s1=slots[1];uint256 s2=slots[2];
        int256 m=int256(int128(uint128(s0)));int256 v=int256(int128(uint128(s0>>128)));
        int256 sp=int256(int128(uint128(s1)));int256 r=int256(int128(uint128(s1>>128)));
        int256 fb=int256(s2&M64);int256 fa=int256(s2>>64&M64);uint256 cnt=s2>>192&0xffffffff;bool syn=s2>>255==1;
        int256 s=int256(t.reserveY*1e18/t.reserveX);bool arb;
        if(t.timestamp>(s2>>128&M64)){(m,v,r,arb)=update(m,v,fb,fa,sp,r,s,t.isBuy,t.timestamp-(s2>>128&M64));cnt=0;syn=false;}
        uint256 ph;
        if(!arb){
            int256 c=t.isBuy?divi(mul(s,U-fb),997e15):divi(mul(s,997e15),U-fa);
            if(t.isBuy?c<r:c>r){r=c;syn=true;}
            cnt++;ph=cnt==1?1:2;
        }
        int256 w=(ln(s)-m)*10000;int256 rr=(ln(r)-m)*10000;
        (fb,fa)=fees(w,rr,ph,syn,v);
        slots[0]=uint256(uint128(int128(m)))|uint256(uint128(int128(v)))<<128;
        slots[1]=uint256(uint128(int128(s)))|uint256(uint128(int128(r)))<<128;
        slots[2]=uint256(fb)|uint256(fa)<<64|t.timestamp<<128|cnt<<192|(syn?uint256(1)<<255:0);
        return(uint256(fb),uint256(fa));
    } }
}
```

## Commands

Commands were run from the repository root unless prefixed `C:` (the pinned challenge checkout). `C=test/scratch/amm-challenge`, `T=test/scratch/amm-sim`; `E` means `. scratch/env.sh &&`. All experimental scripts and logs were under `test/scratch/`. The list below records the shell operations, including failed attempts; heredoc writes are identified by script name/purpose rather than reproducing abandoned generated contracts.

```text
pwd; rg --files -g '!lib/**' -g '!node_modules/**' | head -40
mkdir -p test/scratch
git clone https://github.com/benedictbrady/amm-challenge test/scratch/amm-challenge
git -C test/scratch/amm-challenge checkout 6b6921f8d463314aa7c96234e1be25a25245f704
git clone https://github.com/gtmcknight/amm-sim test/scratch/amm-sim
git -C test/scratch/amm-sim checkout 4812a6382311624e1506aca131ca35c378f930d9
curl -fLsS https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40 -o test/scratch/qt1-artifact.md
rg -n 'Contract design|Notes and limits|Strategy.sol|sha256' test/scratch/qt1-artifact.md
ls test/scratch/amm-sim/setup-fast.sh
cat test/scratch/amm-sim/setup-fast.sh
sed -n '45,65p;115,121p' test/scratch/qt1-artifact.md
C: sh ../amm-sim/setup-fast.sh > ../setup.log 2>&1
sed -n '185,220p;323,345p' test/scratch/qt1-artifact.md
tail -10 test/scratch/setup.log
tail -20 test/scratch/setup.log
python3 heredoc: extract the first Solidity fence after '## Strategy.sol', print length/SHA-256, write C/contracts/src/Qt1.sol and an identical Qt1Fast.sol
sed -n '103,174p' C/contracts/src/Qt1.sol
cat T/harness.py
rg --files T | head -50
sed -n '1,160p' C/amm_competition/evm/compiler.py
sed -n '1,120p' T/research/solved/gates.py
C: E python3 -I ../amm-sim/research/solved/gates.py > scratch/gates.log 2>&1
tail -10 C/scratch/gates.log
cat T/research/solved/README.md | head -80
head -40 C/contracts/src/Qt1.sol
C: attempted heredoc writes to test/scratch/pack.py and test/scratch/amm-challenge/scratch/compile.py, plus python3 test/scratch/pack.py; failed because these root-relative paths were used from C
cat > test/scratch/pack.py (heredoc: repack each coefficient row into one word and regenerate dispatch)
python3 test/scratch/pack.py
cat > C/scratch/compile.py (heredoc: compile Qt1 and Qt1Fast, print runtime sizes and save creation bytecodes)
C: E python scratch/compile.py > scratch/compile.log 2>&1
cat C/scratch/compile.log
rg -n 'pyrevm|EVM|message_call|afterSwap' C/amm_competition/evm/*.py | head -65
sed -n '1,140p' C/amm_competition/evm/strategy.py (file absent)
sed -n '76,110p;174,230p' C/amm_competition/evm/executor.py
sed -n '1,130p' T/research/solved/replica2.py
ps -eo pid,etime,comm | rg 'solc|python'
sed -n '345,390p' test/scratch/qt1-artifact.md
sed -n '390,445p' test/scratch/qt1-artifact.md
head -45 test/scratch/qt1-artifact.md
curl -fLsS https://api.imd.fun/artifacts/17d249ab0c33fc44931d9b105cf3f9e3846a560bd518b67310c2a56defacdecc -o test/scratch/qm-spline.md
rg -n 'base64|QMS1|```' test/scratch/qm-spline.md | tail -15
C: cat > scratch/check_f.py (heredoc: extract qmref.py/blob; run reference-driven replica traces through two independent pyrevm contracts and compare raw returns/reference fees)
C: rg -n 'SELECTOR|75e0|afterInitialize' amm_competition/evm/executor.py | head -15
C: E python scratch/check_f.py > scratch/check_f.log 2>&1 (failed: incorrect init selector)
tail -20 C/scratch/check_f.log
rg -n 'def __init__|def init|def on_trade' C/scratch/qmref.py
sed -n '93,145p' C/scratch/qmref.py
sed -i 's/75e0c46e/837aef47/' C/scratch/check_f.py
C: E python scratch/check_f.py > scratch/check_f.log 2>&1 (failed: only 1,874 callbacks on seed 3 at 2,000 steps)
C: E python heredoc: print public EVM method names
cat C/scratch/check_f.log
C: cat > scratch/micro.py (heredoc: 200 deterministic synthetic callbacks, Random(1), compare raw returns and gas)
C: E python scratch/micro.py
cp C/contracts/src/Qt1Fast.sol C/scratch/row-packed.sol
cat > test/scratch/tree.py (heredoc: 18-word groups, ternary inner dispatch)
python3 test/scratch/tree.py
C: E python heredoc: compile Qt1Fast, report runtime size, save scratch/Qt1Fast.bin
cat > test/scratch/cache.py (heredoc: shared 306-word per-callback coefficient cache)
python3 test/scratch/cache.py
sed -i 's/n_steps=2000/n_steps=5000/' C/scratch/check_f.py
C: E python heredoc: compile Qt1Cache, report runtime size, save scratch/Qt1Cache.bin
C: E python scratch/micro.py
C: cat > scratch/profile_dispatch.py (heredoc: override QMRef.lookup to count stripe word accesses without changing returned fees; replica seeds 0..4, 5,000 steps each)
C: E python scratch/profile_dispatch.py > scratch/profile_dispatch.log 2>&1
C: sed "s/'Qt1Fast'/'Qt1Cache'/" scratch/micro.py > scratch/micro_cache.py
C: E python scratch/micro_cache.py
cat C/scratch/profile_dispatch.log
ls -l C/scratch/word_counts.json
git status --short
cat > test/scratch/weighted.py (heredoc: exact weighted alphabetic binary trees within original 16-word groups and at group dispatch; count floor 100)
python3 test/scratch/weighted.py
C: E python heredoc: compile Qt1Weighted, report runtime size, save scratch/Qt1Weighted.bin
C: cat > scratch/screen.py (heredoc: replica seed 5, 2,000 steps; Qt1/ternary/cache/weighted in independent EVMs, compare all raw returns and gas)
C: E python scratch/screen.py > scratch/screen.log 2>&1
cat C/scratch/screen.log
cat > test/scratch/table_dispatch.py (heredoc: table-selected internal function pointer, four subtrees per table)
python3 test/scratch/table_dispatch.py
C: E python heredoc: compile Qt1Table, report runtime size, save scratch/Qt1Table.bin
cat > test/scratch/last_cache.py (heredoc: four-word rolling stripe cache on weighted dispatch)
python3 test/scratch/last_cache.py
C: E python heredoc: compile Qt1Last, report runtime size, save scratch/Qt1Last.bin
C: sed "s/'Qt1Weighted'/'Qt1Weighted','Qt1Table'/; s/screen.json/screen_table.json/" scratch/screen.py > scratch/screen_table.py
C: E python scratch/screen_table.py > scratch/screen_table.log 2>&1
rg -n -A45 'def _build_configs' C/amm_competition/competition/match.py
cat C/scratch/screen_table.log
git status --porcelain=v1
cat > test/scratch/global_tree.py (heredoc: globally optimal alphabetic tree, floor count 100, split into functions at <=16 leaves)
python3 test/scratch/global_tree.py
C: E python heredoc: compile Qt1Global, report runtime size, save scratch/Qt1Global.bin
C: sed "s/'Qt1Weighted'/'Qt1Weighted','Qt1Last'/; s/screen.json/screen_last.json/" scratch/screen.py > scratch/screen_last.py
C: E python scratch/screen_last.py > scratch/screen_last.log 2>&1
C: cat > scratch/engine.py (heredoc: pinned harness.run/paired with exact MatchRunner configuration body restricted to the reserved range; save all stats/edges)
cat C/scratch/screen_last.log
ls -l C/scratch/Qt1Global.bin
C: sed "s/'Qt1Weighted'/'Qt1Weighted','Qt1Global'/; s/screen.json/screen_global.json/" scratch/screen.py > scratch/screen_global.py
C: E python scratch/screen_global.py > scratch/screen_global.log 2>&1
cat C/scratch/screen_global.log
C: cp contracts/src/Qt1Global.sol contracts/src/Qt1Fast.sol
C: cp scratch/Qt1Global.bin scratch/Qt1Fast.bin
C: cat > scratch/audit_words.py (heredoc: parse and evaluate both dispatchers for all 306 indices; assert identical source outside dispatch except added comment)
C: E python scratch/audit_words.py
C: E amm-match validate contracts/src/Qt1Fast.sol > scratch/validate.log 2>&1
C: E timeout 470 python scratch/check_f.py > scratch/check_f.log 2>&1
C: E timeout 470 python scratch/engine.py > scratch/engine.log 2>&1
mkdir -p artifacts/goal/batches/e1-gas-spline/items/gas-dispatch
cat > test/scratch/make_sources.py (heredoc: exact quotes, fresh urllib URL reads, write sources.json)
python3 test/scratch/make_sources.py
```

Read-only `cat`/`tail` inspections of `compile.log`, `check_f.log`, `engine.log`, `validate.log`, `screen*.log` and `ls -l C/scratch/engine*.json` were repeated while jobs ran. Process sessions were polled through the execution tool; no engine simulation was rerun. A web-tool open of Q failed internally; its complete contents were obtained by the successful curl above. The same web call opened the pinned raw `harness.py` successfully. Initial tool discovery searched available tools for web/browse metadata.

Final reporting/check operations:
Initial assembly was 65,443 bytes; a Python edit replaced redundant raw callback rows with aggregate error totals, then reran `write_result.py`.

```text
python3 heredoc: summarize raw engine submission gas statistics and means
cat > test/scratch/command_audit.md (command journal)
cat > test/scratch/write_result.py (assemble this report from checked local measurements and complete final source)
python3 test/scratch/write_result.py
python3 heredoc: parse sources.json and the report JSON, enforce byte limits/required keys, assert exact code fence equality and source hash, engine/F passes, both gas caps and allowed output paths
wc -c artifacts/goal/batches/e1-gas-spline/items/gas-dispatch/result.md artifacts/goal/batches/e1-gas-spline/items/gas-dispatch/sources.json
git status --short --untracked-files=all
```

## Problems

- **Target not achieved:** the deliverable is a small lossless dispatch improvement, not the requested 40k headroom or a higher-scoring AMM entry. No board result is claimed. The 32-seed peak is sample-specific, not a bound over all possible callbacks; the slowest path can change with the decision tree.
- Exploratory row packing increased synthetic peak gas from 143,497 to 159,514 (200 callbacks), despite avoiding crossing-word reads; rejected. On one 1,976-callback replica trace, qt1 peak/mean was 170,712 / 125,543.822368. Ternary dispatch: 170,337 / 125,481.202429; shared 306-word cache: 179,891 / 133,112.156377; weighted original groups: 169,628 / 125,093.240891; table-selected function pointers: 175,036 / 129,288.420547; rolling four-word cache: 192,580 / 143,746.503036; selected global tree: 169,441 / 125,011.828947. All returned identical fee bytes on that trace. Only the selected candidate ran on the reserved engine seeds. No savings from rejected variants are claimed. These results show that fewer fetches alone did not offset their additional compiled overhead in these implementations; they do not rule out a better cache design.
- Two local Gate F scaffolding errors were fixed before the final successful run: an incorrect initialization selector caused a revert; then 2,000 replica steps did not yield 2,000 callbacks on seed 3. Correct selector `837aef47` and 5,000 steps resolved both. An initial row-packing heredoc used root-relative paths from the checkout root and failed; rerun from the repository root. These were test-scaffolding errors, not setup failures or final strategy errors.
- The web tool could not open Q; curl and fresh urllib reads succeeded. All eight quoted source passages were checked against fresh URL responses. There was no setup failure, account/quota failure, missing requester input, or blocked step.