# qa2: qm-2 fresh real-engine confirmation

Policy credit: Taylor (gtmcknight). This item scores the supplied byte-exact policies; it does not alter or re-port them. All numbers below are local measurements, not figures copied from earlier artifact reports.

## Protocol and evidence

Pinned challenge commit: `6b6921f8d463314aa7c96234e1be25a25245f704`. The [requested setup](https://api.imdnotdead.fun/artifacts/e8c967d6358da0fd53117891357f19a1d684225bd71a5e302b6e299c85f1286c) completed once: wheel checksum passed, Python 3.12 environment and solc 0.8.24 installed, starter validation passed. The pinned Linux x86_64 manylinux wheel installed and executed successfully. No host inventory commands were run.

Each arm ran alone against [VanillaStrategy, fixed 30 bps](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol), using `amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)`. The 256 assigned seeds are 9613568..9613823, inclusive. Following the draws in [MatchRunner._build_configs](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py), `numpy.random.default_rng(seed)` draws size uniformly in [19,21], rate in [0.6,1.0], then sigma in [0.000882,0.001008]; simulation seed equals that same assigned seed. Remaining fields come from [build_base_config / baseline settings](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py), including 10,000 steps. This deliberately uses each assigned seed for parameter draws, rather than local indices 0..255.

Arm order: qm-2, trim-1, t03, IB. Each arm used eight consecutive 32-seed chunks; every seed ran exactly once per arm. Gas counters were reset immediately before and read immediately after each chunk. Scores are `edges["submission"]`. Paired statistics use full-precision saved scores. SE = sample standard deviation of the paired differences / sqrt(n); wins count strictly positive differences. CSV values are rounded to nine decimals.

## Arms

All four `amm-match validate` checks passed. Runtime sizes were measured with the [pinned SolidityCompiler](https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py) (solc 0.8.24, optimizer 200, viaIR, Paris); all are below 24,576 bytes. Hashes are over the exact decoded Solidity bytes.

| Arm / source | Name | SHA-256 | Runtime bytes | Validation |
| --- | --- | --- | ---: | --- |
| [qm-2](https://api.imdnotdead.fun/artifacts/e50ab7b92163d8589bb2f75c49d6cda2a1012bb96a0f4a52620b887668f63264) | TaylorGaussianQmSpline | `50a741b97a7ed79237ecbd34a4bc20b5c70b7872d8916f31dc3fe3f72b4fe859` | 19346 | pass |
| [trim-1](https://api.imdnotdead.fun/artifacts/fce772b9057867b241350b8e44c05298c6c877871a26b58702a5af431726f6c5) | TaylorGaussianPlainNet2 | `d849c5f15d69499560b5c3ea08f55ad27153b393eba7abb7dd186f451ad46a24` | 16077 | pass |
| [t03](https://api.imdnotdead.fun/artifacts/2333ecf28d4356bd232b85c1e55842e94e1ada05e1cd067830b5625dfdbc5336) | censored_10 | `cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9` | 14654 | pass |
| [IB](https://api.imdnotdead.fun/artifacts/afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557) | inputs_b | `301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686` | 14528 | pass |

Mean submission edge per arm: qm-2 525.894063457, trim-1 524.986402196, t03 523.698461245, IB 522.912729961.

## Paired edge: qm-2 minus comparator

| Comparator | n | mean_diff | se | wins | ties | losses |
| --- | ---: | ---: | ---: | ---: | ---: | ---: |
| trim-1 | 256 | 0.907661261 | 0.045032765 | 234 | 0 | 22 |
| t03 | 256 | 2.195602212 | 0.075094836 | 246 | 0 | 10 |
| IB | 256 | 2.981333496 | 0.083992722 | 254 | 0 | 2 |

**qm-2 minus trim-1**

worst5: (9613816, -1.250259505), (9613629, -0.744837887), (9613716, -0.643986563), (9613765, -0.598611713), (9613583, -0.558530412)

best5: (9613711, 4.220731326), (9613776, 2.689320294), (9613623, 2.656708539), (9613787, 2.542520030), (9613756, 2.521051091)

**qm-2 minus t03**

worst5: (9613714, -0.965515787), (9613672, -0.693347810), (9613716, -0.622382709), (9613571, -0.584380819), (9613582, -0.499081653)

best5: (9613793, 5.830522196), (9613700, 5.824200432), (9613641, 5.417934463), (9613711, 5.123045628), (9613674, 5.008544427)

**qm-2 minus IB**

worst5: (9613672, -0.186769740), (9613716, -0.038583137), (9613728, 0.089178462), (9613714, 0.206652079), (9613817, 0.401451243)

best5: (9613793, 8.168308467), (9613641, 7.482411690), (9613700, 7.099043491), (9613770, 6.266075514), (9613572, 6.127428791)

## Submission afterSwap gas totals

Peak means highest successful callback (`max_ok_gas`); failed callbacks do not have a reported gas peak. Mean = total successful gas / successful calls, weighted across chunks. OutOfGas events are retained in the measured engine scores; no failed callback or seed was discarded.

| Arm | Calls | Successful | OutOfGas | Reverts | Peak | Mean successful gas |
| --- | ---: | ---: | ---: | ---: | ---: | ---: |
| qm-2 | 2781622 | 2781617 | 5 | 0 | 248814 | 155283.298552 |
| trim-1 | 2756739 | 2756739 | 0 | 0 | 233405 | 131562.534247 |
| t03 | 2763438 | 2763438 | 0 | 0 | 235515 | 135656.107164 |
| IB | 2742028 | 2742028 | 0 | 0 | 234958 | 135321.832885 |

Other halts, transaction errors, and bad returns: zero for all four arms.

### Per chunk

| Arm | Seed range | Calls | Peak successful gas | OutOfGas |
| --- | --- | ---: | ---: | ---: |
| qm-2 | 9613568..9613599 | 344848 | 243742 | 1 |
| qm-2 | 9613600..9613631 | 354832 | 247322 | 1 |
| qm-2 | 9613632..9613663 | 356821 | 239692 | 1 |
| qm-2 | 9613664..9613695 | 342518 | 241312 | 1 |
| qm-2 | 9613696..9613727 | 348120 | 239478 | 0 |
| qm-2 | 9613728..9613759 | 345014 | 246569 | 0 |
| qm-2 | 9613760..9613791 | 339831 | 248814 | 1 |
| qm-2 | 9613792..9613823 | 349638 | 243801 | 0 |
| trim-1 | 9613568..9613599 | 341804 | 233405 | 0 |
| trim-1 | 9613600..9613631 | 351726 | 229358 | 0 |
| trim-1 | 9613632..9613663 | 354027 | 221495 | 0 |
| trim-1 | 9613664..9613695 | 339237 | 225551 | 0 |
| trim-1 | 9613696..9613727 | 345160 | 220808 | 0 |
| trim-1 | 9613728..9613759 | 341713 | 231691 | 0 |
| trim-1 | 9613760..9613791 | 336388 | 221797 | 0 |
| trim-1 | 9613792..9613823 | 346684 | 228720 | 0 |
| t03 | 9613568..9613599 | 342462 | 235219 | 0 |
| t03 | 9613600..9613631 | 351848 | 235515 | 0 |
| t03 | 9613632..9613663 | 353688 | 232458 | 0 |
| t03 | 9613664..9613695 | 340622 | 232518 | 0 |
| t03 | 9613696..9613727 | 346361 | 235515 | 0 |
| t03 | 9613728..9613759 | 342618 | 235235 | 0 |
| t03 | 9613760..9613791 | 338775 | 232603 | 0 |
| t03 | 9613792..9613823 | 347064 | 232481 | 0 |
| IB | 9613568..9613599 | 340186 | 231925 | 0 |
| IB | 9613600..9613631 | 349112 | 234958 | 0 |
| IB | 9613632..9613663 | 350064 | 231917 | 0 |
| IB | 9613664..9613695 | 338215 | 231882 | 0 |
| IB | 9613696..9613727 | 343656 | 234958 | 0 |
| IB | 9613728..9613759 | 340105 | 232014 | 0 |
| IB | 9613760..9613791 | 336360 | 232003 | 0 |
| IB | 9613792..9613823 | 344330 | 231981 | 0 |

## Timing and completeness

Timing is wall time inside `run_batch`, summed over chunks; excludes compilation, validation, interpreter startup, and setup. Seconds/seed = total engine wall seconds / 256.

| Arm | Engine seconds | Seconds/seed | Seeds not run |
| --- | ---: | ---: | --- |
| qm-2 | 123.993744 | 0.484351 | none |
| trim-1 | 85.198646 | 0.332807 | none |
| t03 | 71.939834 | 0.281015 | none |
| IB | 71.828239 | 0.280579 | none |

## Assessment and limitations

qm-2 records 5 OutOfGas callbacks and a successful-callback peak of 248,814 gas. It fails the goal's zero-OutOfGas requirement and the 245,000 peak-gas limit on these assigned seeds, regardless of its paired edge performance. Validation success alone does not establish either gas requirement.

No seeds or arms are missing; IB was included. Nothing was fabricated. Gate P/Q/F reproduction is outside this scoring item and was not performed here. Chunk-level gas counters cannot identify which individual seed/callback caused an OutOfGas event. The CSV reports the engine scores including its normal behavior after those callback failures. Freshness here means no local seed reruns; earlier use by other workers cannot be independently established.

## Per-seed CSV

```csv
seed,qm2,trim1,t03,IB
9613568,554.236409374,551.949290358,550.876547658,549.614781002
9613569,447.242167288,446.046267397,446.179717450,445.169361888
9613570,450.981965710,448.472212124,449.887088938,449.112895413
9613571,417.753900883,417.600191679,418.338281701,416.994152678
9613572,519.179009073,518.023570787,515.358667137,513.051580282
9613573,433.219847125,431.764239160,428.720037908,429.637032974
9613574,579.413343344,578.307624389,575.777960497,575.296601763
9613575,467.415631981,467.150737007,464.880565628,464.215824145
9613576,441.561846926,440.656069604,438.328133288,438.036127288
9613577,601.151918368,600.527074265,599.671878493,598.138183525
9613578,462.908031905,461.186271991,459.554805915,459.859690265
9613579,582.176358240,581.254804855,578.992649288,578.604781280
9613580,598.688330595,597.538814739,597.270649675,596.229652657
9613581,415.049880359,414.298906910,413.963188452,412.996675083
9613582,613.339818400,612.839885722,613.838900053,612.499139879
9613583,542.108635287,542.667165700,539.819864225,538.952069121
9613584,389.098430645,387.705215712,389.008643824,388.460954275
9613585,676.030663131,675.187133419,671.414653347,671.171443647
9613586,535.297908064,534.526662406,533.015093910,533.034337763
9613587,492.477854673,490.521546673,488.795073993,489.047441729
9613588,577.965118451,578.511647349,577.153074325,574.433355437
9613589,651.847005847,650.899876602,649.957679232,648.608659234
9613590,652.339734847,650.320430222,648.990168941,648.075138223
9613591,482.729028172,482.479855164,480.939635905,480.593692364
9613592,498.638125129,497.470194729,496.128378154,495.264383881
9613593,553.270164934,552.244329862,549.241618409,549.949608889
9613594,571.824302275,571.445144593,569.839955469,569.247329096
9613595,638.506078205,637.953128065,635.227690369,635.852934753
9613596,402.599914417,401.379496683,400.324951994,399.297393795
9613597,590.524330512,588.316003984,587.318245380,585.700338955
9613598,507.863955848,506.894998073,507.242966195,506.460444656
9613599,588.124125522,587.565842930,587.069051690,585.921413326
9613600,638.240021947,636.918782711,635.958780041,635.306371191
9613601,622.132795406,621.686132001,620.987269466,618.563104152
9613602,468.283739050,468.594956587,467.977544590,467.078636734
9613603,558.986529156,557.609321589,558.913119592,557.301166985
9613604,438.220921708,436.718349258,435.467113110,436.011793354
9613605,500.135739399,499.368051947,496.947074468,496.030257903
9613606,375.356872115,374.951598415,374.947310291,374.169977845
9613607,601.423222569,601.430025144,598.572965756,598.194140937
9613608,426.444067581,425.651739019,423.467883843,423.034958551
9613609,389.238124876,388.797567992,388.126646067,386.817500876
9613610,447.716805370,447.733174544,446.660613763,447.077137761
9613611,600.732105139,600.205920175,599.762658481,598.380419997
9613612,485.661247035,484.345828736,483.352501997,482.323258844
9613613,581.939385748,581.149250561,578.711673587,578.157192986
9613614,457.809125771,455.877847356,456.397480034,455.182208890
9613615,554.505913831,553.154886986,550.972192688,550.184943052
9613616,594.151350609,593.026574590,592.886008496,592.589749912
9613617,630.385487798,629.613363685,626.944636303,625.035108919
9613618,417.332247912,416.030753332,414.991808229,414.063945148
9613619,490.514536004,488.709208914,488.163371350,487.233968632
9613620,619.577386713,619.075749918,617.630268486,617.682952558
9613621,469.310719233,469.078094837,467.069494672,465.982671102
9613622,548.201094487,546.352987390,546.258953375,544.429583069
9613623,516.866432731,514.209724192,515.172353294,513.945783373
9613624,627.775892036,627.300068566,625.202556963,624.645800398
9613625,532.855880970,532.245603412,528.814620794,529.538240115
9613626,516.892697382,515.679813279,514.729774971,514.359260018
9613627,459.013899672,457.671923894,457.463814313,456.319917891
9613628,449.620492705,447.959938830,448.249273378,447.323627912
9613629,625.873881225,626.618719112,623.481624816,620.052643713
9613630,566.997667084,566.172944188,564.871361660,564.701168157
9613631,713.892222228,713.050319470,711.079126828,710.486964791
9613632,529.131710271,527.792816898,526.064583083,524.768023670
9613633,508.650212830,507.574731823,505.423962941,505.426392746
9613634,382.784463538,381.619032316,380.887471933,380.377985230
9613635,477.343632436,476.904690361,475.526351031,475.147465657
9613636,568.449248763,567.094199344,563.942982038,562.383358493
9613637,408.471955453,407.733077148,407.798461628,407.154552589
9613638,674.120300112,672.907026928,670.532785579,669.372468198
9613639,671.305562181,670.833145416,668.304944200,667.336093739
9613640,560.745198509,560.381433430,558.087911682,557.095161812
9613641,563.098281970,563.438313918,557.680347506,555.615870280
9613642,485.714490272,484.711945528,483.892605749,482.978989609
9613643,407.243892584,406.882912989,407.100229096,406.201591506
9613644,494.494886394,492.744867747,492.858584568,492.045272880
9613645,375.298110108,374.601152975,372.688448238,372.718578979
9613646,641.644688029,640.896274637,639.433124302,638.253725056
9613647,481.900501496,480.010990911,482.268235644,479.311100409
9613648,522.754124530,521.606178024,520.365267639,520.023138348
9613649,606.317999994,606.574551321,602.815102403,601.723548718
9613650,626.709558516,625.699843416,623.240962729,621.437486925
9613651,646.587466817,645.384418661,642.742695738,641.904850352
9613652,579.108844805,577.406672934,576.926379772,575.341773055
9613653,590.238259286,588.964193035,587.451264284,586.371063391
9613654,616.766182879,616.836806090,615.968137828,614.870086326
9613655,453.720395805,453.146036214,451.303436653,450.576921549
9613656,640.106001528,639.631576669,638.040810243,637.419460174
9613657,625.881270610,625.422731093,622.474597762,620.807836157
9613658,509.315911292,508.029485978,506.976808504,507.239246502
9613659,435.711414104,434.614622153,434.408179164,433.253399245
9613660,678.939527847,679.423729510,675.087311550,674.832758565
9613661,584.844647448,582.925575237,581.598341223,580.480621153
9613662,616.865035664,615.681237020,615.114544233,614.130557973
9613663,542.419034951,541.209837313,540.729913153,539.460915082
9613664,653.462921967,653.802786991,652.621509795,652.536361376
9613665,392.943757516,392.810312018,390.030164275,390.688261050
9613666,466.082872866,465.034036634,464.771971977,464.042807370
9613667,382.039191585,380.650883991,378.731785663,378.756355125
9613668,410.542358792,410.230618144,409.250395812,406.987829221
9613669,517.715039212,517.975673116,515.066065812,513.683572776
9613670,559.009956702,558.771248546,556.165361056,556.902811537
9613671,474.367550892,473.333329841,472.076734039,470.493854984
9613672,396.799997414,396.631712419,397.493345223,396.986767154
9613673,554.183926863,552.534421475,550.992662728,549.730192265
9613674,591.607108921,589.426840379,586.598564494,587.006110171
9613675,427.929458921,426.965327499,425.278367940,425.281091720
9613676,449.460059479,448.365372932,446.953126540,445.947687893
9613677,579.028446146,578.344135645,575.938353354,573.326983567
9613678,526.082142390,525.200488595,522.089575054,520.989218891
9613679,556.265611801,554.217330141,553.639128741,553.679792356
9613680,466.556327783,466.048378937,465.607075878,464.718246311
9613681,577.585823486,576.780349387,574.729199697,573.765235799
9613682,582.353810326,580.729547944,579.521977709,579.009239757
9613683,451.783840175,451.243454121,450.002559082,450.135698771
9613684,501.506237284,500.259736714,499.415149774,498.135711489
9613685,403.821625656,402.872901197,401.123270225,400.689880868
9613686,549.376319836,549.003863716,546.507401036,546.107314926
9613687,715.929232943,715.844191717,714.404766389,713.821480496
9613688,530.666928796,530.238669612,528.849275035,529.974199518
9613689,725.927402622,725.583863562,723.127896614,723.461124506
9613690,341.992617344,341.659747162,341.130587268,340.652546268
9613691,531.395836352,529.254191658,529.215954269,527.466861452
9613692,438.415667377,437.175189811,437.427129002,436.586508341
9613693,538.438304815,537.552712106,536.782886508,534.787316264
9613694,498.994666061,498.819621322,496.557533695,496.311685814
9613695,644.343438576,644.269490081,643.627455154,642.854431478
9613696,568.247050760,567.656605097,564.788388193,564.919945293
9613697,366.598989537,366.026206101,366.250529650,365.680925974
9613698,583.786921425,583.735312728,582.641501063,582.897160113
9613699,623.840108871,623.004427237,620.784150656,620.043033698
9613700,623.375976626,623.427290086,617.551776194,616.276933135
9613701,532.852766177,531.486991133,528.802064105,528.432137386
9613702,425.755300396,424.719159451,422.973683303,422.185052735
9613703,388.179875202,387.038067117,385.970801988,385.172830979
9613704,451.199093015,450.513553170,450.326706790,448.970223604
9613705,473.064962069,472.041870085,470.544892895,469.755898844
9613706,521.574706362,521.832937574,520.020774157,520.509237811
9613707,554.078613079,553.640659490,552.021558587,551.601115523
9613708,647.865264613,647.859742925,644.229601169,645.015487816
9613709,427.484436597,426.436922069,425.765351308,425.278354940
9613710,472.937447941,471.412823668,471.131900121,470.579946197
9613711,700.007569070,695.786837744,694.884523442,694.986657246
9613712,394.428655297,392.699892902,393.651070840,393.316711699
9613713,617.636578317,616.635383399,616.062784055,613.602233040
9613714,391.870978732,390.590817567,392.836494520,391.664326653
9613715,714.927334331,714.713959525,713.683201636,712.028205193
9613716,517.200321460,517.844308024,517.822704170,517.238904598
9613717,497.286536247,495.891728083,495.290663310,494.887853122
9613718,553.524561214,552.315043398,550.887927581,552.204963545
9613719,529.538522549,528.938906190,527.206418886,526.973868856
9613720,693.911972176,693.411247663,690.361207807,689.854677454
9613721,475.232937515,475.092241357,473.306183958,471.824251791
9613722,483.892039172,482.098316846,481.924923880,480.359519973
9613723,483.348947404,481.831342635,481.116559284,480.984989421
9613724,428.869496037,428.533288186,428.132773103,428.436912358
9613725,542.502130109,542.070083599,542.769851071,541.144792978
9613726,505.343895856,505.203558106,501.965085000,500.990621439
9613727,522.485809956,521.792405448,520.185917177,519.593457182
9613728,447.939424821,447.141195533,447.669082940,447.850246359
9613729,401.806073127,399.580176016,400.696215403,399.220630719
9613730,430.980259845,429.916749888,429.048870794,429.773542418
9613731,662.289599213,660.477332148,658.983179717,657.836168557
9613732,413.847918052,412.366580108,411.998799643,411.304728055
9613733,499.440399496,499.073681147,497.114504981,496.021171254
9613734,386.565895978,384.508955266,385.304288302,384.573312372
9613735,479.562601157,478.148143452,477.361423637,474.241436898
9613736,454.639232455,452.902459966,452.303843324,451.514438095
9613737,360.570462292,359.933328894,359.640847693,359.048637510
9613738,716.699199761,714.575329410,713.658942831,713.126925241
9613739,567.071139672,566.907218801,565.613154852,564.156343292
9613740,549.933730380,549.410919998,548.629290804,547.766525836
9613741,626.678054604,625.861457034,624.190114057,623.792290382
9613742,437.985705480,437.182550114,435.175090258,434.768250673
9613743,618.458226600,616.928549006,614.562915581,615.321200992
9613744,477.823105832,477.518832841,475.552317289,473.551893534
9613745,751.770149807,750.789835156,750.056623284,750.211313356
9613746,417.475712652,417.285501972,416.249594685,415.069442288
9613747,496.210240396,494.702572634,493.617482925,492.565556642
9613748,588.581935257,587.727389249,584.375787545,585.294374780
9613749,749.351138860,748.007211982,744.938342705,743.705705449
9613750,468.292744940,466.603205833,464.737235543,463.864116131
9613751,471.953488997,472.016340401,470.350161913,469.702727356
9613752,378.734590176,377.917780362,376.122643865,376.119288167
9613753,545.233648999,544.391106772,542.091135207,542.073549999
9613754,576.116407076,574.604071472,573.629173609,571.642527169
9613755,593.846141065,592.444714905,590.842786395,590.233603369
9613756,502.789630722,500.268579631,501.037034875,499.143792790
9613757,520.941908523,519.808674821,518.737949302,517.775972755
9613758,487.359568033,487.017492211,485.269373269,483.882670358
9613759,574.641466272,573.266103612,572.433092775,571.314529510
9613760,616.400966472,615.140041290,612.449600459,611.372246647
9613761,491.758726377,490.661008547,490.328859526,490.291427398
9613762,421.262888906,420.804347181,419.301811530,419.147444566
9613763,509.956836049,508.184032326,508.833572477,507.661814659
9613764,409.651524392,409.312243770,408.730907549,408.652540448
9613765,612.460175913,613.058787625,610.738167512,609.893867259
9613766,489.584736418,489.467969305,488.203239956,487.958995683
9613767,427.941310150,427.302731134,426.736995494,425.870621371
9613768,510.759594279,510.417778358,508.541071528,507.644108013
9613769,420.010123028,418.358964927,417.634540473,416.736027703
9613770,726.732467395,725.584257756,723.877057138,720.466391881
9613771,518.303226743,517.884794650,516.902351210,515.810450846
9613772,567.723714339,566.164021181,565.417160421,564.086606772
9613773,490.567739181,489.600565624,488.954928774,488.449429791
9613774,538.815553272,538.282814010,537.029810416,537.014821374
9613775,403.185912288,401.997178600,402.111134874,401.676766348
9613776,519.174891534,516.485571239,516.392568509,516.104504086
9613777,581.793100047,581.745841739,579.595364784,577.894041334
9613778,482.365205826,481.727259983,479.837018325,479.906293636
9613779,585.163685406,584.069773331,581.760904020,580.338322315
9613780,451.953165968,450.730866715,450.172465949,450.377059503
9613781,498.436733861,497.206688396,495.563455796,494.492101784
9613782,494.385865689,494.195328087,494.789800466,493.847922484
9613783,480.164992901,479.501801386,478.670316251,477.486316904
9613784,405.188514127,404.185429176,404.279614382,403.361132524
9613785,524.419783491,524.026227473,521.725864179,520.393063214
9613786,578.595690313,577.620266853,574.938494382,573.499135536
9613787,414.168368036,411.625848006,412.913498151,410.526021332
9613788,704.050774666,703.275081994,701.343877533,700.789302757
9613789,581.325465728,580.355458123,578.548299797,578.211122224
9613790,451.003486855,450.476181179,449.119873959,448.515015792
9613791,418.831303557,417.547834434,417.749100469,416.775935613
9613792,443.098586072,440.971832706,439.855373475,439.162244532
9613793,652.577022957,651.643921251,646.746500761,644.408714489
9613794,507.151900008,505.554635585,504.916514776,504.860111332
9613795,494.381741109,493.240791818,493.321822776,492.316781723
9613796,500.791009743,498.986647268,498.091640065,497.260966207
9613797,437.473452474,436.786565039,436.896498510,435.946022734
9613798,385.076818649,384.846940545,383.129770886,383.307399718
9613799,646.649251131,644.655848896,642.314661708,642.485001062
9613800,486.204094515,484.083524068,483.988657828,483.302871144
9613801,532.636790209,531.547305954,528.416330332,528.370295794
9613802,702.387032674,702.055997718,700.816486753,699.734886066
9613803,499.810159257,498.070983354,496.730768609,496.257388340
9613804,524.821964957,523.972749915,520.390211164,518.796152995
9613805,618.620973466,616.480534977,615.550017738,613.309929072
9613806,433.688629102,432.257081306,431.538517264,430.328257992
9613807,554.397291537,552.879843217,551.374636597,550.126698162
9613808,467.972989660,467.300816116,467.825801323,466.259425790
9613809,497.016419898,497.041750864,495.604832135,494.719188476
9613810,647.252562090,646.479003750,645.068142141,645.189899184
9613811,431.245653842,430.570348119,431.611436767,430.473604737
9613812,542.549287564,541.992449586,540.988449027,539.053857858
9613813,660.965396384,660.951347593,659.569184257,659.141914101
9613814,467.120189947,467.303658810,465.862114755,465.079272623
9613815,514.437107778,514.840669951,513.460947324,513.790267149
9613816,614.487299021,615.737558526,611.671464134,611.800946335
9613817,401.952822268,400.551173659,402.138382567,401.551371025
9613818,590.186245426,590.354596714,587.336936156,586.981359471
9613819,589.192371962,588.712962420,588.549922958,587.749297505
9613820,623.682234524,623.262989170,620.599340816,618.638839100
9613821,653.365831526,652.770291625,649.263921169,649.662202805
9613822,417.870558489,416.801235636,416.391795852,415.414640357
9613823,590.296801917,590.241554082,588.890296875,587.740718546
```