diff --git a/research/qq16-paid-bridge-composition/PREDECESSORS.json b/research/qq16-paid-bridge-composition/PREDECESSORS.json new file mode 100644 index 0000000000..e20f8cae27 --- /dev/null +++ b/research/qq16-paid-bridge-composition/PREDECESSORS.json @@ -0,0 +1,66 @@ +{ + "schema_version": 1, + "canonical_source_base": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "retained_pending_sources": [ + { + "pr": 3952, + "head": "996ff698d3efd0bdce606e240f3b00e6ab91e7fc", + "source_path": "research/qq16-f17-demand-projection/WORD.json", + "local_path": "vendor/pr3952/WORD.json", + "sha256": "f513d235b8206211a4716d013a6dacf34aaebda6839da721b0231981cb8b905e", + "git_blob": "c23da2f205170b11f40299c5ec1dcab45b134861", + "purpose": "Exact owned output/temporary boundary of112-H1 projection. Only data is retained; no pending executable or Git object is needed during replay. Package-local invalidation covers this snapshot." + } + ], + "predecessors": [ + { + "source": "research/joint-query/source_data.py and frozen certificate", + "credit": "Ali Romman / QQ16, centre-encoding campaign and portable clean-J reconstruction; retained lane/source notices", + "role": "Already removed all8H8 per orientation, with paid dirty-state correction. Reimplemented independently, not new retirement." + }, + { + "pr": 2707, + "head": "efa51a6c7ffec6edd556a98deedfe9deeba65809", + "credit": "ywz65", + "role": "Literal full decoder/checkpoint and suffix. Source is a pinned canonical input; no executable imported." + }, + { + "pr": 2681, + "head": "ea96706295631be10d92ae149b63c3e24acaeabc", + "credit": "Arham Tahir", + "role": "Complete logical inverse lineage." + }, + { + "pr": 2512, + "head": "851dd3486a2d0549b51e85978a65ccb4eec619c0", + "credit": "ywz65", + "role": "Actual96-output F17 demand; inherited via3952." + }, + { + "pr": 2346, + "head": "653520d7f18f686ea3a274b4963981f5be563477", + "credit": "alephnan", + "role": "Retained global ordinary bridge/terminal boundary; pinned canonical scope map." + }, + { + "pr": 2470, + "head": "1b2eee3bf1ec67e68c0b0fa7f47c7b2a66febe56", + "credit": "thakrarsagar", + "role": "Retention census and constant-cover counterexample methodology; no executable imported." + }, + { + "pr": 3963, + "head": "82c812c45fbc2bc2751e5a0d02a3631af25c3cba", + "credit": "Clear1nsight and user-requested agent audits", + "role": "Exact bridge and missing-query obstruction; predecessor package read as reference, no executable imported." + } + ], + "additional_credit": [ + "ywz65 PR2492/2468 native read lineage", + "starship-s and Ross Richardson decoder/record lineage", + "Douglas Colkitt and Sagar Thakrar supplier/coverage lineage", + "retained gauge44,T16 and source notices" + ], + "license": "New work Apache-2.0. Retained source notices unchanged; snapshot is prior Clear1nsight package data.", + "new_result": "Constructive104-field paid bridge contract and exact literal/native fusion audit; no source bridge work retired." +} diff --git a/research/qq16-paid-bridge-composition/PROOF.md b/research/qq16-paid-bridge-composition/PROOF.md new file mode 100644 index 0000000000..c35abbe7bc --- /dev/null +++ b/research/qq16-paid-bridge-composition/PROOF.md @@ -0,0 +1,173 @@ +# Paid query augmentation at the first ordinary bridge + +## Boundary and exact question + +The actual hosted replica-0 prefix is F0, B1, pair-1 idle preparation, the +positive bridge from pair 1 to pair 0, then F2. The bridge is physical +`source_event=3`, after idle `source_event=2`, in the pinned +`t16/global/hosted/GLOBAL-TEMPLATE.json.gz`. Its ordinary Y leg is + + Y_pair1,p <- Y_pair1,p - Y_pair0,p, p in U (96 ports). + +The companion X leg is unchanged. The selected provider in that template is +still gauge44. This package tests a proposed QQ16 replacement boundary; it +does not silently admit that replacement or identify new physical families. + +PR3963 proved that PR3952's earlier y1_U output cannot alone supply this +current-Y read. We change that observation contract: retain the eight current +query components along with the 96 projected outputs. The new local theorem +assumes both current source Y and mutable other-pair target B are presented +in their common-label port frame F17 C_qp^-1. The source is borrowed; the +target is authorized to change as the bridge destination. Pair-1's actual +physical placement and delivery into this boundary remain a global obligation. + +## Ordered operator sufficiency + +Let D_p be the actual chart-1 owner action. Define + + a_k = sum_p R[k,p] D_p Y_p, + (K_U a)_p = (1/4) sum_k R[k,p] D_p^-1 a_k, + h_p = Y_p - (K_U a)_p, p in U. + +For the conserved B1 equations, a is the old selected-T query ell_1 x1 and +h=y1_U. These source identities are inherited from the pinned QQ16 note. +For this composition only the displayed identities on arbitrary current Y +are needed. They imply, with all operator products ordered, + + B_p - h_p - (K_U a)_p = B_p - Y_p. (1) + +Thus (h,a), comprising 104 full-cover values, suffices for this bridge leg. +No commutation of distinct D_p is used. The verifier checks the complete +operator over 208 independent source/target fields, not just constants or +random values. Its coefficients carry the full 73-column owner matrices. + +The eight-component augmentation is a constructive choice, not a lower bound +of eight new physical families. It may be streamed or hosted differently in +a different schedule. This construction explicitly allocates eight owned +query output arrays and pays their clears/copies/return. + +## Legal augmented producer + +The retained 1,410-event PR3952 WORD is authenticated by exact head, Git blob +and SHA256 and independently regenerated from R and the port partition. Its +112 owned W arrays are cleared from arbitrary dirt, copied from borrowed Y, +normalized by C_qp, and aligned into common F17. All eight query rows are +formed in owner-private F fields before changing any ordinary W. + +The augmentation allocates eight owned Q_k outputs, clears them in F17, and +copies each completed F_k into Q_k inside that same owner body. This adds +eight full-cover CLEARs and eight unit ADDs. The original producer then +subtracts K_U a, returns ordinary W to its original owner coordinates, clears +the sixteen selected W temporaries, and clears its private fields before +moving to another owner. At the new boundary W_U=h in F17 and Q=a in F17. +All borrowed Y values/frames are untouched; no early record or X read is used. + +## Legal consumer and cleanup + +For every ordinary p, apply the source-derived affine map M_p to W_p, where + + M_p F17 = F17 D_p. + +At the common frame, add R[k,p] Q_k/4 for each nonzero row coefficient. +Then apply M_p^-1. The result is logical Y_p in F17. Apply C_qp^-1 to return +that owned value to the target's frame F17 C_qp^-1, and subtract it from B_p. +Clear the consumed W_p and every Q_k to zero in identity frame. + +Every ADD is between equal complete modulo-four phase polynomials. A map +uses the actual involutive owner matrix and the unique derived even-linear +translation; its inverse transports that translation by the owner action. +Omitting the shift or inverse line is rejected at a scalar frame boundary. +The native positive line is a wrapped H1 with a basis beginning at q_p. +The inverse line uses a q_p translation in the left wrapper. All 112 positive +and 96 negative signed kernels are checked on all 512 local basis columns: +106,496 exact Gaussian columns, with common denominator two. Tensor products +and the full phase identity extend the statement to all positive tensor +depths under the inherited recursive H1 contract. This does not establish +physical tape execution or a precision guarantee. + +The 120 full-cover workspace fields are 112 W plus eight Q, all exclusively +owned and initially arbitrary. All finish zero/I. The eight F fields exist +only during one owner-private body, finish zero/I there, and are never used +across an owner move. Peak private workspace is eight. No borrowed field is +cleared or used as an output alias. Allocation and movement are not free. + +## Complete local operation invoice + +| Charge | Augmented producer | Consumer | Serial composition | Direct Y bridge | +|---|---:|---:|---:|---:| +| H1 children |112|96|208|0| +| Native monomial wrappers |224|192|416|0| +| Full-cover maps |208|192|400|0| +| Unit ADDs |568|96|664|96| +| Quarter ADDs |384|384|768|0| +| CLEARs |152|104|256|0| +| Real scalar primitive allowance |9,456|5,584|15,040|768| + +The scalar allowance is 8 per unit ADD, 12 per quarter ADD, and 2 per CLEAR. +The entire source producer F0/B1 and the preceding idle preparation are +additional unchanged costs; this table prices the proposed replacement of +the ordinary Y bridge leg. The bridge's ordinary X leg remains 96 unit ADDs +and is unchanged. Map/wrapper counts are not physical stream tariffs. + +The direct column is legal **under the same common-label, same-frame local +entry premise**: B_p and borrowed Y_p have identical F17 C_qp^-1 frames. +It must not be read as an unconditional proof of global QQ16 placement or +an imported selected-template native alignment theorem. The frame checker +validates this local comparator explicitly. + +## Exact fusion and what really disappears + +Within the serial composition the producer subtracts K_U a and the consumer +adds exactly K_U a back. The ordinary producer exit map and consumer entry +map are inverse; no intervening operation uses the earlier owner position. +After eliminating this cancellation, the query outputs and their computation +are dead for a bridge-only demand. The sixteen selected source copies are +then dead too. The remaining positive/negative C_qp and inverse map pairs on +ordinary copies cancel. Copy propagation leaves precisely the 96 direct +bridge ADDs already present in the source schedule. + +For an exact external-state comparison the checker also retains all 120 +allocated workspace fields: the fused word is 96 direct ADDs plus 120 CLEARs, +scalar allowance 1,008. It compares every final value and frame, including +all initially arbitrary workspace, with the serial word. If those unused +fields are never allocated, their cleanup disappears and the source bridge +bill is 768. This avoids treating discarded arbitrary owned dirt as zero. + +Fusion removes the added encode/decode work; it does not remove any of the +96 actual source Y bridge ADDs. Therefore this serial repair closes the +missing-information boundary but supplies no new saving for this one +bridge-only continuation. That is the bounded stop result. It is not a +universal lower bound on bridge implementations, shared queries, a changed +producer, or a continuation which independently needs h and a elsewhere. + +## Obligation ledger and decision + +| Obligation | Status | +|---|---| +| Actual bridge event and preceding idle placement in source schedule | Proved by pinned template data | +| Arbitrary-array sufficiency of (h,a) and exact bridge result | Proved in ordered routed algebra | +| Concrete native word, signed kernels, full frames, ownership, zero return | Constructively verified under inherited native-child contract | +| Complete local child/map/wrapper/scalar counts | Proved from literal words | +| No additional source bridge operations eliminated by this fusion | Proved for the displayed words and bridge-only endpoint | +| Complete QQ16 substitution, actual inter-pair physical owner alignment | Unknown | +| Hosting 120 full-cover fields, address/control/movement and return costs | Unknown | +| Intermediate magnitudes, rounded defects and recursive/all-depth admission | Unknown | +| Invocation/family coverage and supplier moment | Not derived here | + +Stop the separate projection-plus-query-plus-reconstitution route at this +boundary. A different local producer or a shared downstream query use can +reopen it only with a named source operation that actually disappears. No +old fixed-pair numerical relaxation is used to reject an actual global rate. +There are no surviving H8 centre children to retire in the QQ16 core. + +## Credit + +Credit PR3952 for the projection and exact demand; PR3963 for the actual +bridge/missing-query obstruction; ywz65 PR2512/2707 and Arham Tahir PR2681 +for the native reconstruction, line normalization and routed inverse; +Ali Romman and the retained QQ16/source/native/geometry lineage; alephnan +PR2346 and thakrarsagar PR2470 for the outer-controller boundary. Source +notices and predecessor scientific claims are unchanged. New contribution: +the paid 104-field bridge composition, full local invoice and exact +source-work/fusion audit. Chris R / Clear1nsight with substantial OpenAI +Codex assistance, Apache-2.0; no independent human review is claimed. diff --git a/research/qq16-paid-bridge-composition/README.md b/research/qq16-paid-bridge-composition/README.md new file mode 100644 index 0000000000..751f285109 --- /dev/null +++ b/research/qq16-paid-bridge-composition/README.md @@ -0,0 +1,85 @@ +# A paid query closes the bridge boundary, but repays the saving + +PR3963 identified the missing current-Y contribution at the actual ordinary +bridge after F0/B1 and pair-1 idle preparation. This package augments PR3952's +96 earlier y1_U outputs with the eight current query components. It gives a +literal, legal local consumer of that 104-field boundary and verifies the +complete composition on arbitrary routed arrays. + +The serial composition costs **208 H1, 416 wrappers, 400 cover maps and 15,040 +scalar primitive allowance**, with 120 owned full-cover workspace fields and +eight owner-private fields. Borrowed current Y is unchanged; the mutable +other-pair target receives the exact bridge subtraction; all workspace returns +zero/identity. No early retention is needed. + +The result is a scoped stop for this repair. Algebraic/native fusion cancels +the newly added query subtraction and reconstruction and yields the existing +96 source bridge ADDs. The augmented interface closes the information gap, +but no source bridge operation disappears. Under the same common-label +native entry premise, direct subtraction costs 768 scalar allowance. If all +120 extra fields remain allocated, their paid cleanup raises that to 1,008; +this exact external-state variant is also checked. + +[PROOF.md](PROOF.md) gives the arbitrary-array equations, source event3, +complete ownership/frame/cleanup contract, invoices and obligation ledger. +This is not an admitted complete QQ16 substitution, a global cost rejection, +or a claim that eight new physical families are necessary. Source placement, +movement, storage, rounded precision, coverage and recursive admission remain +open. The existing centre removal is not credited again. + +## Reproduce + +```sh +python3 -I -Werror -B research/qq16-paid-bridge-composition/verify.py +python3 -I -O -Werror -B research/qq16-paid-bridge-composition/test_verify.py +python3 -B scripts/research_package.py --package research/qq16-paid-bridge-composition +``` + +Python 3.12 standard library. Replay is read-only and compares complete typed +RESULT/WORDS receipts. The checker imports no predecessor executable. It +authenticates SHA256 and Git blobs for five canonical inputs and the retained PR3952 WORD data, then +checks 208 independent data fields, 120 independent owned dirt fields, exact +intermediate h/a outputs, all 73 phase coordinates and 106,496 signed native +basis columns. Semantic controls reject a wrong query sign, wrong affine +shift, omitted inverse line and missing query cleanup. Normal replay never writes; explicit generation refuses existing receipts. +Test/export evidence +and unrun obligations are recorded in VERIFICATION.json. + +## Scope and workflow + +Explicit assigned parallel follow-up of PR3963, own focused package/branch. +Canonical main 20ecf2891d80b5acf18d980b2164fb44ea7faa90, priority 6, with original +`joint-query-controller` card retained in TASK.json. The [canonical claim](https://github.com/CrocSwap/integer-mult-bounds/pull/3963#issuecomment-6262031944) +coordinates the distinct bridge, full-recovery and budget audits. + +Targeted live searches covered QQ16 bridge/query work, including 3963, 3652, +2470 and the canonical scope map. Shared Discussion checks covered 2657, +2617, 2192 and 2205. Coverage is partial; there is no novelty guarantee. +The new question is a paid 104-field native composition and actual source-work +comparison, beyond the prior 96-field insufficiency witness. Separate sibling +results are not executable or scientific dependencies of this package. + +## Open next questions + +- Can a changed producer deliver the actual current-Y contribution directly + while eliminating some existing producer or bridge work? First identify + the exact deleted native/scalar operations and their replacement contract. +- Does another actual continuation independently consume h or a, so this + projection/query computation can be shared? Pin its input frames, first + and last uses, borrowed-state return and complete physical bill before + allocating another query bank. +- Can the required inter-pair common-label boundary be physically realized + with an admitted QQ16 placement? Account for the preceding idle sweep, + movement and all family lifetimes rather than importing selected coverage. + +These are the bounded reopening conditions in TASK.json. No further separate +query-encoding optimization for this bridge-only endpoint is justified here. + +## Credit + +Chris R / Clear1nsight with substantial OpenAI Codex assistance, Apache-2.0. +Preserve PR3952/3963 demand and boundary audits, ywz65 PR2512/2707, Arham Tahir +PR2681, Ali Romman's QQ16/source lineage, alephnan PR2346, thakrarsagar PR2470, +the geometry/native/supplier contributors and retained notices. Exact reuse +and source pins are in PREDECESSORS.json and SOURCES.json. No independent +human or proof-assistant review is claimed. diff --git a/research/qq16-paid-bridge-composition/RESULT.json b/research/qq16-paid-bridge-composition/RESULT.json new file mode 100644 index 0000000000..36365fffaf --- /dev/null +++ b/research/qq16-paid-bridge-composition/RESULT.json @@ -0,0 +1,202 @@ +{ + "actual_bridge_physical_prefix": [ + { + "entry_exit_phase_adapters": "DATA-PHASES.recipes[port].stage_alignment[stage]", + "kind": "local_cover_sweep", + "provider_id": "gauge44", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 0, + "stage": 0, + "time": 0 + }, + { + "entry_exit_phase_adapters": "DATA-PHASES.recipes[port].stage_alignment[stage]", + "kind": "local_cover_sweep", + "provider_id": "gauge44", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 1, + "stage": 1, + "time": 4 + }, + { + "child_indices": [ + 0, + 2 + ], + "from_level": -1, + "kind": "idle_cover_sweep", + "pair": 1, + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 2, + "time": 4, + "to_level": 1 + }, + { + "coefficient": 1, + "dst": 0, + "kind": "bridge", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 3, + "src": 1, + "time": 4 + }, + { + "entry_exit_phase_adapters": "DATA-PHASES.recipes[port].stage_alignment[stage]", + "kind": "local_cover_sweep", + "provider_id": "gauge44", + "replica": 0, + "replicas": [ + 0 + ], + "source_event": 4, + "stage": 2, + "time": 10 + } + ], + "archive_members": { + "t16/global/base/work/complex-nine-native/DATA-PHASES.json": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "t16/global/hosted/GLOBAL-TEMPLATE.json.gz": "73f47a1e60b1e4ea66dbca9a497c411c8e6adc7984e276a437a10a9a7a13b47a" + }, + "checks": { + "arbitrary_independent_data_fields": 208, + "exact_final_operator_and_frames_equal_direct": true, + "full_mod4_phase_coordinates": 73, + "independent_owned_dirt_fields": 120, + "intermediate_projected_routed_terms": 4992, + "literal_projection_events": 1410, + "query_routed_terms": 448, + "regenerated_projection_matches": true, + "scalar_frame_equalities": 1432 + }, + "decision": "stop serial decode/query/reconstitute route for this bridge-only demand: fusion yields existing direct Y bridge, not source saving", + "equation": "Y2_U=h+K_(1,U)a; h=Y2_U-K_(1,U)R_1Y2; a=R_1Y2", + "invoices": { + "augmented_producer": { + "begin": 1, + "clear": 152, + "end": 1, + "line": 112, + "map": 208, + "native_wrappers": 224, + "quarter_ADD": 384, + "scalar_allowance": 9456, + "unit_ADD": 568 + }, + "consumer": { + "begin": 0, + "clear": 104, + "end": 0, + "line": 96, + "map": 192, + "native_wrappers": 192, + "quarter_ADD": 384, + "scalar_allowance": 5584, + "unit_ADD": 96 + }, + "direct_bridge": { + "begin": 0, + "clear": 0, + "end": 0, + "line": 0, + "map": 0, + "native_wrappers": 0, + "quarter_ADD": 0, + "scalar_allowance": 768, + "unit_ADD": 96 + }, + "direct_same_workspace": { + "begin": 0, + "clear": 120, + "end": 0, + "line": 0, + "map": 0, + "native_wrappers": 0, + "quarter_ADD": 0, + "scalar_allowance": 1008, + "unit_ADD": 96 + }, + "projection": { + "begin": 1, + "clear": 144, + "end": 1, + "line": 112, + "map": 208, + "native_wrappers": 224, + "quarter_ADD": 384, + "scalar_allowance": 9376, + "unit_ADD": 560 + }, + "serial_composition": { + "begin": 1, + "clear": 256, + "end": 1, + "line": 208, + "map": 400, + "native_wrappers": 416, + "quarter_ADD": 768, + "scalar_allowance": 15040, + "unit_ADD": 664 + } + }, + "native_kernel_checks": { + "negative_ports": 96, + "negative_translation_controls": 96, + "normalization": "common Gaussian denominator2; tensor extension by products", + "positive_ports": 112, + "signed_basis_columns": 106496 + }, + "negative_controls": [ + "wrong query sign changes exact routed bridge output", + "omit affine shift rejects frame mismatch", + "omit inverse C_q rejects target frame mismatch", + "omit query clear leaves nonzero owned output" + ], + "no_new_kappa": true, + "scope": "Constructive local native contract and exact operator/frame proof. Global placement, movement, coverage, precision and recursive admission remain open. No optimality theorem for changed producers/shared consumers.", + "source_pins": { + "docs/research/qq16-controller-scope-map.md": "9b6d42ff4acc044d8272a405839f0bbb1f42a61813da163e7a27f45b61e6ee8c", + "research/community-frontier1042-audit/selected-replay.tar.gz": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754", + "research/joint-query/certificate.json.gz": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7", + "research/joint-query/evidence/CONSERVED-QQ16.md": "60f0de3a7205ba5046b5ae7ffa8bf2b1ea42ea46b498face0a77966b59e7f3fb", + "research/qq16-line-normalized-decoder/PROOF.md": "0a0995e70f2a64c15cdd1aee66634d1ba221cbcb2a7cfa3a4d4950a37d0e143a" + }, + "source_work_replaced": { + "additional_source_ADDs_eliminated": 0, + "ordinary_X_bridge": "unchanged and outside replacement", + "ordinary_Y_bridge_unit_ADDs": 96 + }, + "status": "PASS_QQ16_PAID_BRIDGE_COMPOSITION", + "typed_contract": { + "borrowed_current_Y": 112, + "borrowed_sources": "unchanged", + "early_retention": 0, + "global_owner_placement": "not established for complete QQ16 substitution", + "mutable_other_pair_Y_U": 96, + "mutable_target_frame": "F17 C_q^-1 before and after", + "owned_full_cover_workspace": 120, + "owned_intermediate_outputs": { + "a_F17": 8, + "h_F17": 96 + }, + "owned_workspace_final": "all zero/I", + "private_scratch_peak": 8 + }, + "word_sha256": { + "augmented_producer": "7e9570072473e22611c3a847cb757b162286b34cbc866377cf0e3abab7ae7105", + "consumer": "96b74d99df576f38efb6270dfb766d45310bb4d343323d612ff8b84db58bfcf4", + "direct_bridge": "1db1e8a5141edcee25050159b71c05e4ea35da64dc3748a197cce9b593dc20c5", + "direct_same_workspace": "3f072d7a65c0bdb884731ac04389d6d441d4973d3e97b49410a813325a73cc58" + } +} diff --git a/research/qq16-paid-bridge-composition/REVIEWS.json b/research/qq16-paid-bridge-composition/REVIEWS.json new file mode 100644 index 0000000000..78f6d43580 --- /dev/null +++ b/research/qq16-paid-bridge-composition/REVIEWS.json @@ -0,0 +1,23 @@ +{ + "schema_version": 1, + "review_kind": "independent AI agent review; no human or proof-assistant verification", + "reviews": [ + { + "reviewer": "parallel coverage/budget agent C", + "status": "PASS within stated scope", + "checked_sha256": { + "verify.py": "92b2557dd36033cc1f87cbbbec7cd3e38b9e214c9186d5177d5fa38c4e31277c", + "PROOF.md": "649552d4422b44df5f2c67c50b4e989d12dd8847563902b7a9d54bf441ace5a1", + "RESULT.json": "7897a9517b66fefb1cf0be19b7cc839a3348f0ff368341fd434681b302471e02" + }, + "evidence": "Independent optimized replay passed; inspected ordered routed operator, h/a boundary, signed kernels, arbitrary dirty cleanup, complete phases, and fusion against same-workspace comparator1008 versus unallocated-workspace768.", + "later_changes": "Canonical-input Git-blob authentication, regeneration overwrite refusal, presentation spacing and test/metadata additions followed the reviewed revision. Final code regression is author/agent execution, not a claim C replayed every final byte." + }, + { + "reviewer": "root coordinating agent", + "status": "no blocking finding in scoped proof/code audit", + "evidence": "Checked arbitrary208 data plus120 owned dirt symbolic complete fusion; all eight queries captured before mutation; full-frame/ownership contract and conditional common-label comparison. Requested overwrite/blob hardening and explicit signed native kernel checks; all supplied.", + "limits": "No physical tape execution, precision proof, full QQ16 placement or global supplier admission reviewed." + } + ] +} diff --git a/research/qq16-paid-bridge-composition/SOURCES.json b/research/qq16-paid-bridge-composition/SOURCES.json new file mode 100644 index 0000000000..3c6770d855 --- /dev/null +++ b/research/qq16-paid-bridge-composition/SOURCES.json @@ -0,0 +1,48 @@ +{ + "schema_version": 1, + "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5", + "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0" + }, + { + "path": "docs/research/qq16-controller-scope-map.md", + "usage": "input", + "git_blob": "388ae2e82277f53a032eb555ffb53ff387f17c29", + "sha256": "9b6d42ff4acc044d8272a405839f0bbb1f42a61813da163e7a27f45b61e6ee8c" + }, + { + "path": "research/community-frontier1042-audit/selected-replay.tar.gz", + "usage": "input", + "git_blob": "6f4dc6fe7631d8aacf8081fcaecf32197181685b", + "sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754" + }, + { + "path": "research/joint-query/certificate.json.gz", + "usage": "input", + "git_blob": "c6e876d8b48d768214deee265ade428f8983b566", + "sha256": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7" + }, + { + "path": "research/joint-query/evidence/CONSERVED-QQ16.md", + "usage": "input", + "git_blob": "4639583c1be02c2fb60ed8a8072c9969ef1569ce", + "sha256": "60f0de3a7205ba5046b5ae7ffa8bf2b1ea42ea46b498face0a77966b59e7f3fb" + }, + { + "path": "research/qq16-line-normalized-decoder/PROOF.md", + "usage": "input", + "git_blob": "f7c694ff54e590416e4a52fa762f9d3b9474bccb", + "sha256": "0a0995e70f2a64c15cdd1aee66634d1ba221cbcb2a7cfa3a4d4950a37d0e143a" + } + ] +} diff --git a/research/qq16-paid-bridge-composition/TASK.json b/research/qq16-paid-bridge-composition/TASK.json new file mode 100644 index 0000000000..419ae2cefe --- /dev/null +++ b/research/qq16-paid-bridge-composition/TASK.json @@ -0,0 +1,109 @@ +{ + "schema_version": 1, + "task_id": "joint-query-controller", + "priority_revision": 6, + "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "original_card": { + "id": "joint-query-controller", + "question": "Can a literal QQ16 producer meet the proposed completed-output error budgets with dirty helpers and an affordable physical consumer?", + "starting_points": [ + "docs/research/research-family-status.md", + "research/joint-query/README.md", + "research/joint-query/evidence/QQ16-SELECTED-WITNESS.md", + "research/joint-query/evidence/JOINT-QUERY-TRANSFER.md", + "docs/research/community-efficient1000-review.md", + "research/qq16-producer-defect-transfer/README.md" + ], + "methods": [ + "Derive one literal producer's completed-output defects and intermediate dirty-helper bounds, with its physical bill.", + "Design or audit one consumer, retention or hosting boundary and its complete cost for the pinned producer/decoder." + ], + "acceptance_gate": "Name the changed premise of the fixed F0/B1 observation obstruction. Show exactly which query is recovered, legal native reads and restoration, and a full favorable budget including cover maps, helpers and endpoints. Local inverse identities alone do not close the global controller. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the revision-6 family record and #2965 producer-defect transfer after the local QQ16 decoder contract. Its author-checked output-error estimate does not implement producer interiors, bound dirty helpers, or pay for the consumer; independently check the implication used.", + "scope": "Source-bound orientation only. Read the named package and review before relying on its local evidence; this command is not its replay or supplier admission." + }, + "first_experiment": "Pin one literal F0/B1 producer and its native-child contracts; derive the actual intermediate magnitude ledger and completed-output defects, including dirty helpers and correlations. Compare with #2965 budgets and price storage, movement, cleanup and F17 consumption. Stop with a precise missing bound if no producer contract supplies it; do not optimize another decoder precision constant in isolation.", + "bottleneck_link": "The native local words exist; retained query information and its physical access are the missing link to a composed recursive interface.", + "allowed_variations": [ + "One paid query, one changed first pair, or one precisely specified affine helper state.", + "A counterexample or lower bound for that exact proposed repair.", + "One unresolved obligation of a newer local decoder, with exact source heads and a distinct claim/domain." + ], + "scope_change_triggers": [ + "Retaining the fixed first pair and ordinary schedule while allowing only homogeneous selected-only control, already excluded by the witness.", + "Treating cover-map counts as zero-cost physical address operations.", + "Recreating the pending complete local decoder or early-record/output-bank coalescing already under investigation without a distinct audit or changed premise.", + "Treating a completed-output defect inequality as a producer-interior, dirty-range or physical-cost certificate." + ], + "overlap_terms": [ + "QQ16", + "joint-query", + "changing-chart controller", + "selected observation", + "1969", + "2540", + "early record", + "output-bank retention", + "complete native decoder", + "2965", + "producer defect", + "dirty-helper range", + "F17 consumer" + ] + }, + "scope_status": "refined", + "actual_scope": "Augment the pinned 96-output projection with eight paid current-Y queries, construct its actual ordinary Y bridge consumer, and determine which source work disappears after exact fusion.", + "scope_change_reason": "User-assigned paid-query follow-up of PR3963, within the card allowance for one changed observation boundary and full physical consumer audit.", + "bottleneck_link": "The actual post-F0/B1 ordinary bridge reads current Y; projected earlier y1_U omits its query contribution. This tests a paid repair against the exact source bridge operations.", + "budget_minutes": 60, + "stop_rule": "Stop once a complete local word and invoice establish the bridge result and exact fusion, or a precise missing module blocks them. Reopen only for a changed producer that deletes named source work or an independently required shared query use.", + "outcome": "negative-result", + "evidence": "PROOF.md, complete typed RESULT.json and literal WORDS.json; independently regenerated retained projection, arbitrary routed-array equality, full frames/ownership/zero return, signed native kernels, exact source bridge prefix and failure controls.", + "author": "Chris R / Clear1nsight with OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance in derivation, implementation, source checks and agent crossreview. Author reviewed scope and publication through the requested workflow. No independent human review or proof-assistant check is claimed.", + "open_questions": [ + { + "question": "Can a changed producer deliver current-Y bridge contributions while deleting existing source work?", + "why_it_matters": "This serial projection/query repair repays its own omitted term and fuses to the existing bridge.", + "first_step": "Name the source operations removed and write the replacement native entry/output/cleanup contract before optimizing it.", + "blocked_by": "No changed producer with a demonstrated deleted operation is supplied." + }, + { + "question": "Does another actual continuation independently consume h or a?", + "why_it_matters": "A shared use could change the bridge-only fusion accounting.", + "first_step": "Pin its actual source event, first/last uses, frames and full cost; compare the composed word.", + "blocked_by": "No independent downstream use is established here." + }, + { + "question": "Can the assumed common-label inter-pair native boundary be physically hosted?", + "why_it_matters": "The original selected template uses gauge44 and does not admit the proposed QQ16 placement.", + "first_step": "Trace the preceding idle sweep, owner movement, 120 full-cover field lifetimes and full six-tape obligations.", + "blocked_by": "Physical placement, movement, precision and global coverage remain open." + } + ], + "coordination": { + "claim": "https://github.com/CrocSwap/integer-mult-bounds/pull/3963#issuecomment-6262031944", + "coverage": "Targeted live QQ16 bridge/query search and parent Discussion checks; partial remote overlap coverage, no novelty guarantee." + }, + "checkpoints": [ + { + "utc": "2026-10-19T07:26:00Z", + "canonical_main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "priority_revision": 6, + "decision": "Continue explicit assigned paid-query boundary audit; parent coordination and live overlap checked." + }, + { + "utc": "2026-10-19T07:45:00Z", + "canonical_main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "priority_revision": 6, + "decision": "Canonical fetch unchanged; preserve frozen source/data pins, no new construction round; proceed with verified local composition and bounded stop." + } + ] +} diff --git a/research/qq16-paid-bridge-composition/VERIFICATION.json b/research/qq16-paid-bridge-composition/VERIFICATION.json new file mode 100644 index 0000000000..b62e109c18 --- /dev/null +++ b/research/qq16-paid-bridge-composition/VERIFICATION.json @@ -0,0 +1,53 @@ +{ + "schema_version": 1, + "verification_time_utc": "2026-10-19T07:48:28Z", + "environment": { + "python": "3.12.3", + "platform": "Linux-7.0.0-38-generic-x86_64-with-glibc2.39", + "requirements": "Python standard library only" + }, + "scientific_artifact_sha256": { + "verify.py": "5c26438418e13834e05764efda783dbbd560881bd70a7a73997725b6dbf142cb", + "test_verify.py": "d9fd532e1c246e07fc78d5e64eda055ab2753d911296f8933130759aaec21beb", + "PROOF.md": "aeeb36050e7b8300de12bde14b11a9b43613470fe63ac789b44f5ad185369260", + "RESULT.json": "7897a9517b66fefb1cf0be19b7cc839a3348f0ff368341fd434681b302471e02", + "WORDS.json": "19383d203ee1e515c96226afda5437aee464993fb74ec632db515275c6575a04", + "SOURCES.json": "809d7dce984fc2cc901867c58420f69b75600f833673e363a8104504d1b9bd09", + "PREDECESSORS.json": "fe60aa114487c918c2fa90809975c84d320197cb6c2157dc779bebaeed52afad" + }, + "observed_checks": [ + { + "command": "python3 -I -O -Werror -B research/qq16-paid-bridge-composition/verify.py", + "result": "PASS_QQ16_PAID_BRIDGE_COMPOSITION no_new_kappa" + }, + { + "command": "python3 -I -O -Werror -B research/qq16-paid-bridge-composition/test_verify.py", + "result": "Seven tests PASS; includes normal and optimized replay, unchanged file snapshots, read-only Git-free export with PATH=/nonexistent, canonical SHA/Git-blob corruption, pending data corruption, full-word/typed-receipt mutation, regeneration overwrite refusal." + }, + { + "command": "python3 -B scripts/research_package.py --package research/qq16-paid-bridge-composition --check-only", + "result": "PASS_PACKAGE_METADATA_AND_PINS" + }, + { + "command": "python3 -B scripts/research_package.py --package research/qq16-paid-bridge-composition", + "result": "PASS_REGISTERED_RESEARCH_PACKAGE; optimized verifier and all seven boundary tests passed." + }, + { + "command": "python3 -B scripts/research_baseline.py", + "result": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY; not selected supplier replay or mathematical acceptance." + } + ], + "semantic_controls": [ + "Wrong query sign changes the exact routed bridge result.", + "Omitted affine shift fails complete phase equality.", + "Omitted inverse C_q fails target frame equality.", + "Omitted final Q clear leaves nonzero owned output.", + "Missing inverse native translation fails exact signed Gaussian kernel." + ], + "unrun_or_unproved": [ + "Full selected cold replay, Lean or other proof assistant, human review.", + "Physical six-tape placement, movement, full-cover workspace hosting and inter-pair QQ16 native alignment.", + "Rounded precision, intermediate magnitude/error bounds, global invocation coverage and recursive supplier admission." + ], + "publication_preflight": "Final committed byte/source-history and repository bundle checks are reported against the publication head in the PR; they are not self-referential claims about this file." +} diff --git a/research/qq16-paid-bridge-composition/VERIFY.json b/research/qq16-paid-bridge-composition/VERIFY.json new file mode 100644 index 0000000000..86802fa568 --- /dev/null +++ b/research/qq16-paid-bridge-composition/VERIFY.json @@ -0,0 +1,39 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "docs/research/qq16-controller-scope-map.md", + "research/community-frontier1042-audit/selected-replay.tar.gz", + "research/joint-query/certificate.json.gz", + "research/joint-query/evidence/CONSERVED-QQ16.md", + "research/qq16-line-normalized-decoder/PROOF.md" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-O", + "-Werror", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 180, + "checks": "Complete routed arbitrary-array composition, all phase/ownership/zero-return checks, signed native kernels, literal words and typed receipt; semantic negative controls." + }, + { + "argv": [ + "{python}", + "-I", + "-O", + "-Werror", + "-B", + "{package}/test_verify.py" + ], + "timeout_seconds": 420, + "checks": "Normal and optimized read-only replay; Git-free export; source/word/typed-receipt rejection and regeneration overwrite refusal." + } + ] +} diff --git a/research/qq16-paid-bridge-composition/WORDS.json b/research/qq16-paid-bridge-composition/WORDS.json new file mode 100644 index 0000000000..f43708eb26 --- /dev/null +++ b/research/qq16-paid-bridge-composition/WORDS.json @@ -0,0 +1,15692 @@ +{ + "augmented_producer": [ + [ + "clear", + "Q0", + "current" + ], + [ + "clear", + "Q1", + "current" + ], + [ + "clear", + "Q2", + "current" + ], + [ + "clear", + "Q3", + "current" + ], + [ + "clear", + "Q4", + "current" + ], + [ + "clear", + "Q5", + "current" + ], + [ + "clear", + "Q6", + "current" + ], + [ + "clear", + "Q7", + "current" + ], + [ + "clear", + "W0", + "hole0" + ], + [ + "add", + "W0", + "Y0", + "1" + ], + [ + "line", + "W0", + 0, + 1 + ], + [ + "clear", + "W1", + "hole1" + ], + [ + "add", + "W1", + "Y1", + "1" + ], + [ + "line", + "W1", + 1, + 1 + ], + [ + "clear", + "W2", + "hole2" + ], + [ + "add", + "W2", + "Y2", + "1" + ], + [ + "line", + "W2", + 2, + 1 + ], + [ + "clear", + "W3", + "hole3" + ], + [ + "add", + "W3", + "Y3", + "1" + ], + [ + "line", + "W3", + 3, + 1 + ], + [ + "clear", + "W4", + "hole4" + ], + [ + "add", + "W4", + "Y4", + "1" + ], + [ + "line", + "W4", + 4, + 1 + ], + [ + "clear", + "W5", + "hole5" + ], + [ + "add", + "W5", + "Y5", + "1" + ], + [ + "line", + "W5", + 5, + 1 + ], + [ + "clear", + "W6", + "hole6" + ], + [ + "add", + "W6", + "Y6", + "1" + ], + [ + "line", + "W6", + 6, + 1 + ], + [ + "clear", + "W7", + "hole7" + ], + [ + "add", + "W7", + "Y7", + "1" + ], + [ + "line", + "W7", + 7, + 1 + ], + [ + "clear", + "W8", + "hole8" + ], + [ + "add", + "W8", + "Y8", + "1" + ], + [ + "line", + "W8", + 8, + 1 + ], + [ + "clear", + "W9", + "hole9" + ], + [ + "add", + "W9", + "Y9", + "1" + ], + [ + "line", + "W9", + 9, + 1 + ], + [ + "clear", + "W10", + "hole10" + ], + [ + "add", + "W10", + "Y10", + "1" + ], + [ + "line", + "W10", + 10, + 1 + ], + [ + "clear", + "W11", + "hole11" + ], + [ + "add", + "W11", + "Y11", + "1" + ], + [ + "line", + "W11", + 11, + 1 + ], + [ + "clear", + "W12", + "hole12" + ], + [ + "add", + "W12", + "Y12", + "1" + ], + [ + "line", + "W12", + 12, + 1 + ], + [ + "clear", + "W13", + "hole13" + ], + [ + "add", + "W13", + "Y13", + "1" + ], + [ + "line", + "W13", + 13, + 1 + ], + [ + "clear", + "W14", + "hole14" + ], + [ + "add", + "W14", + "Y14", + "1" + ], + [ + "line", + "W14", + 14, + 1 + ], + [ + "clear", + "W15", + "hole15" + ], + [ + "add", + "W15", + "Y15", + "1" + ], + [ + "line", + "W15", + 15, + 1 + ], + [ + "clear", + "W16", + "hole16" + ], + [ + "add", + "W16", + "Y16", + "1" + ], + [ + "line", + "W16", + 16, + 1 + ], + [ + "clear", + "W17", + "hole17" + ], + [ + "add", + "W17", + "Y17", + "1" + ], + [ + "line", + "W17", + 17, + 1 + ], + [ + "clear", + "W18", + "hole18" + ], + [ + "add", + "W18", + "Y18", + "1" + ], + [ + "line", + "W18", + 18, + 1 + ], + [ + "clear", + "W19", + "hole19" + ], + [ + "add", + "W19", + "Y19", + "1" + ], + [ + "line", + "W19", + 19, + 1 + ], + [ + "clear", + "W20", + "hole20" + ], + [ + "add", + "W20", + "Y20", + "1" + ], + [ + "line", + "W20", + 20, + 1 + ], + [ + "clear", + "W21", + "hole21" + ], + [ + "add", + "W21", + "Y21", + "1" + ], + [ + "line", + "W21", + 21, + 1 + ], + [ + "clear", + "W22", + "hole22" + ], + [ + "add", + "W22", + "Y22", + "1" + ], + [ + "line", + "W22", + 22, + 1 + ], + [ + "clear", + "W23", + "hole23" + ], + [ + "add", + "W23", + "Y23", + "1" + ], + [ + "line", + "W23", + 23, + 1 + ], + [ + "clear", + "W24", + "hole24" + ], + [ + "add", + "W24", + "Y24", + "1" + ], + [ + "line", + "W24", + 24, + 1 + ], + [ + "clear", + "W25", + "hole25" + ], + [ + "add", + "W25", + "Y25", + "1" + ], + [ + "line", + "W25", + 25, + 1 + ], + [ + "clear", + "W26", + "hole26" + ], + [ + "add", + "W26", + "Y26", + "1" + ], + [ + "line", + "W26", + 26, + 1 + ], + [ + "clear", + "W27", + "hole27" + ], + [ + "add", + "W27", + "Y27", + "1" + ], + [ + "line", + "W27", + 27, + 1 + ], + [ + "clear", + "W28", + "hole28" + ], + [ + "add", + "W28", + "Y28", + "1" + ], + [ + "line", + "W28", + 28, + 1 + ], + [ + "clear", + "W29", + "hole29" + ], + [ + "add", + "W29", + "Y29", + "1" + ], + [ + "line", + "W29", + 29, + 1 + ], + [ + "clear", + "W30", + "hole30" + ], + [ + "add", + "W30", + "Y30", + "1" + ], + [ + "line", + "W30", + 30, + 1 + ], + [ + "clear", + "W31", + "hole31" + ], + [ + "add", + "W31", + "Y31", + "1" + ], + [ + "line", + "W31", + 31, + 1 + ], + [ + "clear", + "W32", + "hole32" + ], + [ + "add", + "W32", + "Y32", + "1" + ], + [ + "line", + "W32", + 32, + 1 + ], + [ + "clear", + "W33", + "hole33" + ], + [ + "add", + "W33", + "Y33", + "1" + ], + [ + "line", + "W33", + 33, + 1 + ], + [ + "clear", + "W34", + "hole34" + ], + [ + "add", + "W34", + "Y34", + "1" + ], + [ + "line", + "W34", + 34, + 1 + ], + [ + "clear", + "W35", + "hole35" + ], + [ + "add", + "W35", + "Y35", + "1" + ], + [ + "line", + "W35", + 35, + 1 + ], + [ + "clear", + "W36", + "hole36" + ], + [ + "add", + "W36", + "Y36", + "1" + ], + [ + "line", + "W36", + 36, + 1 + ], + [ + "clear", + "W37", + "hole37" + ], + [ + "add", + "W37", + "Y37", + "1" + ], + [ + "line", + "W37", + 37, + 1 + ], + [ + "clear", + "W38", + "hole38" + ], + [ + "add", + "W38", + "Y38", + "1" + ], + [ + "line", + "W38", + 38, + 1 + ], + [ + "clear", + "W39", + "hole39" + ], + [ + "add", + "W39", + "Y39", + "1" + ], + [ + "line", + "W39", + 39, + 1 + ], + [ + "clear", + "W40", + "hole40" + ], + [ + "add", + "W40", + "Y40", + "1" + ], + [ + "line", + "W40", + 40, + 1 + ], + [ + "clear", + "W41", + "hole41" + ], + [ + "add", + "W41", + "Y41", + "1" + ], + [ + "line", + "W41", + 41, + 1 + ], + [ + "clear", + "W42", + "hole42" + ], + [ + "add", + "W42", + "Y42", + "1" + ], + [ + "line", + "W42", + 42, + 1 + ], + [ + "clear", + "W43", + "hole43" + ], + [ + "add", + "W43", + "Y43", + "1" + ], + [ + "line", + "W43", + 43, + 1 + ], + [ + "clear", + "W44", + "hole44" + ], + [ + "add", + "W44", + "Y44", + "1" + ], + [ + "line", + "W44", + 44, + 1 + ], + [ + "clear", + "W45", + "hole45" + ], + [ + "add", + "W45", + "Y45", + "1" + ], + [ + "line", + "W45", + 45, + 1 + ], + [ + "clear", + "W46", + "hole46" + ], + [ + "add", + "W46", + "Y46", + "1" + ], + [ + "line", + "W46", + 46, + 1 + ], + [ + "clear", + "W47", + "hole47" + ], + [ + "add", + "W47", + "Y47", + "1" + ], + [ + "line", + "W47", + 47, + 1 + ], + [ + "clear", + "W48", + "hole48" + ], + [ + "add", + "W48", + "Y48", + "1" + ], + [ + "line", + "W48", + 48, + 1 + ], + [ + "clear", + "W49", + "hole49" + ], + [ + "add", + "W49", + "Y49", + "1" + ], + [ + "line", + "W49", + 49, + 1 + ], + [ + "clear", + "W50", + "hole50" + ], + [ + "add", + "W50", + "Y50", + "1" + ], + [ + "line", + "W50", + 50, + 1 + ], + [ + "clear", + "W51", + "hole51" + ], + [ + "add", + "W51", + "Y51", + "1" + ], + [ + "line", + "W51", + 51, + 1 + ], + [ + "clear", + "W52", + "hole52" + ], + [ + "add", + "W52", + "Y52", + "1" + ], + [ + "line", + "W52", + 52, + 1 + ], + [ + "clear", + "W53", + "hole53" + ], + [ + "add", + "W53", + "Y53", + "1" + ], + [ + "line", + "W53", + 53, + 1 + ], + [ + "clear", + "W54", + "hole54" + ], + [ + "add", + "W54", + "Y54", + "1" + ], + [ + "line", + "W54", + 54, + 1 + ], + [ + "clear", + "W55", + "hole55" + ], + [ + "add", + "W55", + "Y55", + "1" + ], + [ + "line", + "W55", + 55, + 1 + ], + [ + "clear", + "W56", + "hole56" + ], + [ + "add", + "W56", + "Y56", + "1" + ], + [ + "line", + "W56", + 56, + 1 + ], + [ + "clear", + "W57", + "hole57" + ], + [ + "add", + "W57", + "Y57", + "1" + ], + [ + "line", + "W57", + 57, + 1 + ], + [ + "clear", + "W58", + "hole58" + ], + [ + "add", + "W58", + "Y58", + "1" + ], + [ + "line", + "W58", + 58, + 1 + ], + [ + "clear", + "W59", + "hole59" + ], + [ + "add", + "W59", + "Y59", + "1" + ], + [ + "line", + "W59", + 59, + 1 + ], + [ + "clear", + "W60", + "hole60" + ], + [ + "add", + "W60", + "Y60", + "1" + ], + [ + "line", + "W60", + 60, + 1 + ], + [ + "clear", + "W61", + "hole61" + ], + [ + "add", + "W61", + "Y61", + "1" + ], + [ + "line", + "W61", + 61, + 1 + ], + [ + "clear", + "W62", + "hole62" + ], + [ + "add", + "W62", + "Y62", + "1" + ], + [ + "line", + "W62", + 62, + 1 + ], + [ + "clear", + "W63", + "hole63" + ], + [ + "add", + "W63", + "Y63", + "1" + ], + [ + "line", + "W63", + 63, + 1 + ], + [ + "clear", + "W64", + "hole64" + ], + [ + "add", + "W64", + "Y64", + "1" + ], + [ + "line", + "W64", + 64, + 1 + ], + [ + "clear", + "W65", + "hole65" + ], + [ + "add", + "W65", + "Y65", + "1" + ], + [ + "line", + "W65", + 65, + 1 + ], + [ + "clear", + "W66", + "hole66" + ], + [ + "add", + "W66", + "Y66", + "1" + ], + [ + "line", + "W66", + 66, + 1 + ], + [ + "clear", + "W67", + "hole67" + ], + [ + "add", + "W67", + "Y67", + "1" + ], + [ + "line", + "W67", + 67, + 1 + ], + [ + "clear", + "W68", + "hole68" + ], + [ + "add", + "W68", + "Y68", + "1" + ], + [ + "line", + "W68", + 68, + 1 + ], + [ + "clear", + "W69", + "hole69" + ], + [ + "add", + "W69", + "Y69", + "1" + ], + [ + "line", + "W69", + 69, + 1 + ], + [ + "clear", + "W70", + "hole70" + ], + [ + "add", + "W70", + "Y70", + "1" + ], + [ + "line", + "W70", + 70, + 1 + ], + [ + "clear", + "W71", + "hole71" + ], + [ + "add", + "W71", + "Y71", + "1" + ], + [ + "line", + "W71", + 71, + 1 + ], + [ + "clear", + "W72", + "hole72" + ], + [ + "add", + "W72", + "Y72", + "1" + ], + [ + "line", + "W72", + 72, + 1 + ], + [ + "clear", + "W73", + "hole73" + ], + [ + "add", + "W73", + "Y73", + "1" + ], + [ + "line", + "W73", + 73, + 1 + ], + [ + "clear", + "W74", + "hole74" + ], + [ + "add", + "W74", + "Y74", + "1" + ], + [ + "line", + "W74", + 74, + 1 + ], + [ + "clear", + "W75", + "hole75" + ], + [ + "add", + "W75", + "Y75", + "1" + ], + [ + "line", + "W75", + 75, + 1 + ], + [ + "clear", + "W76", + "hole76" + ], + [ + "add", + "W76", + "Y76", + "1" + ], + [ + "line", + "W76", + 76, + 1 + ], + [ + "clear", + "W77", + "hole77" + ], + [ + "add", + "W77", + "Y77", + "1" + ], + [ + "line", + "W77", + 77, + 1 + ], + [ + "clear", + "W78", + "hole78" + ], + [ + "add", + "W78", + "Y78", + "1" + ], + [ + "line", + "W78", + 78, + 1 + ], + [ + "clear", + "W79", + "hole79" + ], + [ + "add", + "W79", + "Y79", + "1" + ], + [ + "line", + "W79", + 79, + 1 + ], + [ + "clear", + "W80", + "hole80" + ], + [ + "add", + "W80", + "Y80", + "1" + ], + [ + "line", + "W80", + 80, + 1 + ], + [ + "clear", + "W81", + "hole81" + ], + [ + "add", + "W81", + "Y81", + "1" + ], + [ + "line", + "W81", + 81, + 1 + ], + [ + "clear", + "W82", + "hole82" + ], + [ + "add", + "W82", + "Y82", + "1" + ], + [ + "line", + "W82", + 82, + 1 + ], + [ + "clear", + "W83", + "hole83" + ], + [ + "add", + "W83", + "Y83", + "1" + ], + [ + "line", + "W83", + 83, + 1 + ], + [ + "clear", + "W84", + "hole84" + ], + [ + "add", + "W84", + "Y84", + "1" + ], + [ + "line", + "W84", + 84, + 1 + ], + [ + "clear", + "W85", + "hole85" + ], + [ + "add", + "W85", + "Y85", + "1" + ], + [ + "line", + "W85", + 85, + 1 + ], + [ + "clear", + "W86", + "hole86" + ], + [ + "add", + "W86", + "Y86", + "1" + ], + [ + "line", + "W86", + 86, + 1 + ], + [ + "clear", + "W87", + "hole87" + ], + [ + "add", + "W87", + "Y87", + "1" + ], + [ + "line", + "W87", + 87, + 1 + ], + [ + "clear", + "W88", + "hole88" + ], + [ + "add", + "W88", + "Y88", + "1" + ], + [ + "line", + "W88", + 88, + 1 + ], + [ + "clear", + "W89", + "hole89" + ], + [ + "add", + "W89", + "Y89", + "1" + ], + [ + "line", + "W89", + 89, + 1 + ], + [ + "clear", + "W90", + "hole90" + ], + [ + "add", + "W90", + "Y90", + "1" + ], + [ + "line", + "W90", + 90, + 1 + ], + [ + "clear", + "W91", + "hole91" + ], + [ + "add", + "W91", + "Y91", + "1" + ], + [ + "line", + "W91", + 91, + 1 + ], + [ + "clear", + "W92", + "hole92" + ], + [ + "add", + "W92", + "Y92", + "1" + ], + [ + "line", + "W92", + 92, + 1 + ], + [ + "clear", + "W93", + "hole93" + ], + [ + "add", + "W93", + "Y93", + "1" + ], + [ + "line", + "W93", + 93, + 1 + ], + [ + "clear", + "W94", + "hole94" + ], + [ + "add", + "W94", + "Y94", + "1" + ], + [ + "line", + "W94", + 94, + 1 + ], + [ + "clear", + "W95", + "hole95" + ], + [ + "add", + "W95", + "Y95", + "1" + ], + [ + "line", + "W95", + 95, + 1 + ], + [ + "clear", + "W96", + "hole96" + ], + [ + "add", + "W96", + "Y96", + "1" + ], + [ + "line", + "W96", + 96, + 1 + ], + [ + "clear", + "W97", + "hole97" + ], + [ + "add", + "W97", + "Y97", + "1" + ], + [ + "line", + "W97", + 97, + 1 + ], + [ + "clear", + "W98", + "hole98" + ], + [ + "add", + "W98", + "Y98", + "1" + ], + [ + "line", + "W98", + 98, + 1 + ], + [ + "clear", + "W99", + "hole99" + ], + [ + "add", + "W99", + "Y99", + "1" + ], + [ + "line", + "W99", + 99, + 1 + ], + [ + "clear", + "W100", + "hole100" + ], + [ + "add", + "W100", + "Y100", + "1" + ], + [ + "line", + "W100", + 100, + 1 + ], + [ + "clear", + "W101", + "hole101" + ], + [ + "add", + "W101", + "Y101", + "1" + ], + [ + "line", + "W101", + 101, + 1 + ], + [ + "clear", + "W102", + "hole102" + ], + [ + "add", + "W102", + "Y102", + "1" + ], + [ + "line", + "W102", + 102, + 1 + ], + [ + "clear", + "W103", + "hole103" + ], + [ + "add", + "W103", + "Y103", + "1" + ], + [ + "line", + "W103", + 103, + 1 + ], + [ + "clear", + "W104", + "hole104" + ], + [ + "add", + "W104", + "Y104", + "1" + ], + [ + "line", + "W104", + 104, + 1 + ], + [ + "clear", + "W105", + "hole105" + ], + [ + "add", + "W105", + "Y105", + "1" + ], + [ + "line", + "W105", + 105, + 1 + ], + [ + "clear", + "W106", + "hole106" + ], + [ + "add", + "W106", + "Y106", + "1" + ], + [ + "line", + "W106", + 106, + 1 + ], + [ + "clear", + "W107", + "hole107" + ], + [ + "add", + "W107", + "Y107", + "1" + ], + [ + "line", + "W107", + 107, + 1 + ], + [ + "clear", + "W108", + "hole108" + ], + [ + "add", + "W108", + "Y108", + "1" + ], + [ + "line", + "W108", + 108, + 1 + ], + [ + "clear", + "W109", + "hole109" + ], + [ + "add", + "W109", + "Y109", + "1" + ], + [ + "line", + "W109", + 109, + 1 + ], + [ + "clear", + "W110", + "hole110" + ], + [ + "add", + "W110", + "Y110", + "1" + ], + [ + "line", + "W110", + 110, + 1 + ], + [ + "clear", + "W111", + "hole111" + ], + [ + "add", + "W111", + "Y111", + "1" + ], + [ + "line", + "W111", + 111, + 1 + ], + [ + "map", + "W0", + 1, + 0, + false + ], + [ + "map", + "W1", + 1, + 1, + false + ], + [ + "map", + "W2", + 1, + 2, + false + ], + [ + "map", + "W3", + 1, + 3, + false + ], + [ + "map", + "W4", + 1, + 4, + false + ], + [ + "map", + "W5", + 1, + 5, + false + ], + [ + "map", + "W6", + 1, + 6, + false + ], + [ + "map", + "W7", + 1, + 7, + false + ], + [ + "map", + "W8", + 1, + 8, + false + ], + [ + "map", + "W9", + 1, + 9, + false + ], + [ + "map", + "W10", + 1, + 10, + false + ], + [ + "map", + "W11", + 1, + 11, + false + ], + [ + "map", + "W12", + 1, + 12, + false + ], + [ + "map", + "W13", + 1, + 13, + false + ], + [ + "map", + "W14", + 1, + 14, + false + ], + [ + "map", + "W15", + 1, + 15, + false + ], + [ + "map", + "W16", + 1, + 16, + false + ], + [ + "map", + "W17", + 1, + 17, + false + ], + [ + "map", + "W18", + 1, + 18, + false + ], + [ + "map", + "W19", + 1, + 19, + false + ], + [ + "map", + "W20", + 1, + 20, + false + ], + [ + "map", + "W21", + 1, + 21, + false + ], + [ + "map", + "W22", + 1, + 22, + false + ], + [ + "map", + "W23", + 1, + 23, + false + ], + [ + "map", + "W24", + 1, + 24, + false + ], + [ + "map", + "W25", + 1, + 25, + false + ], + [ + "map", + "W26", + 1, + 26, + false + ], + [ + "map", + "W27", + 1, + 27, + false + ], + [ + "map", + "W28", + 1, + 28, + false + ], + [ + "map", + "W29", + 1, + 29, + false + ], + [ + "map", + "W30", + 1, + 30, + false + ], + [ + "map", + "W31", + 1, + 31, + false + ], + [ + "map", + "W32", + 1, + 32, + false + ], + [ + "map", + "W33", + 1, + 33, + false + ], + [ + "map", + "W34", + 1, + 34, + false + ], + [ + "map", + "W35", + 1, + 35, + false + ], + [ + "map", + "W36", + 1, + 36, + false + ], + [ + "map", + "W37", + 1, + 37, + false + ], + [ + "map", + "W38", + 1, + 38, + false + ], + [ + "map", + "W39", + 1, + 39, + false + ], + [ + "map", + "W40", + 1, + 40, + false + ], + [ + "map", + "W41", + 1, + 41, + false + ], + [ + "map", + "W42", + 1, + 42, + false + ], + [ + "map", + "W43", + 1, + 43, + false + ], + [ + "map", + "W44", + 1, + 44, + false + ], + [ + "map", + "W45", + 1, + 45, + false + ], + [ + "map", + "W46", + 1, + 46, + false + ], + [ + "map", + "W47", + 1, + 47, + false + ], + [ + "map", + "W48", + 1, + 48, + false + ], + [ + "map", + "W49", + 1, + 49, + false + ], + [ + "map", + "W50", + 1, + 50, + false + ], + [ + "map", + "W51", + 1, + 51, + false + ], + [ + "map", + "W52", + 1, + 52, + false + ], + [ + "map", + "W53", + 1, + 53, + false + ], + [ + "map", + "W54", + 1, + 54, + false + ], + [ + "map", + "W55", + 1, + 55, + false + ], + [ + "map", + "W56", + 1, + 56, + false + ], + [ + "map", + "W57", + 1, + 57, + false + ], + [ + "map", + "W58", + 1, + 58, + false + ], + [ + "map", + "W59", + 1, + 59, + false + ], + [ + "map", + "W60", + 1, + 60, + false + ], + [ + "map", + "W61", + 1, + 61, + false + ], + [ + "map", + "W62", + 1, + 62, + false + ], + [ + "map", + "W63", + 1, + 63, + false + ], + [ + "map", + "W64", + 1, + 64, + false + ], + [ + "map", + "W65", + 1, + 65, + false + ], + [ + "map", + "W66", + 1, + 66, + false + ], + [ + "map", + "W67", + 1, + 67, + false + ], + [ + "map", + "W68", + 1, + 68, + false + ], + [ + "map", + "W69", + 1, + 69, + false + ], + [ + "map", + "W70", + 1, + 70, + false + ], + [ + "map", + "W71", + 1, + 71, + false + ], + [ + "map", + "W72", + 1, + 72, + false + ], + [ + "map", + "W73", + 1, + 73, + false + ], + [ + "map", + "W74", + 1, + 74, + false + ], + [ + "map", + "W75", + 1, + 75, + false + ], + [ + "map", + "W76", + 1, + 76, + false + ], + [ + "map", + "W77", + 1, + 77, + false + ], + [ + "map", + "W78", + 1, + 78, + false + ], + [ + "map", + "W79", + 1, + 79, + false + ], + [ + "map", + "W80", + 1, + 80, + false + ], + [ + "map", + "W81", + 1, + 81, + false + ], + [ + "map", + "W82", + 1, + 82, + false + ], + [ + "map", + "W83", + 1, + 83, + false + ], + [ + "map", + "W84", + 1, + 84, + false + ], + [ + "map", + "W85", + 1, + 85, + false + ], + [ + "map", + "W86", + 1, + 86, + false + ], + [ + "map", + "W87", + 1, + 87, + false + ], + [ + "map", + "W88", + 1, + 88, + false + ], + [ + "map", + "W89", + 1, + 89, + false + ], + [ + "map", + "W90", + 1, + 90, + false + ], + [ + "map", + "W91", + 1, + 91, + false + ], + [ + "map", + "W92", + 1, + 92, + false + ], + [ + "map", + "W93", + 1, + 93, + false + ], + [ + "map", + "W94", + 1, + 94, + false + ], + [ + "map", + "W95", + 1, + 95, + false + ], + [ + "map", + "W96", + 1, + 96, + false + ], + [ + "map", + "W97", + 1, + 97, + false + ], + [ + "map", + "W98", + 1, + 98, + false + ], + [ + "map", + "W99", + 1, + 99, + false + ], + [ + "map", + "W100", + 1, + 100, + false + ], + [ + "map", + "W101", + 1, + 101, + false + ], + [ + "map", + "W102", + 1, + 102, + false + ], + [ + "map", + "W103", + 1, + 103, + false + ], + [ + "map", + "W104", + 1, + 104, + false + ], + [ + "map", + "W105", + 1, + 105, + false + ], + [ + "map", + "W106", + 1, + 106, + false + ], + [ + "map", + "W107", + 1, + 107, + false + ], + [ + "map", + "W108", + 1, + 108, + false + ], + [ + "map", + "W109", + 1, + 109, + false + ], + [ + "map", + "W110", + 1, + 110, + false + ], + [ + "map", + "W111", + 1, + 111, + false + ], + [ + "begin", + "B1_current_query", + 8 + ], + [ + "clear", + "F0", + "wide" + ], + [ + "add", + "F0", + "W0", + "1" + ], + [ + "add", + "F0", + "W2", + "1" + ], + [ + "add", + "F0", + "W7", + "1" + ], + [ + "add", + "F0", + "W9", + "1" + ], + [ + "add", + "F0", + "W10", + "1" + ], + [ + "add", + "F0", + "W11", + "1" + ], + [ + "add", + "F0", + "W12", + "1" + ], + [ + "add", + "F0", + "W17", + "1" + ], + [ + "add", + "F0", + "W18", + "1" + ], + [ + "add", + "F0", + "W19", + "1" + ], + [ + "add", + "F0", + "W22", + "1" + ], + [ + "add", + "F0", + "W23", + "1" + ], + [ + "add", + "F0", + "W24", + "1" + ], + [ + "add", + "F0", + "W25", + "1" + ], + [ + "add", + "F0", + "W27", + "1" + ], + [ + "add", + "F0", + "W31", + "1" + ], + [ + "add", + "F0", + "W32", + "1" + ], + [ + "add", + "F0", + "W33", + "1" + ], + [ + "add", + "F0", + "W34", + "1" + ], + [ + "add", + "F0", + "W35", + "1" + ], + [ + "add", + "F0", + "W38", + "1" + ], + [ + "add", + "F0", + "W39", + "1" + ], + [ + "add", + "F0", + "W40", + "1" + ], + [ + "add", + "F0", + "W45", + "1" + ], + [ + "add", + "F0", + "W48", + "1" + ], + [ + "add", + "F0", + "W49", + "1" + ], + [ + "add", + "F0", + "W50", + "1" + ], + [ + "add", + "F0", + "W54", + "1" + ], + [ + "add", + "F0", + "W55", + "1" + ], + [ + "add", + "F0", + "W56", + "1" + ], + [ + "add", + "F0", + "W57", + "1" + ], + [ + "add", + "F0", + "W61", + "1" + ], + [ + "add", + "F0", + "W62", + "1" + ], + [ + "add", + "F0", + "W63", + "1" + ], + [ + "add", + "F0", + "W70", + "1" + ], + [ + "add", + "F0", + "W71", + "1" + ], + [ + "add", + "F0", + "W72", + "1" + ], + [ + "add", + "F0", + "W76", + "1" + ], + [ + "add", + "F0", + "W77", + "1" + ], + [ + "add", + "F0", + "W79", + "1" + ], + [ + "add", + "F0", + "W81", + "1" + ], + [ + "add", + "F0", + "W85", + "1" + ], + [ + "add", + "F0", + "W87", + "1" + ], + [ + "add", + "F0", + "W89", + "1" + ], + [ + "add", + "F0", + "W90", + "1" + ], + [ + "add", + "F0", + "W91", + "1" + ], + [ + "add", + "F0", + "W92", + "1" + ], + [ + "add", + "F0", + "W94", + "1" + ], + [ + "add", + "F0", + "W98", + "1" + ], + [ + "add", + "F0", + "W100", + "1" + ], + [ + "add", + "F0", + "W101", + "1" + ], + [ + "add", + "F0", + "W102", + "1" + ], + [ + "add", + "F0", + "W103", + "1" + ], + [ + "add", + "F0", + "W107", + "1" + ], + [ + "add", + "F0", + "W108", + "1" + ], + [ + "add", + "F0", + "W109", + "1" + ], + [ + "clear", + "F1", + "wide" + ], + [ + "add", + "F1", + "W0", + "1" + ], + [ + "add", + "F1", + "W1", + "1" + ], + [ + "add", + "F1", + "W2", + "1" + ], + [ + "add", + "F1", + "W3", + "1" + ], + [ + "add", + "F1", + "W4", + "1" + ], + [ + "add", + "F1", + "W5", + "1" + ], + [ + "add", + "F1", + "W6", + "1" + ], + [ + "add", + "F1", + "W7", + "-1" + ], + [ + "add", + "F1", + "W8", + "1" + ], + [ + "add", + "F1", + "W9", + "-1" + ], + [ + "add", + "F1", + "W10", + "-1" + ], + [ + "add", + "F1", + "W11", + "-1" + ], + [ + "add", + "F1", + "W25", + "1" + ], + [ + "add", + "F1", + "W26", + "1" + ], + [ + "add", + "F1", + "W27", + "1" + ], + [ + "add", + "F1", + "W28", + "1" + ], + [ + "add", + "F1", + "W29", + "1" + ], + [ + "add", + "F1", + "W30", + "1" + ], + [ + "add", + "F1", + "W57", + "-1" + ], + [ + "add", + "F1", + "W58", + "1" + ], + [ + "add", + "F1", + "W59", + "1" + ], + [ + "add", + "F1", + "W60", + "1" + ], + [ + "add", + "F1", + "W61", + "-1" + ], + [ + "add", + "F1", + "W62", + "-1" + ], + [ + "add", + "F1", + "W63", + "-1" + ], + [ + "add", + "F1", + "W64", + "1" + ], + [ + "add", + "F1", + "W65", + "1" + ], + [ + "add", + "F1", + "W66", + "1" + ], + [ + "add", + "F1", + "W67", + "1" + ], + [ + "add", + "F1", + "W68", + "1" + ], + [ + "add", + "F1", + "W69", + "1" + ], + [ + "add", + "F1", + "W70", + "1" + ], + [ + "add", + "F1", + "W71", + "1" + ], + [ + "add", + "F1", + "W72", + "1" + ], + [ + "add", + "F1", + "W73", + "1" + ], + [ + "add", + "F1", + "W74", + "1" + ], + [ + "add", + "F1", + "W75", + "1" + ], + [ + "add", + "F1", + "W76", + "1" + ], + [ + "add", + "F1", + "W79", + "-1" + ], + [ + "add", + "F1", + "W80", + "1" + ], + [ + "add", + "F1", + "W81", + "-1" + ], + [ + "add", + "F1", + "W82", + "1" + ], + [ + "add", + "F1", + "W83", + "1" + ], + [ + "add", + "F1", + "W84", + "1" + ], + [ + "add", + "F1", + "W86", + "1" + ], + [ + "add", + "F1", + "W87", + "1" + ], + [ + "add", + "F1", + "W88", + "1" + ], + [ + "add", + "F1", + "W89", + "1" + ], + [ + "add", + "F1", + "W90", + "1" + ], + [ + "add", + "F1", + "W91", + "1" + ], + [ + "add", + "F1", + "W92", + "-1" + ], + [ + "add", + "F1", + "W93", + "1" + ], + [ + "add", + "F1", + "W94", + "-1" + ], + [ + "add", + "F1", + "W95", + "1" + ], + [ + "add", + "F1", + "W96", + "1" + ], + [ + "add", + "F1", + "W97", + "1" + ], + [ + "clear", + "F2", + "wide" + ], + [ + "add", + "F2", + "W0", + "1" + ], + [ + "add", + "F2", + "W1", + "1" + ], + [ + "add", + "F2", + "W6", + "1" + ], + [ + "add", + "F2", + "W7", + "-1" + ], + [ + "add", + "F2", + "W12", + "1" + ], + [ + "add", + "F2", + "W13", + "1" + ], + [ + "add", + "F2", + "W14", + "1" + ], + [ + "add", + "F2", + "W15", + "1" + ], + [ + "add", + "F2", + "W16", + "1" + ], + [ + "add", + "F2", + "W17", + "-1" + ], + [ + "add", + "F2", + "W18", + "-1" + ], + [ + "add", + "F2", + "W19", + "-1" + ], + [ + "add", + "F2", + "W27", + "-1" + ], + [ + "add", + "F2", + "W28", + "-1" + ], + [ + "add", + "F2", + "W29", + "-1" + ], + [ + "add", + "F2", + "W30", + "-1" + ], + [ + "add", + "F2", + "W31", + "1" + ], + [ + "add", + "F2", + "W38", + "-1" + ], + [ + "add", + "F2", + "W39", + "-1" + ], + [ + "add", + "F2", + "W40", + "-1" + ], + [ + "add", + "F2", + "W41", + "1" + ], + [ + "add", + "F2", + "W42", + "1" + ], + [ + "add", + "F2", + "W43", + "1" + ], + [ + "add", + "F2", + "W44", + "1" + ], + [ + "add", + "F2", + "W51", + "1" + ], + [ + "add", + "F2", + "W52", + "1" + ], + [ + "add", + "F2", + "W53", + "1" + ], + [ + "add", + "F2", + "W54", + "1" + ], + [ + "add", + "F2", + "W55", + "1" + ], + [ + "add", + "F2", + "W56", + "1" + ], + [ + "add", + "F2", + "W57", + "1" + ], + [ + "add", + "F2", + "W58", + "-1" + ], + [ + "add", + "F2", + "W59", + "-1" + ], + [ + "add", + "F2", + "W60", + "-1" + ], + [ + "add", + "F2", + "W73", + "1" + ], + [ + "add", + "F2", + "W74", + "1" + ], + [ + "add", + "F2", + "W75", + "1" + ], + [ + "add", + "F2", + "W76", + "1" + ], + [ + "add", + "F2", + "W77", + "-1" + ], + [ + "add", + "F2", + "W78", + "1" + ], + [ + "add", + "F2", + "W81", + "-1" + ], + [ + "add", + "F2", + "W82", + "1" + ], + [ + "add", + "F2", + "W83", + "1" + ], + [ + "add", + "F2", + "W84", + "1" + ], + [ + "add", + "F2", + "W86", + "-1" + ], + [ + "add", + "F2", + "W87", + "-1" + ], + [ + "add", + "F2", + "W92", + "1" + ], + [ + "add", + "F2", + "W93", + "-1" + ], + [ + "add", + "F2", + "W99", + "1" + ], + [ + "add", + "F2", + "W100", + "1" + ], + [ + "add", + "F2", + "W101", + "1" + ], + [ + "add", + "F2", + "W102", + "1" + ], + [ + "add", + "F2", + "W103", + "-1" + ], + [ + "add", + "F2", + "W104", + "1" + ], + [ + "add", + "F2", + "W105", + "1" + ], + [ + "add", + "F2", + "W106", + "1" + ], + [ + "clear", + "F3", + "wide" + ], + [ + "add", + "F3", + "W0", + "1" + ], + [ + "add", + "F3", + "W3", + "1" + ], + [ + "add", + "F3", + "W4", + "1" + ], + [ + "add", + "F3", + "W5", + "1" + ], + [ + "add", + "F3", + "W7", + "1" + ], + [ + "add", + "F3", + "W8", + "-1" + ], + [ + "add", + "F3", + "W13", + "1" + ], + [ + "add", + "F3", + "W14", + "1" + ], + [ + "add", + "F3", + "W15", + "1" + ], + [ + "add", + "F3", + "W16", + "-1" + ], + [ + "add", + "F3", + "W22", + "-1" + ], + [ + "add", + "F3", + "W23", + "-1" + ], + [ + "add", + "F3", + "W24", + "-1" + ], + [ + "add", + "F3", + "W26", + "-1" + ], + [ + "add", + "F3", + "W27", + "-1" + ], + [ + "add", + "F3", + "W32", + "1" + ], + [ + "add", + "F3", + "W33", + "1" + ], + [ + "add", + "F3", + "W34", + "1" + ], + [ + "add", + "F3", + "W35", + "-1" + ], + [ + "add", + "F3", + "W41", + "-1" + ], + [ + "add", + "F3", + "W42", + "-1" + ], + [ + "add", + "F3", + "W43", + "-1" + ], + [ + "add", + "F3", + "W44", + "-1" + ], + [ + "add", + "F3", + "W45", + "-1" + ], + [ + "add", + "F3", + "W48", + "1" + ], + [ + "add", + "F3", + "W49", + "1" + ], + [ + "add", + "F3", + "W50", + "1" + ], + [ + "add", + "F3", + "W51", + "1" + ], + [ + "add", + "F3", + "W52", + "1" + ], + [ + "add", + "F3", + "W53", + "1" + ], + [ + "add", + "F3", + "W57", + "-1" + ], + [ + "add", + "F3", + "W64", + "-1" + ], + [ + "add", + "F3", + "W65", + "-1" + ], + [ + "add", + "F3", + "W66", + "-1" + ], + [ + "add", + "F3", + "W67", + "1" + ], + [ + "add", + "F3", + "W68", + "1" + ], + [ + "add", + "F3", + "W69", + "1" + ], + [ + "add", + "F3", + "W76", + "-1" + ], + [ + "add", + "F3", + "W78", + "1" + ], + [ + "add", + "F3", + "W80", + "1" + ], + [ + "add", + "F3", + "W81", + "-1" + ], + [ + "add", + "F3", + "W85", + "1" + ], + [ + "add", + "F3", + "W87", + "1" + ], + [ + "add", + "F3", + "W88", + "1" + ], + [ + "add", + "F3", + "W92", + "1" + ], + [ + "add", + "F3", + "W95", + "-1" + ], + [ + "add", + "F3", + "W96", + "-1" + ], + [ + "add", + "F3", + "W97", + "-1" + ], + [ + "add", + "F3", + "W98", + "1" + ], + [ + "add", + "F3", + "W99", + "1" + ], + [ + "add", + "F3", + "W104", + "-1" + ], + [ + "add", + "F3", + "W105", + "-1" + ], + [ + "add", + "F3", + "W106", + "-1" + ], + [ + "add", + "F3", + "W107", + "-1" + ], + [ + "add", + "F3", + "W108", + "-1" + ], + [ + "add", + "F3", + "W109", + "-1" + ], + [ + "clear", + "F4", + "wide" + ], + [ + "add", + "F4", + "W1", + "-1" + ], + [ + "add", + "F4", + "W3", + "-1" + ], + [ + "add", + "F4", + "W6", + "1" + ], + [ + "add", + "F4", + "W8", + "1" + ], + [ + "add", + "F4", + "W10", + "-1" + ], + [ + "add", + "F4", + "W11", + "-1" + ], + [ + "add", + "F4", + "W12", + "1" + ], + [ + "add", + "F4", + "W14", + "1" + ], + [ + "add", + "F4", + "W15", + "1" + ], + [ + "add", + "F4", + "W17", + "1" + ], + [ + "add", + "F4", + "W20", + "1" + ], + [ + "add", + "F4", + "W21", + "1" + ], + [ + "add", + "F4", + "W24", + "-1" + ], + [ + "add", + "F4", + "W26", + "-1" + ], + [ + "add", + "F4", + "W28", + "-1" + ], + [ + "add", + "F4", + "W31", + "-1" + ], + [ + "add", + "F4", + "W32", + "-1" + ], + [ + "add", + "F4", + "W35", + "-1" + ], + [ + "add", + "F4", + "W36", + "1" + ], + [ + "add", + "F4", + "W37", + "1" + ], + [ + "add", + "F4", + "W38", + "-1" + ], + [ + "add", + "F4", + "W41", + "1" + ], + [ + "add", + "F4", + "W42", + "1" + ], + [ + "add", + "F4", + "W45", + "1" + ], + [ + "add", + "F4", + "W46", + "1" + ], + [ + "add", + "F4", + "W47", + "1" + ], + [ + "add", + "F4", + "W48", + "1" + ], + [ + "add", + "F4", + "W52", + "-1" + ], + [ + "add", + "F4", + "W53", + "-1" + ], + [ + "add", + "F4", + "W56", + "-1" + ], + [ + "add", + "F4", + "W58", + "1" + ], + [ + "add", + "F4", + "W62", + "1" + ], + [ + "add", + "F4", + "W63", + "1" + ], + [ + "add", + "F4", + "W66", + "-1" + ], + [ + "add", + "F4", + "W67", + "1" + ], + [ + "add", + "F4", + "W70", + "1" + ], + [ + "add", + "F4", + "W71", + "1" + ], + [ + "add", + "F4", + "W75", + "-1" + ], + [ + "add", + "F4", + "W77", + "-1" + ], + [ + "add", + "F4", + "W80", + "1" + ], + [ + "add", + "F4", + "W82", + "1" + ], + [ + "add", + "F4", + "W85", + "-1" + ], + [ + "add", + "F4", + "W86", + "-1" + ], + [ + "add", + "F4", + "W88", + "-1" + ], + [ + "add", + "F4", + "W90", + "-1" + ], + [ + "add", + "F4", + "W91", + "-1" + ], + [ + "add", + "F4", + "W93", + "1" + ], + [ + "add", + "F4", + "W95", + "1" + ], + [ + "add", + "F4", + "W98", + "1" + ], + [ + "add", + "F4", + "W100", + "1" + ], + [ + "add", + "F4", + "W103", + "1" + ], + [ + "add", + "F4", + "W105", + "-1" + ], + [ + "add", + "F4", + "W106", + "-1" + ], + [ + "add", + "F4", + "W107", + "1" + ], + [ + "add", + "F4", + "W110", + "1" + ], + [ + "add", + "F4", + "W111", + "1" + ], + [ + "clear", + "F5", + "wide" + ], + [ + "add", + "F5", + "W4", + "-1" + ], + [ + "add", + "F5", + "W5", + "1" + ], + [ + "add", + "F5", + "W10", + "1" + ], + [ + "add", + "F5", + "W11", + "-1" + ], + [ + "add", + "F5", + "W14", + "-1" + ], + [ + "add", + "F5", + "W15", + "1" + ], + [ + "add", + "F5", + "W18", + "1" + ], + [ + "add", + "F5", + "W19", + "-1" + ], + [ + "add", + "F5", + "W20", + "-1" + ], + [ + "add", + "F5", + "W21", + "1" + ], + [ + "add", + "F5", + "W22", + "1" + ], + [ + "add", + "F5", + "W23", + "-1" + ], + [ + "add", + "F5", + "W29", + "-1" + ], + [ + "add", + "F5", + "W30", + "1" + ], + [ + "add", + "F5", + "W33", + "-1" + ], + [ + "add", + "F5", + "W34", + "1" + ], + [ + "add", + "F5", + "W36", + "1" + ], + [ + "add", + "F5", + "W37", + "-1" + ], + [ + "add", + "F5", + "W39", + "-1" + ], + [ + "add", + "F5", + "W40", + "1" + ], + [ + "add", + "F5", + "W41", + "1" + ], + [ + "add", + "F5", + "W42", + "-1" + ], + [ + "add", + "F5", + "W46", + "-1" + ], + [ + "add", + "F5", + "W47", + "1" + ], + [ + "add", + "F5", + "W49", + "1" + ], + [ + "add", + "F5", + "W50", + "-1" + ], + [ + "add", + "F5", + "W52", + "1" + ], + [ + "add", + "F5", + "W53", + "-1" + ], + [ + "add", + "F5", + "W54", + "1" + ], + [ + "add", + "F5", + "W55", + "-1" + ], + [ + "add", + "F5", + "W59", + "1" + ], + [ + "add", + "F5", + "W60", + "-1" + ], + [ + "add", + "F5", + "W62", + "-1" + ], + [ + "add", + "F5", + "W63", + "1" + ], + [ + "add", + "F5", + "W64", + "1" + ], + [ + "add", + "F5", + "W65", + "-1" + ], + [ + "add", + "F5", + "W68", + "1" + ], + [ + "add", + "F5", + "W69", + "-1" + ], + [ + "add", + "F5", + "W70", + "1" + ], + [ + "add", + "F5", + "W71", + "-1" + ], + [ + "add", + "F5", + "W73", + "1" + ], + [ + "add", + "F5", + "W74", + "-1" + ], + [ + "add", + "F5", + "W83", + "1" + ], + [ + "add", + "F5", + "W84", + "-1" + ], + [ + "add", + "F5", + "W90", + "1" + ], + [ + "add", + "F5", + "W91", + "-1" + ], + [ + "add", + "F5", + "W96", + "1" + ], + [ + "add", + "F5", + "W97", + "-1" + ], + [ + "add", + "F5", + "W101", + "1" + ], + [ + "add", + "F5", + "W102", + "-1" + ], + [ + "add", + "F5", + "W105", + "1" + ], + [ + "add", + "F5", + "W106", + "-1" + ], + [ + "add", + "F5", + "W108", + "1" + ], + [ + "add", + "F5", + "W109", + "-1" + ], + [ + "add", + "F5", + "W110", + "-1" + ], + [ + "add", + "F5", + "W111", + "1" + ], + [ + "clear", + "F6", + "wide" + ], + [ + "add", + "F6", + "W2", + "1" + ], + [ + "add", + "F6", + "W3", + "1" + ], + [ + "add", + "F6", + "W8", + "1" + ], + [ + "add", + "F6", + "W9", + "-1" + ], + [ + "add", + "F6", + "W12", + "1" + ], + [ + "add", + "F6", + "W13", + "1" + ], + [ + "add", + "F6", + "W16", + "1" + ], + [ + "add", + "F6", + "W17", + "-1" + ], + [ + "add", + "F6", + "W20", + "1" + ], + [ + "add", + "F6", + "W21", + "1" + ], + [ + "add", + "F6", + "W22", + "-1" + ], + [ + "add", + "F6", + "W23", + "-1" + ], + [ + "add", + "F6", + "W25", + "-1" + ], + [ + "add", + "F6", + "W26", + "-1" + ], + [ + "add", + "F6", + "W29", + "-1" + ], + [ + "add", + "F6", + "W30", + "-1" + ], + [ + "add", + "F6", + "W31", + "-1" + ], + [ + "add", + "F6", + "W33", + "-1" + ], + [ + "add", + "F6", + "W34", + "-1" + ], + [ + "add", + "F6", + "W36", + "1" + ], + [ + "add", + "F6", + "W37", + "1" + ], + [ + "add", + "F6", + "W38", + "1" + ], + [ + "add", + "F6", + "W43", + "1" + ], + [ + "add", + "F6", + "W44", + "-1" + ], + [ + "add", + "F6", + "W46", + "-1" + ], + [ + "add", + "F6", + "W47", + "-1" + ], + [ + "add", + "F6", + "W49", + "1" + ], + [ + "add", + "F6", + "W50", + "1" + ], + [ + "add", + "F6", + "W51", + "-1" + ], + [ + "add", + "F6", + "W56", + "1" + ], + [ + "add", + "F6", + "W59", + "1" + ], + [ + "add", + "F6", + "W60", + "1" + ], + [ + "add", + "F6", + "W61", + "1" + ], + [ + "add", + "F6", + "W66", + "1" + ], + [ + "add", + "F6", + "W67", + "-1" + ], + [ + "add", + "F6", + "W72", + "1" + ], + [ + "add", + "F6", + "W73", + "-1" + ], + [ + "add", + "F6", + "W74", + "-1" + ], + [ + "add", + "F6", + "W77", + "-1" + ], + [ + "add", + "F6", + "W78", + "1" + ], + [ + "add", + "F6", + "W79", + "-1" + ], + [ + "add", + "F6", + "W80", + "1" + ], + [ + "add", + "F6", + "W83", + "1" + ], + [ + "add", + "F6", + "W84", + "1" + ], + [ + "add", + "F6", + "W88", + "-1" + ], + [ + "add", + "F6", + "W89", + "-1" + ], + [ + "add", + "F6", + "W94", + "1" + ], + [ + "add", + "F6", + "W95", + "-1" + ], + [ + "add", + "F6", + "W99", + "-1" + ], + [ + "add", + "F6", + "W100", + "-1" + ], + [ + "add", + "F6", + "W103", + "1" + ], + [ + "add", + "F6", + "W104", + "-1" + ], + [ + "add", + "F6", + "W108", + "1" + ], + [ + "add", + "F6", + "W109", + "1" + ], + [ + "add", + "F6", + "W110", + "-1" + ], + [ + "add", + "F6", + "W111", + "-1" + ], + [ + "clear", + "F7", + "wide" + ], + [ + "add", + "F7", + "W1", + "-1" + ], + [ + "add", + "F7", + "W2", + "-1" + ], + [ + "add", + "F7", + "W4", + "-1" + ], + [ + "add", + "F7", + "W5", + "-1" + ], + [ + "add", + "F7", + "W6", + "1" + ], + [ + "add", + "F7", + "W9", + "-1" + ], + [ + "add", + "F7", + "W13", + "1" + ], + [ + "add", + "F7", + "W16", + "-1" + ], + [ + "add", + "F7", + "W18", + "1" + ], + [ + "add", + "F7", + "W19", + "1" + ], + [ + "add", + "F7", + "W20", + "-1" + ], + [ + "add", + "F7", + "W21", + "-1" + ], + [ + "add", + "F7", + "W24", + "1" + ], + [ + "add", + "F7", + "W25", + "1" + ], + [ + "add", + "F7", + "W28", + "1" + ], + [ + "add", + "F7", + "W32", + "1" + ], + [ + "add", + "F7", + "W35", + "-1" + ], + [ + "add", + "F7", + "W36", + "1" + ], + [ + "add", + "F7", + "W37", + "1" + ], + [ + "add", + "F7", + "W39", + "-1" + ], + [ + "add", + "F7", + "W40", + "-1" + ], + [ + "add", + "F7", + "W43", + "1" + ], + [ + "add", + "F7", + "W44", + "1" + ], + [ + "add", + "F7", + "W45", + "1" + ], + [ + "add", + "F7", + "W46", + "1" + ], + [ + "add", + "F7", + "W47", + "1" + ], + [ + "add", + "F7", + "W48", + "-1" + ], + [ + "add", + "F7", + "W51", + "-1" + ], + [ + "add", + "F7", + "W54", + "-1" + ], + [ + "add", + "F7", + "W55", + "-1" + ], + [ + "add", + "F7", + "W58", + "-1" + ], + [ + "add", + "F7", + "W61", + "1" + ], + [ + "add", + "F7", + "W64", + "-1" + ], + [ + "add", + "F7", + "W65", + "-1" + ], + [ + "add", + "F7", + "W68", + "1" + ], + [ + "add", + "F7", + "W69", + "1" + ], + [ + "add", + "F7", + "W72", + "1" + ], + [ + "add", + "F7", + "W75", + "1" + ], + [ + "add", + "F7", + "W78", + "-1" + ], + [ + "add", + "F7", + "W79", + "1" + ], + [ + "add", + "F7", + "W82", + "-1" + ], + [ + "add", + "F7", + "W85", + "-1" + ], + [ + "add", + "F7", + "W86", + "-1" + ], + [ + "add", + "F7", + "W89", + "-1" + ], + [ + "add", + "F7", + "W93", + "1" + ], + [ + "add", + "F7", + "W94", + "-1" + ], + [ + "add", + "F7", + "W96", + "1" + ], + [ + "add", + "F7", + "W97", + "1" + ], + [ + "add", + "F7", + "W98", + "1" + ], + [ + "add", + "F7", + "W99", + "1" + ], + [ + "add", + "F7", + "W101", + "1" + ], + [ + "add", + "F7", + "W102", + "1" + ], + [ + "add", + "F7", + "W104", + "-1" + ], + [ + "add", + "F7", + "W107", + "-1" + ], + [ + "add", + "F7", + "W110", + "-1" + ], + [ + "add", + "F7", + "W111", + "-1" + ], + [ + "add", + "Q0", + "F0", + "1" + ], + [ + "add", + "Q1", + "F1", + "1" + ], + [ + "add", + "Q2", + "F2", + "1" + ], + [ + "add", + "Q3", + "F3", + "1" + ], + [ + "add", + "Q4", + "F4", + "1" + ], + [ + "add", + "Q5", + "F5", + "1" + ], + [ + "add", + "Q6", + "F6", + "1" + ], + [ + "add", + "Q7", + "F7", + "1" + ], + [ + "add", + "W1", + "F1", + "-1/4" + ], + [ + "add", + "W1", + "F2", + "-1/4" + ], + [ + "add", + "W1", + "F4", + "1/4" + ], + [ + "add", + "W1", + "F7", + "1/4" + ], + [ + "add", + "W2", + "F0", + "-1/4" + ], + [ + "add", + "W2", + "F1", + "-1/4" + ], + [ + "add", + "W2", + "F6", + "-1/4" + ], + [ + "add", + "W2", + "F7", + "1/4" + ], + [ + "add", + "W3", + "F1", + "-1/4" + ], + [ + "add", + "W3", + "F3", + "-1/4" + ], + [ + "add", + "W3", + "F4", + "1/4" + ], + [ + "add", + "W3", + "F6", + "-1/4" + ], + [ + "add", + "W4", + "F1", + "-1/4" + ], + [ + "add", + "W4", + "F3", + "-1/4" + ], + [ + "add", + "W4", + "F5", + "1/4" + ], + [ + "add", + "W4", + "F7", + "1/4" + ], + [ + "add", + "W5", + "F1", + "-1/4" + ], + [ + "add", + "W5", + "F3", + "-1/4" + ], + [ + "add", + "W5", + "F5", + "-1/4" + ], + [ + "add", + "W5", + "F7", + "1/4" + ], + [ + "add", + "W6", + "F1", + "-1/4" + ], + [ + "add", + "W6", + "F2", + "-1/4" + ], + [ + "add", + "W6", + "F4", + "-1/4" + ], + [ + "add", + "W6", + "F7", + "-1/4" + ], + [ + "add", + "W8", + "F1", + "-1/4" + ], + [ + "add", + "W8", + "F3", + "1/4" + ], + [ + "add", + "W8", + "F4", + "-1/4" + ], + [ + "add", + "W8", + "F6", + "-1/4" + ], + [ + "add", + "W9", + "F0", + "-1/4" + ], + [ + "add", + "W9", + "F1", + "1/4" + ], + [ + "add", + "W9", + "F6", + "1/4" + ], + [ + "add", + "W9", + "F7", + "1/4" + ], + [ + "add", + "W10", + "F0", + "-1/4" + ], + [ + "add", + "W10", + "F1", + "1/4" + ], + [ + "add", + "W10", + "F4", + "1/4" + ], + [ + "add", + "W10", + "F5", + "-1/4" + ], + [ + "add", + "W11", + "F0", + "-1/4" + ], + [ + "add", + "W11", + "F1", + "1/4" + ], + [ + "add", + "W11", + "F4", + "1/4" + ], + [ + "add", + "W11", + "F5", + "1/4" + ], + [ + "add", + "W12", + "F0", + "-1/4" + ], + [ + "add", + "W12", + "F2", + "-1/4" + ], + [ + "add", + "W12", + "F4", + "-1/4" + ], + [ + "add", + "W12", + "F6", + "-1/4" + ], + [ + "add", + "W13", + "F2", + "-1/4" + ], + [ + "add", + "W13", + "F3", + "-1/4" + ], + [ + "add", + "W13", + "F6", + "-1/4" + ], + [ + "add", + "W13", + "F7", + "-1/4" + ], + [ + "add", + "W14", + "F2", + "-1/4" + ], + [ + "add", + "W14", + "F3", + "-1/4" + ], + [ + "add", + "W14", + "F4", + "-1/4" + ], + [ + "add", + "W14", + "F5", + "1/4" + ], + [ + "add", + "W15", + "F2", + "-1/4" + ], + [ + "add", + "W15", + "F3", + "-1/4" + ], + [ + "add", + "W15", + "F4", + "-1/4" + ], + [ + "add", + "W15", + "F5", + "-1/4" + ], + [ + "add", + "W16", + "F2", + "-1/4" + ], + [ + "add", + "W16", + "F3", + "1/4" + ], + [ + "add", + "W16", + "F6", + "-1/4" + ], + [ + "add", + "W16", + "F7", + "1/4" + ], + [ + "add", + "W17", + "F0", + "-1/4" + ], + [ + "add", + "W17", + "F2", + "1/4" + ], + [ + "add", + "W17", + "F4", + "-1/4" + ], + [ + "add", + "W17", + "F6", + "1/4" + ], + [ + "add", + "W18", + "F0", + "-1/4" + ], + [ + "add", + "W18", + "F2", + "1/4" + ], + [ + "add", + "W18", + "F5", + "-1/4" + ], + [ + "add", + "W18", + "F7", + "-1/4" + ], + [ + "add", + "W19", + "F0", + "-1/4" + ], + [ + "add", + "W19", + "F2", + "1/4" + ], + [ + "add", + "W19", + "F5", + "1/4" + ], + [ + "add", + "W19", + "F7", + "-1/4" + ], + [ + "add", + "W22", + "F0", + "-1/4" + ], + [ + "add", + "W22", + "F3", + "1/4" + ], + [ + "add", + "W22", + "F5", + "-1/4" + ], + [ + "add", + "W22", + "F6", + "1/4" + ], + [ + "add", + "W23", + "F0", + "-1/4" + ], + [ + "add", + "W23", + "F3", + "1/4" + ], + [ + "add", + "W23", + "F5", + "1/4" + ], + [ + "add", + "W23", + "F6", + "1/4" + ], + [ + "add", + "W24", + "F0", + "-1/4" + ], + [ + "add", + "W24", + "F3", + "1/4" + ], + [ + "add", + "W24", + "F4", + "1/4" + ], + [ + "add", + "W24", + "F7", + "-1/4" + ], + [ + "add", + "W25", + "F0", + "-1/4" + ], + [ + "add", + "W25", + "F1", + "-1/4" + ], + [ + "add", + "W25", + "F6", + "1/4" + ], + [ + "add", + "W25", + "F7", + "-1/4" + ], + [ + "add", + "W26", + "F1", + "-1/4" + ], + [ + "add", + "W26", + "F3", + "1/4" + ], + [ + "add", + "W26", + "F4", + "1/4" + ], + [ + "add", + "W26", + "F6", + "1/4" + ], + [ + "add", + "W28", + "F1", + "-1/4" + ], + [ + "add", + "W28", + "F2", + "1/4" + ], + [ + "add", + "W28", + "F4", + "1/4" + ], + [ + "add", + "W28", + "F7", + "-1/4" + ], + [ + "add", + "W29", + "F1", + "-1/4" + ], + [ + "add", + "W29", + "F2", + "1/4" + ], + [ + "add", + "W29", + "F5", + "1/4" + ], + [ + "add", + "W29", + "F6", + "1/4" + ], + [ + "add", + "W30", + "F1", + "-1/4" + ], + [ + "add", + "W30", + "F2", + "1/4" + ], + [ + "add", + "W30", + "F5", + "-1/4" + ], + [ + "add", + "W30", + "F6", + "1/4" + ], + [ + "add", + "W31", + "F0", + "-1/4" + ], + [ + "add", + "W31", + "F2", + "-1/4" + ], + [ + "add", + "W31", + "F4", + "1/4" + ], + [ + "add", + "W31", + "F6", + "1/4" + ], + [ + "add", + "W32", + "F0", + "-1/4" + ], + [ + "add", + "W32", + "F3", + "-1/4" + ], + [ + "add", + "W32", + "F4", + "1/4" + ], + [ + "add", + "W32", + "F7", + "-1/4" + ], + [ + "add", + "W33", + "F0", + "-1/4" + ], + [ + "add", + "W33", + "F3", + "-1/4" + ], + [ + "add", + "W33", + "F5", + "1/4" + ], + [ + "add", + "W33", + "F6", + "1/4" + ], + [ + "add", + "W34", + "F0", + "-1/4" + ], + [ + "add", + "W34", + "F3", + "-1/4" + ], + [ + "add", + "W34", + "F5", + "-1/4" + ], + [ + "add", + "W34", + "F6", + "1/4" + ], + [ + "add", + "W35", + "F0", + "-1/4" + ], + [ + "add", + "W35", + "F3", + "1/4" + ], + [ + "add", + "W35", + "F4", + "1/4" + ], + [ + "add", + "W35", + "F7", + "1/4" + ], + [ + "add", + "W38", + "F0", + "-1/4" + ], + [ + "add", + "W38", + "F2", + "1/4" + ], + [ + "add", + "W38", + "F4", + "1/4" + ], + [ + "add", + "W38", + "F6", + "-1/4" + ], + [ + "add", + "W39", + "F0", + "-1/4" + ], + [ + "add", + "W39", + "F2", + "1/4" + ], + [ + "add", + "W39", + "F5", + "1/4" + ], + [ + "add", + "W39", + "F7", + "1/4" + ], + [ + "add", + "W40", + "F0", + "-1/4" + ], + [ + "add", + "W40", + "F2", + "1/4" + ], + [ + "add", + "W40", + "F5", + "-1/4" + ], + [ + "add", + "W40", + "F7", + "1/4" + ], + [ + "add", + "W41", + "F2", + "-1/4" + ], + [ + "add", + "W41", + "F3", + "1/4" + ], + [ + "add", + "W41", + "F4", + "-1/4" + ], + [ + "add", + "W41", + "F5", + "-1/4" + ], + [ + "add", + "W42", + "F2", + "-1/4" + ], + [ + "add", + "W42", + "F3", + "1/4" + ], + [ + "add", + "W42", + "F4", + "-1/4" + ], + [ + "add", + "W42", + "F5", + "1/4" + ], + [ + "add", + "W43", + "F2", + "-1/4" + ], + [ + "add", + "W43", + "F3", + "1/4" + ], + [ + "add", + "W43", + "F6", + "-1/4" + ], + [ + "add", + "W43", + "F7", + "-1/4" + ], + [ + "add", + "W44", + "F2", + "-1/4" + ], + [ + "add", + "W44", + "F3", + "1/4" + ], + [ + "add", + "W44", + "F6", + "1/4" + ], + [ + "add", + "W44", + "F7", + "-1/4" + ], + [ + "add", + "W45", + "F0", + "-1/4" + ], + [ + "add", + "W45", + "F3", + "1/4" + ], + [ + "add", + "W45", + "F4", + "-1/4" + ], + [ + "add", + "W45", + "F7", + "-1/4" + ], + [ + "add", + "W48", + "F0", + "-1/4" + ], + [ + "add", + "W48", + "F3", + "-1/4" + ], + [ + "add", + "W48", + "F4", + "-1/4" + ], + [ + "add", + "W48", + "F7", + "1/4" + ], + [ + "add", + "W49", + "F0", + "-1/4" + ], + [ + "add", + "W49", + "F3", + "-1/4" + ], + [ + "add", + "W49", + "F5", + "-1/4" + ], + [ + "add", + "W49", + "F6", + "-1/4" + ], + [ + "add", + "W50", + "F0", + "-1/4" + ], + [ + "add", + "W50", + "F3", + "-1/4" + ], + [ + "add", + "W50", + "F5", + "1/4" + ], + [ + "add", + "W50", + "F6", + "-1/4" + ], + [ + "add", + "W51", + "F2", + "-1/4" + ], + [ + "add", + "W51", + "F3", + "-1/4" + ], + [ + "add", + "W51", + "F6", + "1/4" + ], + [ + "add", + "W51", + "F7", + "1/4" + ], + [ + "add", + "W52", + "F2", + "-1/4" + ], + [ + "add", + "W52", + "F3", + "-1/4" + ], + [ + "add", + "W52", + "F4", + "1/4" + ], + [ + "add", + "W52", + "F5", + "-1/4" + ], + [ + "add", + "W53", + "F2", + "-1/4" + ], + [ + "add", + "W53", + "F3", + "-1/4" + ], + [ + "add", + "W53", + "F4", + "1/4" + ], + [ + "add", + "W53", + "F5", + "1/4" + ], + [ + "add", + "W54", + "F0", + "-1/4" + ], + [ + "add", + "W54", + "F2", + "-1/4" + ], + [ + "add", + "W54", + "F5", + "-1/4" + ], + [ + "add", + "W54", + "F7", + "1/4" + ], + [ + "add", + "W55", + "F0", + "-1/4" + ], + [ + "add", + "W55", + "F2", + "-1/4" + ], + [ + "add", + "W55", + "F5", + "1/4" + ], + [ + "add", + "W55", + "F7", + "1/4" + ], + [ + "add", + "W56", + "F0", + "-1/4" + ], + [ + "add", + "W56", + "F2", + "-1/4" + ], + [ + "add", + "W56", + "F4", + "1/4" + ], + [ + "add", + "W56", + "F6", + "-1/4" + ], + [ + "add", + "W58", + "F1", + "-1/4" + ], + [ + "add", + "W58", + "F2", + "1/4" + ], + [ + "add", + "W58", + "F4", + "-1/4" + ], + [ + "add", + "W58", + "F7", + "1/4" + ], + [ + "add", + "W59", + "F1", + "-1/4" + ], + [ + "add", + "W59", + "F2", + "1/4" + ], + [ + "add", + "W59", + "F5", + "-1/4" + ], + [ + "add", + "W59", + "F6", + "-1/4" + ], + [ + "add", + "W60", + "F1", + "-1/4" + ], + [ + "add", + "W60", + "F2", + "1/4" + ], + [ + "add", + "W60", + "F5", + "1/4" + ], + [ + "add", + "W60", + "F6", + "-1/4" + ], + [ + "add", + "W61", + "F0", + "-1/4" + ], + [ + "add", + "W61", + "F1", + "1/4" + ], + [ + "add", + "W61", + "F6", + "-1/4" + ], + [ + "add", + "W61", + "F7", + "-1/4" + ], + [ + "add", + "W62", + "F0", + "-1/4" + ], + [ + "add", + "W62", + "F1", + "1/4" + ], + [ + "add", + "W62", + "F4", + "-1/4" + ], + [ + "add", + "W62", + "F5", + "1/4" + ], + [ + "add", + "W63", + "F0", + "-1/4" + ], + [ + "add", + "W63", + "F1", + "1/4" + ], + [ + "add", + "W63", + "F4", + "-1/4" + ], + [ + "add", + "W63", + "F5", + "-1/4" + ], + [ + "add", + "W64", + "F1", + "-1/4" + ], + [ + "add", + "W64", + "F3", + "1/4" + ], + [ + "add", + "W64", + "F5", + "-1/4" + ], + [ + "add", + "W64", + "F7", + "1/4" + ], + [ + "add", + "W65", + "F1", + "-1/4" + ], + [ + "add", + "W65", + "F3", + "1/4" + ], + [ + "add", + "W65", + "F5", + "1/4" + ], + [ + "add", + "W65", + "F7", + "1/4" + ], + [ + "add", + "W66", + "F1", + "-1/4" + ], + [ + "add", + "W66", + "F3", + "1/4" + ], + [ + "add", + "W66", + "F4", + "1/4" + ], + [ + "add", + "W66", + "F6", + "-1/4" + ], + [ + "add", + "W67", + "F1", + "-1/4" + ], + [ + "add", + "W67", + "F3", + "-1/4" + ], + [ + "add", + "W67", + "F4", + "-1/4" + ], + [ + "add", + "W67", + "F6", + "1/4" + ], + [ + "add", + "W68", + "F1", + "-1/4" + ], + [ + "add", + "W68", + "F3", + "-1/4" + ], + [ + "add", + "W68", + "F5", + "-1/4" + ], + [ + "add", + "W68", + "F7", + "-1/4" + ], + [ + "add", + "W69", + "F1", + "-1/4" + ], + [ + "add", + "W69", + "F3", + "-1/4" + ], + [ + "add", + "W69", + "F5", + "1/4" + ], + [ + "add", + "W69", + "F7", + "-1/4" + ], + [ + "add", + "W70", + "F0", + "-1/4" + ], + [ + "add", + "W70", + "F1", + "-1/4" + ], + [ + "add", + "W70", + "F4", + "-1/4" + ], + [ + "add", + "W70", + "F5", + "-1/4" + ], + [ + "add", + "W71", + "F0", + "-1/4" + ], + [ + "add", + "W71", + "F1", + "-1/4" + ], + [ + "add", + "W71", + "F4", + "-1/4" + ], + [ + "add", + "W71", + "F5", + "1/4" + ], + [ + "add", + "W72", + "F0", + "-1/4" + ], + [ + "add", + "W72", + "F1", + "-1/4" + ], + [ + "add", + "W72", + "F6", + "-1/4" + ], + [ + "add", + "W72", + "F7", + "-1/4" + ], + [ + "add", + "W73", + "F1", + "-1/4" + ], + [ + "add", + "W73", + "F2", + "-1/4" + ], + [ + "add", + "W73", + "F5", + "-1/4" + ], + [ + "add", + "W73", + "F6", + "1/4" + ], + [ + "add", + "W74", + "F1", + "-1/4" + ], + [ + "add", + "W74", + "F2", + "-1/4" + ], + [ + "add", + "W74", + "F5", + "1/4" + ], + [ + "add", + "W74", + "F6", + "1/4" + ], + [ + "add", + "W75", + "F1", + "-1/4" + ], + [ + "add", + "W75", + "F2", + "-1/4" + ], + [ + "add", + "W75", + "F4", + "1/4" + ], + [ + "add", + "W75", + "F7", + "-1/4" + ], + [ + "add", + "W77", + "F0", + "-1/4" + ], + [ + "add", + "W77", + "F2", + "1/4" + ], + [ + "add", + "W77", + "F4", + "1/4" + ], + [ + "add", + "W77", + "F6", + "1/4" + ], + [ + "add", + "W78", + "F2", + "-1/4" + ], + [ + "add", + "W78", + "F3", + "-1/4" + ], + [ + "add", + "W78", + "F6", + "-1/4" + ], + [ + "add", + "W78", + "F7", + "1/4" + ], + [ + "add", + "W79", + "F0", + "-1/4" + ], + [ + "add", + "W79", + "F1", + "1/4" + ], + [ + "add", + "W79", + "F6", + "1/4" + ], + [ + "add", + "W79", + "F7", + "-1/4" + ], + [ + "add", + "W80", + "F1", + "-1/4" + ], + [ + "add", + "W80", + "F3", + "-1/4" + ], + [ + "add", + "W80", + "F4", + "-1/4" + ], + [ + "add", + "W80", + "F6", + "-1/4" + ], + [ + "add", + "W82", + "F1", + "-1/4" + ], + [ + "add", + "W82", + "F2", + "-1/4" + ], + [ + "add", + "W82", + "F4", + "-1/4" + ], + [ + "add", + "W82", + "F7", + "1/4" + ], + [ + "add", + "W83", + "F1", + "-1/4" + ], + [ + "add", + "W83", + "F2", + "-1/4" + ], + [ + "add", + "W83", + "F5", + "-1/4" + ], + [ + "add", + "W83", + "F6", + "-1/4" + ], + [ + "add", + "W84", + "F1", + "-1/4" + ], + [ + "add", + "W84", + "F2", + "-1/4" + ], + [ + "add", + "W84", + "F5", + "1/4" + ], + [ + "add", + "W84", + "F6", + "-1/4" + ], + [ + "add", + "W85", + "F0", + "-1/4" + ], + [ + "add", + "W85", + "F3", + "-1/4" + ], + [ + "add", + "W85", + "F4", + "1/4" + ], + [ + "add", + "W85", + "F7", + "1/4" + ], + [ + "add", + "W86", + "F1", + "-1/4" + ], + [ + "add", + "W86", + "F2", + "1/4" + ], + [ + "add", + "W86", + "F4", + "1/4" + ], + [ + "add", + "W86", + "F7", + "1/4" + ], + [ + "add", + "W88", + "F1", + "-1/4" + ], + [ + "add", + "W88", + "F3", + "-1/4" + ], + [ + "add", + "W88", + "F4", + "1/4" + ], + [ + "add", + "W88", + "F6", + "1/4" + ], + [ + "add", + "W89", + "F0", + "-1/4" + ], + [ + "add", + "W89", + "F1", + "-1/4" + ], + [ + "add", + "W89", + "F6", + "1/4" + ], + [ + "add", + "W89", + "F7", + "1/4" + ], + [ + "add", + "W90", + "F0", + "-1/4" + ], + [ + "add", + "W90", + "F1", + "-1/4" + ], + [ + "add", + "W90", + "F4", + "1/4" + ], + [ + "add", + "W90", + "F5", + "-1/4" + ], + [ + "add", + "W91", + "F0", + "-1/4" + ], + [ + "add", + "W91", + "F1", + "-1/4" + ], + [ + "add", + "W91", + "F4", + "1/4" + ], + [ + "add", + "W91", + "F5", + "1/4" + ], + [ + "add", + "W93", + "F1", + "-1/4" + ], + [ + "add", + "W93", + "F2", + "1/4" + ], + [ + "add", + "W93", + "F4", + "-1/4" + ], + [ + "add", + "W93", + "F7", + "-1/4" + ], + [ + "add", + "W94", + "F0", + "-1/4" + ], + [ + "add", + "W94", + "F1", + "1/4" + ], + [ + "add", + "W94", + "F6", + "-1/4" + ], + [ + "add", + "W94", + "F7", + "1/4" + ], + [ + "add", + "W95", + "F1", + "-1/4" + ], + [ + "add", + "W95", + "F3", + "1/4" + ], + [ + "add", + "W95", + "F4", + "-1/4" + ], + [ + "add", + "W95", + "F6", + "1/4" + ], + [ + "add", + "W96", + "F1", + "-1/4" + ], + [ + "add", + "W96", + "F3", + "1/4" + ], + [ + "add", + "W96", + "F5", + "-1/4" + ], + [ + "add", + "W96", + "F7", + "-1/4" + ], + [ + "add", + "W97", + "F1", + "-1/4" + ], + [ + "add", + "W97", + "F3", + "1/4" + ], + [ + "add", + "W97", + "F5", + "1/4" + ], + [ + "add", + "W97", + "F7", + "-1/4" + ], + [ + "add", + "W98", + "F0", + "-1/4" + ], + [ + "add", + "W98", + "F3", + "-1/4" + ], + [ + "add", + "W98", + "F4", + "-1/4" + ], + [ + "add", + "W98", + "F7", + "-1/4" + ], + [ + "add", + "W99", + "F2", + "-1/4" + ], + [ + "add", + "W99", + "F3", + "-1/4" + ], + [ + "add", + "W99", + "F6", + "1/4" + ], + [ + "add", + "W99", + "F7", + "-1/4" + ], + [ + "add", + "W100", + "F0", + "-1/4" + ], + [ + "add", + "W100", + "F2", + "-1/4" + ], + [ + "add", + "W100", + "F4", + "-1/4" + ], + [ + "add", + "W100", + "F6", + "1/4" + ], + [ + "add", + "W101", + "F0", + "-1/4" + ], + [ + "add", + "W101", + "F2", + "-1/4" + ], + [ + "add", + "W101", + "F5", + "-1/4" + ], + [ + "add", + "W101", + "F7", + "-1/4" + ], + [ + "add", + "W102", + "F0", + "-1/4" + ], + [ + "add", + "W102", + "F2", + "-1/4" + ], + [ + "add", + "W102", + "F5", + "1/4" + ], + [ + "add", + "W102", + "F7", + "-1/4" + ], + [ + "add", + "W103", + "F0", + "-1/4" + ], + [ + "add", + "W103", + "F2", + "1/4" + ], + [ + "add", + "W103", + "F4", + "-1/4" + ], + [ + "add", + "W103", + "F6", + "-1/4" + ], + [ + "add", + "W104", + "F2", + "-1/4" + ], + [ + "add", + "W104", + "F3", + "1/4" + ], + [ + "add", + "W104", + "F6", + "1/4" + ], + [ + "add", + "W104", + "F7", + "1/4" + ], + [ + "add", + "W105", + "F2", + "-1/4" + ], + [ + "add", + "W105", + "F3", + "1/4" + ], + [ + "add", + "W105", + "F4", + "1/4" + ], + [ + "add", + "W105", + "F5", + "-1/4" + ], + [ + "add", + "W106", + "F2", + "-1/4" + ], + [ + "add", + "W106", + "F3", + "1/4" + ], + [ + "add", + "W106", + "F4", + "1/4" + ], + [ + "add", + "W106", + "F5", + "1/4" + ], + [ + "add", + "W107", + "F0", + "-1/4" + ], + [ + "add", + "W107", + "F3", + "1/4" + ], + [ + "add", + "W107", + "F4", + "-1/4" + ], + [ + "add", + "W107", + "F7", + "1/4" + ], + [ + "add", + "W108", + "F0", + "-1/4" + ], + [ + "add", + "W108", + "F3", + "1/4" + ], + [ + "add", + "W108", + "F5", + "-1/4" + ], + [ + "add", + "W108", + "F6", + "-1/4" + ], + [ + "add", + "W109", + "F0", + "-1/4" + ], + [ + "add", + "W109", + "F3", + "1/4" + ], + [ + "add", + "W109", + "F5", + "1/4" + ], + [ + "add", + "W109", + "F6", + "-1/4" + ], + [ + "clear", + "F0", + "identity" + ], + [ + "clear", + "F1", + "identity" + ], + [ + "clear", + "F2", + "identity" + ], + [ + "clear", + "F3", + "identity" + ], + [ + "clear", + "F4", + "identity" + ], + [ + "clear", + "F5", + "identity" + ], + [ + "clear", + "F6", + "identity" + ], + [ + "clear", + "F7", + "identity" + ], + [ + "end", + "B1_current_query", + 8 + ], + [ + "map", + "W1", + 1, + 1, + true + ], + [ + "map", + "W2", + 1, + 2, + true + ], + [ + "map", + "W3", + 1, + 3, + true + ], + [ + "map", + "W4", + 1, + 4, + true + ], + [ + "map", + "W5", + 1, + 5, + true + ], + [ + "map", + "W6", + 1, + 6, + true + ], + [ + "map", + "W8", + 1, + 8, + true + ], + [ + "map", + "W9", + 1, + 9, + true + ], + [ + "map", + "W10", + 1, + 10, + true + ], + [ + "map", + "W11", + 1, + 11, + true + ], + [ + "map", + "W12", + 1, + 12, + true + ], + [ + "map", + "W13", + 1, + 13, + true + ], + [ + "map", + "W14", + 1, + 14, + true + ], + [ + "map", + "W15", + 1, + 15, + true + ], + [ + "map", + "W16", + 1, + 16, + true + ], + [ + "map", + "W17", + 1, + 17, + true + ], + [ + "map", + "W18", + 1, + 18, + true + ], + [ + "map", + "W19", + 1, + 19, + true + ], + [ + "map", + "W22", + 1, + 22, + true + ], + [ + "map", + "W23", + 1, + 23, + true + ], + [ + "map", + "W24", + 1, + 24, + true + ], + [ + "map", + "W25", + 1, + 25, + true + ], + [ + "map", + "W26", + 1, + 26, + true + ], + [ + "map", + "W28", + 1, + 28, + true + ], + [ + "map", + "W29", + 1, + 29, + true + ], + [ + "map", + "W30", + 1, + 30, + true + ], + [ + "map", + "W31", + 1, + 31, + true + ], + [ + "map", + "W32", + 1, + 32, + true + ], + [ + "map", + "W33", + 1, + 33, + true + ], + [ + "map", + "W34", + 1, + 34, + true + ], + [ + "map", + "W35", + 1, + 35, + true + ], + [ + "map", + "W38", + 1, + 38, + true + ], + [ + "map", + "W39", + 1, + 39, + true + ], + [ + "map", + "W40", + 1, + 40, + true + ], + [ + "map", + "W41", + 1, + 41, + true + ], + [ + "map", + "W42", + 1, + 42, + true + ], + [ + "map", + "W43", + 1, + 43, + true + ], + [ + "map", + "W44", + 1, + 44, + true + ], + [ + "map", + "W45", + 1, + 45, + true + ], + [ + "map", + "W48", + 1, + 48, + true + ], + [ + "map", + "W49", + 1, + 49, + true + ], + [ + "map", + "W50", + 1, + 50, + true + ], + [ + "map", + "W51", + 1, + 51, + true + ], + [ + "map", + "W52", + 1, + 52, + true + ], + [ + "map", + "W53", + 1, + 53, + true + ], + [ + "map", + "W54", + 1, + 54, + true + ], + [ + "map", + "W55", + 1, + 55, + true + ], + [ + "map", + "W56", + 1, + 56, + true + ], + [ + "map", + "W58", + 1, + 58, + true + ], + [ + "map", + "W59", + 1, + 59, + true + ], + [ + "map", + "W60", + 1, + 60, + true + ], + [ + "map", + "W61", + 1, + 61, + true + ], + [ + "map", + "W62", + 1, + 62, + true + ], + [ + "map", + "W63", + 1, + 63, + true + ], + [ + "map", + "W64", + 1, + 64, + true + ], + [ + "map", + "W65", + 1, + 65, + true + ], + [ + "map", + "W66", + 1, + 66, + true + ], + [ + "map", + "W67", + 1, + 67, + true + ], + [ + "map", + "W68", + 1, + 68, + true + ], + [ + "map", + "W69", + 1, + 69, + true + ], + [ + "map", + "W70", + 1, + 70, + true + ], + [ + "map", + "W71", + 1, + 71, + true + ], + [ + "map", + "W72", + 1, + 72, + true + ], + [ + "map", + "W73", + 1, + 73, + true + ], + [ + "map", + "W74", + 1, + 74, + true + ], + [ + "map", + "W75", + 1, + 75, + true + ], + [ + "map", + "W77", + 1, + 77, + true + ], + [ + "map", + "W78", + 1, + 78, + true + ], + [ + "map", + "W79", + 1, + 79, + true + ], + [ + "map", + "W80", + 1, + 80, + true + ], + [ + "map", + "W82", + 1, + 82, + true + ], + [ + "map", + "W83", + 1, + 83, + true + ], + [ + "map", + "W84", + 1, + 84, + true + ], + [ + "map", + "W85", + 1, + 85, + true + ], + [ + "map", + "W86", + 1, + 86, + true + ], + [ + "map", + "W88", + 1, + 88, + true + ], + [ + "map", + "W89", + 1, + 89, + true + ], + [ + "map", + "W90", + 1, + 90, + true + ], + [ + "map", + "W91", + 1, + 91, + true + ], + [ + "map", + "W93", + 1, + 93, + true + ], + [ + "map", + "W94", + 1, + 94, + true + ], + [ + "map", + "W95", + 1, + 95, + true + ], + [ + "map", + "W96", + 1, + 96, + true + ], + [ + "map", + "W97", + 1, + 97, + true + ], + [ + "map", + "W98", + 1, + 98, + true + ], + [ + "map", + "W99", + 1, + 99, + true + ], + [ + "map", + "W100", + 1, + 100, + true + ], + [ + "map", + "W101", + 1, + 101, + true + ], + [ + "map", + "W102", + 1, + 102, + true + ], + [ + "map", + "W103", + 1, + 103, + true + ], + [ + "map", + "W104", + 1, + 104, + true + ], + [ + "map", + "W105", + 1, + 105, + true + ], + [ + "map", + "W106", + 1, + 106, + true + ], + [ + "map", + "W107", + 1, + 107, + true + ], + [ + "map", + "W108", + 1, + 108, + true + ], + [ + "map", + "W109", + 1, + 109, + true + ], + [ + "clear", + "W0", + "identity" + ], + [ + "clear", + "W7", + "identity" + ], + [ + "clear", + "W20", + "identity" + ], + [ + "clear", + "W27", + "identity" + ], + [ + "clear", + "W36", + "identity" + ], + [ + "clear", + "W46", + "identity" + ], + [ + "clear", + "W57", + "identity" + ], + [ + "clear", + "W111", + "identity" + ], + [ + "clear", + "W21", + "identity" + ], + [ + "clear", + "W37", + "identity" + ], + [ + "clear", + "W47", + "identity" + ], + [ + "clear", + "W76", + "identity" + ], + [ + "clear", + "W81", + "identity" + ], + [ + "clear", + "W87", + "identity" + ], + [ + "clear", + "W92", + "identity" + ], + [ + "clear", + "W110", + "identity" + ] + ], + "consumer": [ + [ + "map", + "W1", + 1, + 1, + false + ], + [ + "map", + "W2", + 1, + 2, + false + ], + [ + "map", + "W3", + 1, + 3, + false + ], + [ + "map", + "W4", + 1, + 4, + false + ], + [ + "map", + "W5", + 1, + 5, + false + ], + [ + "map", + "W6", + 1, + 6, + false + ], + [ + "map", + "W8", + 1, + 8, + false + ], + [ + "map", + "W9", + 1, + 9, + false + ], + [ + "map", + "W10", + 1, + 10, + false + ], + [ + "map", + "W11", + 1, + 11, + false + ], + [ + "map", + "W12", + 1, + 12, + false + ], + [ + "map", + "W13", + 1, + 13, + false + ], + [ + "map", + "W14", + 1, + 14, + false + ], + [ + "map", + "W15", + 1, + 15, + false + ], + [ + "map", + "W16", + 1, + 16, + false + ], + [ + "map", + "W17", + 1, + 17, + false + ], + [ + "map", + "W18", + 1, + 18, + false + ], + [ + "map", + "W19", + 1, + 19, + false + ], + [ + "map", + "W22", + 1, + 22, + false + ], + [ + "map", + "W23", + 1, + 23, + false + ], + [ + "map", + "W24", + 1, + 24, + false + ], + [ + "map", + "W25", + 1, + 25, + false + ], + [ + "map", + "W26", + 1, + 26, + false + ], + [ + "map", + "W28", + 1, + 28, + false + ], + [ + "map", + "W29", + 1, + 29, + false + ], + [ + "map", + "W30", + 1, + 30, + false + ], + [ + "map", + "W31", + 1, + 31, + false + ], + [ + "map", + "W32", + 1, + 32, + false + ], + [ + "map", + "W33", + 1, + 33, + false + ], + [ + "map", + "W34", + 1, + 34, + false + ], + [ + "map", + "W35", + 1, + 35, + false + ], + [ + "map", + "W38", + 1, + 38, + false + ], + [ + "map", + "W39", + 1, + 39, + false + ], + [ + "map", + "W40", + 1, + 40, + false + ], + [ + "map", + "W41", + 1, + 41, + false + ], + [ + "map", + "W42", + 1, + 42, + false + ], + [ + "map", + "W43", + 1, + 43, + false + ], + [ + "map", + "W44", + 1, + 44, + false + ], + [ + "map", + "W45", + 1, + 45, + false + ], + [ + "map", + "W48", + 1, + 48, + false + ], + [ + "map", + "W49", + 1, + 49, + false + ], + [ + "map", + "W50", + 1, + 50, + false + ], + [ + "map", + "W51", + 1, + 51, + false + ], + [ + "map", + "W52", + 1, + 52, + false + ], + [ + "map", + "W53", + 1, + 53, + false + ], + [ + "map", + "W54", + 1, + 54, + false + ], + [ + "map", + "W55", + 1, + 55, + false + ], + [ + "map", + "W56", + 1, + 56, + false + ], + [ + "map", + "W58", + 1, + 58, + false + ], + [ + "map", + "W59", + 1, + 59, + false + ], + [ + "map", + "W60", + 1, + 60, + false + ], + [ + "map", + "W61", + 1, + 61, + false + ], + [ + "map", + "W62", + 1, + 62, + false + ], + [ + "map", + "W63", + 1, + 63, + false + ], + [ + "map", + "W64", + 1, + 64, + false + ], + [ + "map", + "W65", + 1, + 65, + false + ], + [ + "map", + "W66", + 1, + 66, + false + ], + [ + "map", + "W67", + 1, + 67, + false + ], + [ + "map", + "W68", + 1, + 68, + false + ], + [ + "map", + "W69", + 1, + 69, + false + ], + [ + "map", + "W70", + 1, + 70, + false + ], + [ + "map", + "W71", + 1, + 71, + false + ], + [ + "map", + "W72", + 1, + 72, + false + ], + [ + "map", + "W73", + 1, + 73, + false + ], + [ + "map", + "W74", + 1, + 74, + false + ], + [ + "map", + "W75", + 1, + 75, + false + ], + [ + "map", + "W77", + 1, + 77, + false + ], + [ + "map", + "W78", + 1, + 78, + false + ], + [ + "map", + "W79", + 1, + 79, + false + ], + [ + "map", + "W80", + 1, + 80, + false + ], + [ + "map", + "W82", + 1, + 82, + false + ], + [ + "map", + "W83", + 1, + 83, + false + ], + [ + "map", + "W84", + 1, + 84, + false + ], + [ + "map", + "W85", + 1, + 85, + false + ], + [ + "map", + "W86", + 1, + 86, + false + ], + [ + "map", + "W88", + 1, + 88, + false + ], + [ + "map", + "W89", + 1, + 89, + false + ], + [ + "map", + "W90", + 1, + 90, + false + ], + [ + "map", + "W91", + 1, + 91, + false + ], + [ + "map", + "W93", + 1, + 93, + false + ], + [ + "map", + "W94", + 1, + 94, + false + ], + [ + "map", + "W95", + 1, + 95, + false + ], + [ + "map", + "W96", + 1, + 96, + false + ], + [ + "map", + "W97", + 1, + 97, + false + ], + [ + "map", + "W98", + 1, + 98, + false + ], + [ + "map", + "W99", + 1, + 99, + false + ], + [ + "map", + "W100", + 1, + 100, + false + ], + [ + "map", + "W101", + 1, + 101, + false + ], + [ + "map", + "W102", + 1, + 102, + false + ], + [ + "map", + "W103", + 1, + 103, + false + ], + [ + "map", + "W104", + 1, + 104, + false + ], + [ + "map", + "W105", + 1, + 105, + false + ], + [ + "map", + "W106", + 1, + 106, + false + ], + [ + "map", + "W107", + 1, + 107, + false + ], + [ + "map", + "W108", + 1, + 108, + false + ], + [ + "map", + "W109", + 1, + 109, + false + ], + [ + "add", + "W1", + "Q1", + "1/4" + ], + [ + "add", + "W1", + "Q2", + "1/4" + ], + [ + "add", + "W1", + "Q4", + "-1/4" + ], + [ + "add", + "W1", + "Q7", + "-1/4" + ], + [ + "add", + "W2", + "Q0", + "1/4" + ], + [ + "add", + "W2", + "Q1", + "1/4" + ], + [ + "add", + "W2", + "Q6", + "1/4" + ], + [ + "add", + "W2", + "Q7", + "-1/4" + ], + [ + "add", + "W3", + "Q1", + "1/4" + ], + [ + "add", + "W3", + "Q3", + "1/4" + ], + [ + "add", + "W3", + "Q4", + "-1/4" + ], + [ + "add", + "W3", + "Q6", + "1/4" + ], + [ + "add", + "W4", + "Q1", + "1/4" + ], + [ + "add", + "W4", + "Q3", + "1/4" + ], + [ + "add", + "W4", + "Q5", + "-1/4" + ], + [ + "add", + "W4", + "Q7", + "-1/4" + ], + [ + "add", + "W5", + "Q1", + "1/4" + ], + [ + "add", + "W5", + "Q3", + "1/4" + ], + [ + "add", + "W5", + "Q5", + "1/4" + ], + [ + "add", + "W5", + "Q7", + "-1/4" + ], + [ + "add", + "W6", + "Q1", + "1/4" + ], + [ + "add", + "W6", + "Q2", + "1/4" + ], + [ + "add", + "W6", + "Q4", + "1/4" + ], + [ + "add", + "W6", + "Q7", + "1/4" + ], + [ + "add", + "W8", + "Q1", + "1/4" + ], + [ + "add", + "W8", + "Q3", + "-1/4" + ], + [ + "add", + "W8", + "Q4", + "1/4" + ], + [ + "add", + "W8", + "Q6", + "1/4" + ], + [ + "add", + "W9", + "Q0", + "1/4" + ], + [ + "add", + "W9", + "Q1", + "-1/4" + ], + [ + "add", + "W9", + "Q6", + "-1/4" + ], + [ + "add", + "W9", + "Q7", + "-1/4" + ], + [ + "add", + "W10", + "Q0", + "1/4" + ], + [ + "add", + "W10", + "Q1", + "-1/4" + ], + [ + "add", + "W10", + "Q4", + "-1/4" + ], + [ + "add", + "W10", + "Q5", + "1/4" + ], + [ + "add", + "W11", + "Q0", + "1/4" + ], + [ + "add", + "W11", + "Q1", + "-1/4" + ], + [ + "add", + "W11", + "Q4", + "-1/4" + ], + [ + "add", + "W11", + "Q5", + "-1/4" + ], + [ + "add", + "W12", + "Q0", + "1/4" + ], + [ + "add", + "W12", + "Q2", + "1/4" + ], + [ + "add", + "W12", + "Q4", + "1/4" + ], + [ + "add", + "W12", + "Q6", + "1/4" + ], + [ + "add", + "W13", + "Q2", + "1/4" + ], + [ + "add", + "W13", + "Q3", + "1/4" + ], + [ + "add", + "W13", + "Q6", + "1/4" + ], + [ + "add", + "W13", + "Q7", + "1/4" + ], + [ + "add", + "W14", + "Q2", + "1/4" + ], + [ + "add", + "W14", + "Q3", + "1/4" + ], + [ + "add", + "W14", + "Q4", + "1/4" + ], + [ + "add", + "W14", + "Q5", + "-1/4" + ], + [ + "add", + "W15", + "Q2", + "1/4" + ], + [ + "add", + "W15", + "Q3", + "1/4" + ], + [ + "add", + "W15", + "Q4", + "1/4" + ], + [ + "add", + "W15", + "Q5", + "1/4" + ], + [ + "add", + "W16", + "Q2", + "1/4" + ], + [ + "add", + "W16", + "Q3", + "-1/4" + ], + [ + "add", + "W16", + "Q6", + "1/4" + ], + [ + "add", + "W16", + "Q7", + "-1/4" + ], + [ + "add", + "W17", + "Q0", + "1/4" + ], + [ + "add", + "W17", + "Q2", + "-1/4" + ], + [ + "add", + "W17", + "Q4", + "1/4" + ], + [ + "add", + "W17", + "Q6", + "-1/4" + ], + [ + "add", + "W18", + "Q0", + "1/4" + ], + [ + "add", + "W18", + "Q2", + "-1/4" + ], + [ + "add", + "W18", + "Q5", + "1/4" + ], + [ + "add", + "W18", + "Q7", + "1/4" + ], + [ + "add", + "W19", + "Q0", + "1/4" + ], + [ + "add", + "W19", + "Q2", + "-1/4" + ], + [ + "add", + "W19", + "Q5", + "-1/4" + ], + [ + "add", + "W19", + "Q7", + "1/4" + ], + [ + "add", + "W22", + "Q0", + "1/4" + ], + [ + "add", + "W22", + "Q3", + "-1/4" + ], + [ + "add", + "W22", + "Q5", + "1/4" + ], + [ + "add", + "W22", + "Q6", + "-1/4" + ], + [ + "add", + "W23", + "Q0", + "1/4" + ], + [ + "add", + "W23", + "Q3", + "-1/4" + ], + [ + "add", + "W23", + "Q5", + "-1/4" + ], + [ + "add", + "W23", + "Q6", + "-1/4" + ], + [ + "add", + "W24", + "Q0", + "1/4" + ], + [ + "add", + "W24", + "Q3", + "-1/4" + ], + [ + "add", + "W24", + "Q4", + "-1/4" + ], + [ + "add", + "W24", + "Q7", + "1/4" + ], + [ + "add", + "W25", + "Q0", + "1/4" + ], + [ + "add", + "W25", + "Q1", + "1/4" + ], + [ + "add", + "W25", + "Q6", + "-1/4" + ], + [ + "add", + "W25", + "Q7", + "1/4" + ], + [ + "add", + "W26", + "Q1", + "1/4" + ], + [ + "add", + "W26", + "Q3", + "-1/4" + ], + [ + "add", + "W26", + "Q4", + "-1/4" + ], + [ + "add", + "W26", + "Q6", + "-1/4" + ], + [ + "add", + "W28", + "Q1", + "1/4" + ], + [ + "add", + "W28", + "Q2", + "-1/4" + ], + [ + "add", + "W28", + "Q4", + "-1/4" + ], + [ + "add", + "W28", + "Q7", + "1/4" + ], + [ + "add", + "W29", + "Q1", + "1/4" + ], + [ + "add", + "W29", + "Q2", + "-1/4" + ], + [ + "add", + "W29", + "Q5", + "-1/4" + ], + [ + "add", + "W29", + "Q6", + "-1/4" + ], + [ + "add", + "W30", + "Q1", + "1/4" + ], + [ + "add", + "W30", + "Q2", + "-1/4" + ], + [ + "add", + "W30", + "Q5", + "1/4" + ], + [ + "add", + "W30", + "Q6", + "-1/4" + ], + [ + "add", + "W31", + "Q0", + "1/4" + ], + [ + "add", + "W31", + "Q2", + "1/4" + ], + [ + "add", + "W31", + "Q4", + "-1/4" + ], + [ + "add", + "W31", + "Q6", + "-1/4" + ], + [ + "add", + "W32", + "Q0", + "1/4" + ], + [ + "add", + "W32", + "Q3", + "1/4" + ], + [ + "add", + "W32", + "Q4", + "-1/4" + ], + [ + "add", + "W32", + "Q7", + "1/4" + ], + [ + "add", + "W33", + "Q0", + "1/4" + ], + [ + "add", + "W33", + "Q3", + "1/4" + ], + [ + "add", + "W33", + "Q5", + "-1/4" + ], + [ + "add", + "W33", + "Q6", + "-1/4" + ], + [ + "add", + "W34", + "Q0", + "1/4" + ], + [ + "add", + "W34", + "Q3", + "1/4" + ], + [ + "add", + "W34", + "Q5", + "1/4" + ], + [ + "add", + "W34", + "Q6", + "-1/4" + ], + [ + "add", + "W35", + "Q0", + "1/4" + ], + [ + "add", + "W35", + "Q3", + "-1/4" + ], + [ + "add", + "W35", + "Q4", + "-1/4" + ], + [ + "add", + "W35", + "Q7", + "-1/4" + ], + [ + "add", + "W38", + "Q0", + "1/4" + ], + [ + "add", + "W38", + "Q2", + "-1/4" + ], + [ + "add", + "W38", + "Q4", + "-1/4" + ], + [ + "add", + "W38", + "Q6", + "1/4" + ], + [ + "add", + "W39", + "Q0", + "1/4" + ], + [ + "add", + "W39", + "Q2", + "-1/4" + ], + [ + "add", + "W39", + "Q5", + "-1/4" + ], + [ + "add", + "W39", + "Q7", + "-1/4" + ], + [ + "add", + "W40", + "Q0", + "1/4" + ], + [ + "add", + "W40", + "Q2", + "-1/4" + ], + [ + "add", + "W40", + "Q5", + "1/4" + ], + [ + "add", + "W40", + "Q7", + "-1/4" + ], + [ + "add", + "W41", + "Q2", + "1/4" + ], + [ + "add", + "W41", + "Q3", + "-1/4" + ], + [ + "add", + "W41", + "Q4", + "1/4" + ], + [ + "add", + "W41", + "Q5", + "1/4" + ], + [ + "add", + "W42", + "Q2", + "1/4" + ], + [ + "add", + "W42", + "Q3", + "-1/4" + ], + [ + "add", + "W42", + "Q4", + "1/4" + ], + [ + "add", + "W42", + "Q5", + "-1/4" + ], + [ + "add", + "W43", + "Q2", + "1/4" + ], + [ + "add", + "W43", + "Q3", + "-1/4" + ], + [ + "add", + "W43", + "Q6", + "1/4" + ], + [ + "add", + "W43", + "Q7", + "1/4" + ], + [ + "add", + "W44", + "Q2", + "1/4" + ], + [ + "add", + "W44", + "Q3", + "-1/4" + ], + [ + "add", + "W44", + "Q6", + "-1/4" + ], + [ + "add", + "W44", + "Q7", + "1/4" + ], + [ + "add", + "W45", + "Q0", + "1/4" + ], + [ + "add", + "W45", + "Q3", + "-1/4" + ], + [ + "add", + "W45", + "Q4", + "1/4" + ], + [ + "add", + "W45", + "Q7", + "1/4" + ], + [ + "add", + "W48", + "Q0", + "1/4" + ], + [ + "add", + "W48", + "Q3", + "1/4" + ], + [ + "add", + "W48", + "Q4", + "1/4" + ], + [ + "add", + "W48", + "Q7", + "-1/4" + ], + [ + "add", + "W49", + "Q0", + "1/4" + ], + [ + "add", + "W49", + "Q3", + "1/4" + ], + [ + "add", + "W49", + "Q5", + "1/4" + ], + [ + "add", + "W49", + "Q6", + "1/4" + ], + [ + "add", + "W50", + "Q0", + "1/4" + ], + [ + "add", + "W50", + "Q3", + "1/4" + ], + [ + "add", + "W50", + "Q5", + "-1/4" + ], + [ + "add", + "W50", + "Q6", + "1/4" + ], + [ + "add", + "W51", + "Q2", + "1/4" + ], + [ + "add", + "W51", + "Q3", + "1/4" + ], + [ + "add", + "W51", + "Q6", + "-1/4" + ], + [ + "add", + "W51", + "Q7", + "-1/4" + ], + [ + "add", + "W52", + "Q2", + "1/4" + ], + [ + "add", + "W52", + "Q3", + "1/4" + ], + [ + "add", + "W52", + "Q4", + "-1/4" + ], + [ + "add", + "W52", + "Q5", + "1/4" + ], + [ + "add", + "W53", + "Q2", + "1/4" + ], + [ + "add", + "W53", + "Q3", + "1/4" + ], + [ + "add", + "W53", + "Q4", + "-1/4" + ], + [ + "add", + "W53", + "Q5", + "-1/4" + ], + [ + "add", + "W54", + "Q0", + "1/4" + ], + [ + "add", + "W54", + "Q2", + "1/4" + ], + [ + "add", + "W54", + "Q5", + "1/4" + ], + [ + "add", + "W54", + "Q7", + "-1/4" + ], + [ + "add", + "W55", + "Q0", + "1/4" + ], + [ + "add", + "W55", + "Q2", + "1/4" + ], + [ + "add", + "W55", + "Q5", + "-1/4" + ], + [ + "add", + "W55", + "Q7", + "-1/4" + ], + [ + "add", + "W56", + "Q0", + "1/4" + ], + [ + "add", + "W56", + "Q2", + "1/4" + ], + [ + "add", + "W56", + "Q4", + "-1/4" + ], + [ + "add", + "W56", + "Q6", + "1/4" + ], + [ + "add", + "W58", + "Q1", + "1/4" + ], + [ + "add", + "W58", + "Q2", + "-1/4" + ], + [ + "add", + "W58", + "Q4", + "1/4" + ], + [ + "add", + "W58", + "Q7", + "-1/4" + ], + [ + "add", + "W59", + "Q1", + "1/4" + ], + [ + "add", + "W59", + "Q2", + "-1/4" + ], + [ + "add", + "W59", + "Q5", + "1/4" + ], + [ + "add", + "W59", + "Q6", + "1/4" + ], + [ + "add", + "W60", + "Q1", + "1/4" + ], + [ + "add", + "W60", + "Q2", + "-1/4" + ], + [ + "add", + "W60", + "Q5", + "-1/4" + ], + [ + "add", + "W60", + "Q6", + "1/4" + ], + [ + "add", + "W61", + "Q0", + "1/4" + ], + [ + "add", + "W61", + "Q1", + "-1/4" + ], + [ + "add", + "W61", + "Q6", + "1/4" + ], + [ + "add", + "W61", + "Q7", + "1/4" + ], + [ + "add", + "W62", + "Q0", + "1/4" + ], + [ + "add", + "W62", + "Q1", + "-1/4" + ], + [ + "add", + "W62", + "Q4", + "1/4" + ], + [ + "add", + "W62", + "Q5", + "-1/4" + ], + [ + "add", + "W63", + "Q0", + "1/4" + ], + [ + "add", + "W63", + "Q1", + "-1/4" + ], + [ + "add", + "W63", + "Q4", + "1/4" + ], + [ + "add", + "W63", + "Q5", + "1/4" + ], + [ + "add", + "W64", + "Q1", + "1/4" + ], + [ + "add", + "W64", + "Q3", + "-1/4" + ], + [ + "add", + "W64", + "Q5", + "1/4" + ], + [ + "add", + "W64", + "Q7", + "-1/4" + ], + [ + "add", + "W65", + "Q1", + "1/4" + ], + [ + "add", + "W65", + "Q3", + "-1/4" + ], + [ + "add", + "W65", + "Q5", + "-1/4" + ], + [ + "add", + "W65", + "Q7", + "-1/4" + ], + [ + "add", + "W66", + "Q1", + "1/4" + ], + [ + "add", + "W66", + "Q3", + "-1/4" + ], + [ + "add", + "W66", + "Q4", + "-1/4" + ], + [ + "add", + "W66", + "Q6", + "1/4" + ], + [ + "add", + "W67", + "Q1", + "1/4" + ], + [ + "add", + "W67", + "Q3", + "1/4" + ], + [ + "add", + "W67", + "Q4", + "1/4" + ], + [ + "add", + "W67", + "Q6", + "-1/4" + ], + [ + "add", + "W68", + "Q1", + "1/4" + ], + [ + "add", + "W68", + "Q3", + "1/4" + ], + [ + "add", + "W68", + "Q5", + "1/4" + ], + [ + "add", + "W68", + "Q7", + "1/4" + ], + [ + "add", + "W69", + "Q1", + "1/4" + ], + [ + "add", + "W69", + "Q3", + "1/4" + ], + [ + "add", + "W69", + "Q5", + "-1/4" + ], + [ + "add", + "W69", + "Q7", + "1/4" + ], + [ + "add", + "W70", + "Q0", + "1/4" + ], + [ + "add", + "W70", + "Q1", + "1/4" + ], + [ + "add", + "W70", + "Q4", + "1/4" + ], + [ + "add", + "W70", + "Q5", + "1/4" + ], + [ + "add", + "W71", + "Q0", + "1/4" + ], + [ + "add", + "W71", + "Q1", + "1/4" + ], + [ + "add", + "W71", + "Q4", + "1/4" + ], + [ + "add", + "W71", + "Q5", + "-1/4" + ], + [ + "add", + "W72", + "Q0", + "1/4" + ], + [ + "add", + "W72", + "Q1", + "1/4" + ], + [ + "add", + "W72", + "Q6", + "1/4" + ], + [ + "add", + "W72", + "Q7", + "1/4" + ], + [ + "add", + "W73", + "Q1", + "1/4" + ], + [ + "add", + "W73", + "Q2", + "1/4" + ], + [ + "add", + "W73", + "Q5", + "1/4" + ], + [ + "add", + "W73", + "Q6", + "-1/4" + ], + [ + "add", + "W74", + "Q1", + "1/4" + ], + [ + "add", + "W74", + "Q2", + "1/4" + ], + [ + "add", + "W74", + "Q5", + "-1/4" + ], + [ + "add", + "W74", + "Q6", + "-1/4" + ], + [ + "add", + "W75", + "Q1", + "1/4" + ], + [ + "add", + "W75", + "Q2", + "1/4" + ], + [ + "add", + "W75", + "Q4", + "-1/4" + ], + [ + "add", + "W75", + "Q7", + "1/4" + ], + [ + "add", + "W77", + "Q0", + "1/4" + ], + [ + "add", + "W77", + "Q2", + "-1/4" + ], + [ + "add", + "W77", + "Q4", + "-1/4" + ], + [ + "add", + "W77", + "Q6", + "-1/4" + ], + [ + "add", + "W78", + "Q2", + "1/4" + ], + [ + "add", + "W78", + "Q3", + "1/4" + ], + [ + "add", + "W78", + "Q6", + "1/4" + ], + [ + "add", + "W78", + "Q7", + "-1/4" + ], + [ + "add", + "W79", + "Q0", + "1/4" + ], + [ + "add", + "W79", + "Q1", + "-1/4" + ], + [ + "add", + "W79", + "Q6", + "-1/4" + ], + [ + "add", + "W79", + "Q7", + "1/4" + ], + [ + "add", + "W80", + "Q1", + "1/4" + ], + [ + "add", + "W80", + "Q3", + "1/4" + ], + [ + "add", + "W80", + "Q4", + "1/4" + ], + [ + "add", + "W80", + "Q6", + "1/4" + ], + [ + "add", + "W82", + "Q1", + "1/4" + ], + [ + "add", + "W82", + "Q2", + "1/4" + ], + [ + "add", + "W82", + "Q4", + "1/4" + ], + [ + "add", + "W82", + "Q7", + "-1/4" + ], + [ + "add", + "W83", + "Q1", + "1/4" + ], + [ + "add", + "W83", + "Q2", + "1/4" + ], + [ + "add", + "W83", + "Q5", + "1/4" + ], + [ + "add", + "W83", + "Q6", + "1/4" + ], + [ + "add", + "W84", + "Q1", + "1/4" + ], + [ + "add", + "W84", + "Q2", + "1/4" + ], + [ + "add", + "W84", + "Q5", + "-1/4" + ], + [ + "add", + "W84", + "Q6", + "1/4" + ], + [ + "add", + "W85", + "Q0", + "1/4" + ], + [ + "add", + "W85", + "Q3", + "1/4" + ], + [ + "add", + "W85", + "Q4", + "-1/4" + ], + [ + "add", + "W85", + "Q7", + "-1/4" + ], + [ + "add", + "W86", + "Q1", + "1/4" + ], + [ + "add", + "W86", + "Q2", + "-1/4" + ], + [ + "add", + "W86", + "Q4", + "-1/4" + ], + [ + "add", + "W86", + "Q7", + "-1/4" + ], + [ + "add", + "W88", + "Q1", + "1/4" + ], + [ + "add", + "W88", + "Q3", + "1/4" + ], + [ + "add", + "W88", + "Q4", + "-1/4" + ], + [ + "add", + "W88", + "Q6", + "-1/4" + ], + [ + "add", + "W89", + "Q0", + "1/4" + ], + [ + "add", + "W89", + "Q1", + "1/4" + ], + [ + "add", + "W89", + "Q6", + "-1/4" + ], + [ + "add", + "W89", + "Q7", + "-1/4" + ], + [ + "add", + "W90", + "Q0", + "1/4" + ], + [ + "add", + "W90", + "Q1", + "1/4" + ], + [ + "add", + "W90", + "Q4", + "-1/4" + ], + [ + "add", + "W90", + "Q5", + "1/4" + ], + [ + "add", + "W91", + "Q0", + "1/4" + ], + [ + "add", + "W91", + "Q1", + "1/4" + ], + [ + "add", + "W91", + "Q4", + "-1/4" + ], + [ + "add", + "W91", + "Q5", + "-1/4" + ], + [ + "add", + "W93", + "Q1", + "1/4" + ], + [ + "add", + "W93", + "Q2", + "-1/4" + ], + [ + "add", + "W93", + "Q4", + "1/4" + ], + [ + "add", + "W93", + "Q7", + "1/4" + ], + [ + "add", + "W94", + "Q0", + "1/4" + ], + [ + "add", + "W94", + "Q1", + "-1/4" + ], + [ + "add", + "W94", + "Q6", + "1/4" + ], + [ + "add", + "W94", + "Q7", + "-1/4" + ], + [ + "add", + "W95", + "Q1", + "1/4" + ], + [ + "add", + "W95", + "Q3", + "-1/4" + ], + [ + "add", + "W95", + "Q4", + "1/4" + ], + [ + "add", + "W95", + "Q6", + "-1/4" + ], + [ + "add", + "W96", + "Q1", + "1/4" + ], + [ + "add", + "W96", + "Q3", + "-1/4" + ], + [ + "add", + "W96", + "Q5", + "1/4" + ], + [ + "add", + "W96", + "Q7", + "1/4" + ], + [ + "add", + "W97", + "Q1", + "1/4" + ], + [ + "add", + "W97", + "Q3", + "-1/4" + ], + [ + "add", + "W97", + "Q5", + "-1/4" + ], + [ + "add", + "W97", + "Q7", + "1/4" + ], + [ + "add", + "W98", + "Q0", + "1/4" + ], + [ + "add", + "W98", + "Q3", + "1/4" + ], + [ + "add", + "W98", + "Q4", + "1/4" + ], + [ + "add", + "W98", + "Q7", + "1/4" + ], + [ + "add", + "W99", + "Q2", + "1/4" + ], + [ + "add", + "W99", + "Q3", + "1/4" + ], + [ + "add", + "W99", + "Q6", + "-1/4" + ], + [ + "add", + "W99", + "Q7", + "1/4" + ], + [ + "add", + "W100", + "Q0", + "1/4" + ], + [ + "add", + "W100", + "Q2", + "1/4" + ], + [ + "add", + "W100", + "Q4", + "1/4" + ], + [ + "add", + "W100", + "Q6", + "-1/4" + ], + [ + "add", + "W101", + "Q0", + "1/4" + ], + [ + "add", + "W101", + "Q2", + "1/4" + ], + [ + "add", + "W101", + "Q5", + "1/4" + ], + [ + "add", + "W101", + "Q7", + "1/4" + ], + [ + "add", + "W102", + "Q0", + "1/4" + ], + [ + "add", + "W102", + "Q2", + "1/4" + ], + [ + "add", + "W102", + "Q5", + "-1/4" + ], + [ + "add", + "W102", + "Q7", + "1/4" + ], + [ + "add", + "W103", + "Q0", + "1/4" + ], + [ + "add", + "W103", + "Q2", + "-1/4" + ], + [ + "add", + "W103", + "Q4", + "1/4" + ], + [ + "add", + "W103", + "Q6", + "1/4" + ], + [ + "add", + "W104", + "Q2", + "1/4" + ], + [ + "add", + "W104", + "Q3", + "-1/4" + ], + [ + "add", + "W104", + "Q6", + "-1/4" + ], + [ + "add", + "W104", + "Q7", + "-1/4" + ], + [ + "add", + "W105", + "Q2", + "1/4" + ], + [ + "add", + "W105", + "Q3", + "-1/4" + ], + [ + "add", + "W105", + "Q4", + "-1/4" + ], + [ + "add", + "W105", + "Q5", + "1/4" + ], + [ + "add", + "W106", + "Q2", + "1/4" + ], + [ + "add", + "W106", + "Q3", + "-1/4" + ], + [ + "add", + "W106", + "Q4", + "-1/4" + ], + [ + "add", + "W106", + "Q5", + "-1/4" + ], + [ + "add", + "W107", + "Q0", + "1/4" + ], + [ + "add", + "W107", + "Q3", + "-1/4" + ], + [ + "add", + "W107", + "Q4", + "1/4" + ], + [ + "add", + "W107", + "Q7", + "-1/4" + ], + [ + "add", + "W108", + "Q0", + "1/4" + ], + [ + "add", + "W108", + "Q3", + "-1/4" + ], + [ + "add", + "W108", + "Q5", + "1/4" + ], + [ + "add", + "W108", + "Q6", + "1/4" + ], + [ + "add", + "W109", + "Q0", + "1/4" + ], + [ + "add", + "W109", + "Q3", + "-1/4" + ], + [ + "add", + "W109", + "Q5", + "-1/4" + ], + [ + "add", + "W109", + "Q6", + "1/4" + ], + [ + "map", + "W1", + 1, + 1, + true + ], + [ + "map", + "W2", + 1, + 2, + true + ], + [ + "map", + "W3", + 1, + 3, + true + ], + [ + "map", + "W4", + 1, + 4, + true + ], + [ + "map", + "W5", + 1, + 5, + true + ], + [ + "map", + "W6", + 1, + 6, + true + ], + [ + "map", + "W8", + 1, + 8, + true + ], + [ + "map", + "W9", + 1, + 9, + true + ], + [ + "map", + "W10", + 1, + 10, + true + ], + [ + "map", + "W11", + 1, + 11, + true + ], + [ + "map", + "W12", + 1, + 12, + true + ], + [ + "map", + "W13", + 1, + 13, + true + ], + [ + "map", + "W14", + 1, + 14, + true + ], + [ + "map", + "W15", + 1, + 15, + true + ], + [ + "map", + "W16", + 1, + 16, + true + ], + [ + "map", + "W17", + 1, + 17, + true + ], + [ + "map", + "W18", + 1, + 18, + true + ], + [ + "map", + "W19", + 1, + 19, + true + ], + [ + "map", + "W22", + 1, + 22, + true + ], + [ + "map", + "W23", + 1, + 23, + true + ], + [ + "map", + "W24", + 1, + 24, + true + ], + [ + "map", + "W25", + 1, + 25, + true + ], + [ + "map", + "W26", + 1, + 26, + true + ], + [ + "map", + "W28", + 1, + 28, + true + ], + [ + "map", + "W29", + 1, + 29, + true + ], + [ + "map", + "W30", + 1, + 30, + true + ], + [ + "map", + "W31", + 1, + 31, + true + ], + [ + "map", + "W32", + 1, + 32, + true + ], + [ + "map", + "W33", + 1, + 33, + true + ], + [ + "map", + "W34", + 1, + 34, + true + ], + [ + "map", + "W35", + 1, + 35, + true + ], + [ + "map", + "W38", + 1, + 38, + true + ], + [ + "map", + "W39", + 1, + 39, + true + ], + [ + "map", + "W40", + 1, + 40, + true + ], + [ + "map", + "W41", + 1, + 41, + true + ], + [ + "map", + "W42", + 1, + 42, + true + ], + [ + "map", + "W43", + 1, + 43, + true + ], + [ + "map", + "W44", + 1, + 44, + true + ], + [ + "map", + "W45", + 1, + 45, + true + ], + [ + "map", + "W48", + 1, + 48, + true + ], + [ + "map", + "W49", + 1, + 49, + true + ], + [ + "map", + "W50", + 1, + 50, + true + ], + [ + "map", + "W51", + 1, + 51, + true + ], + [ + "map", + "W52", + 1, + 52, + true + ], + [ + "map", + "W53", + 1, + 53, + true + ], + [ + "map", + "W54", + 1, + 54, + true + ], + [ + "map", + "W55", + 1, + 55, + true + ], + [ + "map", + "W56", + 1, + 56, + true + ], + [ + "map", + "W58", + 1, + 58, + true + ], + [ + "map", + "W59", + 1, + 59, + true + ], + [ + "map", + "W60", + 1, + 60, + true + ], + [ + "map", + "W61", + 1, + 61, + true + ], + [ + "map", + "W62", + 1, + 62, + true + ], + [ + "map", + "W63", + 1, + 63, + true + ], + [ + "map", + "W64", + 1, + 64, + true + ], + [ + "map", + "W65", + 1, + 65, + true + ], + [ + "map", + "W66", + 1, + 66, + true + ], + [ + "map", + "W67", + 1, + 67, + true + ], + [ + "map", + "W68", + 1, + 68, + true + ], + [ + "map", + "W69", + 1, + 69, + true + ], + [ + "map", + "W70", + 1, + 70, + true + ], + [ + "map", + "W71", + 1, + 71, + true + ], + [ + "map", + "W72", + 1, + 72, + true + ], + [ + "map", + "W73", + 1, + 73, + true + ], + [ + "map", + "W74", + 1, + 74, + true + ], + [ + "map", + "W75", + 1, + 75, + true + ], + [ + "map", + "W77", + 1, + 77, + true + ], + [ + "map", + "W78", + 1, + 78, + true + ], + [ + "map", + "W79", + 1, + 79, + true + ], + [ + "map", + "W80", + 1, + 80, + true + ], + [ + "map", + "W82", + 1, + 82, + true + ], + [ + "map", + "W83", + 1, + 83, + true + ], + [ + "map", + "W84", + 1, + 84, + true + ], + [ + "map", + "W85", + 1, + 85, + true + ], + [ + "map", + "W86", + 1, + 86, + true + ], + [ + "map", + "W88", + 1, + 88, + true + ], + [ + "map", + "W89", + 1, + 89, + true + ], + [ + "map", + "W90", + 1, + 90, + true + ], + [ + "map", + "W91", + 1, + 91, + true + ], + [ + "map", + "W93", + 1, + 93, + true + ], + [ + "map", + "W94", + 1, + 94, + true + ], + [ + "map", + "W95", + 1, + 95, + true + ], + [ + "map", + "W96", + 1, + 96, + true + ], + [ + "map", + "W97", + 1, + 97, + true + ], + [ + "map", + "W98", + 1, + 98, + true + ], + [ + "map", + "W99", + 1, + 99, + true + ], + [ + "map", + "W100", + 1, + 100, + true + ], + [ + "map", + "W101", + 1, + 101, + true + ], + [ + "map", + "W102", + 1, + 102, + true + ], + [ + "map", + "W103", + 1, + 103, + true + ], + [ + "map", + "W104", + 1, + 104, + true + ], + [ + "map", + "W105", + 1, + 105, + true + ], + [ + "map", + "W106", + 1, + 106, + true + ], + [ + "map", + "W107", + 1, + 107, + true + ], + [ + "map", + "W108", + 1, + 108, + true + ], + [ + "map", + "W109", + 1, + 109, + true + ], + [ + "line", + "W1", + 1, + -1 + ], + [ + "add", + "B1", + "W1", + "-1" + ], + [ + "clear", + "W1", + "identity" + ], + [ + "line", + "W2", + 2, + -1 + ], + [ + "add", + "B2", + "W2", + "-1" + ], + [ + "clear", + "W2", + "identity" + ], + [ + "line", + "W3", + 3, + -1 + ], + [ + "add", + "B3", + "W3", + "-1" + ], + [ + "clear", + "W3", + "identity" + ], + [ + "line", + "W4", + 4, + -1 + ], + [ + "add", + "B4", + "W4", + "-1" + ], + [ + "clear", + "W4", + "identity" + ], + [ + "line", + "W5", + 5, + -1 + ], + [ + "add", + "B5", + "W5", + "-1" + ], + [ + "clear", + "W5", + "identity" + ], + [ + "line", + "W6", + 6, + -1 + ], + [ + "add", + "B6", + "W6", + "-1" + ], + [ + "clear", + "W6", + "identity" + ], + [ + "line", + "W8", + 8, + -1 + ], + [ + "add", + "B8", + "W8", + "-1" + ], + [ + "clear", + "W8", + "identity" + ], + [ + "line", + "W9", + 9, + -1 + ], + [ + "add", + "B9", + "W9", + "-1" + ], + [ + "clear", + "W9", + "identity" + ], + [ + "line", + "W10", + 10, + -1 + ], + [ + "add", + "B10", + "W10", + "-1" + ], + [ + "clear", + "W10", + "identity" + ], + [ + "line", + "W11", + 11, + -1 + ], + [ + "add", + "B11", + "W11", + "-1" + ], + [ + "clear", + "W11", + "identity" + ], + [ + "line", + "W12", + 12, + -1 + ], + [ + "add", + "B12", + "W12", + "-1" + ], + [ + "clear", + "W12", + "identity" + ], + [ + "line", + "W13", + 13, + -1 + ], + [ + "add", + "B13", + "W13", + "-1" + ], + [ + "clear", + "W13", + "identity" + ], + [ + "line", + "W14", + 14, + -1 + ], + [ + "add", + "B14", + "W14", + "-1" + ], + [ + "clear", + "W14", + "identity" + ], + [ + "line", + "W15", + 15, + -1 + ], + [ + "add", + "B15", + "W15", + "-1" + ], + [ + "clear", + "W15", + "identity" + ], + [ + "line", + "W16", + 16, + -1 + ], + [ + "add", + "B16", + "W16", + "-1" + ], + [ + "clear", + "W16", + "identity" + ], + [ + "line", + "W17", + 17, + -1 + ], + [ + "add", + "B17", + "W17", + "-1" + ], + [ + "clear", + "W17", + "identity" + ], + [ + "line", + "W18", + 18, + -1 + ], + [ + "add", + "B18", + "W18", + "-1" + ], + [ + "clear", + "W18", + "identity" + ], + [ + "line", + "W19", + 19, + -1 + ], + [ + "add", + "B19", + "W19", + "-1" + ], + [ + "clear", + "W19", + "identity" + ], + [ + "line", + "W22", + 22, + -1 + ], + [ + "add", + "B22", + "W22", + "-1" + ], + [ + "clear", + "W22", + "identity" + ], + [ + "line", + "W23", + 23, + -1 + ], + [ + "add", + "B23", + "W23", + "-1" + ], + [ + "clear", + "W23", + "identity" + ], + [ + "line", + "W24", + 24, + -1 + ], + [ + "add", + "B24", + "W24", + "-1" + ], + [ + "clear", + "W24", + "identity" + ], + [ + "line", + "W25", + 25, + -1 + ], + [ + "add", + "B25", + "W25", + "-1" + ], + [ + "clear", + "W25", + "identity" + ], + [ + "line", + "W26", + 26, + -1 + ], + [ + "add", + "B26", + "W26", + "-1" + ], + [ + "clear", + "W26", + "identity" + ], + [ + "line", + "W28", + 28, + -1 + ], + [ + "add", + "B28", + "W28", + "-1" + ], + [ + "clear", + "W28", + "identity" + ], + [ + "line", + "W29", + 29, + -1 + ], + [ + "add", + "B29", + "W29", + "-1" + ], + [ + "clear", + "W29", + "identity" + ], + [ + "line", + "W30", + 30, + -1 + ], + [ + "add", + "B30", + "W30", + "-1" + ], + [ + "clear", + "W30", + "identity" + ], + [ + "line", + "W31", + 31, + -1 + ], + [ + "add", + "B31", + "W31", + "-1" + ], + [ + "clear", + "W31", + "identity" + ], + [ + "line", + "W32", + 32, + -1 + ], + [ + "add", + "B32", + "W32", + "-1" + ], + [ + "clear", + "W32", + "identity" + ], + [ + "line", + "W33", + 33, + -1 + ], + [ + "add", + "B33", + "W33", + "-1" + ], + [ + "clear", + "W33", + "identity" + ], + [ + "line", + "W34", + 34, + -1 + ], + [ + "add", + "B34", + "W34", + "-1" + ], + [ + "clear", + "W34", + "identity" + ], + [ + "line", + "W35", + 35, + -1 + ], + [ + "add", + "B35", + "W35", + "-1" + ], + [ + "clear", + "W35", + "identity" + ], + [ + "line", + "W38", + 38, + -1 + ], + [ + "add", + "B38", + "W38", + "-1" + ], + [ + "clear", + "W38", + "identity" + ], + [ + "line", + "W39", + 39, + -1 + ], + [ + "add", + "B39", + "W39", + "-1" + ], + [ + "clear", + "W39", + "identity" + ], + [ + "line", + "W40", + 40, + -1 + ], + [ + "add", + "B40", + "W40", + "-1" + ], + [ + "clear", + "W40", + "identity" + ], + [ + "line", + "W41", + 41, + -1 + ], + [ + "add", + "B41", + "W41", + "-1" + ], + [ + "clear", + "W41", + "identity" + ], + [ + "line", + "W42", + 42, + -1 + ], + [ + "add", + "B42", + "W42", + "-1" + ], + [ + "clear", + "W42", + "identity" + ], + [ + "line", + "W43", + 43, + -1 + ], + [ + "add", + "B43", + "W43", + "-1" + ], + [ + "clear", + "W43", + "identity" + ], + [ + "line", + "W44", + 44, + -1 + ], + [ + "add", + "B44", + "W44", + "-1" + ], + [ + "clear", + "W44", + "identity" + ], + [ + "line", + "W45", + 45, + -1 + ], + [ + "add", + "B45", + "W45", + "-1" + ], + [ + "clear", + "W45", + "identity" + ], + [ + "line", + "W48", + 48, + -1 + ], + [ + "add", + "B48", + "W48", + "-1" + ], + [ + "clear", + "W48", + "identity" + ], + [ + "line", + "W49", + 49, + -1 + ], + [ + "add", + "B49", + "W49", + "-1" + ], + [ + "clear", + "W49", + "identity" + ], + [ + "line", + "W50", + 50, + -1 + ], + [ + "add", + "B50", + "W50", + "-1" + ], + [ + "clear", + "W50", + "identity" + ], + [ + "line", + "W51", + 51, + -1 + ], + [ + "add", + "B51", + "W51", + "-1" + ], + [ + "clear", + "W51", + "identity" + ], + [ + "line", + "W52", + 52, + -1 + ], + [ + "add", + "B52", + "W52", + "-1" + ], + [ + "clear", + "W52", + "identity" + ], + [ + "line", + "W53", + 53, + -1 + ], + [ + "add", + "B53", + "W53", + "-1" + ], + [ + "clear", + "W53", + "identity" + ], + [ + "line", + "W54", + 54, + -1 + ], + [ + "add", + "B54", + "W54", + "-1" + ], + [ + "clear", + "W54", + "identity" + ], + [ + "line", + "W55", + 55, + -1 + ], + [ + "add", + "B55", + "W55", + "-1" + ], + [ + "clear", + "W55", + "identity" + ], + [ + "line", + "W56", + 56, + -1 + ], + [ + "add", + "B56", + "W56", + "-1" + ], + [ + "clear", + "W56", + "identity" + ], + [ + "line", + "W58", + 58, + -1 + ], + [ + "add", + "B58", + "W58", + "-1" + ], + [ + "clear", + "W58", + "identity" + ], + [ + "line", + "W59", + 59, + -1 + ], + [ + "add", + "B59", + "W59", + "-1" + ], + [ + "clear", + "W59", + "identity" + ], + [ + "line", + "W60", + 60, + -1 + ], + [ + "add", + "B60", + "W60", + "-1" + ], + [ + "clear", + "W60", + "identity" + ], + [ + "line", + "W61", + 61, + -1 + ], + [ + "add", + "B61", + "W61", + "-1" + ], + [ + "clear", + "W61", + "identity" + ], + [ + "line", + "W62", + 62, + -1 + ], + [ + "add", + "B62", + "W62", + "-1" + ], + [ + "clear", + "W62", + "identity" + ], + [ + "line", + "W63", + 63, + -1 + ], + [ + "add", + "B63", + "W63", + "-1" + ], + [ + "clear", + "W63", + "identity" + ], + [ + "line", + "W64", + 64, + -1 + ], + [ + "add", + "B64", + "W64", + "-1" + ], + [ + "clear", + "W64", + "identity" + ], + [ + "line", + "W65", + 65, + -1 + ], + [ + "add", + "B65", + "W65", + "-1" + ], + [ + "clear", + "W65", + "identity" + ], + [ + "line", + "W66", + 66, + -1 + ], + [ + "add", + "B66", + "W66", + "-1" + ], + [ + "clear", + "W66", + "identity" + ], + [ + "line", + "W67", + 67, + -1 + ], + [ + "add", + "B67", + "W67", + "-1" + ], + [ + "clear", + "W67", + "identity" + ], + [ + "line", + "W68", + 68, + -1 + ], + [ + "add", + "B68", + "W68", + "-1" + ], + [ + "clear", + "W68", + "identity" + ], + [ + "line", + "W69", + 69, + -1 + ], + [ + "add", + "B69", + "W69", + "-1" + ], + [ + "clear", + "W69", + "identity" + ], + [ + "line", + "W70", + 70, + -1 + ], + [ + "add", + "B70", + "W70", + "-1" + ], + [ + "clear", + "W70", + "identity" + ], + [ + "line", + "W71", + 71, + -1 + ], + [ + "add", + "B71", + "W71", + "-1" + ], + [ + "clear", + "W71", + "identity" + ], + [ + "line", + "W72", + 72, + -1 + ], + [ + "add", + "B72", + "W72", + "-1" + ], + [ + "clear", + "W72", + "identity" + ], + [ + "line", + "W73", + 73, + -1 + ], + [ + "add", + "B73", + "W73", + "-1" + ], + [ + "clear", + "W73", + "identity" + ], + [ + "line", + "W74", + 74, + -1 + ], + [ + "add", + "B74", + "W74", + "-1" + ], + [ + "clear", + "W74", + "identity" + ], + [ + "line", + "W75", + 75, + -1 + ], + [ + "add", + "B75", + "W75", + "-1" + ], + [ + "clear", + "W75", + "identity" + ], + [ + "line", + "W77", + 77, + -1 + ], + [ + "add", + "B77", + "W77", + "-1" + ], + [ + "clear", + "W77", + "identity" + ], + [ + "line", + "W78", + 78, + -1 + ], + [ + "add", + "B78", + "W78", + "-1" + ], + [ + "clear", + "W78", + "identity" + ], + [ + "line", + "W79", + 79, + -1 + ], + [ + "add", + "B79", + "W79", + "-1" + ], + [ + "clear", + "W79", + "identity" + ], + [ + "line", + "W80", + 80, + -1 + ], + [ + "add", + "B80", + "W80", + "-1" + ], + [ + "clear", + "W80", + "identity" + ], + [ + "line", + "W82", + 82, + -1 + ], + [ + "add", + "B82", + "W82", + "-1" + ], + [ + "clear", + "W82", + "identity" + ], + [ + "line", + "W83", + 83, + -1 + ], + [ + "add", + "B83", + "W83", + "-1" + ], + [ + "clear", + "W83", + "identity" + ], + [ + "line", + "W84", + 84, + -1 + ], + [ + "add", + "B84", + "W84", + "-1" + ], + [ + "clear", + "W84", + "identity" + ], + [ + "line", + "W85", + 85, + -1 + ], + [ + "add", + "B85", + "W85", + "-1" + ], + [ + "clear", + "W85", + "identity" + ], + [ + "line", + "W86", + 86, + -1 + ], + [ + "add", + "B86", + "W86", + "-1" + ], + [ + "clear", + "W86", + "identity" + ], + [ + "line", + "W88", + 88, + -1 + ], + [ + "add", + "B88", + "W88", + "-1" + ], + [ + "clear", + "W88", + "identity" + ], + [ + "line", + "W89", + 89, + -1 + ], + [ + "add", + "B89", + "W89", + "-1" + ], + [ + "clear", + "W89", + "identity" + ], + [ + "line", + "W90", + 90, + -1 + ], + [ + "add", + "B90", + "W90", + "-1" + ], + [ + "clear", + "W90", + "identity" + ], + [ + "line", + "W91", + 91, + -1 + ], + [ + "add", + "B91", + "W91", + "-1" + ], + [ + "clear", + "W91", + "identity" + ], + [ + "line", + "W93", + 93, + -1 + ], + [ + "add", + "B93", + "W93", + "-1" + ], + [ + "clear", + "W93", + "identity" + ], + [ + "line", + "W94", + 94, + -1 + ], + [ + "add", + "B94", + "W94", + "-1" + ], + [ + "clear", + "W94", + "identity" + ], + [ + "line", + "W95", + 95, + -1 + ], + [ + "add", + "B95", + "W95", + "-1" + ], + [ + "clear", + "W95", + "identity" + ], + [ + "line", + "W96", + 96, + -1 + ], + [ + "add", + "B96", + "W96", + "-1" + ], + [ + "clear", + "W96", + "identity" + ], + [ + "line", + "W97", + 97, + -1 + ], + [ + "add", + "B97", + "W97", + "-1" + ], + [ + "clear", + "W97", + "identity" + ], + [ + "line", + "W98", + 98, + -1 + ], + [ + "add", + "B98", + "W98", + "-1" + ], + [ + "clear", + "W98", + "identity" + ], + [ + "line", + "W99", + 99, + -1 + ], + [ + "add", + "B99", + "W99", + "-1" + ], + [ + "clear", + "W99", + "identity" + ], + [ + "line", + "W100", + 100, + -1 + ], + [ + "add", + "B100", + "W100", + "-1" + ], + [ + "clear", + "W100", + "identity" + ], + [ + "line", + "W101", + 101, + -1 + ], + [ + "add", + "B101", + "W101", + "-1" + ], + [ + "clear", + "W101", + "identity" + ], + [ + "line", + "W102", + 102, + -1 + ], + [ + "add", + "B102", + "W102", + "-1" + ], + [ + "clear", + "W102", + "identity" + ], + [ + "line", + "W103", + 103, + -1 + ], + [ + "add", + "B103", + "W103", + "-1" + ], + [ + "clear", + "W103", + "identity" + ], + [ + "line", + "W104", + 104, + -1 + ], + [ + "add", + "B104", + "W104", + "-1" + ], + [ + "clear", + "W104", + "identity" + ], + [ + "line", + "W105", + 105, + -1 + ], + [ + "add", + "B105", + "W105", + "-1" + ], + [ + "clear", + "W105", + "identity" + ], + [ + "line", + "W106", + 106, + -1 + ], + [ + "add", + "B106", + "W106", + "-1" + ], + [ + "clear", + "W106", + "identity" + ], + [ + "line", + "W107", + 107, + -1 + ], + [ + "add", + "B107", + "W107", + "-1" + ], + [ + "clear", + "W107", + "identity" + ], + [ + "line", + "W108", + 108, + -1 + ], + [ + "add", + "B108", + "W108", + "-1" + ], + [ + "clear", + "W108", + "identity" + ], + [ + "line", + "W109", + 109, + -1 + ], + [ + "add", + "B109", + "W109", + "-1" + ], + [ + "clear", + "W109", + "identity" + ], + [ + "clear", + "Q0", + "identity" + ], + [ + "clear", + "Q1", + "identity" + ], + [ + "clear", + "Q2", + "identity" + ], + [ + "clear", + "Q3", + "identity" + ], + [ + "clear", + "Q4", + "identity" + ], + [ + "clear", + "Q5", + "identity" + ], + [ + "clear", + "Q6", + "identity" + ], + [ + "clear", + "Q7", + "identity" + ] + ], + "direct_bridge": [ + [ + "add", + "B1", + "Y1", + "-1" + ], + [ + "add", + "B2", + "Y2", + "-1" + ], + [ + "add", + "B3", + "Y3", + "-1" + ], + [ + "add", + "B4", + "Y4", + "-1" + ], + [ + "add", + "B5", + "Y5", + "-1" + ], + [ + "add", + "B6", + "Y6", + "-1" + ], + [ + "add", + "B8", + "Y8", + "-1" + ], + [ + "add", + "B9", + "Y9", + "-1" + ], + [ + "add", + "B10", + "Y10", + "-1" + ], + [ + "add", + "B11", + "Y11", + "-1" + ], + [ + "add", + "B12", + "Y12", + "-1" + ], + [ + "add", + "B13", + "Y13", + "-1" + ], + [ + "add", + "B14", + "Y14", + "-1" + ], + [ + "add", + "B15", + "Y15", + "-1" + ], + [ + "add", + "B16", + "Y16", + "-1" + ], + [ + "add", + "B17", + "Y17", + "-1" + ], + [ + "add", + "B18", + "Y18", + "-1" + ], + [ + "add", + "B19", + "Y19", + "-1" + ], + [ + "add", + "B22", + "Y22", + "-1" + ], + [ + "add", + "B23", + "Y23", + "-1" + ], + [ + "add", + "B24", + "Y24", + "-1" + ], + [ + "add", + "B25", + "Y25", + "-1" + ], + [ + "add", + "B26", + "Y26", + "-1" + ], + [ + "add", + "B28", + "Y28", + "-1" + ], + [ + "add", + "B29", + "Y29", + "-1" + ], + [ + "add", + "B30", + "Y30", + "-1" + ], + [ + "add", + "B31", + "Y31", + "-1" + ], + [ + "add", + "B32", + "Y32", + "-1" + ], + [ + "add", + "B33", + "Y33", + "-1" + ], + [ + "add", + "B34", + "Y34", + "-1" + ], + [ + "add", + "B35", + "Y35", + "-1" + ], + [ + "add", + "B38", + "Y38", + "-1" + ], + [ + "add", + "B39", + "Y39", + "-1" + ], + [ + "add", + "B40", + "Y40", + "-1" + ], + [ + "add", + "B41", + "Y41", + "-1" + ], + [ + "add", + "B42", + "Y42", + "-1" + ], + [ + "add", + "B43", + "Y43", + "-1" + ], + [ + "add", + "B44", + "Y44", + "-1" + ], + [ + "add", + "B45", + "Y45", + "-1" + ], + [ + "add", + "B48", + "Y48", + "-1" + ], + [ + "add", + "B49", + "Y49", + "-1" + ], + [ + "add", + "B50", + "Y50", + "-1" + ], + [ + "add", + "B51", + "Y51", + "-1" + ], + [ + "add", + "B52", + "Y52", + "-1" + ], + [ + "add", + "B53", + "Y53", + "-1" + ], + [ + "add", + "B54", + "Y54", + "-1" + ], + [ + "add", + "B55", + "Y55", + "-1" + ], + [ + "add", + "B56", + "Y56", + "-1" + ], + [ + "add", + "B58", + "Y58", + "-1" + ], + [ + "add", + "B59", + "Y59", + "-1" + ], + [ + "add", + "B60", + "Y60", + "-1" + ], + [ + "add", + "B61", + "Y61", + "-1" + ], + [ + "add", + "B62", + "Y62", + "-1" + ], + [ + "add", + "B63", + "Y63", + "-1" + ], + [ + "add", + "B64", + "Y64", + "-1" + ], + [ + "add", + "B65", + "Y65", + "-1" + ], + [ + "add", + "B66", + "Y66", + "-1" + ], + [ + "add", + "B67", + "Y67", + "-1" + ], + [ + "add", + "B68", + "Y68", + "-1" + ], + [ + "add", + "B69", + "Y69", + "-1" + ], + [ + "add", + "B70", + "Y70", + "-1" + ], + [ + "add", + "B71", + "Y71", + "-1" + ], + [ + "add", + "B72", + "Y72", + "-1" + ], + [ + "add", + "B73", + "Y73", + "-1" + ], + [ + "add", + "B74", + "Y74", + "-1" + ], + [ + "add", + "B75", + "Y75", + "-1" + ], + [ + "add", + "B77", + "Y77", + "-1" + ], + [ + "add", + "B78", + "Y78", + "-1" + ], + [ + "add", + "B79", + "Y79", + "-1" + ], + [ + "add", + "B80", + "Y80", + "-1" + ], + [ + "add", + "B82", + "Y82", + "-1" + ], + [ + "add", + "B83", + "Y83", + "-1" + ], + [ + "add", + "B84", + "Y84", + "-1" + ], + [ + "add", + "B85", + "Y85", + "-1" + ], + [ + "add", + "B86", + "Y86", + "-1" + ], + [ + "add", + "B88", + "Y88", + "-1" + ], + [ + "add", + "B89", + "Y89", + "-1" + ], + [ + "add", + "B90", + "Y90", + "-1" + ], + [ + "add", + "B91", + "Y91", + "-1" + ], + [ + "add", + "B93", + "Y93", + "-1" + ], + [ + "add", + "B94", + "Y94", + "-1" + ], + [ + "add", + "B95", + "Y95", + "-1" + ], + [ + "add", + "B96", + "Y96", + "-1" + ], + [ + "add", + "B97", + "Y97", + "-1" + ], + [ + "add", + "B98", + "Y98", + "-1" + ], + [ + "add", + "B99", + "Y99", + "-1" + ], + [ + "add", + "B100", + "Y100", + "-1" + ], + [ + "add", + "B101", + "Y101", + "-1" + ], + [ + "add", + "B102", + "Y102", + "-1" + ], + [ + "add", + "B103", + "Y103", + "-1" + ], + [ + "add", + "B104", + "Y104", + "-1" + ], + [ + "add", + "B105", + "Y105", + "-1" + ], + [ + "add", + "B106", + "Y106", + "-1" + ], + [ + "add", + "B107", + "Y107", + "-1" + ], + [ + "add", + "B108", + "Y108", + "-1" + ], + [ + "add", + "B109", + "Y109", + "-1" + ] + ], + "direct_same_workspace": [ + [ + "add", + "B1", + "Y1", + "-1" + ], + [ + "add", + "B2", + "Y2", + "-1" + ], + [ + "add", + "B3", + "Y3", + "-1" + ], + [ + "add", + "B4", + "Y4", + "-1" + ], + [ + "add", + "B5", + "Y5", + "-1" + ], + [ + "add", + "B6", + "Y6", + "-1" + ], + [ + "add", + "B8", + "Y8", + "-1" + ], + [ + "add", + "B9", + "Y9", + "-1" + ], + [ + "add", + "B10", + "Y10", + "-1" + ], + [ + "add", + "B11", + "Y11", + "-1" + ], + [ + "add", + "B12", + "Y12", + "-1" + ], + [ + "add", + "B13", + "Y13", + "-1" + ], + [ + "add", + "B14", + "Y14", + "-1" + ], + [ + "add", + "B15", + "Y15", + "-1" + ], + [ + "add", + "B16", + "Y16", + "-1" + ], + [ + "add", + "B17", + "Y17", + "-1" + ], + [ + "add", + "B18", + "Y18", + "-1" + ], + [ + "add", + "B19", + "Y19", + "-1" + ], + [ + "add", + "B22", + "Y22", + "-1" + ], + [ + "add", + "B23", + "Y23", + "-1" + ], + [ + "add", + "B24", + "Y24", + "-1" + ], + [ + "add", + "B25", + "Y25", + "-1" + ], + [ + "add", + "B26", + "Y26", + "-1" + ], + [ + "add", + "B28", + "Y28", + "-1" + ], + [ + "add", + "B29", + "Y29", + "-1" + ], + [ + "add", + "B30", + "Y30", + "-1" + ], + [ + "add", + "B31", + "Y31", + "-1" + ], + [ + "add", + "B32", + "Y32", + "-1" + ], + [ + "add", + "B33", + "Y33", + "-1" + ], + [ + "add", + "B34", + "Y34", + "-1" + ], + [ + "add", + "B35", + "Y35", + "-1" + ], + [ + "add", + "B38", + "Y38", + "-1" + ], + [ + "add", + "B39", + "Y39", + "-1" + ], + [ + "add", + "B40", + "Y40", + "-1" + ], + [ + "add", + "B41", + "Y41", + "-1" + ], + [ + "add", + "B42", + "Y42", + "-1" + ], + [ + "add", + "B43", + "Y43", + "-1" + ], + [ + "add", + "B44", + "Y44", + "-1" + ], + [ + "add", + "B45", + "Y45", + "-1" + ], + [ + "add", + "B48", + "Y48", + "-1" + ], + [ + "add", + "B49", + "Y49", + "-1" + ], + [ + "add", + "B50", + "Y50", + "-1" + ], + [ + "add", + "B51", + "Y51", + "-1" + ], + [ + "add", + "B52", + "Y52", + "-1" + ], + [ + "add", + "B53", + "Y53", + "-1" + ], + [ + "add", + "B54", + "Y54", + "-1" + ], + [ + "add", + "B55", + "Y55", + "-1" + ], + [ + "add", + "B56", + "Y56", + "-1" + ], + [ + "add", + "B58", + "Y58", + "-1" + ], + [ + "add", + "B59", + "Y59", + "-1" + ], + [ + "add", + "B60", + "Y60", + "-1" + ], + [ + "add", + "B61", + "Y61", + "-1" + ], + [ + "add", + "B62", + "Y62", + "-1" + ], + [ + "add", + "B63", + "Y63", + "-1" + ], + [ + "add", + "B64", + "Y64", + "-1" + ], + [ + "add", + "B65", + "Y65", + "-1" + ], + [ + "add", + "B66", + "Y66", + "-1" + ], + [ + "add", + "B67", + "Y67", + "-1" + ], + [ + "add", + "B68", + "Y68", + "-1" + ], + [ + "add", + "B69", + "Y69", + "-1" + ], + [ + "add", + "B70", + "Y70", + "-1" + ], + [ + "add", + "B71", + "Y71", + "-1" + ], + [ + "add", + "B72", + "Y72", + "-1" + ], + [ + "add", + "B73", + "Y73", + "-1" + ], + [ + "add", + "B74", + "Y74", + "-1" + ], + [ + "add", + "B75", + "Y75", + "-1" + ], + [ + "add", + "B77", + "Y77", + "-1" + ], + [ + "add", + "B78", + "Y78", + "-1" + ], + [ + "add", + "B79", + "Y79", + "-1" + ], + [ + "add", + "B80", + "Y80", + "-1" + ], + [ + "add", + "B82", + "Y82", + "-1" + ], + [ + "add", + "B83", + "Y83", + "-1" + ], + [ + "add", + "B84", + "Y84", + "-1" + ], + [ + "add", + "B85", + "Y85", + "-1" + ], + [ + "add", + "B86", + "Y86", + "-1" + ], + [ + "add", + "B88", + "Y88", + "-1" + ], + [ + "add", + "B89", + "Y89", + "-1" + ], + [ + "add", + "B90", + "Y90", + "-1" + ], + [ + "add", + "B91", + "Y91", + "-1" + ], + [ + "add", + "B93", + "Y93", + "-1" + ], + [ + "add", + "B94", + "Y94", + "-1" + ], + [ + "add", + "B95", + "Y95", + "-1" + ], + [ + "add", + "B96", + "Y96", + "-1" + ], + [ + "add", + "B97", + "Y97", + "-1" + ], + [ + "add", + "B98", + "Y98", + "-1" + ], + [ + "add", + "B99", + "Y99", + "-1" + ], + [ + "add", + "B100", + "Y100", + "-1" + ], + [ + "add", + "B101", + "Y101", + "-1" + ], + [ + "add", + "B102", + "Y102", + "-1" + ], + [ + "add", + "B103", + "Y103", + "-1" + ], + [ + "add", + "B104", + "Y104", + "-1" + ], + [ + "add", + "B105", + "Y105", + "-1" + ], + [ + "add", + "B106", + "Y106", + "-1" + ], + [ + "add", + "B107", + "Y107", + "-1" + ], + [ + "add", + "B108", + "Y108", + "-1" + ], + [ + "add", + "B109", + "Y109", + "-1" + ], + [ + "clear", + "W0", + "identity" + ], + [ + "clear", + "W1", + "identity" + ], + [ + "clear", + "W2", + "identity" + ], + [ + "clear", + "W3", + "identity" + ], + [ + "clear", + "W4", + "identity" + ], + [ + "clear", + "W5", + "identity" + ], + [ + "clear", + "W6", + "identity" + ], + [ + "clear", + "W7", + "identity" + ], + [ + "clear", + "W8", + "identity" + ], + [ + "clear", + "W9", + "identity" + ], + [ + "clear", + "W10", + "identity" + ], + [ + "clear", + "W11", + "identity" + ], + [ + "clear", + "W12", + "identity" + ], + [ + "clear", + "W13", + "identity" + ], + [ + "clear", + "W14", + "identity" + ], + [ + "clear", + "W15", + "identity" + ], + [ + "clear", + "W16", + "identity" + ], + [ + "clear", + "W17", + "identity" + ], + [ + "clear", + "W18", + "identity" + ], + [ + "clear", + "W19", + "identity" + ], + [ + "clear", + "W20", + "identity" + ], + [ + "clear", + "W21", + "identity" + ], + [ + "clear", + "W22", + "identity" + ], + [ + "clear", + "W23", + "identity" + ], + [ + "clear", + "W24", + "identity" + ], + [ + "clear", + "W25", + "identity" + ], + [ + "clear", + "W26", + "identity" + ], + [ + "clear", + "W27", + "identity" + ], + [ + "clear", + "W28", + "identity" + ], + [ + "clear", + "W29", + "identity" + ], + [ + "clear", + "W30", + "identity" + ], + [ + "clear", + "W31", + "identity" + ], + [ + "clear", + "W32", + "identity" + ], + [ + "clear", + "W33", + "identity" + ], + [ + "clear", + "W34", + "identity" + ], + [ + "clear", + "W35", + "identity" + ], + [ + "clear", + "W36", + "identity" + ], + [ + "clear", + "W37", + "identity" + ], + [ + "clear", + "W38", + "identity" + ], + [ + "clear", + "W39", + "identity" + ], + [ + "clear", + "W40", + "identity" + ], + [ + "clear", + "W41", + "identity" + ], + [ + "clear", + "W42", + "identity" + ], + [ + "clear", + "W43", + "identity" + ], + [ + "clear", + "W44", + "identity" + ], + [ + "clear", + "W45", + "identity" + ], + [ + "clear", + "W46", + "identity" + ], + [ + "clear", + "W47", + "identity" + ], + [ + "clear", + "W48", + "identity" + ], + [ + "clear", + "W49", + "identity" + ], + [ + "clear", + "W50", + "identity" + ], + [ + "clear", + "W51", + "identity" + ], + [ + "clear", + "W52", + "identity" + ], + [ + "clear", + "W53", + "identity" + ], + [ + "clear", + "W54", + "identity" + ], + [ + "clear", + "W55", + "identity" + ], + [ + "clear", + "W56", + "identity" + ], + [ + "clear", + "W57", + "identity" + ], + [ + "clear", + "W58", + "identity" + ], + [ + "clear", + "W59", + "identity" + ], + [ + "clear", + "W60", + "identity" + ], + [ + "clear", + "W61", + "identity" + ], + [ + "clear", + "W62", + "identity" + ], + [ + "clear", + "W63", + "identity" + ], + [ + "clear", + "W64", + "identity" + ], + [ + "clear", + "W65", + "identity" + ], + [ + "clear", + "W66", + "identity" + ], + [ + "clear", + "W67", + "identity" + ], + [ + "clear", + "W68", + "identity" + ], + [ + "clear", + "W69", + "identity" + ], + [ + "clear", + "W70", + "identity" + ], + [ + "clear", + "W71", + "identity" + ], + [ + "clear", + "W72", + "identity" + ], + [ + "clear", + "W73", + "identity" + ], + [ + "clear", + "W74", + "identity" + ], + [ + "clear", + "W75", + "identity" + ], + [ + "clear", + "W76", + "identity" + ], + [ + "clear", + "W77", + "identity" + ], + [ + "clear", + "W78", + "identity" + ], + [ + "clear", + "W79", + "identity" + ], + [ + "clear", + "W80", + "identity" + ], + [ + "clear", + "W81", + "identity" + ], + [ + "clear", + "W82", + "identity" + ], + [ + "clear", + "W83", + "identity" + ], + [ + "clear", + "W84", + "identity" + ], + [ + "clear", + "W85", + "identity" + ], + [ + "clear", + "W86", + "identity" + ], + [ + "clear", + "W87", + "identity" + ], + [ + "clear", + "W88", + "identity" + ], + [ + "clear", + "W89", + "identity" + ], + [ + "clear", + "W90", + "identity" + ], + [ + "clear", + "W91", + "identity" + ], + [ + "clear", + "W92", + "identity" + ], + [ + "clear", + "W93", + "identity" + ], + [ + "clear", + "W94", + "identity" + ], + [ + "clear", + "W95", + "identity" + ], + [ + "clear", + "W96", + "identity" + ], + [ + "clear", + "W97", + "identity" + ], + [ + "clear", + "W98", + "identity" + ], + [ + "clear", + "W99", + "identity" + ], + [ + "clear", + "W100", + "identity" + ], + [ + "clear", + "W101", + "identity" + ], + [ + "clear", + "W102", + "identity" + ], + [ + "clear", + "W103", + "identity" + ], + [ + "clear", + "W104", + "identity" + ], + [ + "clear", + "W105", + "identity" + ], + [ + "clear", + "W106", + "identity" + ], + [ + "clear", + "W107", + "identity" + ], + [ + "clear", + "W108", + "identity" + ], + [ + "clear", + "W109", + "identity" + ], + [ + "clear", + "W110", + "identity" + ], + [ + "clear", + "W111", + "identity" + ], + [ + "clear", + "Q0", + "identity" + ], + [ + "clear", + "Q1", + "identity" + ], + [ + "clear", + "Q2", + "identity" + ], + [ + "clear", + "Q3", + "identity" + ], + [ + "clear", + "Q4", + "identity" + ], + [ + "clear", + "Q5", + "identity" + ], + [ + "clear", + "Q6", + "identity" + ], + [ + "clear", + "Q7", + "identity" + ] + ] +} diff --git a/research/qq16-paid-bridge-composition/test_verify.py b/research/qq16-paid-bridge-composition/test_verify.py new file mode 100644 index 0000000000..8b57da557d --- /dev/null +++ b/research/qq16-paid-bridge-composition/test_verify.py @@ -0,0 +1,47 @@ +#!/usr/bin/env python3 +"""Read-only and negative boundary controls; Chris R/OpenAI, Apache-2.0. +Export/replay test structure follows credited sibling same-output fusion review. +""" +import hashlib,json,os,shutil,subprocess,sys,tempfile,unittest +from pathlib import Path +HERE=Path(__file__).resolve().parent;ROOT=HERE.parents[1] +PACKAGE='research/qq16-paid-bridge-composition' +def run_at(root,*extra,opt=True,env=None): + argv=[sys.executable,'-I']+(['-O'] if opt else [])+['-Werror','-B',str(root/PACKAGE/'verify.py'),*extra] + return subprocess.run(argv,cwd=root,env=env,stdout=subprocess.PIPE,stderr=subprocess.STDOUT,text=True,timeout=180) +def snapshot(root): + return {str(p.relative_to(root)):hashlib.sha256(p.read_bytes()).hexdigest() for p in root.rglob('*') if p.is_file()} +class Boundary(unittest.TestCase): + def export(self): + td=tempfile.TemporaryDirectory();self.addCleanup(td.cleanup);root=Path(td.name) + shutil.copytree(HERE,root/PACKAGE,ignore=shutil.ignore_patterns('__pycache__')) + for r in json.loads((HERE/'SOURCES.json').read_text())['files']: + if r['usage']=='input': + p=root/r['path'];p.parent.mkdir(parents=True,exist_ok=True);shutil.copyfile(ROOT/r['path'],p) + return root + def reject(self,root,reason,*extra): + out=run_at(root,*extra);self.assertNotEqual(out.returncode,0,out.stdout);self.assertIn(reason,out.stdout) + def test_normal_optimized_readonly(self): + before=snapshot(HERE) + for opt in (False,True): + out=run_at(ROOT,opt=opt);self.assertEqual(out.returncode,0,out.stdout);self.assertIn('PASS_QQ16_PAID_BRIDGE_COMPOSITION',out.stdout) + self.assertEqual(snapshot(HERE),before) + def test_git_free_readonly_export(self): + root=self.export();before=snapshot(root) + for p in root.rglob('*'): + if p.is_file():p.chmod(0o444) + out=run_at(root,env=dict(os.environ,PATH='/nonexistent',PYTHONDONTWRITEBYTECODE='1')) + self.assertEqual(out.returncode,0,out.stdout);self.assertEqual(snapshot(root),before) + def test_source_byte_authentication(self): + root=self.export();p=root/'research/joint-query/certificate.json.gz';p.write_bytes(b'corrupt compressed input') + self.reject(root,'input hash research/joint-query/certificate.json.gz') + def test_source_blob_authentication(self): + root=self.export();p=root/PACKAGE/'SOURCES.json';v=json.loads(p.read_text());next(r for r in v['files'] if r['usage']=='input')['git_blob']='0'*40;p.write_text(json.dumps(v));self.reject(root,'input Git blob') + def test_pending_word_authentication(self): + root=self.export();p=root/PACKAGE/'vendor/pr3952/WORD.json';p.write_bytes(p.read_bytes()+b' ');self.reject(root,'retained word SHA256') + def test_whole_word_and_typed_receipt(self): + root=self.export();p=root/PACKAGE/'WORDS.json';original=p.read_bytes();v=json.loads(original);v['direct_bridge'].append(['invented_event']);p.write_text(json.dumps(v));self.reject(root,'complete word mismatch') + p.write_bytes(original);p=root/PACKAGE/'RESULT.json';v=json.loads(p.read_text());v['no_new_kappa']=1;p.write_text(json.dumps(v));self.reject(root,'complete typed receipt mismatch') + def test_generation_refuses_overwrite(self): + before=snapshot(HERE);self.reject(ROOT,'refuse overwrite','--write');self.assertEqual(snapshot(HERE),before) +if __name__=='__main__':unittest.main(verbosity=2) diff --git a/research/qq16-paid-bridge-composition/vendor/pr3952/WORD.json b/research/qq16-paid-bridge-composition/vendor/pr3952/WORD.json new file mode 100644 index 0000000000..c23da2f205 --- /dev/null +++ b/research/qq16-paid-bridge-composition/vendor/pr3952/WORD.json @@ -0,0 +1,1412 @@ +[ + ["clear","W0","hole0"], + ["add","W0","Y0","1"], + ["line","W0",0,1], + ["clear","W1","hole1"], + ["add","W1","Y1","1"], + ["line","W1",1,1], + ["clear","W2","hole2"], + ["add","W2","Y2","1"], + ["line","W2",2,1], + ["clear","W3","hole3"], + ["add","W3","Y3","1"], + ["line","W3",3,1], + ["clear","W4","hole4"], + ["add","W4","Y4","1"], + ["line","W4",4,1], + ["clear","W5","hole5"], + ["add","W5","Y5","1"], + ["line","W5",5,1], + ["clear","W6","hole6"], + ["add","W6","Y6","1"], + ["line","W6",6,1], + ["clear","W7","hole7"], + ["add","W7","Y7","1"], + ["line","W7",7,1], + ["clear","W8","hole8"], + ["add","W8","Y8","1"], + ["line","W8",8,1], + ["clear","W9","hole9"], + ["add","W9","Y9","1"], + ["line","W9",9,1], + ["clear","W10","hole10"], + ["add","W10","Y10","1"], + ["line","W10",10,1], + ["clear","W11","hole11"], + ["add","W11","Y11","1"], + ["line","W11",11,1], + ["clear","W12","hole12"], + ["add","W12","Y12","1"], + ["line","W12",12,1], + ["clear","W13","hole13"], + ["add","W13","Y13","1"], + ["line","W13",13,1], + ["clear","W14","hole14"], + ["add","W14","Y14","1"], + ["line","W14",14,1], + ["clear","W15","hole15"], + ["add","W15","Y15","1"], + ["line","W15",15,1], + ["clear","W16","hole16"], + ["add","W16","Y16","1"], + ["line","W16",16,1], + ["clear","W17","hole17"], + ["add","W17","Y17","1"], + ["line","W17",17,1], + ["clear","W18","hole18"], + ["add","W18","Y18","1"], + ["line","W18",18,1], + ["clear","W19","hole19"], + ["add","W19","Y19","1"], + ["line","W19",19,1], + ["clear","W20","hole20"], + ["add","W20","Y20","1"], + ["line","W20",20,1], + ["clear","W21","hole21"], + ["add","W21","Y21","1"], + ["line","W21",21,1], + ["clear","W22","hole22"], + ["add","W22","Y22","1"], + ["line","W22",22,1], + ["clear","W23","hole23"], + ["add","W23","Y23","1"], + ["line","W23",23,1], + ["clear","W24","hole24"], + ["add","W24","Y24","1"], + ["line","W24",24,1], + ["clear","W25","hole25"], + ["add","W25","Y25","1"], + ["line","W25",25,1], + ["clear","W26","hole26"], + ["add","W26","Y26","1"], + ["line","W26",26,1], + ["clear","W27","hole27"], + ["add","W27","Y27","1"], + ["line","W27",27,1], + ["clear","W28","hole28"], + ["add","W28","Y28","1"], + ["line","W28",28,1], + ["clear","W29","hole29"], + ["add","W29","Y29","1"], + ["line","W29",29,1], + ["clear","W30","hole30"], + ["add","W30","Y30","1"], + ["line","W30",30,1], + ["clear","W31","hole31"], + ["add","W31","Y31","1"], + ["line","W31",31,1], + ["clear","W32","hole32"], + ["add","W32","Y32","1"], + ["line","W32",32,1], + ["clear","W33","hole33"], + ["add","W33","Y33","1"], + ["line","W33",33,1], + ["clear","W34","hole34"], + ["add","W34","Y34","1"], + ["line","W34",34,1], + ["clear","W35","hole35"], + ["add","W35","Y35","1"], + ["line","W35",35,1], + ["clear","W36","hole36"], + ["add","W36","Y36","1"], + ["line","W36",36,1], + ["clear","W37","hole37"], + ["add","W37","Y37","1"], + ["line","W37",37,1], + ["clear","W38","hole38"], + ["add","W38","Y38","1"], + ["line","W38",38,1], + ["clear","W39","hole39"], + ["add","W39","Y39","1"], + ["line","W39",39,1], + ["clear","W40","hole40"], + ["add","W40","Y40","1"], + ["line","W40",40,1], + ["clear","W41","hole41"], + ["add","W41","Y41","1"], + ["line","W41",41,1], + ["clear","W42","hole42"], + ["add","W42","Y42","1"], + ["line","W42",42,1], + ["clear","W43","hole43"], + ["add","W43","Y43","1"], + ["line","W43",43,1], + ["clear","W44","hole44"], + ["add","W44","Y44","1"], + ["line","W44",44,1], + ["clear","W45","hole45"], + ["add","W45","Y45","1"], + ["line","W45",45,1], + ["clear","W46","hole46"], + ["add","W46","Y46","1"], + ["line","W46",46,1], + ["clear","W47","hole47"], + ["add","W47","Y47","1"], + ["line","W47",47,1], + ["clear","W48","hole48"], + ["add","W48","Y48","1"], + ["line","W48",48,1], + ["clear","W49","hole49"], + ["add","W49","Y49","1"], + ["line","W49",49,1], + ["clear","W50","hole50"], + ["add","W50","Y50","1"], + ["line","W50",50,1], + ["clear","W51","hole51"], + ["add","W51","Y51","1"], + ["line","W51",51,1], + ["clear","W52","hole52"], + ["add","W52","Y52","1"], + ["line","W52",52,1], + ["clear","W53","hole53"], + ["add","W53","Y53","1"], + ["line","W53",53,1], + ["clear","W54","hole54"], + ["add","W54","Y54","1"], + ["line","W54",54,1], + ["clear","W55","hole55"], + ["add","W55","Y55","1"], + ["line","W55",55,1], + ["clear","W56","hole56"], + ["add","W56","Y56","1"], + ["line","W56",56,1], + ["clear","W57","hole57"], + ["add","W57","Y57","1"], + ["line","W57",57,1], + ["clear","W58","hole58"], + ["add","W58","Y58","1"], + ["line","W58",58,1], + ["clear","W59","hole59"], + ["add","W59","Y59","1"], + ["line","W59",59,1], + ["clear","W60","hole60"], + ["add","W60","Y60","1"], + ["line","W60",60,1], + ["clear","W61","hole61"], + ["add","W61","Y61","1"], + ["line","W61",61,1], + ["clear","W62","hole62"], + ["add","W62","Y62","1"], + ["line","W62",62,1], + ["clear","W63","hole63"], + ["add","W63","Y63","1"], + ["line","W63",63,1], + ["clear","W64","hole64"], + ["add","W64","Y64","1"], + ["line","W64",64,1], + ["clear","W65","hole65"], + ["add","W65","Y65","1"], + ["line","W65",65,1], + ["clear","W66","hole66"], + ["add","W66","Y66","1"], + ["line","W66",66,1], + ["clear","W67","hole67"], + ["add","W67","Y67","1"], + ["line","W67",67,1], + ["clear","W68","hole68"], + ["add","W68","Y68","1"], + ["line","W68",68,1], + ["clear","W69","hole69"], + ["add","W69","Y69","1"], + ["line","W69",69,1], + ["clear","W70","hole70"], + ["add","W70","Y70","1"], + ["line","W70",70,1], + ["clear","W71","hole71"], + ["add","W71","Y71","1"], + ["line","W71",71,1], + ["clear","W72","hole72"], + ["add","W72","Y72","1"], + ["line","W72",72,1], + ["clear","W73","hole73"], + ["add","W73","Y73","1"], + ["line","W73",73,1], + ["clear","W74","hole74"], + ["add","W74","Y74","1"], + ["line","W74",74,1], + ["clear","W75","hole75"], + ["add","W75","Y75","1"], + ["line","W75",75,1], + ["clear","W76","hole76"], + ["add","W76","Y76","1"], + ["line","W76",76,1], + ["clear","W77","hole77"], + ["add","W77","Y77","1"], + ["line","W77",77,1], + ["clear","W78","hole78"], + ["add","W78","Y78","1"], + ["line","W78",78,1], + ["clear","W79","hole79"], + ["add","W79","Y79","1"], + ["line","W79",79,1], + ["clear","W80","hole80"], + ["add","W80","Y80","1"], + ["line","W80",80,1], + ["clear","W81","hole81"], + ["add","W81","Y81","1"], + ["line","W81",81,1], + ["clear","W82","hole82"], + ["add","W82","Y82","1"], + ["line","W82",82,1], + ["clear","W83","hole83"], + ["add","W83","Y83","1"], + ["line","W83",83,1], + ["clear","W84","hole84"], + ["add","W84","Y84","1"], + ["line","W84",84,1], + ["clear","W85","hole85"], + ["add","W85","Y85","1"], + ["line","W85",85,1], + ["clear","W86","hole86"], + ["add","W86","Y86","1"], + ["line","W86",86,1], + ["clear","W87","hole87"], + ["add","W87","Y87","1"], + ["line","W87",87,1], + ["clear","W88","hole88"], + ["add","W88","Y88","1"], + ["line","W88",88,1], + ["clear","W89","hole89"], + ["add","W89","Y89","1"], + ["line","W89",89,1], + ["clear","W90","hole90"], + ["add","W90","Y90","1"], + ["line","W90",90,1], + ["clear","W91","hole91"], + ["add","W91","Y91","1"], + ["line","W91",91,1], + ["clear","W92","hole92"], + ["add","W92","Y92","1"], + ["line","W92",92,1], + ["clear","W93","hole93"], + ["add","W93","Y93","1"], + ["line","W93",93,1], + ["clear","W94","hole94"], + ["add","W94","Y94","1"], + ["line","W94",94,1], + ["clear","W95","hole95"], + ["add","W95","Y95","1"], + ["line","W95",95,1], + ["clear","W96","hole96"], + ["add","W96","Y96","1"], + ["line","W96",96,1], + ["clear","W97","hole97"], + ["add","W97","Y97","1"], + ["line","W97",97,1], + ["clear","W98","hole98"], + ["add","W98","Y98","1"], + ["line","W98",98,1], + ["clear","W99","hole99"], + ["add","W99","Y99","1"], + ["line","W99",99,1], + ["clear","W100","hole100"], + ["add","W100","Y100","1"], + ["line","W100",100,1], + ["clear","W101","hole101"], + ["add","W101","Y101","1"], + ["line","W101",101,1], + ["clear","W102","hole102"], + ["add","W102","Y102","1"], + ["line","W102",102,1], + ["clear","W103","hole103"], + ["add","W103","Y103","1"], + ["line","W103",103,1], + ["clear","W104","hole104"], + ["add","W104","Y104","1"], + ["line","W104",104,1], + ["clear","W105","hole105"], + ["add","W105","Y105","1"], + ["line","W105",105,1], + ["clear","W106","hole106"], + ["add","W106","Y106","1"], + ["line","W106",106,1], + ["clear","W107","hole107"], + ["add","W107","Y107","1"], + ["line","W107",107,1], + ["clear","W108","hole108"], + ["add","W108","Y108","1"], + ["line","W108",108,1], + ["clear","W109","hole109"], + ["add","W109","Y109","1"], + ["line","W109",109,1], + ["clear","W110","hole110"], + ["add","W110","Y110","1"], + ["line","W110",110,1], + ["clear","W111","hole111"], + ["add","W111","Y111","1"], + ["line","W111",111,1], + ["map","W0",1,0,false], + ["map","W1",1,1,false], + ["map","W2",1,2,false], + ["map","W3",1,3,false], + ["map","W4",1,4,false], + ["map","W5",1,5,false], + ["map","W6",1,6,false], + ["map","W7",1,7,false], + ["map","W8",1,8,false], + ["map","W9",1,9,false], + ["map","W10",1,10,false], + ["map","W11",1,11,false], + ["map","W12",1,12,false], + ["map","W13",1,13,false], + ["map","W14",1,14,false], + ["map","W15",1,15,false], + ["map","W16",1,16,false], + ["map","W17",1,17,false], + ["map","W18",1,18,false], + ["map","W19",1,19,false], + ["map","W20",1,20,false], + ["map","W21",1,21,false], + ["map","W22",1,22,false], + ["map","W23",1,23,false], + ["map","W24",1,24,false], + ["map","W25",1,25,false], + ["map","W26",1,26,false], + ["map","W27",1,27,false], + ["map","W28",1,28,false], + ["map","W29",1,29,false], + ["map","W30",1,30,false], + ["map","W31",1,31,false], + ["map","W32",1,32,false], + ["map","W33",1,33,false], + ["map","W34",1,34,false], + ["map","W35",1,35,false], + ["map","W36",1,36,false], + ["map","W37",1,37,false], + ["map","W38",1,38,false], + ["map","W39",1,39,false], + ["map","W40",1,40,false], + ["map","W41",1,41,false], + ["map","W42",1,42,false], + ["map","W43",1,43,false], + ["map","W44",1,44,false], + ["map","W45",1,45,false], + ["map","W46",1,46,false], + ["map","W47",1,47,false], + ["map","W48",1,48,false], + ["map","W49",1,49,false], + ["map","W50",1,50,false], + ["map","W51",1,51,false], + ["map","W52",1,52,false], + ["map","W53",1,53,false], + ["map","W54",1,54,false], + ["map","W55",1,55,false], + ["map","W56",1,56,false], + ["map","W57",1,57,false], + ["map","W58",1,58,false], + ["map","W59",1,59,false], + ["map","W60",1,60,false], + ["map","W61",1,61,false], + ["map","W62",1,62,false], + ["map","W63",1,63,false], + ["map","W64",1,64,false], + ["map","W65",1,65,false], + ["map","W66",1,66,false], + ["map","W67",1,67,false], + ["map","W68",1,68,false], + ["map","W69",1,69,false], + ["map","W70",1,70,false], + ["map","W71",1,71,false], + ["map","W72",1,72,false], + ["map","W73",1,73,false], + ["map","W74",1,74,false], + ["map","W75",1,75,false], + ["map","W76",1,76,false], + ["map","W77",1,77,false], + ["map","W78",1,78,false], + ["map","W79",1,79,false], + ["map","W80",1,80,false], + ["map","W81",1,81,false], + ["map","W82",1,82,false], + ["map","W83",1,83,false], + ["map","W84",1,84,false], + ["map","W85",1,85,false], + ["map","W86",1,86,false], + ["map","W87",1,87,false], + ["map","W88",1,88,false], + ["map","W89",1,89,false], + ["map","W90",1,90,false], + ["map","W91",1,91,false], + ["map","W92",1,92,false], + ["map","W93",1,93,false], + ["map","W94",1,94,false], + ["map","W95",1,95,false], + ["map","W96",1,96,false], + ["map","W97",1,97,false], + ["map","W98",1,98,false], + ["map","W99",1,99,false], + ["map","W100",1,100,false], + ["map","W101",1,101,false], + ["map","W102",1,102,false], + ["map","W103",1,103,false], + ["map","W104",1,104,false], + ["map","W105",1,105,false], + ["map","W106",1,106,false], + ["map","W107",1,107,false], + ["map","W108",1,108,false], + ["map","W109",1,109,false], + ["map","W110",1,110,false], + ["map","W111",1,111,false], + ["begin","B1_current_query",8], + ["clear","F0","wide"], + ["add","F0","W0","1"], + ["add","F0","W2","1"], + ["add","F0","W7","1"], + ["add","F0","W9","1"], + ["add","F0","W10","1"], + ["add","F0","W11","1"], + ["add","F0","W12","1"], + ["add","F0","W17","1"], + ["add","F0","W18","1"], + ["add","F0","W19","1"], + ["add","F0","W22","1"], + ["add","F0","W23","1"], + ["add","F0","W24","1"], + ["add","F0","W25","1"], + ["add","F0","W27","1"], + ["add","F0","W31","1"], + ["add","F0","W32","1"], + ["add","F0","W33","1"], + ["add","F0","W34","1"], + ["add","F0","W35","1"], + ["add","F0","W38","1"], + ["add","F0","W39","1"], + ["add","F0","W40","1"], + ["add","F0","W45","1"], + ["add","F0","W48","1"], + ["add","F0","W49","1"], + ["add","F0","W50","1"], + ["add","F0","W54","1"], + ["add","F0","W55","1"], + ["add","F0","W56","1"], + ["add","F0","W57","1"], + ["add","F0","W61","1"], + ["add","F0","W62","1"], + ["add","F0","W63","1"], + ["add","F0","W70","1"], + ["add","F0","W71","1"], + ["add","F0","W72","1"], + ["add","F0","W76","1"], + ["add","F0","W77","1"], + ["add","F0","W79","1"], + ["add","F0","W81","1"], + ["add","F0","W85","1"], + ["add","F0","W87","1"], + ["add","F0","W89","1"], + ["add","F0","W90","1"], + ["add","F0","W91","1"], + ["add","F0","W92","1"], + ["add","F0","W94","1"], + ["add","F0","W98","1"], + ["add","F0","W100","1"], + ["add","F0","W101","1"], + ["add","F0","W102","1"], + ["add","F0","W103","1"], + ["add","F0","W107","1"], + ["add","F0","W108","1"], + ["add","F0","W109","1"], + ["clear","F1","wide"], + ["add","F1","W0","1"], + ["add","F1","W1","1"], + ["add","F1","W2","1"], + ["add","F1","W3","1"], + ["add","F1","W4","1"], + ["add","F1","W5","1"], + ["add","F1","W6","1"], + ["add","F1","W7","-1"], + ["add","F1","W8","1"], + ["add","F1","W9","-1"], + ["add","F1","W10","-1"], + ["add","F1","W11","-1"], + ["add","F1","W25","1"], + ["add","F1","W26","1"], + ["add","F1","W27","1"], + ["add","F1","W28","1"], + ["add","F1","W29","1"], + ["add","F1","W30","1"], + ["add","F1","W57","-1"], + ["add","F1","W58","1"], + ["add","F1","W59","1"], + ["add","F1","W60","1"], + ["add","F1","W61","-1"], + ["add","F1","W62","-1"], + ["add","F1","W63","-1"], + ["add","F1","W64","1"], + ["add","F1","W65","1"], + ["add","F1","W66","1"], + ["add","F1","W67","1"], + ["add","F1","W68","1"], + ["add","F1","W69","1"], + ["add","F1","W70","1"], + ["add","F1","W71","1"], + ["add","F1","W72","1"], + ["add","F1","W73","1"], + ["add","F1","W74","1"], + ["add","F1","W75","1"], + ["add","F1","W76","1"], + ["add","F1","W79","-1"], + ["add","F1","W80","1"], + ["add","F1","W81","-1"], + ["add","F1","W82","1"], + ["add","F1","W83","1"], + ["add","F1","W84","1"], + ["add","F1","W86","1"], + ["add","F1","W87","1"], + ["add","F1","W88","1"], + ["add","F1","W89","1"], + ["add","F1","W90","1"], + ["add","F1","W91","1"], + ["add","F1","W92","-1"], + ["add","F1","W93","1"], + ["add","F1","W94","-1"], + ["add","F1","W95","1"], + ["add","F1","W96","1"], + ["add","F1","W97","1"], + ["clear","F2","wide"], + ["add","F2","W0","1"], + ["add","F2","W1","1"], + ["add","F2","W6","1"], + ["add","F2","W7","-1"], + ["add","F2","W12","1"], + ["add","F2","W13","1"], + ["add","F2","W14","1"], + ["add","F2","W15","1"], + ["add","F2","W16","1"], + ["add","F2","W17","-1"], + ["add","F2","W18","-1"], + ["add","F2","W19","-1"], + ["add","F2","W27","-1"], + ["add","F2","W28","-1"], + ["add","F2","W29","-1"], + ["add","F2","W30","-1"], + ["add","F2","W31","1"], + ["add","F2","W38","-1"], + ["add","F2","W39","-1"], + ["add","F2","W40","-1"], + ["add","F2","W41","1"], + ["add","F2","W42","1"], + ["add","F2","W43","1"], + ["add","F2","W44","1"], + ["add","F2","W51","1"], + ["add","F2","W52","1"], + ["add","F2","W53","1"], + ["add","F2","W54","1"], + ["add","F2","W55","1"], + ["add","F2","W56","1"], + ["add","F2","W57","1"], + ["add","F2","W58","-1"], + ["add","F2","W59","-1"], + ["add","F2","W60","-1"], + ["add","F2","W73","1"], + ["add","F2","W74","1"], + ["add","F2","W75","1"], + ["add","F2","W76","1"], + ["add","F2","W77","-1"], + ["add","F2","W78","1"], + ["add","F2","W81","-1"], + ["add","F2","W82","1"], + ["add","F2","W83","1"], + ["add","F2","W84","1"], + ["add","F2","W86","-1"], + ["add","F2","W87","-1"], + ["add","F2","W92","1"], + ["add","F2","W93","-1"], + ["add","F2","W99","1"], + ["add","F2","W100","1"], + ["add","F2","W101","1"], + ["add","F2","W102","1"], + ["add","F2","W103","-1"], + ["add","F2","W104","1"], + ["add","F2","W105","1"], + ["add","F2","W106","1"], + ["clear","F3","wide"], + ["add","F3","W0","1"], + ["add","F3","W3","1"], + ["add","F3","W4","1"], + ["add","F3","W5","1"], + ["add","F3","W7","1"], + ["add","F3","W8","-1"], + ["add","F3","W13","1"], + ["add","F3","W14","1"], + ["add","F3","W15","1"], + ["add","F3","W16","-1"], + ["add","F3","W22","-1"], + ["add","F3","W23","-1"], + ["add","F3","W24","-1"], + ["add","F3","W26","-1"], + ["add","F3","W27","-1"], + ["add","F3","W32","1"], + ["add","F3","W33","1"], + ["add","F3","W34","1"], + ["add","F3","W35","-1"], + ["add","F3","W41","-1"], + ["add","F3","W42","-1"], + ["add","F3","W43","-1"], + ["add","F3","W44","-1"], + ["add","F3","W45","-1"], + ["add","F3","W48","1"], + ["add","F3","W49","1"], + ["add","F3","W50","1"], + ["add","F3","W51","1"], + ["add","F3","W52","1"], + ["add","F3","W53","1"], + ["add","F3","W57","-1"], + ["add","F3","W64","-1"], + ["add","F3","W65","-1"], + ["add","F3","W66","-1"], + ["add","F3","W67","1"], + ["add","F3","W68","1"], + ["add","F3","W69","1"], + ["add","F3","W76","-1"], + ["add","F3","W78","1"], + ["add","F3","W80","1"], + ["add","F3","W81","-1"], + ["add","F3","W85","1"], + ["add","F3","W87","1"], + ["add","F3","W88","1"], + ["add","F3","W92","1"], + ["add","F3","W95","-1"], + ["add","F3","W96","-1"], + ["add","F3","W97","-1"], + ["add","F3","W98","1"], + ["add","F3","W99","1"], + ["add","F3","W104","-1"], + ["add","F3","W105","-1"], + ["add","F3","W106","-1"], + ["add","F3","W107","-1"], + ["add","F3","W108","-1"], + ["add","F3","W109","-1"], + ["clear","F4","wide"], + ["add","F4","W1","-1"], + ["add","F4","W3","-1"], + ["add","F4","W6","1"], + ["add","F4","W8","1"], + ["add","F4","W10","-1"], + ["add","F4","W11","-1"], + ["add","F4","W12","1"], + ["add","F4","W14","1"], + ["add","F4","W15","1"], + ["add","F4","W17","1"], + ["add","F4","W20","1"], + ["add","F4","W21","1"], + ["add","F4","W24","-1"], + ["add","F4","W26","-1"], + ["add","F4","W28","-1"], + ["add","F4","W31","-1"], + ["add","F4","W32","-1"], + ["add","F4","W35","-1"], + ["add","F4","W36","1"], + ["add","F4","W37","1"], + ["add","F4","W38","-1"], + ["add","F4","W41","1"], + ["add","F4","W42","1"], + ["add","F4","W45","1"], + ["add","F4","W46","1"], + ["add","F4","W47","1"], + ["add","F4","W48","1"], + ["add","F4","W52","-1"], + ["add","F4","W53","-1"], + ["add","F4","W56","-1"], + ["add","F4","W58","1"], + ["add","F4","W62","1"], + ["add","F4","W63","1"], + ["add","F4","W66","-1"], + ["add","F4","W67","1"], + ["add","F4","W70","1"], + ["add","F4","W71","1"], + ["add","F4","W75","-1"], + ["add","F4","W77","-1"], + ["add","F4","W80","1"], + ["add","F4","W82","1"], + ["add","F4","W85","-1"], + ["add","F4","W86","-1"], + ["add","F4","W88","-1"], + ["add","F4","W90","-1"], + ["add","F4","W91","-1"], + ["add","F4","W93","1"], + ["add","F4","W95","1"], + ["add","F4","W98","1"], + ["add","F4","W100","1"], + ["add","F4","W103","1"], + ["add","F4","W105","-1"], + ["add","F4","W106","-1"], + ["add","F4","W107","1"], + ["add","F4","W110","1"], + ["add","F4","W111","1"], + ["clear","F5","wide"], + ["add","F5","W4","-1"], + ["add","F5","W5","1"], + ["add","F5","W10","1"], + ["add","F5","W11","-1"], + ["add","F5","W14","-1"], + ["add","F5","W15","1"], + ["add","F5","W18","1"], + ["add","F5","W19","-1"], + ["add","F5","W20","-1"], + ["add","F5","W21","1"], + ["add","F5","W22","1"], + ["add","F5","W23","-1"], + ["add","F5","W29","-1"], + ["add","F5","W30","1"], + ["add","F5","W33","-1"], + ["add","F5","W34","1"], + ["add","F5","W36","1"], + ["add","F5","W37","-1"], + ["add","F5","W39","-1"], + ["add","F5","W40","1"], + ["add","F5","W41","1"], + ["add","F5","W42","-1"], + ["add","F5","W46","-1"], + ["add","F5","W47","1"], + ["add","F5","W49","1"], + ["add","F5","W50","-1"], + ["add","F5","W52","1"], + ["add","F5","W53","-1"], + ["add","F5","W54","1"], + ["add","F5","W55","-1"], + ["add","F5","W59","1"], + ["add","F5","W60","-1"], + ["add","F5","W62","-1"], + ["add","F5","W63","1"], + ["add","F5","W64","1"], + ["add","F5","W65","-1"], + ["add","F5","W68","1"], + ["add","F5","W69","-1"], + ["add","F5","W70","1"], + ["add","F5","W71","-1"], + ["add","F5","W73","1"], + ["add","F5","W74","-1"], + ["add","F5","W83","1"], + ["add","F5","W84","-1"], + ["add","F5","W90","1"], + ["add","F5","W91","-1"], + ["add","F5","W96","1"], + ["add","F5","W97","-1"], + ["add","F5","W101","1"], + ["add","F5","W102","-1"], + ["add","F5","W105","1"], + ["add","F5","W106","-1"], + ["add","F5","W108","1"], + ["add","F5","W109","-1"], + ["add","F5","W110","-1"], + ["add","F5","W111","1"], + ["clear","F6","wide"], + ["add","F6","W2","1"], + ["add","F6","W3","1"], + ["add","F6","W8","1"], + ["add","F6","W9","-1"], + ["add","F6","W12","1"], + ["add","F6","W13","1"], + ["add","F6","W16","1"], + ["add","F6","W17","-1"], + ["add","F6","W20","1"], + ["add","F6","W21","1"], + ["add","F6","W22","-1"], + ["add","F6","W23","-1"], + ["add","F6","W25","-1"], + ["add","F6","W26","-1"], + ["add","F6","W29","-1"], + ["add","F6","W30","-1"], + ["add","F6","W31","-1"], + ["add","F6","W33","-1"], + ["add","F6","W34","-1"], + ["add","F6","W36","1"], + ["add","F6","W37","1"], + ["add","F6","W38","1"], + ["add","F6","W43","1"], + ["add","F6","W44","-1"], + ["add","F6","W46","-1"], + ["add","F6","W47","-1"], + ["add","F6","W49","1"], + ["add","F6","W50","1"], + ["add","F6","W51","-1"], + ["add","F6","W56","1"], + ["add","F6","W59","1"], + ["add","F6","W60","1"], + ["add","F6","W61","1"], + ["add","F6","W66","1"], + ["add","F6","W67","-1"], + ["add","F6","W72","1"], + ["add","F6","W73","-1"], + ["add","F6","W74","-1"], + ["add","F6","W77","-1"], + ["add","F6","W78","1"], + ["add","F6","W79","-1"], + ["add","F6","W80","1"], + ["add","F6","W83","1"], + ["add","F6","W84","1"], + ["add","F6","W88","-1"], + ["add","F6","W89","-1"], + ["add","F6","W94","1"], + ["add","F6","W95","-1"], + ["add","F6","W99","-1"], + ["add","F6","W100","-1"], + ["add","F6","W103","1"], + ["add","F6","W104","-1"], + ["add","F6","W108","1"], + ["add","F6","W109","1"], + ["add","F6","W110","-1"], + ["add","F6","W111","-1"], + ["clear","F7","wide"], + ["add","F7","W1","-1"], + ["add","F7","W2","-1"], + ["add","F7","W4","-1"], + ["add","F7","W5","-1"], + ["add","F7","W6","1"], + ["add","F7","W9","-1"], + ["add","F7","W13","1"], + ["add","F7","W16","-1"], + ["add","F7","W18","1"], + ["add","F7","W19","1"], + ["add","F7","W20","-1"], + ["add","F7","W21","-1"], + ["add","F7","W24","1"], + ["add","F7","W25","1"], + ["add","F7","W28","1"], + ["add","F7","W32","1"], + ["add","F7","W35","-1"], + ["add","F7","W36","1"], + ["add","F7","W37","1"], + ["add","F7","W39","-1"], + ["add","F7","W40","-1"], + ["add","F7","W43","1"], + ["add","F7","W44","1"], + ["add","F7","W45","1"], + ["add","F7","W46","1"], + ["add","F7","W47","1"], + ["add","F7","W48","-1"], + ["add","F7","W51","-1"], + ["add","F7","W54","-1"], + ["add","F7","W55","-1"], + ["add","F7","W58","-1"], + ["add","F7","W61","1"], + ["add","F7","W64","-1"], + ["add","F7","W65","-1"], + ["add","F7","W68","1"], + ["add","F7","W69","1"], + ["add","F7","W72","1"], + ["add","F7","W75","1"], + ["add","F7","W78","-1"], + ["add","F7","W79","1"], + ["add","F7","W82","-1"], + ["add","F7","W85","-1"], + ["add","F7","W86","-1"], + ["add","F7","W89","-1"], + ["add","F7","W93","1"], + ["add","F7","W94","-1"], + ["add","F7","W96","1"], + ["add","F7","W97","1"], + ["add","F7","W98","1"], + ["add","F7","W99","1"], + ["add","F7","W101","1"], + ["add","F7","W102","1"], + ["add","F7","W104","-1"], + ["add","F7","W107","-1"], + ["add","F7","W110","-1"], + ["add","F7","W111","-1"], + ["add","W1","F1","-1/4"], + ["add","W1","F2","-1/4"], + ["add","W1","F4","1/4"], + ["add","W1","F7","1/4"], + ["add","W2","F0","-1/4"], + ["add","W2","F1","-1/4"], + ["add","W2","F6","-1/4"], + ["add","W2","F7","1/4"], + ["add","W3","F1","-1/4"], + ["add","W3","F3","-1/4"], + ["add","W3","F4","1/4"], + ["add","W3","F6","-1/4"], + ["add","W4","F1","-1/4"], + ["add","W4","F3","-1/4"], + ["add","W4","F5","1/4"], + ["add","W4","F7","1/4"], + ["add","W5","F1","-1/4"], + ["add","W5","F3","-1/4"], + ["add","W5","F5","-1/4"], + ["add","W5","F7","1/4"], + ["add","W6","F1","-1/4"], + ["add","W6","F2","-1/4"], + ["add","W6","F4","-1/4"], + ["add","W6","F7","-1/4"], + ["add","W8","F1","-1/4"], + ["add","W8","F3","1/4"], + ["add","W8","F4","-1/4"], + ["add","W8","F6","-1/4"], + ["add","W9","F0","-1/4"], + ["add","W9","F1","1/4"], + ["add","W9","F6","1/4"], + ["add","W9","F7","1/4"], + ["add","W10","F0","-1/4"], + ["add","W10","F1","1/4"], + ["add","W10","F4","1/4"], + ["add","W10","F5","-1/4"], + ["add","W11","F0","-1/4"], + ["add","W11","F1","1/4"], + ["add","W11","F4","1/4"], + ["add","W11","F5","1/4"], + ["add","W12","F0","-1/4"], + ["add","W12","F2","-1/4"], + ["add","W12","F4","-1/4"], + ["add","W12","F6","-1/4"], + ["add","W13","F2","-1/4"], + ["add","W13","F3","-1/4"], + ["add","W13","F6","-1/4"], + ["add","W13","F7","-1/4"], + ["add","W14","F2","-1/4"], + ["add","W14","F3","-1/4"], + ["add","W14","F4","-1/4"], + ["add","W14","F5","1/4"], + ["add","W15","F2","-1/4"], + ["add","W15","F3","-1/4"], + ["add","W15","F4","-1/4"], + ["add","W15","F5","-1/4"], + ["add","W16","F2","-1/4"], + ["add","W16","F3","1/4"], + ["add","W16","F6","-1/4"], + ["add","W16","F7","1/4"], + ["add","W17","F0","-1/4"], + ["add","W17","F2","1/4"], + ["add","W17","F4","-1/4"], + ["add","W17","F6","1/4"], + ["add","W18","F0","-1/4"], + ["add","W18","F2","1/4"], + ["add","W18","F5","-1/4"], + ["add","W18","F7","-1/4"], + ["add","W19","F0","-1/4"], + ["add","W19","F2","1/4"], + ["add","W19","F5","1/4"], + ["add","W19","F7","-1/4"], + ["add","W22","F0","-1/4"], + ["add","W22","F3","1/4"], + ["add","W22","F5","-1/4"], + ["add","W22","F6","1/4"], + ["add","W23","F0","-1/4"], + ["add","W23","F3","1/4"], + ["add","W23","F5","1/4"], + ["add","W23","F6","1/4"], + ["add","W24","F0","-1/4"], + ["add","W24","F3","1/4"], + ["add","W24","F4","1/4"], + ["add","W24","F7","-1/4"], + ["add","W25","F0","-1/4"], + ["add","W25","F1","-1/4"], + ["add","W25","F6","1/4"], + ["add","W25","F7","-1/4"], + ["add","W26","F1","-1/4"], + ["add","W26","F3","1/4"], + ["add","W26","F4","1/4"], + ["add","W26","F6","1/4"], + ["add","W28","F1","-1/4"], + ["add","W28","F2","1/4"], + ["add","W28","F4","1/4"], + ["add","W28","F7","-1/4"], + ["add","W29","F1","-1/4"], + ["add","W29","F2","1/4"], + ["add","W29","F5","1/4"], + ["add","W29","F6","1/4"], + ["add","W30","F1","-1/4"], + ["add","W30","F2","1/4"], + ["add","W30","F5","-1/4"], + ["add","W30","F6","1/4"], + ["add","W31","F0","-1/4"], + ["add","W31","F2","-1/4"], + ["add","W31","F4","1/4"], + ["add","W31","F6","1/4"], + ["add","W32","F0","-1/4"], + ["add","W32","F3","-1/4"], + ["add","W32","F4","1/4"], + ["add","W32","F7","-1/4"], + ["add","W33","F0","-1/4"], + ["add","W33","F3","-1/4"], + ["add","W33","F5","1/4"], + ["add","W33","F6","1/4"], + ["add","W34","F0","-1/4"], + ["add","W34","F3","-1/4"], + ["add","W34","F5","-1/4"], + ["add","W34","F6","1/4"], + ["add","W35","F0","-1/4"], + ["add","W35","F3","1/4"], + ["add","W35","F4","1/4"], + ["add","W35","F7","1/4"], + ["add","W38","F0","-1/4"], + ["add","W38","F2","1/4"], + ["add","W38","F4","1/4"], + ["add","W38","F6","-1/4"], + ["add","W39","F0","-1/4"], + ["add","W39","F2","1/4"], + ["add","W39","F5","1/4"], + ["add","W39","F7","1/4"], + ["add","W40","F0","-1/4"], + ["add","W40","F2","1/4"], + ["add","W40","F5","-1/4"], + ["add","W40","F7","1/4"], + ["add","W41","F2","-1/4"], + ["add","W41","F3","1/4"], + ["add","W41","F4","-1/4"], + ["add","W41","F5","-1/4"], + ["add","W42","F2","-1/4"], + ["add","W42","F3","1/4"], + ["add","W42","F4","-1/4"], + ["add","W42","F5","1/4"], + ["add","W43","F2","-1/4"], + ["add","W43","F3","1/4"], + ["add","W43","F6","-1/4"], + ["add","W43","F7","-1/4"], + ["add","W44","F2","-1/4"], + ["add","W44","F3","1/4"], + ["add","W44","F6","1/4"], + ["add","W44","F7","-1/4"], + ["add","W45","F0","-1/4"], + ["add","W45","F3","1/4"], + ["add","W45","F4","-1/4"], + ["add","W45","F7","-1/4"], + ["add","W48","F0","-1/4"], + ["add","W48","F3","-1/4"], + ["add","W48","F4","-1/4"], + ["add","W48","F7","1/4"], + ["add","W49","F0","-1/4"], + ["add","W49","F3","-1/4"], + ["add","W49","F5","-1/4"], + ["add","W49","F6","-1/4"], + ["add","W50","F0","-1/4"], + ["add","W50","F3","-1/4"], + ["add","W50","F5","1/4"], + ["add","W50","F6","-1/4"], + ["add","W51","F2","-1/4"], + ["add","W51","F3","-1/4"], + ["add","W51","F6","1/4"], + ["add","W51","F7","1/4"], + ["add","W52","F2","-1/4"], + ["add","W52","F3","-1/4"], + ["add","W52","F4","1/4"], + ["add","W52","F5","-1/4"], + ["add","W53","F2","-1/4"], + ["add","W53","F3","-1/4"], + ["add","W53","F4","1/4"], + ["add","W53","F5","1/4"], + ["add","W54","F0","-1/4"], + ["add","W54","F2","-1/4"], + ["add","W54","F5","-1/4"], + ["add","W54","F7","1/4"], + ["add","W55","F0","-1/4"], + ["add","W55","F2","-1/4"], + ["add","W55","F5","1/4"], + ["add","W55","F7","1/4"], + ["add","W56","F0","-1/4"], + ["add","W56","F2","-1/4"], + ["add","W56","F4","1/4"], + ["add","W56","F6","-1/4"], + ["add","W58","F1","-1/4"], + ["add","W58","F2","1/4"], + ["add","W58","F4","-1/4"], + ["add","W58","F7","1/4"], + ["add","W59","F1","-1/4"], + ["add","W59","F2","1/4"], + ["add","W59","F5","-1/4"], + ["add","W59","F6","-1/4"], + ["add","W60","F1","-1/4"], + ["add","W60","F2","1/4"], + ["add","W60","F5","1/4"], + ["add","W60","F6","-1/4"], + ["add","W61","F0","-1/4"], + ["add","W61","F1","1/4"], + ["add","W61","F6","-1/4"], + ["add","W61","F7","-1/4"], + ["add","W62","F0","-1/4"], + ["add","W62","F1","1/4"], + ["add","W62","F4","-1/4"], + ["add","W62","F5","1/4"], + ["add","W63","F0","-1/4"], + ["add","W63","F1","1/4"], + ["add","W63","F4","-1/4"], + ["add","W63","F5","-1/4"], + ["add","W64","F1","-1/4"], + ["add","W64","F3","1/4"], + ["add","W64","F5","-1/4"], + ["add","W64","F7","1/4"], + ["add","W65","F1","-1/4"], + ["add","W65","F3","1/4"], + ["add","W65","F5","1/4"], + ["add","W65","F7","1/4"], + ["add","W66","F1","-1/4"], + ["add","W66","F3","1/4"], + ["add","W66","F4","1/4"], + ["add","W66","F6","-1/4"], + ["add","W67","F1","-1/4"], + ["add","W67","F3","-1/4"], + ["add","W67","F4","-1/4"], + ["add","W67","F6","1/4"], + ["add","W68","F1","-1/4"], + ["add","W68","F3","-1/4"], + ["add","W68","F5","-1/4"], + ["add","W68","F7","-1/4"], + ["add","W69","F1","-1/4"], + ["add","W69","F3","-1/4"], + ["add","W69","F5","1/4"], + ["add","W69","F7","-1/4"], + ["add","W70","F0","-1/4"], + ["add","W70","F1","-1/4"], + ["add","W70","F4","-1/4"], + ["add","W70","F5","-1/4"], + ["add","W71","F0","-1/4"], + ["add","W71","F1","-1/4"], + ["add","W71","F4","-1/4"], + ["add","W71","F5","1/4"], + ["add","W72","F0","-1/4"], + ["add","W72","F1","-1/4"], + ["add","W72","F6","-1/4"], + ["add","W72","F7","-1/4"], + ["add","W73","F1","-1/4"], + ["add","W73","F2","-1/4"], + ["add","W73","F5","-1/4"], + ["add","W73","F6","1/4"], + ["add","W74","F1","-1/4"], + ["add","W74","F2","-1/4"], + ["add","W74","F5","1/4"], + ["add","W74","F6","1/4"], + ["add","W75","F1","-1/4"], + ["add","W75","F2","-1/4"], + ["add","W75","F4","1/4"], + ["add","W75","F7","-1/4"], + ["add","W77","F0","-1/4"], + ["add","W77","F2","1/4"], + ["add","W77","F4","1/4"], + ["add","W77","F6","1/4"], + ["add","W78","F2","-1/4"], + ["add","W78","F3","-1/4"], + ["add","W78","F6","-1/4"], + ["add","W78","F7","1/4"], + ["add","W79","F0","-1/4"], + ["add","W79","F1","1/4"], + ["add","W79","F6","1/4"], + ["add","W79","F7","-1/4"], + ["add","W80","F1","-1/4"], + ["add","W80","F3","-1/4"], + ["add","W80","F4","-1/4"], + ["add","W80","F6","-1/4"], + ["add","W82","F1","-1/4"], + ["add","W82","F2","-1/4"], + ["add","W82","F4","-1/4"], + ["add","W82","F7","1/4"], + ["add","W83","F1","-1/4"], + ["add","W83","F2","-1/4"], + ["add","W83","F5","-1/4"], + ["add","W83","F6","-1/4"], + ["add","W84","F1","-1/4"], + ["add","W84","F2","-1/4"], + ["add","W84","F5","1/4"], + ["add","W84","F6","-1/4"], + ["add","W85","F0","-1/4"], + ["add","W85","F3","-1/4"], + ["add","W85","F4","1/4"], + ["add","W85","F7","1/4"], + ["add","W86","F1","-1/4"], + ["add","W86","F2","1/4"], + ["add","W86","F4","1/4"], + ["add","W86","F7","1/4"], + ["add","W88","F1","-1/4"], + ["add","W88","F3","-1/4"], + ["add","W88","F4","1/4"], + ["add","W88","F6","1/4"], + ["add","W89","F0","-1/4"], + ["add","W89","F1","-1/4"], + ["add","W89","F6","1/4"], + ["add","W89","F7","1/4"], + ["add","W90","F0","-1/4"], + ["add","W90","F1","-1/4"], + ["add","W90","F4","1/4"], + ["add","W90","F5","-1/4"], + ["add","W91","F0","-1/4"], + ["add","W91","F1","-1/4"], + ["add","W91","F4","1/4"], + ["add","W91","F5","1/4"], + ["add","W93","F1","-1/4"], + ["add","W93","F2","1/4"], + ["add","W93","F4","-1/4"], + ["add","W93","F7","-1/4"], + ["add","W94","F0","-1/4"], + ["add","W94","F1","1/4"], + ["add","W94","F6","-1/4"], + ["add","W94","F7","1/4"], + ["add","W95","F1","-1/4"], + ["add","W95","F3","1/4"], + ["add","W95","F4","-1/4"], + ["add","W95","F6","1/4"], + ["add","W96","F1","-1/4"], + ["add","W96","F3","1/4"], + ["add","W96","F5","-1/4"], + ["add","W96","F7","-1/4"], + ["add","W97","F1","-1/4"], + ["add","W97","F3","1/4"], + ["add","W97","F5","1/4"], + ["add","W97","F7","-1/4"], + ["add","W98","F0","-1/4"], + ["add","W98","F3","-1/4"], + ["add","W98","F4","-1/4"], + ["add","W98","F7","-1/4"], + ["add","W99","F2","-1/4"], + ["add","W99","F3","-1/4"], + ["add","W99","F6","1/4"], + ["add","W99","F7","-1/4"], + ["add","W100","F0","-1/4"], + ["add","W100","F2","-1/4"], + ["add","W100","F4","-1/4"], + ["add","W100","F6","1/4"], + ["add","W101","F0","-1/4"], + ["add","W101","F2","-1/4"], + ["add","W101","F5","-1/4"], + ["add","W101","F7","-1/4"], + ["add","W102","F0","-1/4"], + ["add","W102","F2","-1/4"], + ["add","W102","F5","1/4"], + ["add","W102","F7","-1/4"], + ["add","W103","F0","-1/4"], + ["add","W103","F2","1/4"], + ["add","W103","F4","-1/4"], + ["add","W103","F6","-1/4"], + ["add","W104","F2","-1/4"], + ["add","W104","F3","1/4"], + ["add","W104","F6","1/4"], + ["add","W104","F7","1/4"], + ["add","W105","F2","-1/4"], + ["add","W105","F3","1/4"], + ["add","W105","F4","1/4"], + ["add","W105","F5","-1/4"], + ["add","W106","F2","-1/4"], + ["add","W106","F3","1/4"], + ["add","W106","F4","1/4"], + ["add","W106","F5","1/4"], + ["add","W107","F0","-1/4"], + ["add","W107","F3","1/4"], + ["add","W107","F4","-1/4"], + ["add","W107","F7","1/4"], + ["add","W108","F0","-1/4"], + ["add","W108","F3","1/4"], + ["add","W108","F5","-1/4"], + ["add","W108","F6","-1/4"], + ["add","W109","F0","-1/4"], + ["add","W109","F3","1/4"], + ["add","W109","F5","1/4"], + ["add","W109","F6","-1/4"], + ["clear","F0","identity"], + ["clear","F1","identity"], + ["clear","F2","identity"], + ["clear","F3","identity"], + ["clear","F4","identity"], + ["clear","F5","identity"], + ["clear","F6","identity"], + ["clear","F7","identity"], + ["end","B1_current_query",8], + ["map","W1",1,1,true], + ["map","W2",1,2,true], + ["map","W3",1,3,true], + ["map","W4",1,4,true], + ["map","W5",1,5,true], + ["map","W6",1,6,true], + ["map","W8",1,8,true], + ["map","W9",1,9,true], + ["map","W10",1,10,true], + ["map","W11",1,11,true], + ["map","W12",1,12,true], + ["map","W13",1,13,true], + ["map","W14",1,14,true], + ["map","W15",1,15,true], + ["map","W16",1,16,true], + ["map","W17",1,17,true], + ["map","W18",1,18,true], + ["map","W19",1,19,true], + ["map","W22",1,22,true], + ["map","W23",1,23,true], + ["map","W24",1,24,true], + ["map","W25",1,25,true], + ["map","W26",1,26,true], + ["map","W28",1,28,true], + ["map","W29",1,29,true], + ["map","W30",1,30,true], + ["map","W31",1,31,true], + ["map","W32",1,32,true], + ["map","W33",1,33,true], + ["map","W34",1,34,true], + ["map","W35",1,35,true], + ["map","W38",1,38,true], + ["map","W39",1,39,true], + ["map","W40",1,40,true], + ["map","W41",1,41,true], + ["map","W42",1,42,true], + ["map","W43",1,43,true], + ["map","W44",1,44,true], + ["map","W45",1,45,true], + ["map","W48",1,48,true], + ["map","W49",1,49,true], + ["map","W50",1,50,true], + ["map","W51",1,51,true], + ["map","W52",1,52,true], + ["map","W53",1,53,true], + ["map","W54",1,54,true], + ["map","W55",1,55,true], + ["map","W56",1,56,true], + ["map","W58",1,58,true], + ["map","W59",1,59,true], + ["map","W60",1,60,true], + ["map","W61",1,61,true], + ["map","W62",1,62,true], + ["map","W63",1,63,true], + ["map","W64",1,64,true], + ["map","W65",1,65,true], + ["map","W66",1,66,true], + ["map","W67",1,67,true], + ["map","W68",1,68,true], + ["map","W69",1,69,true], + ["map","W70",1,70,true], + ["map","W71",1,71,true], + ["map","W72",1,72,true], + ["map","W73",1,73,true], + ["map","W74",1,74,true], + ["map","W75",1,75,true], + ["map","W77",1,77,true], + ["map","W78",1,78,true], + ["map","W79",1,79,true], + ["map","W80",1,80,true], + ["map","W82",1,82,true], + ["map","W83",1,83,true], + ["map","W84",1,84,true], + ["map","W85",1,85,true], + ["map","W86",1,86,true], + ["map","W88",1,88,true], + ["map","W89",1,89,true], + ["map","W90",1,90,true], + ["map","W91",1,91,true], + ["map","W93",1,93,true], + ["map","W94",1,94,true], + ["map","W95",1,95,true], + ["map","W96",1,96,true], + ["map","W97",1,97,true], + ["map","W98",1,98,true], + ["map","W99",1,99,true], + ["map","W100",1,100,true], + ["map","W101",1,101,true], + ["map","W102",1,102,true], + ["map","W103",1,103,true], + ["map","W104",1,104,true], + ["map","W105",1,105,true], + ["map","W106",1,106,true], + ["map","W107",1,107,true], + ["map","W108",1,108,true], + ["map","W109",1,109,true], + ["clear","W0","identity"], + ["clear","W7","identity"], + ["clear","W20","identity"], + ["clear","W27","identity"], + ["clear","W36","identity"], + ["clear","W46","identity"], + ["clear","W57","identity"], + ["clear","W111","identity"], + ["clear","W21","identity"], + ["clear","W37","identity"], + ["clear","W47","identity"], + ["clear","W76","identity"], + ["clear","W81","identity"], + ["clear","W87","identity"], + ["clear","W92","identity"], + ["clear","W110","identity"] +] diff --git a/research/qq16-paid-bridge-composition/verify.py b/research/qq16-paid-bridge-composition/verify.py new file mode 100644 index 0000000000..219370ce07 --- /dev/null +++ b/research/qq16-paid-bridge-composition/verify.py @@ -0,0 +1,244 @@ +#!/usr/bin/env python3 +"""Paid query and bridge composition, Apache-2.0, Chris R / Clear1nsight. +Substantial OpenAI Codex assistance. No predecessor executable imports. +Exact routed/Z4 primitives adapt credited QQ16, PR2681 and PR2707 methods. +""" +import argparse +from collections import Counter +from copy import deepcopy +from fractions import Fraction as Q +from functools import lru_cache +import gzip,hashlib,io,json,tarfile +from pathlib import Path + +HERE=Path(__file__).resolve().parent +ROOT=HERE.parents[1] +AXES=tuple(1<>i&1] + for i in bits: + linear[i]=(linear[i]+c)%4 + if c%2: + for j in bits: + if j>i:cross[i]^=1<5 and e[5]=='omit_shift':b=0 + frames[n]=move(frames[n],g,b);rows[n]=routed(g,rows[n]) + else:raise ValueError('unknown instruction') + if checkpoint is not None and i+1==checkpoint[0]:checkpoint[1](rows,frames) + need(not active,'unfinished private lifetime') + need(all(rows[n]==original[n] and frames[n]==F17+((labels[int(n[1:])],-1),) for n in borrowed),'borrowed source changed') + return rows,frames,checks +def compute(): + packet,decoded,source,pins=load();A,T,U,R,routes,labels,shifts=geometry(packet,decoded) + need(projection(R,U,A+T)==source,'complete projection regeneration') + producer,consumer,direct,same=words(source,R,U) + Y=[{('Y'+str(p),AXES):Q(1)} for p in range(112)];query=[{} for _ in range(8)] + for k in range(8): + for p in range(112): + if R[k][p]:query[k]=plus(query[k],routed(routes[p],Y[p]),R[k][p]) + projected=[] + for p in U: + row=Y[p] + for k in range(8): + if R[k][p]:row=plus(row,routed(routes[p],query[k]),-R[k][p]/4) + projected.append(row) + def boundary(rows,frames): + for p,want in zip(U,projected):need(rows['W'+str(p)]==want and phase(frames['W'+str(p)])==phase(F17),'projected output') + for k,want in enumerate(query):need(rows['Q'+str(k)]==want and phase(frames['Q'+str(k)])==phase(F17),'query output') + need(all(not rows['W'+str(p)] and phase(frames['W'+str(p)])==phase(()) for p in A+T),'selected temporary cleanup') + joined=producer+consumer;actual,af,checks=replay(joined,U,routes,labels,shifts,(len(producer),boundary));fused,ff,_=replay(same,U,routes,labels,shifts) + need(actual==fused and all(phase(af[n])==phase(ff[n]) for n in af),'complete symbolic/frame fusion') + need(all(not actual[n] and phase(af[n])==phase(()) for n in actual if n[0] in ('W','Q')),'owned cleanup') + for p in U: + n='B'+str(p);need(actual[n]=={(n,AXES):Q(1),('Y'+str(p),AXES):Q(-1)},'bridge output') + template=decoded['t16/global/hosted/GLOBAL-TEMPLATE.json.gz'];events=[e for e in template['execution_schedule'] if e.get('replica')==0][:5] + need([e['kind'] for e in events]==['local_cover_sweep','local_cover_sweep','idle_cover_sweep','bridge','local_cover_sweep'],'physical prefix') + need([e['source_event'] for e in events]==list(range(5)) and events[3]['src']==1 and events[3]['dst']==0 and events[3]['coefficient']==1,'actual bridge event3') + bad=deepcopy(joined);at=next(i for i in range(len(producer),len(bad)) if bad[i][0]=='add' and bad[i][2].startswith('Q'));bad[at][3]=str(-Q(bad[at][3])) + got,_,_=replay(bad,U,routes,labels,shifts);need(any(got['B'+str(p)]!=actual['B'+str(p)] for p in U),'wrong query sign control') + bad=deepcopy(joined);at=next(i for i,e in enumerate(bad) if e[0]=='map' and shifts[e[3]]!=0);bad[at].append('omit_shift');rejected=False + try:replay(bad,U,routes,labels,shifts) + except ValueError as exc:rejected='frame mismatch' in str(exc) + need(rejected,'wrong affine shift control') + bad=deepcopy(joined);at=next(i for i in range(len(producer),len(bad)) if bad[i][0]=='line');del bad[at];rejected=False + try:replay(bad,U,routes,labels,shifts) + except ValueError as exc:rejected='frame mismatch' in str(exc) + need(rejected,'omitted inverse line control') + bad=deepcopy(joined);bad.pop();got,_,_=replay(bad,U,routes,labels,shifts);need(bool(got['Q7']),'omitted query cleanup control') + need(all(sum(R[i][p]*R[j][p] for p in U)==48*(i==j) for i in range(8) for j in range(8)),'eight query directions') + invoices={n:invoice(w) for n,w in [('projection',source),('augmented_producer',producer),('consumer',consumer),('serial_composition',joined),('direct_bridge',direct),('direct_same_workspace',same)]} + need(invoices['serial_composition']['line']==208 and invoices['serial_composition']['map']==400 and invoices['serial_composition']['scalar_allowance']==15040,'serial invoice') + need(invoices['direct_bridge']['scalar_allowance']==768 and invoices['direct_same_workspace']['scalar_allowance']==1008,'direct invoices') + wout={'augmented_producer':producer,'consumer':consumer,'direct_bridge':direct,'direct_same_workspace':same} + result={'status':'PASS_QQ16_PAID_BRIDGE_COMPOSITION','no_new_kappa':True,'source_pins':pins,'archive_members':MEMBERS,'actual_bridge_physical_prefix':events,'native_kernel_checks':kernels(labels,U), + 'equation':'Y2_U=h+K_(1,U)a; h=Y2_U-K_(1,U)R_1Y2; a=R_1Y2', + 'typed_contract':{'borrowed_current_Y':112,'mutable_other_pair_Y_U':96,'owned_intermediate_outputs':{'h_F17':96,'a_F17':8},'owned_full_cover_workspace':120,'private_scratch_peak':8,'early_retention':0,'owned_workspace_final':'all zero/I','borrowed_sources':'unchanged','mutable_target_frame':'F17 C_q^-1 before and after','global_owner_placement':'not established for complete QQ16 substitution'}, + 'checks':{'arbitrary_independent_data_fields':208,'independent_owned_dirt_fields':120,'intermediate_projected_routed_terms':sum(map(len,projected)),'query_routed_terms':sum(map(len,query)),'scalar_frame_equalities':checks,'full_mod4_phase_coordinates':73,'literal_projection_events':len(source),'regenerated_projection_matches':True,'exact_final_operator_and_frames_equal_direct':True}, + 'invoices':invoices,'word_sha256':{k:sha(canonical(v).encode()) for k,v in wout.items()}, + 'negative_controls':['wrong query sign changes exact routed bridge output','omit affine shift rejects frame mismatch','omit inverse C_q rejects target frame mismatch','omit query clear leaves nonzero owned output'], + 'source_work_replaced':{'ordinary_Y_bridge_unit_ADDs':96,'ordinary_X_bridge':'unchanged and outside replacement','additional_source_ADDs_eliminated':0}, + 'decision':'stop serial decode/query/reconstitute route for this bridge-only demand: fusion yields existing direct Y bridge, not source saving', + 'scope':'Constructive local native contract and exact operator/frame proof. Global placement, movement, coverage, precision and recursive admission remain open. No optimality theorem for changed producers/shared consumers.'} + return result,wout +def main(): + ap=argparse.ArgumentParser();ap.add_argument('--write',action='store_true');args=ap.parse_args() + if args.write:need(not (HERE/'RESULT.json').exists() and not (HERE/'WORDS.json').exists(),'refuse overwrite of existing RESULT/WORDS') + result,wout=compute() + if args.write: + (HERE/'RESULT.json').write_text(json.dumps(result,indent=2,sort_keys=True)+'\n');(HERE/'WORDS.json').write_text(json.dumps(wout,indent=2)+'\n') + else: + need(canonical(read(HERE/'RESULT.json'))==canonical(result),'complete typed receipt mismatch');need(canonical(read(HERE/'WORDS.json'))==canonical(wout),'complete word mismatch') + print('PASS_QQ16_PAID_BRIDGE_COMPOSITION no_new_kappa') +if __name__=='__main__':main()