# Merge 02, batch e6-combo-b2: frozen ComboG(1) vs qt1 on engine seeds 9805364..9805619 Credit: Taylor (gtmcknight). qt1 is the Solidity form of Taylor's solved policy (Gaussian filter + qm tables, github.com/gtmcknight/amm-sim at 4812a6382311624e1506aca131ca35c378f930d9, research/solved); the ComboG candidate builds on that work, as its frozen-diff artifact (section 3) states. This file combines two confirmation shards, **b2s3** and **b2s4**, of one frozen variant. It only re-reads and recombines what the two items recorded: no simulation, tuning or source change was made here, and nothing below is a board score or a board claim. The complete machine-readable report is the JSON block in section 8; sections 1 to 7 are a reading of it. ## 1. Outcome **Merge status: complete.** Both shards finished, cover their ranges exactly once, used the same candidate and qt1 sources, and recorded no gas or runtime violation. | paired, candidate minus qt1 | n | mean_diff | se = sample SD / sqrt(n) | sample SD | min diff | max diff | diff < 0 | diff > 0 | |---|---|---|---|---|---|---|---|---| | **merged b2s3 + b2s4** | 256 | 0.6394323026285214 | 0.039258074435103804 | 0.6281291909616609 | -0.8068662017860788 | 2.458406526715976 | 37 | 219 | | b2s3 (recomputed) | 128 | 0.6953177015485141 | 0.057562449117923076 | 0.6512447698078242 | -0.5874018065766222 | 2.458406526715976 | 16 | 112 | | b2s4 (recomputed) | 128 | 0.5835469037085286 | 0.053164245428457366 | 0.6014847753460498 | -0.8068662017860788 | 2.1280778142825056 | 21 | 107 | The merged line is computed from the 256 recorded per-seed differences (section 8, `rows`), not from the shard summaries. Each shard's own recorded `paired` block agrees with the recomputation: b2s3 recorded mean_diff 0.6953177015485141, se 0.05756244911792308 (absolute gap to recomputed: 0.0e+00 and 6.9e-18, same worst5); b2s4 recorded mean_diff 0.5835469037085286, se 0.053164245428457366 (absolute gap to recomputed: 0.0e+00 and 0.0e+00, same worst5). The shard means differ by 0.11177079783998556 with a standard error of 0.07835733877838587 on that gap (1.43 SE). Worst five seeds of the merged set (lowest diff first): | item | seed | candidate | qt1 | diff | |---|---|---|---|---| | b2s4 | 9805529 | 455.73527098306204 | 456.5421371848481 | -0.8068662017860788 | | b2s4 | 9805493 | 487.1561017967918 | 487.8805643954308 | -0.7244625986389792 | | b2s4 | 9805560 | 538.727585680709 | 539.4447147267355 | -0.7171290460264572 | | b2s4 | 9805584 | 743.9665817517091 | 744.6714116573319 | -0.7048299056227734 | | b2s4 | 9805615 | 469.0376427592044 | 469.7038580832057 | -0.666215324001314 | Engine gas, Submission/afterSwap, both shards together (limit: peak <= 245,000 and 0 OutOfGas): | arm | calls | ok | sum_ok_gas | max_ok_gas | mean = sum_ok_gas / ok | oog | revert | other_halt | tx_error | bad_return | |---|---|---|---|---|---|---|---|---|---|---| | candidate | 2819729 | 2819729 | 425396429336 | 220843 | 150864.29558868957 | 0 | 0 | 0 | 0 | 0 | | qt1 | 2817403 | 2817403 | 388480301540 | 208824 | 137885.95438423258 | 0 | 0 | 0 | 0 | 0 | ## 2. Inputs | item | file | SHA-256 (checked on read) | bytes | item status | blocked | seeds (inclusive) | rows | |---|---|---|---|---|---|---|---| | b2s3 | `artifacts/goal/batches/e6-combo-b2/items/b2s3/result.json` | `851050351eef69ec1e88ea2ed485dd2eb1a156fc045057b66e13e794af8b1fb7` | 37276 | complete | null | 9805364..9805491 | 128 | | b2s4 | `artifacts/goal/batches/e6-combo-b2/items/b2s4/result.json` | `030c0fb0996ffa08c2282839fb08c56c73b633f9d0d02029fe47e8fa644efd70` | 45483 | complete | null | 9805492..9805619 | 128 | Both files are also served, byte-identical (same SHA-256, fetched for this merge), at and . b2s3 keeps its rows under `completed`, b2s4 under `rows`. ## 3. Same candidate, same qt1, same compiler `K` = `https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d` (the goal repository at the pinned commit). | field | b2s3 | b2s4 | identical | |---|---|---|---| | candidate source sha256 | `f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616` | (same) | yes | | qt1 source sha256 | `c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca` | (same) | yes | | base Candidate.sol (TC-A) sha256 | `b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2` | (same) | yes | | frozen diff artifact sha256 | `9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740` | (same) | yes | | engine wheel sha256 | `aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a` | (same) | yes | | tools/engine.py sha256 | `306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300` | (same) | yes | | tools/check.py sha256 | `cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1` | (same) | yes | | amm-challenge commit | `6b6921f8d463314aa7c96234e1be25a25245f704` | (same) | yes | | candidate runtime bytes | `22058` | (same) | yes | | qt1 runtime bytes | `20605` | (same) | yes | | engine threads | `8` | (same) | yes | - Sources. Both items give the candidate as the pinned base `K/contracts/Candidate.sol` plus the frozen diff in , and qt1 as `K/reference/qt1/Strategy.sol`. Re-fetched for this merge: all three have the SHA-256 the items state, and applying the artifact's unified diff to the base with `patch -p1` yields SHA-256 `f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616`, the candidate hash of both items. qt1 is `c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca`, the hash the goal names. - Compiler. b2s4 records solc 0.8.24, optimizer enabled, 200 runs, viaIR true, evmVersion paris. **b2s3 records no compiler-settings field**, so equality cannot be read off the two items directly. What supports it: both items check out amm-challenge at 6b6921f8 and use the same `tools/check.py` (SHA-256 above), whose `compiled()` calls that checkout's `SolidityCompiler`; hard-codes `SOLC_VERSION = "0.8.24"`, `"enabled": True`, `"runs": 200`, `"viaIR": True`, `"evmVersion": "paris"`, the same values b2s4 records. Both items report the same runtime sizes (candidate 22058, qt1 20605 bytes), and the per-call gas of the two fixed-cost Submission callbacks is equal across the items (candidate Submission/afterInitialize 92178; candidate Submission/getName 21661; qt1 Submission/afterInitialize 90858; qt1 Submission/getName 21579). b2s3 records no bytecode hash, so byte-identity of its runtime with b2s4's is supported by this evidence but not directly recorded. - Only this one variant is combined; no other variant's rows are in this file. ## 4. Seed coverage | shard | assigned (inclusive) | assigned n | rows | duplicates | missing | outside range | chunks | missing ranges recorded by item | |---|---|---|---|---|---|---|---|---| | b2s3 | 9805364..9805491 | 128 | 128 | 0 | 0 | 0 | 8 x 16 seeds, all completed | none | | b2s4 | 9805492..9805619 | 128 | 128 | 0 | 0 | 0 | 8 x 16 seeds, all completed | none | Union: 256 distinct seeds 9805364..9805619 in 256 rows, 0 seeds in both shards, 0 gaps; the two ranges are adjacent. For every row the recorded diff equals candidate minus qt1 exactly in double precision (0 exceptions). Every candidate, qt1 and diff value in section 8 is the item's own number token, copied as text. ## 5. Gas, all roles and callbacks (both shards summed) | arm | role | callback | calls | ok | sum_ok_gas | max_ok_gas | mean | oog | revert | other_halt | tx_error | bad_return | |---|---|---|---|---|---|---|---|---|---|---|---|---| | candidate | Baseline | afterInitialize | 256 | 256 | 5579776 | 21796 | 21796.0 | 0 | 0 | 0 | 0 | 0 | | candidate | Baseline | afterSwap | 2777854 | 2777854 | 62676087980 | 22592 | 22562.77255032122 | 0 | 0 | 0 | 0 | 0 | | candidate | Baseline | getName | 256 | 256 | 5510656 | 21526 | 21526.0 | 0 | 0 | 0 | 0 | 0 | | candidate | Submission | afterInitialize | 256 | 256 | 23597568 | 92178 | 92178.0 | 0 | 0 | 0 | 0 | 0 | | candidate | Submission | afterSwap | 2819729 | 2819729 | 425396429336 | 220843 | 150864.29558868957 | 0 | 0 | 0 | 0 | 0 | | candidate | Submission | getName | 256 | 256 | 5545216 | 21661 | 21661.0 | 0 | 0 | 0 | 0 | 0 | | qt1 | Baseline | afterInitialize | 256 | 256 | 5579776 | 21796 | 21796.0 | 0 | 0 | 0 | 0 | 0 | | qt1 | Baseline | afterSwap | 2794260 | 2794260 | 63046249128 | 22592 | 22562.77122672908 | 0 | 0 | 0 | 0 | 0 | | qt1 | Baseline | getName | 256 | 256 | 5510656 | 21526 | 21526.0 | 0 | 0 | 0 | 0 | 0 | | qt1 | Submission | afterInitialize | 256 | 256 | 23259648 | 90858 | 90858.0 | 0 | 0 | 0 | 0 | 0 | | qt1 | Submission | afterSwap | 2817403 | 2817403 | 388480301540 | 208824 | 137885.95438423258 | 0 | 0 | 0 | 0 | 0 | | qt1 | Submission | getName | 256 | 256 | 5524224 | 21579 | 21579.0 | 0 | 0 | 0 | 0 | 0 | Submission/afterSwap peak per shard: b2s3 candidate 220843, qt1 208308; b2s4 candidate 220756, qt1 208824. The per-item Submission/afterSwap sums and the 32 per-chunk Submission/afterSwap counter rows (16 chunks x 2 arms) are in section 8 under `gas`. Full raw records: b2s3 at `/chunks//arms//raw_gas_stats`, b2s4 at `/chunks//arms//gas_stats` of the item files linked in section 2. The items' own totals equal the sums recomputed here. ## 6. Failures, blocks, timeouts, violations - Gas or runtime violations: **0**. Checked: all five failure counters in all 192 chunk/arm/role/callback records (all zero), Submission/afterSwap peak in every chunk for both arms (highest: candidate 220843, qt1 208824, limit 245,000), runtime bytes (22058 and 20605, limit 24,576). - Blocked: `null` in both items. Missing or failed engine ranges: none recorded in either item. Each command list shows exactly one engine command per 16-seed chunk (8 per item), all exit 0; b2s4 also records `seed_replays` 0. - Timeouts: none recorded. No command exit code 124; the longest engine arm took 57.6 s (b2s3) and 26.9 s (b2s4) against the 470 s cap. - Failed commands: b2s3 0 of 17; b2s4 1 of 19: `timeout 470s sh scratch/setup.sh > scratch/setup.log 2>&1 (initial launch preparation)`, exit 1, "scratch/setup.log: No such file or directory". The item's note: "Shell redirection failed before setup was invoked. Corrected scratch path; setup itself executed exactly once. No simulation attempted." - Validation: `amm-match validate` exit 0 for candidate (`TaylorComboGQmTrim2`) and qt1 (`TaylorGaussianQMSpline`) in both items. ## 7. Disagreements, gaps and limits of this merge - b2s3 records no explicit compiler-settings field and no runtime/creation bytecode sha256; b2s4 records both. Compiler identity therefore rests on (i) both items pinning amm-challenge 6b6921f8 and the same tools/check.py, whose compiled() calls that checkout's SolidityCompiler with hard-coded settings equal to b2s4's record, and (ii) equal runtime sizes and equal per-call Submission afterInitialize/getName gas in both items. Byte-identity of the b2s3 runtime is not directly recorded. - The goal text says "qt1 peaks at 208,775"; these shards measured qt1 Submission/afterSwap max_ok_gas 208308 (b2s3) and 208824 (b2s4), i.e. merged 208824, +49 against that figure. Both are far below the 245,000 limit; this is a disagreement with a quoted figure, not a limit violation. - b2s4 records one failed command (exit 1, a shell redirection to a not-yet-existing scratch/setup.log before setup ran; the item says no simulation was attempted and setup then ran once, exit 0). It is retained under attempts.b2s4.nonzero_exit. - b2s4 lists one command without the "timeout 470s" prefix (its local verify.py, exit 0); b2s3 lists none. - Gates P, Q and F were not rerun in either item (both say so); nothing in this merge speaks to them. - The item brief handed to this merge still had its placeholders unfilled ({{variant}}, {{s0}}..{{s1}}, {{source}}), so each shard's assigned range is taken from the item's own record (b2s3 attempted_ranges; b2s4 scope and its harness assertions), not from an independent assignment list. - Seed reuse can only be checked inside these two shards (none). Whether 9805364..9805619 were used by other shards, batches or earlier runs is not visible here. - The item results are the items' own local measurements and self-checks; this merge verified their internal consistency and the source hashes, and did not re-run the engine. ## 8. Merged report (JSON) Numbers are JSON numbers exactly as recorded. `rows` holds one array per seed, in the column order of `rows_columns`: source item key, seed, candidate edge, qt1 edge, diff. ```json { "report":"goal batch e6-combo-b2, merge 02: frozen ComboG(1) vs qt1, engine confirmation shards b2s3 + b2s4", "credit":"Taylor (gtmcknight): solved policy, Gaussian filter, qm tables and replica (github.com/gtmcknight/amm-sim at 4812a6382311624e1506aca131ca35c378f930d9, research/solved). ComboG and qt1 build on that work.", "merge_status":"complete", "merge_problems":[], "K":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d", "scope":"Combination of recorded results only. No simulation, tuning, source change or board claim was made by this merge. Figures are local engine edges (each strategy alone vs the 30 bps VanillaStrategy), not board scores.", "variant":{ "name":"frozen ComboG(1) (GATE=1)", "contract_name":"TaylorComboGQmTrim2", "candidate_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616", "baseline":"qt1", "baseline_contract_name":"TaylorGaussianQMSpline", "qt1_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca", "other_variants_combined":0 }, "inputs":[{"item":"b2s3","path":"artifacts/goal/batches/e6-combo-b2/items/b2s3/result.json","also_read_at":".imd/reads/artifacts/item-b2s3","url":"https://api.imdnotdead.fun/artifacts/851050351eef69ec1e88ea2ed485dd2eb1a156fc045057b66e13e794af8b1fb7","sha256":"851050351eef69ec1e88ea2ed485dd2eb1a156fc045057b66e13e794af8b1fb7","bytes":37276,"item_status":"complete","blocked":null,"rows_field":"completed"},{"item":"b2s4","path":"artifacts/goal/batches/e6-combo-b2/items/b2s4/result.json","also_read_at":".imd/reads/artifacts/item-b2s4","url":"https://api.imdnotdead.fun/artifacts/030c0fb0996ffa08c2282839fb08c56c73b633f9d0d02029fe47e8fa644efd70","sha256":"030c0fb0996ffa08c2282839fb08c56c73b633f9d0d02029fe47e8fa644efd70","bytes":45483,"item_status":"complete","blocked":null,"rows_field":"rows"}], "identity":{ "compared":[{"field":"candidate source sha256","both":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","identical":true},{"field":"qt1 source sha256","both":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","identical":true},{"field":"base Candidate.sol (TC-A) sha256","both":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","identical":true},{"field":"frozen diff artifact sha256","both":"9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","identical":true},{"field":"engine wheel sha256","both":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","identical":true},{"field":"tools/engine.py sha256","both":"306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300","identical":true},{"field":"tools/check.py sha256","both":"cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1","identical":true},{"field":"amm-challenge commit","both":"6b6921f8d463314aa7c96234e1be25a25245f704","identical":true},{"field":"candidate runtime bytes","both":22058,"identical":true},{"field":"qt1 runtime bytes","both":20605,"identical":true},{"field":"candidate validate exit / output","both":[0,"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorComboGQmTrim2' validated successfully!\n"],"identical":true},{"field":"qt1 validate exit / output","both":[0,"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorGaussianQMSpline' validated successfully!\n"],"identical":true},{"field":"engine threads","both":8,"identical":true}], "compiler":{"b2s3_recorded":null,"b2s4_recorded":{"solc":"0.8.24","optimizer_enabled":true,"optimizer_runs":200,"viaIR":true,"evmVersion":"paris"},"pinned_source":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py","sha256_of_download":"52f6a4627a4aef298d3f3602ecc8dcdfa9c7e1b9c2d2145400af4898622307f4","quoted":["SOLC_VERSION = \"0.8.24\"","\"enabled\": True,","\"runs\": 200,","\"viaIR\": True,","\"evmVersion\": \"paris\","]},"identical":"not directly recorded by b2s3; identical by construction if b2s3 ran the pinned checkout as its commands state (see notes)"}, "b2s4_bytecode":{"candidate":{"runtime_sha256":"48c29ec5de7626f2c66f7a4cf3dd7e7a6b294473188029f197208c71ee49f0cb","creation_sha256":"2041cb5ec41d8f7c65a28b9cf82366642cd8486cdcb5bf4998779cd93a4928ec"},"qt1":{"runtime_sha256":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189","creation_sha256":"0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f"},"b2s3":"not recorded"}, "per_call_gas_equal_across_items":{"candidate Submission/afterInitialize":{"b2s3":92178,"b2s4":92178},"candidate Submission/getName":{"b2s3":21661,"b2s4":21661},"qt1 Submission/afterInitialize":{"b2s3":90858,"b2s4":90858},"qt1 Submission/getName":{"b2s3":21579,"b2s4":21579}}, "item_self_checks":{"b2s3":{"hashes_verified":true,"local_checks":"passed"},"b2s4":{"matched":{"base_candidate":true,"candidate":true,"qt1":true,"wheel":true},"no_matched_flag_recorded":["diff_artifact","engine_py","check_py"],"checks":{"json_parse":true,"size_limits":true,"all_128_assigned_pairs_exactly_once":true,"paired_statistics_independently_recomputed":true,"gas_sums_and_peaks_independently_recomputed":true,"all_10_source_quotes_refetched_and_found":true,"runtime_and_source_hashes_match":true,"scope":"local evidence checks only; no independent certification"}}}, "merge_time_refetch":[{"what":"qt1","source":"K/reference/qt1/Strategy.sol","sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","equals_items":true},{"what":"base_candidate","source":"K/contracts/Candidate.sol","sha256":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","equals_items":true},{"what":"diff_artifact","source":"https://api.imdnotdead.fun/artifacts/9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","sha256":"9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","equals_items":true},{"what":"candidate_reconstructed","source":"base_candidate + the unified diff block of diff_artifact, applied with patch -p1","sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","equals_items":true},{"what":"tools/engine.py","source":"K/tools/engine.py","sha256":"306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300","equals_items":true},{"what":"tools/check.py","source":"K/tools/check.py","sha256":"cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1","equals_items":true}] }, "method":{ "b2s3":{"engine":"amm_sim_rs 0.1.0.post1","threads":8,"opponent":"30 bps VanillaStrategy","configs":"Pinned engine.py direct transcription of MatchRunner._build_configs; independently compared to pinned checkout implementation","gas":"gas_stats_reset immediately before each arm; gas_stats read immediately after; guard checks failures and candidate Submission/afterSwap peak before proceeding","range_convention":"start inclusive, end_exclusive exclusive","scratch":"test/scratch/b2s3/engine/scratch"}, "b2s3_runner_delta":"Pinned engine.py copied to guarded_engine.py; after persisting each arm, stop with nonzero exit on any gas_stats oog/revert/other_halt/tx_error/bad_return counter, or candidate Submission/afterSwap max_ok_gas >245000. Simulation/configuration/scoring code unchanged.", "b2s4":{"steps_per_simulation":10000,"comparison":"each arm alone versus VanillaStrategy at 30 bps; candidate first, qt1 second; sequential chunks","engine_call":"amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8)","configs":"pinned engine.configs direct transcription of MatchRunner._build_configs, BASELINE_VARIANCE and build_base_config(seed=None); np.default_rng(seed) draws size, rate, sigma in that order","gas":"gas_stats_reset before each arm; gas_stats immediately after each arm; all raw records retained","se":"sample standard deviation of paired candidate-minus-qt1 differences divided by sqrt(n)","limits":{"runtime_bytes":24576,"expected_candidate_runtime_bytes":22058,"candidate_afterSwap_peak":245000},"seed_replays":0,"other_engine_seeds":[]}, "b2s4_harness":{"sha256":"91c40de74e6d8aa4ead418182448edaf7a82bbf220545aad93e65b81d565e640","note":"The two downloaded tools are unmodified; the wrapper only checks frozen hashes/runtime and journals and guards each engine call.","source_at":"https://api.imdnotdead.fun/artifacts/030c0fb0996ffa08c2282839fb08c56c73b633f9d0d02029fe47e8fa644efd70#/harness/source"} }, "limits":{ "runtime_bytes":24576, "afterSwap_peak_gas":245000, "out_of_gas":0 }, "runtime_validation":{ "candidate":{"runtime_bytes":{"b2s3":22058,"b2s4":22058},"within_limit":true,"validate_exit":{"b2s3":0,"b2s4":0}}, "qt1":{"runtime_bytes":{"b2s3":20605,"b2s4":20605},"within_limit":true,"validate_exit":{"b2s3":0,"b2s4":0}}, "starter":{"b2s3":{"exit":0,"output":"Strategy 'StarterStrategy' validated successfully!"},"b2s4":"wheel checksum OK; StarterStrategy validated successfully"} }, "coverage":{ "range_convention":"start inclusive, end_exclusive exclusive", "shards":{"b2s3":{"rows_field":"completed","assigned_start":9805364,"assigned_end_exclusive":9805492,"assigned_inclusive":[9805364,9805491],"assigned_n":128,"rows":128,"min_seed":9805364,"max_seed":9805491,"duplicate_seeds":[],"missing_seeds":[],"seeds_outside_assigned_range":[],"rows_in_ascending_seed_order":true},"b2s4":{"rows_field":"rows","assigned_start":9805492,"assigned_end_exclusive":9805620,"assigned_inclusive":[9805492,9805619],"assigned_n":128,"rows":128,"min_seed":9805492,"max_seed":9805619,"duplicate_seeds":[],"missing_seeds":[],"seeds_outside_assigned_range":[],"rows_in_ascending_seed_order":true}}, "union":{"first_seed":9805364,"last_seed":9805619,"distinct_seeds":256,"rows":256,"gaps_inside_union":[],"seeds_in_both_shards":[],"shards_contiguous":true,"all_seeds_at_least_9800000":true}, "attempted_ranges":{"b2s3":[{"start":9805364,"end_exclusive":9805380},{"start":9805380,"end_exclusive":9805396},{"start":9805396,"end_exclusive":9805412},{"start":9805412,"end_exclusive":9805428},{"start":9805428,"end_exclusive":9805444},{"start":9805444,"end_exclusive":9805460},{"start":9805460,"end_exclusive":9805476},{"start":9805476,"end_exclusive":9805492}],"b2s4":{"candidate":[{"start":9805492,"end_exclusive":9805620}],"qt1":[{"start":9805492,"end_exclusive":9805620}]}}, "completed_ranges":{"b2s3":"all 8 chunks status \"done\"","b2s4":{"candidate":[{"start":9805492,"end_exclusive":9805620}],"qt1":[{"start":9805492,"end_exclusive":9805620}]}}, "missing_ranges":{"b2s3":{"paired":[],"by_arm":{"candidate":[],"qt1":[]}},"b2s4":{"paired":[],"by_arm":{"candidate":[],"qt1":[]}}}, "b2s4_seed_replays":0, "b2s4_other_engine_seeds":[], "rows_where_diff_is_not_exactly_candidate_minus_qt1":[] }, "paired":{ "definition":"diff = candidate edge - qt1 edge on the same seed; se = sample SD (n-1) of the diffs / sqrt(n); worst5 = five lowest diffs, ties by seed. Recomputed here from the 256 recorded diffs; shard SEs were not averaged.", "merged":{"n":256,"mean_diff":0.6394323026285214,"sample_sd":0.6281291909616609,"se":0.039258074435103804,"min_diff":-0.8068662017860788,"max_diff":2.458406526715976,"n_diff_negative":37,"n_diff_zero":0,"n_diff_positive":219,"worst5":[{"item":"b2s4","seed":9805529,"candidate":455.73527098306204,"qt1":456.5421371848481,"diff":-0.8068662017860788},{"item":"b2s4","seed":9805493,"candidate":487.1561017967918,"qt1":487.8805643954308,"diff":-0.7244625986389792},{"item":"b2s4","seed":9805560,"candidate":538.727585680709,"qt1":539.4447147267355,"diff":-0.7171290460264572},{"item":"b2s4","seed":9805584,"candidate":743.9665817517091,"qt1":744.6714116573319,"diff":-0.7048299056227734},{"item":"b2s4","seed":9805615,"candidate":469.0376427592044,"qt1":469.7038580832057,"diff":-0.666215324001314}]}, "per_item":{"b2s3":{"recomputed":{"n":128,"mean_diff":0.6953177015485141,"sample_sd":0.6512447698078242,"se":0.057562449117923076,"min_diff":-0.5874018065766222,"max_diff":2.458406526715976,"n_diff_negative":16,"n_diff_positive":112},"recorded":{"n":128,"mean_diff":0.6953177015485141,"se":0.05756244911792308},"abs_delta_mean":0.0,"abs_delta_se":6.938893903907228e-18,"worst5_seeds_recorded":[9805418,9805402,9805407,9805398,9805424],"worst5_matches_recomputed":true},"b2s4":{"recomputed":{"n":128,"mean_diff":0.5835469037085286,"sample_sd":0.6014847753460498,"se":0.053164245428457366,"min_diff":-0.8068662017860788,"max_diff":2.1280778142825056,"n_diff_negative":21,"n_diff_positive":107},"recorded":{"n":128,"mean_diff":0.5835469037085286,"se":0.053164245428457366},"abs_delta_mean":0.0,"abs_delta_se":0.0,"worst5_seeds_recorded":[9805529,9805493,9805560,9805584,9805615],"worst5_matches_recomputed":true}}, "shard_heterogeneity":{"mean_b2s3_minus_mean_b2s4":0.11177079783998556,"se_of_that_difference":0.07835733877838587,"ratio":1.4264241177983508} }, "gas":{ "source":"amm_sim_rs.gas_stats() records as stored per chunk and arm in each item; counts and sum_ok_gas summed, max_ok_gas maximised, mean = sum_ok_gas / ok", "failure_counters":["oog","revert","other_halt","tx_error","bad_return"], "submission_afterSwap_peak":{"merged":{"candidate":220843,"qt1":208824},"per_item":{"b2s3":{"candidate":220843,"qt1":208308},"b2s4":{"candidate":220756,"qt1":208824}},"limit":245000,"candidate_within_limit":true}, "merged_by_arm_role_callback":[ {"arm":"candidate","role":"Baseline","callback":"afterInitialize","calls":256,"ok":256,"sum_ok_gas":5579776,"max_ok_gas":21796,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":21796.0}, {"arm":"candidate","role":"Baseline","callback":"afterSwap","calls":2777854,"ok":2777854,"sum_ok_gas":62676087980,"max_ok_gas":22592,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":22562.77255032122}, {"arm":"candidate","role":"Baseline","callback":"getName","calls":256,"ok":256,"sum_ok_gas":5510656,"max_ok_gas":21526,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":21526.0}, {"arm":"candidate","role":"Submission","callback":"afterInitialize","calls":256,"ok":256,"sum_ok_gas":23597568,"max_ok_gas":92178,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":92178.0}, {"arm":"candidate","role":"Submission","callback":"afterSwap","calls":2819729,"ok":2819729,"sum_ok_gas":425396429336,"max_ok_gas":220843,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":150864.29558868957}, {"arm":"candidate","role":"Submission","callback":"getName","calls":256,"ok":256,"sum_ok_gas":5545216,"max_ok_gas":21661,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":21661.0}, {"arm":"qt1","role":"Baseline","callback":"afterInitialize","calls":256,"ok":256,"sum_ok_gas":5579776,"max_ok_gas":21796,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":21796.0}, {"arm":"qt1","role":"Baseline","callback":"afterSwap","calls":2794260,"ok":2794260,"sum_ok_gas":63046249128,"max_ok_gas":22592,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":22562.77122672908}, {"arm":"qt1","role":"Baseline","callback":"getName","calls":256,"ok":256,"sum_ok_gas":5510656,"max_ok_gas":21526,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":21526.0}, {"arm":"qt1","role":"Submission","callback":"afterInitialize","calls":256,"ok":256,"sum_ok_gas":23259648,"max_ok_gas":90858,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":90858.0}, {"arm":"qt1","role":"Submission","callback":"afterSwap","calls":2817403,"ok":2817403,"sum_ok_gas":388480301540,"max_ok_gas":208824,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":137885.95438423258}, {"arm":"qt1","role":"Submission","callback":"getName","calls":256,"ok":256,"sum_ok_gas":5524224,"max_ok_gas":21579,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":21579.0} ], "per_item_submission_afterSwap":[ {"item":"b2s3","arm":"candidate","role":"Submission","callback":"afterSwap","calls":1425721,"ok":1425721,"sum_ok_gas":214917243443,"max_ok_gas":220843,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":150742.8476139441}, {"item":"b2s3","arm":"qt1","role":"Submission","callback":"afterSwap","calls":1424256,"ok":1424256,"sum_ok_gas":196247550970,"max_ok_gas":208308,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":137789.52026180687}, {"item":"b2s4","arm":"candidate","role":"Submission","callback":"afterSwap","calls":1394008,"ok":1394008,"sum_ok_gas":210479185893,"max_ok_gas":220756,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":150988.50644544364}, {"item":"b2s4","arm":"qt1","role":"Submission","callback":"afterSwap","calls":1393147,"ok":1393147,"sum_ok_gas":192232750570,"max_ok_gas":208824,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean":137984.54188251492} ], "chunks_submission_afterSwap":[ {"item":"b2s3","chunk":0,"start":9805364,"end_exclusive":9805380,"arm":"candidate","calls":172094,"ok":172094,"sum_ok_gas":26026009698,"max_ok_gas":220118,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":0,"start":9805364,"end_exclusive":9805380,"arm":"qt1","calls":171923,"ok":171923,"sum_ok_gas":23750525295,"max_ok_gas":208308,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":1,"start":9805380,"end_exclusive":9805396,"arm":"candidate","calls":179679,"ok":179679,"sum_ok_gas":27031730766,"max_ok_gas":219751,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":1,"start":9805380,"end_exclusive":9805396,"arm":"qt1","calls":179343,"ok":179343,"sum_ok_gas":24683990705,"max_ok_gas":201887,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":2,"start":9805396,"end_exclusive":9805412,"arm":"candidate","calls":181707,"ok":181707,"sum_ok_gas":27347018144,"max_ok_gas":220789,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":2,"start":9805396,"end_exclusive":9805412,"arm":"qt1","calls":181713,"ok":181713,"sum_ok_gas":25005749889,"max_ok_gas":201731,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":3,"start":9805412,"end_exclusive":9805428,"arm":"candidate","calls":175159,"ok":175159,"sum_ok_gas":26469872988,"max_ok_gas":219722,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":3,"start":9805412,"end_exclusive":9805428,"arm":"qt1","calls":174995,"ok":174995,"sum_ok_gas":24150076710,"max_ok_gas":207066,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":4,"start":9805428,"end_exclusive":9805444,"arm":"candidate","calls":172753,"ok":172753,"sum_ok_gas":26186747421,"max_ok_gas":220597,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":4,"start":9805428,"end_exclusive":9805444,"arm":"qt1","calls":172676,"ok":172676,"sum_ok_gas":23861319912,"max_ok_gas":204257,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":5,"start":9805444,"end_exclusive":9805460,"arm":"candidate","calls":186526,"ok":186526,"sum_ok_gas":27972313604,"max_ok_gas":219833,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":5,"start":9805444,"end_exclusive":9805460,"arm":"qt1","calls":186322,"ok":186322,"sum_ok_gas":25583785107,"max_ok_gas":204058,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":6,"start":9805460,"end_exclusive":9805476,"arm":"candidate","calls":180057,"ok":180057,"sum_ok_gas":27113469057,"max_ok_gas":220843,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":6,"start":9805460,"end_exclusive":9805476,"arm":"qt1","calls":179787,"ok":179787,"sum_ok_gas":24755111510,"max_ok_gas":205340,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":7,"start":9805476,"end_exclusive":9805492,"arm":"candidate","calls":177746,"ok":177746,"sum_ok_gas":26770081765,"max_ok_gas":219980,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s3","chunk":7,"start":9805476,"end_exclusive":9805492,"arm":"qt1","calls":177497,"ok":177497,"sum_ok_gas":24456991842,"max_ok_gas":206689,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":0,"start":9805492,"end_exclusive":9805508,"arm":"candidate","calls":173072,"ok":173072,"sum_ok_gas":26154635161,"max_ok_gas":220756,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":0,"start":9805492,"end_exclusive":9805508,"arm":"qt1","calls":173054,"ok":173054,"sum_ok_gas":23895822569,"max_ok_gas":206467,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":1,"start":9805508,"end_exclusive":9805524,"arm":"candidate","calls":170912,"ok":170912,"sum_ok_gas":25859599713,"max_ok_gas":219642,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":1,"start":9805508,"end_exclusive":9805524,"arm":"qt1","calls":170741,"ok":170741,"sum_ok_gas":23590632280,"max_ok_gas":208824,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":2,"start":9805524,"end_exclusive":9805540,"arm":"candidate","calls":170786,"ok":170786,"sum_ok_gas":25858683643,"max_ok_gas":220681,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":2,"start":9805524,"end_exclusive":9805540,"arm":"qt1","calls":170845,"ok":170845,"sum_ok_gas":23616354348,"max_ok_gas":205545,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":3,"start":9805540,"end_exclusive":9805556,"arm":"candidate","calls":172136,"ok":172136,"sum_ok_gas":26053345653,"max_ok_gas":219898,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":3,"start":9805540,"end_exclusive":9805556,"arm":"qt1","calls":171905,"ok":171905,"sum_ok_gas":23750670210,"max_ok_gas":204781,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":4,"start":9805556,"end_exclusive":9805572,"arm":"candidate","calls":175605,"ok":175605,"sum_ok_gas":26476390465,"max_ok_gas":219855,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":4,"start":9805556,"end_exclusive":9805572,"arm":"qt1","calls":175648,"ok":175648,"sum_ok_gas":24220184250,"max_ok_gas":204473,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":5,"start":9805572,"end_exclusive":9805588,"arm":"candidate","calls":180194,"ok":180194,"sum_ok_gas":27084584199,"max_ok_gas":219778,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":5,"start":9805572,"end_exclusive":9805588,"arm":"qt1","calls":179981,"ok":179981,"sum_ok_gas":24765973611,"max_ok_gas":204606,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":6,"start":9805588,"end_exclusive":9805604,"arm":"candidate","calls":172062,"ok":172062,"sum_ok_gas":26052166825,"max_ok_gas":219829,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":6,"start":9805588,"end_exclusive":9805604,"arm":"qt1","calls":172049,"ok":172049,"sum_ok_gas":23769027961,"max_ok_gas":206188,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":7,"start":9805604,"end_exclusive":9805620,"arm":"candidate","calls":179241,"ok":179241,"sum_ok_gas":26939780234,"max_ok_gas":219841,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}, {"item":"b2s4","chunk":7,"start":9805604,"end_exclusive":9805620,"arm":"qt1","calls":178924,"ok":178924,"sum_ok_gas":24624085341,"max_ok_gas":207090,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0} ], "raw_gas_stats_links":{"b2s3":{"file":"https://api.imdnotdead.fun/artifacts/851050351eef69ec1e88ea2ed485dd2eb1a156fc045057b66e13e794af8b1fb7","path":"artifacts/goal/batches/e6-combo-b2/items/b2s3/result.json","sha256":"851050351eef69ec1e88ea2ed485dd2eb1a156fc045057b66e13e794af8b1fb7","pointer":"/chunks//arms//raw_gas_stats","note":" and are the \"chunk\" and \"arm\" values of a chunks_submission_afterSwap row; the record there is the full six-row gas_stats() output of that arm"},"b2s4":{"file":"https://api.imdnotdead.fun/artifacts/030c0fb0996ffa08c2282839fb08c56c73b633f9d0d02029fe47e8fa644efd70","path":"artifacts/goal/batches/e6-combo-b2/items/b2s4/result.json","sha256":"030c0fb0996ffa08c2282839fb08c56c73b633f9d0d02029fe47e8fa644efd70","pointer":"/chunks//arms//gas_stats","note":" and are the \"chunk\" and \"arm\" values of a chunks_submission_afterSwap row; the record there is the full six-row gas_stats() output of that arm"}}, "item_totals_cross_check":"b2s3 submission_afterSwap_totals and b2s4 gas_totals (all six role/callback rows, both arms) equal the sums recomputed here from the chunk records" }, "violations":{ "gas_or_runtime":[], "count":0, "checked":["every failure counter in every chunk/arm/role/callback record (192 records)","Submission/afterSwap max_ok_gas <= 245000 for both arms in every chunk","runtime bytes <= 24576 for both contracts in both items"] }, "attempts":{ "b2s3":{"commands_recorded":17,"exit_0":17,"nonzero_exit":[],"exit_124_timeouts":0,"commands_without_timeout_470s_prefix":[],"engine_chunk_commands":8,"max_arm_seconds":57.61824440956116,"sum_arm_seconds":813.5039873123169,"blocked":null,"item_status":"complete"}, "b2s4":{"commands_recorded":19,"exit_0":18,"nonzero_exit":[{"command":"timeout 470s sh scratch/setup.sh > scratch/setup.log 2>&1 (initial launch preparation)","exit":1,"error":"scratch/setup.log: No such file or directory","note":"Shell redirection failed before setup was invoked. Corrected scratch path; setup itself executed exactly once. No simulation attempted."}],"exit_124_timeouts":0,"commands_without_timeout_470s_prefix":["python3 test/scratch/b2s4/scratch/verify.py"],"engine_chunk_commands":8,"max_arm_seconds":26.891344183823094,"sum_arm_seconds":358.9062493601814,"blocked":null,"item_status":"complete"} }, "notes":["b2s3 records no explicit compiler-settings field and no runtime/creation bytecode sha256; b2s4 records both. Compiler identity therefore rests on (i) both items pinning amm-challenge 6b6921f8 and the same tools/check.py, whose compiled() calls that checkout's SolidityCompiler with hard-coded settings equal to b2s4's record, and (ii) equal runtime sizes and equal per-call Submission afterInitialize/getName gas in both items. Byte-identity of the b2s3 runtime is not directly recorded.","The goal text says \"qt1 peaks at 208,775\"; these shards measured qt1 Submission/afterSwap max_ok_gas 208308 (b2s3) and 208824 (b2s4), i.e. merged 208824, +49 against that figure. Both are far below the 245,000 limit; this is a disagreement with a quoted figure, not a limit violation.","b2s4 records one failed command (exit 1, a shell redirection to a not-yet-existing scratch/setup.log before setup ran; the item says no simulation was attempted and setup then ran once, exit 0). It is retained under attempts.b2s4.nonzero_exit.","b2s4 lists one command without the \"timeout 470s\" prefix (its local verify.py, exit 0); b2s3 lists none.","Gates P, Q and F were not rerun in either item (both say so); nothing in this merge speaks to them.","The item brief handed to this merge still had its placeholders unfilled ({{variant}}, {{s0}}..{{s1}}, {{source}}), so each shard's assigned range is taken from the item's own record (b2s3 attempted_ranges; b2s4 scope and its harness assertions), not from an independent assignment list.","Seed reuse can only be checked inside these two shards (none). Whether 9805364..9805619 were used by other shards, batches or earlier runs is not visible here.","The item results are the items' own local measurements and self-checks; this merge verified their internal consistency and the source hashes, and did not re-run the engine."], "rows_columns":["item","seed","candidate","qt1","diff"], "rows":[ ["b2s3",9805364,589.3921361806017,588.1807876723564,1.2113485082453508], ["b2s3",9805365,494.25065926652155,494.13871229469135,0.11194697183020708], ["b2s3",9805366,513.3424807702822,512.4256097799331,0.916870990349139], ["b2s3",9805367,534.4335232544114,533.5207532189565,0.9127700354548551], ["b2s3",9805368,496.7381917951901,495.53952193965046,1.1986698555396629], ["b2s3",9805369,478.1636206901129,477.61903502843023,0.5445856616826745], ["b2s3",9805370,520.7841238627525,520.3708404818109,0.413283380941607], ["b2s3",9805371,503.03017810741625,501.87504549139095,1.1551326160252984], ["b2s3",9805372,717.9877673950704,716.8249015345018,1.1628658605685587], ["b2s3",9805373,391.701091705942,391.0469580667545,0.6541336391875348], ["b2s3",9805374,403.5190883973985,403.2801922633834,0.2388961340150786], ["b2s3",9805375,481.3165986392679,481.31030690906607,0.006291730201837709], ["b2s3",9805376,518.3397784272418,517.5060325072001,0.8337459200416788], ["b2s3",9805377,644.0746362273601,643.2732957703643,0.8013404569958311], ["b2s3",9805378,381.4059088294458,380.09800823068565,1.3079005987601704], ["b2s3",9805379,499.7000018143481,498.2289539371277,1.4710478772204283], ["b2s3",9805380,582.730571769243,581.0751120059347,1.6554597633083858], ["b2s3",9805381,417.1395852065556,417.0389121633178,0.1006730432378049], ["b2s3",9805382,676.9826022418223,674.5969766595928,2.3856255822295225], ["b2s3",9805383,574.4915388768717,574.7282030055937,-0.23666412872205456], ["b2s3",9805384,654.4126413438715,653.7940493650187,0.6185919788528054], ["b2s3",9805385,500.0737876820575,499.3343715456815,0.7394161363760077], ["b2s3",9805386,588.2311049894159,586.6285067398071,1.6025982496088318], ["b2s3",9805387,576.7503993581729,575.7480882408997,1.002311117273166], ["b2s3",9805388,658.5786156316673,658.2446083994674,0.33400723219983774], ["b2s3",9805389,615.4628369550875,614.2491329819252,1.2137039731622963], ["b2s3",9805390,476.8730305557769,475.7274810496593,1.145549506117618], ["b2s3",9805391,542.1495570382879,540.7662051708502,1.383351867437682], ["b2s3",9805392,458.7235699112394,458.3568664742675,0.3667034369718749], ["b2s3",9805393,536.4074367788515,536.4824257989682,-0.07498902011661812], ["b2s3",9805394,434.65042062697376,434.90655474834386,-0.2561341213701098], ["b2s3",9805395,506.8047979975781,505.6974620244265,1.107335973151578], ["b2s3",9805396,375.5362324549682,374.3539258939182,1.1823065610499839], ["b2s3",9805397,558.205345459776,558.130636756209,0.07470870356701198], ["b2s3",9805398,545.5803793472941,546.0648181569314,-0.48443880963736774], ["b2s3",9805399,702.648016380433,702.7304021866091,-0.08238580617614844], ["b2s3",9805400,474.8852558624368,473.8469173362114,1.0383385262254023], ["b2s3",9805401,510.6036371294581,510.5814433953462,0.022193734111908725], ["b2s3",9805402,500.2470518592924,500.8281418413634,-0.5810899820709778], ["b2s3",9805403,615.3420393391613,613.9567877095784,1.3852516295828536], ["b2s3",9805404,637.2638714370781,637.3914941387287,-0.12762270165057998], ["b2s3",9805405,527.1270593862857,526.6046862070232,0.5223731792625586], ["b2s3",9805406,590.1410960158563,589.512499740216,0.6285962756403478], ["b2s3",9805407,567.1352123710496,567.6693975659792,-0.5341851949295915], ["b2s3",9805408,566.0356702236903,564.8537245418588,1.1819456818315075], ["b2s3",9805409,559.4315135745866,559.1558926967363,0.2756208778503151], ["b2s3",9805410,472.5001217083711,470.83174336815387,1.6683783402172594], ["b2s3",9805411,513.1149903726194,512.9045592162363,0.21043115638315157], ["b2s3",9805412,478.22936120462623,477.78687929944516,0.44248190518106867], ["b2s3",9805413,424.9244964131209,424.04619832775865,0.8782980853622462], ["b2s3",9805414,649.3138536940908,648.7597794973976,0.5540741966931364], ["b2s3",9805415,784.6898111949295,783.7152159975866,0.9745951973428646], ["b2s3",9805416,445.5990820074694,444.4679282259326,1.1311537815367956], ["b2s3",9805417,491.88791542650523,491.4615753213377,0.42634010516752596], ["b2s3",9805418,603.8084745826015,604.3958763891782,-0.5874018065766222], ["b2s3",9805419,369.3268771304631,368.72643726688244,0.6004398635806751], ["b2s3",9805420,474.4932040966648,474.1338053784466,0.3593987182181877], ["b2s3",9805421,611.6065830617156,610.612788794701,0.9937942670145503], ["b2s3",9805422,524.1547400851175,524.2735952166911,-0.11885513157358218], ["b2s3",9805423,629.9054098579198,628.4515020444207,1.453907813499086], ["b2s3",9805424,427.6773900668922,428.1044138914465,-0.4270238245542828], ["b2s3",9805425,492.44609902651143,491.7589744865881,0.6871245399233317], ["b2s3",9805426,467.2751159351258,467.0602471909728,0.21486874415302282], ["b2s3",9805427,455.5267339506786,455.14839898243156,0.3783349682470316], ["b2s3",9805428,583.8952062940951,582.468100278911,1.4271060151841084], ["b2s3",9805429,433.52966948458413,433.5551379321661,-0.02546844758194311], ["b2s3",9805430,501.07925801937114,501.19412213839587,-0.11486411902473037], ["b2s3",9805431,512.8285916763215,512.5516064246377,0.27698525168375454], ["b2s3",9805432,595.9816950166132,595.6344892677225,0.3472057488907012], ["b2s3",9805433,433.2203216056483,433.1284743840609,0.09184722158738623], ["b2s3",9805434,618.5591583827978,617.2275538511636,1.3316045316341842], ["b2s3",9805435,577.5126078943405,576.8471414073206,0.6654664870198985], ["b2s3",9805436,387.4805915197167,387.31981979919385,0.1607717205228596], ["b2s3",9805437,658.8970023640667,657.5968367830395,1.3001655810271586], ["b2s3",9805438,406.698948553398,406.0170242203597,0.681924333038296], ["b2s3",9805439,552.5783556394641,552.3857607576853,0.19259488177885942], ["b2s3",9805440,397.96027703774394,396.61932195196795,1.3409550857759882], ["b2s3",9805441,402.6653014137008,402.2371123094158,0.4281891042849679], ["b2s3",9805442,560.2021089900189,559.9658352321962,0.236273757822687], ["b2s3",9805443,468.7915218327016,468.40321326662996,0.3883085660716574], ["b2s3",9805444,466.67586099931725,465.7819883046391,0.893872694678123], ["b2s3",9805445,508.137804486258,508.0872755612369,0.05052892502112627], ["b2s3",9805446,597.906757985447,596.886701857954,1.020056127493035], ["b2s3",9805447,753.8478999383015,753.8579559808172,-0.010056042515770969], ["b2s3",9805448,641.0522029735689,638.9570310322109,2.0951719413579895], ["b2s3",9805449,597.405152650289,596.5829545891257,0.8221980611632489], ["b2s3",9805450,602.0426744508823,599.5842679241663,2.458406526715976], ["b2s3",9805451,409.20631351744316,408.6899174947522,0.5163960226909694], ["b2s3",9805452,609.9291876811886,609.6409111980787,0.28827648310993936], ["b2s3",9805453,554.8903546890223,554.0643907446831,0.8259639443391507], ["b2s3",9805454,548.7370618840149,547.4233476846832,1.3137141993316845], ["b2s3",9805455,520.0883863485749,519.9215869141533,0.16679943442159129], ["b2s3",9805456,513.6298710509528,513.165919107099,0.4639519438538855], ["b2s3",9805457,578.4103928321902,577.9866827123902,0.4237101197999209], ["b2s3",9805458,542.7490916393592,541.1617730453461,1.5873185940131407], ["b2s3",9805459,377.69656937873395,376.3623145414978,1.3342548372361307], ["b2s3",9805460,362.58285692160473,361.9491133840954,0.6337435375093037], ["b2s3",9805461,716.9289349433418,716.9373379370091,-0.008402993667345982], ["b2s3",9805462,529.7871540214951,528.0073486848236,1.7798053366715294], ["b2s3",9805463,549.2555677390578,549.2352652990397,0.020302440018099333], ["b2s3",9805464,449.4483998363329,447.71945419257906,1.728945643753832], ["b2s3",9805465,429.9351559553302,429.7018518076313,0.2333041476989024], ["b2s3",9805466,519.6323714272675,518.1726698715843,1.459701555683182], ["b2s3",9805467,674.4392897699242,674.1762841518649,0.2630056180593101], ["b2s3",9805468,399.41473541397323,398.27951924792393,1.1352161660493039], ["b2s3",9805469,577.8291204035065,576.6278354630535,1.2012849404529788], ["b2s3",9805470,579.3990181070857,578.1769092740867,1.2221088329989698], ["b2s3",9805471,573.6664705800711,573.22302965954,0.4434409205310885], ["b2s3",9805472,577.9936926030766,576.547987538852,1.4457050642246259], ["b2s3",9805473,570.3393859919626,569.8251839584951,0.5142020334674271], ["b2s3",9805474,627.7789644382062,626.5673946569217,1.2115697812845383], ["b2s3",9805475,523.9846331741413,523.2220233336049,0.7626098405364701], ["b2s3",9805476,609.0420364929312,606.7600048900049,2.2820316029262813], ["b2s3",9805477,449.1806728719546,448.91849430385355,0.2621785681010351], ["b2s3",9805478,575.961336340557,575.0403077224178,0.9210286181391893], ["b2s3",9805479,549.8903399838628,549.1638720017281,0.7264679821346363], ["b2s3",9805480,444.631457227306,444.4360218166834,0.1954354106225651], ["b2s3",9805481,546.5063960250336,545.343501615748,1.1628944092856273], ["b2s3",9805482,616.6105002328055,616.4679072981473,0.14259293465818246], ["b2s3",9805483,399.0563478183057,397.6812989748469,1.375048843458785], ["b2s3",9805484,420.01403218370365,419.7653249627455,0.24870722095812425], ["b2s3",9805485,562.1197841048012,559.6955296038091,2.424254500992106], ["b2s3",9805486,511.1879920607906,510.5686385796971,0.6193534810934693], ["b2s3",9805487,742.6593223810836,743.0748792785228,-0.4155568974391599], ["b2s3",9805488,506.3725361683241,506.0453333463996,0.32720282192445893], ["b2s3",9805489,593.709210243514,592.9230016185388,0.7862086249751883], ["b2s3",9805490,591.3766293902386,591.2756886293761,0.1009407608624997], ["b2s3",9805491,514.8824569877106,514.4370768911432,0.44538009656741906], ["b2s4",9805492,557.2272194881506,556.8777687049052,0.3494507832454019], ["b2s4",9805493,487.1561017967918,487.8805643954308,-0.7244625986389792], ["b2s4",9805494,524.3340954707273,523.6870062045897,0.6470892661376411], ["b2s4",9805495,670.7682440079446,670.5639279078604,0.20431610008427015], ["b2s4",9805496,712.3204462734384,712.1643276783943,0.1561185950440631], ["b2s4",9805497,451.03349665756144,450.4882234034305,0.5452732541309615], ["b2s4",9805498,579.5071304783221,579.0102778332722,0.49685264504989846], ["b2s4",9805499,505.88469313764534,504.6604529695858,1.2242401680595663], ["b2s4",9805500,512.5046344266825,511.85526036919737,0.6493740574851472], ["b2s4",9805501,558.902521714053,558.4919932556869,0.41052845836611596], ["b2s4",9805502,474.549063790139,473.33414111006687,1.2149226800721067], ["b2s4",9805503,630.4215177810205,630.3483990968743,0.07311868414615219], ["b2s4",9805504,423.14036200905025,423.2076352007504,-0.06727319170016699], ["b2s4",9805505,511.4198290817946,511.2179996798827,0.2018294019118798], ["b2s4",9805506,454.64086288193346,453.4761300942141,1.1647327877193447], ["b2s4",9805507,458.5127896682558,457.22998006553655,1.282809602719226], ["b2s4",9805508,527.4957963588355,527.2818570395775,0.2139393192579746], ["b2s4",9805509,458.4718364023383,457.9606334672778,0.5112029350605098], ["b2s4",9805510,554.4715640756835,553.8951612309324,0.5764028447511009], ["b2s4",9805511,427.09990882699765,425.2299251775981,1.8699836493995576], ["b2s4",9805512,421.4757695936166,421.20972800397055,0.2660415896460222], ["b2s4",9805513,609.449908238583,609.4975908514227,-0.04768261283970787], ["b2s4",9805514,666.6021410657982,665.8597171148376,0.7424239509605286], ["b2s4",9805515,622.971336115058,622.6533875236348,0.31794859142314635], ["b2s4",9805516,498.6620010755007,498.4203449138004,0.24165616170029125], ["b2s4",9805517,635.078078029034,634.9000980273108,0.17798000172319917], ["b2s4",9805518,502.76075363914856,502.8605205749957,-0.09976693584712848], ["b2s4",9805519,673.2727414128136,671.8572454688485,1.4154959439650838], ["b2s4",9805520,435.5272754850682,435.44253442770196,0.08474105736621595], ["b2s4",9805521,697.0915053484413,696.9971586759699,0.0943466724713744], ["b2s4",9805522,515.0668119069175,515.3051320576757,-0.2383201507582271], ["b2s4",9805523,444.60062615499186,443.5323002117806,1.0683259432112777], ["b2s4",9805524,566.0744416761272,565.3011850121076,0.773256664019641], ["b2s4",9805525,598.3485567789871,598.479849844999,-0.13129306601183544], ["b2s4",9805526,568.9365153908401,567.0433544310231,1.8931609598170098], ["b2s4",9805527,670.8896982238514,670.3936034967516,0.4960947270998304], ["b2s4",9805528,346.90950656925156,345.24894267893075,1.660563890320816], ["b2s4",9805529,455.73527098306204,456.5421371848481,-0.8068662017860788], ["b2s4",9805530,446.85628675817185,446.1538318096305,0.7024549485413445], ["b2s4",9805531,423.1846028038543,421.88742181871027,1.2971809851440526], ["b2s4",9805532,651.3880338609114,650.282513300448,1.105520560463333], ["b2s4",9805533,533.7104304585349,533.7424621098618,-0.03203165132686081], ["b2s4",9805534,442.36675289805453,442.00697972015894,0.3597731778955904], ["b2s4",9805535,580.5312503725805,579.6617792842799,0.8694710883006564], ["b2s4",9805536,579.4934306213767,579.2433864456356,0.2500441757410954], ["b2s4",9805537,441.20772339602394,440.6679710559287,0.5397523400952196], ["b2s4",9805538,520.7938374929975,520.8121615619721,-0.018324068974607144], ["b2s4",9805539,417.9691890854582,417.12567759339316,0.8435114920650335], ["b2s4",9805540,645.4331736579284,644.8461370720278,0.5870365859005915], ["b2s4",9805541,488.2280967724523,486.78628506554173,1.4418117069105847], ["b2s4",9805542,452.40315138778715,451.96927139226005,0.4338799955270929], ["b2s4",9805543,400.94494398630854,400.2487817917779,0.6961621945306433], ["b2s4",9805544,512.5409163799816,512.076011604556,0.4649047754255662], ["b2s4",9805545,826.9638135605713,826.7849528976002,0.17886066297114667], ["b2s4",9805546,618.3521799704768,618.0644971640531,0.2876828064236179], ["b2s4",9805547,645.8632059322786,644.7615475667052,1.1016583655733712], ["b2s4",9805548,500.7880928386726,499.49381583208424,1.294277006588345], ["b2s4",9805549,597.6956166804154,598.2749140661484,-0.5792973857330708], ["b2s4",9805550,424.41591804685567,423.96889769299173,0.4470203538639339], ["b2s4",9805551,387.220525278198,386.27154114666536,0.9489841315326544], ["b2s4",9805552,484.589691361592,484.04697143837154,0.5427199232204316], ["b2s4",9805553,607.9667374766242,607.4627621263044,0.5039753503198199], ["b2s4",9805554,563.4703281225417,562.1376228839863,1.332705238555377], ["b2s4",9805555,449.72152602261576,449.4781721856369,0.24335383697888346], ["b2s4",9805556,488.3433318859259,488.2730368782891,0.07029500763684382], ["b2s4",9805557,474.391132121264,473.32824672614754,1.0628853951164388], ["b2s4",9805558,745.9591543960303,745.6151811348848,0.34397326114549287], ["b2s4",9805559,630.8627922028528,629.89522627697,0.9675659258828091], ["b2s4",9805560,538.727585680709,539.4447147267355,-0.7171290460264572], ["b2s4",9805561,471.22895161407695,470.675220453381,0.5537311606959747], ["b2s4",9805562,425.93359728979635,425.6295976542302,0.30399963556612875], ["b2s4",9805563,410.4235580138604,409.47829145534024,0.9452665585201316], ["b2s4",9805564,487.89730548491457,486.21260633189286,1.684699153021711], ["b2s4",9805565,686.7259998317702,686.6324259806509,0.09357385111934491], ["b2s4",9805566,537.0071048696054,536.6361014528256,0.37100341677978577], ["b2s4",9805567,540.215624203511,540.7349425421332,-0.51931833862227], ["b2s4",9805568,533.219690893583,532.732740348213,0.4869505453699503], ["b2s4",9805569,544.7157433265131,543.7608837781215,0.954859548391596], ["b2s4",9805570,431.3077921736831,430.4652703634192,0.842521810263861], ["b2s4",9805571,523.7654992207267,523.0456111219931,0.719888098733577], ["b2s4",9805572,653.8326145476011,652.3021375308884,1.5304770167126662], ["b2s4",9805573,482.423022362035,481.8496183743959,0.5734039876390966], ["b2s4",9805574,550.8111066452743,549.8707239135338,0.9403827317405558], ["b2s4",9805575,668.7821268216969,668.9380018170281,-0.15587499533114624], ["b2s4",9805576,605.014662349164,605.0416908767922,-0.027028527628203847], ["b2s4",9805577,626.6340088326228,627.1344026501927,-0.5003938175698295], ["b2s4",9805578,542.5448459919793,541.2973105824132,1.247535409566126], ["b2s4",9805579,709.8709118296154,709.9965750672313,-0.12566323761598142], ["b2s4",9805580,507.23634622028845,506.88348776892906,0.35285845135939553], ["b2s4",9805581,681.7955549362051,680.7802626631371,1.0152922730679848], ["b2s4",9805582,507.127230078585,506.5483414429853,0.5788886355996965], ["b2s4",9805583,444.931815076286,443.17298300143756,1.758832074848442], ["b2s4",9805584,743.9665817517091,744.6714116573319,-0.7048299056227734], ["b2s4",9805585,440.8503431783901,440.224512150045,0.6258310283451465], ["b2s4",9805586,567.730553771986,567.2297715448827,0.5007822271032865], ["b2s4",9805587,535.9562132298195,535.2942432292612,0.6619700005583127], ["b2s4",9805588,463.9674299302647,463.3266901152847,0.6407398149800088], ["b2s4",9805589,516.6552872896689,516.0298590086675,0.6254282810014047], ["b2s4",9805590,505.0339271399943,503.80679473021144,1.2271324097828824], ["b2s4",9805591,637.4606053327992,637.522658895439,-0.06205356263978956], ["b2s4",9805592,638.9558644863699,636.8277866720874,2.1280778142825056], ["b2s4",9805593,376.0141481816595,375.484412397122,0.529735784537479], ["b2s4",9805594,578.3209352967691,578.0164175459405,0.30451775082860877], ["b2s4",9805595,437.21336171080867,436.71358182664824,0.4997798841604322], ["b2s4",9805596,446.66867899091596,445.6644749110046,1.0042040799113465], ["b2s4",9805597,540.2850345335519,540.0768345664605,0.20819996709133193], ["b2s4",9805598,485.17971811317403,483.90502358787563,1.2746945252984005], ["b2s4",9805599,417.5411847428558,416.93935053584846,0.6018342070073572], ["b2s4",9805600,555.8234998296437,554.8518520630006,0.9716477666430592], ["b2s4",9805601,489.9338790177314,489.00126084555706,0.9326181721743296], ["b2s4",9805602,465.1736193524036,463.90338066832885,1.2702386840747408], ["b2s4",9805603,392.08790553208195,391.467258628409,0.6206469036729345], ["b2s4",9805604,434.88839875502066,434.0610965995092,0.827302155511461], ["b2s4",9805605,542.7501303775629,542.9157129945289,-0.1655826169660486], ["b2s4",9805606,588.3367631633411,587.6228884436196,0.7138747197215025], ["b2s4",9805607,575.9735949381956,576.199418937646,-0.22582399945042653], ["b2s4",9805608,593.8182553589821,592.2443937590652,1.5738615999168815], ["b2s4",9805609,499.8629537113258,498.93631515504376,0.9266385562820574], ["b2s4",9805610,612.1253698588249,611.0458053625887,1.0795644962362303], ["b2s4",9805611,659.9695826825937,659.5658238618562,0.4037588207374938], ["b2s4",9805612,622.6314619068029,620.9042574367428,1.7272044700600873], ["b2s4",9805613,540.7631199232944,540.3192513770301,0.44386854626429795], ["b2s4",9805614,645.7520111704204,645.544942008209,0.20706916221138272], ["b2s4",9805615,469.0376427592044,469.7038580832057,-0.666215324001314], ["b2s4",9805616,523.1064770542794,522.3621777265379,0.7442993277414871], ["b2s4",9805617,615.0754031066269,614.4173466820706,0.658056424556321], ["b2s4",9805618,467.7958592318551,467.0798745253627,0.7159847064924065], ["b2s4",9805619,515.5149756271202,513.7511500422341,1.7638255848860354] ] } ```