{"item":"a","blocked":null,"code":"// SPDX-License-Identifier: MIT\npragma solidity ^0.8.24;\n\nimport {AMMStrategyBase} from \"./AMMStrategyBase.sol\";\nimport {TradeInfo} from \"./IAMMStrategy.sol\";\n\ncontract Strategy is AMMStrategyBase {\n    uint256 constant ELAPSED_CAP = 8;\n    uint256 constant SIGNAL_THRESHOLD = WAD / 650;\n    uint256 constant DIR_DECAY = 750000000000000000;\n    uint256 constant ACT_DECAY = 530000000000000000;\n    uint256 constant SIZE_DECAY = 530000000000000000;\n    uint256 constant TOX_DECAY = 910000000000000000;\n    uint256 constant SIGMA_DECAY = 690000000000000000;\n    uint256 constant LAMBDA_DECAY = 990000000000000000;\n    uint256 constant SIZE_BLEND_DECAY = 828000000000000000;\n    uint256 constant TOX_BLEND_DECAY = 51000000000000000;\n    uint256 constant ACT_BLEND_DECAY = 985000000000000000;\n    uint256 constant PHAT_ALPHA = 270000000000000000;\n    uint256 constant PHAT_ALPHA_RETAIL = 60000000000000000;\n    uint256 constant PHAT_ALPHA_SAME = 120000000000000000;\n    uint256 constant REVERT_U = 0;\n    uint256 constant DIR_IMPACT_MULT = 4;\n    uint256 constant GATE_SIGMA_MULT = 7200000000000000000;\n    uint256 constant MIN_GATE = 30000000000000000;\n    uint256 constant TRADE_TOX_BOOST = 3500 * BPS;\n    uint256 constant STALE_ATTRACT_FRAC = 1050000000000000000;\n    uint256 constant RET_CAP = WAD / 35;\n    uint256 constant TOX_CAP = WAD / 5;\n    uint256 constant TRADE_RATIO_CAP = WAD / 5;\n    uint256 constant LAMBDA_CAP = 1820000000000000000;\n    uint256 constant STEP_COUNT_CAP = 64;\n    uint256 constant BASE_FEE = 4 * BPS;\n    uint256 constant SIGMA_COEF = 200000000000000000;\n    uint256 constant LAMBDA_COEF = 12 * BPS;\n    uint256 constant FLOW_SIZE_COEF = 4842 * BPS;\n    uint256 constant TOX_COEF = 300 * BPS;\n    uint256 constant TOX_QUAD_COEF = 15000 * BPS;\n    uint256 constant ACT_COEF = 91843 * BPS;\n    uint256 constant DIR_COEF = 20 * BPS;\n    uint256 constant DIR_TOX_COEF = 100 * BPS;\n    uint256 constant STALE_DIR_COEF = 6850 * BPS;\n    uint256 constant SIGMA_TOX_COEF = 500 * BPS;\n    uint256 constant TAIL_KNEE = 600 * BPS;\n    uint256 constant TAIL_SLOPE_PROTECT = 930000000000000000;\n    uint256 constant TAIL_SLOPE_ATTRACT = 850000000000000000;\n\n    function afterInitialize(uint256 initialX, uint256 initialY) external override returns (uint256, uint256) {\n        slots[0] = BASE_FEE; slots[1] = BASE_FEE; slots[3] = WAD; \n        slots[5] = initialX > 0 ? wdiv(initialY, initialX) : 100 * WAD;\n        slots[6] = 950000000000000; slots[7] = 800000000000000000; slots[8] = 2000000000000000;\n        slots[15] = 400000000000000000 | (uint256(2000000000000000) << 160); slots[13] = 902500000000; slots[14] = slots[5]; \n        return (BASE_FEE, BASE_FEE);\n    }\n\n    function afterSwap(TradeInfo calldata trade) external override returns (uint256, uint256) {\n        uint256 prevBidFee = slots[0]; uint256 prevAskFee = slots[1]; uint256 lastTs = uint64(slots[2]);\n        uint256 dirState = slots[3]; uint256 actEma = slots[4]; uint256 pHat = slots[5];\n        uint256 sigmaHat = slots[6]; uint256 lambdaHat = slots[7]; uint256 sizeHat = slots[8];\n        uint256 toxEma = slots[9]; uint256 stepTradeCount = slots[10];\n\n        uint256 sigmaForFast = sigmaHat;\n        uint256 fastHat = slots[14];\n        uint256 uncertainty = slots[13];\n        uint256 silent = trade.timestamp > lastTs ? trade.timestamp - lastTs : 0;\n        bool isNewStep = trade.timestamp > lastTs;\n        if (isNewStep) {\n            uint256 elapsedRaw = trade.timestamp - lastTs;\n            uint256 elapsed = elapsedRaw > ELAPSED_CAP ? ELAPSED_CAP : elapsedRaw;\n            dirState = _decayCentered(dirState, DIR_DECAY, elapsed);\n            actEma = wmul(actEma, _powWad(ACT_DECAY, elapsed));\n            sizeHat = wmul(sizeHat, _powWad(SIZE_DECAY, elapsed));\n            toxEma = wmul(toxEma, _powWad(TOX_DECAY, elapsed));\n            if (stepTradeCount > 0 && elapsedRaw > 0) {\n                uint256 lambdaInst = (stepTradeCount * WAD) / elapsedRaw;\n                if (lambdaInst > LAMBDA_CAP) lambdaInst = LAMBDA_CAP;\n                lambdaHat = wmul(lambdaHat, LAMBDA_DECAY) + wmul(lambdaInst, WAD - LAMBDA_DECAY);\n            }\n            // Process variance is propagated inside the censored update.\n            if (uncertainty > 100000000000000) uncertainty = 100000000000000;\n            stepTradeCount = 0;\n        }\n\n        bool firstInStep = stepTradeCount == 0;\n        uint256 spot = trade.reserveX > 0 ? wdiv(trade.reserveY, trade.reserveX) : pHat;\n        if (pHat == 0) pHat = spot;\n\n        uint256 feeUsed = trade.isBuy ? prevBidFee : prevAskFee;\n        uint256 gamma = feeUsed < WAD ? WAD - feeUsed : 0;\n        uint256 pImplied;\n        if (gamma == 0) { pImplied = spot; }\n        else { pImplied = trade.isBuy ? wmul(spot, gamma) : wdiv(spot, gamma); }\n\n        // S: infer a no-trade interval center from the last post-trade spot.\n        uint256 silenceScale = WAD;\n        if (firstInStep && silent > 1) {\n            uint256 g = silent - 1;\n            if (g > 1) g = 1;\n            uint256 w = WAD - _powWad(800000000000000000, g);\n            uint256 s = slots[2] >> 64;\n            if (s == 0) s = pHat;\n            uint256 c = (wmul(s, WAD - prevBidFee) + wdiv(s, WAD - prevAskFee)) / 2;\n            if (c >= pHat) pHat += wmul(w, c - pHat);\n            else pHat -= wmul(w, pHat - c);\n            silenceScale = WAD - wmul(300000000000000000, w);\n        }\n\n        {\n            uint256 ret = pHat > 0 ? wdiv(absDiff(pImplied, pHat), pHat) : 0;\n            uint256 alpha = firstInStep ? PHAT_ALPHA : PHAT_ALPHA_RETAIL;\n            uint256 prePhat = pHat;\n            bool secondPrint = !firstInStep && stepTradeCount == 1;\n            bool sameDir = false; bool oppDir = false;\n            if (secondPrint) {\n                bool up2 = pImplied >= pHat;\n                uint256 d1 = slots[12];\n                if (d1 != 0) { sameDir = (d1 == 1) == up2; oppDir = !sameDir; }\n                if (sameDir) alpha = PHAT_ALPHA_SAME;\n            }\n            if (firstInStep) { slots[12] = pImplied >= pHat ? 1 : 2; }\n            uint256 adaptiveGate = wmul(sigmaHat, GATE_SIGMA_MULT);\n            if (adaptiveGate < MIN_GATE) adaptiveGate = MIN_GATE;\n            alpha = wmul(alpha, silenceScale);\n            adaptiveGate = wmul(adaptiveGate, silenceScale);\n            if (ret <= adaptiveGate) { pHat = wmul(pHat, WAD - alpha) + wmul(pImplied, alpha); }\n            if (oppDir && REVERT_U > 0) {\n                uint256 pre = slots[11];\n                if (pre > pHat) pHat = pHat + wmul(pre - pHat, REVERT_U);\n                else pHat = pHat - wmul(pHat - pre, REVERT_U);\n            }\n            if (firstInStep) {\n                if (ret > RET_CAP) ret = RET_CAP;\n                sigmaHat = wmul(sigmaHat, SIGMA_DECAY) + wmul(ret, WAD - SIGMA_DECAY);\n            }\n        }\n\n        // Interior retail routing equalizes fee-adjusted marginal prices.\n        // Subsequent trades in a step cannot be the initial arbitrage trade.\n        if (!firstInStep && feeUsed > 30 * BPS && gamma > 0) {\n            uint256 normalSpot = trade.isBuy\n                ? wdiv(wmul(spot, gamma), WAD - 30 * BPS)\n                : wdiv(wmul(spot, WAD - 30 * BPS), gamma);\n            pHat = wmul(pHat, 90 * WAD / 100) + wmul(normalSpot, 10 * WAD / 100);\n        }\n\n        // Censored assumed-density posterior. No external or future inputs.\n        uint256 arbProbability;\n        (fastHat, uncertainty, arbProbability) = _posterior(PosteriorInput(\n            fastHat, uncertainty, pImplied, spot, slots[2] >> 64,\n            prevBidFee, prevAskFee, firstInStep, silent, trade.isBuy,\n            trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0\n        ));\n        slots[13] = uncertainty;\n        slots[14] = fastHat;\n        uint256 tradeRatio = trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0;\n        if (tradeRatio > TRADE_RATIO_CAP) tradeRatio = TRADE_RATIO_CAP;\n\n        if (tradeRatio > SIGNAL_THRESHOLD) {\n            uint256 push = tradeRatio * DIR_IMPACT_MULT;\n            if (push > WAD / 4) push = WAD / 4;\n            if (trade.isBuy) {\n                dirState = dirState + push;\n                if (dirState > 2 * WAD) dirState = 2 * WAD;\n            } else {\n                dirState = dirState > push ? dirState - push : 0;\n            }\n            actEma = wmul(actEma, ACT_BLEND_DECAY) + wmul(tradeRatio, WAD - ACT_BLEND_DECAY);\n            sizeHat = wmul(sizeHat, SIZE_BLEND_DECAY) + wmul(tradeRatio, WAD - SIZE_BLEND_DECAY);\n            if (sizeHat > WAD) sizeHat = WAD;\n        }\n\n        uint256 tox = pHat > 0 ? wdiv(absDiff(spot, pHat), pHat) : 0;\n        if (tox > TOX_CAP) tox = TOX_CAP;\n        toxEma = wmul(toxEma, TOX_BLEND_DECAY) + wmul(tox, WAD - TOX_BLEND_DECAY);\n        uint256 toxSignal = toxEma;\n\n        stepTradeCount = stepTradeCount + 1;\n        if (stepTradeCount > STEP_COUNT_CAP) stepTradeCount = STEP_COUNT_CAP;\n\n        uint256 originalLambda = lambdaHat; uint256 originalSize = sizeHat;\n\n        if (540843510468214784 > 0) {\n            uint256 packedFlow = slots[15];\n            uint256 rate = uint80(packedFlow);\n            uint256 count = uint80(packedFlow >> 80);\n            uint256 meanSize = uint80(packedFlow >> 160);\n            if (rate == 0) rate = 400000000000000000;\n            if (meanSize == 0) meanSize = 2000000000000000;\n            if (isNewStep) {\n                uint256 inst = count / silent;\n                if (inst > 3 * WAD) inst = 3 * WAD;\n                uint256 retention = _powWad(999900000000000000, silent > 64 ? 64 : silent);\n                rate = wmul(rate, retention) + wmul(inst, WAD-retention);\n                count = 0;\n            }\n            uint256 weight = firstInStep ? WAD-arbProbability : WAD;\n            uint256 correctedWeight = weight;\n            if (2 == 2) {\n                uint256 missing = wmul(feeUsed, 5000000000000000000);\n                if (missing > 694646180657739520) missing = 694646180657739520;\n                correctedWeight = wdiv(weight, WAD-missing);\n            }\n            count += correctedWeight;\n            uint256 learning = wmul(WAD-999900000000000000, weight);\n            meanSize = _blend(meanSize, tradeRatio, learning);\n            slots[15]=rate | (count << 80) | (meanSize << 160);\n            uint256 retailRate = wmul(rate, 454956858709996160);\n            uint256 retailSize = 2 == 0 ? sizeHat : wmul(meanSize,2074880016546598144);\n            lambdaHat = _blend(lambdaHat,retailRate,540843510468214784);\n            sizeHat = _blend(sizeHat,retailSize,540843510468214784);\n        }\n        uint256 flowSize = wmul(lambdaHat, sizeHat);\n        uint256 fBase = BASE_FEE + wmul(SIGMA_COEF, sigmaHat) + wmul(LAMBDA_COEF, lambdaHat) + wmul(FLOW_SIZE_COEF, flowSize);\n        uint256 fMid = fBase + wmul(TOX_COEF, toxSignal) + wmul(TOX_QUAD_COEF, wmul(toxSignal, toxSignal)) + wmul(ACT_COEF, actEma);\n        fMid = fMid + wmul(SIGMA_TOX_COEF, wmul(sigmaHat, toxSignal));\n\n        lambdaHat = originalLambda; sizeHat = originalSize;\n        uint256 dirDev; bool sellPressure;\n        if (dirState >= WAD) { dirDev = dirState - WAD; sellPressure = true; }\n        else { dirDev = WAD - dirState; sellPressure = false; }\n\n        uint256 skew = wmul(DIR_COEF, dirDev) + wmul(DIR_TOX_COEF, wmul(dirDev, toxSignal));\n        uint256 bidFee; uint256 askFee;\n        if (sellPressure) {\n            bidFee = fMid + skew;\n            askFee = fMid > skew ? fMid - skew : 0;\n        } else {\n            askFee = fMid + skew;\n            bidFee = fMid > skew ? fMid - skew : 0;\n        }\n\n        {\n            uint256 staleHat = wmul(pHat, 700000000000000000) + wmul(fastHat, 300000000000000000);\n            uint256 staleTox = wdiv(absDiff(spot, staleHat), staleHat);\n            if (staleTox > TOX_CAP) staleTox = TOX_CAP;\n            uint256 staleShift = wmul(STALE_DIR_COEF, staleTox);\n            uint256 attractShift = wmul(staleShift, STALE_ATTRACT_FRAC);\n            if (spot >= staleHat) {\n                bidFee = bidFee + staleShift;\n                askFee = askFee > attractShift ? askFee - attractShift : 0;\n            } else {\n                askFee = askFee + staleShift;\n                bidFee = bidFee > attractShift ? bidFee - attractShift : 0;\n            }\n        }\n\n        {\n            bool tradeAligned = (trade.isBuy && spot >= pHat) || (!trade.isBuy && spot < pHat);\n            if (tradeAligned) {\n                uint256 tradeBoost = wmul(TRADE_TOX_BOOST, tradeRatio);\n                if (!firstInStep && tradeBoost > 16 * BPS) tradeBoost = 16 * BPS;\n                if (trade.isBuy) { bidFee = bidFee + tradeBoost; }\n                else { askFee = askFee + tradeBoost; }\n            }\n        }\n\n        if (sellPressure) {\n            bidFee = clampFee(_compressTailWithSlope(bidFee, TAIL_SLOPE_PROTECT));\n            askFee = clampFee(_compressTailWithSlope(askFee, TAIL_SLOPE_ATTRACT));\n        } else {\n            askFee = clampFee(_compressTailWithSlope(askFee, TAIL_SLOPE_PROTECT));\n            bidFee = clampFee(_compressTailWithSlope(bidFee, TAIL_SLOPE_ATTRACT));\n        }\n\n        if (firstInStep) {\n            if (askFee > bidFee && bidFee > 30 * BPS) bidFee = 30 * BPS;\n            else if (bidFee > askFee && askFee > 30 * BPS) askFee = 30 * BPS;\n        }\n\n        if (bidFee > askFee && askFee > 36 * BPS) askFee = 36 * BPS;\n        else if (askFee > bidFee && bidFee > 36 * BPS) bidFee = 36 * BPS;\n\n        slots[0] = bidFee; slots[1] = askFee; slots[2] = (spot << 64) | trade.timestamp;\n        slots[3] = dirState; slots[4] = actEma; slots[5] = pHat;\n        slots[6] = sigmaHat; slots[7] = lambdaHat; slots[8] = sizeHat;\n        slots[9] = toxEma; slots[10] = stepTradeCount;\n\n        return (bidFee, askFee);\n    }\n\n\n    struct PosteriorInput {\n        uint256 mu; uint256 v; uint256 obs; uint256 spot; uint256 preSpot;\n        uint256 bid; uint256 ask; bool first; uint256 silent; bool buy; uint256 size;\n    }\n    function _posterior(PosteriorInput memory x) internal pure returns (uint256, uint256, uint256) {\n        if (x.mu == 0) x.mu = x.spot;\n        if (x.v < 10000000000) x.v = 10000000000;\n        uint256 lo = wmul(x.preSpot, WAD-x.bid);\n        uint256 hi = wdiv(x.preSpot, WAD-x.ask);\n        if (x.first) {\n            if (x.silent>1 && x.preSpot>0) {\n                uint256 elapsed=x.silent>8?8:x.silent;\n                x.v += 902500000000*(elapsed-1);\n                (x.mu,x.v)=_band(x.mu,x.v,lo,hi);\n            }\n            x.v+=902500000000;\n        }\n        uint256 mRetail = x.mu;\n        uint256 vRetail = x.v;\n        // A missing own-pool trade is a censored price observation.\n        if (x.first && x.preSpot > 0) {\n            (mRetail, vRetail) = _band(x.mu, x.v, lo, hi);\n        }\n        if (!x.first) {\n            // A later print is retail. Only an interior route is an observation\n            // of the other pool, with explicit observation uncertainty.\n            uint256 fee = x.buy ? x.bid : x.ask;\n            if (fee > 30 * BPS) {\n                uint256 normal = x.buy ? wdiv(wmul(x.spot, WAD-fee), WAD-30*BPS)\n                    : wdiv(wmul(x.spot, WAD-30*BPS), WAD-fee);\n                uint256 residual = wdiv(absDiff(normal, x.mu),x.mu);\n                uint256 noise = 9000000000000 + wmul(residual,residual);\n                uint256 k = wdiv(x.v,x.v+noise);\n                return (_blend(x.mu,normal,k),wmul(x.v,WAD-k),0);\n            }\n            return (x.mu,x.v,0);\n        }\n        uint256 e = wdiv(absDiff(x.obs,x.mu),x.mu);\n        uint256 totalV = x.v + 22500000000;\n        uint256 z = wdiv(wmul(e,e),totalV);\n        uint256 density = _powWad(wdiv(WAD,WAD+z/8),4);\n        uint256 odds = wmul(density,wdiv(4000000000000000,_isqrt(totalV*WAD)));\n        if (x.size > 3000000000000000) odds = wmul(odds,4*WAD/10);\n        if (x.silent > 1) odds = wmul(odds,8*WAD/10);\n        uint256 sd = _isqrt(x.v*WAD);\n        uint256 width = wdiv(hi-lo,x.mu);\n        uint256 distance = x.mu<lo?lo-x.mu:(x.mu>hi?x.mu-hi:0);\n        uint256 zBand = wdiv(wdiv(distance,x.mu),sd);\n        uint256 mass = wmul(wdiv(width,width+2*sd),wdiv(WAD,WAD+wmul(zBand,zBand)));\n        if (mass < WAD/100) mass = WAD/100;\n        odds = wdiv(odds,mass);\n        uint256 prob = wdiv(odds,WAD+odds);\n        uint256 kArb = wdiv(x.v,totalV);\n        uint256 mArb = _blend(x.mu,x.obs,kArb);\n        uint256 mean = _blend(mRetail,mArb,prob);\n        uint256 between = wdiv(absDiff(mArb,mRetail),x.mu);\n        uint256 variance = wmul(prob,wmul(x.v,WAD-kArb)) + wmul(WAD-prob,vRetail)\n            + wmul(wmul(prob,WAD-prob),wmul(between,between));\n        if (variance > 100000000000000) variance = 100000000000000;\n        return (mean,variance,prob);\n    }\n    function _blend(uint256 a,uint256 b,uint256 w) internal pure returns(uint256) {\n        return b>=a ? a+wmul(b-a,w) : a-wmul(a-b,w);\n    }\n    function _band(uint256 mu,uint256 v,uint256 lo,uint256 hi) internal pure returns(uint256,uint256) {\n        // Soft interval likelihood avoids discontinuities at quadrature nodes.\n        uint256 sd=wmul(mu,_isqrt(v*WAD));\n        uint256[3] memory acc;\n        for(uint256 j=0;j<7;j++) {\n            uint256 p=j<3 ? (mu>(3-j)*sd?mu-(3-j)*sd:1) : mu+(j-3)*sd;\n            uint256 w=j==3?72:(j==2||j==4?45:(j==1||j==5?10:1));\n            uint256 distance=p<lo?lo-p:(p>hi?p-hi:0);\n            uint256 z=sd>0?wdiv(distance,sd):0;\n            uint256 likelihood=wdiv(WAD,WAD+4*wmul(z,z));\n            w=wmul(w*WAD,likelihood);\n            acc[0]+=w;acc[1]+=wmul(w,p);\n            uint256 d=wdiv(absDiff(p,mu),mu);\n            acc[2]+=wmul(w,wmul(d,d));\n        }\n        uint256 m=wdiv(acc[1],acc[0]);\n        uint256 d=wdiv(absDiff(m,mu),mu);\n        uint256 second=wdiv(acc[2],acc[0]);\n        return(m,second>wmul(d,d)?second-wmul(d,d):10000000000);\n    }\n\n    function _compressTailWithSlope(uint256 fee, uint256 slope) internal pure returns (uint256) {\n        if (fee <= TAIL_KNEE) return fee;\n        return TAIL_KNEE + wmul(fee - TAIL_KNEE, slope);\n    }\n\n    function _powWad(uint256 factor, uint256 exp) internal pure returns (uint256 result) {\n        result = WAD;\n        while (exp > 0) {\n            if (exp & 1 == 1) result = wmul(result, factor);\n            factor = wmul(factor, factor);\n            exp >>= 1;\n        }\n    }\n\n    function _decayCentered(uint256 centered, uint256 decayFactor, uint256 elapsed) internal pure returns (uint256) {\n        uint256 mul = _powWad(decayFactor, elapsed);\n        if (centered >= WAD) { return WAD + wmul(centered - WAD, mul); }\n        uint256 below = wmul(WAD - centered, mul);\n        return below < WAD ? WAD - below : 0;\n    }\n\n    // Floor square root: bit-length seed and seven Newton steps (all uint256).\n    function _isqrt(uint256 x) internal pure returns (uint256 r) {\n        if (x == 0) return 0;\n        unchecked {\n            uint256 y = x;\n            r = 1;\n            if (y >> 128 != 0) { y >>= 128; r <<= 64; }\n            if (y >> 64 != 0) { y >>= 64; r <<= 32; }\n            if (y >> 32 != 0) { y >>= 32; r <<= 16; }\n            if (y >> 16 != 0) { y >>= 16; r <<= 8; }\n            if (y >> 8 != 0) { y >>= 8; r <<= 4; }\n            if (y >> 4 != 0) { y >>= 4; r <<= 2; }\n            if (y >> 2 != 0) { r <<= 1; }\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            uint256 t = x / r;\n            return r < t ? r : t;\n        }\n    }\n\n    function getName() external pure override returns (string memory) { return \"censored_10\"; }\n}\n","sha256":"405b3af10af783a4a0e5378e6c7927946c6b9a1d4adf06ddcf1e454b4f60fab9","params":[2,0.5408435104682148,0.9999,0.45495685870999614,2.074880016546598,5.0,3.2748894451493165],"params_exact":[2,0.5408435104682148,0.9999,0.45495685870999614,2.074880016546598,5.0,3.2748894451493165],"parameter_names":["structure (0=count,2=bounded correction)","mix","retention_per_step","rate_scale","size_scale","quote_correction_slope","correction_cap (max weight multiplier; missing<=1-1/cap)"],"log":{"columns":["params","sha256","block","n","mean_diff","se","max_ok","oog"],"rows":[[[2,0.342407,0.999,0.366383,1.8833,196.031,1.5],"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2",[800000,800063],64,0.13842354,0.1020339,192524,0],[[2,0.390841,0.9999,0.02,2.81937,190.388,1.05],"4cde3d401563743ff5e56141f5ccddfbedb9babf9c5ba4a774531f5518551c58",[800000,800063],64,0.018734648,0.10572627,192543,0],[[2,0.234008,0.982774,0.266414,2.3461,265.68,2.16541],"5be0de2bb6cc0c1e45d2b2154439e9649de8c9a908ac5c23b462fbe7cc436550",[800000,800063],64,0.13360924,0.096573379,192524,0],[[2,0.113608,0.975459,1.06093,2.42103,456.379,2.76123],"1fcdac9509ed3fd973f771940ab0b4eeb491bcf30d85c1b6d0fb7465e4798e1a",[800000,800063],64,-0.55037681,0.10049358,192524,0],[[2,0.204114,0.9999,0.647276,2.00252,98.261,1.5029],"6f8248ba48694b8bbd166e89bb8b136a986f83e7994b974d59deeb9106f7df29",[800000,800063],64,-0.12649165,0.11096477,192524,0],[[2,0.322562,0.9999,0.422034,2.76283,103.673,1.99112],"404d0cf83fb0e9e8ce2fb334d089589d327b24d25486a22fe19da221d6329f4e",[800000,800063],64,-0.83835528,0.14542089,192524,0],[[2,0.409751,0.986048,0.02,2.44583,257.736,1.33059],"767b5811646f74a86f9e2f0415013b22b742816fd286d616d0e8ac400763f664",[800000,800063],64,-0.53129553,0.12568998,192524,0],[[2,0.395646,0.98888,0.472925,1.54745,218.544,2.528],"f403d4d91200b5ed1e77c4a96b38ad96ff856af16249441304898fe46986f3d0",[800000,800063],64,0.11174126,0.10258145,192524,0],[[2,0.296557,0.9999,0.02,1.72318,33.2853,1.39514],"db88378fd4f67332b7ddfd7e6be624fe1c0b6a69388ce43ec8bdd856ac79d11b",[800000,800063],64,0.11517838,0.10850278,192524,0],[[2,0.353025,0.996044,0.246732,2.6271,365.818,1.05],"295194514927218e00cada604d907c6ba7b024b362a98686412b1a87f1c21016",[800000,800063],64,0.16574289,0.098794983,192543,0],[[2,0.500912,0.97318,0.0380712,1.78703,209.275,1.05],"99cf5d17655255f01649d079d1322c9acd162074e22eb332dc02ad2c320cceaa",[800000,800063],64,-2.5666224,0.14914105,202100,0],[[2,0.303393,0.989728,0.02,2.78842,281.573,2.18471],"b247634bfd2fb320c7e905a047ad38a1a208ab44e3a704a921df97b401c10c1e",[800064,800127],64,0.27481233,0.089238459,200175,0],[[2,0.353864,0.9999,0.235648,2.03816,188.059,1.16174],"1fdb84f65dfb51706c67394b334b433284bfcd9a80bc9d315c0973e1f715d7a4",[800064,800127],64,0.28363157,0.08158336,200175,0],[[2,0.292728,0.975215,0.159826,2.75136,350.046,1.50603],"8e74a19748b9c4b9289ad3b84bb33eac2f885dae3c5ed7c58e90c876d7e1093a",[800064,800127],64,0.19725972,0.073248832,200175,0],[[2,0.177198,0.983336,0.02,2.65429,265.524,1.79843],"b6004bbf4ac71ef9c658ba731bb96656b0f96739e07bd1b52708ac16c99c9996",[800064,800127],64,0.23095887,0.061922629,200175,0],[[2,0.254228,0.982758,0.649184,1.96767,281.935,1.60534],"5c00099eec1938c7663ba106552dc983eee9bc192a085f7f3511e3e854f7b96f",[800064,800127],64,0.084134848,0.071431159,200175,0],[[2,0.263121,0.9999,0.02,2.884,203.376,2.8981],"382cd24335afbbbe29239c2e2bb246d7fabec687adf24c1f146d39785a333af8",[800064,800127],64,0.013982241,0.087134322,200175,0],[[2,0.442834,0.9999,0.392037,2.04351,396.882,1.82285],"1a964c7e21478f0af49be6e79c70c05bc465515322d674d8a6bc9f0838ca6b9f",[800064,800127],64,0.24748221,0.08894961,200175,0],[[2,0.46765,0.9999,0.02,3.40992,111.461,1.05],"e2734ddf498bca71ae14029a8456b7b3fae9e6b65f2602ac715e601e83f06fa1",[800064,800127],64,0.0014736479,0.093641569,200175,0],[[2,0.270611,0.984791,0.507574,2.95106,99.4648,1.56172],"2b7d31834ecbd014023bf27a6751fb9009d52b5cebb9688e590b93c4c600ce83",[800064,800127],64,-0.10562327,0.084828815,200175,0],[[2,0.231245,0.9999,0.310206,2.49304,264.857,1.05],"ce41cd58089ca8029cb3649181a7960e47e8c9730dc6e7ff967df4edf7598eff",[800064,800127],64,0.017923674,0.083758969,200194,0],[[2,0.264666,0.992649,0.0628421,2.71222,218.228,2.70617],"9207c582b54ffc2088729aba2407f1730767599bc49383f7c8d24727b7d908c0",[800128,800191],64,0.2359031,0.049129479,200268,0],[[2,0.527475,0.9999,0.02,1.95114,195.655,1.44961],"57c4086b3aadd14e0ec6516882e4ef7083e29cdb6df7801d65df7cf6f247bf13",[800128,800191],64,-0.92584641,0.12938775,200268,0],[[2,0.58327,0.9999,0.386494,2.20379,257.352,1.56458],"9600938f97ff8a9abae8241076dc9b03340dd588303d743e4c654c3797e98739",[800128,800191],64,0.18095343,0.079352936,200268,0],[[2,0.248907,0.99965,0.171184,2.18872,383.118,1.88959],"ddb8cdd1600524babc69d489c0a7eb8bc93c03709636625c3a5829a5709be444",[800128,800191],64,0.19628463,0.051551896,200268,0],[[2,0.466854,0.9999,0.02,2.2194,248.071,1.05],"03474e207d10e763c6cdc1e251cb8b28ec06a472d5880b2a7e68fe37c9f2b816",[800128,800191],64,-0.033252592,0.097082562,200287,0],[[2,0.274823,0.998236,0.02,2.17317,172.755,1.9548],"269f655cbc0856fcddc621bd5b4e83cd829dc2ef11a92ecec519976439037e64",[800128,800191],64,0.061493057,0.074688385,200268,0],[[2,0.224637,0.9999,0.161716,1.88055,243.304,2.67336],"47452e145f234de070e8ac9cb6d6f9f616c5f6ad8f0af09735517e943564466d",[800128,800191],64,0.1929449,0.04587039,200268,0],[[2,0.300333,0.995921,0.533414,2.39521,337.097,1.47705],"e32dd11c0d9eb4a0ac6d2cb3c4d20ed32f7bc3ebae88dbd9c672341ddd0a0317",[800128,800191],64,-0.00088531157,0.060907401,200268,0],[[2,0.324337,0.992914,0.112214,2.64038,233.193,1.4218],"a70b4b4835e2cf07a21a8d1e286f37ce1c952d8d5f81e947b7adddfb2d06b435",[800128,800191],64,0.19544174,0.059404226,200268,0],[[2,0.414419,0.998148,0.02,2.37516,272.578,1.05],"dfaabb3b3d2ab1f2e375085486470af44b4ee90edbba208c4bd373d50be9abc7",[800128,800191],64,-0.39648923,0.10369193,200287,0],[[2,0.27659,0.990298,0.296396,2.06906,247.449,1.79353],"25d04fac3c9751792c900b9ba5a7b3c323ce55890e58f497c70a80810485830f",[800192,800255],64,0.052967218,0.064679472,197288,0],[[2,0.296726,0.998527,0.02,2.69584,410.478,3.18717],"0c65a759b2b4f914adb49c9d8e015542a83861932603ee9afa18d21ddef2f641",[800192,800255],64,0.081530995,0.069839097,197288,0],[[2,0.218069,0.9999,0.02,2.55781,238.417,2.23375],"ef2f6303787c324dd3c26a87ef36bdf33fdbf2e511b1d1aab72fe50d08731cd0",[800192,800255],64,-0.10017571,0.080384815,197288,0],[[2,0.319856,0.9999,0.551483,2.02908,390.501,2.55804],"c200a99e302e8e1a1e36b0a2f52e7221c1f365e217b6dd94055a630627747717",[800192,800255],64,-0.37654778,0.094755129,197288,0],[[2,0.444091,0.993012,0.121238,1.99176,210.048,2.3688],"88b7ba59262d1de064fb9c50ccd7db50f36e5328a415b270d3ed68f9cb1dc47e",[800192,800255],64,-0.50588477,0.11442125,197288,0],[[2,0.311864,0.9999,0.720287,2.85351,429.162,1.05292],"ee7412a8f8c6a69f6ce537838f01cd676ccadd6cf7ad46b17f06753d735f9ff7",[800192,800255],64,-1.4517594,0.14354492,197307,0],[[2,0.217379,0.9999,0.20735,2.38348,289.11,2.67206],"59055ead02d36bb9a59d6639f2d0a0ca9c59a13350b9207267a548f42930c3dd",[800192,800255],64,-0.16420889,0.088544751,197288,0],[[2,0.268024,0.9999,0.437209,2.13687,332.506,2.49935],"323d099179a58b73005b91ced62dc933452653741be7812dc3d0f4476c61a46f",[800192,800255],64,-0.26298157,0.092058385,197288,0],[[2,0.0707386,0.9999,0.312005,2.99598,268.185,3.2449],"2fc1966f65519f4c32ff7f1cbdea250db8b347bf31d64dc6540e3ea856af3763",[800192,800255],64,-0.12168176,0.062295139,197288,0],[[2,0.196145,0.984506,0.36967,2.18637,321.692,1.30801],"e876a677fe58bbd287b78f0683ea2323fcdd1527b16e31c630479a3e34b640c0",[800192,800255],64,0.071656275,0.05779393,197288,0],[[2,0.202188,0.998001,0.02,2.5326,363.876,2.13364],"bf91eaa31e5c15bce252e32d9cca8e5a14b4f0c43fa148b466694bd901e150df",[800256,800319],64,0.21414479,0.073337753,200256,0],[[2,0.235219,0.987668,0.02,2.47742,402.334,1.87859],"b67b145506ba44cda114f691db3bc654decd1e5b1e44486ff30954f90c6fc128",[800256,800319],64,0.20980055,0.075624162,200256,0],[[2,0.385431,0.999185,0.288716,2.05717,384.898,2.14959],"c5eb188455e3eff8e2a4c37f41d5591ffc3def1bf953626e92a5c609648f2210",[800256,800319],64,0.2547907,0.095419172,200256,0],[[2,0.32215,0.990868,0.02,2.76354,368.239,2.01586],"3d7d56372f61bc35c7fe87431e044ab718fa612b283f10ec88a37eba1179e7ca",[800256,800319],64,0.17632987,0.083722019,200256,0],[[2,0.219444,0.980104,0.60696,2.65622,410.577,2.69136],"0bb25794c34f7f4fc4255ea40cc3b5433834df12981597a5e2034e39b828acb1",[800256,800319],64,-0.53193569,0.10075229,200256,0],[[2,0.202426,0.99809,0.284286,2.27808,243.88,2.40789],"cd55b8214dfc6af58a685828772556d5e8c186464a469b87bc8ee4cfe28190fe",[800256,800319],64,0.085291026,0.064070245,200256,0],[[2,0.298413,0.993185,0.233283,2.13142,378.451,1.93682],"67107a5d10f7dd44bd1c57c6f505a709540f21e712cc0e879895ab94f7f2b516",[800256,800319],64,0.18224908,0.077434624,200256,0],[[2,0.318655,0.981722,0.02,2.88684,408.281,1.74228],"564b34c565bbee35683352edf314311776c04ffa4cb7aa4cde9d418226894ade",[800256,800319],64,0.17074176,0.073550646,200256,0],[[2,0.251056,0.9999,0.02,2.89472,219.057,1.62615],"2dd37b29040e9e20cf3eda964845e287d7030784022855a16015b4cd0a01bd30",[800256,800319],64,-0.18304632,0.085584646,200256,0],[[2,0.254048,0.995032,0.02,2.21299,319.053,2.70764],"c58ca4614a75ed33ad68c1813f688050613cf2c5f65b3e45230d1a50dc4bbcce",[800256,800319],64,0.21356026,0.078243895,200256,0],[[2,0.288908,0.9999,0.310219,2.41147,370.71,2.04922],"1b84470e414da7bc7a7562690e5dff727a679d377ce27433228b8330796b1d2c",[800320,800383],64,-0.042458264,0.067069619,200268,0],[[2,0.287676,0.9999,0.179211,2.28806,391.326,2.69774],"e29d2f65d4747469d68213f5af901365321641c32699fdb61a858efc0abe0d84",[800320,800383],64,0.12092753,0.053732189,200268,0],[[2,0.322411,0.9999,0.379752,2.23681,449.639,3.57315],"377a0dc720b79db1b04246fc337a868060047e983105ed1aecd2249735607c20",[800320,800383],64,-0.11717514,0.075757417,200268,0],[[2,0.261601,0.992653,0.0379759,1.83313,383.66,1.67666],"7dea447beaff3b67554ce5f9d3636bd954f6f15d7ad8bcd4be0f472ead5d7e12",[800320,800383],64,-0.020908557,0.073017809,200268,0],[[2,0.229376,0.9999,0.0484966,2.93364,319.511,2.5275],"752943585eca5dbd3236325e3bda2071cd0b682d03a516b3abeb3295f4fdd09a",[800320,800383],64,-0.1811959,0.077596365,200268,0],[[2,0.346256,0.995061,0.213896,2.50066,379.014,2.96343],"155a3e921fd0674eafafc58e4848aa757cd49cee7a2dead906b80cb40053aa92",[800320,800383],64,0.22215996,0.052658827,200268,0],[[2,0.336458,0.9999,0.293727,2.3803,325.299,2.29919],"398b20227bc5f4216630a2723604787165c5d617f2e3c2ac5232f4ed49a48191",[800320,800383],64,0.037165809,0.070454364,200268,0],[[2,0.450772,0.9999,0.02,1.97357,296.8,2.79851],"ae0d10f0bac8893f2769ddbb8262aa3d6b9b568ef66bd856d6d72d76668ec165",[800320,800383],64,-0.11681481,0.085927993,200268,0],[[2,0.319112,0.993003,0.191019,2.09122,443.897,2.75482],"435748d20af3ec9dbc873e3c5220531556c6ada17e13a1ff6db25a260cba27b2",[800320,800383],64,0.22205907,0.057453766,200268,0],[[2,0.300395,0.9999,0.02,2.78663,195.739,2.20836],"95a79a46face7fb46a59a3f5aa7e1fb736bcdbea01bb88f29938683b04c672e8",[800320,800383],64,0.070821022,0.06876653,200268,0],[[2,0.321224,0.999387,0.181923,2.51209,451.588,3.95484],"9c38f54aa6e6bc801dcfe38be2e729ccee6a6ec3a3496dee9b69c4304cb75f76",[800384,800447],64,0.17787374,0.053117495,199385,0],[[2,0.346633,0.9999,0.521702,1.96545,512.086,2.31513],"7e9b750a47544cd75273b11e640ee488a1aa525e20940fc5ff17b44ba9984d72",[800384,800447],64,0.01681824,0.07115638,199381,0],[[2,0.278401,0.993467,0.0506867,3.04577,364.709,2.73216],"1df4464d4785c5c6a8c667de313c2d2b95661c76c5b5682e11d7d85a38eeb5f5",[800384,800447],64,0.15370892,0.054167351,199385,0],[[2,0.303039,0.998454,0.335209,2.35546,287.71,3.29762],"c4f1204e511f91d85acff9494d3f3650d4c86f4e6d9936d5a04f5faeb02c7787",[800384,800447],64,0.083798399,0.062864508,199373,0],[[2,0.387846,0.993895,0.380835,2.31431,370.978,2.92144],"be179abe9badab3c218417370add872f6bd9eb90088164f94d3c4ebcaf8caf05",[800384,800447],64,0.085201092,0.068522703,199381,0],[[2,0.30402,0.9999,0.541651,2.17248,436.793,2.75841],"eadde61bcf9beea5510e7e5fe5fd0db4304ab84715b967b809cec726cc8b5882",[800384,800447],64,-0.26764381,0.085101647,197183,0],[[2,0.345477,0.979169,0.270067,2.73333,296.76,2.38519],"aabd8c52c200391763a51700daac137129195da72d2709944b3b80138cef3008",[800384,800447],64,0.11415351,0.068383315,199381,0],[[2,0.208865,0.995009,0.02,2.84357,391.361,3.27211],"bc7fbb3f66814ae3ed62353426cfe20f27c2f91d348b29fbd302701a13828bef",[800384,800447],64,0.17856583,0.049366663,199389,0],[[2,0.336527,0.995261,0.02,2.19065,389.032,3.6246],"eccf29eccd6cc32d65cd789aa365dde872a6e8c9d36726db13f629260ca53087",[800384,800447],64,-0.091502015,0.092873957,199385,0],[[2,0.181148,0.9999,0.280178,2.54102,365.762,3.76216],"22f9e18045b326738bad1702a4d6f75a2f87644cb57a64c8b1957e5301e1b434",[800384,800447],64,-0.033960052,0.075762851,199365,0],[[2,0.257811,0.9999,0.02,2.86077,403.789,3.45397],"fb3c04bbb709e459b79ba64639f23e349fbe9ad873c45c0b2d4a762292156e71",[800448,800511],64,-0.18748546,0.089032611,200256,0],[[2,0.443681,0.990075,0.02,2.13014,457.526,2.16726],"3f75e4251d5be5447c92dbd0554beae18d956e71f3462a870199099238810470",[800448,800511],64,-1.1426619,0.092106393,200256,0],[[2,0.320208,0.995356,0.357736,2.46092,429.869,3.02623],"4155cd7015fcbc76e3f84f5a5ee016d3b69b66ce48d6cfe362fba23df24e5e7f",[800448,800511],64,-0.14477153,0.076614718,200256,0],[[2,0.323245,0.982178,0.02,3.46878,412.982,3.44607],"e54294017b9fcfa2275f6d0413331f496ce9194c4a77ea95f254c577a9f8bde7",[800448,800511],64,-0.0012472858,0.066233262,200256,0],[[2,0.306454,0.9999,0.229599,3.18224,352.247,3.45023],"3a98e0259410cf4db26809a7bb45636c82eab1ff123742f9fbf2b5d1943b0d7a",[800448,800511],64,-0.96150969,0.13325697,200256,0],[[2,0.219583,0.997157,0.02,2.513,395.876,4.07866],"051fad3dc972f9d0c6e8a3527393abe7f680500708dfcc5455f08fefee8290ff",[800448,800511],64,0.077731686,0.053243374,200256,0],[[2,0.217837,0.997343,0.0578829,2.72336,391.951,3.69915],"0cd1a1f9d8b513d1736587a54a1e72cf6cd5a29bdf1610eb956111a0e9b8d604",[800448,800511],64,0.077032364,0.046854367,200256,0],[[2,0.263089,0.985727,0.13137,2.23317,307.849,2.26961],"1458398083c6de78281c9b4ad911b318df8cb832e3ac7385372c710a8a5772d7",[800448,800511],64,0.0048452988,0.054764359,200256,0],[[2,0.115407,0.99557,0.292742,2.69838,625.317,3.47167],"a0b8e39d061af450d1359851841c6b165c17a277b0385530d8ec9d6250437c66",[800448,800511],64,0.01722769,0.062023118,200256,0],[[2,0.270329,0.997547,0.12951,2.61396,323.057,2.73246],"aa33288ca741ae8413ef0f50844ed37a94827a055a53399fb9dfc09c12609320",[800448,800511],64,0.081565107,0.058943555,200256,0],[[2,0.202491,0.9999,0.02,2.98536,440.701,3.43722],"03a52c754be9a23097efa29cc795e7babfd8f40cee2f1ef1dd5453db86e8334f",[800512,800575],64,-0.22919366,0.090549664,199234,0],[[2,0.23299,0.996457,0.0917037,2.81136,273.596,3.46429],"a798b79f9e2ae92a4c2d6fe727210f041f3c058cb38d56d96f4c4be6a52d835a",[800512,800575],64,0.12328185,0.062876743,197277,0],[[2,0.124579,0.9999,0.02,2.39235,361.875,3.17932],"7c444ce43542fb431b1236ced5b49dc2866332c4804301a9ee2d0c355ec99259",[800512,800575],64,0.0033208874,0.060630262,197277,0],[[2,0.31655,0.9999,0.22305,2.77519,395.599,3.11042],"779042d47c77a03f336ba1dfa36e87b49ba983ee7cde40d7ed3c14b490ee0c44",[800512,800575],64,-0.44123528,0.10505796,199250,0],[[2,0.282264,0.998867,0.02,2.38954,469.786,2.73352],"8f7bea02e68d45ee91c4cb3303797640814e7370600075ba4cc0730e6d633faa",[800512,800575],64,0.02652264,0.069984319,197277,0],[[2,0.201592,0.9999,0.184474,2.23071,297.244,2.35054],"6645a5f6193cf1a105d695f645f3ed4498efb9d83ce7f46cbfd8729f4ee803ce",[800512,800575],64,-0.025804095,0.068127888,197277,0],[[2,0.265336,0.991034,0.02,2.69977,510.374,3.42137],"9248b275c0b37401f79afaaa3e8c75cfa1a9ef28b7e6c8496e4731ab14494543",[800512,800575],64,0.063283299,0.069772334,197277,0],[[2,0.328533,0.981282,0.199251,2.40459,264.666,3.30539],"035cbd21cc0b4dd983ea7976831269ffa3871facc7a9fcecc3d29bcea3c415fc",[800512,800575],64,0.070373301,0.075582613,197277,0],[[2,0.247071,0.995882,0.0277569,2.80192,323.189,4.55252],"449ccda047c13e0187731408e736ef0a466a5d229bb8c58f41f456c16f20e356",[800512,800575],64,0.11707291,0.070873405,197277,0],[[2,0.20608,0.992943,0.176125,2.72045,265.471,3.69709],"4c2b02465fb97a3d98fdce48b61cab6907a3916cb5d22a5d2811f4ab100bff00",[800512,800575],64,0.052191563,0.060403132,197277,0],[[2,0.183466,0.995774,0.0586521,2.37504,258.746,3.76314],"c592efdc00163471464f927bc5ba57efebb291ede3e0fe1286fdb5f37155f533",[800576,800639],64,0.2281483,0.056709234,197195,0],[[2,0.269946,0.984124,0.241463,2.54396,318.906,4.70474],"e37393c4b372a201e0348aa380f71d78d9aaf10f211a7f6a62157a862ef4dd7b",[800576,800639],64,0.054057129,0.04979019,197195,0],[[2,0.206887,0.982712,0.02,3.06355,113.733,3.94026],"046ceade8ba19ac3db6fb9209d4e067429cbf38ef4f65ded12bf7c7fae72c981",[800576,800639],64,0.18805527,0.053570447,197195,0],[[2,0.361656,0.982526,0.478488,2.54944,250.478,3.23716],"65f9fc7872cddd3f76f52e2ce8745dcc1f1f31a41df551b47c57ab7694000b17",[800576,800639],64,-0.59711833,0.111212,197195,0],[[2,0.243715,0.980218,0.179906,3.16829,194.965,4.07666],"e7be5a868f4f02289b20c3e1bcb15dadc8a5a90a63f0bc004c8cc8d8a7bc430f",[800576,800639],64,-0.029692892,0.058919205,197195,0],[[2,0.111976,0.9999,0.02,2.90349,345.322,4.12759],"625387fa0a4fea11fa81350ec2d96557e46d8189dc6ef2242ac87a0864ca8dba",[800576,800639],64,-0.057080522,0.06171456,197195,0],[[2,0.132118,0.998948,0.02,2.70633,403.792,4.30314],"b97b5920cb3becd66c68b08adea9ca39b81c5a0dabc50c8fdee6fbb3c02679a5",[800576,800639],64,0.12391934,0.043372463,197195,0],[[2,0.359151,0.991209,0.142593,3.07318,255.277,3.42249],"a821302bfee04dcfe40797413d04b5c01d8772c5da41da77f195fcda3b6fc9e2",[800576,800639],64,0.21637176,0.068188687,197195,0],[[2,0.210117,0.992792,0.02,3.11186,378.603,4.81817],"7d08be6085f5045f86624205f68be3235f73d50dd71c39802d78906459615ad1",[800576,800639],64,0.20586658,0.052384034,197195,0],[[2,0.140904,0.992362,0.0584577,3.20636,249.185,3.21947],"8003e1c2b58a490c91420d6159d665f006e5273b3b422c2a65f3c9c1b513ec6b",[800576,800639],64,0.095438135,0.045752199,197195,0],[[2,0.280474,0.98603,0.313493,3.21882,168.997,4.90721],"adaa3c63a3ead5a39313295cdbcaec285c4ed62ff43a1b00c9bbb5ba6ee1f840",[800640,800703],64,-0.4746158,0.089863994,198215,0],[[2,0.176833,0.987724,0.371088,2.5633,274.179,5.15365],"4bc46f51539d42e057563febef7570c4504dc2a48cc7d588ab1ac1efd7409f45",[800640,800703],64,-0.097419016,0.06476357,198246,0],[[2,0.166138,0.994114,0.258031,2.99239,290.702,4.14186],"8d53601d20cb746b77738b4abda9bf40f1287a825e057fd0c859c5cb8a6e2108",[800640,800703],64,-0.051317424,0.057339223,198223,0],[[2,0.168998,0.990417,0.205059,2.64894,348.017,4.19272],"85b1e13af3d00b1f2ffaeaf8ff460352b77223011237004cc4cb9adf0fb2e749",[800640,800703],64,0.10546745,0.047441563,198315,0],[[2,0.225065,0.998157,0.115676,2.89628,324.749,3.84367],"8fc2a280bf5f5b6cce14e352814f19a77a9d0c20f2c7cbba6f5b296efe84fb73",[800640,800703],64,0.14444153,0.050363188,198307,0],[[2,0.282901,0.9999,0.02,2.77243,81.1239,2.26489],"877cc9dcfad258633bcca503bf7d5a607c0892fc2075d767ecd9e9f241f9fad5",[800640,800703],64,0.00395438,0.065141382,198220,0],[[2,0.154075,0.986278,0.02,2.51098,230.14,3.85072],"c4589cf0e6a8f8c053cc940d2acdd20e3ca822253d66162be5126f5319e599b1",[800640,800703],64,0.18033149,0.035650468,198327,0],[[2,0.309532,0.998526,0.138708,2.57018,336.992,3.55557],"17eacc6491e948278cafe388a430b898e38eb808fe3323a4e925ebac456f71d2",[800640,800703],64,0.17668183,0.056014266,198307,0],[[2,0.174396,0.995399,0.17753,2.52124,317.302,2.84667],"c7d81bf9b1a74c55f78c25667ccf052fdcae1d8fd42ad1af9c6a81a384216d57",[800640,800703],64,0.15388556,0.043896628,198315,0],[[2,0.274701,0.996139,0.119296,2.94271,313.315,3.8007],"e6ca9d9cf7c947f2991dbae83c4adec01e6fe8fbbb719a790edc481f5ae54320",[800640,800703],64,0.14954544,0.053450845,198315,0],[[2,0.181984,0.992912,0.48182,2.21929,282.922,3.40187],"918b2e1b54c30941790b113408cc5f1103a5a57bb46e4aa87c315f4979f4ae92",[800704,800767],64,-0.16034656,0.062613522,197384,0],[[2,0.261922,0.994207,0.0512155,1.88837,336.533,4.17894],"429ef17161e0d0aad9acd561c93b5656719de8f869cddf82f4809e902f3d0c41",[800704,800767],64,0.055994047,0.080523417,197277,0],[[2,0.264123,0.992565,0.336762,2.57451,247.617,3.57143],"fa559793c827a3a8519304340bde2e34c6a0cd96b620b52abf087a8322edde3d",[800704,800767],64,-0.13961357,0.0674316,197400,0],[[2,0.191975,0.990611,0.02,2.1168,341.061,3.45536],"ddd75fd7a755055d6a9706ef6c9cd22df89fce68188fbb6ea655f0f7d9e22a0f",[800704,800767],64,0.18296844,0.06853811,197277,0],[[2,0.175924,0.9999,0.0439286,2.61625,212.662,4.29821],"fbf365a1ea22fe653b8cec8ac961d23287d712e9be1f1fc3dc90ced6288b5675",[800704,800767],64,-0.11173953,0.061810797,197396,0],[[2,0.148066,0.986249,0.02,2.69233,291.366,4.62323],"1c631d74bea128284eceeaacd72e326f4fa86cd914966d8f51275b6844fedac1",[800704,800767],64,0.12435272,0.053631238,197400,0],[[2,0.305473,0.9999,0.402231,2.69479,335.24,3.55087],"fcf250c82573b4c5b83754d99a701c00ff83a5fa02b59929c18786e67522f695",[800704,800767],64,-0.96688145,0.10225162,197392,0],[[2,0.224955,0.972358,0.181074,2.43724,248.352,3.18167],"26bef483bec0de3923d1e04db134873d5f323a8be9ce0ef2a04307a9b096690b",[800704,800767],64,0.14750848,0.059659266,197396,0],[[2,0.222809,0.986068,0.02,2.67256,167.534,3.70814],"ea1e46a99335887220caad667198b6e6ff0075632809d2cea225836a524eb760",[800704,800767],64,0.20559302,0.05985866,197277,0],[[2,0.260389,0.996289,0.124904,2.74718,259.648,3.94526],"aa946c8add6c698729e20d2f0b5af0a84b958b64b516a7fa543468bce57e7e18",[800704,800767],64,0.1715624,0.060197757,197384,0],[[2,0.191843,0.985331,0.460853,2.5036,248.248,4.33545],"1d009bb083d7dcff68fda9463f5ac198667a5880f000523217d320f6cf3f0cb7",[800768,800831],64,-0.15312084,0.076941814,197288,0],[[2,0.172476,0.988867,0.232195,2.45608,197.661,3.70474],"5b624869e92aeb71aa51e964eb6be15e968a762cd682d0eff85e84f68db55c1b",[800768,800831],64,0.18719382,0.041915841,197288,0],[[2,0.273559,0.991535,0.02,2.55772,177.132,3.39741],"6071c3874b4f14e385c66bfb362fb5a15805e4c017832ce3c073ddf7fba7f471",[800768,800831],64,0.2204101,0.063649047,197288,0],[[2,0.2685,0.996007,0.0618624,2.19496,289.831,3.13272],"6cac77eaee57235b626f17bf635d41458634d4e692a2f45fa66a19712bde5fe8",[800768,800831],64,0.1355823,0.065189753,197288,0],[[2,0.115443,0.993154,0.02,2.56916,148.429,4.6018],"472ed6b6e4c32b6bf91ae48af3f04c908efb5be54ae538b0ae3b8364de173d37",[800768,800831],64,0.17305805,0.036390769,197288,0],[[2,0.176774,0.981083,0.02,2.84822,246.842,3.56785],"5b6ed5e1bf94ddae62d16f50d26da0fb8f03aca3ab25689ae4b3e430d9294f2f",[800768,800831],64,0.17378895,0.040968088,197288,0],[[2,0.199823,0.984908,0.179155,2.2827,223.46,3.4313],"c1aa33960c2397c4f27e0dde0f0ef0fe591fc2dd039b179a8b8cf2627d98ec60",[800768,800831],64,0.18795698,0.041529426,197288,0],[[2,0.269688,0.993646,0.355299,2.16588,160.968,2.56882],"5df15a7a478ccbc87fad40c9f03de4bc27b294a2687757d6977295f93a175a57",[800768,800831],64,0.20530754,0.051910373,197288,0],[[2,0.117644,0.981641,0.02,2.86668,216.803,5.37352],"50ed69cb777d497991d1ba7a8270e48ce3857168ca9216e2110acd747754b029",[800768,800831],64,0.17690672,0.032061687,197288,0],[[2,0.183768,0.992211,0.0243094,2.27234,266.455,4.19302],"b13e8a260579ed779e32290c7d95ecf3304042ba32057c428d8e3f7300f315d3",[800768,800831],64,0.18920546,0.051362774,197288,0],[[2,0.181175,0.997395,0.3451,2.08932,136.06,3.2453],"c8bbcd679ab735ad2e808f4ea49b27123233b15c013dd2b386b68a65872630e4",[800832,800895],64,0.079384974,0.057669045,197288,0],[[2,0.309398,0.9999,0.02,2.11813,182.246,3.67442],"d874cbc99f8b735f1df6bcedb5038ccb642e7f2fcdd88607e13ac77db4e973de",[800832,800895],64,0.14507261,0.071257286,197288,0],[[2,0.258089,0.983367,0.272935,1.94161,141.509,3.46935],"ae4d8be683cf5c0e38b35154c85ed1781bb2088f2dc20622efe8301a7da5d3e2",[800832,800895],64,0.091175036,0.063310932,197288,0],[[2,0.294819,0.996406,0.02,2.47162,110.173,4.03992],"bdda67b8bc1cf55b925e68f5ec9f68d55f4319a34ace1fc5b42682c09c5c63e4",[800832,800895],64,0.14354028,0.082763363,197288,0],[[2,0.228087,0.99628,0.259273,2.02517,198.737,2.26489],"0dbf67f6b355e5026c7cac724937fe0816e1805f4e1a706ff54e654c85360ee7",[800832,800895],64,0.14454972,0.058681669,197288,0],[[2,0.269927,0.994113,0.100207,2.38685,55.4049,3.60532],"5a0a0c0911f70c4f66a5fed4c9d9cceb30bdc36ebe04fd3baba24e1976bfeb85",[800832,800895],64,0.17217492,0.075826203,197288,0],[[2,0.34197,0.993289,0.0337086,2.07702,158.735,3.06062],"4db37cd999aafb01cb71d7789b6557a887a7b7c8b210157740761676bf7ac47f",[800832,800895],64,-0.15166752,0.088995822,197288,0],[[2,0.135263,0.985344,0.213852,2.31472,254.556,3.42176],"7d52a27c603e65442e012c264dd8b0cf2c4eb300d97388687bce90a5a0d0f557",[800832,800895],64,0.05481659,0.041776673,197288,0],[[2,0.289403,0.9999,0.02,2.12135,145.453,3.49877],"2c2674f990c489ccfaf272ee704994a9e8c635003abcc623d1eecf670caa35d8",[800832,800895],64,0.14188477,0.070640799,197288,0],[[2,0.147195,0.982732,0.206738,2.33975,295.683,4.41211],"23ce3e1bb50e206c5503a430b6c6609348e20e473839d12378f1af2ebd1e30ce",[800832,800895],64,0.016773009,0.043874075,197288,0],[[2,0.244713,0.998457,0.111475,2.019,103.883,3.40135],"64c3a28900b206aa6b40396e157ccaccac2850f92f63f22fdd2bd72d41209782",[800896,800959],64,0.12595618,0.055983011,200268,0],[[2,0.283893,0.9999,0.02,2.11345,157.67,3.83869],"a59487a7765f9640971fddfca0ed6703eae83b1fc04245502d4022e049298ae3",[800896,800959],64,0.23837054,0.051304063,200268,0],[[2,0.273068,0.995911,0.02,2.31343,156.459,3.40728],"6b80877d041f65e7faf4730f7bc383c803ebab045db275288f857c37924248e6",[800896,800959],64,0.07141413,0.068957833,200268,0],[[2,0.212306,0.987235,0.271339,2.29579,93.7436,3.78708],"31d4411d17fd9b03b229ab6a049cc59fccffa71462effab7ad9423a560206fa7",[800896,800959],64,0.22811575,0.042154375,200268,0],[[2,0.373732,0.993672,0.180518,2.42427,109.921,3.1913],"8f00b43689464261c4cf89773299387450fcd502bf81c764511968eacd3e7433",[800896,800959],64,0.13217579,0.063472167,200268,0],[[2,0.302894,0.995317,0.02,2.34301,5.0,4.19723],"98b9e02cc60c0a8dc11a127436492f7f299d28b86e67ad231acf5daa0b4ce818",[800896,800959],64,0.0026173215,0.077690276,200268,0],[[2,0.235737,0.99122,0.25507,2.82279,173.267,4.33672],"19da45724443814a68bb53669f4059b439c3b4f48c4e8967bd008cc2fc0195b9",[800896,800959],64,-0.0089830357,0.063056389,200268,0],[[2,0.267423,0.996746,0.394188,1.88141,240.515,3.52134],"655600672640eaa9794cecc25a789570d4004210fb16e820c1547f13874d29af",[800896,800959],64,0.11952899,0.050391434,200268,0],[[2,0.278329,0.995659,0.356891,2.11882,5.0,3.19796],"02307e6b2508e7319285d5ac0650e87132ae1e98acacd7fa8b81a9e737f8b162",[800896,800959],64,0.17169505,0.045556969,200268,0],[[2,0.304662,0.995164,0.346456,2.02746,190.827,4.08009],"9e61140e43724eb69f26cf62f6ea46c89f3aea0b2ed7e40b902ba58564c09a98",[800896,800959],64,0.15902881,0.055057271,200268,0],[[2,0.178497,0.992246,0.396082,1.94053,105.035,3.60747],"8b006e6a6759972dd151ae889e9d39d34ecbf7e34cb02c340be142a4d8a2f088",[800960,801023],64,0.1723556,0.068995872,197276,0],[[2,0.360486,0.991874,0.453202,2.1374,124.629,3.07652],"0b4d177a7eb79c9dfcb0833fede642a6f69345268dafaa2c1a19f65c2617868a",[800960,801023],64,0.071876365,0.09551752,197276,0],[[2,0.246871,0.9999,0.02,2.49796,203.836,3.49717],"510e7dfb75aef96e09fe69ad4767b3c857c6b556e0f397b4aaa905358baf6ba3",[800960,801023],64,0.13169505,0.091867483,197276,0],[[2,0.270242,0.990301,0.0795629,2.66873,5.0,3.83775],"e53e141d2f57352fa7b08e5e6ffc3ed49643b740287a31ce4e08a9d12200e257",[800960,801023],64,0.19578737,0.08498276,197276,0],[[2,0.540844,0.9999,0.454957,2.07488,5.0,3.27489],"405b3af10af783a4a0e5378e6c7927946c6b9a1d4adf06ddcf1e454b4f60fab9",[800960,801023],64,0.33075153,0.094147179,197276,0],[[2,0.241713,0.993426,0.126958,2.14308,213.1,3.6589],"ee706b7f0cc94feb8844c7ba80c8e166cfb16e0805366a09264de3bc74696294",[800960,801023],64,0.18879281,0.078469911,197276,0],[[2,0.189004,0.995288,0.218472,1.73621,239.267,3.48953],"3e9df5a741717a22c025ee1fd06c8ccc7432e93a1f08044b6a4682b2644df284",[800960,801023],64,0.21264529,0.07287436,197276,0],[[2,0.157078,0.997419,0.02,2.51506,116.103,3.64281],"159256944cf63466800a59fd3a424a74af243e5b60ba63f63bc999d3f7a791b1",[800960,801023],64,0.24496132,0.073562574,197276,0],[[2,0.250126,0.992046,0.02,2.41743,74.1589,3.37848],"9eb4a543e998916be8677bdfe3e593556d71b96ddfa24c4fa7b03290be1d1611",[800960,801023],64,0.16781437,0.084416192,197276,0],[[2,0.282749,0.993574,0.0765105,2.5828,230.911,3.79145],"68d9a50b1a59bfa7b789be9ce9c84cad51fb3410128e46eedd27ba32dc484924",[800960,801023],64,0.22625427,0.082869082,197276,0],[[2,0.323524,0.996391,0.172725,2.57634,139.037,3.3932],"8342e46d1fe87846c6f37e24e92cd6231200a3f23f65fd0f76b1af18a0ddc553",[801024,801087],64,0.20322362,0.068232816,200164,0],[[2,0.423733,0.994707,0.287252,2.5786,174.949,4.02674],"8af8af3d7b318c4ef543837b844f13bac7366947adc0a2da83c0c1fe68015a59",[801024,801087],64,-0.090731108,0.077378029,200164,0],[[2,0.39679,0.9999,0.163642,1.90095,5.0,3.64519],"928a5e8cecc1ba59582f70100d085af73127a36366acd6734c4898a31815c370",[801024,801087],64,0.16529603,0.081088508,200164,0],[[2,0.342164,0.9999,0.454833,2.60282,5.0,2.59473],"bdc4599c87e0eca9f8687c60c7ec94a195b8563dc813dc52ee3eb853454a5ca3",[801024,801087],64,-0.54764135,0.10010867,200164,0],[[2,0.342924,0.9999,0.203342,2.41897,146.689,4.12237],"f73d4ed3345167e48734a5bba996b1bef71cae4a93e1003c3e7c964f4bd6bec1",[801024,801087],64,-0.086577645,0.082208085,200164,0],[[2,0.350493,0.986005,0.02,2.50367,161.905,3.13379],"4f2f158986d4db45bc52e89e50a2a81b92c2af5af5f16512d97450296c523b47",[801024,801087],64,0.0028262195,0.092835533,200164,0],[[2,0.416587,0.988705,0.188718,2.7821,187.271,3.60034],"426769481961fb72e2c224c577a57108dab7ae4a1e4f6ed2349fcb8a8d73c0cd",[801024,801087],64,0.13532911,0.069056128,200164,0],[[2,0.408342,0.9999,0.120656,2.5317,5.0,3.64524],"2248f762719aa7b28d7223d0d655805b2a7e74b4723dd7f100cf3f1ce60949d9",[801024,801087],64,0.080607484,0.076298419,200164,0],[[2,0.255028,0.9999,0.257728,2.58742,124.754,2.91425],"0c44d07bdf18d3289a76823e0b2ae94e06b1f0cc1ea3ecee4b3f22171e255ebd",[801024,801087],64,-0.36120376,0.093005332,200164,0],[[2,0.324243,0.9999,0.235331,2.4575,85.8366,3.36768],"09f4b235ce86d154c081a6cde78b8fdd4f0dc5e02afc52534de9347cd9755234",[801024,801087],64,-0.16460424,0.083826562,200164,0],[[2,0.22656,0.98872,0.110726,2.53009,234.376,3.60193],"2d76d4596bf2657d48ee638cb59c6b544b6e90fd1220df3a47fc55ead4b9e432",[801088,801151],64,0.29476186,0.062155207,197265,0],[[2,0.461812,0.986533,0.505235,2.2727,166.191,3.00305],"e9650f5bd490af491c33034211331a1d06e106d7106ac81292f713ae095d0c99",[801088,801151],64,-0.35264261,0.10726205,198880,0],[[2,0.446142,0.9999,0.02,2.41788,5.0,3.07115],"fd2886a30f3fc30a70587f93a93fd245592594af1c1888f8e35603394d5bff7b",[801088,801151],64,0.26229675,0.087971022,197265,0],[[2,0.370156,0.996824,0.342451,2.59281,165.636,3.78468],"4a26876f227086c0b92a17b9978418c3ba590b0c21a0fe431a354d1612c5b1e4",[801088,801151],64,-0.042938378,0.099087914,198876,0],[[2,0.403705,0.9999,0.02,2.51301,38.0821,4.23019],"63837da45910c74d011901fee96a7339192492dd6b8077642b09485e21c62a25",[801088,801151],64,0.27162262,0.080935695,197265,0],[[2,0.461909,0.996781,0.226412,2.52452,22.5176,3.41893],"9d46398c9743ce9217b490c246c87ed22b43f29bef30d26868cbd9edc8446d97",[801088,801151],64,0.093270804,0.096257406,197265,0]]},"recheck":[{"params":[2,0.5408435104682148,0.9999,0.45495685870999614,2.074880016546598,5.0,3.2748894451493165],"sha256":"405b3af10af783a4a0e5378e6c7927946c6b9a1d4adf06ddcf1e454b4f60fab9","block":[804000,804255],"n":256,"mean_diff":0.2040746123591406,"se":0.037048796351171816,"max_ok":200257,"init_max_ok":243099,"oog":0,"other_halts":0,"fitness":0.2040746123591406,"phase":"recheck"},{"params":[2,0.22656047870353344,0.9887203238439223,0.11072590092053754,2.5300857382035185,234.3755028374433,3.6019256289776864],"sha256":"2d76d4596bf2657d48ee638cb59c6b544b6e90fd1220df3a47fc55ead4b9e432","block":[804000,804255],"n":256,"mean_diff":0.16932132414446888,"se":0.02662865979891769,"max_ok":200257,"init_max_ok":243099,"oog":0,"other_halts":0,"fitness":0.16932132414446888,"phase":"recheck"},{"params":[2,0.35386444665497957,0.9999,0.23564777734167167,2.0381579017592446,188.0589730223271,1.1617355503681965],"sha256":"1fdb84f65dfb51706c67394b334b433284bfcd9a80bc9d315c0973e1f715d7a4","block":[804000,804255],"n":256,"mean_diff":0.20319127817696558,"se":0.032006320957242554,"max_ok":200257,"init_max_ok":243099,"oog":0,"other_halts":0,"fitness":0.20319127817696558,"phase":"recheck"}],"held_out":{"seeds":[805000,805511],"vs_v10":{"n":512,"mean_diff":0.21123276289179915,"se":0.028825691298957037,"worst":[{"seed":805441,"d":-2.3064317505230747},{"seed":805119,"d":-1.8901862927920092},{"seed":805116,"d":-1.4360440316664835},{"seed":805194,"d":-1.433867645081591},{"seed":805251,"d":-1.4080160892694948}],"retail_edge_delta":{"mean":1.855006550530406,"se":0.0317229189786301},"arb_edge_delta":{"mean":-1.6437737876386092,"se":0.020206738927890808},"reconciliation_max_abs":1.1368683772161603e-13},"vs_rs2":{"n":512,"mean_diff":-0.004193850752739259,"se":0.01440030188063845,"worst":[{"seed":805441,"d":-2.1096102161379804},{"seed":805119,"d":-0.8510896780900339},{"seed":805242,"d":-0.7002842979056823},{"seed":805195,"d":-0.6827204980800161},{"seed":805493,"d":-0.6813573583530115}],"retail_edge_delta":{"mean":0.3438238432214622,"se":0.01598053634591879},"arb_edge_delta":{"mean":-0.3480176939742029,"se":0.012493305549581177},"reconciliation_max_abs":1.1368683772161603e-13},"arm_gas":{"frozen":{"max_ok":200175,"init_max_ok":243099,"oog":0,"other_halts":0},"rs2":{"max_ok":200175,"init_max_ok":243099,"oog":0,"other_halts":0},"v10":{"max_ok":192739,"init_max_ok":220981,"oog":0,"other_halts":0}}},"gas":{"max_ok":202100,"init_max_ok":243099,"oog":0,"other_halts":0},"generator_source":"def generate(base,p):\n kind,mix,decay,scale,sscale,correction=p\n mix=int(mix*1e18);decay=int(decay*1e18)\n s=base.replace('(fastHat, uncertainty) = _posterior','uint256 arbProbability;\\n        (fastHat, uncertainty, arbProbability) = _posterior')\n s=s.replace('internal pure returns (uint256, uint256) {\\n        if (x.mu', 'internal pure returns (uint256, uint256, uint256) {\\n        if (x.mu')\n s=s.replace('wmul(x.v,WAD-k));','wmul(x.v,WAD-k),0);').replace('return (x.mu,x.v);','return (x.mu,x.v,0);').replace('return (mean,variance);','return (mean,variance,prob);')\n insert=f'''\n        if ({mix} > 0) {{\n            uint256 packedFlow = slots[15];\n            uint256 rate = uint80(packedFlow);\n            uint256 count = uint80(packedFlow >> 80);\n            uint256 meanSize = uint80(packedFlow >> 160);\n            if (rate == 0) rate = 400000000000000000;\n            if (meanSize == 0) meanSize = 2000000000000000;\n            if (isNewStep) {{\n                uint256 inst = count / silent;\n                if (inst > 3 * WAD) inst = 3 * WAD;\n                uint256 retention = _powWad({decay}, silent > 64 ? 64 : silent);\n                rate = wmul(rate, retention) + wmul(inst, WAD-retention);\n                count = 0;\n            }}\n            uint256 weight = firstInStep ? WAD-arbProbability : WAD;\n            uint256 correctedWeight = weight;\n            if ({kind} == 2) {{\n                uint256 missing = wmul(feeUsed, {int(correction*1e18)});\n                if (missing > WAD/2) missing = WAD/2;\n                correctedWeight = wdiv(weight, WAD-missing);\n            }}\n            count += correctedWeight;\n            uint256 learning = wmul(WAD-{decay}, weight);\n            meanSize = _blend(meanSize, tradeRatio, learning);\n            slots[15]=rate | (count << 80) | (meanSize << 160);\n            uint256 retailRate = wmul(rate, {int(scale*1e18)});\n            uint256 retailSize = {kind} == 0 ? sizeHat : wmul(meanSize,{int(sscale*1e18)});\n            lambdaHat = _blend(lambdaHat,retailRate,{mix});\n            sizeHat = _blend(sizeHat,retailSize,{mix});\n        }}\n'''\n s=s.replace('        uint256 flowSize =', '        uint256 originalLambda = lambdaHat; uint256 originalSize = sizeHat;\\n'+insert+'        uint256 flowSize =')\n s=s.replace('        uint256 dirDev;', '        lambdaHat = originalLambda; sizeHat = originalSize;\\n        uint256 dirDev;')\n s=s.replace(\"slots[13] = 902500000000;\", \"slots[15] = 400000000000000000 | (uint256(2000000000000000) << 160); slots[13] = 902500000000;\") if mix else s\n return s\n\n# --- cap extension (7th parameter); cap==2.0 reproduces RS1 byte-for-byte ---\ndef generate7(base,p):\n    p=list(p); kind=int(round(p[0])); cap=float(p[6]) if len(p)>6 else 2.0\n    s=generate(base,[kind]+[float(x) for x in p[1:6]])\n    if cap!=2.0:\n        old='if (missing > WAD/2) missing = WAD/2;'\n        assert old in s or float(p[1])==0\n        m=int((1-1/cap)*1e18)\n        s=s.replace(old,f'if (missing > {m}) missing = {m};')\n    return s\n","checks":{"generator_exact":true,"calibration":{"n":1000,"mean":525.5258821780834,"expected":525.5258821780834},"mix0":{"paired":{"n":32,"mean_diff":0.0,"se":0.0,"worst":[{"seed":806000,"d":0.0},{"seed":806001,"d":0.0},{"seed":806002,"d":0.0},{"seed":806003,"d":0.0},{"seed":806004,"d":0.0}]},"retail_edge_delta":{"mean":0.0,"se":0.0},"arb_edge_delta":{"mean":0.0,"se":0.0},"reconciliation_max_abs":0.0},"frozen_source_static_validation_before_freeze":true},"validation":"Validating strategy...\nCompiling strategy...\nStrategy 'censored_10' validated successfully!\n","notes":["CMA-ES: numpy default_rng(21), pop 10, mu 5, sigma0 0.15, six unit-box coordinates; structure fixed at 2. Warm start RS2 params_exact. Bounds: mix [0,0.9], retention [0.9,0.9999], rate_scale [0.02,3], size_scale [0.3,4], slope [5,800], cap [1.05,8]. Samples clipped to box; standard rank-mu covariance and cumulative step-size adaptation.","Search elapsed 1504.665 s; 177 evaluations including independent warm-start evaluation on first generation block. Stop checked before each candidate evaluation; a started evaluation may finish after the 1500-second cutoff. Unfinished generation is logged but does not update CMA state.","Each arm alone vs VanillaStrategy using amm_sim_rs.run_batch(...,8), configurations and arb/retail decomposition from V10 artifact harness_source, 20-seed chunks, gas_stats_reset/gas_stats each chunk. CRN V10 rerun once per fresh 64-seed search block. Fitness paired mean vs V10; any halt, afterSwap >=235000 or afterInitialize >=245000 scores -1000. Gas covers search, recheck and held-out arms including V10 references; prerequisite calibration/parity gas is separately in checks.","Top three distinct valid source hashes by search score rechecked on 804000..804255, best paired mean frozen before running any held-out arm. Held-out arms each run once on 805000..805511. Worst lists contain five smallest individual paired edge differences. se=sd(ddof=1)/sqrt(n); retail and arb deltas reconstructed using V10 harness decomposition, summing to total edge delta.","No seeds >=5000000 used; no STACK comparison or board claim. Local measurements only. params_exact denotes the frozen candidate; RS2 warm start is the first log entry. All log blocks are inclusive.","Held-out interpretation: frozen vs V10 +0.2112327629 (se 0.0288256913), vs RS2 -0.0041938508 (se 0.0144003019). No demonstrated improvement over RS2 from this widened search. Relative to RS2, retail edge +0.3438238432 is offset by arb edge -0.3480176940.","Sources: RS2 artifact supplies baseline, warm-start exact parameters and generator; V10 artifact supplies base code and harness; pinned repository supplies compiler, Vanilla and simulator integration; CH pinned source supplies calibration strategy.","Search-log params rounded to 6 significant digits and mean_diff/se to 8 significant digits for the size limit; frozen params_exact and recheck parameters are unrounded. Sha256 identifies the exact evaluated source. Init maxima and other halts summarized in gas; they were still checked per evaluation.","Log stored as a column-declared row table to meet the 64000-byte limit: each row is one evaluation, and columns gives the fields in order. No evaluation omitted."]}