# qa1: qm-2 real-engine confirmation

Measured on all 256 assigned seeds: qm-2 minus trim-1 +0.866639 (SE 0.041147); qm-2 minus t03 +2.240919 (SE 0.086526); qm-2 minus IB +3.013187 (SE 0.090941). qm-2 fails the callback limits: 2 OutOfGas and a successful-call peak of 246,980 gas (>245,000).

Policy credit: Taylor (gtmcknight), whose solved Gaussian policy and qm tables are used by qm-2. These are local measurements, not an independent certification. Strategy sources were used unchanged.

## Method

Pinned challenge: [`6b6921f8d463314aa7c96234e1be25a25245f704`](https://github.com/benedictbrady/amm-challenge/tree/6b6921f8d463314aa7c96234e1be25a25245f704). The [supplied setup script](https://api.imd.fun/artifacts/e8c967d6358da0fd53117891357f19a1d684225bd71a5e302b6e299c85f1286c) ran once successfully, including wheel SHA-256 verification and starter validation; subsequent engine commands sourced `scratch/env.sh`. The Linux x86_64 wheel was installed and executed successfully.

Each arm ran alone against [VanillaStrategy](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol), fixed at 30 bps, through `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`. Score is `edges["submission"]`. Arm order: qm-2, trim-1, t03, IB. Every completed seed ran exactly once per arm; there were no scoring reruns.

Configs follow [`MatchRunner._build_configs`](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py), with the assigned seed used in both `numpy.random.default_rng(seed)` and the simulation. Draw order: uniform retail mean size [19,21], retail arrival rate [0.6,1.0], sigma [0.000882,0.001008]. [Pinned baseline settings](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py): 10,000 steps; price 100; reserves 100 X / 10,000 Y; mu 0; dt 1; retail buy probability 0.5; retail size sigma 1.2.

Seeds: 9613312..9613567 inclusive, eight consecutive chunks of 32 per arm. `gas_stats_reset()` ran immediately before each chunk and `gas_stats()` immediately after it. Every scoring command was capped at 475 seconds; no command exceeded eight minutes. Timing is run_batch wall time / seeds (includes normalizer work and batch overhead, excludes setup, compilation and validation).

## Source integrity and validation

| Arm/source | SHA-256 of exact Solidity bytes | getName() | Runtime bytes | amm-match validation |
|---|---|---|---:|---|
| [qm-2](https://api.imd.fun/artifacts/e50ab7b92163d8589bb2f75c49d6cda2a1012bb96a0f4a52620b887668f63264) | `50a741b97a7ed79237ecbd34a4bc20b5c70b7872d8916f31dc3fe3f72b4fe859` | TaylorGaussianQmSpline | 19,346 | pass |
| [trim-1](https://api.imd.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5) | `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` | TaylorGaussianPlainNet2 | 16,077 | pass |
| [t03](https://api.imd.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | censored_10 | 14,654 | pass |
| [IB](https://api.imd.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557) | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | inputs_b | 14,528 | pass |

All four decoded sources matched their assigned hashes before validation and scoring. qm-2 and trim-1 were extracted as the exact fenced Solidity block, including final newline. t03 and IB were decoded with zlib(base64(code_zb64)). Runtime sizes use the pinned compiler: Solidity 0.8.24, optimizer 200, viaIR, Paris. No source edits or policy fitting were performed. This confirmation task does not rerun replica gates P/Q/F.

## Paired edge differences

Differences below are qm-2 edge minus comparator edge on the same seed and config. SE = sample standard deviation (ddof=1) / sqrt(n); wins count strictly positive differences. Extremes sort by difference, breaking ties by ascending seed. Statistics use unrounded engine values; CSV rounds to nine decimals.

| Comparator | n | Mean difference | SE | qm-2 wins | Ties |
|---|---:|---:|---:|---:|---:|
| trim-1 | 256 | 0.866638991 | 0.041147212 | 234 | 0 |
| t03 | 256 | 2.240918837 | 0.086525651 | 248 | 0 |
| IB | 256 | 3.013187361 | 0.090941492 | 253 | 0 |

**qm-2 minus trim-1**

Worst five: (9613349, -1.023661363), (9613433, -0.786152295), (9613397, -0.774009200), (9613359, -0.700737292), (9613413, -0.694652715).

Best five: (9613335, 3.259840699), (9613404, 2.457884132), (9613446, 2.375621218), (9613352, 2.281217581), (9613467, 2.226298398).

**qm-2 minus t03**

Worst five: (9613399, -2.487329752), (9613493, -2.406796667), (9613540, -2.042139197), (9613379, -0.799495997), (9613361, -0.704994310).

Best five: (9613468, 7.090572799), (9613550, 6.186935438), (9613471, 6.176666947), (9613315, 5.515248097), (9613323, 5.047095028).

**qm-2 minus IB**

Worst five: (9613493, -1.604972285), (9613399, -0.795442046), (9613540, -0.124878662), (9613379, 0.113010545), (9613361, 0.158737540).

Best five: (9613538, 7.405559536), (9613440, 7.193460661), (9613468, 7.072677029), (9613471, 6.581964668), (9613553, 6.297438285).

## Submission afterSwap gas and timing

Gas is the engine’s reported accounting, not a separate pyrevm callback replay. Peak is the maximum successful-callback `max_ok_gas` over chunks; OutOfGas callback consumption is not included in this field. Mean is sum of `sum_ok_gas` / sum of successful calls, weighted by calls. Failure columns are counts.

| Arm | Seeds | Calls | Successful | OutOfGas | Reverts | Peak gas | Mean successful gas | Batch seconds | Seconds/seed |
|---|---:|---:|---:|---:|---:|---:|---:|---:|---:|
| qm-2 | 256 | 2,780,715 | 2,780,713 | 2 | 0 | 246,980 | 155272.598913 | 204.956736 | 0.800612 |
| trim-1 | 256 | 2,755,660 | 2,755,660 | 0 | 0 | 230,161 | 131558.308819 | 162.261777 | 0.633835 |
| t03 | 256 | 2,763,122 | 2,763,122 | 0 | 0 | 235,406 | 135643.776556 | 114.321606 | 0.446569 |
| IB | 256 | 2,743,034 | 2,743,034 | 0 | 0 | 234,849 | 135306.585675 | 130.490258 | 0.509728 |

Other afterSwap failures (`other_halt`, `tx_error`, `bad_return`): qm-2 = 0; trim-1 = 0; t03 = 0; IB = 0.

| Arm | Seed range | Calls | Peak gas | OutOfGas |
|---|---|---:|---:|---:|
| qm-2 | 9613312..9613343 | 355,982 | 243,921 | 0 |
| qm-2 | 9613344..9613375 | 343,464 | 244,542 | 1 |
| qm-2 | 9613376..9613407 | 336,303 | 244,813 | 1 |
| qm-2 | 9613408..9613439 | 356,310 | 246,414 | 0 |
| qm-2 | 9613440..9613471 | 347,607 | 246,966 | 0 |
| qm-2 | 9613472..9613503 | 343,881 | 246,980 | 0 |
| qm-2 | 9613504..9613535 | 344,160 | 245,590 | 0 |
| qm-2 | 9613536..9613567 | 353,008 | 245,376 | 0 |
| trim-1 | 9613312..9613343 | 353,208 | 223,544 | 0 |
| trim-1 | 9613344..9613375 | 339,907 | 224,227 | 0 |
| trim-1 | 9613376..9613407 | 332,982 | 229,945 | 0 |
| trim-1 | 9613408..9613439 | 353,165 | 220,714 | 0 |
| trim-1 | 9613440..9613471 | 344,485 | 213,112 | 0 |
| trim-1 | 9613472..9613503 | 340,848 | 217,645 | 0 |
| trim-1 | 9613504..9613535 | 340,964 | 230,114 | 0 |
| trim-1 | 9613536..9613567 | 350,101 | 230,161 | 0 |
| t03 | 9613312..9613343 | 352,640 | 235,406 | 0 |
| t03 | 9613344..9613375 | 341,508 | 232,615 | 0 |
| t03 | 9613376..9613407 | 335,282 | 235,394 | 0 |
| t03 | 9613408..9613439 | 353,703 | 232,627 | 0 |
| t03 | 9613440..9613471 | 345,498 | 235,406 | 0 |
| t03 | 9613472..9613503 | 342,211 | 212,166 | 0 |
| t03 | 9613504..9613535 | 341,820 | 232,711 | 0 |
| t03 | 9613536..9613567 | 350,460 | 232,723 | 0 |
| IB | 9613312..9613343 | 350,084 | 234,849 | 0 |
| IB | 9613344..9613375 | 339,209 | 232,022 | 0 |
| IB | 9613376..9613407 | 333,221 | 234,805 | 0 |
| IB | 9613408..9613439 | 351,015 | 232,003 | 0 |
| IB | 9613440..9613471 | 343,009 | 231,941 | 0 |
| IB | 9613472..9613503 | 339,653 | 211,577 | 0 |
| IB | 9613504..9613535 | 339,540 | 232,002 | 0 |
| IB | 9613536..9613567 | 347,303 | 232,002 | 0 |

## Interpretation and coverage

qm-2 mean edge difference versus trim-1: +0.866638991 (SE 0.041147212).
qm-2 mean edge difference versus t03: +2.240918837 (SE 0.086525651).
qm-2 mean edge difference versus IB: +3.013187361 (SE 0.090941492).

qm-2 seeds not run: none.
trim-1 seeds not run: none.
t03 seeds not run: none.
IB seeds not run: none.

All 1,024 requested arm-seed simulations completed; IB was retained.

qm-2 measured peak 246,980 gas exceeds the 245,000-gas ceiling (difference +1,980). Its observed OutOfGas count is 2. The scored edge values are the engine outcomes, including its handling of any failed callbacks; failures were not filtered out. A successful simulation alone does not establish compliance with the callback requirements.

## Per-seed scores

```csv
seed,qm2,trim1,t03,IB
9613312,479.209516743,478.024711568,476.804686443,475.737521305
9613313,604.317511574,603.297648834,600.642252835,600.167218875
9613314,525.891656829,524.547549615,524.082193168,523.552978635
9613315,649.274139745,648.736602853,643.758891648,643.514468317
9613316,497.598285628,496.444869233,497.118422076,495.597349274
9613317,474.840910526,474.746872935,472.819007864,471.646829798
9613318,510.804793693,510.311670315,508.240986372,508.873129284
9613319,633.783601080,633.045284848,630.844142819,631.153068997
9613320,642.897479716,641.469016917,637.866024422,637.398622150
9613321,663.456636343,662.177676285,659.353109622,658.821441285
9613322,543.781538741,542.766933193,541.915589171,539.735133471
9613323,701.136135826,699.155196941,696.089040799,697.033839559
9613324,602.003484324,602.429153164,598.643630499,599.213760987
9613325,696.962828068,695.842455920,694.894267771,693.388570575
9613326,633.333262698,632.446152126,632.158520342,630.955186822
9613327,455.821101613,455.046861499,452.508317428,452.374675064
9613328,568.971653393,569.143733416,566.831619644,566.287151518
9613329,459.018990664,457.402886005,456.749653973,456.407157982
9613330,402.921036888,402.241203517,401.445679747,401.320624860
9613331,680.781985881,680.332911873,677.669461250,677.431074993
9613332,581.315679742,579.891272584,578.411016202,577.484081977
9613333,655.044197687,653.469180078,650.614051666,649.144653054
9613334,473.656190611,473.629850559,472.614356274,471.786589632
9613335,490.175602224,486.915761526,489.198914773,487.429753960
9613336,628.793918406,628.074432492,624.838307762,624.692120125
9613337,412.287547711,411.478594771,410.384566318,409.470481342
9613338,578.483651715,577.348145416,574.320370523,573.746707472
9613339,474.037109633,473.164157314,471.706376182,471.365833010
9613340,512.362493659,511.431128023,508.456005060,508.092591159
9613341,416.403261486,416.628570312,415.295888271,415.254447859
9613342,515.235458025,514.196910530,512.664124098,512.297538910
9613343,614.576481412,614.169378487,610.929556912,609.713867358
9613344,442.560407905,442.666057120,442.383307981,441.540011104
9613345,532.693276504,531.419250783,529.494447702,528.701075557
9613346,482.055967833,481.803276940,480.673839744,479.474393871
9613347,467.560493105,466.970907850,466.297850990,465.825911860
9613348,501.279273271,500.621854329,498.084096836,497.174735460
9613349,374.007526218,375.031187581,372.324774957,371.858574192
9613350,544.815598395,543.017290088,542.996323562,541.504739821
9613351,419.122616040,417.379032556,417.842377374,417.132835763
9613352,380.078244271,377.797026690,378.308795226,375.052314379
9613353,613.354851487,612.736044534,609.967374613,608.684794098
9613354,488.688086210,488.096004878,487.998913667,487.252585770
9613355,517.887289290,517.707616414,516.059886469,514.991170944
9613356,538.353398478,537.792310108,536.823380801,536.536005977
9613357,490.102080507,488.752787620,487.444801497,485.755849200
9613358,519.339339961,518.540872598,516.605135525,515.570511761
9613359,525.706299323,526.407036616,524.485761031,523.719496556
9613360,551.616146456,551.653054619,547.813841768,548.364340383
9613361,533.692021743,532.612053287,534.397016053,533.533284203
9613362,569.967471530,568.286031438,565.278541955,565.795130929
9613363,657.022963351,656.435985810,653.490547144,652.043323391
9613364,441.015286194,439.929099252,438.591331910,437.741095102
9613365,605.727587466,604.713685219,604.150042264,602.490624934
9613366,407.139271091,406.133252523,406.492134223,405.887241070
9613367,526.748873771,525.346145704,523.543985886,524.408851801
9613368,543.042255519,542.497776757,542.164531630,542.024123215
9613369,571.444702715,570.364983137,568.402581569,566.976928040
9613370,617.603749587,616.732388470,614.034311356,614.049883766
9613371,538.695783293,537.471825457,537.463608383,535.323096322
9613372,487.409513172,487.153387243,486.089786229,484.240280233
9613373,540.700577931,538.638106383,537.149642258,535.524805868
9613374,422.902785241,421.167179444,421.304217854,420.899462647
9613375,602.793181840,602.649934507,598.112608925,599.921109454
9613376,641.559147739,641.303366957,639.674573054,638.895478742
9613377,657.684654177,657.161097072,654.801501939,655.381781797
9613378,615.230509620,614.144033608,612.116194910,611.400310234
9613379,464.756944562,463.787600045,465.556440559,464.643934018
9613380,379.836125280,378.196712814,379.579867500,378.866035896
9613381,379.643382397,378.478099741,378.247696946,378.195723388
9613382,412.950332370,411.713695656,412.018557438,411.086457644
9613383,437.019785975,436.232683631,435.446359549,434.852666048
9613384,428.070181668,427.891813258,425.917445512,426.184241885
9613385,504.699594649,504.138619762,502.556489061,501.796117750
9613386,500.834665338,500.712149909,500.267671372,499.091082355
9613387,434.856425208,434.378474945,431.796278461,430.729981089
9613388,394.752922605,393.607727541,392.988732850,392.129817330
9613389,392.525413064,390.690591119,390.846456436,389.728887092
9613390,473.612790646,472.481406051,471.755698277,471.537481997
9613391,563.162012950,561.692189927,559.848193887,558.612690571
9613392,534.213043756,532.447114805,531.549234394,530.755588898
9613393,481.102222079,479.721508530,478.516983962,477.627290372
9613394,410.639637844,409.211015263,408.199510236,407.236641986
9613395,547.522095694,547.307214127,544.833604256,544.554367902
9613396,496.113475624,495.675798777,495.686775248,494.743131586
9613397,500.047921799,500.821930999,498.634895782,497.436629467
9613398,688.982647269,687.322517555,684.741978424,684.418691887
9613399,461.432163254,459.908705440,463.919493006,462.227605300
9613400,461.392445683,461.528049993,459.137532087,458.504130035
9613401,526.965161907,525.302652511,525.133492719,524.523783079
9613402,378.168169149,377.162833586,377.689774750,377.026042688
9613403,423.187218730,421.158534142,421.519179920,420.543476850
9613404,443.867617550,441.409733418,442.792262270,440.623604430
9613405,390.329997073,390.179744205,389.457740660,389.766287688
9613406,564.986232341,564.263232615,560.321382157,560.763015392
9613407,715.243620088,715.047418855,711.383421774,710.301771915
9613408,607.982894405,606.880410655,607.143537949,606.624484750
9613409,370.854750286,369.277852387,369.403446770,368.173587752
9613410,664.013770928,663.742638937,662.528827866,661.121459197
9613411,480.745128000,478.531306241,477.814938420,477.438712869
9613412,667.182505130,666.504289806,663.948047040,663.306240850
9613413,642.138646475,642.833299190,640.187545530,639.779546917
9613414,434.390200469,434.029939407,433.905258157,433.440257072
9613415,487.761208881,486.953298508,484.586221933,484.198887562
9613416,369.478215814,367.986355182,368.088451068,367.435294864
9613417,691.364332655,690.706857139,688.322846933,685.176841255
9613418,447.286312685,445.613385339,443.675556393,443.146696930
9613419,483.816822021,483.252818253,482.035999192,481.427542800
9613420,540.777346884,539.532832921,539.547799029,539.000207648
9613421,496.693007316,496.400125980,495.954401658,495.129457212
9613422,341.069396612,340.218112430,339.738411941,338.874454373
9613423,601.829305817,601.133020497,601.165252112,598.700002227
9613424,540.615223284,540.761784299,538.921154718,538.955695671
9613425,402.736817973,401.762478847,400.630915338,402.106025215
9613426,573.361880664,572.681066357,570.835384470,570.357988530
9613427,573.551777814,573.487370898,570.492887087,570.196709171
9613428,652.200775971,651.390591327,649.835420031,649.208259146
9613429,553.361998133,552.125191149,551.950117908,550.652865266
9613430,560.835242173,560.904068244,558.202317928,557.695552984
9613431,683.758745501,683.335377768,681.448732709,682.923732710
9613432,594.664074337,593.298667057,591.397740789,590.353670107
9613433,469.776071742,470.562224037,469.204630879,469.604060042
9613434,762.249311117,761.355131364,760.334684172,759.354353744
9613435,402.577970858,401.802409522,402.008512142,401.309948000
9613436,573.290102712,573.051244270,571.842083995,572.616234778
9613437,465.852097875,464.418509176,463.306359158,462.876965573
9613438,466.114317034,465.297579628,464.941354983,463.589753813
9613439,472.762399173,472.436860994,471.227476272,470.269481387
9613440,611.193296469,609.046844415,606.177745353,603.999835807
9613441,510.832212524,511.159121968,510.520847144,509.293028755
9613442,519.102049078,517.814650908,516.106240367,513.970861954
9613443,401.817523177,401.470919186,400.094933956,399.886481516
9613444,648.144078949,647.451199559,644.912180135,643.233839305
9613445,427.503649563,425.825249221,424.706511149,424.010004266
9613446,529.702825613,527.327204395,526.552057350,525.753983094
9613447,407.410450721,406.454427720,406.178515679,405.698842334
9613448,551.340257084,550.419088745,549.810080141,549.793658220
9613449,622.163579495,620.449847376,620.730360946,619.836667158
9613450,458.068762086,456.599712557,454.970123136,454.064979574
9613451,555.260151625,553.251945361,552.387660952,550.522788802
9613452,554.647622149,553.213039556,550.181371293,548.548636365
9613453,501.916981566,501.523625456,500.607920888,499.920705749
9613454,598.185853425,597.212228424,595.066471229,593.790723938
9613455,562.549592959,562.449328166,561.219333240,559.856272663
9613456,541.242624369,540.733293911,538.022335957,538.585973865
9613457,551.533638254,550.724384160,548.105380590,547.038969078
9613458,471.508369720,471.378046510,470.184946492,468.794505797
9613459,347.470174325,346.021855100,346.714932629,346.737562784
9613460,546.806081500,545.708666677,545.530457328,544.105957558
9613461,579.174115391,578.459406135,575.095158484,573.920527635
9613462,505.815594835,505.759273477,504.481471297,505.011314708
9613463,567.391005707,566.331258657,565.503965219,564.032578807
9613464,412.204762396,410.739533232,409.922229012,409.567861945
9613465,728.202668963,726.410622100,725.934346414,724.991518970
9613466,565.999110458,564.559201694,562.586830134,561.481713188
9613467,462.959055504,460.732757106,460.075060818,458.931338922
9613468,554.769065200,553.944563131,547.678492401,547.696388171
9613469,410.576849314,410.010446496,408.748372888,407.121609969
9613470,651.188124431,651.276811341,647.534751779,647.308121238
9613471,472.537805703,471.743752705,466.361138756,465.955841035
9613472,442.289361953,441.548488866,441.100882210,440.321512588
9613473,555.478218801,554.424278822,555.074019021,554.576753450
9613474,418.407914326,416.954618971,416.745858041,416.072873416
9613475,558.513897636,556.857262487,554.181287714,553.509535325
9613476,440.800576663,439.449884253,439.338935343,438.740619289
9613477,427.373650501,427.098919500,426.366157059,425.736059019
9613478,718.509698478,718.073781788,713.631421820,712.686921391
9613479,361.260404017,360.539442176,360.222089622,359.697703922
9613480,377.439789960,376.698101868,375.784139923,375.934346644
9613481,546.224867443,544.863012048,544.192805810,543.561098826
9613482,516.653220307,515.372060107,513.372606116,512.206509451
9613483,557.899563336,557.358679294,555.312604754,553.954396330
9613484,404.303494832,403.109250142,402.912111744,401.993736138
9613485,525.803721794,525.591658157,523.377198120,522.061075007
9613486,645.415484821,645.057168872,642.559974648,641.367654096
9613487,502.014718353,501.716546523,500.688363653,499.876740496
9613488,662.714872396,661.848246458,659.431362983,657.866024545
9613489,661.455470385,659.862501697,658.600286453,657.800186474
9613490,377.671445786,376.427907548,375.137197854,375.256562991
9613491,479.551750391,479.108154579,477.997023678,477.649810697
9613492,450.912036928,450.449019453,448.553217399,447.696991088
9613493,564.864377369,564.263236144,567.271174036,566.469349654
9613494,441.345252313,441.501030256,440.810127569,440.506843631
9613495,495.148168669,494.012720461,493.105959108,493.655503474
9613496,589.526715756,589.000824873,588.769552491,587.194546952
9613497,619.656633849,619.197705597,616.683001566,617.931700950
9613498,487.885906808,487.597660701,488.284433570,486.514383250
9613499,526.461770661,525.574602713,523.284257464,523.071069822
9613500,526.333408933,525.357353874,523.977473741,523.133263497
9613501,413.142617503,412.280671971,411.270610910,411.211759510
9613502,718.155127973,716.891261315,715.264352357,714.528779129
9613503,570.873480731,570.931622541,568.809234416,566.641357712
9613504,479.385932309,478.778264685,476.630158942,474.352879386
9613505,548.609574745,548.653263042,545.635979990,545.590537867
9613506,414.507038469,413.554750423,411.653835982,411.572961317
9613507,424.546412440,424.187455993,423.618548786,422.951418117
9613508,499.721139541,498.972594772,499.024495319,497.294209807
9613509,453.544676979,452.952623680,450.576025610,448.313326154
9613510,466.998297313,465.967328900,463.335775678,463.572638972
9613511,556.428944072,555.272695056,553.282554702,551.208465022
9613512,403.502604169,402.750130409,401.826649343,400.525141600
9613513,568.177421154,567.215963399,567.162421497,565.993126276
9613514,575.560520051,574.696641400,570.945467714,569.891567426
9613515,532.620020339,530.556761867,529.470545408,528.489070761
9613516,630.416510086,628.819108716,626.133688403,624.578348788
9613517,493.375631923,491.646725955,492.655794572,491.665928245
9613518,489.147860333,487.287446034,486.968319849,485.306157400
9613519,577.450666917,575.655776133,573.898684174,573.961357139
9613520,560.864270018,560.600635025,558.812956821,559.095744482
9613521,510.866479387,509.981303092,509.238200632,508.012133178
9613522,509.280457173,509.653906981,508.281457309,504.777392334
9613523,514.326305682,514.009792216,512.044044668,510.824692629
9613524,624.951274822,624.928937765,621.240200763,621.094267633
9613525,498.709593895,498.102710830,498.109148456,496.237278275
9613526,633.637649332,632.733563511,632.028235424,629.518598250
9613527,408.267556093,407.240192450,406.304667522,406.061095142
9613528,496.650244099,495.797650840,494.566083256,493.677354527
9613529,412.692581280,411.626015460,411.598342622,411.368400872
9613530,572.949950767,572.367143727,571.998938467,569.138159971
9613531,434.083499516,432.452169565,430.284001995,429.823853868
9613532,580.253916883,579.386890748,577.871975499,577.379992057
9613533,612.411886345,610.813966978,608.791689885,607.685556259
9613534,427.088246783,425.770517711,425.046943836,424.727704201
9613535,412.582193072,412.192316121,411.837874669,411.237655571
9613536,588.067387335,588.449991071,586.414028367,584.659098679
9613537,384.190310793,384.002392543,382.958229609,383.570597058
9613538,644.772942943,642.754580083,640.198708910,637.367383408
9613539,487.527149255,486.687302618,485.111195260,484.968787238
9613540,618.378164515,618.511591919,620.420303713,618.503043177
9613541,589.809193317,589.754825396,587.511451135,586.511208501
9613542,491.773831982,491.532310674,490.897523275,490.142419330
9613543,689.719463123,689.535594111,685.413057336,684.731480355
9613544,523.581486994,522.366011225,521.739389034,521.814134587
9613545,451.413175373,450.425286821,448.840357097,448.048249211
9613546,622.804022095,622.993244747,621.504269705,619.940612682
9613547,408.199383857,406.673596826,407.026353489,406.096931074
9613548,620.273442157,619.487633711,617.006677025,616.909043260
9613549,646.128348418,645.210931454,643.507216861,642.024430728
9613550,684.420800231,682.591899265,678.233864793,678.837074662
9613551,420.063635256,419.564965197,418.759556413,417.616104313
9613552,556.688330254,555.382212593,552.172059708,552.642746598
9613553,714.878608002,714.681639109,710.668868142,708.581169717
9613554,425.808600360,423.912578800,422.385730372,421.901410207
9613555,458.986266873,458.281441856,458.007759655,457.379966394
9613556,387.582544446,385.877170616,387.794748342,386.505059338
9613557,618.084179743,616.680740582,614.428268925,614.441800639
9613558,718.993919750,717.597756481,714.211708446,713.540407460
9613559,702.065387670,701.395908769,698.669806285,697.550805670
9613560,657.840251623,657.311011701,653.742261047,654.884847715
9613561,396.049754832,394.606544042,395.064220176,393.578164155
9613562,403.023674313,402.499321326,401.650894142,401.822984200
9613563,657.970213958,657.492761181,654.714272462,653.836852323
9613564,429.143716404,428.571516078,429.491711688,428.286021275
9613565,446.312259972,446.068610054,445.209412600,444.039395085
9613566,373.846363112,372.765521471,371.492562646,371.060582239
9613567,479.397203322,478.247910396,477.187286967,477.193865079
```