{
  "key": "eng-12000768",
  "seeds": {
    "from": 12000768,
    "to": 12001023
  },
  "ib": {
    "n": 256,
    "sum": 136903.69102616355,
    "sumsq": 75420076.10964641,
    "rows": [
      [
        12000768,
        543.3703093145721
      ],
      [
        12000769,
        492.847351821856
      ],
      [
        12000770,
        705.6116661564022
      ],
      [
        12000771,
        600.829907381985
      ],
      [
        12000772,
        359.9927063993597
      ],
      [
        12000773,
        397.6593117016004
      ],
      [
        12000774,
        548.6539078532425
      ],
      [
        12000775,
        535.8656804699823
      ],
      [
        12000776,
        575.9447192911737
      ],
      [
        12000777,
        503.1625705546373
      ],
      [
        12000778,
        645.5588767454951
      ],
      [
        12000779,
        520.0975546254542
      ],
      [
        12000780,
        491.88599888618495
      ],
      [
        12000781,
        598.4051834452355
      ],
      [
        12000782,
        528.4658836046546
      ],
      [
        12000783,
        588.1818948842845
      ],
      [
        12000784,
        419.5879153830416
      ],
      [
        12000785,
        383.9570945173044
      ],
      [
        12000786,
        537.3122504137274
      ],
      [
        12000787,
        539.446305905682
      ],
      [
        12000788,
        451.12746895334345
      ],
      [
        12000789,
        496.7794380614445
      ],
      [
        12000790,
        406.1119158359525
      ],
      [
        12000791,
        595.5832253698601
      ],
      [
        12000792,
        388.8798434714921
      ],
      [
        12000793,
        495.0950617769426
      ],
      [
        12000794,
        508.18949041352664
      ],
      [
        12000795,
        536.5159686306907
      ],
      [
        12000796,
        547.0493980163151
      ],
      [
        12000797,
        510.23529994136527
      ],
      [
        12000798,
        418.8846384552994
      ],
      [
        12000799,
        583.786388722991
      ],
      [
        12000800,
        566.3448582709982
      ],
      [
        12000801,
        547.151926580234
      ],
      [
        12000802,
        661.1016017313841
      ],
      [
        12000803,
        576.2593130367447
      ],
      [
        12000804,
        574.7596999705038
      ],
      [
        12000805,
        525.3262434240945
      ],
      [
        12000806,
        667.5486431170635
      ],
      [
        12000807,
        547.9587698002819
      ],
      [
        12000808,
        617.107374215298
      ],
      [
        12000809,
        528.2727185273465
      ],
      [
        12000810,
        607.2460889744764
      ],
      [
        12000811,
        500.55807443904126
      ],
      [
        12000812,
        551.5566587577291
      ],
      [
        12000813,
        433.6373883819964
      ],
      [
        12000814,
        561.992099299309
      ],
      [
        12000815,
        406.67311835851297
      ],
      [
        12000816,
        628.5587663753413
      ],
      [
        12000817,
        628.5580578822043
      ],
      [
        12000818,
        559.5374701420104
      ],
      [
        12000819,
        627.7370072242353
      ],
      [
        12000820,
        411.94254563688486
      ],
      [
        12000821,
        492.535250555335
      ],
      [
        12000822,
        560.7515441098494
      ],
      [
        12000823,
        479.33097616980467
      ],
      [
        12000824,
        672.2653527908801
      ],
      [
        12000825,
        593.0970723509649
      ],
      [
        12000826,
        518.6926412351654
      ],
      [
        12000827,
        618.0190350608432
      ],
      [
        12000828,
        468.964981993861
      ],
      [
        12000829,
        377.49156967445197
      ],
      [
        12000830,
        659.9647757943582
      ],
      [
        12000831,
        601.750271123381
      ],
      [
        12000832,
        555.7612304670254
      ],
      [
        12000833,
        482.0149882900537
      ],
      [
        12000834,
        491.71281616868015
      ],
      [
        12000835,
        590.8281920173404
      ],
      [
        12000836,
        600.1018570980334
      ],
      [
        12000837,
        408.0141887120785
      ],
      [
        12000838,
        403.2691304679615
      ],
      [
        12000839,
        504.28556723918103
      ],
      [
        12000840,
        601.7314712631442
      ],
      [
        12000841,
        549.1669581005636
      ],
      [
        12000842,
        582.709327924546
      ],
      [
        12000843,
        395.80072650157405
      ],
      [
        12000844,
        470.65620805488606
      ],
      [
        12000845,
        603.8562571802031
      ],
      [
        12000846,
        430.3371941880055
      ],
      [
        12000847,
        585.6806480129693
      ],
      [
        12000848,
        646.0031558616271
      ],
      [
        12000849,
        537.3391824708896
      ],
      [
        12000850,
        380.3404838504811
      ],
      [
        12000851,
        530.7103997449784
      ],
      [
        12000852,
        608.9314017190871
      ],
      [
        12000853,
        532.9458861739846
      ],
      [
        12000854,
        724.9472480564427
      ],
      [
        12000855,
        629.1990562297025
      ],
      [
        12000856,
        660.9675540685713
      ],
      [
        12000857,
        479.74088765584816
      ],
      [
        12000858,
        398.7085379808641
      ],
      [
        12000859,
        504.67967028072195
      ],
      [
        12000860,
        338.0947400473922
      ],
      [
        12000861,
        477.7470851528079
      ],
      [
        12000862,
        487.47513661937563
      ],
      [
        12000863,
        596.0019624147843
      ],
      [
        12000864,
        590.4572021853719
      ],
      [
        12000865,
        383.218380019402
      ],
      [
        12000866,
        530.7557704624631
      ],
      [
        12000867,
        715.3735500156358
      ],
      [
        12000868,
        656.6804344348014
      ],
      [
        12000869,
        582.6354421565154
      ],
      [
        12000870,
        341.2555295636042
      ],
      [
        12000871,
        630.5960029906604
      ],
      [
        12000872,
        586.3611253107107
      ],
      [
        12000873,
        785.2184846310197
      ],
      [
        12000874,
        453.8787656770801
      ],
      [
        12000875,
        577.2417055500904
      ],
      [
        12000876,
        602.7319075823535
      ],
      [
        12000877,
        626.6108202130462
      ],
      [
        12000878,
        611.9568527388099
      ],
      [
        12000879,
        513.1554076322193
      ],
      [
        12000880,
        602.0984955775032
      ],
      [
        12000881,
        668.1284719144968
      ],
      [
        12000882,
        483.45985961122744
      ],
      [
        12000883,
        673.2513603192472
      ],
      [
        12000884,
        593.4582050724634
      ],
      [
        12000885,
        427.1028182769388
      ],
      [
        12000886,
        484.8222547790774
      ],
      [
        12000887,
        380.8114238823691
      ],
      [
        12000888,
        472.82322665872294
      ],
      [
        12000889,
        522.1999984537272
      ],
      [
        12000890,
        626.593503453644
      ],
      [
        12000891,
        489.24468310515874
      ],
      [
        12000892,
        457.7840595064467
      ],
      [
        12000893,
        649.4012922555686
      ],
      [
        12000894,
        456.318830791162
      ],
      [
        12000895,
        652.5339091485115
      ],
      [
        12000896,
        431.14305931252784
      ],
      [
        12000897,
        422.8130142157675
      ],
      [
        12000898,
        453.7930778717282
      ],
      [
        12000899,
        458.07215630362697
      ],
      [
        12000900,
        556.2972070735607
      ],
      [
        12000901,
        588.5737978801467
      ],
      [
        12000902,
        495.47875918871995
      ],
      [
        12000903,
        478.2337200078285
      ],
      [
        12000904,
        600.6329402154761
      ],
      [
        12000905,
        491.9985099980265
      ],
      [
        12000906,
        646.399756873425
      ],
      [
        12000907,
        503.7127287529214
      ],
      [
        12000908,
        713.164964863633
      ],
      [
        12000909,
        392.77935821925007
      ],
      [
        12000910,
        396.7916823070049
      ],
      [
        12000911,
        458.5703020766432
      ],
      [
        12000912,
        660.6441153221158
      ],
      [
        12000913,
        604.9742901032188
      ],
      [
        12000914,
        477.69597602396226
      ],
      [
        12000915,
        761.6072145371264
      ],
      [
        12000916,
        529.5385145888307
      ],
      [
        12000917,
        594.1229165379801
      ],
      [
        12000918,
        438.5770585851422
      ],
      [
        12000919,
        418.8039114487656
      ],
      [
        12000920,
        613.1764430315625
      ],
      [
        12000921,
        650.6354735424763
      ],
      [
        12000922,
        387.9640300245976
      ],
      [
        12000923,
        446.71066223643084
      ],
      [
        12000924,
        708.9507853782368
      ],
      [
        12000925,
        583.5048548260514
      ],
      [
        12000926,
        450.8523653840315
      ],
      [
        12000927,
        585.9694330627898
      ],
      [
        12000928,
        445.25118715259094
      ],
      [
        12000929,
        381.28673754147883
      ],
      [
        12000930,
        729.2776426898275
      ],
      [
        12000931,
        382.4092302740681
      ],
      [
        12000932,
        375.3651419031645
      ],
      [
        12000933,
        589.7767510867466
      ],
      [
        12000934,
        542.8972625046745
      ],
      [
        12000935,
        622.0784163852245
      ],
      [
        12000936,
        440.98308856835376
      ],
      [
        12000937,
        665.3725016322003
      ],
      [
        12000938,
        510.33277421009143
      ],
      [
        12000939,
        567.4784276874926
      ],
      [
        12000940,
        561.8737516255387
      ],
      [
        12000941,
        623.6827289530117
      ],
      [
        12000942,
        393.61150575502086
      ],
      [
        12000943,
        512.056803067214
      ],
      [
        12000944,
        474.28462619047536
      ],
      [
        12000945,
        538.2757957488323
      ],
      [
        12000946,
        642.541737485699
      ],
      [
        12000947,
        548.573231990523
      ],
      [
        12000948,
        512.0341729285658
      ],
      [
        12000949,
        418.74833190567546
      ],
      [
        12000950,
        587.6261194664968
      ],
      [
        12000951,
        631.9019434795995
      ],
      [
        12000952,
        505.485143965773
      ],
      [
        12000953,
        451.31001126072016
      ],
      [
        12000954,
        655.6419366314881
      ],
      [
        12000955,
        470.6791575993022
      ],
      [
        12000956,
        413.01754474521033
      ],
      [
        12000957,
        638.9972175866263
      ],
      [
        12000958,
        681.3835421243972
      ],
      [
        12000959,
        620.6308267031142
      ],
      [
        12000960,
        535.2168264960886
      ],
      [
        12000961,
        623.2311854430791
      ],
      [
        12000962,
        560.4080255421646
      ],
      [
        12000963,
        401.3200248536467
      ],
      [
        12000964,
        559.7499593417538
      ],
      [
        12000965,
        584.7147089329436
      ],
      [
        12000966,
        564.8578323219294
      ],
      [
        12000967,
        677.988165096655
      ],
      [
        12000968,
        492.56670122017374
      ],
      [
        12000969,
        558.8426949432242
      ],
      [
        12000970,
        450.1940598893618
      ],
      [
        12000971,
        691.2753699255449
      ],
      [
        12000972,
        528.2175994637739
      ],
      [
        12000973,
        454.1408227072817
      ],
      [
        12000974,
        529.0960521284901
      ],
      [
        12000975,
        472.7140879061273
      ],
      [
        12000976,
        584.9731584580397
      ],
      [
        12000977,
        554.4890186153167
      ],
      [
        12000978,
        512.701380991499
      ],
      [
        12000979,
        350.7918202991387
      ],
      [
        12000980,
        600.3851429106186
      ],
      [
        12000981,
        435.7943064114334
      ],
      [
        12000982,
        485.5912478843547
      ],
      [
        12000983,
        429.9252552081701
      ],
      [
        12000984,
        480.0876014858026
      ],
      [
        12000985,
        670.5330315635903
      ],
      [
        12000986,
        456.82271624697364
      ],
      [
        12000987,
        593.4401197392823
      ],
      [
        12000988,
        574.5742553130136
      ],
      [
        12000989,
        488.601206566752
      ],
      [
        12000990,
        531.0207010710811
      ],
      [
        12000991,
        544.497410041915
      ],
      [
        12000992,
        649.9891029759098
      ],
      [
        12000993,
        529.4150070536517
      ],
      [
        12000994,
        622.738200914355
      ],
      [
        12000995,
        575.4282591321153
      ],
      [
        12000996,
        577.0124663258332
      ],
      [
        12000997,
        473.8183090499076
      ],
      [
        12000998,
        668.1658079692246
      ],
      [
        12000999,
        694.7431919506939
      ],
      [
        12001000,
        579.7577796155
      ],
      [
        12001001,
        364.701268275407
      ],
      [
        12001002,
        357.3635759807561
      ],
      [
        12001003,
        424.2522944756123
      ],
      [
        12001004,
        608.6974970144428
      ],
      [
        12001005,
        419.8672815055475
      ],
      [
        12001006,
        713.429988886107
      ],
      [
        12001007,
        652.541964881557
      ],
      [
        12001008,
        512.8815717968691
      ],
      [
        12001009,
        616.758301525702
      ],
      [
        12001010,
        679.3666560039721
      ],
      [
        12001011,
        394.6030160933059
      ],
      [
        12001012,
        515.4047446750004
      ],
      [
        12001013,
        477.05012504833434
      ],
      [
        12001014,
        528.3861979865582
      ],
      [
        12001015,
        503.7292439661133
      ],
      [
        12001016,
        536.0509994219211
      ],
      [
        12001017,
        377.96605757633097
      ],
      [
        12001018,
        450.13416231291137
      ],
      [
        12001019,
        423.1682064778529
      ],
      [
        12001020,
        603.8219735841818
      ],
      [
        12001021,
        468.57584966294814
      ],
      [
        12001022,
        428.89760650286524
      ],
      [
        12001023,
        513.4774118664996
      ]
    ]
  },
  "port": {
    "n": 256,
    "sum": 137504.59539275785,
    "sumsq": 76112896.67817459,
    "rows": [
      [
        12000768,
        544.7506860215426
      ],
      [
        12000769,
        495.70675730678784
      ],
      [
        12000770,
        709.2520340570532
      ],
      [
        12000771,
        604.7022257613795
      ],
      [
        12000772,
        359.94080194518824
      ],
      [
        12000773,
        399.7230563145098
      ],
      [
        12000774,
        550.8249902592526
      ],
      [
        12000775,
        538.6437937580347
      ],
      [
        12000776,
        578.2498422054861
      ],
      [
        12000777,
        505.05789199775927
      ],
      [
        12000778,
        646.9291698409477
      ],
      [
        12000779,
        523.7838205894839
      ],
      [
        12000780,
        492.65893840429817
      ],
      [
        12000781,
        602.889886189834
      ],
      [
        12000782,
        529.679721535514
      ],
      [
        12000783,
        589.8628120037255
      ],
      [
        12000784,
        421.6212661984162
      ],
      [
        12000785,
        385.2590887348247
      ],
      [
        12000786,
        537.1726906821632
      ],
      [
        12000787,
        540.0444747388417
      ],
      [
        12000788,
        452.9824335912928
      ],
      [
        12000789,
        497.5184119548691
      ],
      [
        12000790,
        406.92298760721667
      ],
      [
        12000791,
        599.5670703119887
      ],
      [
        12000792,
        389.9552079721133
      ],
      [
        12000793,
        497.00371055897097
      ],
      [
        12000794,
        510.2816215587495
      ],
      [
        12000795,
        539.0923169884918
      ],
      [
        12000796,
        550.2319868702267
      ],
      [
        12000797,
        512.2100298002925
      ],
      [
        12000798,
        420.39019878939865
      ],
      [
        12000799,
        585.0142893935056
      ],
      [
        12000800,
        567.6907778977259
      ],
      [
        12000801,
        551.1705190987425
      ],
      [
        12000802,
        665.0235007837687
      ],
      [
        12000803,
        575.7819264387422
      ],
      [
        12000804,
        575.8226051833286
      ],
      [
        12000805,
        528.68213610199
      ],
      [
        12000806,
        670.7145278170505
      ],
      [
        12000807,
        552.0047829065961
      ],
      [
        12000808,
        620.3746457559946
      ],
      [
        12000809,
        529.5074341080671
      ],
      [
        12000810,
        608.6494812513436
      ],
      [
        12000811,
        502.7839052414547
      ],
      [
        12000812,
        553.2856847441195
      ],
      [
        12000813,
        433.13243392973635
      ],
      [
        12000814,
        564.5277090692501
      ],
      [
        12000815,
        407.53700735033607
      ],
      [
        12000816,
        631.5820916580952
      ],
      [
        12000817,
        633.4512975713606
      ],
      [
        12000818,
        563.070793598009
      ],
      [
        12000819,
        632.9558485808244
      ],
      [
        12000820,
        414.3484283716875
      ],
      [
        12000821,
        496.506516839072
      ],
      [
        12000822,
        563.3112233377309
      ],
      [
        12000823,
        481.89998084104525
      ],
      [
        12000824,
        676.0870796382843
      ],
      [
        12000825,
        595.308601386666
      ],
      [
        12000826,
        522.6435281818076
      ],
      [
        12000827,
        619.3960618649455
      ],
      [
        12000828,
        470.9530952949626
      ],
      [
        12000829,
        377.8766251059077
      ],
      [
        12000830,
        661.3074842770532
      ],
      [
        12000831,
        605.5461662350308
      ],
      [
        12000832,
        557.0309346964207
      ],
      [
        12000833,
        482.1933208749835
      ],
      [
        12000834,
        494.6334993581453
      ],
      [
        12000835,
        593.0796199360337
      ],
      [
        12000836,
        602.5996055464633
      ],
      [
        12000837,
        408.3059096924343
      ],
      [
        12000838,
        404.8175746866479
      ],
      [
        12000839,
        504.7044644282476
      ],
      [
        12000840,
        605.6497545974132
      ],
      [
        12000841,
        552.259381551893
      ],
      [
        12000842,
        584.7674299757122
      ],
      [
        12000843,
        397.8429429216285
      ],
      [
        12000844,
        472.53766085198197
      ],
      [
        12000845,
        607.21057196222
      ],
      [
        12000846,
        429.3634652819571
      ],
      [
        12000847,
        588.9471533542185
      ],
      [
        12000848,
        648.5898926000185
      ],
      [
        12000849,
        539.3419705035014
      ],
      [
        12000850,
        381.8184569195436
      ],
      [
        12000851,
        532.9206021787784
      ],
      [
        12000852,
        612.0628883477734
      ],
      [
        12000853,
        535.4239376740019
      ],
      [
        12000854,
        727.3969515524777
      ],
      [
        12000855,
        635.3709428100474
      ],
      [
        12000856,
        668.1907338055995
      ],
      [
        12000857,
        482.8365156606644
      ],
      [
        12000858,
        400.75776009505256
      ],
      [
        12000859,
        503.2824158051028
      ],
      [
        12000860,
        338.4874974095342
      ],
      [
        12000861,
        478.63663607978276
      ],
      [
        12000862,
        488.5598798009728
      ],
      [
        12000863,
        598.0209890343331
      ],
      [
        12000864,
        593.0828105324136
      ],
      [
        12000865,
        383.50591600861287
      ],
      [
        12000866,
        531.8488992832333
      ],
      [
        12000867,
        720.194539329244
      ],
      [
        12000868,
        660.4646856263136
      ],
      [
        12000869,
        586.8306624296313
      ],
      [
        12000870,
        341.2329374929283
      ],
      [
        12000871,
        636.587789793097
      ],
      [
        12000872,
        589.0630891790174
      ],
      [
        12000873,
        790.9148183469352
      ],
      [
        12000874,
        456.45496072986884
      ],
      [
        12000875,
        583.7005049123659
      ],
      [
        12000876,
        606.5261193852978
      ],
      [
        12000877,
        628.7812718687537
      ],
      [
        12000878,
        613.8330310436587
      ],
      [
        12000879,
        517.0684535958525
      ],
      [
        12000880,
        607.1421530454605
      ],
      [
        12000881,
        673.3076909474228
      ],
      [
        12000882,
        486.0476276899903
      ],
      [
        12000883,
        677.2700553193406
      ],
      [
        12000884,
        596.4370125344833
      ],
      [
        12000885,
        430.0533853838476
      ],
      [
        12000886,
        486.99139691035396
      ],
      [
        12000887,
        382.0719210619319
      ],
      [
        12000888,
        471.85786640753474
      ],
      [
        12000889,
        522.9335722877103
      ],
      [
        12000890,
        630.4278070581366
      ],
      [
        12000891,
        492.1297693261047
      ],
      [
        12000892,
        458.8545162230776
      ],
      [
        12000893,
        650.6119724263272
      ],
      [
        12000894,
        457.86450137063764
      ],
      [
        12000895,
        657.0584134728122
      ],
      [
        12000896,
        430.43390271874887
      ],
      [
        12000897,
        425.2943288949413
      ],
      [
        12000898,
        453.13246006421554
      ],
      [
        12000899,
        458.58947473761947
      ],
      [
        12000900,
        557.9943529698538
      ],
      [
        12000901,
        591.985168780579
      ],
      [
        12000902,
        495.5364928277426
      ],
      [
        12000903,
        480.9046876102754
      ],
      [
        12000904,
        601.5559521366607
      ],
      [
        12000905,
        494.0306200639221
      ],
      [
        12000906,
        647.5588928798362
      ],
      [
        12000907,
        506.44979343574136
      ],
      [
        12000908,
        719.9607902985832
      ],
      [
        12000909,
        394.00000352876214
      ],
      [
        12000910,
        397.25016727651735
      ],
      [
        12000911,
        461.43996500347487
      ],
      [
        12000912,
        663.3316019512117
      ],
      [
        12000913,
        608.2980966421152
      ],
      [
        12000914,
        477.03824984273217
      ],
      [
        12000915,
        768.9187226195403
      ],
      [
        12000916,
        532.1224395461594
      ],
      [
        12000917,
        594.2668078078883
      ],
      [
        12000918,
        439.3540880769053
      ],
      [
        12000919,
        420.45806068719844
      ],
      [
        12000920,
        613.4124136995875
      ],
      [
        12000921,
        653.6867125501715
      ],
      [
        12000922,
        390.3738124116803
      ],
      [
        12000923,
        448.35095555709853
      ],
      [
        12000924,
        714.7129391328738
      ],
      [
        12000925,
        586.2102947674022
      ],
      [
        12000926,
        453.1617968717865
      ],
      [
        12000927,
        587.4904342011689
      ],
      [
        12000928,
        445.9561030121909
      ],
      [
        12000929,
        382.5243621588382
      ],
      [
        12000930,
        734.9345220070834
      ],
      [
        12000931,
        384.30530969291715
      ],
      [
        12000932,
        374.66399211084575
      ],
      [
        12000933,
        592.8240251021618
      ],
      [
        12000934,
        545.726996244291
      ],
      [
        12000935,
        625.1879356957118
      ],
      [
        12000936,
        440.60272068457795
      ],
      [
        12000937,
        671.0649524802104
      ],
      [
        12000938,
        511.3975083270791
      ],
      [
        12000939,
        571.1072117025349
      ],
      [
        12000940,
        565.2318118109092
      ],
      [
        12000941,
        628.7319586329924
      ],
      [
        12000942,
        396.1859022011991
      ],
      [
        12000943,
        515.2763081330285
      ],
      [
        12000944,
        476.82431943568605
      ],
      [
        12000945,
        542.0355665782791
      ],
      [
        12000946,
        647.1424085019028
      ],
      [
        12000947,
        550.7767158544527
      ],
      [
        12000948,
        513.749482096336
      ],
      [
        12000949,
        420.54563238008564
      ],
      [
        12000950,
        590.3942735395536
      ],
      [
        12000951,
        636.091480261313
      ],
      [
        12000952,
        507.5267140675557
      ],
      [
        12000953,
        453.6341986147727
      ],
      [
        12000954,
        657.6285366170554
      ],
      [
        12000955,
        472.57267424523593
      ],
      [
        12000956,
        413.7495287054806
      ],
      [
        12000957,
        642.4380439161291
      ],
      [
        12000958,
        682.4131456799722
      ],
      [
        12000959,
        624.4144619321266
      ],
      [
        12000960,
        537.067123270162
      ],
      [
        12000961,
        627.498985846324
      ],
      [
        12000962,
        562.6225204702721
      ],
      [
        12000963,
        400.23729818380326
      ],
      [
        12000964,
        564.2540587940488
      ],
      [
        12000965,
        588.04196652579
      ],
      [
        12000966,
        567.6478311015387
      ],
      [
        12000967,
        682.3661754839104
      ],
      [
        12000968,
        493.0409415049694
      ],
      [
        12000969,
        561.9764473075874
      ],
      [
        12000970,
        451.91494606449953
      ],
      [
        12000971,
        698.8030209616192
      ],
      [
        12000972,
        529.2334412439541
      ],
      [
        12000973,
        456.54077108305466
      ],
      [
        12000974,
        529.469697162022
      ],
      [
        12000975,
        473.24179482380515
      ],
      [
        12000976,
        586.397197449064
      ],
      [
        12000977,
        557.009793472991
      ],
      [
        12000978,
        514.1856361707163
      ],
      [
        12000979,
        351.3736497121857
      ],
      [
        12000980,
        605.049141963367
      ],
      [
        12000981,
        436.961101863533
      ],
      [
        12000982,
        487.5071869660326
      ],
      [
        12000983,
        431.5816555310057
      ],
      [
        12000984,
        482.0221449102887
      ],
      [
        12000985,
        672.9915325287791
      ],
      [
        12000986,
        458.4388644294691
      ],
      [
        12000987,
        593.3907772412185
      ],
      [
        12000988,
        577.4347227245702
      ],
      [
        12000989,
        490.87717727696
      ],
      [
        12000990,
        534.2257459681026
      ],
      [
        12000991,
        546.9871911359963
      ],
      [
        12000992,
        655.8991660875868
      ],
      [
        12000993,
        531.6729905083914
      ],
      [
        12000994,
        625.1008381684927
      ],
      [
        12000995,
        577.734286600364
      ],
      [
        12000996,
        580.4946382797117
      ],
      [
        12000997,
        477.21144474596247
      ],
      [
        12000998,
        672.0776684649236
      ],
      [
        12000999,
        699.5165482648343
      ],
      [
        12001000,
        582.2490303782287
      ],
      [
        12001001,
        365.9471925480052
      ],
      [
        12001002,
        357.41751498710113
      ],
      [
        12001003,
        425.95324775608304
      ],
      [
        12001004,
        611.0235740841921
      ],
      [
        12001005,
        422.12626953615853
      ],
      [
        12001006,
        717.3468842723529
      ],
      [
        12001007,
        653.6990123906427
      ],
      [
        12001008,
        516.0539726274479
      ],
      [
        12001009,
        621.1976702431873
      ],
      [
        12001010,
        682.2848398986129
      ],
      [
        12001011,
        393.2452258898375
      ],
      [
        12001012,
        516.3449689525937
      ],
      [
        12001013,
        480.3268367307948
      ],
      [
        12001014,
        533.0058502927881
      ],
      [
        12001015,
        506.57054566222297
      ],
      [
        12001016,
        537.6028155131456
      ],
      [
        12001017,
        377.6182885187501
      ],
      [
        12001018,
        450.80336237104444
      ],
      [
        12001019,
        422.7507468960088
      ],
      [
        12001020,
        607.3491732002927
      ],
      [
        12001021,
        471.21299178227844
      ],
      [
        12001022,
        430.4446537186978
      ],
      [
        12001023,
        517.3096967810992
      ]
    ]
  },
  "paired": {
    "n": 256,
    "mean_diff": 2.347282682008978,
    "se": 0.10233260933794379,
    "sum": 600.9043665942984,
    "sumsq": 2094.1021535761606,
    "worst5": [
      [
        12000859,
        -1.3972544756191496
      ],
      [
        12001011,
        -1.3577902034683689
      ],
      [
        12000963,
        -1.0827266698434528
      ],
      [
        12000846,
        -0.97372890604845
      ],
      [
        12000888,
        -0.9653602511882013
      ]
    ]
  },
  "gas": {
    "ib": {
      "peak_afterswap": 234965,
      "mean_afterswap": 135191.4007762263,
      "oog": 0,
      "reverts": 0
    },
    "port": {
      "peak_afterswap": 179316,
      "mean_afterswap": 82816.6028535272,
      "oog": 0,
      "reverts": 0
    }
  },
  "valid": true,
  "ib_sum_check": "equal",
  "block_seconds": [
    {
      "from": 12000768,
      "to": 12000831,
      "ib": 44.671158030992956,
      "port": 29.707080154999858
    },
    {
      "from": 12000832,
      "to": 12000895,
      "ib": 47.70293647899234,
      "port": 37.182744730002014
    },
    {
      "from": 12000896,
      "to": 12000959,
      "ib": 73.82823536400974,
      "port": 58.51390990099753
    },
    {
      "from": 12000960,
      "to": 12001023,
      "ib": 72.26992869700189,
      "port": 54.75262817699695
    }
  ],
  "engine": "ok",
  "blocked": null,
  "notes": "Pinned engine 6b6921f8; setup and amm-match validate passed for both unmodified contracts. SHA-256 verified both decoded artifacts. Each arm ran alone against VanillaStrategy via run_batch with 8 workers in four 64-seed blocks; all 256 assigned seeds used exactly once per arm. Configs follow MatchRunner._build_configs with default_rng(seed) and size/rate/sigma uniform draws in order. Scores and paired statistics use full-precision edges[submission]; IB sum check sums scores rounded individually to six decimals. Gas includes Submission only; mean is call-weighted over successful afterSwap calls; error totals cover all callbacks. All other halt/tx_error/bad_return counters were zero. Block times cover run_batch only, excluding compilation. No leaderboard entry."
}