From 6022d2be05672cccaefc5e60f3beb77350fd6fe5 Mon Sep 17 00:00:00 2001 From: ellipsi2 Date: Tue, 13 Oct 2026 13:47:20 +0900 Subject: [PATCH 1/2] research: share JP8 cleanup coefficient preparation --- research/complex-jp8-cleanup-fusion/CLAIM.md | 69 + .../complex-jp8-cleanup-fusion/EXPECTED.json | 8059 +++++++++++++++++ research/complex-jp8-cleanup-fusion/README.md | 159 + research/complex-jp8-cleanup-fusion/REVIEW.md | 175 + .../SOURCE-PINS.json | 34 + .../complex-jp8-cleanup-fusion/VALIDATION.md | 29 + .../complex-jp8-cleanup-fusion/test_verify.py | 123 + research/complex-jp8-cleanup-fusion/verify.py | 409 + 8 files changed, 9057 insertions(+) create mode 100644 research/complex-jp8-cleanup-fusion/CLAIM.md create mode 100644 research/complex-jp8-cleanup-fusion/EXPECTED.json create mode 100644 research/complex-jp8-cleanup-fusion/README.md create mode 100644 research/complex-jp8-cleanup-fusion/REVIEW.md create mode 100644 research/complex-jp8-cleanup-fusion/SOURCE-PINS.json create mode 100644 research/complex-jp8-cleanup-fusion/VALIDATION.md create mode 100644 research/complex-jp8-cleanup-fusion/test_verify.py create mode 100644 research/complex-jp8-cleanup-fusion/verify.py diff --git a/research/complex-jp8-cleanup-fusion/CLAIM.md b/research/complex-jp8-cleanup-fusion/CLAIM.md new file mode 100644 index 0000000000..1d977914b1 --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/CLAIM.md @@ -0,0 +1,69 @@ +# Local sprint claim + +- Track: complex supplier; assignment seed **31**, drawn once with Python + `secrets.randbelow(100)` (operating-system randomness). +- Exact base: `66849e1475c930fd7732b1a0067ffee7e1e95f60`. +- Selected result at this base: #626/#622/#623 with #543, + `kappa = 51110230636731/31250000000000000`. Pending PR titles do not + supersede that record. +- Object: the selected JP8 canonical word's final scalar cleanup. Odd seed + selects JP8 rather than CK; no search over alternative suppliers. +- Hypothesis: commuting elementary additions can be fused or cancelled in + the fixed final cleanup without changing its arbitrary-dirt linear map, + recursive profile, helpers, source-access interface, or frame boundaries. +- Method: exact rational commutation identities, deterministic bounded + rewriting, full-column replay in both orientations, primitive-cost and + prefix-envelope checks, and controls that break dependency or restoration. +- Deliverable: one standalone finite circuit result (or an explicitly scoped + negative result), pinned inputs, executable checker, and exact evidence. + No new kappa is promised. +- Expected finish: 2026-10-13 14:05 Asia/Seoul (05:05 UTC). Implementation + stops by 13:55 for verification and handoff. + +Three narrow candidates were considered: + +1. Fixed-boundary B-phase frame optimization: declined because #698 already + exhausts the selected CK case; repeating the same method on a different + seed is insufficient novelty. +2. Raw coordinate-total factory resynthesis: declined because #681 already + supplies a verified finite local rewrite of that mechanism. +3. Selected JP8 final cleanup compaction: chosen. This changes scalar-word + dependencies in the restored cleanup, unlike #696's unchanged-macro + primitive lowering and #681's raw factory synthesis. Existing gate-move + and cold-end work is predecessor work, not claimed as new here. + +The central review ledger, selected construction/review, open PR bodies +(including #651, #679, #681, #683, #687, #696, #698), and open issues were +inspected. GitHub's pinned-issues query returned no entries; the sole open +issue was #650, concerning Discussions. No reservation issue was opened. +The claim is therefore recorded locally. Scope is restricted to this file +family; any delegated review must stay within it. + +Contributor: @ellipsi2, with substantial OpenAI Codex assistance in research, +implementation, mathematical checks, and writing. Apache-2.0. + +## Experiment update + +The complete initial scan found no same-edge addition before its first +noncommuting obstruction. The one evidence-driven pivot stays within the same +JP8 final cleanup: share the existing coefficient-work stream across contiguous +non-unit, equal-magnitude, common-source additions. The scalar word itself stays +unchanged. The new fanout block clears work at its boundary rather than after +each original scalar macro. The favorable budget was 999 forward blocks and +19,688 fewer real-component primitives; the exact finite checker confirms this. +The backward scan has zero eligible blocks. No kappa or global admission claim +is made. The completed search and verification are described in README.md. + +## Completed result and handoff + +The finite circuit contribution is complete: 999 forward blocks save 19,688 +real-component primitives, with unchanged exact dirty-register endpoints and +prefix envelopes in both orientations. See the [result and command](README.md), +[exact certificate](EXPECTED.json), and [validation record](VALIDATION.md). + +The final full-queue overlap refresh inspected 536 open PRs through #717. +#696 remains the closest related contribution, with a distinct individual-macro +lowering. New #708 and #710 concern F2 bit circuits, and #717 records format +limits; none supplies this JP8 shared-coefficient block. No pending patch is +imported. A refreshed fetch still resolves main to the exact original base. +No pinned coordination issue exists, so this completed claim stays local. diff --git a/research/complex-jp8-cleanup-fusion/EXPECTED.json b/research/complex-jp8-cleanup-fusion/EXPECTED.json new file mode 100644 index 0000000000..e0a200f74e --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/EXPECTED.json @@ -0,0 +1,8059 @@ +{ + "status": "PASS_JP8_SHARED_COEFFICIENT_CLEANUP", + "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60", + "assignment_seed": 31, + "scope": "finite primitive lowering; no new kappa", + "programs": { + "forward": { + "all_input_columns": 716, + "dirty_helpers": 492, + "scalar_macros": 22693, + "original_real_primitives": 257232, + "shared_real_primitives": 237544, + "saved_real_primitives": 19688, + "original_cleanup_real_primitives": 116176, + "shared_cleanup_real_primitives": 96488, + "prefix_l1": "4536094588619580433782972610869617/281474976710656", + "groups": [ + { + "cleanup_start": 206, + "length": 2, + "source": 552, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 213, + "length": 2, + "source": 554, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 219, + "length": 2, + "source": 564, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 222, + "length": 2, + "source": 566, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 225, + "length": 2, + "source": 575, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 228, + "length": 2, + "source": 577, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 239, + "length": 2, + "source": 488, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 273, + "length": 2, + "source": 536, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 276, + "length": 2, + "source": 537, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 286, + "length": 2, + "source": 555, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 352, + "length": 3, + "source": 633, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 356, + "length": 3, + "source": 634, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 360, + "length": 3, + "source": 635, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 369, + "length": 3, + "source": 641, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 373, + "length": 3, + "source": 642, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 377, + "length": 3, + "source": 643, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 386, + "length": 3, + "source": 649, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 390, + "length": 3, + "source": 650, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 394, + "length": 3, + "source": 651, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 403, + "length": 3, + "source": 657, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 407, + "length": 3, + "source": 658, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 411, + "length": 3, + "source": 659, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 550, + "length": 2, + "source": 341, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 558, + "length": 3, + "source": 343, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 566, + "length": 2, + "source": 357, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 569, + "length": 2, + "source": 357, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 573, + "length": 2, + "source": 359, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 610, + "length": 2, + "source": 242, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 631, + "length": 2, + "source": 252, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 645, + "length": 2, + "source": 268, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 676, + "length": 3, + "source": 225, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 692, + "length": 3, + "source": 229, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 718, + "length": 2, + "source": 321, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 724, + "length": 2, + "source": 321, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 742, + "length": 2, + "source": 373, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 745, + "length": 6, + "source": 375, + "abs_coefficient": "2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 757, + "length": 2, + "source": 433, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 759, + "length": 2, + "source": 433, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 762, + "length": 2, + "source": 433, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 773, + "length": 5, + "source": 567, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 783, + "length": 4, + "source": 576, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 791, + "length": 3, + "source": 586, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 798, + "length": 4, + "source": 588, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 814, + "length": 2, + "source": 258, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 820, + "length": 5, + "source": 264, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 828, + "length": 3, + "source": 310, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 835, + "length": 2, + "source": 310, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 841, + "length": 3, + "source": 311, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 848, + "length": 2, + "source": 325, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 853, + "length": 3, + "source": 325, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 859, + "length": 2, + "source": 327, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 870, + "length": 3, + "source": 437, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 881, + "length": 2, + "source": 111, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 884, + "length": 3, + "source": 572, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 897, + "length": 4, + "source": 389, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 903, + "length": 2, + "source": 391, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 911, + "length": 3, + "source": 578, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 915, + "length": 2, + "source": 578, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 919, + "length": 3, + "source": 226, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 924, + "length": 5, + "source": 226, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 936, + "length": 3, + "source": 406, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 942, + "length": 2, + "source": 406, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 951, + "length": 3, + "source": 412, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 960, + "length": 3, + "source": 587, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 969, + "length": 2, + "source": 294, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 979, + "length": 2, + "source": 294, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 985, + "length": 5, + "source": 295, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1002, + "length": 4, + "source": 306, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1012, + "length": 2, + "source": 434, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1017, + "length": 4, + "source": 434, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1033, + "length": 2, + "source": 81, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1041, + "length": 2, + "source": 81, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1044, + "length": 2, + "source": 57, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1047, + "length": 3, + "source": 57, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1063, + "length": 5, + "source": 0, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1081, + "length": 3, + "source": 369, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1087, + "length": 2, + "source": 376, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1100, + "length": 4, + "source": 585, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1115, + "length": 3, + "source": 274, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1119, + "length": 2, + "source": 274, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1122, + "length": 3, + "source": 280, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1134, + "length": 3, + "source": 290, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1138, + "length": 2, + "source": 290, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1141, + "length": 3, + "source": 290, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1145, + "length": 6, + "source": 296, + "abs_coefficient": "2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 1173, + "length": 3, + "source": 20, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1176, + "length": 5, + "source": 20, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 1190, + "length": 5, + "source": 36, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1207, + "length": 2, + "source": 278, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1215, + "length": 4, + "source": 278, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1220, + "length": 2, + "source": 279, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1223, + "length": 2, + "source": 279, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1226, + "length": 2, + "source": 279, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1238, + "length": 2, + "source": 436, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1263, + "length": 2, + "source": 337, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1266, + "length": 4, + "source": 337, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1272, + "length": 2, + "source": 344, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1289, + "length": 3, + "source": 385, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1293, + "length": 2, + "source": 385, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1298, + "length": 2, + "source": 392, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1305, + "length": 2, + "source": 428, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1314, + "length": 2, + "source": 428, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1318, + "length": 2, + "source": 428, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1324, + "length": 4, + "source": 422, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1329, + "length": 3, + "source": 422, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1341, + "length": 3, + "source": 228, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1366, + "length": 2, + "source": 238, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1378, + "length": 3, + "source": 403, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1384, + "length": 2, + "source": 403, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1390, + "length": 5, + "source": 403, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1416, + "length": 2, + "source": 419, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1420, + "length": 3, + "source": 419, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1441, + "length": 5, + "source": 273, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1448, + "length": 4, + "source": 273, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1462, + "length": 5, + "source": 285, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1480, + "length": 2, + "source": 289, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1484, + "length": 2, + "source": 289, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1487, + "length": 3, + "source": 289, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1490, + "length": 2, + "source": 289, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1502, + "length": 3, + "source": 301, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1510, + "length": 2, + "source": 241, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1512, + "length": 3, + "source": 241, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1515, + "length": 2, + "source": 241, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1517, + "length": 2, + "source": 241, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1520, + "length": 5, + "source": 241, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 1526, + "length": 3, + "source": 241, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1542, + "length": 2, + "source": 63, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1550, + "length": 2, + "source": 63, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1559, + "length": 7, + "source": 305, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 1566, + "length": 4, + "source": 305, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 1572, + "length": 4, + "source": 305, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1589, + "length": 3, + "source": 317, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1596, + "length": 2, + "source": 257, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1598, + "length": 2, + "source": 257, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1603, + "length": 5, + "source": 257, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 1608, + "length": 2, + "source": 257, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1611, + "length": 2, + "source": 257, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1615, + "length": 3, + "source": 257, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1630, + "length": 2, + "source": 260, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1633, + "length": 6, + "source": 260, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 1640, + "length": 11, + "source": 260, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 55, + "shared_primitives_per_component": 15 + }, + { + "cleanup_start": 1679, + "length": 3, + "source": 293, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1684, + "length": 4, + "source": 293, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1698, + "length": 2, + "source": 300, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1701, + "length": 4, + "source": 300, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1710, + "length": 2, + "source": 300, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1728, + "length": 3, + "source": 324, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1744, + "length": 2, + "source": 324, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1757, + "length": 2, + "source": 380, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1761, + "length": 2, + "source": 380, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1775, + "length": 4, + "source": 380, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1780, + "length": 2, + "source": 372, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1782, + "length": 2, + "source": 372, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1786, + "length": 2, + "source": 372, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1792, + "length": 4, + "source": 372, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1803, + "length": 3, + "source": 309, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1809, + "length": 2, + "source": 309, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1815, + "length": 2, + "source": 309, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1818, + "length": 2, + "source": 309, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1820, + "length": 2, + "source": 309, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1823, + "length": 3, + "source": 309, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1833, + "length": 2, + "source": 316, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1835, + "length": 2, + "source": 316, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1840, + "length": 2, + "source": 316, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1845, + "length": 2, + "source": 316, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1850, + "length": 4, + "source": 316, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 1866, + "length": 3, + "source": 308, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1870, + "length": 2, + "source": 308, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1873, + "length": 2, + "source": 308, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1878, + "length": 12, + "source": 308, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 60, + "shared_primitives_per_component": 16 + }, + { + "cleanup_start": 1913, + "length": 2, + "source": 340, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1922, + "length": 2, + "source": 340, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1926, + "length": 2, + "source": 340, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1935, + "length": 2, + "source": 340, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1937, + "length": 2, + "source": 340, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1944, + "length": 2, + "source": 348, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1946, + "length": 2, + "source": 348, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1949, + "length": 2, + "source": 348, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1953, + "length": 2, + "source": 348, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 1972, + "length": 2, + "source": 244, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 1974, + "length": 7, + "source": 244, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 2022, + "length": 2, + "source": 277, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2024, + "length": 3, + "source": 277, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2031, + "length": 2, + "source": 277, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2048, + "length": 2, + "source": 284, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2054, + "length": 2, + "source": 284, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2060, + "length": 2, + "source": 284, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2066, + "length": 2, + "source": 284, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2086, + "length": 2, + "source": 356, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2091, + "length": 2, + "source": 356, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2095, + "length": 2, + "source": 356, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2099, + "length": 3, + "source": 356, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2110, + "length": 2, + "source": 364, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2113, + "length": 4, + "source": 364, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2118, + "length": 2, + "source": 364, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2120, + "length": 2, + "source": 364, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2135, + "length": 5, + "source": 388, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2151, + "length": 3, + "source": 103, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2159, + "length": 2, + "source": 103, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2163, + "length": 6, + "source": 103, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2171, + "length": 6, + "source": 103, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2178, + "length": 4, + "source": 292, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2185, + "length": 6, + "source": 292, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2194, + "length": 3, + "source": 292, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2198, + "length": 9, + "source": 292, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 45, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 2211, + "length": 3, + "source": 102, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2227, + "length": 2, + "source": 401, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2230, + "length": 3, + "source": 401, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2244, + "length": 4, + "source": 401, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2250, + "length": 2, + "source": 401, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2256, + "length": 8, + "source": 401, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 2272, + "length": 2, + "source": 105, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2278, + "length": 6, + "source": 404, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2288, + "length": 7, + "source": 404, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 2298, + "length": 3, + "source": 404, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2304, + "length": 2, + "source": 404, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2315, + "length": 2, + "source": 414, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2327, + "length": 2, + "source": 61, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2329, + "length": 3, + "source": 61, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2333, + "length": 4, + "source": 61, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2347, + "length": 2, + "source": 61, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2357, + "length": 2, + "source": 61, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2363, + "length": 2, + "source": 72, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2366, + "length": 3, + "source": 72, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2370, + "length": 4, + "source": 72, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2376, + "length": 9, + "source": 72, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 45, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 2389, + "length": 4, + "source": 245, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2393, + "length": 2, + "source": 245, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2396, + "length": 2, + "source": 245, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2411, + "length": 2, + "source": 245, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2414, + "length": 2, + "source": 245, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2419, + "length": 2, + "source": 245, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2422, + "length": 3, + "source": 245, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2437, + "length": 2, + "source": 247, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2440, + "length": 2, + "source": 247, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2449, + "length": 2, + "source": 247, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2457, + "length": 2, + "source": 11, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2460, + "length": 5, + "source": 11, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2466, + "length": 2, + "source": 11, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2469, + "length": 6, + "source": 11, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2489, + "length": 2, + "source": 240, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2492, + "length": 3, + "source": 240, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2496, + "length": 3, + "source": 240, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2500, + "length": 6, + "source": 240, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2507, + "length": 2, + "source": 240, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2533, + "length": 8, + "source": 417, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 2550, + "length": 2, + "source": 417, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2559, + "length": 3, + "source": 417, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2563, + "length": 4, + "source": 417, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2579, + "length": 6, + "source": 420, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2589, + "length": 6, + "source": 420, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2598, + "length": 3, + "source": 420, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2602, + "length": 2, + "source": 420, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2633, + "length": 3, + "source": 261, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2637, + "length": 3, + "source": 261, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2645, + "length": 2, + "source": 261, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2650, + "length": 5, + "source": 261, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2679, + "length": 2, + "source": 263, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2687, + "length": 3, + "source": 263, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2691, + "length": 3, + "source": 263, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2695, + "length": 2, + "source": 263, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2697, + "length": 4, + "source": 263, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2709, + "length": 6, + "source": 94, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 2716, + "length": 2, + "source": 94, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2729, + "length": 2, + "source": 9, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2734, + "length": 2, + "source": 9, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2747, + "length": 5, + "source": 9, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2776, + "length": 3, + "source": 35, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2781, + "length": 2, + "source": 35, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2784, + "length": 2, + "source": 35, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2788, + "length": 2, + "source": 35, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2795, + "length": 2, + "source": 35, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2797, + "length": 5, + "source": 35, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2802, + "length": 2, + "source": 35, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2810, + "length": 7, + "source": 319, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 2821, + "length": 2, + "source": 319, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2824, + "length": 5, + "source": 319, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2840, + "length": 2, + "source": 85, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2849, + "length": 7, + "source": 315, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 2861, + "length": 2, + "source": 315, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2864, + "length": 5, + "source": 315, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2882, + "length": 2, + "source": 353, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2885, + "length": 2, + "source": 353, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2888, + "length": 4, + "source": 353, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2892, + "length": 2, + "source": 353, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2896, + "length": 2, + "source": 353, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2901, + "length": 2, + "source": 353, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2909, + "length": 2, + "source": 353, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2916, + "length": 3, + "source": 353, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2930, + "length": 2, + "source": 360, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2937, + "length": 2, + "source": 360, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2941, + "length": 2, + "source": 360, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2946, + "length": 2, + "source": 360, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 2949, + "length": 5, + "source": 360, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 2958, + "length": 2, + "source": 360, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 2972, + "length": 2, + "source": 18, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2976, + "length": 8, + "source": 18, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 2987, + "length": 2, + "source": 18, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 2990, + "length": 7, + "source": 18, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 3006, + "length": 5, + "source": 18, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3011, + "length": 2, + "source": 18, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3013, + "length": 2, + "source": 18, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3020, + "length": 3, + "source": 101, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3025, + "length": 6, + "source": 101, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 3035, + "length": 3, + "source": 101, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3039, + "length": 4, + "source": 101, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3063, + "length": 7, + "source": 78, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 3072, + "length": 3, + "source": 78, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3089, + "length": 4, + "source": 78, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3097, + "length": 3, + "source": 14, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3106, + "length": 5, + "source": 14, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3114, + "length": 10, + "source": 14, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 50, + "shared_primitives_per_component": 14 + }, + { + "cleanup_start": 3130, + "length": 2, + "source": 14, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3134, + "length": 5, + "source": 14, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3148, + "length": 2, + "source": 14, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3160, + "length": 2, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3164, + "length": 2, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3167, + "length": 3, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3171, + "length": 6, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 3178, + "length": 7, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 3197, + "length": 2, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3200, + "length": 4, + "source": 16, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3208, + "length": 3, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3212, + "length": 4, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3217, + "length": 5, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3223, + "length": 13, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 65, + "shared_primitives_per_component": 17 + }, + { + "cleanup_start": 3245, + "length": 3, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3249, + "length": 5, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3263, + "length": 2, + "source": 42, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3274, + "length": 2, + "source": 416, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3279, + "length": 4, + "source": 416, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3298, + "length": 2, + "source": 416, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3303, + "length": 4, + "source": 416, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3318, + "length": 2, + "source": 416, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3327, + "length": 2, + "source": 421, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3332, + "length": 4, + "source": 421, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3338, + "length": 8, + "source": 421, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 3353, + "length": 2, + "source": 421, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3358, + "length": 2, + "source": 421, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3372, + "length": 2, + "source": 421, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3377, + "length": 2, + "source": 423, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3380, + "length": 3, + "source": 423, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3385, + "length": 2, + "source": 423, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3387, + "length": 2, + "source": 423, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3389, + "length": 2, + "source": 423, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3391, + "length": 2, + "source": 423, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3398, + "length": 2, + "source": 104, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3414, + "length": 2, + "source": 104, + "abs_coefficient": "3/4", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3420, + "length": 4, + "source": 104, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3424, + "length": 2, + "source": 104, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3428, + "length": 3, + "source": 104, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3437, + "length": 2, + "source": 104, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3441, + "length": 3, + "source": 104, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3457, + "length": 2, + "source": 43, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3463, + "length": 2, + "source": 43, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3465, + "length": 2, + "source": 43, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3468, + "length": 2, + "source": 43, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3478, + "length": 2, + "source": 43, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3480, + "length": 4, + "source": 43, + "abs_coefficient": "4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3487, + "length": 4, + "source": 43, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3492, + "length": 2, + "source": 418, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3494, + "length": 3, + "source": 418, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3497, + "length": 5, + "source": 418, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 3504, + "length": 2, + "source": 418, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3506, + "length": 2, + "source": 418, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3509, + "length": 7, + "source": 418, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 3516, + "length": 2, + "source": 418, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3520, + "length": 6, + "source": 51, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 3528, + "length": 2, + "source": 51, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3581, + "length": 2, + "source": 39, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3585, + "length": 4, + "source": 39, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3596, + "length": 2, + "source": 39, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3602, + "length": 4, + "source": 39, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3625, + "length": 5, + "source": 303, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3635, + "length": 2, + "source": 303, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3638, + "length": 4, + "source": 303, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3650, + "length": 5, + "source": 299, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3661, + "length": 2, + "source": 299, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3664, + "length": 4, + "source": 299, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3670, + "length": 3, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3678, + "length": 2, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3681, + "length": 4, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3689, + "length": 2, + "source": 288, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3699, + "length": 2, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3702, + "length": 2, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3705, + "length": 2, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3709, + "length": 3, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3714, + "length": 2, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3717, + "length": 2, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3723, + "length": 3, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3731, + "length": 3, + "source": 288, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3748, + "length": 3, + "source": 400, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3758, + "length": 2, + "source": 400, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3761, + "length": 2, + "source": 400, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3772, + "length": 2, + "source": 400, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3777, + "length": 3, + "source": 400, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3786, + "length": 2, + "source": 400, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3788, + "length": 2, + "source": 400, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3794, + "length": 3, + "source": 400, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3800, + "length": 2, + "source": 400, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3803, + "length": 2, + "source": 400, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3808, + "length": 3, + "source": 407, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3814, + "length": 5, + "source": 407, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3822, + "length": 10, + "source": 407, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 50, + "shared_primitives_per_component": 14 + }, + { + "cleanup_start": 3837, + "length": 2, + "source": 407, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3840, + "length": 5, + "source": 407, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3854, + "length": 2, + "source": 407, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3875, + "length": 2, + "source": 405, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3882, + "length": 5, + "source": 405, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 3888, + "length": 2, + "source": 405, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3901, + "length": 2, + "source": 106, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3908, + "length": 3, + "source": 106, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3914, + "length": 6, + "source": 106, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 36, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 3924, + "length": 2, + "source": 106, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3930, + "length": 2, + "source": 106, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3933, + "length": 2, + "source": 106, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3938, + "length": 2, + "source": 106, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3940, + "length": 2, + "source": 106, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3945, + "length": 2, + "source": 106, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3960, + "length": 4, + "source": 41, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 3976, + "length": 2, + "source": 41, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3978, + "length": 2, + "source": 41, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3982, + "length": 2, + "source": 41, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3985, + "length": 2, + "source": 41, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3987, + "length": 2, + "source": 41, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 3993, + "length": 2, + "source": 402, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 3999, + "length": 2, + "source": 402, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4002, + "length": 4, + "source": 402, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4006, + "length": 4, + "source": 402, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4010, + "length": 2, + "source": 402, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4013, + "length": 2, + "source": 402, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4015, + "length": 2, + "source": 402, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4020, + "length": 6, + "source": 53, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4028, + "length": 2, + "source": 53, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4041, + "length": 2, + "source": 15, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4048, + "length": 2, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4063, + "length": 2, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4066, + "length": 5, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4073, + "length": 2, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4085, + "length": 3, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4089, + "length": 2, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4092, + "length": 2, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4108, + "length": 4, + "source": 276, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4124, + "length": 2, + "source": 56, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4131, + "length": 2, + "source": 56, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4144, + "length": 5, + "source": 12, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 4154, + "length": 2, + "source": 12, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4159, + "length": 2, + "source": 12, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4169, + "length": 2, + "source": 283, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4172, + "length": 2, + "source": 283, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4175, + "length": 2, + "source": 283, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4177, + "length": 2, + "source": 283, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4187, + "length": 6, + "source": 283, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4194, + "length": 3, + "source": 283, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4201, + "length": 3, + "source": 283, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4206, + "length": 2, + "source": 283, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4214, + "length": 2, + "source": 77, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4219, + "length": 5, + "source": 77, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4228, + "length": 2, + "source": 77, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4231, + "length": 5, + "source": 77, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4241, + "length": 6, + "source": 17, + "abs_coefficient": "2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4253, + "length": 2, + "source": 272, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4258, + "length": 5, + "source": 272, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4266, + "length": 6, + "source": 272, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4287, + "length": 2, + "source": 107, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4293, + "length": 6, + "source": 107, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4305, + "length": 2, + "source": 107, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4308, + "length": 3, + "source": 107, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4316, + "length": 2, + "source": 107, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4318, + "length": 2, + "source": 107, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4333, + "length": 3, + "source": 107, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4342, + "length": 3, + "source": 98, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4347, + "length": 6, + "source": 98, + "abs_coefficient": "2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4358, + "length": 2, + "source": 45, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4366, + "length": 6, + "source": 45, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4378, + "length": 2, + "source": 45, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4381, + "length": 3, + "source": 45, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4389, + "length": 2, + "source": 45, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4391, + "length": 2, + "source": 45, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4406, + "length": 3, + "source": 45, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4411, + "length": 5, + "source": 304, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4419, + "length": 3, + "source": 304, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4429, + "length": 5, + "source": 304, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4437, + "length": 2, + "source": 304, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4443, + "length": 2, + "source": 304, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4452, + "length": 3, + "source": 304, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4461, + "length": 5, + "source": 48, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4467, + "length": 4, + "source": 97, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4473, + "length": 3, + "source": 97, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4477, + "length": 9, + "source": 97, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 54, + "shared_primitives_per_component": 14 + }, + { + "cleanup_start": 4489, + "length": 7, + "source": 97, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 4498, + "length": 5, + "source": 97, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4509, + "length": 2, + "source": 97, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4513, + "length": 3, + "source": 97, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4517, + "length": 2, + "source": 97, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4527, + "length": 2, + "source": 97, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4532, + "length": 2, + "source": 97, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4534, + "length": 2, + "source": 386, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4542, + "length": 5, + "source": 386, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4548, + "length": 6, + "source": 386, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4556, + "length": 2, + "source": 386, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4560, + "length": 2, + "source": 386, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4580, + "length": 2, + "source": 5, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4583, + "length": 4, + "source": 5, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4598, + "length": 7, + "source": 65, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 4608, + "length": 2, + "source": 65, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4615, + "length": 2, + "source": 65, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4617, + "length": 3, + "source": 65, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4624, + "length": 3, + "source": 65, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4633, + "length": 2, + "source": 65, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4636, + "length": 3, + "source": 65, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4641, + "length": 2, + "source": 65, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4648, + "length": 2, + "source": 65, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4651, + "length": 2, + "source": 384, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4655, + "length": 2, + "source": 384, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4668, + "length": 2, + "source": 384, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4673, + "length": 3, + "source": 384, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4677, + "length": 6, + "source": 384, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4686, + "length": 2, + "source": 384, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4688, + "length": 3, + "source": 384, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4695, + "length": 2, + "source": 384, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4698, + "length": 2, + "source": 384, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4707, + "length": 2, + "source": 384, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4717, + "length": 2, + "source": 96, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4720, + "length": 5, + "source": 96, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4726, + "length": 7, + "source": 96, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 4736, + "length": 2, + "source": 96, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4759, + "length": 2, + "source": 64, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4776, + "length": 5, + "source": 64, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4781, + "length": 2, + "source": 64, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4783, + "length": 2, + "source": 64, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4793, + "length": 5, + "source": 64, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4799, + "length": 2, + "source": 64, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4802, + "length": 3, + "source": 64, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4809, + "length": 2, + "source": 64, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4812, + "length": 2, + "source": 64, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4817, + "length": 2, + "source": 399, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4837, + "length": 2, + "source": 395, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4859, + "length": 4, + "source": 109, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4866, + "length": 3, + "source": 109, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4882, + "length": 3, + "source": 109, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4885, + "length": 2, + "source": 109, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4888, + "length": 6, + "source": 109, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 36, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 4894, + "length": 2, + "source": 109, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4896, + "length": 2, + "source": 109, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 4899, + "length": 7, + "source": 109, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 4908, + "length": 5, + "source": 109, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 4919, + "length": 2, + "source": 109, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 4923, + "length": 2, + "source": 109, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4925, + "length": 2, + "source": 322, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4933, + "length": 6, + "source": 322, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4943, + "length": 7, + "source": 322, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 4952, + "length": 2, + "source": 322, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4963, + "length": 6, + "source": 34, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 4971, + "length": 2, + "source": 34, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4974, + "length": 2, + "source": 23, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4984, + "length": 2, + "source": 23, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 4993, + "length": 7, + "source": 23, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5009, + "length": 2, + "source": 23, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5011, + "length": 2, + "source": 23, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5018, + "length": 6, + "source": 23, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5024, + "length": 2, + "source": 49, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5030, + "length": 3, + "source": 49, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5033, + "length": 2, + "source": 49, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5035, + "length": 6, + "source": 49, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5050, + "length": 2, + "source": 49, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5052, + "length": 2, + "source": 49, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5059, + "length": 3, + "source": 49, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5067, + "length": 2, + "source": 49, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5073, + "length": 7, + "source": 49, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5089, + "length": 4, + "source": 320, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5099, + "length": 2, + "source": 320, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5105, + "length": 7, + "source": 320, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5114, + "length": 2, + "source": 320, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5117, + "length": 6, + "source": 320, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5130, + "length": 4, + "source": 320, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5136, + "length": 2, + "source": 320, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5150, + "length": 3, + "source": 108, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5154, + "length": 4, + "source": 108, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5161, + "length": 6, + "source": 108, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5170, + "length": 3, + "source": 108, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5206, + "length": 2, + "source": 22, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5211, + "length": 2, + "source": 22, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5213, + "length": 2, + "source": 22, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5215, + "length": 2, + "source": 22, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5230, + "length": 2, + "source": 22, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5246, + "length": 2, + "source": 335, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5266, + "length": 2, + "source": 331, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5290, + "length": 2, + "source": 390, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5299, + "length": 7, + "source": 390, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5312, + "length": 6, + "source": 390, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5321, + "length": 5, + "source": 390, + "abs_coefficient": "4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5331, + "length": 3, + "source": 390, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5348, + "length": 2, + "source": 390, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5351, + "length": 5, + "source": 390, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5360, + "length": 2, + "source": 390, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5363, + "length": 2, + "source": 397, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5365, + "length": 2, + "source": 397, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5371, + "length": 6, + "source": 397, + "abs_coefficient": "8", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 5378, + "length": 2, + "source": 397, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5390, + "length": 5, + "source": 397, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5395, + "length": 2, + "source": 397, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5399, + "length": 2, + "source": 397, + "abs_coefficient": "11", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5401, + "length": 2, + "source": 397, + "abs_coefficient": "5", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5409, + "length": 3, + "source": 397, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5413, + "length": 2, + "source": 397, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5416, + "length": 5, + "source": 397, + "abs_coefficient": "4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5427, + "length": 2, + "source": 326, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5432, + "length": 2, + "source": 326, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5442, + "length": 5, + "source": 326, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5448, + "length": 2, + "source": 326, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5452, + "length": 5, + "source": 326, + "abs_coefficient": "4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5457, + "length": 4, + "source": 326, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5463, + "length": 2, + "source": 326, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5474, + "length": 2, + "source": 326, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5489, + "length": 3, + "source": 326, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5493, + "length": 2, + "source": 326, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5499, + "length": 2, + "source": 326, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5501, + "length": 2, + "source": 326, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5509, + "length": 2, + "source": 333, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5515, + "length": 7, + "source": 333, + "abs_coefficient": "8", + "reference_primitives_per_component": 49, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 5533, + "length": 5, + "source": 333, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5538, + "length": 2, + "source": 333, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5542, + "length": 2, + "source": 333, + "abs_coefficient": "11", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5544, + "length": 2, + "source": 333, + "abs_coefficient": "5", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5554, + "length": 3, + "source": 333, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5558, + "length": 2, + "source": 333, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5561, + "length": 2, + "source": 333, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5568, + "length": 2, + "source": 4, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5577, + "length": 3, + "source": 4, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5581, + "length": 3, + "source": 4, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5586, + "length": 6, + "source": 4, + "abs_coefficient": "4", + "reference_primitives_per_component": 36, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5596, + "length": 7, + "source": 4, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5610, + "length": 2, + "source": 4, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5624, + "length": 2, + "source": 4, + "abs_coefficient": "3/4", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5630, + "length": 2, + "source": 4, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5633, + "length": 5, + "source": 4, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5641, + "length": 2, + "source": 4, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5644, + "length": 2, + "source": 68, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5646, + "length": 2, + "source": 68, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5657, + "length": 5, + "source": 68, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5663, + "length": 2, + "source": 68, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5679, + "length": 5, + "source": 68, + "abs_coefficient": "8", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 5684, + "length": 2, + "source": 68, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5687, + "length": 2, + "source": 68, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5689, + "length": 2, + "source": 68, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5702, + "length": 2, + "source": 68, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5705, + "length": 3, + "source": 68, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5709, + "length": 2, + "source": 68, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5712, + "length": 5, + "source": 68, + "abs_coefficient": "4", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 5727, + "length": 2, + "source": 334, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5739, + "length": 5, + "source": 334, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5748, + "length": 7, + "source": 334, + "abs_coefficient": "8", + "reference_primitives_per_component": 49, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 5766, + "length": 2, + "source": 334, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5771, + "length": 2, + "source": 334, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5773, + "length": 2, + "source": 334, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5786, + "length": 2, + "source": 334, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5792, + "length": 2, + "source": 334, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5803, + "length": 2, + "source": 398, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5805, + "length": 2, + "source": 398, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5814, + "length": 2, + "source": 398, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5817, + "length": 4, + "source": 398, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5823, + "length": 7, + "source": 398, + "abs_coefficient": "8", + "reference_primitives_per_component": 49, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 5843, + "length": 2, + "source": 398, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5847, + "length": 3, + "source": 398, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5850, + "length": 2, + "source": 398, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5863, + "length": 3, + "source": 398, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5869, + "length": 2, + "source": 398, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5872, + "length": 3, + "source": 398, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 5889, + "length": 2, + "source": 323, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5901, + "length": 5, + "source": 323, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 5910, + "length": 7, + "source": 323, + "abs_coefficient": "8", + "reference_primitives_per_component": 49, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 5928, + "length": 2, + "source": 323, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5933, + "length": 2, + "source": 323, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5935, + "length": 2, + "source": 323, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5947, + "length": 2, + "source": 323, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5954, + "length": 2, + "source": 323, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5972, + "length": 3, + "source": 50, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 5980, + "length": 2, + "source": 50, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5989, + "length": 2, + "source": 50, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5994, + "length": 2, + "source": 387, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 5996, + "length": 2, + "source": 387, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6005, + "length": 2, + "source": 387, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6008, + "length": 4, + "source": 387, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6014, + "length": 7, + "source": 387, + "abs_coefficient": "8", + "reference_primitives_per_component": 49, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 6034, + "length": 2, + "source": 387, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6038, + "length": 3, + "source": 387, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6041, + "length": 2, + "source": 387, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6053, + "length": 4, + "source": 387, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6061, + "length": 2, + "source": 387, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6064, + "length": 3, + "source": 387, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6080, + "length": 3, + "source": 69, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6084, + "length": 2, + "source": 69, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6095, + "length": 2, + "source": 69, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6111, + "length": 5, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6120, + "length": 2, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6122, + "length": 2, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6131, + "length": 4, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6135, + "length": 2, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6141, + "length": 2, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6143, + "length": 10, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 60, + "shared_primitives_per_component": 15 + }, + { + "cleanup_start": 6154, + "length": 4, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6158, + "length": 3, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6163, + "length": 3, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6168, + "length": 2, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6171, + "length": 3, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6179, + "length": 3, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6188, + "length": 3, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6199, + "length": 2, + "source": 336, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6206, + "length": 2, + "source": 336, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6223, + "length": 2, + "source": 28, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6228, + "length": 3, + "source": 93, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6234, + "length": 7, + "source": 93, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 6244, + "length": 5, + "source": 93, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6251, + "length": 4, + "source": 93, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6278, + "length": 4, + "source": 347, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6291, + "length": 6, + "source": 338, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 6299, + "length": 5, + "source": 338, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6306, + "length": 2, + "source": 338, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6318, + "length": 6, + "source": 82, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 6342, + "length": 5, + "source": 342, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6348, + "length": 2, + "source": 342, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6360, + "length": 2, + "source": 342, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6367, + "length": 2, + "source": 342, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6393, + "length": 2, + "source": 349, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6408, + "length": 7, + "source": 349, + "abs_coefficient": "2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 6435, + "length": 3, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6439, + "length": 7, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 6457, + "length": 4, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6464, + "length": 3, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6467, + "length": 2, + "source": 339, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6483, + "length": 3, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6487, + "length": 3, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6492, + "length": 3, + "source": 339, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6495, + "length": 3, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6498, + "length": 4, + "source": 339, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6503, + "length": 3, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6507, + "length": 2, + "source": 339, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6517, + "length": 2, + "source": 350, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6531, + "length": 2, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6536, + "length": 2, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6540, + "length": 6, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 6547, + "length": 8, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 6566, + "length": 2, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6568, + "length": 5, + "source": 86, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 6579, + "length": 2, + "source": 86, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6592, + "length": 2, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6595, + "length": 2, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6599, + "length": 3, + "source": 86, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6602, + "length": 3, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6605, + "length": 3, + "source": 86, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6609, + "length": 2, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6612, + "length": 3, + "source": 86, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6619, + "length": 2, + "source": 58, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6633, + "length": 2, + "source": 58, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6636, + "length": 3, + "source": 58, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6653, + "length": 2, + "source": 58, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6655, + "length": 2, + "source": 58, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6673, + "length": 3, + "source": 58, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6679, + "length": 3, + "source": 58, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6706, + "length": 3, + "source": 66, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6723, + "length": 2, + "source": 66, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6734, + "length": 4, + "source": 66, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6743, + "length": 6, + "source": 66, + "abs_coefficient": "1/4", + "reference_primitives_per_component": 36, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 6752, + "length": 3, + "source": 66, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6756, + "length": 2, + "source": 66, + "abs_coefficient": "5", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6758, + "length": 3, + "source": 66, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6763, + "length": 2, + "source": 66, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6767, + "length": 3, + "source": 66, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6776, + "length": 2, + "source": 66, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6792, + "length": 2, + "source": 66, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6795, + "length": 2, + "source": 66, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6797, + "length": 3, + "source": 66, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6801, + "length": 3, + "source": 66, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6806, + "length": 2, + "source": 66, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6811, + "length": 2, + "source": 66, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6813, + "length": 3, + "source": 66, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6816, + "length": 2, + "source": 370, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6822, + "length": 2, + "source": 370, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6825, + "length": 5, + "source": 370, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6831, + "length": 4, + "source": 370, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6836, + "length": 2, + "source": 370, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6840, + "length": 2, + "source": 370, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6852, + "length": 6, + "source": 67, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 6867, + "length": 3, + "source": 26, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6875, + "length": 3, + "source": 26, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6880, + "length": 6, + "source": 26, + "abs_coefficient": "4", + "reference_primitives_per_component": 36, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 6888, + "length": 2, + "source": 26, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6891, + "length": 6, + "source": 26, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 6900, + "length": 3, + "source": 26, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6904, + "length": 2, + "source": 26, + "abs_coefficient": "10", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6906, + "length": 3, + "source": 26, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6910, + "length": 2, + "source": 26, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6913, + "length": 2, + "source": 26, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6917, + "length": 2, + "source": 26, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6928, + "length": 2, + "source": 26, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6930, + "length": 2, + "source": 26, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6946, + "length": 2, + "source": 26, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 6950, + "length": 2, + "source": 26, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6952, + "length": 3, + "source": 26, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6956, + "length": 3, + "source": 26, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 6963, + "length": 2, + "source": 26, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 6966, + "length": 2, + "source": 26, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 6968, + "length": 3, + "source": 26, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 6973, + "length": 3, + "source": 368, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7009, + "length": 4, + "source": 368, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7022, + "length": 2, + "source": 368, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7027, + "length": 3, + "source": 368, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7033, + "length": 2, + "source": 368, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7036, + "length": 2, + "source": 368, + "abs_coefficient": "10", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7038, + "length": 3, + "source": 368, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7042, + "length": 2, + "source": 368, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7047, + "length": 3, + "source": 368, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7052, + "length": 2, + "source": 368, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7055, + "length": 2, + "source": 368, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7057, + "length": 2, + "source": 368, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7066, + "length": 3, + "source": 368, + "abs_coefficient": "2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7071, + "length": 2, + "source": 368, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7088, + "length": 9, + "source": 8, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 45, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 7098, + "length": 3, + "source": 8, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7104, + "length": 2, + "source": 8, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7126, + "length": 3, + "source": 95, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7133, + "length": 2, + "source": 95, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7140, + "length": 5, + "source": 95, + "abs_coefficient": "8", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7146, + "length": 2, + "source": 95, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7159, + "length": 3, + "source": 95, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7163, + "length": 2, + "source": 95, + "abs_coefficient": "20", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7165, + "length": 3, + "source": 95, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7172, + "length": 2, + "source": 95, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7176, + "length": 3, + "source": 95, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7187, + "length": 2, + "source": 95, + "abs_coefficient": "3", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7194, + "length": 2, + "source": 95, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7205, + "length": 2, + "source": 95, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7211, + "length": 3, + "source": 95, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7215, + "length": 3, + "source": 95, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7218, + "length": 2, + "source": 95, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7222, + "length": 2, + "source": 95, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7227, + "length": 4, + "source": 95, + "abs_coefficient": "16", + "reference_primitives_per_component": 32, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7276, + "length": 3, + "source": 374, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7289, + "length": 2, + "source": 374, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7295, + "length": 2, + "source": 374, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7297, + "length": 3, + "source": 374, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7305, + "length": 7, + "source": 374, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 35, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7315, + "length": 3, + "source": 374, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7319, + "length": 2, + "source": 374, + "abs_coefficient": "10", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7321, + "length": 3, + "source": 374, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7326, + "length": 2, + "source": 374, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7330, + "length": 3, + "source": 374, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7356, + "length": 2, + "source": 374, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7361, + "length": 3, + "source": 374, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7365, + "length": 3, + "source": 374, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7370, + "length": 2, + "source": 374, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7373, + "length": 2, + "source": 374, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7375, + "length": 3, + "source": 374, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7380, + "length": 3, + "source": 381, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7387, + "length": 3, + "source": 381, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7395, + "length": 7, + "source": 381, + "abs_coefficient": "8", + "reference_primitives_per_component": 49, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 7402, + "length": 3, + "source": 381, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7415, + "length": 3, + "source": 381, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7419, + "length": 2, + "source": 381, + "abs_coefficient": "20", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7421, + "length": 3, + "source": 381, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7427, + "length": 2, + "source": 381, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7431, + "length": 3, + "source": 381, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7447, + "length": 2, + "source": 381, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7457, + "length": 2, + "source": 381, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7461, + "length": 3, + "source": 381, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7465, + "length": 3, + "source": 381, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7470, + "length": 2, + "source": 381, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7475, + "length": 3, + "source": 381, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7480, + "length": 3, + "source": 88, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7510, + "length": 6, + "source": 88, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7519, + "length": 3, + "source": 88, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7523, + "length": 2, + "source": 88, + "abs_coefficient": "10", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7525, + "length": 3, + "source": 88, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7530, + "length": 2, + "source": 88, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7534, + "length": 3, + "source": 88, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7562, + "length": 2, + "source": 88, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 7566, + "length": 3, + "source": 88, + "abs_coefficient": "4", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7570, + "length": 3, + "source": 88, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7575, + "length": 2, + "source": 88, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7578, + "length": 2, + "source": 88, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7580, + "length": 3, + "source": 88, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7585, + "length": 3, + "source": 80, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7589, + "length": 2, + "source": 80, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7610, + "length": 2, + "source": 80, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7626, + "length": 3, + "source": 80, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7630, + "length": 2, + "source": 80, + "abs_coefficient": "20", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7632, + "length": 3, + "source": 80, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7637, + "length": 2, + "source": 80, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7641, + "length": 2, + "source": 80, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7646, + "length": 2, + "source": 80, + "abs_coefficient": "5/2", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7655, + "length": 2, + "source": 80, + "abs_coefficient": "3/2", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7669, + "length": 2, + "source": 80, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7673, + "length": 3, + "source": 80, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7677, + "length": 3, + "source": 80, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7682, + "length": 2, + "source": 80, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7687, + "length": 3, + "source": 80, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7692, + "length": 3, + "source": 382, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7714, + "length": 2, + "source": 382, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7716, + "length": 2, + "source": 382, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7732, + "length": 3, + "source": 382, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7736, + "length": 2, + "source": 382, + "abs_coefficient": "20", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7738, + "length": 3, + "source": 382, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7742, + "length": 2, + "source": 382, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7745, + "length": 2, + "source": 382, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7749, + "length": 2, + "source": 382, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7762, + "length": 2, + "source": 382, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7777, + "length": 2, + "source": 382, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7782, + "length": 3, + "source": 382, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7786, + "length": 3, + "source": 382, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7793, + "length": 5, + "source": 382, + "abs_coefficient": "16", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 7800, + "length": 3, + "source": 371, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7822, + "length": 2, + "source": 371, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7824, + "length": 2, + "source": 371, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7840, + "length": 3, + "source": 371, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7844, + "length": 2, + "source": 371, + "abs_coefficient": "20", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7846, + "length": 3, + "source": 371, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7850, + "length": 2, + "source": 371, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7853, + "length": 2, + "source": 371, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7857, + "length": 2, + "source": 371, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7870, + "length": 2, + "source": 371, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 7887, + "length": 2, + "source": 371, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7893, + "length": 3, + "source": 371, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7897, + "length": 3, + "source": 371, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7904, + "length": 2, + "source": 371, + "abs_coefficient": "16", + "reference_primitives_per_component": 16, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7909, + "length": 3, + "source": 371, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7914, + "length": 3, + "source": 3, + "abs_coefficient": "16", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7952, + "length": 3, + "source": 3, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7956, + "length": 2, + "source": 3, + "abs_coefficient": "20", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7958, + "length": 3, + "source": 3, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 7963, + "length": 2, + "source": 3, + "abs_coefficient": "32", + "reference_primitives_per_component": 18, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 7967, + "length": 3, + "source": 3, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 7994, + "length": 2, + "source": 3, + "abs_coefficient": "8", + "reference_primitives_per_component": 14, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 7997, + "length": 3, + "source": 3, + "abs_coefficient": "8", + "reference_primitives_per_component": 21, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 8001, + "length": 3, + "source": 3, + "abs_coefficient": "32", + "reference_primitives_per_component": 27, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 8006, + "length": 5, + "source": 3, + "abs_coefficient": "16", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 8017, + "length": 3, + "source": 352, + "abs_coefficient": "1048576", + "reference_primitives_per_component": 72, + "shared_primitives_per_component": 26 + }, + { + "cleanup_start": 8032, + "length": 2, + "source": 352, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8060, + "length": 2, + "source": 352, + "abs_coefficient": "14336", + "reference_primitives_per_component": 38, + "shared_primitives_per_component": 20 + }, + { + "cleanup_start": 8075, + "length": 2, + "source": 352, + "abs_coefficient": "262145/4", + "reference_primitives_per_component": 50, + "shared_primitives_per_component": 26 + }, + { + "cleanup_start": 8082, + "length": 2, + "source": 352, + "abs_coefficient": "8191/2", + "reference_primitives_per_component": 58, + "shared_primitives_per_component": 30 + }, + { + "cleanup_start": 8094, + "length": 2, + "source": 352, + "abs_coefficient": "1318904", + "reference_primitives_per_component": 70, + "shared_primitives_per_component": 36 + }, + { + "cleanup_start": 8125, + "length": 2, + "source": 352, + "abs_coefficient": "256", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 8140, + "length": 2, + "source": 352, + "abs_coefficient": "4096", + "reference_primitives_per_component": 32, + "shared_primitives_per_component": 17 + }, + { + "cleanup_start": 8155, + "length": 2, + "source": 352, + "abs_coefficient": "65536", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 21 + }, + { + "cleanup_start": 8164, + "length": 2, + "source": 352, + "abs_coefficient": "131072", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 22 + }, + { + "cleanup_start": 8184, + "length": 2, + "source": 352, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8201, + "length": 2, + "source": 352, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8209, + "length": 2, + "source": 352, + "abs_coefficient": "65536", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 21 + }, + { + "cleanup_start": 8231, + "length": 2, + "source": 352, + "abs_coefficient": "2097153/2", + "reference_primitives_per_component": 54, + "shared_primitives_per_component": 28 + }, + { + "cleanup_start": 8240, + "length": 2, + "source": 352, + "abs_coefficient": "65536", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 21 + }, + { + "cleanup_start": 8243, + "length": 3, + "source": 352, + "abs_coefficient": "64", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 8247, + "length": 3, + "source": 352, + "abs_coefficient": "1044480", + "reference_primitives_per_component": 90, + "shared_primitives_per_component": 32 + }, + { + "cleanup_start": 8251, + "length": 3, + "source": 352, + "abs_coefficient": "512", + "reference_primitives_per_component": 39, + "shared_primitives_per_component": 15 + }, + { + "cleanup_start": 8263, + "length": 2, + "source": 60, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8271, + "length": 9, + "source": 59, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 45, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 8283, + "length": 5, + "source": 59, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 8290, + "length": 4, + "source": 59, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 8312, + "length": 5, + "source": 363, + "abs_coefficient": "2", + "reference_primitives_per_component": 25, + "shared_primitives_per_component": 9 + }, + { + "cleanup_start": 8326, + "length": 3, + "source": 354, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 8330, + "length": 4, + "source": 354, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 8335, + "length": 4, + "source": 354, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 8351, + "length": 3, + "source": 73, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 8355, + "length": 3, + "source": 73, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 8360, + "length": 2, + "source": 358, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8367, + "length": 3, + "source": 358, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 15, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 8371, + "length": 4, + "source": 358, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 8386, + "length": 2, + "source": 358, + "abs_coefficient": "1/2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8415, + "length": 2, + "source": 365, + "abs_coefficient": "4", + "reference_primitives_per_component": 12, + "shared_primitives_per_component": 7 + }, + { + "cleanup_start": 8430, + "length": 8, + "source": 365, + "abs_coefficient": "2", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 8460, + "length": 3, + "source": 30, + "abs_coefficient": "2097152", + "reference_primitives_per_component": 75, + "shared_primitives_per_component": 27 + }, + { + "cleanup_start": 8519, + "length": 2, + "source": 30, + "abs_coefficient": "262145/2", + "reference_primitives_per_component": 48, + "shared_primitives_per_component": 25 + }, + { + "cleanup_start": 8536, + "length": 2, + "source": 30, + "abs_coefficient": "2637808", + "reference_primitives_per_component": 72, + "shared_primitives_per_component": 37 + }, + { + "cleanup_start": 8568, + "length": 2, + "source": 30, + "abs_coefficient": "512", + "reference_primitives_per_component": 26, + "shared_primitives_per_component": 14 + }, + { + "cleanup_start": 8583, + "length": 2, + "source": 30, + "abs_coefficient": "8192", + "reference_primitives_per_component": 34, + "shared_primitives_per_component": 18 + }, + { + "cleanup_start": 8601, + "length": 2, + "source": 30, + "abs_coefficient": "131072", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 22 + }, + { + "cleanup_start": 8610, + "length": 2, + "source": 30, + "abs_coefficient": "262144", + "reference_primitives_per_component": 44, + "shared_primitives_per_component": 23 + }, + { + "cleanup_start": 8619, + "length": 2, + "source": 30, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8661, + "length": 2, + "source": 30, + "abs_coefficient": "131072", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 22 + }, + { + "cleanup_start": 8692, + "length": 2, + "source": 30, + "abs_coefficient": "131072", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 22 + }, + { + "cleanup_start": 8695, + "length": 3, + "source": 30, + "abs_coefficient": "128", + "reference_primitives_per_component": 33, + "shared_primitives_per_component": 13 + }, + { + "cleanup_start": 8699, + "length": 3, + "source": 30, + "abs_coefficient": "2088960", + "reference_primitives_per_component": 93, + "shared_primitives_per_component": 33 + }, + { + "cleanup_start": 8703, + "length": 2, + "source": 29, + "abs_coefficient": "2", + "reference_primitives_per_component": 10, + "shared_primitives_per_component": 6 + }, + { + "cleanup_start": 8728, + "length": 4, + "source": 83, + "abs_coefficient": "2", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 8 + }, + { + "cleanup_start": 8746, + "length": 3, + "source": 355, + "abs_coefficient": "1048576", + "reference_primitives_per_component": 72, + "shared_primitives_per_component": 26 + }, + { + "cleanup_start": 8762, + "length": 3, + "source": 355, + "abs_coefficient": "3/4", + "reference_primitives_per_component": 24, + "shared_primitives_per_component": 10 + }, + { + "cleanup_start": 8791, + "length": 2, + "source": 355, + "abs_coefficient": "57345/4", + "reference_primitives_per_component": 48, + "shared_primitives_per_component": 25 + }, + { + "cleanup_start": 8807, + "length": 2, + "source": 355, + "abs_coefficient": "262145/4", + "reference_primitives_per_component": 50, + "shared_primitives_per_component": 26 + }, + { + "cleanup_start": 8811, + "length": 2, + "source": 355, + "abs_coefficient": "8191/2", + "reference_primitives_per_component": 58, + "shared_primitives_per_component": 30 + }, + { + "cleanup_start": 8819, + "length": 2, + "source": 355, + "abs_coefficient": "4096", + "reference_primitives_per_component": 32, + "shared_primitives_per_component": 17 + }, + { + "cleanup_start": 8826, + "length": 2, + "source": 355, + "abs_coefficient": "1318904", + "reference_primitives_per_component": 70, + "shared_primitives_per_component": 36 + }, + { + "cleanup_start": 8850, + "length": 2, + "source": 355, + "abs_coefficient": "64", + "reference_primitives_per_component": 20, + "shared_primitives_per_component": 11 + }, + { + "cleanup_start": 8872, + "length": 2, + "source": 355, + "abs_coefficient": "4096", + "reference_primitives_per_component": 32, + "shared_primitives_per_component": 17 + }, + { + "cleanup_start": 8888, + "length": 2, + "source": 355, + "abs_coefficient": "65536", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 21 + }, + { + "cleanup_start": 8897, + "length": 2, + "source": 355, + "abs_coefficient": "131072", + "reference_primitives_per_component": 42, + "shared_primitives_per_component": 22 + }, + { + "cleanup_start": 8947, + "length": 2, + "source": 355, + "abs_coefficient": "65536", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 21 + }, + { + "cleanup_start": 8979, + "length": 2, + "source": 355, + "abs_coefficient": "65536", + "reference_primitives_per_component": 40, + "shared_primitives_per_component": 21 + }, + { + "cleanup_start": 8982, + "length": 3, + "source": 355, + "abs_coefficient": "64", + "reference_primitives_per_component": 30, + "shared_primitives_per_component": 12 + }, + { + "cleanup_start": 8986, + "length": 3, + "source": 355, + "abs_coefficient": "1044480", + "reference_primitives_per_component": 90, + "shared_primitives_per_component": 32 + } + ], + "paid_profile": { + "1": 2512, + "2": 400, + "3": 448, + "4": 160, + "5": 70, + "6": 8, + "8": 8 + } + }, + "backward": { + "all_input_columns": 716, + "dirty_helpers": 492, + "scalar_macros": 22693, + "original_real_primitives": 257280, + "shared_real_primitives": 257280, + "saved_real_primitives": 0, + "original_cleanup_real_primitives": 116176, + "shared_cleanup_real_primitives": 116176, + "prefix_l1": "16753412757380464429924108070201913461/8388608", + "groups": [], + "paid_profile": { + "1": 2512, + "2": 400, + "3": 448, + "4": 160, + "5": 70, + "6": 8, + "8": 8 + } + } + }, + "initial_commuting_scan": { + "cleanup_gates": 9006, + "same_edge_pairs_before_first_obstruction": [] + }, + "negative_controls": [ + "wrong_accumulation_sign", + "missing_final_clear", + "missing_initial_clear_arbitrary_work", + "wrong_coefficient_preparation", + "changed_source", + "source_target_alias", + "changed_magnitude", + "endpoint_neutral_prefix_growth", + "endpoint_neutral_signed_prefix_growth", + "endpoint_neutral_live_prefix_growth" + ] +} diff --git a/research/complex-jp8-cleanup-fusion/README.md b/research/complex-jp8-cleanup-fusion/README.md new file mode 100644 index 0000000000..90062cbe82 --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/README.md @@ -0,0 +1,159 @@ +# Shared coefficient work in the selected JP8 cleanup + +**Finite complex-supplier circuit improvement / research note; no new kappa.** + +The selected JP8 cleanup contains 999 maximal contiguous runs with a common +source and a common non-unit coefficient magnitude. Preparing that coefficient +once per run saves **19,688 real-component primitives**. All 3,022 affected +target updates retain their original order. The existing coefficient-work +stream is cleared at each run boundary; no additional stream is introduced. + +| Selected JP8 program | Original primitives | Shared-work primitives | Saving | +| --- | ---: | ---: | ---: | +| Forward, entire scalar program | 257,232 | 237,544 | 19,688 | +| Forward, final cleanup alone | 116,176 | 96,488 | 19,688 | +| Backward, entire scalar program | 257,280 | 257,280 | 0 | + +The complete forward scalar count decreases by about 7.65%. These are exact +operation counts under the inherited primitive convention, not runtime +benchmarks. The backward word has no eligible run. Recursive children, +adapters, source/helper registers, final restoration, and the paid profile +remain unchanged. The selected conditional saving remains +`51110230636731/31250000000000000`. + +## Reproduce + +From the repository root, with Python 3.11+ and its standard library: + +```sh +python -B research/complex-jp8-cleanup-fusion/verify.py +``` + +Expected final line: + +```text +PASS_JP8_SHARED_COEFFICIENT_CLEANUP groups=999 saved=19688 columns=716 orientations=2 controls=10 +``` + +The command is offline and does not write files. It checks the source pins, +reconstructs all runs and their exact primitive circuits, replays every one of +the 716 arbitrary data/helper input columns in both emitted orientations, +checks all private output rows, recounts the fixed paid profile, and compares +every field of [EXPECTED.json](EXPECTED.json). At changed blocks it executes +the replacement primitives explicitly; unchanged scalar macros use exact +rational semantics. Each block is additionally checked on independent formal +input rows, including arbitrary incoming coefficient work. This combination +does not claim a primitive-level replay of unchanged macro lowerings. + +An independent flat-vector column interpreter and frame/child controls run with: + +```sh +python -B research/complex-jp8-cleanup-fusion/test_verify.py +``` + +This checks all 999 block maps without using the main checker's row interpreter, +and tests the inverse-transpose ordering with a noncommuting example. + +`verify.py --write-receipt NEW_PATH` writes a newly computed receipt using +exclusive creation, refusing to replace an existing file. Ordinary verification +always compares with the committed receipt. Compressed inputs are bound by +their complete decompressed bytes, so recompression does not affect acceptance. + +## Construction, cost, and prefix bound + +For a block of `m >= 2` updates, write the common reduced magnitude as +`q = a / 2^b`, where `a > 0`. Every update is +`x[t_i] += sign_i * q * x[s]`, and `t_i != s`. Thus the source stays unchanged. +Clear the existing work stream `W`, form `a*x[s]` by the inherited binary +Horner circuit, halve it `b` times, perform the signed target accumulations in +their original order, and clear `W`. Repeated targets and opposite signs are +allowed. Unit coefficients, scales, mismatched sources/magnitudes, and all +non-scalar events end a run. No operation is reordered. + +Let `H = (bit_length(a)-1) + popcount(a) + b`. Each source-bit addition, +doubling, halving, signed accumulation, and initial/final clear costs one +primitive per real component. Original cost is `m*(H+3)`; shared cost is +`H+m+2`. The saving is therefore `2*(m-1)*(H+2)` for both real components. +The certificate records the exact start, length, source, magnitude, and both +costs for every run. It contains 36 distinct non-unit magnitudes; run lengths +range from 2 through 13. + +The block preserves every live row for arbitrary inputs, and discards arbitrary +incoming `W` exactly as the old cleared-work lowering did. At each target +update, the nonnegative envelope of every live row is identical to the original. +During preparation and retention, work magnitude is at most `a*N[s]`, already +charged by the first original preparation. The exact entire-program prefix +envelopes therefore remain: + +- Forward: `4536094588619580433782972610869617/281474976710656`. +- Backward: `16753412757380464429924108070201913461/8388608`. + +The checker verifies these rational values against the selected SPEC. Ten +arithmetic controls reject wrong signs, missing initial/final clears, omitted +halving, source/magnitude changes, source aliasing, and three endpoint-neutral +prefix excursions, including one hidden behind negations and one on a live +register. The additional test +suite rejects an emitted-frame mutation, use of a non-FULL helper, and omission +of a paid child. These controls address restoration and prefix growth even when +checking only a final live-register identity would be insufficient. + +## Source pins, search coverage, and scope + +Exact base: `66849e1475c930fd7732b1a0067ffee7e1e95f60`. Reviewed source heads: + +- #626: `660de893d27bb7abd1d5b01b1640207528a5c851`. +- #622: `f69477f4f6d3c7eb1f740b166881bffed4ffa9f6`. +- Retained #543 bit supplier: `2065fe4f72a914d907f1046603f5a36f17018535`. + +[SOURCE-PINS.json](SOURCE-PINS.json) binds the exact consumed files; both program +payloads and event lists are additionally bound to #626's SPEC. The actual +selected construction and its limitations are documented in the +[maintainer review](../../docs/research/community-k492-review.md). + +OS assignment seed **31** selected the complex track and, by odd parity, JP8. +The initial hypothesis scanned every starting addition in its 9,006-gate final +cleanup for an equal directed addition before the first noncommuting operation. +It found zero eligible pairs; the command reproduces this finite census. That +does not exclude general circuit resynthesis. The single evidence-driven pivot +was to shared coefficient preparation. Both orientation scans exhaust their +entire final cleanup once, with no sampling or timeout. Completed coverage is +999 forward runs and zero backward runs; no optimality is claimed. + +The public supplier/emitter and selected frontier are unchanged. In particular, +the inherited receipt says coefficient work is cleared after **each scalar +macro**. This package defines a **fanout block** and proves clearing at that +block's boundary instead. The original receipt does not certify the new primitive +count. This standalone implementation and exact checks provide a local circuit +substitution; transporting it into the production emitter, updating its private +lifetime contract, and rebuilding global invoices/admission are not supplied. +All replacements stay after exit adapters and before post wrappers at the FULL +frame. The 120-gate early cleanup and all other phases are untouched. + +All-size compiler/common-label/mutable-basis realization, pooled hosting, +normalized residuals, precision/tape/exact recovery, analytic transfer, and the +bit supplier's inherited assumptions remain. This is neither a complete formal +proof of integer multiplication nor a new recurrence or kappa certificate. + +## Attribution and overlap + +Credit belongs to icekylinx's direct-delivery/factory and scalar-emitter lineage, +Jeremy Kothe/AtomScout's #622 and preceding JP8 construction, DreamingOfClouds' +cold-helper and native-verification work, Chafik Boukhalfa's #626 package, +eumemic's retained #543 supplier, and the earlier contributors and notices in +[the selected package](../complex-k492-owner-repair/NOTICE.md). + +Concurrent [#696](https://github.com/CrocSwap/integer-mult-bounds/pull/696) +improves individual dyadic macro lowerings; this contribution instead shares +preparation across a non-unit multi-target run and retains the original Horner +preparation. Its reported savings are against the selected base, not additive +to #696 without a composed recount. [#681](https://github.com/CrocSwap/integer-mult-bounds/pull/681) +changes a raw factory's scalar word; this preserves the selected scalar word. +[#698](https://github.com/CrocSwap/integer-mult-bounds/pull/698) concerns CK B-phase +frames, and #651/#683/#687 study delivery or reorder restrictions. None is an +implementation dependency. The local [claim](CLAIM.md) records selection and +coordination; [REVIEW.md](REVIEW.md) records a separate scoped AI source review. + +Prepared for **@ellipsi2** with substantial **OpenAI Codex assistance** in research, +implementation, mathematical analysis, verification, and writing, including one +scoped AI reviewer. This is not independent human review. New files use the +repository's Apache-2.0 license; all predecessor notices remain in place. diff --git a/research/complex-jp8-cleanup-fusion/REVIEW.md b/research/complex-jp8-cleanup-fusion/REVIEW.md new file mode 100644 index 0000000000..455eafa7da --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/REVIEW.md @@ -0,0 +1,175 @@ +# Independent source review: JP8 cleanup coefficient fanout + +This review concerns only the selected JP8 provider's final FULL-frame cleanup +at base `66849e1475c930fd7732b1a0067ffee7e1e95f60`. It supports a finite +primitive-lowering experiment: retain one coefficient-work value across a +contiguous run of additions with the same source and absolute coefficient. +It does not certify a new supplier, global invoice, or exponent. + +## Pinned object and sources + +The inspected [canonical word](../community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/CANONICAL-WORD.json.gz) +has compressed SHA-256 +`7a3fec1022d3b2b1bd986302a327735ec521d17b043f4a5acb96253a56f6193c` +and decompressed-byte SHA-256 +`fb4a8d14ed2a8048698bea6ae16f86163a1aa6c80f2eb622222eee5cdbce9b3b`. +Direct inspection gives `v=112`, `R=492`, and 716 arbitrary data/helper +columns. Its final cleanup contains 9,006 gates: 8,894 additions and 112 +scales. Every cleanup gate has frame identifier 1 and touches only registers +whose final frame is 1. The separate 120-gate early cleanup is outside scope. +The inherited [local receipt](../community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/INDEPENDENT-LOCAL-REPLAY.json) +and [primitive receipt](../community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-CHECKS.json) +bind this word and its original local programs. + +The primary code inspected is pinned by +[SELECTED-SOURCE.json](../community-k492-audit/SELECTED-SOURCE.json#L1521-L1525): + +| Source in `research/complex-k492-owner-repair/code/` | SHA-256 | +| --- | --- | +| `hpe_audit_and_transport.py` | `c9a05ff291016b870b4fc925b317abd9c3a604c73ffc8920dfdbbeb475e20aa3` | +| `hpe_audit_local.py` | `6bd9a1e279c9c9e4f3767d9f82e537b559292906feb2ddab02f380fb6523a810` | +| `hpe_emit_local.py` | `7e4a6fbc38c8228157b6311457d1496bf460291393043932d2c365f004f77805` | +| `invoice_allcold.py` | `141bd2fd58bbfb5b8d0fc8f56f61c45586d5608a5af3487c6b883dd987f998ec` | + +## Obligations inherited from the actual checker + +1. **Both orientations retain chronological order.** A backward elementary + addition swaps source and target and negates its coefficient; a scale is + reciprocated. The emitter does not reverse the gate list. For chronological + matrices `G1,...,Gk`, the total map is `Gk ... G1`; applying the duals in + the same order gives `(Gk ... G1)^(-T)`. Run discovery must therefore be + performed separately after dualization. A forward common-source fanout + generally becomes a backward common-target accumulation, which is not the + same optimization. [Emitter, lines 31-39](../complex-k492-owner-repair/code/hpe_emit_local.py#L31-L39). + +2. **FULL cleanup has fixed boundaries.** It follows final climbs and exit + adapters and precedes all post residual wrappers. Only final-frame-1 + registers can occur in it. A block must stop at any phase, climb, adapter, + wrapper, scale, or mismatching addition; it must not absorb an early-tail + operation. The independent auditor checks actual frames and wrapper order. + [Emitter, lines 111-122](../complex-k492-owner-repair/code/hpe_emit_local.py#L111-L122); + [auditor, lines 35-78](../complex-k492-owner-repair/code/hpe_audit_local.py#L35-L78). + +3. **All arbitrary dirt is restored.** The inherited endpoint check retains + all 716 independent input columns, including every helper, and requires + private center work to vanish. Its forward target is `T += D`; backward + is `D -= T`; other live rows are identities. Testing only clean helper + inputs or final target rows would weaken this obligation. + [Auditor, lines 101-117](../complex-k492-owner-repair/code/hpe_audit_local.py#L101-L117). + +4. **Primitive counts and scratch restoration require a new receipt.** The + inherited lowering clears and rebuilds coefficient work for every scalar + addition, and its receipt explicitly claims clearing after every macro. + Reusing work across a block changes that lowering even when the entire + scalar event list is unchanged. An unchanged inherited receipt establishes + the original scalar interface, not the proposed reduced primitive count. + [Emitter, lines 40-50 and 152-154](../complex-k492-owner-repair/code/hpe_emit_local.py#L40-L50); + [invoice, lines 95-134](../complex-k492-owner-repair/code/invoice_allcold.py#L95-L134). + +## Exact block argument and cost + +Write a nonzero reduced dyadic magnitude as `q = a / 2^b`, with positive +integer `a` and nonnegative integer `b`. A permissible block contains, in +original order, + +``` +x[t_i] += epsilon_i * q * x[s], i = 1,...,m, +``` + +where each `epsilon_i` is `+1` or `-1`, every `t_i != s`, and the source, +magnitude, and FULL frame agree. Repeated targets are allowed. The source is +unchanged throughout the block because no target is the source. + +Clear the existing private coefficient stream `W`, form `a*x[s]` using the +inherited binary Horner operations, halve it `b` times, perform the `m` +signed accumulations in their original order, and clear `W`. Thus every live +row has exactly the original map for arbitrary input values, and `W` is zero +on exit even if its incoming value was arbitrary. No source access is free: +each `1` bit still incurs its addition from `x[s]`. No extra private stream, +copy, frame change, restoration call, or recursive child is introduced. +This argument uses the same primitive convention as the +[inherited Horner recount](../complex-k492-owner-repair/code/invoice_allcold.py#L101-L122). + +Let `H = (bit_length(a)-1) + popcount(a) + b`. Per real component the old +cost is `m*(H+3)` and the shared-preparation cost is `H+m+2`. The exact +saving is `(m-1)*(H+2)`. Complex-register costs count both real components, +as the inherited invoice does. A singleton saves zero. Unit coefficients +can remain excluded from this experiment without affecting the argument. + +The inherited prefix bound maintains a nonnegative row envelope `N`, and +includes the coefficient-work peak `a*N[s]` as well as every updated target +envelope. The optimized block uses exactly the same target updates in the +same order. Its source envelope stays fixed, and its sole preparation is +identical to the first original preparation. Retaining `W` introduces no +larger magnitude than that already attained by this first preparation. +Consequently the maximum inherited envelope over the block is unchanged. +This is a maximum-over-prefixes statement, not pointwise equality of scratch +contents at every original macro boundary. +[Auditor, lines 79-99](../complex-k492-owner-repair/code/hpe_audit_local.py#L79-L99); +[invoice, lines 101-123](../complex-k492-owner-repair/code/invoice_allcold.py#L101-L123). + +The retained receipts charge 192 payload bits and report 64 forward / 101 +backward prefix bits. A new checker should recompute the exact rational +envelopes and compare them to the original records, rather than merely +reuse these reported bit counts. + +## Three targeted negative controls + +1. **Illegal sharing:** change one member's source, or include an operation + writing the supposed common source. Block validation must reject the + change. If validation is deliberately bypassed, independent primitive + replay against the original macro map must detect stale coefficient work. +2. **Wrong arithmetic:** reverse one signed accumulation or omit one halving + in a genuine non-unit block. Exact arbitrary-input replay must reject the + altered live map. This checks the newly shared primitive implementation, + not only its metadata or a predicted operation count. +3. **Missing restoration:** remove a block's final `clear W`. All live output + rows can still match, so the checker must separately reject nonzero private + output. Starting `W` as an independent input column also makes omission of + its initial clear observable. + +Controls should be exercised in each orientation with an eligible block. +If an orientation has no eligible block, report that coverage explicitly. +Changing only a canonical cleanup gate's metadata frame is not a useful +control: the inherited emitter hardcodes frame 1 when emitting cleanup; +changing the actual emitted event frame would be meaningful. +[Emitter, lines 116-120](../complex-k492-owner-repair/code/hpe_emit_local.py#L116-L120). + +## Scope and attribution + +This is a source review and algebraic lowering argument. A finite replay +of the optimized artifact is not a formal proof of the full multiplication +theorem. The all-size, compiler, hosting, precision, analytic, and global +assembly assumptions remain inherited; no change to them is established. +Existing source attribution is retained in the +[package notice](../complex-k492-owner-repair/NOTICE.md), including icekylinx, +DreamingOfClouds, jeremykothe2, chafreaky, and predecessor research agents. +This review was prepared for @ellipsi2 with substantial OpenAI Codex +assistance. Apache-2.0. + +## Implementation review and independent receipt check + +A second review inspected `verify.py` and independently reconstructed the +recorded runs directly from the pinned canonical cleanup, without importing +the verifier's grouping or pricing functions. Every recorded forward run and +its closed-form primitive counts matched: **999 runs, 3,022 scalar additions, +and 19,688 saved real-component primitives**. Independent same-order +dualization found **zero eligible backward runs**. These observations +corroborate `EXPECTED.json`; they do not expand its finite scope. + +The scoped review identified two useful endpoint-neutral controls for +`a += 3*s; b += 3*s`: a signed scratch excursion reaching `6*abs(s)` before +returning to `3*abs(s)`, and a temporary doubling/restoration of live target +`a`. The current [checker](verify.py) takes absolute scale factors in its +symbolic norm pass and permits clear/scale primitives only on `W`. Independent +reproduction confirms that the exact controls are rejected, respectively, +with `coefficient prefix envelope exceeded` and +`fanout may only clear or scale coefficient work`. All ten arithmetic controls +pass. No unresolved implementation defect was found in this scoped review. + +The [README](README.md) matches the reviewed evidence: changed blocks receive +explicit primitive replay; unchanged macros retain exact rational semantics; +the backward orientation has no shared block; production-emitter integration +and global invoice reconstruction remain outside the contribution. A separate +check of the receipt also confirms 36 coefficient magnitudes, run lengths +2 through 13, and a 7.65379% reduction in the full forward primitive count. diff --git a/research/complex-jp8-cleanup-fusion/SOURCE-PINS.json b/research/complex-jp8-cleanup-fusion/SOURCE-PINS.json new file mode 100644 index 0000000000..d10a6c1da3 --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/SOURCE-PINS.json @@ -0,0 +1,34 @@ +{ + "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60", + "reviewed_dependency_heads": { + "622": "f69477f4f6d3c7eb1f740b166881bffed4ffa9f6", + "626": "660de893d27bb7abd1d5b01b1640207528a5c851", + "543": "2065fe4f72a914d907f1046603f5a36f17018535" + }, + "files": { + "certificates/selected-result.json": { + "representation": "bytes", + "sha256": "b3bf402f31a69bde0629936a9b569bed48281568d7b16d5fba120b5311ea1f53" + }, + "research/complex-k492-owner-repair/data/SPEC.json": { + "representation": "bytes", + "sha256": "2a2577ac526535826fed9d5f7f83f6e2e0ec058a146c64f7286720b995fa2323" + }, + "research/complex-k492-owner-repair/code/hpe_emit_local.py": { + "representation": "bytes", + "sha256": "7e4a6fbc38c8228157b6311457d1496bf460291393043932d2c365f004f77805" + }, + "research/complex-k492-owner-repair/code/hpe_audit_local.py": { + "representation": "bytes", + "sha256": "6bd9a1e279c9c9e4f3767d9f82e537b559292906feb2ddab02f380fb6523a810" + }, + "research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/CANONICAL-WORD.json.gz": { + "representation": "gzip-payload", + "sha256": "fb4a8d14ed2a8048698bea6ae16f86163a1aa6c80f2eb622222eee5cdbce9b3b" + }, + "research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/LOCAL-PROGRAMS.json.gz": { + "representation": "gzip-payload", + "sha256": "efe45ce7fb025a6f53cc9eb54e951ac2211a5ed927e689a049e4f68ca680654b" + } + } +} diff --git a/research/complex-jp8-cleanup-fusion/VALIDATION.md b/research/complex-jp8-cleanup-fusion/VALIDATION.md new file mode 100644 index 0000000000..c36f4511b4 --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/VALIDATION.md @@ -0,0 +1,29 @@ +# Validation record + +Recorded on 2026-10-13, native Windows, CPython **3.11.15**. Exact base: +`66849e1475c930fd7732b1a0067ffee7e1e95f60`. + +| Check | Result | +| --- | --- | +| `python -B research/complex-jp8-cleanup-fusion/verify.py` | PASS: 999 blocks, 19,688 saved real primitives, 716 input columns in each orientation, ten rejected arithmetic mutations | +| `python -B research/complex-jp8-cleanup-fusion/test_verify.py` | PASS: seven tests, including all 999 blocks in a separate flat-vector column interpreter, separate grouping/cost enumeration, noncommuting dual-order witness, emitted-frame and ended-helper mutations, omitted paid child | +| `python -I -S -O -B research/complex-jp8-cleanup-fusion/verify.py` | Same complete receipt; checks do not depend on Python assertions or site packages | +| `python -B scripts/verify_selected_result.py` | PASS: selected record, exact kappa, original source inventory, and proof supplements | +| Minimal copied checkout in a path containing spaces | PASS with only this package and its six pinned input files, from an unrelated working directory, using isolated optimized Python | +| Recompress both gzip inputs with level 1 and mtime 17 | Identical mathematical receipt in the minimal checkout | +| Change the first canonical cleanup coefficient | Rejected by source pin before replay | +| Inflate committed saved-primitive count by two | Rejected after fresh receipt recomputation | +| Write a receipt to an existing sentinel file | Refused; sentinel bytes preserved | +| Local Markdown links | All 23 links checked at validation time resolved | + +The separate scoped AI reviewer independently recounted all groups and prices, +and corroborated both strengthened prefix controls. The reviewer found no +remaining material mismatch between the code, certificate, and stated scope. +This is disclosed AI review, not independent human review or formal proof. + +The complete selected supplier cold replay, repository-wide `make verify`, +global invoice/admission regeneration, Lean, and remote Linux CI were **not +run**. The change only adds this standalone research package; no existing +supplier, generator, checker, selected certificate, or `upstream/` file changes. +The production emitter's per-macro private-work contract remains an explicit +integration obligation. All inherited asymptotic assumptions remain open. diff --git a/research/complex-jp8-cleanup-fusion/test_verify.py b/research/complex-jp8-cleanup-fusion/test_verify.py new file mode 100644 index 0000000000..dea439c3f7 --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/test_verify.py @@ -0,0 +1,123 @@ +"""Independent column arithmetic and failure controls for the finite lowering. + +Prepared for @ellipsi2 with substantial OpenAI Codex assistance. Apache-2.0. +""" +from copy import deepcopy +from fractions import Fraction +import importlib.util +import itertools +import json +from pathlib import Path +import unittest + +PACKAGE = Path(__file__).resolve().parent +spec = importlib.util.spec_from_file_location("fanout_verify", PACKAGE / "verify.py") +check = importlib.util.module_from_spec(spec) +spec.loader.exec_module(check) + + +def column_execution(registers, primitives, column): + """Flat vector engine; does not call the verifier's row interpreter.""" + values = [Fraction(i == column) for i in range(len(registers))] + positions = {r: i for i, r in enumerate(registers)} + for op in primitives: + target = positions[tuple(op[1])] + if op[0] == "clear": + values[target] = Fraction(0) + elif op[0] == "scale": + values[target] *= Fraction(op[2], op[3]) + elif op[0] == "add": + values[target] += Fraction(op[3], op[4]) * values[positions[tuple(op[2])]] + else: + raise ValueError("unexpected primitive") + return values + + +class FanoutVerification(unittest.TestCase): + @classmethod + def setUpClass(cls): + cls.sources, _ = check.load_sources() + cls.word = cls.sources[check.PROVIDER + "CANONICAL-WORD.json.gz"] + cls.programs = cls.sources[check.PROVIDER + "LOCAL-PROGRAMS.json.gz"] + + def test_every_certified_block_by_independent_columns(self): + evidence = json.loads((PACKAGE / "EXPECTED.json").read_text(encoding="utf-8")) + groups = evidence["programs"]["forward"]["groups"] + self.assertEqual(len(groups), 999) + for group in groups: + start, count = group["cleanup_start"], group["length"] + ops = [check.canonical_scalar(e, False) for e in self.word["cleanup"][start:start + count]] + registers = sorted({check.WORK} | {tuple(e[1]) for e in ops} | {tuple(e[2]) for e in ops}) + primitives = check.fanout(ops) + # Closed-form column oracle: only the common source contributes + # off-diagonal entries; an arbitrary incoming W is discarded. + for column, origin in enumerate(registers): + expected = [Fraction(r == origin) for r in registers] + expected[registers.index(check.WORK)] = Fraction(0) + for op in ops: + if tuple(op[2]) == origin: + expected[registers.index(tuple(op[1]))] += Fraction(op[3], op[4]) + with self.subTest(start=start, column=column): + self.assertEqual(column_execution(registers, primitives, column), expected) + + def test_same_order_dual_is_inverse_transpose(self): + # Noncommuting witness: reversing the two dual gates is incorrect. + a, b, c = ("L", 0), ("L", 1), ("L", 2) + regs = [a, b, c] + forward = [["add", a, b, 2, 1], ["add", b, c, 3, 1]] + backward = [["add", b, a, -2, 1], ["add", c, b, -3, 1]] + fcols = [column_execution(regs, forward, j) for j in range(3)] + bcols = [column_execution(regs, backward, j) for j in range(3)] + for i in range(3): + for j in range(3): + self.assertEqual(sum(fcols[i][k] * bcols[j][k] for k in range(3)), int(i == j)) + self.assertNotEqual(bcols, [column_execution(regs, list(reversed(backward)), j) for j in range(3)]) + + def test_all_groups_and_costs_by_separate_scan(self): + evidence = json.loads((PACKAGE / "EXPECTED.json").read_text(encoding="utf-8")) + key = lambda e: (e[2], abs(Fraction(e[3], e[4]))) if e[0] == "add" else None + result = [] + start = 0 + for identity, iterator in itertools.groupby(self.word["cleanup"], key): + block = list(iterator) + m = len(block) + if identity is not None and identity[1] != 1 and m > 1: + source, magnitude = identity + a, b = magnitude.numerator, magnitude.denominator + h = a.bit_length() - 1 + a.bit_count() + b.bit_length() - 1 + result.append({"cleanup_start": start, "length": m, "source": source, + "abs_coefficient": str(magnitude), + "reference_primitives_per_component": m * (h + 3), + "shared_primitives_per_component": h + m + 2}) + start += m + self.assertEqual(result, evidence["programs"]["forward"]["groups"]) + self.assertEqual(sum(2 * (x["reference_primitives_per_component"] - + x["shared_primitives_per_component"]) for x in result), 19688) + + def test_actual_emitted_frame_mutation(self): + events = deepcopy(self.programs["forward"]) + start = next(i for i, event in enumerate(events) if event == ["phase", "full_frame_cleanup"]) + events[start + 1][2] = 0 + with self.assertRaisesRegex(ValueError, "wrong cleanup frame"): + check.check_program(events, self.word, False) + + def test_ended_helper_cannot_enter_full_cleanup(self): + word = deepcopy(self.word) + first = word["cleanup"][0][1] + word["final"][first] = 0 + with self.assertRaisesRegex(ValueError, "non-FULL cleanup register"): + check.check_program(self.programs["forward"], word, False) + + def test_paid_child_omission(self): + events = deepcopy(self.programs["backward"]) + index = next(i for i, event in enumerate(events) if event[0] == "climb") + del events[index] + with self.assertRaisesRegex(ValueError, "paid profile changed"): + check.check_program(events, self.word, True) + + def test_all_arithmetic_controls(self): + self.assertEqual(len(check.controls()), 10) + + +if __name__ == "__main__": + unittest.main() diff --git a/research/complex-jp8-cleanup-fusion/verify.py b/research/complex-jp8-cleanup-fusion/verify.py new file mode 100644 index 0000000000..7765d013ff --- /dev/null +++ b/research/complex-jp8-cleanup-fusion/verify.py @@ -0,0 +1,409 @@ +#!/usr/bin/env python3 +"""Exact finite check of shared coefficient work in the selected JP8 cleanup. + +Prepared for @ellipsi2 with substantial OpenAI Codex assistance. Apache-2.0. +No selected supplier, emitter, invoice, or frontier is changed by this script. +""" +from __future__ import annotations + +import argparse +from collections import Counter +from copy import deepcopy +from fractions import Fraction as Q +import gzip +import hashlib +import json +from pathlib import Path + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +BASE = "66849e1475c930fd7732b1a0067ffee7e1e95f60" +PROVIDER = "research/community-k492-audit/pr626/replay/mixed-global/base/providers/jp8/" +SPEC = "research/complex-k492-owner-repair/data/SPEC.json" +WORK = ("W", 0) + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def digest(value): + return hashlib.sha256(json.dumps(value, sort_keys=True, separators=(",", ":")).encode()).hexdigest() + + +def load_sources(): + pins = json.loads((HERE / "SOURCE-PINS.json").read_text(encoding="utf-8")) + require(pins["base_commit"] == BASE, "wrong base pin") + result = {} + for name, entry in pins["files"].items(): + raw = (ROOT / name).read_bytes() + data = gzip.decompress(raw) if entry["representation"] == "gzip-payload" else raw + require(hashlib.sha256(data).hexdigest() == entry["sha256"], "source pin mismatch: " + name) + if name.endswith((".json", ".json.gz")): + result[name] = json.loads(data) + return result, pins + + +def reg(value): + return tuple(value) + + +def coefficient(op): + return Q(op[3], op[4]) if op[0] == "add" else Q(op[2], op[3]) + + +def checked_add(op): + require(op[0] == "add" and len(op) == 5, "expected an addition") + require(reg(op[1]) != reg(op[2]), "source/target alias") + q = coefficient(op) + require(q != 0 and q.denominator & (q.denominator - 1) == 0, "nonzero dyadic coefficient required") + return q + + +def preparation(source, magnitude): + """The inherited cleared-work binary Horner, including every source read.""" + a, b = magnitude.numerator, magnitude.denominator + require(a > 0 and b & (b - 1) == 0, "invalid magnitude") + result = [["clear", WORK]] + for index, bit in enumerate(bin(a)[2:]): + if index: + result.append(["scale", WORK, 2, 1]) + if bit == "1": + result.append(["add", WORK, source, 1, 1]) + result.extend([["scale", WORK, 1, 2] for _ in range(b.bit_length() - 1)]) + return result + + +def ordinary(op): + if op[0] in ("copy", "clear"): + return [op] + if op[0] == "scale": + q = coefficient(op) + a, b = abs(q.numerator), q.denominator + require(a and a & (a - 1) == 0 and b & (b - 1) == 0, "scale must be a signed power of two") + exponent = a.bit_length() - b.bit_length() + result = [["scale", op[1], 2, 1] for _ in range(max(exponent, 0))] + result += [["scale", op[1], 1, 2] for _ in range(max(-exponent, 0))] + if q < 0: + result.append(["scale", op[1], -1, 1]) + return result + q = checked_add(op) + return preparation(op[2], abs(q)) + [["add", op[1], WORK, 1 if q > 0 else -1, 1], ["clear", WORK]] + + +def group_key(op): + if op[0] != "add": + return None + q = checked_add(op) + return (reg(op[2]), abs(q)) if abs(q) != 1 else None + + +def fanout(ops): + require(len(ops) >= 2, "fanout must contain at least two additions") + key = group_key(ops[0]) + require(key is not None and all(group_key(op) == key for op in ops), "incompatible fanout") + source, magnitude = key + require(source != WORK and all(reg(op[1]) != WORK for op in ops), "work alias") + result = preparation(source, magnitude) + result.extend(["add", op[1], WORK, 1 if coefficient(op) > 0 else -1, 1] for op in ops) + result.append(["clear", WORK]) + return result + + +def apply(op, rows): + """Sparse exact row interpreter, independent of the Horner constructor.""" + kind, target = op[0], reg(op[1]) + if kind == "clear": + rows[target] = {} + elif kind == "copy": + rows[target] = dict(rows[reg(op[2])]) + elif kind == "scale": + q = coefficient(op) + rows[target] = {j: q * x for j, x in rows[target].items() if q * x} + elif kind == "add": + q = checked_add(op) + row = rows.setdefault(target, {}) + for j, x in list(rows[reg(op[2])].items()): + value = row.get(j, Q(0)) + q * x + if value: + row[j] = value + else: + row.pop(j, None) + else: + raise ValueError("unknown scalar operation") + + +def norms_apply(op, norms, prefix): + target = reg(op[1]) + if op[0] == "clear": + norms[target] = Q(0) + elif op[0] == "copy": + norms[target] = norms[reg(op[2])] + elif op[0] == "scale": + norms[target] *= abs(coefficient(op)) + else: + q, source = checked_add(op), reg(op[2]) + # This also encloses the inherited coefficient preparation for macros. + prefix = max(prefix, abs(q.numerator) * norms[source]) + norms[target] = norms.get(target, Q(0)) + abs(q) * norms[source] + return max(prefix, norms[target]) + + +def block_check(ops, replacement=None): + replacement = fanout(ops) if replacement is None else replacement + registers = {WORK} | {reg(op[1]) for op in ops} | {reg(op[2]) for op in ops} + require(all(reg(op[1]) in registers and (op[0] != "add" or reg(op[2]) in registers) + for op in replacement), "extra scratch or source register") + expected = {r: {r: Q(1)} for r in registers} + actual = deepcopy(expected) + for op in ops: + apply(op, expected) + expected[WORK] = {} + for op in replacement: + require(op[0] not in ("clear", "scale") or reg(op[1]) == WORK, + "fanout may only clear or scale coefficient work") + require(op[0] == "clear" or + (op[0] == "add" and abs(coefficient(op)) == 1) or + (op[0] == "scale" and coefficient(op) in (Q(2), Q(1, 2), Q(-1))), + "unpriced primitive") + apply(op, actual) + require(actual == expected, "fanout arbitrary-input map or work clearing mismatch") + + # Formal nonnegative coefficients in independent register norm variables. + # Target trace must match at each accumulation, not only at the endpoint. + reference_norm = {r: {r: Q(1)} for r in registers} + candidate_norm = deepcopy(reference_norm) + target_steps = iter(ops) + next_target = next(target_steps, None) + for primitive in replacement: + positive = deepcopy(primitive) + if positive[0] == "add": + positive[3] = abs(positive[3]) + elif positive[0] == "scale": + positive[2] = abs(positive[2]) + apply(positive, candidate_norm) + if primitive[0] == "add" and reg(primitive[1]) != WORK: + require(next_target is not None, "extra target update") + original = deepcopy(next_target) + original[3] = abs(original[3]) + apply(original, reference_norm) + require(all(candidate_norm[r] == reference_norm[r] for r in registers - {WORK}), + "target prefix envelope changed") + next_target = next(target_steps, None) + # Coefficient work can never exceed a * norm(source), the original + # Horner bound. Check it symbolically at every primitive boundary. + source, q = group_key(ops[0]) + bound = {source: Q(q.numerator)} + require(all(value <= bound.get(j, Q(0)) for j, value in candidate_norm[WORK].items()), + "coefficient prefix envelope exceeded") + require(next_target is None, "missing target update") + require(len(replacement) <= sum(len(ordinary(op)) for op in ops), "primitive cost increased") + + +def canonical_scalar(e, backward): + if e[0] == "add": + t, s, a, b = e[1:5] + if backward: + t, s, a = s, t, -a + return ["add", ["L", t], ["L", s], a, b] + t, a, b = e[1:4] + if backward: + a, b = b, a + return ["scale", ["L", t], a, b] + + +def check_program(events, canonical, backward): + n = 2 * canonical["v"] + canonical["R"] + rows = {("L", r): {r: Q(1)} for r in range(n)} + norms = {r: Q(1) for r in rows} + rows[WORK], norms[WORK] = {}, Q(0) + prefix = Q(1) + phase = None + cleanup = 0 + groups = [] + old_cost = new_cost = old_cleanup_cost = new_cleanup_cost = macros = 0 + paid = Counter() + index = 0 + while index < len(events): + event = events[index] + if event[0] == "phase": + phase = event[1] + require(not rows[WORK], "work leaks across phase boundary") + elif event[0] in ("climb", "center"): + paid[event[-1]] += 1 + require(not rows[WORK], "work leaks across recursive child") + elif event[0] == "scalar": + op = event[1] + run = [op] + if phase == "full_frame_cleanup": + require(event[2] == 1, "wrong cleanup frame") + key = group_key(op) + if key is not None: + j = index + 1 + while j < len(events) and events[j][0] == "scalar" and events[j][2] == 1 and group_key(events[j][1]) == key: + run.append(events[j][1]) + j += 1 + expected = [canonical_scalar(e, backward) for e in canonical["cleanup"][cleanup:cleanup + len(run)]] + require(run == expected, "emitted cleanup detached from canonical word") + for member in run: + touched = [member[1]] + ([member[2]] if member[0] == "add" else []) + require(all(r[0] == "L" and canonical["final"][r[1]] == 1 for r in touched), "non-FULL cleanup register") + reference = sum(len(ordinary(member)) for member in run) + if len(run) > 1: + replacement = fanout(run) + block_check(run, replacement) + old_norms, old_prefix = dict(norms), prefix + for member in run: + old_prefix = norms_apply(member, old_norms, old_prefix) + for primitive in replacement: + apply(primitive, rows) + prefix = norms_apply(primitive, norms, prefix) + require(norms == old_norms and prefix == old_prefix, "full-program prefix envelope changed") + amount = len(replacement) + groups.append({"cleanup_start": cleanup, "length": len(run), "source": run[0][2][1], + "abs_coefficient": str(abs(coefficient(run[0]))), + "reference_primitives_per_component": reference, + "shared_primitives_per_component": amount}) + else: + if op[0] in ("copy", "clear") and reg(op[1]) not in rows: + rows[reg(op[1])], norms[reg(op[1])] = {}, Q(0) + apply(op, rows) + prefix = norms_apply(op, norms, prefix) + amount = reference + macros += len(run) + old_cost += 2 * reference + new_cost += 2 * amount + if phase == "full_frame_cleanup": + cleanup += len(run) + old_cleanup_cost += 2 * reference + new_cleanup_cost += 2 * amount + index += len(run) - 1 + elif event[0] in ("adapter", "residual_adapter"): + require(not rows[WORK], "work leaks across wrapper") + else: + raise ValueError("unknown event") + index += 1 + require(cleanup == len(canonical["cleanup"]), "incomplete cleanup coverage") + v = canonical["v"] + for r in range(n): + expected = {r: Q(1)} + if backward and r < v: + expected[v + r] = Q(-1) + elif not backward and v <= r < 2 * v: + expected[r - v] = Q(1) + require(rows["L", r] == expected, "full-program column identity failed") + require(all(not row for r, row in rows.items() if r[0] != "L"), "private work not cleared") + require(dict(paid) == {int(r): count for r, count in canonical["local_profile"].items()}, "paid profile changed") + return {"all_input_columns": n, "dirty_helpers": canonical["R"], "scalar_macros": macros, + "original_real_primitives": old_cost, "shared_real_primitives": new_cost, + "saved_real_primitives": old_cost - new_cost, + "original_cleanup_real_primitives": old_cleanup_cost, + "shared_cleanup_real_primitives": new_cleanup_cost, + "prefix_l1": str(prefix), "groups": groups, + "paid_profile": {str(r): count for r, count in sorted(paid.items())}} + + +def expect_rejection(name, operation): + try: + operation() + except ValueError: + return name + raise ValueError("negative control survived: " + name) + + +def controls(): + s, a, b = ("L", 0), ("L", 1), ("L", 2) + ops = [["add", a, s, 3, 2], ["add", b, s, -3, 2]] + correct = fanout(ops) + block_check(ops) + cases = [] + wrong_sign = deepcopy(correct) + wrong_sign[-2][3] *= -1 + cases.append(("wrong_accumulation_sign", lambda: block_check(ops, wrong_sign))) + cases.append(("missing_final_clear", lambda: block_check(ops, correct[:-1]))) + cases.append(("missing_initial_clear_arbitrary_work", lambda: block_check(ops, correct[1:]))) + missing_half = [p for p in correct if not (p[0] == "scale" and p[2:] == [1, 2])] + cases.append(("wrong_coefficient_preparation", lambda: block_check(ops, missing_half))) + cases.append(("changed_source", lambda: fanout([ops[0], ["add", b, a, -3, 2]]))) + cases.append(("source_target_alias", lambda: fanout([ops[0], ["add", s, s, -3, 2]]))) + cases.append(("changed_magnitude", lambda: fanout([ops[0], ["add", b, s, -5, 2]]))) + # Endpoint-neutral excursion: double then halve prepared work. This must + # fail the prefix check, not just a digest or a final-map comparison. + large_ops = [["add", a, s, 3, 1], ["add", b, s, 3, 1]] + large = fanout(large_ops) + excursion = large[:-3] + [["scale", WORK, 2, 1], ["scale", WORK, 1, 2]] + large[-3:] + cases.append(("endpoint_neutral_prefix_growth", lambda: block_check(large_ops, excursion))) + signed_excursion = large[:-3] + [["scale", WORK, -1, 1], ["scale", WORK, 2, 1], + ["scale", WORK, 1, 2], ["scale", WORK, -1, 1]] + large[-3:] + cases.append(("endpoint_neutral_signed_prefix_growth", lambda: block_check(large_ops, signed_excursion))) + live_excursion = large[:1] + [["scale", a, 2, 1], ["scale", a, 1, 2]] + large[1:] + cases.append(("endpoint_neutral_live_prefix_growth", lambda: block_check(large_ops, live_excursion))) + return [expect_rejection(name, operation) for name, operation in cases] + + +def commuting_census(cleanup): + """Complete first-obstruction scan for the initial, unsuccessful hypothesis.""" + pairs = [] + for i, op in enumerate(cleanup): + if op[0] != "add": + continue + target, source = op[1:3] + for j in range(i + 1, len(cleanup)): + other = cleanup[j] + if other[-1] != op[-1]: + break + if other[0] == "add" and other[1:3] == [target, source]: + pairs.append([i, j]) + break + if other[0] == "scale": + if other[1] in (target, source): + break + elif other[1] == source or other[2] == target: + break + return {"cleanup_gates": len(cleanup), "same_edge_pairs_before_first_obstruction": pairs} + + +def verify(): + sources, pins = load_sources() + canonical = sources[PROVIDER + "CANONICAL-WORD.json.gz"] + programs = sources[PROVIDER + "LOCAL-PROGRAMS.json.gz"] + spec = sources[SPEC]["providers"]["jp8"] + require((canonical["v"], canonical["R"], canonical["h"]) == (112, 492, 9), "wrong supplier") + for filename in ("CANONICAL-WORD.json.gz", "LOCAL-PROGRAMS.json.gz"): + require(pins["files"][PROVIDER + filename]["sha256"] == spec["artifact_semantic_sha256"][filename], "SPEC payload binding mismatch") + result = {"status": "PASS_JP8_SHARED_COEFFICIENT_CLEANUP", "base_commit": BASE, + "assignment_seed": 31, "scope": "finite primitive lowering; no new kappa", "programs": {}} + result["initial_commuting_scan"] = commuting_census(canonical["cleanup"]) + for name, backward in (("forward", False), ("backward", True)): + require(digest(programs[name]) == spec["program_hashes"][name], "SPEC event binding mismatch") + record = check_program(programs[name], canonical, backward) + inherited = spec["complete_contract"]["local"][name] + require(record["original_real_primitives"] == inherited["real_component_primitives"], "baseline cost mismatch") + require(record["prefix_l1"] == inherited["prefix_l1"], "inherited prefix bound mismatch") + result["programs"][name] = record + print("checked", name, "columns=", record["all_input_columns"], "groups=", len(record["groups"]), flush=True) + result["negative_controls"] = controls() + return result + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("--write-receipt", type=Path, help="write a new receipt exclusively; never overwrite an existing file") + args = parser.parse_args() + result = verify() + if args.write_receipt: + with args.write_receipt.open("x", encoding="utf-8", newline="\n") as handle: + json.dump(result, handle, indent=2) + handle.write("\n") + else: + expected = json.loads((HERE / "EXPECTED.json").read_text(encoding="utf-8")) + require(result == expected, "committed receipt mismatch") + forward = result["programs"]["forward"] + print(result["status"], "groups=" + str(len(forward["groups"])), + "saved=" + str(forward["saved_real_primitives"]), "columns=716 orientations=2", + "controls=" + str(len(result["negative_controls"]))) + + +if __name__ == "__main__": + main() From a0766ab0fab379e1997fadc3ca157578d57986c1 Mon Sep 17 00:00:00 2001 From: ellipsi2 Date: Tue, 13 Oct 2026 13:49:47 +0900 Subject: [PATCH 2/2] docs: link completed JP8 sprint contribution --- research/complex-jp8-cleanup-fusion/CLAIM.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/research/complex-jp8-cleanup-fusion/CLAIM.md b/research/complex-jp8-cleanup-fusion/CLAIM.md index 1d977914b1..da36443fb0 100644 --- a/research/complex-jp8-cleanup-fusion/CLAIM.md +++ b/research/complex-jp8-cleanup-fusion/CLAIM.md @@ -67,3 +67,8 @@ lowering. New #708 and #710 concern F2 bit circuits, and #717 records format limits; none supplies this JP8 shared-coefficient block. No pending patch is imported. A refreshed fetch still resolves main to the exact original base. No pinned coordination issue exists, so this completed claim stays local. + +Submitted: [PR #722](https://github.com/CrocSwap/integer-mult-bounds/pull/722), +as a research note / finite circuit improvement. The immediate pre-submission +refresh reached #721; #719's CK scalar-cleanup obstruction is compatible with +this distinct JP8 primitive-lowering result and is credited in the PR.