diff --git a/research/depth4-chain-rowmodel/README.md b/research/depth4-chain-rowmodel/README.md new file mode 100644 index 0000000000..f7b9166b7e --- /dev/null +++ b/research/depth4-chain-rowmodel/README.md @@ -0,0 +1,186 @@ +# Depth-four chain connector: a row model and the 4m minimum for 33 <= m <= 64 + +This package extends open question 1 of +[#4263](https://github.com/CrocSwap/integer-mult-bounds/pull/4263) from +characteristic 32 to characteristic 64. The contribution was produced by Nick +Petalas. + +The complete calls are `z_l += B_l z_{l-1}` for l = 1, 2, 3, 4, with x = z_0 +immutable and z_1, z_2, z_3 and y = z_4 holding arbitrary dirty data. The maps +are arbitrary and the coefficients lie in a nonzero unital ring of exact +characteristic m. For a nonzero residue c the word must restore z_1, z_2 and +z_3 and add `c B4 B3 B2 B1 x` to y. There are no sign or inverse calls. + +```text +shortest length = 4m for every 33 <= m <= 64 and every c != 0 (mod m) +``` + +| m | 2 | 3 | 4 | 5 | 6 to 32 | 33 to 64 | +|---|---:|---:|---:|---:|---:|---:| +| shortest length | 12 | 18 | 20 | 25 | 4m | 4m | +| source | #4249 | #4249 | #4249 | #4249 | #4263 | this package | + +The new results are: + +1. **Finite certificate.** One witness for each of the 1,520 pairs (m, c) with + 33 <= m <= 64 and 1 <= c < m, each using every call exactly m times. +2. **Scoped proof (Lemma 2).** An exact criterion for a balanced word in terms + of a partition and two monotone profiles. It holds for every m and is what + makes the witnesses compact and quick to find. +3. **Scoped proof (Lemma 3).** For prime m, the partition needs at least three + rows strictly between 0 and m. + +With #4249 and #4263, which are open and not rechecked here, the depth-four +minimum is known exactly for 2 <= m <= 64. No all-m theorem, no new κ, no +supplier admission and no change to the selected frontier. + +## Argument + +**Lemma 1 (floor; #4249).** A word is correct for c iff every scattered +subword count N[i..j] of i(i+1)...j is 0 mod m, except N[1..4], which is c mod +m. So each call appears a positive multiple of m times, and every correct word +has at least 4m calls. A word with exactly m copies of each call is *balanced*. + +**Lemma 2 (row model).** Call 1 commutes with calls 3 and 4, and call 4 with +calls 1 and 2. So a balanced word is fixed, up to its action, by three objects: + +- the subword of calls 2 and 3. Let f(p) be the number of calls 2 before the + p-th call 3. The cells above this lattice path form a partition λ in the + m × m box: column p has height m − f(p). Write ℓ(q) for its row lengths, + q = 1..m, top row first. +- the levels of the calls 1. A call 1 with a calls 2 before it has row level + r = m − a. Let ρ(q) be the number of calls 1 with r >= q. +- the levels of the calls 4. A call 4 with b calls 3 before it has level b. + Let β(p) be the number of calls 4 with b >= p, and B(L) = β(1) + ... + β(L). + +Conversely, every partition λ in the box and every pair of nonincreasing +profiles ρ, β with values in [0, m] come from a balanced word. The word is +correct for c iff + +```text +(i) Σ_q ℓ(q) ≡ 0 (iv) Σ_q ρ(q) ℓ(q) ≡ 0 +(ii) Σ_q ρ(q) ≡ 0 (v) Σ_q B(ℓ(q)) ≡ 0 +(iii) Σ_p β(p) ≡ 0 (vi) Σ_q ρ(q) B(ℓ(q)) ≡ −c (mod m) +``` + +*Proof.* Count each interval by the calls that complete it. N[2..3] = Σ f(p) = +m² − |λ|. A call 1 at level a precedes m − a calls 2, so N[1..2] = Σ ρ(q), and +N[3..4] = Σ b = Σ β(p). For N[1..3], N[2..4] and N[1..4] use + +```text +Σ_{p <= b} (f(p) − a)^+ = b (m − a) − C(m − a, b), +``` + +where C(r, b) is the number of cells of λ in rows 1..r and columns 1..b. This +holds because column p has (m − a) − (f(p) − a)^+ cells in rows 1..m − a. +Summing over the calls gives N[1..3] = m N[1..2] − Σ ρ(q) ℓ(q), +N[2..4] = m N[3..4] − Σ B(ℓ(q)) and N[1..4] = N[1..2] N[3..4] − Σ ρ(q) B(ℓ(q)). +Reduce mod m. ∎ + +A row of length m drops out of (i), (iv), (v) and (vi) once (iii) holds. It +contributes only to (ii). So each witness here has one full row, used to settle +(ii), and three to five rows strictly between 0 and m. The witnesses store +(λ, ρ, β) directly. + +**Lemma 3 (two short rows are not enough for prime m).** Let m be prime. If λ +has at most two rows with 0 < ℓ < m, every correct word has c ≡ 0. + +*Proof.* Rows of length 0 and m drop out of (i), (iv), (v) and (vi). One short +row contradicts (i). Two short rows ℓ_1 >= ℓ_2 must satisfy ℓ_1 + ℓ_2 = m. Then +(iv) reads (ρ_1 − ρ_2) ℓ_1 ≡ 0. Since ℓ_1 is a unit, ρ_1 ≡ ρ_2, and (vi) becomes +ρ_1 (B(ℓ_1) + B(ℓ_2)) ≡ 0 by (v). ∎ + +### What did not give an all-m law + +A uniform family was looked for and not found. These local searches are not +part of the package: + +- Designs whose block lengths are all small constants or m minus small + constants, with at most four blocks per letter in the 2/3 path and up to three + levels each for calls 1 and 4, gave no witness that works for the same c at + m = 101, 103 and 107. +- One full row, three short rows, ρ = 0 on the last short row, and calls 4 at + one level b plus filler at level 1, covers only some residues: none at m = 7 + and m = 8, and 5 of the 10 nonzero residues at m = 11. +- The constraint that blocks a simple parametric proof is the budget: ρ(1) and + the number of calls 4 must stay at most m while (ii) and (iii) hold. + +## Evidence and reproduction + +From the repository root, with CPython 3.12 and its standard library: + +```sh +/Users/nick/git/integer-mult-bounds/.venv/bin/python3.12 -W error -B research/depth4-chain-rowmodel/verify.py +/Users/nick/git/integer-mult-bounds/.venv/bin/python3.12 -O -W error -B research/depth4-chain-rowmodel/verify.py +/Users/nick/git/integer-mult-bounds/.venv/bin/python3.12 -B scripts/research_package.py --package research/depth4-chain-rowmodel +/Users/nick/git/integer-mult-bounds/.venv/bin/python3.12 -B scripts/check_research_commit.py --package research/depth4-chain-rowmodel --check-source-history +``` + +Any CPython 3.12 can replace the local interpreter path. The verifier writes no +files and runs in about a second. It prints a JSON receipt with the SHA-256 of +every package file and input, then +`PASS_DEPTH4_CHAIN_ROWMODEL moduli=32 witnesses=1520`. It checks: + +- For every witness: the shapes of λ, ρ and β, the five vanishing sums of + Lemma 2 and the predicted coefficient c. +- The word built from the record: length 4m and exactly m copies of each call, + the interval conditions of Lemma 1 by one counting pass, and separately the + UT5(Z/m) product I + c e_{1,5}. +- One literal replay per witness with dirty registers in (Z/m)^2 and random + 2x2 maps, which generally do not commute. It checks that z_1, z_2 and z_3 are + restored and y gains exactly c B4 B3 B2 B1 x. +- Lemma 2 on 4,000 random records with 2 <= m <= 9: the sums decide + correctness exactly as direct counting does, and give the same c when the + word is correct. Lemma 3 on random records with two short rows and prime m. +- Five rejection controls on the witness for (m, c) = (37, 5): a wrong + coefficient, a changed ρ(1), a shortened row, a moved call-4 level and a + dropped call. + +The witnesses were found by a randomized solver in the row model: draw the +short rows and the call-4 level, keep draws that satisfy (i) and (v), and solve +(iv) and (vi) for the top two values of ρ. The solver is not part of the +package. The verifier checks the records and the words themselves, so it does +not matter how they were found. + +## Limitations + +The certificate covers only 33 <= m <= 64. It is a finite certificate per +(m, c), not an all-m theorem. The values for m <= 32 come from #4249 and #4263 +and are not rechecked here. Lemmas 2 and 3 are proved in this README and only +spot-checked by the verifier. Independent human and formal proof-kernel review +are unclaimed. Every call carries its complete implementation price. +Admission, dispatch, routing of the three intermediates and word-dependent +physical costs are extra. No supplier caller, precision analysis, outer +multiplication theorem or new κ is supplied. + +## Open next questions + +The structured questions in [TASK.json](TASK.json) give first steps and +blockers. + +1. Is the depth-four minimum exactly 4m for every m >= 6? Lemma 2 turns this + into a question about one partition and two profiles. A parametric choice of + four short rows, ρ and β that keeps ρ(1) <= m and at most m calls 4 for + every c would settle it. +2. Is three short rows enough for every prime m >= 7? Lemma 3 shows two are + not. 436 of the 1,520 witnesses here use three. +3. Does a row model of the same kind describe depth five, with two interior + paths, and give the floor 5m there? + +## Attribution and scope + +The chain model, the interval-count reduction, the floor and the m <= 5 +depth-four minima come from +[#4249](https://github.com/CrocSwap/integer-mult-bounds/pull/4249). The +witnesses for 6 <= m <= 32 and the three-interleaving lemma come from +[#4263](https://github.com/CrocSwap/integer-mult-bounds/pull/4263). Ross +Richardson's [#943/#934 lineage](../universal-connector-boundary/README.md) +supplies the complete-call dirty-connector interface. The new results here are +the row model of Lemma 2, Lemma 3 and the 1,520 witnesses for 33 <= m <= 64. +Subword counts, unitriangular matrices and lattice-path partitions are +classical tools; no novelty is claimed for them. Exact pins are in +[SOURCES.json](SOURCES.json). + +The `connector-alphabet-change` card is explicitly changed to this side +question, as in #4249 and #4263. The alphabet stays unsigned and complete. +Apache-2.0. diff --git a/research/depth4-chain-rowmodel/SOURCES.json b/research/depth4-chain-rowmodel/SOURCES.json new file mode 100644 index 0000000000..31debdbf4e --- /dev/null +++ b/research/depth4-chain-rowmodel/SOURCES.json @@ -0,0 +1,38 @@ +{ + "schema_version": 1, + "base_commit": "12fa8c5c844be21bfefb38a19503fbd867a11244", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "64bfc5af6709ed9811171e0a2108f05e1219cb65", + "sha256": "352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96" + }, + { + "path": "research/universal-connector-boundary/README.md", + "usage": "input", + "git_blob": "d277f7c5830b1f2bc42e1ff41ab86e7d7564929f", + "sha256": "23415f7829ab8d80a783142f10f7d31abbce84579362769984680af3df954476" + } + ], + "context_only": [ + { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4263", + "head_commit": "2183322b32a5975ecb4a6aec2ec8f43ac08b1aec", + "credit": "Nick Petalas", + "role": "Depth-four minimum 4m for 6 <= m <= 32 by explicit witnesses, Lemma 2 (three interleavings) and the recorded failed uniform families. Its open question 1 is extended here to 33 <= m <= 64; no executable dependency." + }, + { + "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4249", + "head_commit": "03b8a19d7442edebb3565064631f6ca2408d731e", + "credit": "Nick Petalas", + "role": "Chain model, interval-count reduction, the 4m floor, and the depth-four minima 12, 18, 20, 25 at m = 2..5; no executable dependency." + } + ] +} diff --git a/research/depth4-chain-rowmodel/TASK.json b/research/depth4-chain-rowmodel/TASK.json new file mode 100644 index 0000000000..6c704ad913 --- /dev/null +++ b/research/depth4-chain-rowmodel/TASK.json @@ -0,0 +1,74 @@ +{ + "schema_version": 1, + "task_id": "connector-alphabet-change", + "priority_revision": 7, + "base_commit": "12fa8c5c844be21bfefb38a19503fbd867a11244", + "original_card": { + "id": "connector-alphabet-change", + "question": "Does one explicit extension of the connector alphabet offer a favorable completed budget?", + "starting_points": [ + "docs/research/research-family-status.md", + "research/universal-connector-boundary/README.md", + "certificates/selected-result.json" + ], + "methods": [ + "Construct and charge a legal extra operation on a minimal instance.", + "Prove a target-specific bound after adding one specified operation family." + ], + "acceptance_gate": "State which fixed-alphabet premise changes and charge its implementation; do not declare it free. 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", + "research/universal-connector-boundary/verify.py" + ], + "expected": "PASS_UNIVERSAL_CONNECTOR_BOUNDARY", + "inspect": "Reproduce the 945-pairing control, then read Exact interface to list the allowed calls.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "first_experiment": "Add exactly one legally priced operation and test a tiny dirty-input instance before enumerating larger cases.", + "bottleneck_link": "A new legal connector operation could change recursive interface cost; a larger census in the same alphabet is a separate side result.", + "allowed_variations": [ + "Choose one additional operation and a small source count for its first counterexample." + ], + "scope_change_triggers": [ + "Keeping the alphabet and only increasing the source count; record this as a changed assignment.", + "Extending a source-count census without naming a supplier/interface decision it could change; audit #2973 pruning concerns before relying on the affected predecessor exclusions." + ], + "overlap_terms": [ + "universal connector", + "source-toggle", + "connector alphabet" + ] + }, + "scope_status": "changed", + "actual_scope": "Extend the exact minimum of the unsigned depth-four dirty chain connector z_l += B_l z_{l-1} (l = 1..4, z_0 = x immutable, z_1..z_3 and y = z_4 dirty) over characteristic m from 6 <= m <= 32 (PR #4263) to 33 <= m <= 64: the per-call floor 4m is attained for every nonzero residue c, by explicit witnesses. Also prove an exact row-model criterion for balanced words (README Lemma 2) and that prime m needs at least three short rows (Lemma 3).", + "scope_change_reason": "The card asks about one extension of the connector alphabet. This package keeps the unsigned complete-call alphabet and the one-source depth-four chain of PRs #4249 and #4263, and continues open question 1 of #4263. It does not extend a source-count census or claim a supplier improvement.", + "bottleneck_link": "A recursive boundary that routes through three dirty intermediates pays this call count. The small-characteristic premium of #4249 (m <= 5) stays absent through m = 64. Side result: no consumer, paid profile or kappa change is supplied.", + "budget_minutes": 60, + "stop_rule": "Stop after explicit witnesses for every (m, c) in a bounded range with literal dirty replay and source-bound publication checks. A uniform all-m family was searched for part of the session and not found; no all-m theorem is claimed.", + "outcome": "completed", + "evidence": "witnesses.json stores one row-model record (lambda, rho, beta) for each of the 1,520 pairs (m, c), 33 <= m <= 64, 1 <= c < m. verify.py checks the Lemma 2 sums of each record, builds the word and checks it has exactly m copies of each call, the interval subword counts, the UT5(Z/m) product and one literal dirty replay with random noncommuting 2x2 maps; it spot-checks Lemmas 2 and 3 on random records, runs five rejection controls and prints a receipt with package and input SHA-256 values. The 4m floor is Lemma 1 (from #4249).", + "author": "Nick Petalas", + "ai_assistance": "Independent human and formal proof-kernel review are unclaimed.", + "open_questions": [ + { + "question": "Is the depth-four minimum exactly 4m for every m >= 6?", + "why_it_matters": "It would make the depth-four premium a small-characteristic effect, m <= 5 only.", + "first_step": "In the row model of README Lemma 2, fix one full row and four short rows with lengths that are linear in m, and look for rho and beta profiles linear in c that keep rho(1) <= m and at most m calls 4.", + "blocked_by": "The uniform small-constant designs and the three-short-row family tried here fail; the binding constraint is the budget on rho(1) and on the number of calls 4." + }, + { + "question": "Are three short rows enough for every prime m >= 7?", + "why_it_matters": "Lemma 3 shows two are not; a positive answer would give the smallest row-model witnesses for prime m.", + "first_step": "Search the row model with exactly three short rows and general rho and beta for primes 7 to 61.", + "blocked_by": "Only the restricted three-row family (rho = 0 on the last short row, calls 4 at one level plus filler) was searched; it is incomplete at m = 7 and 11." + }, + { + "question": "Does a row model of the same kind describe depth five and give the floor 5m there?", + "why_it_matters": "It would carry the compact witness format to longer dirty chains.", + "first_step": "Write the depth-five word as calls 1 and 5 inserted into a 2/3/4 word and express N[1..5] through that word's prefix and suffix counts.", + "blocked_by": "No depth-five reduction was attempted here." + } + ] +} diff --git a/research/depth4-chain-rowmodel/VERIFY.json b/research/depth4-chain-rowmodel/VERIFY.json new file mode 100644 index 0000000000..5619ddf5c0 --- /dev/null +++ b/research/depth4-chain-rowmodel/VERIFY.json @@ -0,0 +1,34 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/universal-connector-boundary/README.md" + ], + "commands": [ + { + "argv": [ + "{python}", + "-W", + "error", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 240, + "checks": "Every row-model witness for 33 <= m <= 64 and 1 <= c < m: the Lemma 2 sums, then the built word (exactly m copies of each call, interval subword counts, UT5(Z/m) product, one literal dirty noncommuting replay); Lemma 2 and Lemma 3 on random records; five rejection controls; source hashes." + }, + { + "argv": [ + "{python}", + "-O", + "-W", + "error", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 240, + "checks": "The same checks with Python assertions disabled; all contracts use explicit exceptions." + } + ] +} diff --git a/research/depth4-chain-rowmodel/verify.py b/research/depth4-chain-rowmodel/verify.py new file mode 100644 index 0000000000..f17131eb20 --- /dev/null +++ b/research/depth4-chain-rowmodel/verify.py @@ -0,0 +1,291 @@ +#!/usr/bin/env python3 +"""Replay the row-model witnesses for the depth-four unsigned chain connector. + +The chain calls are z_l += B_l z_{l-1} for l = 1..4 (z_0 = x immutable, +z_4 = y). A word over {1,2,3,4} is correct for c in characteristic m when it +restores z_1, z_2, z_3 and adds c B_4 B_3 B_2 B_1 x to y. Each witness is +stored as row-model data (lambda, rho, beta) from README Lemma 2. The verifier +evaluates the six congruences of Lemma 2, builds the word, and checks the word +directly, so a witness passes only if the lemma's prediction and the word agree. +""" +import hashlib +import json +import random +import sys +from pathlib import Path + +PACKAGE = Path(__file__).resolve().parent +ROOT = PACKAGE.parents[1] +DEPTH = 4 +M_MIN, M_MAX = 33, 64 +INPUTS = ("research/universal-connector-boundary/README.md",) +PACKAGE_FILES = ("README.md", "SOURCES.json", "TASK.json", "VERIFY.json", + "verify.py", "witnesses.json") +SEED = 4263 +LEMMA_TRIALS = 4000 + + +def require(condition: bool, message: str) -> None: + if not condition: + raise ValueError(message) + + +def parse(m: int, data: dict) -> tuple: + """Validate one (lambda, rho, beta) record and pad it to m rows.""" + rows, rho = list(data["rows"]), list(data["rho"]) + beta = {int(b): int(k) for b, k in data["beta"].items()} + require(len(rows) == len(rho) <= m, "row and rho lengths") + rows += [0] * (m - len(rows)) + rho += [0] * (m - len(rho)) + require(all(m >= rows[i] >= rows[i + 1] >= 0 for i in range(m - 1)), "lambda shape") + require(all(m >= rho[i] >= rho[i + 1] >= 0 for i in range(m - 1)), "rho shape") + require(all(1 <= b <= m and k > 0 for b, k in beta.items()), "beta levels") + require(sum(beta.values()) <= m, "beta budget") + return rows, rho, beta + + +def beta_profile(m: int, beta: dict) -> list: + """beta(p) = number of calls 4 with at least p calls 3 before them, p = 1..m.""" + return [sum(k for b, k in beta.items() if b >= p) for p in range(1, m + 1)] + + +def lemma_conditions(m: int, rows: list, rho: list, beta: dict) -> tuple: + """README Lemma 2: the five vanishing sums and the predicted coefficient.""" + prof = beta_profile(m, beta) + cum = [0] + for v in prof: + cum.append(cum[-1] + v) + vanish = (sum(rows) % m, sum(rho) % m, sum(prof) % m, + sum(r * l for r, l in zip(rho, rows)) % m, + sum(cum[l] for l in rows) % m) + coefficient = (-sum(r * cum[l] for r, l in zip(rho, rows))) % m + return vanish, coefficient + + +def build_word(m: int, rows: list, rho: list, beta: dict) -> str: + """Lemma 2's word: a 2/3 path below lambda, calls 1 and 4 at their levels.""" + col = [sum(1 for l in rows if l >= p) for p in range(1, m + 1)] + twos_before = [m - h for h in col] # f(p): calls 2 before the p-th call 3 + ones_at = {} # a-level -> calls 1 with exactly a calls 2 before them + for q in range(1, m + 1): + k = rho[q - 1] - (rho[q] if q < m else 0) + if k: + ones_at[m - q] = ones_at.get(m - q, 0) + k + ones_at[m] = ones_at.get(m, 0) + m - rho[0] + fours_at = dict(beta) + fours_at[0] = fours_at.get(0, 0) + m - sum(beta.values()) + out = ["1" * ones_at.get(0, 0), "4" * fours_at.get(0, 0)] + n2 = 0 + for p in range(1, m + 1): + while n2 < twos_before[p - 1]: + n2 += 1 + out.append("2" + "1" * ones_at.get(n2, 0)) + out.append("3" + "4" * fours_at.get(p, 0)) + while n2 < m: + n2 += 1 + out.append("2" + "1" * ones_at.get(n2, 0)) + return "".join(out) + + +def interval_counts(word: str, modulus: int) -> dict: + """N[i..j] mod m: scattered occurrences of the subword i(i+1)...j.""" + count = {(i, j): 0 for i in range(1, DEPTH + 1) for j in range(i, DEPTH + 1)} + for event in word: + letter = int(event) + require(1 <= letter <= DEPTH, "unknown letter") + for i in range(letter, 0, -1): + gain = 1 if i == letter else count[(i, letter - 1)] + count[(i, letter)] = (count[(i, letter)] + gain) % modulus + return count + + +def counts_correct(word: str, modulus: int, coefficient: int) -> bool: + count = interval_counts(word, modulus) + return all(v == (coefficient % modulus if iv == (1, DEPTH) else 0) + for iv, v in count.items()) + + +def matrix_correct(word: str, modulus: int, coefficient: int) -> bool: + """Product of I + e_{l,l+1} in UT5(Z/m) by explicit row updates.""" + n = DEPTH + 1 + acc = [[int(r == c) for c in range(n)] for r in range(n)] + for event in word: + l = int(event) + for r in range(n): # right-multiplying by I + e_{l-1,l} adds column l-1 to column l + acc[r][l] = (acc[r][l] + acc[r][l - 1]) % modulus + want = [[int(r == c) for c in range(n)] for r in range(n)] + want[0][DEPTH] = coefficient % modulus + return acc == want + + +def matmul(a, b, m): + return [[sum(a[i][k] * b[k][j] for k in range(2)) % m for j in range(2)] + for i in range(2)] + + +def matvec(a, v, m): + return [sum(a[i][k] * v[k] for k in range(2)) % m for i in range(2)] + + +def literal_replay(word: str, modulus: int, coefficient: int, rng) -> bool: + """Dirty registers in (Z/m)^2 and random (generally noncommuting) 2x2 maps.""" + maps = [[[rng.randrange(modulus) for _ in range(2)] for _ in range(2)] + for _ in range(DEPTH)] + start = [[rng.randrange(modulus) for _ in range(2)] for _ in range(DEPTH + 1)] + regs = [row[:] for row in start] + for event in word: + letter = int(event) + gain = matvec(maps[letter - 1], regs[letter - 1], modulus) + regs[letter] = [(u + g) % modulus for u, g in zip(regs[letter], gain)] + chain = maps[0] + for b in maps[1:]: + chain = matmul(b, chain, modulus) + target = [(u + coefficient * g) % modulus + for u, g in zip(start[DEPTH], matvec(chain, start[0], modulus))] + return regs[:DEPTH] == start[:DEPTH] and regs[DEPTH] == target + + +def load_witnesses() -> dict: + data = json.loads((PACKAGE / "witnesses.json").read_text(encoding="utf-8")) + require(data.get("schema_version") == 1, "witness schema") + table = {int(m): {int(c): rec for c, rec in row.items()} + for m, row in data["witnesses"].items()} + require(sorted(table) == list(range(M_MIN, M_MAX + 1)), "modulus range") + for m, row in table.items(): + require(sorted(row) == list(range(1, m)), f"residues at m={m}") + return table + + +def check_witnesses(table: dict) -> int: + rng = random.Random(SEED) + checked = 0 + for m, row in sorted(table.items()): + for c, rec in sorted(row.items()): + rows, rho, beta = parse(m, rec) + vanish, predicted = lemma_conditions(m, rows, rho, beta) + require(vanish == (0, 0, 0, 0, 0) and predicted == c, f"Lemma 2 sums at {(m, c)}") + word = build_word(m, rows, rho, beta) + require(len(word) == DEPTH * m, f"length at {(m, c)}") + for letter in "1234": + require(word.count(letter) == m, f"count of {letter} at {(m, c)}") + require(counts_correct(word, m, c), f"interval counts at {(m, c)}") + require(matrix_correct(word, m, c), f"UT5 product at {(m, c)}") + require(literal_replay(word, m, c, rng), f"dirty replay at {(m, c)}") + checked += 1 + return checked + + +def random_record(m: int, rng, partial_rows: int = -1) -> tuple: + if partial_rows < 0: + rows = sorted((rng.randint(0, m) for _ in range(rng.randint(0, m))), reverse=True) + else: + full = rng.randint(0, m - partial_rows) + first = rng.randint(1, m - 1) + partial = {0: [], 1: [first], 2: [first, m - first]}[partial_rows] + rows = [m] * full + sorted(partial, reverse=True) + rho = sorted((rng.randint(0, m) for _ in range(len(rows))), reverse=True) + beta = {} + for _ in range(rng.randint(0, 3)): + b = rng.randint(1, m) + beta[b] = beta.get(b, 0) + rng.randint(1, 3) + if sum(beta.values()) > m: + beta = {} + return parse(m, {"rows": rows, "rho": rho, "beta": {str(b): k for b, k in beta.items()}}) + + +def check_lemma2() -> tuple: + """Lemma 2 on random data: the sums predict correctness and c exactly.""" + rng = random.Random(SEED + 1) + hits = 0 + for _ in range(LEMMA_TRIALS): + m = rng.randint(2, 9) + rows, rho, beta = random_record(m, rng) + vanish, predicted = lemma_conditions(m, rows, rho, beta) + word = build_word(m, rows, rho, beta) + require(all(word.count(l) == m for l in "1234"), "Lemma 2 word balance") + count = interval_counts(word, m) + actual = all(v == 0 for iv, v in count.items() if iv != (1, DEPTH)) + require(actual == (vanish == (0, 0, 0, 0, 0)), "Lemma 2 criterion mismatch") + require(not actual or count[(1, DEPTH)] == predicted, "Lemma 2 coefficient mismatch") + hits += actual + require(0 < hits < LEMMA_TRIALS, "Lemma 2 random trials did not exercise both outcomes") + return LEMMA_TRIALS, hits + + +def check_lemma3() -> int: + """Lemma 3: at most two partial rows and prime m force c = 0.""" + rng = random.Random(SEED + 2) + seen = 0 + for _ in range(LEMMA_TRIALS): + m = rng.choice((5, 7, 11, 13)) + rows, rho, beta = random_record(m, rng, rng.randint(0, 2)) + vanish, predicted = lemma_conditions(m, rows, rho, beta) + if vanish == (0, 0, 0, 0, 0): + require(predicted == 0, "Lemma 3 counterexample") + seen += 1 + require(seen > 0, "Lemma 3 random trials were vacuous") + return seen + + +def controls(table: dict) -> list: + """Each mutation must be rejected by the Lemma 2 sums or by the word checks.""" + m, c = 37, 5 + rec = table[m][c] + names = [] + + def rejected(name: str, mutated: dict, coeff: int = c) -> None: + rows, rho, beta = parse(m, mutated) + vanish, predicted = lemma_conditions(m, rows, rho, beta) + require(vanish != (0, 0, 0, 0, 0) or predicted != coeff, f"control {name}: sums") + word = build_word(m, rows, rho, beta) + require(not counts_correct(word, m, coeff), f"control {name}: counts") + require(not matrix_correct(word, m, coeff), f"control {name}: matrix") + names.append(name) + + rejected("wrong_coefficient", rec, c + 1) + bumped = dict(rec, rho=list(rec["rho"])) + bumped["rho"][0] -= 1 # the witness has rho(1) > rho(2), so the shape stays legal + rejected("rho_first_row_changed", bumped) + shorter = dict(rec, rows=list(rec["rows"])) + shorter["rows"][1] -= 1 + rejected("lambda_row_shortened", shorter) + moved = dict(rec, beta={str(int(b) + 1) if int(b) > 1 else b: k for b, k in rec["beta"].items()}) + rejected("beta_level_moved", moved) + word = build_word(m, *parse(m, rec)) + require(counts_correct(word, m, c) and not counts_correct(word[:-1], m, c), + "control dropped call") + names.append("dropped_last_call") + return names + + +def sha256(path: Path) -> str: + return hashlib.sha256(path.read_bytes()).hexdigest() + + +def main() -> None: + require(sys.argv[1:] == [], "usage: verify.py") + table = load_witnesses() + checked = check_witnesses(table) + require(checked == sum(m - 1 for m in range(M_MIN, M_MAX + 1)), "witness total") + names = controls(table) + trials, hits = check_lemma2() + lemma3 = check_lemma3() + receipt = { + "schema_version": 1, + "claim": "shortest unsigned depth-four dirty chain connector = 4m calls " + f"for every m in [{M_MIN}, {M_MAX}] and every nonzero c (mod m)", + "witnesses_checked": checked, + "literal_replays": checked, + "controls": names, + "lemma2_random_records": trials, + "lemma2_random_correct_words": hits, + "lemma3_nonvacuous_trials": lemma3, + "package_sha256": {f: sha256(PACKAGE / f) for f in PACKAGE_FILES}, + "input_sha256": {p: sha256(ROOT / p) for p in INPUTS}, + } + print(json.dumps(receipt, indent=2, sort_keys=True)) + print(f"PASS_DEPTH4_CHAIN_ROWMODEL moduli={M_MAX - M_MIN + 1} witnesses={checked}") + + +if __name__ == "__main__": + main() diff --git a/research/depth4-chain-rowmodel/witnesses.json b/research/depth4-chain-rowmodel/witnesses.json new file mode 100644 index 0000000000..535fc4bd8b --- /dev/null +++ b/research/depth4-chain-rowmodel/witnesses.json @@ -0,0 +1,1520 @@ +{"schema_version":1,"format":"rows: row lengths of lambda, top to bottom (first row full); rho: values rho(q) on those rows (zero below); beta: {b-level: number of calls 4 with exactly b calls 3 before them}; remaining calls 4 sit at level 0","witnesses":{"33":{"1":{"rows":[33,32,24,19,13,11],"rho":[33,26,5,2,0,0],"beta":{"25":2,"1":16}}, +"2":{"rows":[33,30,21,12,3],"rho":[17,9,3,2,2],"beta":{"23":1,"1":10}}, +"3":{"rows":[33,32,19,11,4],"rho":[30,22,10,2,2],"beta":{"26":3,"1":21}}, +"4":{"rows":[33,26,6,1],"rho":[13,11,7,2],"beta":{"20":1,"1":13}}, +"5":{"rows":[33,29,28,5,3,1],"rho":[12,10,4,4,2,1],"beta":{"14":1,"1":19}}, +"6":{"rows":[33,27,17,16,6],"rho":[33,19,9,3,2],"beta":{"24":3,"1":27}}, +"7":{"rows":[33,18,9,5,1],"rho":[23,6,2,1,1],"beta":{"16":1,"1":17}}, +"8":{"rows":[33,30,20,10,6],"rho":[26,20,19,1,0],"beta":{"23":2,"1":20}}, +"9":{"rows":[33,26,14,13,13],"rho":[22,4,3,3,1],"beta":{"17":3,"1":15}}, +"10":{"rows":[33,30,21,9,6],"rho":[14,9,6,3,1],"beta":{"23":2,"1":20}}, +"11":{"rows":[33,15,14,4],"rho":[22,11,0,0],"beta":{"22":1,"1":11}}, +"12":{"rows":[33,19,11,3],"rho":[28,24,12,2],"beta":{"18":3,"1":12}}, +"13":{"rows":[33,26,6,1],"rho":[32,28,5,1],"beta":{"20":2,"1":26}}, +"14":{"rows":[33,23,15,12,11,5],"rho":[26,18,11,5,4,2],"beta":{"19":2,"1":28}}, +"15":{"rows":[33,20,16,15,14,1],"rho":[32,29,5,0,0,0],"beta":{"17":3,"1":15}}, +"16":{"rows":[33,30,15,11,10],"rho":[19,7,3,2,2],"beta":{"23":2,"1":20}}, +"17":{"rows":[33,28,25,22,21,3],"rho":[27,17,17,2,2,1],"beta":{"26":2,"1":14}}, +"18":{"rows":[33,19,9,5],"rho":[28,26,10,2],"beta":{"18":3,"1":12}}, +"19":{"rows":[33,23,18,14,10,1],"rho":[33,23,7,2,1,0],"beta":{"19":2,"1":28}}, +"20":{"rows":[33,18,9,4,2],"rho":[26,20,18,1,1],"beta":{"16":1,"1":17}}, +"21":{"rows":[33,32,19,18,15,15],"rho":[28,19,13,4,2,0],"beta":{"25":2,"1":16}}, +"22":{"rows":[33,19,12,2],"rho":[17,15,1,0],"beta":{"22":1,"1":11}}, +"23":{"rows":[33,26,6,1],"rho":[32,28,5,1],"beta":{"20":1,"1":13}}, +"24":{"rows":[33,27,19,19,1],"rho":[11,10,6,4,2],"beta":{"24":3,"1":27}}, +"25":{"rows":[33,28,13,12,7,6],"rho":[33,31,26,4,3,2],"beta":{"26":2,"1":14}}, +"26":{"rows":[33,31,15,9,8,3],"rho":[23,18,15,5,3,2],"beta":{"17":1,"1":16}}, +"27":{"rows":[33,32,15,12,6,1],"rho":[18,12,3,0,0,0],"beta":{"25":2,"1":16}}, +"28":{"rows":[33,32,23,18,17,9],"rho":[32,24,4,3,2,1],"beta":{"25":1,"1":8}}, +"29":{"rows":[33,28,14,13,6,5],"rho":[22,20,15,5,3,1],"beta":{"26":1,"1":7}}, +"30":{"rows":[33,20,16,13,9,8],"rho":[29,21,12,3,1,0],"beta":{"17":3,"1":15}}, +"31":{"rows":[33,18,9,3,3],"rho":[33,16,15,1,1],"beta":{"16":2,"1":1}}, +"32":{"rows":[33,28,24,21,14,12],"rho":[26,24,16,0,0,0],"beta":{"26":1,"1":7}}}, +"34":{"1":{"rows":[34,28,24,22,19,9],"rho":[27,16,13,6,4,2],"beta":{"27":1,"1":7}}, +"2":{"rows":[34,32,22,21,20,7],"rho":[34,19,10,3,1,1],"beta":{"26":3,"1":24}}, +"3":{"rows":[34,28,26,25,19,4],"rho":[22,19,15,6,4,2],"beta":{"27":1,"1":7}}, +"4":{"rows":[34,28,14,12,10,4],"rho":[30,18,12,4,2,2],"beta":{"27":3,"1":21}}, +"5":{"rows":[34,27,19,12,10],"rho":[33,24,10,1,0],"beta":{"25":1,"1":9}}, +"6":{"rows":[34,30,17,12,9],"rho":[27,24,13,3,1],"beta":{"24":1,"1":10}}, +"7":{"rows":[34,26,6,2],"rho":[15,10,7,2],"beta":{"21":1,"1":13}}, +"8":{"rows":[34,27,17,10,8,6],"rho":[32,32,2,2,0,0],"beta":{"23":2,"1":22}}, +"9":{"rows":[34,28,21,7,6,6],"rho":[20,5,5,3,1,0],"beta":{"27":1,"1":7}}, +"10":{"rows":[34,32,19,17,17,17],"rho":[33,17,17,1,0,0],"beta":{"26":3,"1":24}}, +"11":{"rows":[34,28,14,13,7,6],"rho":[33,22,10,1,1,1],"beta":{"27":3,"1":21}}, +"12":{"rows":[34,23,4,3,3,1],"rho":[32,25,6,2,2,1],"beta":{"7":2,"1":20}}, +"13":{"rows":[34,33,20,12,3],"rho":[33,33,32,3,1],"beta":{"23":1,"1":11}}, +"14":{"rows":[34,24,6,4],"rho":[26,5,2,1],"beta":{"22":3,"1":2}}, +"15":{"rows":[34,26,6,2],"rho":[25,6,2,1],"beta":{"21":1,"1":13}}, +"16":{"rows":[34,23,7,4],"rho":[18,10,6,0],"beta":{"14":2,"1":6}}, +"17":{"rows":[34,17,7,6,4],"rho":[21,5,5,2,1],"beta":{"17":3,"1":17}}, +"18":{"rows":[34,24,8,2],"rho":[33,19,15,1],"beta":{"22":2,"1":24}}, +"19":{"rows":[34,27,20,18,3],"rho":[27,24,16,1,0],"beta":{"25":1,"1":9}}, +"20":{"rows":[34,22,8,3,1],"rho":[28,20,16,3,1],"beta":{"21":2,"1":26}}, +"21":{"rows":[34,26,6,2],"rho":[18,9,6,1],"beta":{"21":3,"1":5}}, +"22":{"rows":[34,31,31,5,1],"rho":[32,26,4,4,2],"beta":{"20":3,"1":8}}, +"23":{"rows":[34,28,14,11,9,6],"rho":[29,24,8,3,3,1],"beta":{"27":1,"1":7}}, +"24":{"rows":[34,28,4,2],"rho":[34,20,12,2],"beta":{"20":1,"1":14}}, +"25":{"rows":[34,33,20,10,5],"rho":[33,24,6,3,2],"beta":{"23":1,"1":11}}, +"26":{"rows":[34,31,22,15],"rho":[12,12,8,2],"beta":{"27":2,"1":14}}, +"27":{"rows":[34,28,24,7,5,4],"rho":[32,23,9,2,2,0],"beta":{"27":3,"1":21}}, +"28":{"rows":[34,22,16,16,7,7],"rho":[33,23,8,2,1,1],"beta":{"20":3,"1":8}}, +"29":{"rows":[34,26,6,2],"rho":[29,24,15,0],"beta":{"21":3,"1":5}}, +"30":{"rows":[34,19,11,4],"rho":[22,9,3,0],"beta":{"16":2,"1":2}}, +"31":{"rows":[34,28,22,21,18,13],"rho":[30,25,13,0,0,0],"beta":{"27":1,"1":7}}, +"32":{"rows":[34,21,11,2],"rho":[21,7,5,1],"beta":{"15":2,"1":4}}, +"33":{"rows":[34,16,8,5,3,2],"rho":[28,23,11,2,2,2],"beta":{"13":3,"1":29}}}, +"35":{"1":{"rows":[35,27,17,16,10],"rho":[16,14,3,1,1],"beta":{"26":2,"1":18}}, +"2":{"rows":[35,27,20,14,9],"rho":[34,33,2,1,0],"beta":{"26":3,"1":27}}, +"3":{"rows":[35,33,20,10,7],"rho":[33,30,6,1,0],"beta":{"24":1,"1":11}}, +"4":{"rows":[35,19,10,4,2],"rho":[27,26,12,3,2],"beta":{"17":3,"1":19}}, +"5":{"rows":[35,27,25,16,2],"rho":[31,26,7,4,2],"beta":{"26":3,"1":27}}, +"6":{"rows":[35,29,17,11,10,3],"rho":[23,23,17,3,2,2],"beta":{"19":2,"1":32}}, +"7":{"rows":[35,19,16,15,14,6],"rho":[22,6,2,2,2,1],"beta":{"28":3,"1":21}}, +"8":{"rows":[35,33,26,10,1],"rho":[16,14,3,2,0],"beta":{"23":3,"1":1}}, +"9":{"rows":[35,33,18,15,4],"rho":[33,19,16,2,0],"beta":{"24":1,"1":11}}, +"10":{"rows":[35,25,16,14,11,4],"rho":[34,33,31,3,3,1],"beta":{"20":1,"1":15}}, +"11":{"rows":[35,27,22,15,6],"rho":[35,27,5,2,1],"beta":{"26":3,"1":27}}, +"12":{"rows":[35,19,9,5,2],"rho":[29,21,16,3,1],"beta":{"17":3,"1":19}}, +"13":{"rows":[35,24,7,4],"rho":[27,7,1,0],"beta":{"23":3,"1":1}}, +"14":{"rows":[35,17,15,15,13,10],"rho":[24,5,4,2,0,0],"beta":{"28":3,"1":21}}, +"15":{"rows":[35,33,16,14,7],"rho":[17,12,5,1,0],"beta":{"24":1,"1":11}}, +"16":{"rows":[35,27,22,18,3],"rho":[16,12,5,1,1],"beta":{"26":1,"1":9}}, +"17":{"rows":[35,24,10,1],"rho":[22,7,4,2],"beta":{"23":2,"1":24}}, +"18":{"rows":[35,22,7,4,2],"rho":[32,30,4,2,2],"beta":{"16":1,"1":19}}, +"19":{"rows":[35,33,23,12,2],"rho":[33,21,15,1,0],"beta":{"24":2,"1":22}}, +"20":{"rows":[35,32,22,8,4,4],"rho":[25,6,4,0,0,0],"beta":{"27":1,"1":8}}, +"21":{"rows":[35,24,16,13,9,8],"rho":[33,23,6,4,3,1],"beta":{"28":1,"1":7}}, +"22":{"rows":[35,32,26,17,16,14],"rho":[28,22,13,3,3,1],"beta":{"27":3,"1":24}}, +"23":{"rows":[35,19,8,7,1],"rho":[28,25,13,2,2],"beta":{"17":2,"1":1}}, +"24":{"rows":[35,32,2,1],"rho":[34,21,13,2],"beta":{"19":2,"1":32}}, +"25":{"rows":[35,25,17,16,8,4],"rho":[26,4,3,1,1,0],"beta":{"20":1,"1":15}}, +"26":{"rows":[35,24,10,1],"rho":[22,7,4,2],"beta":{"23":1,"1":12}}, +"27":{"rows":[35,33,15,13,9],"rho":[23,6,4,1,1],"beta":{"24":1,"1":11}}, +"28":{"rows":[35,15,13,4,2,1],"rho":[34,24,6,3,2,1],"beta":{"28":1,"1":7}}, +"29":{"rows":[35,19,10,5,1],"rho":[32,26,9,2,1],"beta":{"17":3,"1":19}}, +"30":{"rows":[35,32,25,22,18,8],"rho":[35,30,30,5,3,2],"beta":{"27":3,"1":24}}, +"31":{"rows":[35,29,14,12,8,7],"rho":[12,11,5,3,2,2],"beta":{"19":3,"1":13}}, +"32":{"rows":[35,32,27,7,4],"rho":[16,12,3,3,1],"beta":{"23":1,"1":12}}, +"33":{"rows":[35,33,21,11,5],"rho":[31,28,11,0,0],"beta":{"24":1,"1":11}}, +"34":{"rows":[35,27,17,16,10],"rho":[27,25,17,1,0],"beta":{"26":3,"1":27}}}, +"36":{"1":{"rows":[36,33,17,12,10],"rho":[19,10,4,2,1],"beta":{"25":1,"1":11}}, +"2":{"rows":[36,34,16,10,8,4],"rho":[16,9,9,1,1,0],"beta":{"23":2,"1":26}}, +"3":{"rows":[36,27,16,15,14],"rho":[29,3,3,1,0],"beta":{"19":3,"1":15}}, +"4":{"rows":[36,22,11,3],"rho":[16,16,4,0],"beta":{"16":2,"1":4}}, +"5":{"rows":[36,32,15,12,11,2],"rho":[31,18,12,5,4,2],"beta":{"19":1,"1":17}}, +"6":{"rows":[36,32,22,12,4,2],"rho":[15,11,5,3,1,1],"beta":{"25":3,"1":33}}, +"7":{"rows":[36,33,18,16,5],"rho":[21,8,3,2,2],"beta":{"25":1,"1":11}}, +"8":{"rows":[36,28,6,2],"rho":[35,21,16,0],"beta":{"22":2,"1":28}}, +"9":{"rows":[36,15,10,7,4],"rho":[19,11,4,1,1],"beta":{"11":3,"1":3}}, +"10":{"rows":[36,32,28,12],"rho":[20,9,6,1],"beta":{"29":2,"1":14}}, +"11":{"rows":[36,21,10,3,2],"rho":[33,17,17,3,2],"beta":{"17":1,"1":19}}, +"12":{"rows":[36,27,26,19],"rho":[26,6,2,2],"beta":{"28":3,"1":24}}, +"13":{"rows":[36,32,26,12,2],"rho":[18,9,4,3,2],"beta":{"25":1,"1":11}}, +"14":{"rows":[36,26,6,4],"rho":[34,23,13,2],"beta":{"23":2,"1":26}}, +"15":{"rows":[36,33,20,18,1],"rho":[17,10,5,2,2],"beta":{"25":1,"1":11}}, +"16":{"rows":[36,26,24,23,18,17],"rho":[13,9,5,5,3,1],"beta":{"25":2,"1":22}}, +"17":{"rows":[36,32,14,11,10,5],"rho":[34,15,13,4,4,2],"beta":{"19":1,"1":17}}, +"18":{"rows":[36,33,28,9,2],"rho":[22,8,6,0,0],"beta":{"33":3,"1":9}}, +"19":{"rows":[36,33,18,18,3],"rho":[33,20,15,2,2],"beta":{"25":1,"1":11}}, +"20":{"rows":[36,26,6,4],"rho":[32,24,16,0],"beta":{"23":1,"1":13}}, +"21":{"rows":[36,22,8,6],"rho":[23,8,5,0],"beta":{"19":3,"1":15}}, +"22":{"rows":[36,20,12,4],"rho":[32,23,15,2],"beta":{"17":2,"1":2}}, +"23":{"rows":[36,32,18,14,5,3],"rho":[29,22,16,3,2,0],"beta":{"19":1,"1":17}}, +"24":{"rows":[36,29,21,14,8],"rho":[18,11,3,3,1],"beta":{"20":2,"1":32}}, +"25":{"rows":[36,33,18,18,3],"rho":[31,19,19,2,1],"beta":{"25":1,"1":11}}, +"26":{"rows":[36,33,24,8,7],"rho":[17,9,8,1,1],"beta":{"31":2,"1":10}}, +"27":{"rows":[36,32,24,13,3],"rho":[19,11,2,2,2],"beta":{"33":3,"1":9}}, +"28":{"rows":[36,28,15,13,12,4],"rho":[35,15,13,5,3,1],"beta":{"20":2,"1":32}}, +"29":{"rows":[36,33,17,16,6],"rho":[11,11,9,3,2],"beta":{"25":1,"1":11}}, +"30":{"rows":[36,30,4,2],"rho":[14,12,8,2],"beta":{"21":1,"1":15}}, +"31":{"rows":[36,32,18,10,9,3],"rho":[36,19,11,4,2,0],"beta":{"19":1,"1":17}}, +"32":{"rows":[36,32,3,1],"rho":[25,25,21,1],"beta":{"11":2,"1":14}}, +"33":{"rows":[36,34,24,14],"rho":[34,25,12,1],"beta":{"25":3,"1":33}}, +"34":{"rows":[36,33,31,5,3],"rho":[16,13,3,3,1],"beta":{"22":1,"1":14}}, +"35":{"rows":[36,21,8,4,3],"rho":[21,8,5,2,0],"beta":{"17":1,"1":19}}}, +"37":{"1":{"rows":[37,32,22,10,9,1],"rho":[22,9,2,2,2,0],"beta":{"19":1,"1":18}}, +"2":{"rows":[37,30,19,16,9],"rho":[37,25,9,2,1],"beta":{"27":2,"1":20}}, +"3":{"rows":[37,30,26,13,5],"rho":[27,9,1,0,0],"beta":{"27":3,"1":30}}, +"4":{"rows":[37,27,15,14,13,5],"rho":[37,25,9,2,1,0],"beta":{"21":2,"1":32}}, +"5":{"rows":[37,23,15,13,12,11],"rho":[34,29,4,4,2,1],"beta":{"22":2,"1":30}}, +"6":{"rows":[37,26,8,3],"rho":[22,8,6,1],"beta":{"24":1,"1":13}}, +"7":{"rows":[37,28,6,3],"rho":[27,26,20,1],"beta":{"23":3,"1":5}}, +"8":{"rows":[37,28,7,2],"rho":[29,24,20,1],"beta":{"23":1,"1":14}}, +"9":{"rows":[37,20,8,7,2],"rho":[34,30,6,2,2],"beta":{"18":3,"1":20}}, +"10":{"rows":[37,32,3,2],"rho":[32,25,17,0],"beta":{"21":1,"1":16}}, +"11":{"rows":[37,30,25,13,6],"rho":[31,28,13,1,1],"beta":{"27":2,"1":20}}, +"12":{"rows":[37,36,26,23,18,8],"rho":[23,8,6,0,0,0],"beta":{"28":1,"1":9}}, +"13":{"rows":[37,33,18,12,11],"rho":[36,21,17,0,0],"beta":{"26":2,"1":22}}, +"14":{"rows":[37,28,5,4],"rho":[20,14,3,0],"beta":{"23":3,"1":5}}, +"15":{"rows":[37,30,22,21,1],"rho":[13,11,9,3,1],"beta":{"27":1,"1":10}}, +"16":{"rows":[37,33,26,10,5],"rho":[18,11,3,3,2],"beta":{"26":1,"1":11}}, +"17":{"rows":[37,28,7,2],"rho":[32,25,16,1],"beta":{"23":3,"1":5}}, +"18":{"rows":[37,26,8,3],"rho":[19,9,7,2],"beta":{"24":3,"1":2}}, +"19":{"rows":[37,33,25,10,6],"rho":[35,23,13,2,1],"beta":{"26":2,"1":22}}, +"20":{"rows":[37,20,9,7,1],"rho":[13,11,11,2,0],"beta":{"18":2,"1":1}}, +"21":{"rows":[37,32,27,25,20,7],"rho":[22,10,2,2,1,0],"beta":{"29":1,"1":8}}, +"22":{"rows":[37,36,17,13,8],"rho":[35,21,14,2,2],"beta":{"25":1,"1":12}}, +"23":{"rows":[37,32,19,16,6,1],"rho":[24,20,20,4,4,2],"beta":{"29":2,"1":16}}, +"24":{"rows":[37,28,7,2],"rho":[32,23,19,0],"beta":{"23":3,"1":5}}, +"25":{"rows":[37,20,10,5,2],"rho":[28,28,18,0,0],"beta":{"18":3,"1":20}}, +"26":{"rows":[37,33,23,14,4],"rho":[34,19,15,4,2],"beta":{"26":1,"1":11}}, +"27":{"rows":[37,32,24,19,19,17],"rho":[26,20,18,5,3,2],"beta":{"29":3,"1":24}}, +"28":{"rows":[37,36,18,16,4],"rho":[16,12,8,1,0],"beta":{"25":1,"1":12}}, +"29":{"rows":[37,20,11,4,2],"rho":[28,26,20,0,0],"beta":{"18":1,"1":19}}, +"30":{"rows":[37,26,6,5],"rho":[37,26,9,2],"beta":{"24":2,"1":26}}, +"31":{"rows":[37,32,27,9,6],"rho":[22,8,3,3,1],"beta":{"26":2,"1":22}}, +"32":{"rows":[37,34,33,6,1],"rho":[22,13,1,1,0],"beta":{"22":2,"1":30}}, +"33":{"rows":[37,36,22,22,16,15],"rho":[36,24,5,5,3,1],"beta":{"28":2,"1":18}}, +"34":{"rows":[37,26,6,5],"rho":[29,5,3,0],"beta":{"24":2,"1":26}}, +"35":{"rows":[37,23,19,19,7,6],"rho":[33,21,17,2,1,0],"beta":{"22":1,"1":15}}, +"36":{"rows":[37,36,24,7,5,2],"rho":[34,28,8,2,1,1],"beta":{"28":3,"1":27}}}, +"38":{"1":{"rows":[38,36,23,8,5,4],"rho":[34,27,11,3,1,0],"beta":{"29":1,"1":9}}, +"2":{"rows":[38,34,31,29,20],"rho":[37,25,8,4,2],"beta":{"33":2,"1":10}}, +"3":{"rows":[38,25,8,4,1],"rho":[31,28,17,0,0],"beta":{"17":3,"1":25}}, +"4":{"rows":[38,30,26,16,4],"rho":[34,21,16,3,2],"beta":{"28":2,"1":20}}, +"5":{"rows":[38,36,28,24,18,8],"rho":[38,17,17,3,1,0],"beta":{"29":1,"1":9}}, +"6":{"rows":[38,32,22,17,3,2],"rho":[16,14,3,3,1,1],"beta":{"20":1,"1":18}}, +"7":{"rows":[38,36,28,27,15,8],"rho":[37,24,9,2,2,2],"beta":{"29":1,"1":9}}, +"8":{"rows":[38,37,31,5,3],"rho":[20,11,5,1,1],"beta":{"32":2,"1":12}}, +"9":{"rows":[38,36,22,20,19,17],"rho":[30,27,11,4,3,1],"beta":{"29":3,"1":27}}, +"10":{"rows":[38,37,26,26,25],"rho":[36,30,4,4,2],"beta":{"32":2,"1":12}}, +"11":{"rows":[38,30,16,15,8,7],"rho":[32,23,12,5,3,1],"beta":{"21":3,"1":13}}, +"12":{"rows":[38,26,18,16,9,7],"rho":[38,22,12,2,1,1],"beta":{"22":1,"1":16}}, +"13":{"rows":[38,30,6,2],"rho":[19,16,2,1],"beta":{"23":3,"1":7}}, +"14":{"rows":[38,34,24,15,3],"rho":[14,13,7,2,2],"beta":{"33":2,"1":10}}, +"15":{"rows":[38,26,8,4],"rho":[17,12,8,1],"beta":{"25":3,"1":1}}, +"16":{"rows":[38,29,21,18,4,4],"rho":[35,21,19,1,0,0],"beta":{"26":2,"1":24}}, +"17":{"rows":[38,33,22,16,5],"rho":[29,28,17,2,0],"beta":{"27":3,"1":33}}, +"18":{"rows":[38,30,14,13,11,8],"rho":[17,9,6,2,2,2],"beta":{"21":2,"1":34}}, +"19":{"rows":[38,36,26,22,21,9],"rho":[17,8,6,3,2,2],"beta":{"29":3,"1":27}}, +"20":{"rows":[38,37,24,15],"rho":[23,11,3,1],"beta":{"29":2,"1":18}}, +"21":{"rows":[38,33,23,14,6],"rho":[35,32,8,1,0],"beta":{"27":3,"1":33}}, +"22":{"rows":[38,35,33,25,18,3],"rho":[30,5,2,1,0,0],"beta":{"34":2,"1":8}}, +"23":{"rows":[38,33,23,16,4],"rho":[17,17,3,1,0],"beta":{"27":1,"1":11}}, +"24":{"rows":[38,32,26,23,20,13],"rho":[22,13,3,0,0,0],"beta":{"30":2,"1":16}}, +"25":{"rows":[38,33,20,16,7],"rho":[35,35,3,2,1],"beta":{"27":1,"1":11}}, +"26":{"rows":[38,33,19,17,7],"rho":[38,31,4,2,1],"beta":{"27":3,"1":33}}, +"27":{"rows":[38,36,24,20,17,17],"rho":[33,24,7,6,4,2],"beta":{"29":3,"1":27}}, +"28":{"rows":[38,30,17,11,10,8],"rho":[38,20,8,4,4,2],"beta":{"21":1,"1":17}}, +"29":{"rows":[38,26,10,2],"rho":[36,23,16,1],"beta":{"25":3,"1":1}}, +"30":{"rows":[38,28,6,4],"rho":[16,13,9,0],"beta":{"24":3,"1":4}}, +"31":{"rows":[38,30,18,12,10,6],"rho":[30,5,1,1,1,0],"beta":{"21":3,"1":13}}, +"32":{"rows":[38,33,16,16,11],"rho":[27,26,17,4,2],"beta":{"27":2,"1":22}}, +"33":{"rows":[38,26,10,2],"rho":[28,27,21,0],"beta":{"25":3,"1":1}}, +"34":{"rows":[38,30,21,14,11],"rho":[38,18,14,4,2],"beta":{"28":2,"1":20}}, +"35":{"rows":[38,26,10,2],"rho":[33,24,17,2],"beta":{"25":1,"1":13}}, +"36":{"rows":[38,34,26,15,1],"rho":[16,14,8,0,0],"beta":{"33":2,"1":10}}, +"37":{"rows":[38,30,18,15,8,5],"rho":[29,24,17,4,2,0],"beta":{"21":3,"1":13}}}, +"39":{"1":{"rows":[39,30,24,21,3],"rho":[33,22,22,1,0],"beta":{"29":1,"1":10}}, +"2":{"rows":[39,21,9,6,3],"rho":[16,16,5,1,1],"beta":{"19":2,"1":1}}, +"3":{"rows":[39,18,10,9,1,1],"rho":[34,23,14,3,3,1],"beta":{"15":3,"1":33}}, +"4":{"rows":[39,29,20,17,8,4],"rho":[15,14,6,3,1,0],"beta":{"22":2,"1":34}}, +"5":{"rows":[39,32,29,27,15,14],"rho":[27,23,20,4,2,2],"beta":{"31":1,"1":8}}, +"6":{"rows":[39,38,30,10],"rho":[37,34,6,1],"beta":{"33":3,"1":18}}, +"7":{"rows":[39,21,8,7,3],"rho":[30,4,2,2,1],"beta":{"19":2,"1":1}}, +"8":{"rows":[39,30,21,16,11],"rho":[29,26,21,1,1],"beta":{"29":2,"1":20}}, +"9":{"rows":[39,33,22,21,2],"rho":[28,26,22,1,1],"beta":{"28":1,"1":11}}, +"10":{"rows":[39,25,23,18,6,6],"rho":[38,30,3,3,2,2],"beta":{"23":2,"1":32}}, +"11":{"rows":[39,28,6,5],"rho":[34,27,17,0],"beta":{"25":1,"1":14}}, +"12":{"rows":[39,31,29,18],"rho":[37,35,5,1],"beta":{"30":3,"1":27}}, +"13":{"rows":[39,21,12,6],"rho":[23,14,1,1],"beta":{"26":2,"1":26}}, +"14":{"rows":[39,32,30,26,18,11],"rho":[37,23,11,3,3,1],"beta":{"31":2,"1":16}}, +"15":{"rows":[39,30,23,19,6],"rho":[33,26,17,2,0],"beta":{"29":3,"1":30}}, +"16":{"rows":[39,30,28,14,6],"rho":[38,18,18,3,1],"beta":{"29":2,"1":20}}, +"17":{"rows":[39,32,23,18,4,1],"rho":[34,18,17,4,3,2],"beta":{"31":1,"1":8}}, +"18":{"rows":[39,36,27,7,5,3],"rho":[33,23,14,3,3,2],"beta":{"30":3,"1":27}}, +"19":{"rows":[39,33,23,21,1],"rho":[22,12,3,2,0],"beta":{"28":2,"1":22}}, +"20":{"rows":[39,33,24,12,9],"rho":[23,8,6,1,1],"beta":{"28":1,"1":11}}, +"21":{"rows":[39,38,25,15],"rho":[36,31,10,1],"beta":{"33":3,"1":18}}, +"22":{"rows":[39,32,21,11,8,6],"rho":[37,27,8,4,2,0],"beta":{"31":2,"1":16}}, +"23":{"rows":[39,32,19,18,6,3],"rho":[38,31,4,3,1,1],"beta":{"31":1,"1":8}}, +"24":{"rows":[39,20,10,9],"rho":[34,34,10,0],"beta":{"16":3,"1":30}}, +"25":{"rows":[39,33,24,12,9],"rho":[37,25,16,0,0],"beta":{"28":1,"1":11}}, +"26":{"rows":[39,18,18,3],"rho":[20,15,2,2],"beta":{"26":1,"1":13}}, +"27":{"rows":[39,22,7,7,3],"rho":[17,16,3,2,1],"beta":{"10":3,"1":9}}, +"28":{"rows":[39,33,27,13,5],"rho":[36,25,15,1,1],"beta":{"28":2,"1":22}}, +"29":{"rows":[39,32,20,18,5,3],"rho":[39,29,6,2,1,1],"beta":{"31":1,"1":8}}, +"30":{"rows":[39,25,10,2,2],"rho":[33,33,6,4,2],"beta":{"22":3,"1":12}}, +"31":{"rows":[39,37,14,14,9,4],"rho":[32,28,8,4,4,2],"beta":{"20":1,"1":19}}, +"32":{"rows":[39,33,24,13,8],"rho":[19,16,4,0,0],"beta":{"28":2,"1":22}}, +"33":{"rows":[39,33,23,21,1],"rho":[17,9,8,3,2],"beta":{"28":3,"1":33}}, +"34":{"rows":[39,30,24,12,12],"rho":[28,27,20,2,1],"beta":{"29":1,"1":10}}, +"35":{"rows":[39,25,20,14,10,9],"rho":[36,22,9,5,4,2],"beta":{"23":1,"1":16}}, +"36":{"rows":[39,37,24,17],"rho":[26,9,4,0],"beta":{"27":3,"1":36}}, +"37":{"rows":[39,29,20,17,7,5],"rho":[38,19,16,3,2,0],"beta":{"22":2,"1":34}}, +"38":{"rows":[39,30,26,12,10],"rho":[39,38,35,3,2],"beta":{"29":1,"1":10}}}, +"40":{"1":{"rows":[40,33,28,12,7],"rho":[27,6,3,2,2],"beta":{"29":1,"1":11}}, +"2":{"rows":[40,36,20,12,7,5],"rho":[38,20,15,3,2,2],"beta":{"31":1,"1":9}}, +"3":{"rows":[40,23,12,3,2],"rho":[13,12,9,4,2],"beta":{"19":3,"1":23}}, +"4":{"rows":[40,39,21,11,9],"rho":[26,7,5,2,0],"beta":{"27":2,"1":26}}, +"5":{"rows":[40,35,29,13,3],"rho":[32,4,3,1,0],"beta":{"28":3,"1":36}}, +"6":{"rows":[40,38,30,12],"rho":[32,5,3,0],"beta":{"31":2,"1":18}}, +"7":{"rows":[40,39,26,12,3],"rho":[35,26,17,2,0],"beta":{"27":1,"1":13}}, +"8":{"rows":[40,36,30,26,14,14],"rho":[21,7,4,3,3,2],"beta":{"31":2,"1":18}}, +"9":{"rows":[40,23,10,4,3],"rho":[15,12,12,1,0],"beta":{"19":3,"1":23}}, +"10":{"rows":[40,35,22,20,3],"rho":[29,6,5,0,0],"beta":{"35":2,"1":10}}, +"11":{"rows":[40,23,8,6,3],"rho":[31,30,18,1,0],"beta":{"19":1,"1":21}}, +"12":{"rows":[40,36,26,11,7],"rho":[25,8,5,2,0],"beta":{"28":3,"1":36}}, +"13":{"rows":[40,33,26,15,6],"rho":[29,28,20,2,1],"beta":{"29":3,"1":33}}, +"14":{"rows":[40,34,24,22],"rho":[22,13,4,1],"beta":{"33":2,"1":14}}, +"15":{"rows":[40,30,6,4],"rho":[28,7,5,0],"beta":{"25":1,"1":15}}, +"16":{"rows":[40,26,25,23,4,2],"rho":[21,11,5,1,1,1],"beta":{"32":2,"1":16}}, +"17":{"rows":[40,34,4,2],"rho":[25,14,1,0],"beta":{"23":3,"1":11}}, +"18":{"rows":[40,34,4,2],"rho":[30,28,22,0],"beta":{"23":1,"1":17}}, +"19":{"rows":[40,28,19,16,13,4],"rho":[29,20,20,5,4,2],"beta":{"23":3,"1":11}}, +"20":{"rows":[40,24,20,18,18],"rho":[30,10,0,0,0],"beta":{"30":3,"1":30}}, +"21":{"rows":[40,33,22,15,10],"rho":[19,13,3,3,2],"beta":{"29":1,"1":11}}, +"22":{"rows":[40,32,30,12,6],"rho":[26,8,4,2,0],"beta":{"29":3,"1":33}}, +"23":{"rows":[40,33,26,12,9],"rho":[15,14,9,2,0],"beta":{"29":3,"1":33}}, +"24":{"rows":[40,32,7,1],"rho":[39,21,18,2],"beta":{"14":2,"1":12}}, +"25":{"rows":[40,30,6,4],"rho":[28,27,25,0],"beta":{"25":3,"1":5}}, +"26":{"rows":[40,23,8,8,1],"rho":[22,10,3,3,2],"beta":{"19":3,"1":23}}, +"27":{"rows":[40,33,22,20,5],"rho":[29,27,22,1,1],"beta":{"29":1,"1":11}}, +"28":{"rows":[40,38,22,20],"rho":[25,7,7,1],"beta":{"31":2,"1":18}}, +"29":{"rows":[40,33,23,14,10],"rho":[37,34,8,1,0],"beta":{"29":3,"1":33}}, +"30":{"rows":[40,16,15,7,2],"rho":[27,7,2,2,2],"beta":{"30":1,"1":10}}, +"31":{"rows":[40,33,4,2,1],"rho":[39,32,4,3,2],"beta":{"29":3,"1":33}}, +"32":{"rows":[40,26,22,21,7,4],"rho":[14,12,4,4,4,2],"beta":{"32":1,"1":8}}, +"33":{"rows":[40,39,16,13,12],"rho":[25,9,4,1,1],"beta":{"27":1,"1":13}}, +"34":{"rows":[40,33,16,16,15],"rho":[30,26,19,3,2],"beta":{"29":1,"1":11}}, +"35":{"rows":[40,33,25,16,6],"rho":[23,13,3,1,0],"beta":{"29":3,"1":33}}, +"36":{"rows":[40,38,33,8,1],"rho":[17,9,8,4,2],"beta":{"34":2,"1":12}}, +"37":{"rows":[40,39,18,14,9],"rho":[33,24,18,3,2],"beta":{"27":1,"1":13}}, +"38":{"rows":[40,33,16,16,15],"rho":[18,17,2,2,1],"beta":{"29":3,"1":33}}, +"39":{"rows":[40,28,20,13,11,8],"rho":[32,27,19,1,1,0],"beta":{"23":1,"1":17}}}, +"41":{"1":{"rows":[41,28,11,2],"rho":[33,31,18,0],"beta":{"27":1,"1":14}}, +"2":{"rows":[41,33,24,18,7],"rho":[15,14,10,2,0],"beta":{"30":1,"1":11}}, +"3":{"rows":[41,33,25,16,8],"rho":[36,33,8,3,2],"beta":{"30":1,"1":11}}, +"4":{"rows":[41,30,27,21,2,2],"rho":[27,6,3,3,2,0],"beta":{"22":2,"1":38}}, +"5":{"rows":[41,32,8,1],"rho":[37,30,13,2],"beta":{"25":2,"1":32}}, +"6":{"rows":[41,33,27,16,6],"rho":[35,23,20,3,1],"beta":{"30":2,"1":22}}, +"7":{"rows":[41,39,22,13,8],"rho":[27,6,4,3,1],"beta":{"28":1,"1":13}}, +"8":{"rows":[41,27,20,17,15,3],"rho":[33,28,17,2,1,1],"beta":{"24":3,"1":10}}, +"9":{"rows":[41,27,22,14,10,9],"rho":[36,23,13,5,3,2],"beta":{"24":2,"1":34}}, +"10":{"rows":[41,40,30,27,18,8],"rho":[40,29,8,3,2,0],"beta":{"31":2,"1":20}}, +"11":{"rows":[41,36,24,22,21,20],"rho":[38,30,6,4,2,2],"beta":{"32":1,"1":9}}, +"12":{"rows":[41,33,27,21,1],"rho":[22,17,2,0,0],"beta":{"30":2,"1":22}}, +"13":{"rows":[41,31,22,14,9,6],"rho":[13,10,6,6,4,2],"beta":{"23":2,"1":36}}, +"14":{"rows":[41,32,25,13,7,5],"rho":[20,11,3,3,3,1],"beta":{"22":2,"1":38}}, +"15":{"rows":[41,33,23,13,13],"rho":[38,34,6,2,2],"beta":{"30":2,"1":22}}, +"16":{"rows":[41,34,4,3],"rho":[18,12,10,1],"beta":{"24":1,"1":17}}, +"17":{"rows":[41,36,24,16,6],"rho":[26,7,5,2,1],"beta":{"29":3,"1":36}}, +"18":{"rows":[41,28,7,6],"rho":[31,26,24,1],"beta":{"27":2,"1":28}}, +"19":{"rows":[41,37,23,11,6,5],"rho":[25,8,3,3,2,0],"beta":{"21":1,"1":20}}, +"20":{"rows":[41,36,3,2],"rho":[35,33,14,0],"beta":{"23":3,"1":13}}, +"21":{"rows":[41,35,19,14,8,6],"rho":[41,30,8,1,1,1],"beta":{"22":1,"1":19}}, +"22":{"rows":[41,32,6,3],"rho":[32,28,21,1],"beta":{"25":2,"1":32}}, +"23":{"rows":[41,31,15,15,13,8],"rho":[21,12,8,0,0,0],"beta":{"23":1,"1":18}}, +"24":{"rows":[41,36,28,14,4],"rho":[31,30,19,2,0],"beta":{"29":3,"1":36}}, +"25":{"rows":[41,39,24,17,2],"rho":[35,28,13,4,2],"beta":{"28":1,"1":13}}, +"26":{"rows":[41,40,29,26,14,14],"rho":[38,21,15,4,3,1],"beta":{"31":3,"1":30}}, +"27":{"rows":[41,39,35,18,16,15],"rho":[39,28,5,5,3,2],"beta":{"30":3,"1":33}}, +"28":{"rows":[41,33,27,12,10],"rho":[41,23,17,1,0],"beta":{"30":1,"1":11}}, +"29":{"rows":[41,36,3,1,1],"rho":[35,32,11,2,2],"beta":{"29":1,"1":12}}, +"30":{"rows":[41,36,26,11,9],"rho":[34,31,17,0,0],"beta":{"29":3,"1":36}}, +"31":{"rows":[41,31,18,17,11,5],"rho":[41,25,8,4,3,1],"beta":{"23":2,"1":36}}, +"32":{"rows":[41,28,11,2],"rho":[31,8,2,0],"beta":{"27":1,"1":14}}, +"33":{"rows":[41,32,8,1],"rho":[40,31,9,2],"beta":{"25":2,"1":32}}, +"34":{"rows":[41,18,9,5,5,4],"rho":[35,26,11,4,4,2],"beta":{"16":3,"1":34}}, +"35":{"rows":[41,34,4,3],"rho":[23,14,4,0],"beta":{"24":3,"1":10}}, +"36":{"rows":[41,34,6,1],"rho":[39,38,3,2],"beta":{"24":2,"1":34}}, +"37":{"rows":[41,36,3,2],"rho":[17,14,9,1],"beta":{"23":1,"1":18}}, +"38":{"rows":[41,33,21,18,10],"rho":[16,16,5,3,1],"beta":{"30":2,"1":22}}, +"39":{"rows":[41,39,20,14,9],"rho":[19,11,7,2,2],"beta":{"28":2,"1":26}}, +"40":{"rows":[41,33,27,13,9],"rho":[19,12,4,4,2],"beta":{"30":1,"1":11}}}, +"42":{"1":{"rows":[42,26,20,16,12,10],"rho":[33,28,14,5,3,1],"beta":{"25":1,"1":17}}, +"2":{"rows":[42,32,9,1],"rho":[41,31,11,1],"beta":{"26":1,"1":16}}, +"3":{"rows":[42,24,12,6],"rho":[17,14,10,1],"beta":{"23":3,"1":15}}, +"4":{"rows":[42,32,25,23,4],"rho":[20,18,2,2,0],"beta":{"24":2,"1":36}}, +"5":{"rows":[42,39,25,12,8],"rho":[37,28,18,1,0],"beta":{"29":1,"1":13}}, +"6":{"rows":[42,24,12,4,2],"rho":[22,11,5,2,2],"beta":{"20":2,"1":2}}, +"7":{"rows":[42,33,24,18,9],"rho":[21,14,3,2,2],"beta":{"31":1,"1":11}}, +"8":{"rows":[42,39,27,17,1],"rho":[26,9,5,1,1],"beta":{"29":1,"1":13}}, +"9":{"rows":[42,34,6,2],"rho":[15,14,11,2],"beta":{"25":3,"1":9}}, +"10":{"rows":[42,40,31,6,4,3],"rho":[42,19,18,3,2,0],"beta":{"32":2,"1":20}}, +"11":{"rows":[42,34,6,2],"rho":[25,10,6,1],"beta":{"25":1,"1":17}}, +"12":{"rows":[42,20,13,9],"rho":[36,32,14,2],"beta":{"18":3,"1":30}}, +"13":{"rows":[42,40,23,8,8,5],"rho":[28,7,3,2,1,1],"beta":{"21":1,"1":21}}, +"14":{"rows":[42,23,10,9],"rho":[19,18,3,2],"beta":{"35":2,"1":14}}, +"15":{"rows":[42,25,14,2,1],"rho":[21,11,7,2,1],"beta":{"15":3,"1":39}}, +"16":{"rows":[42,40,25,22,20,19],"rho":[32,4,2,2,2,0],"beta":{"32":1,"1":10}}, +"17":{"rows":[42,39,31,11,3],"rho":[26,14,1,1,0],"beta":{"28":1,"1":14}}, +"18":{"rows":[42,25,13,4],"rho":[42,33,7,2],"beta":{"19":2,"1":4}}, +"19":{"rows":[42,34,6,2],"rho":[32,7,2,1],"beta":{"25":1,"1":17}}, +"20":{"rows":[42,33,18,17,16],"rho":[26,9,5,1,1],"beta":{"31":2,"1":22}}, +"21":{"rows":[42,38,2,2],"rho":[24,13,3,2],"beta":{"23":3,"1":15}}, +"22":{"rows":[42,40,30,29,22,5],"rho":[35,22,20,3,3,1],"beta":{"32":1,"1":10}}, +"23":{"rows":[42,34,22,14,10,4],"rho":[28,11,1,1,1,0],"beta":{"23":1,"1":19}}, +"24":{"rows":[42,38,26,20],"rho":[27,13,2,0],"beta":{"30":3,"1":36}}, +"25":{"rows":[42,40,35,30,20,1],"rho":[19,10,5,4,3,1],"beta":{"31":1,"1":11}}, +"26":{"rows":[42,24,9,6,3],"rho":[31,27,26,0,0],"beta":{"20":2,"1":2}}, +"27":{"rows":[42,39,25,18,2],"rho":[31,4,4,2,1],"beta":{"29":3,"1":39}}, +"28":{"rows":[42,30,29,25],"rho":[29,9,2,2],"beta":{"35":2,"1":14}}, +"29":{"rows":[42,26,21,18,18,1],"rho":[26,7,3,3,2,1],"beta":{"25":1,"1":17}}, +"30":{"rows":[42,40,30,26,18,12],"rho":[19,9,7,3,3,1],"beta":{"32":3,"1":30}}, +"31":{"rows":[42,39,20,16,9],"rho":[31,30,18,3,2],"beta":{"29":1,"1":13}}, +"32":{"rows":[42,23,10,9],"rho":[37,35,11,1],"beta":{"20":2,"1":2}}, +"33":{"rows":[42,32,19,17,14,2],"rho":[21,12,6,2,1,0],"beta":{"27":3,"1":3}}, +"34":{"rows":[42,41,22,21],"rho":[26,8,8,0],"beta":{"32":2,"1":20}}, +"35":{"rows":[42,34,18,16,10,6],"rho":[31,26,22,3,1,1],"beta":{"23":1,"1":19}}, +"36":{"rows":[42,40,24,22,21,19],"rho":[14,12,7,5,3,1],"beta":{"25":3,"1":9}}, +"37":{"rows":[42,27,7,6,2],"rho":[19,13,9,1,0],"beta":{"19":1,"1":23}}, +"38":{"rows":[42,41,29,26,23,7],"rho":[40,23,16,2,2,1],"beta":{"37":2,"1":10}}, +"39":{"rows":[42,33,22,15,14],"rho":[33,28,17,4,2],"beta":{"31":3,"1":33}}, +"40":{"rows":[42,34,23,13,13,1],"rho":[19,11,4,4,2,2],"beta":{"23":2,"1":38}}, +"41":{"rows":[42,39,26,13,6],"rho":[35,30,17,2,0],"beta":{"29":1,"1":13}}}, +"43":{"1":{"rows":[43,33,24,15,14],"rho":[17,14,10,1,1],"beta":{"32":3,"1":33}}, +"2":{"rows":[43,39,23,20,4],"rho":[38,28,15,3,2],"beta":{"30":3,"1":39}}, +"3":{"rows":[43,34,7,2],"rho":[21,12,9,1],"beta":{"26":2,"1":34}}, +"4":{"rows":[43,33,28,14,11],"rho":[33,28,20,3,2],"beta":{"32":1,"1":11}}, +"5":{"rows":[43,41,17,11,9,8],"rho":[40,20,18,4,2,2],"beta":{"22":3,"1":20}}, +"6":{"rows":[43,36,28,14,6,2],"rho":[33,5,2,1,1,1],"beta":{"34":1,"1":9}}, +"7":{"rows":[43,40,23,12,8,3],"rho":[29,6,5,2,1,0],"beta":{"33":3,"1":30}}, +"8":{"rows":[43,29,7,6,1],"rho":[15,13,11,3,1],"beta":{"19":3,"1":29}}, +"9":{"rows":[43,36,33,10,6,1],"rho":[22,10,5,2,2,2],"beta":{"34":3,"1":27}}, +"10":{"rows":[43,26,7,6,4],"rho":[38,28,16,2,2],"beta":{"20":1,"1":23}}, +"11":{"rows":[43,33,21,17,15],"rho":[42,38,5,1,0],"beta":{"32":2,"1":22}}, +"12":{"rows":[43,32,7,2,2],"rho":[23,12,6,2,0],"beta":{"18":1,"1":25}}, +"13":{"rows":[43,39,17,15,15],"rho":[33,8,1,1,0],"beta":{"30":2,"1":26}}, +"14":{"rows":[43,40,28,28,24,9],"rho":[37,28,12,5,3,1],"beta":{"33":2,"1":20}}, +"15":{"rows":[43,32,9,2],"rho":[18,17,6,2],"beta":{"27":2,"1":32}}, +"16":{"rows":[43,30,8,5],"rho":[39,34,11,2],"beta":{"28":2,"1":30}}, +"17":{"rows":[43,35,32,11,8],"rho":[32,5,3,2,1],"beta":{"31":3,"1":36}}, +"18":{"rows":[43,41,41,30,12,5],"rho":[26,6,4,4,2,1],"beta":{"30":1,"1":13}}, +"19":{"rows":[43,29,24,20,7,6],"rho":[27,27,23,5,3,1],"beta":{"25":3,"1":11}}, +"20":{"rows":[43,36,5,2],"rho":[33,29,23,1],"beta":{"25":2,"1":36}}, +"21":{"rows":[43,42,20,15,9],"rho":[28,12,2,1,0],"beta":{"29":2,"1":28}}, +"22":{"rows":[43,30,11,2],"rho":[35,28,21,2],"beta":{"28":1,"1":15}}, +"23":{"rows":[43,29,16,16,13,12],"rho":[43,27,12,2,1,1],"beta":{"25":3,"1":11}}, +"24":{"rows":[43,23,9,8,3],"rho":[37,27,20,2,0],"beta":{"21":3,"1":23}}, +"25":{"rows":[43,40,27,26,21,15],"rho":[32,21,21,6,4,2],"beta":{"33":3,"1":30}}, +"26":{"rows":[43,26,7,6,4],"rho":[21,17,3,1,1],"beta":{"20":1,"1":23}}, +"27":{"rows":[43,36,33,30,23,7],"rho":[35,32,16,2,1,0],"beta":{"34":2,"1":18}}, +"28":{"rows":[43,42,25,14,5],"rho":[43,22,16,3,2],"beta":{"29":1,"1":14}}, +"29":{"rows":[43,36,28,19,3],"rho":[38,34,10,2,2],"beta":{"31":3,"1":36}}, +"30":{"rows":[43,29,20,17,14,6],"rho":[38,30,14,2,1,1],"beta":{"25":1,"1":18}}, +"31":{"rows":[43,40,2,1],"rho":[41,35,9,1],"beta":{"23":3,"1":17}}, +"32":{"rows":[43,42,25,15,4],"rho":[42,42,41,3,1],"beta":{"29":2,"1":28}}, +"33":{"rows":[43,34,5,4],"rho":[33,28,23,2],"beta":{"26":3,"1":8}}, +"34":{"rows":[43,30,11,2],"rho":[30,7,4,2],"beta":{"28":1,"1":15}}, +"35":{"rows":[43,42,21,14,9],"rho":[40,36,5,3,2],"beta":{"29":2,"1":28}}, +"36":{"rows":[43,41,19,14,10,2],"rho":[22,8,6,3,3,1],"beta":{"22":3,"1":20}}, +"37":{"rows":[43,32,9,2],"rho":[38,32,15,1],"beta":{"27":1,"1":16}}, +"38":{"rows":[43,36,17,16,14,3],"rho":[38,32,13,2,1,0],"beta":{"34":2,"1":18}}, +"39":{"rows":[43,39,17,16,14],"rho":[27,15,1,0,0],"beta":{"30":3,"1":39}}, +"40":{"rows":[43,36,4,3],"rho":[20,16,5,2],"beta":{"25":2,"1":36}}, +"41":{"rows":[43,39,18,17,12],"rho":[43,27,13,2,1],"beta":{"30":3,"1":39}}, +"42":{"rows":[43,30,7,6],"rho":[30,11,2,0],"beta":{"28":1,"1":15}}}, +"44":{"1":{"rows":[44,34,8,2],"rho":[21,12,9,2],"beta":{"27":1,"1":17}}, +"2":{"rows":[44,38,22,20,4,4],"rho":[44,27,9,4,2,2],"beta":{"29":2,"1":30}}, +"3":{"rows":[44,30,12,2],"rho":[42,31,14,1],"beta":{"29":3,"1":1}}, +"4":{"rows":[44,24,12,8],"rho":[17,17,10,0],"beta":{"21":2,"1":2}}, +"5":{"rows":[44,36,33,31,16,16],"rho":[27,8,3,3,2,1],"beta":{"35":3,"1":27}}, +"6":{"rows":[44,43,34,30,25],"rho":[19,15,7,2,1],"beta":{"37":2,"1":14}}, +"7":{"rows":[44,38,4,2],"rho":[35,34,17,2],"beta":{"25":1,"1":19}}, +"8":{"rows":[44,42,21,15,10],"rho":[19,13,11,1,0],"beta":{"30":2,"1":28}}, +"9":{"rows":[44,25,12,6,1],"rho":[35,32,16,3,2],"beta":{"21":1,"1":23}}, +"10":{"rows":[44,38,20,18,10,2],"rho":[18,17,4,3,1,1],"beta":{"29":2,"1":30}}, +"11":{"rows":[44,19,12,8,5],"rho":[21,14,5,2,2],"beta":{"33":1,"1":11}}, +"12":{"rows":[44,36,28,13,11],"rho":[34,9,1,0,0],"beta":{"32":3,"1":36}}, +"13":{"rows":[44,39,29,14,6],"rho":[41,23,21,2,1],"beta":{"31":1,"1":13}}, +"14":{"rows":[44,39,23,20,6],"rho":[18,11,11,3,1],"beta":{"31":1,"1":13}}, +"15":{"rows":[44,30,10,4],"rho":[37,32,18,1],"beta":{"29":1,"1":15}}, +"16":{"rows":[44,24,13,5,2],"rho":[22,14,8,0,0],"beta":{"14":2,"1":16}}, +"17":{"rows":[44,32,22,19,13,2],"rho":[28,27,26,4,2,1],"beta":{"25":1,"1":19}}, +"18":{"rows":[44,25,8,8,3],"rho":[38,36,12,2,0],"beta":{"21":3,"1":25}}, +"19":{"rows":[44,30,29,25,3,1],"rho":[19,17,4,3,1,0],"beta":{"24":3,"1":16}}, +"20":{"rows":[44,40,32,25,18,17],"rho":[18,12,5,5,3,1],"beta":{"34":2,"1":20}}, +"21":{"rows":[44,36,23,16,12,1],"rho":[26,7,5,3,2,1],"beta":{"35":1,"1":9}}, +"22":{"rows":[44,42,39,37,7,7],"rho":[26,6,5,4,2,1],"beta":{"29":3,"1":1}}, +"23":{"rows":[44,20,12,6,3,3],"rho":[16,15,5,4,2,2],"beta":{"17":3,"1":37}}, +"24":{"rows":[44,40,31,9,8],"rho":[29,7,6,2,0],"beta":{"38":2,"1":12}}, +"25":{"rows":[44,36,27,27,26,16],"rho":[21,12,3,3,3,2],"beta":{"35":1,"1":9}}, +"26":{"rows":[44,36,33,8,6,5],"rho":[22,13,5,2,1,1],"beta":{"35":2,"1":18}}, +"27":{"rows":[44,39,29,16,4],"rho":[39,39,7,2,1],"beta":{"31":1,"1":13}}, +"28":{"rows":[44,39,21,19,9],"rho":[40,33,11,3,1],"beta":{"31":2,"1":26}}, +"29":{"rows":[44,40,22,13,12,1],"rho":[34,25,21,4,2,2],"beta":{"23":3,"1":19}}, +"30":{"rows":[44,31,6,4,3],"rho":[41,24,22,1,0],"beta":{"19":2,"1":6}}, +"31":{"rows":[44,36,32,15,3,2],"rho":[26,11,3,2,2,0],"beta":{"35":3,"1":27}}, +"32":{"rows":[44,39,26,16,7],"rho":[40,36,12,0,0],"beta":{"31":2,"1":26}}, +"33":{"rows":[44,20,17,6,1],"rho":[31,7,4,2,0],"beta":{"33":1,"1":11}}, +"34":{"rows":[44,30,8,6],"rho":[27,8,7,2],"beta":{"29":2,"1":30}}, +"35":{"rows":[44,30,8,6],"rho":[33,30,25,0],"beta":{"29":3,"1":1}}, +"36":{"rows":[44,40,3,1],"rho":[20,16,6,2],"beta":{"24":2,"1":40}}, +"37":{"rows":[44,30,10,4],"rho":[44,27,15,2],"beta":{"29":3,"1":1}}, +"38":{"rows":[44,42,38,30,16,6],"rho":[36,27,21,2,2,0],"beta":{"39":2,"1":10}}, +"39":{"rows":[44,32,22,20,10,4],"rho":[21,14,4,3,2,0],"beta":{"25":3,"1":13}}, +"40":{"rows":[44,32,8,4],"rho":[37,5,2,0],"beta":{"28":1,"1":16}}, +"41":{"rows":[44,30,10,4],"rho":[33,30,24,1],"beta":{"29":1,"1":15}}, +"42":{"rows":[44,30,8,6],"rho":[27,12,3,2],"beta":{"29":2,"1":30}}, +"43":{"rows":[44,32,21,20,14,1],"rho":[31,8,2,2,1,0],"beta":{"25":3,"1":13}}}, +"45":{"1":{"rows":[45,32,10,3],"rho":[43,26,20,1],"beta":{"29":1,"1":16}}, +"2":{"rows":[45,34,6,3,1,1],"rho":[41,40,4,3,1,1],"beta":{"14":2,"1":17}}, +"3":{"rows":[45,41,40,37,15,2],"rho":[44,33,4,4,3,2],"beta":{"16":3,"1":42}}, +"4":{"rows":[45,39,21,15,15],"rho":[25,12,7,1,0],"beta":{"32":1,"1":13}}, +"5":{"rows":[45,39,26,15,10],"rho":[21,16,6,2,0],"beta":{"32":2,"1":26}}, +"6":{"rows":[45,42,29,27,24,13],"rho":[24,16,3,1,1,0],"beta":{"26":3,"1":12}}, +"7":{"rows":[45,33,6,3,3],"rho":[23,17,3,2,0],"beta":{"19":2,"1":7}}, +"8":{"rows":[45,44,33,26,26,6],"rho":[44,24,11,5,4,2],"beta":{"34":2,"1":22}}, +"9":{"rows":[45,33,22,19,16],"rho":[23,10,10,1,1],"beta":{"24":3,"1":18}}, +"10":{"rows":[45,32,10,3],"rho":[44,37,7,2],"beta":{"29":2,"1":32}}, +"11":{"rows":[45,30,27,15,10,8],"rho":[27,8,6,2,1,1],"beta":{"26":1,"1":19}}, +"12":{"rows":[45,37,30,23],"rho":[23,17,3,2],"beta":{"34":3,"1":33}}, +"13":{"rows":[45,32,7,6],"rho":[37,32,20,1],"beta":{"29":1,"1":16}}, +"14":{"rows":[45,42,24,18,6],"rho":[40,24,24,2,0],"beta":{"31":1,"1":14}}, +"15":{"rows":[45,30,10,5],"rho":[32,7,6,0],"beta":{"30":2,"1":30}}, +"16":{"rows":[45,39,30,15,6],"rho":[19,12,10,2,2],"beta":{"32":1,"1":13}}, +"17":{"rows":[45,32,10,3],"rho":[31,10,4,0],"beta":{"29":2,"1":32}}, +"18":{"rows":[45,27,26,14,12,11],"rho":[22,11,10,2,0,0],"beta":{"42":3,"1":9}}, +"19":{"rows":[45,42,31,15,2],"rho":[25,12,4,3,1],"beta":{"31":2,"1":28}}, +"20":{"rows":[45,42,21,21,6],"rho":[29,14,1,1,0],"beta":{"31":1,"1":14}}, +"21":{"rows":[45,38,5,2],"rho":[24,20,1,0],"beta":{"26":1,"1":19}}, +"22":{"rows":[45,39,29,13,9],"rho":[28,9,3,3,2],"beta":{"32":1,"1":13}}, +"23":{"rows":[45,39,30,13,8],"rho":[40,27,19,2,2],"beta":{"32":2,"1":26}}, +"24":{"rows":[45,44,30,8,5,3],"rho":[43,30,10,4,2,1],"beta":{"34":3,"1":33}}, +"25":{"rows":[45,42,27,16,5],"rho":[32,32,22,2,2],"beta":{"31":2,"1":28}}, +"26":{"rows":[45,44,33,21,20,17],"rho":[33,28,23,4,2,0],"beta":{"34":2,"1":22}}, +"27":{"rows":[45,32,11,2],"rho":[30,8,5,2],"beta":{"29":3,"1":3}}, +"28":{"rows":[45,39,26,18,7],"rho":[39,28,17,4,2],"beta":{"32":1,"1":13}}, +"29":{"rows":[45,39,25,23,3],"rho":[19,15,6,3,2],"beta":{"32":2,"1":26}}, +"30":{"rows":[45,32,30,28],"rho":[25,16,3,1],"beta":{"35":3,"1":30}}, +"31":{"rows":[45,44,15,12,12,7],"rho":[33,26,23,3,3,2],"beta":{"34":2,"1":22}}, +"32":{"rows":[45,43,19,13,12,3],"rho":[41,24,16,5,3,1],"beta":{"23":1,"1":22}}, +"33":{"rows":[45,41,40,28,17,9],"rho":[22,12,3,3,3,2],"beta":{"28":3,"1":6}}, +"34":{"rows":[45,42,25,20,3],"rho":[22,16,3,3,1],"beta":{"31":1,"1":14}}, +"35":{"rows":[45,40,28,14,4,4],"rho":[41,25,21,2,1,0],"beta":{"35":2,"1":20}}, +"36":{"rows":[45,30,21,15,12,12],"rho":[32,5,2,2,2,2],"beta":{"36":2,"1":18}}, +"37":{"rows":[45,42,27,18,3],"rho":[38,29,17,4,2],"beta":{"31":2,"1":28}}, +"38":{"rows":[45,32,12,1],"rho":[37,34,18,1],"beta":{"29":2,"1":32}}, +"39":{"rows":[45,39,21,15,12,3],"rho":[24,8,8,3,1,1],"beta":{"24":1,"1":21}}, +"40":{"rows":[45,43,32,10,5],"rho":[22,21,1,1,0],"beta":{"30":2,"1":30}}, +"41":{"rows":[45,42,24,21,3],"rho":[24,10,5,4,2],"beta":{"31":1,"1":14}}, +"42":{"rows":[45,34,33,16,4,3],"rho":[27,10,3,3,2,0],"beta":{"11":3,"1":12}}, +"43":{"rows":[45,44,32,26,18,15],"rho":[43,29,12,4,2,0],"beta":{"34":1,"1":11}}, +"44":{"rows":[45,38,4,3],"rho":[34,8,2,1],"beta":{"26":2,"1":38}}}, +"46":{"1":{"rows":[46,38,24,16,7,7],"rho":[42,3,1,0,0,0],"beta":{"25":1,"1":21}}, +"2":{"rows":[46,39,29,22,2],"rho":[44,39,7,1,1],"beta":{"33":2,"1":26}}, +"3":{"rows":[46,34,8,4],"rho":[17,16,12,1],"beta":{"29":3,"1":5}}, +"4":{"rows":[46,39,37,16],"rho":[40,4,2,0],"beta":{"38":2,"1":16}}, +"5":{"rows":[46,39,26,16,11],"rho":[39,39,10,3,1],"beta":{"33":1,"1":13}}, +"6":{"rows":[46,36,28,26,2],"rho":[31,11,3,1,0],"beta":{"34":2,"1":24}}, +"7":{"rows":[46,39,30,13,10],"rho":[39,36,13,2,2],"beta":{"33":3,"1":39}}, +"8":{"rows":[46,40,18,17,17],"rho":[35,31,20,4,2],"beta":{"25":2,"1":42}}, +"9":{"rows":[46,45,28,17,2],"rho":[21,11,10,3,1],"beta":{"31":1,"1":15}}, +"10":{"rows":[46,35,9,2],"rho":[45,30,16,1],"beta":{"17":2,"1":12}}, +"11":{"rows":[46,30,26,21,8,7],"rho":[32,31,26,2,1,0],"beta":{"27":1,"1":19}}, +"12":{"rows":[46,34,22,18,18],"rho":[28,7,6,3,2],"beta":{"27":2,"1":38}}, +"13":{"rows":[46,38,6,2],"rho":[42,31,18,1],"beta":{"27":3,"1":11}}, +"14":{"rows":[46,40,20,17,15],"rho":[17,15,12,2,0],"beta":{"25":2,"1":42}}, +"15":{"rows":[46,24,11,8,2,1],"rho":[40,27,24,1,0,0],"beta":{"17":1,"1":29}}, +"16":{"rows":[46,35,9,2],"rho":[37,6,2,1],"beta":{"17":2,"1":12}}, +"17":{"rows":[46,39,23,22,8],"rho":[23,15,3,3,2],"beta":{"33":3,"1":39}}, +"18":{"rows":[46,18,14,8,6],"rho":[22,15,5,2,2],"beta":{"17":2,"1":12}}, +"19":{"rows":[46,45,37,9,1],"rho":[44,39,4,3,2],"beta":{"28":1,"1":18}}, +"20":{"rows":[46,40,30,13,7,2],"rho":[39,34,13,2,2,2],"beta":{"36":1,"1":10}}, +"21":{"rows":[46,34,8,4],"rho":[23,18,3,2],"beta":{"29":1,"1":17}}, +"22":{"rows":[46,42,22,13,13,2],"rho":[45,21,19,3,3,1],"beta":{"24":2,"1":44}}, +"23":{"rows":[46,16,14,12,4],"rho":[29,9,3,3,2],"beta":{"23":1,"1":23}}, +"24":{"rows":[46,39,28,19,6],"rho":[44,39,4,3,2],"beta":{"33":1,"1":13}}, +"25":{"rows":[46,34,10,2],"rho":[38,35,19,0],"beta":{"29":3,"1":5}}, +"26":{"rows":[46,40,18,15,10,9],"rho":[21,11,5,5,3,1],"beta":{"36":3,"1":30}}, +"27":{"rows":[46,39,26,20,7],"rho":[39,32,21,0,0],"beta":{"33":3,"1":39}}, +"28":{"rows":[46,34,31,18,9],"rho":[30,12,2,2,0],"beta":{"25":2,"1":42}}, +"29":{"rows":[46,39,32,20,1],"rho":[41,31,17,2,1],"beta":{"33":1,"1":13}}, +"30":{"rows":[46,43,26,23],"rho":[43,36,13,0],"beta":{"36":2,"1":20}}, +"31":{"rows":[46,39,25,20,8],"rho":[45,38,8,1,0],"beta":{"33":1,"1":13}}, +"32":{"rows":[46,32,12,2],"rho":[44,32,14,2],"beta":{"30":1,"1":16}}, +"33":{"rows":[46,39,26,24,3],"rho":[43,35,11,2,1],"beta":{"33":1,"1":13}}, +"34":{"rows":[46,40,30,27,23,18],"rho":[37,33,13,5,3,1],"beta":{"36":3,"1":30}}, +"35":{"rows":[46,38,22,16,12,4],"rho":[32,7,6,1,0,0],"beta":{"25":3,"1":17}}, +"36":{"rows":[46,40,31,15,5,1],"rho":[32,28,28,2,1,1],"beta":{"36":2,"1":20}}, +"37":{"rows":[46,39,24,20,9],"rho":[19,12,9,4,2],"beta":{"33":3,"1":39}}, +"38":{"rows":[46,34,7,5],"rho":[32,10,4,0],"beta":{"29":2,"1":34}}, +"39":{"rows":[46,39,37,31,28,3],"rho":[44,41,2,2,2,1],"beta":{"36":3,"1":30}}, +"40":{"rows":[46,42,30,12,8],"rho":[43,27,22,0,0],"beta":{"32":3,"1":42}}, +"41":{"rows":[46,44,34,29,27,4],"rho":[23,16,3,3,1,0],"beta":{"35":3,"1":33}}, +"42":{"rows":[46,18,12,8,8],"rho":[36,35,19,2,0],"beta":{"17":2,"1":12}}, +"43":{"rows":[46,44,32,30,26,6],"rho":[39,34,16,1,1,1],"beta":{"35":3,"1":33}}, +"44":{"rows":[46,39,30,22,1],"rho":[37,27,24,3,1],"beta":{"33":2,"1":26}}, +"45":{"rows":[46,39,27,22,4],"rho":[43,32,16,1,0],"beta":{"33":3,"1":39}}}, +"47":{"1":{"rows":[47,45,24,16,9],"rho":[33,9,4,1,0],"beta":{"32":1,"1":15}}, +"2":{"rows":[47,40,35,31,29,6],"rho":[20,12,11,3,1,0],"beta":{"37":2,"1":20}}, +"3":{"rows":[47,25,13,8,1],"rho":[31,29,29,3,2],"beta":{"23":1,"1":24}}, +"4":{"rows":[47,44,21,17,7,5],"rho":[41,28,23,1,1,0],"beta":{"36":3,"1":33}}, +"5":{"rows":[47,32,11,4],"rho":[42,38,13,1],"beta":{"31":1,"1":16}}, +"6":{"rows":[47,34,12,1],"rho":[47,24,22,1],"beta":{"30":3,"1":4}}, +"7":{"rows":[47,25,15,4,3],"rho":[43,28,22,1,0],"beta":{"23":1,"1":24}}, +"8":{"rows":[47,39,27,25,3],"rho":[39,37,17,1,0],"beta":{"34":3,"1":39}}, +"9":{"rows":[47,33,26,17,14,4],"rho":[42,37,9,4,2,0],"beta":{"27":2,"1":40}}, +"10":{"rows":[47,39,33,16,6],"rho":[45,25,18,4,2],"beta":{"34":2,"1":26}}, +"11":{"rows":[47,46,40,23,18,14],"rho":[21,8,6,6,4,2],"beta":{"34":2,"1":26}}, +"12":{"rows":[47,38,8,1],"rho":[46,36,11,1],"beta":{"28":1,"1":19}}, +"13":{"rows":[47,36,7,4],"rho":[21,15,9,2],"beta":{"29":1,"1":18}}, +"14":{"rows":[47,42,22,15,15],"rho":[33,31,25,3,2],"beta":{"33":3,"1":42}}, +"15":{"rows":[47,39,24,24,7],"rho":[37,27,24,4,2],"beta":{"34":3,"1":39}}, +"16":{"rows":[47,44,36,33,26,2],"rho":[45,40,3,3,2,1],"beta":{"36":1,"1":11}}, +"17":{"rows":[47,40,36,31,26,8],"rho":[37,30,25,2,0,0],"beta":{"37":3,"1":30}}, +"18":{"rows":[47,36,24,23,11],"rho":[19,13,10,3,2],"beta":{"35":3,"1":36}}, +"19":{"rows":[47,32,9,6],"rho":[30,12,3,2],"beta":{"31":3,"1":1}}, +"20":{"rows":[47,36,28,24,6],"rho":[24,14,8,1,0],"beta":{"35":1,"1":12}}, +"21":{"rows":[47,28,9,7,3],"rho":[40,27,23,3,1],"beta":{"22":2,"1":3}}, +"22":{"rows":[47,32,10,5],"rho":[46,38,10,0],"beta":{"31":1,"1":16}}, +"23":{"rows":[47,37,20,14,12,11],"rho":[29,8,6,3,1,0],"beta":{"26":3,"1":16}}, +"24":{"rows":[47,38,6,3],"rho":[35,33,26,0],"beta":{"28":3,"1":10}}, +"25":{"rows":[47,45,30,16,3],"rho":[41,35,18,0,0],"beta":{"32":2,"1":30}}, +"26":{"rows":[47,40,36,31,20,14],"rho":[43,22,17,6,4,2],"beta":{"37":1,"1":10}}, +"27":{"rows":[47,40,35,34,17,15],"rho":[44,38,5,4,2,1],"beta":{"37":2,"1":20}}, +"28":{"rows":[47,39,26,19,10],"rho":[45,29,15,3,2],"beta":{"34":3,"1":39}}, +"29":{"rows":[47,42,31,17,4],"rho":[18,18,5,4,2],"beta":{"33":2,"1":28}}, +"30":{"rows":[47,32,12,3],"rho":[45,42,5,2],"beta":{"31":3,"1":1}}, +"31":{"rows":[47,46,37,30,14,14],"rho":[47,36,3,3,3,2],"beta":{"35":3,"1":36}}, +"32":{"rows":[47,42,30,14,8],"rho":[39,38,15,1,1],"beta":{"33":3,"1":42}}, +"33":{"rows":[47,38,8,1],"rho":[41,36,17,0],"beta":{"28":3,"1":10}}, +"34":{"rows":[47,32,8,7],"rho":[43,34,15,2],"beta":{"31":2,"1":32}}, +"35":{"rows":[47,39,27,27,1],"rho":[23,13,6,3,2],"beta":{"34":1,"1":13}}, +"36":{"rows":[47,25,15,5,2],"rho":[46,30,15,2,1],"beta":{"23":1,"1":24}}, +"37":{"rows":[47,40,6,1],"rho":[46,29,18,1],"beta":{"27":3,"1":13}}, +"38":{"rows":[47,40,5,2],"rho":[27,12,7,1],"beta":{"27":1,"1":20}}, +"39":{"rows":[47,42,26,24,2],"rho":[20,15,11,1,0],"beta":{"33":1,"1":14}}, +"40":{"rows":[47,22,16,4,4,1],"rho":[47,19,19,4,3,2],"beta":{"18":3,"1":40}}, +"41":{"rows":[47,45,21,18,10],"rho":[45,38,9,1,1],"beta":{"32":1,"1":15}}, +"42":{"rows":[47,38,7,2],"rho":[30,13,3,1],"beta":{"28":1,"1":19}}, +"43":{"rows":[47,36,7,4],"rho":[34,31,28,1],"beta":{"29":3,"1":7}}, +"44":{"rows":[47,42,27,14,11],"rho":[40,29,24,1,0],"beta":{"33":2,"1":28}}, +"45":{"rows":[47,46,40,26,23,6],"rho":[30,9,3,3,2,0],"beta":{"34":2,"1":26}}, +"46":{"rows":[47,34,9,4],"rho":[45,26,21,2],"beta":{"30":2,"1":34}}}, +"48":{"1":{"rows":[48,39,33,12,12],"rho":[17,17,13,1,0],"beta":{"35":1,"1":13}}, +"2":{"rows":[48,45,24,23,4],"rho":[35,9,2,1,1],"beta":{"25":2,"1":46}}, +"3":{"rows":[48,38,36,22],"rho":[29,18,1,0],"beta":{"37":3,"1":33}}, +"4":{"rows":[48,39,30,21,6],"rho":[40,27,25,3,1],"beta":{"35":1,"1":13}}, +"5":{"rows":[48,34,12,2],"rho":[37,32,25,2],"beta":{"31":1,"1":17}}, +"6":{"rows":[48,43,37,7,5,4],"rho":[31,9,3,3,1,1],"beta":{"16":3}}, +"7":{"rows":[48,44,20,13,12,7],"rho":[37,32,24,1,1,1],"beta":{"37":1,"1":11}}, +"8":{"rows":[48,32,31,25,5,3],"rho":[30,6,4,4,2,2],"beta":{"27":2,"1":42}}, +"9":{"rows":[48,44,19,16,11,6],"rho":[26,7,5,5,3,2],"beta":{"33":3,"1":45}}, +"10":{"rows":[48,44,32,12,4,4],"rho":[44,31,20,1,0,0],"beta":{"37":2,"1":22}}, +"11":{"rows":[48,47,40,24,17,16],"rho":[25,17,2,2,1,1],"beta":{"35":1,"1":13}}, +"12":{"rows":[48,24,12,8,4],"rho":[41,5,2,0,0],"beta":{"44":3,"1":12}}, +"13":{"rows":[48,39,22,21,14],"rho":[45,25,22,3,1],"beta":{"35":1,"1":13}}, +"14":{"rows":[48,26,16,6],"rho":[25,18,3,2],"beta":{"23":2,"1":2}}, +"15":{"rows":[48,44,24,16,11,1],"rho":[41,6,1,0,0,0],"beta":{"29":3,"1":9}}, +"16":{"rows":[48,30,12,6],"rho":[34,10,2,2],"beta":{"32":1,"1":16}}, +"17":{"rows":[48,44,20,16,10,6],"rho":[32,7,3,2,2,2],"beta":{"37":1,"1":11}}, +"18":{"rows":[48,30,12,6],"rho":[38,7,2,1],"beta":{"21":2,"1":6}}, +"19":{"rows":[48,34,8,6],"rho":[23,20,5,0],"beta":{"31":1,"1":17}}, +"20":{"rows":[48,44,3,1],"rho":[35,33,28,0],"beta":{"26":1,"1":22}}, +"21":{"rows":[48,34,10,4],"rho":[36,11,1,0],"beta":{"31":1,"1":17}}, +"22":{"rows":[48,45,22,21,8],"rho":[41,33,21,1,0],"beta":{"41":2,"1":14}}, +"23":{"rows":[48,39,29,18,10],"rho":[23,15,9,1,0],"beta":{"35":1,"1":13}}, +"24":{"rows":[48,28,24,23,21],"rho":[33,8,3,2,2],"beta":{"36":2,"1":24}}, +"25":{"rows":[48,39,30,19,8],"rho":[33,7,6,1,1],"beta":{"35":1,"1":13}}, +"26":{"rows":[48,46,32,18],"rho":[44,33,18,1],"beta":{"37":2,"1":22}}, +"27":{"rows":[48,46,38,12],"rho":[36,9,3,0],"beta":{"41":3,"1":21}}, +"28":{"rows":[48,26,12,10],"rho":[23,13,11,1],"beta":{"23":2,"1":2}}, +"29":{"rows":[48,39,28,15,14],"rho":[45,29,17,3,2],"beta":{"35":1,"1":13}}, +"30":{"rows":[48,46,32,18],"rho":[19,17,11,1],"beta":{"41":3,"1":21}}, +"31":{"rows":[48,39,26,19,12],"rho":[23,17,7,1,0],"beta":{"35":1,"1":13}}, +"32":{"rows":[48,45,32,18,1],"rho":[48,28,18,2,0],"beta":{"41":2,"1":14}}, +"33":{"rows":[48,34,12,2],"rho":[39,30,27,0],"beta":{"31":1,"1":17}}, +"34":{"rows":[48,39,32,21,4],"rho":[42,28,20,4,2],"beta":{"35":1,"1":13}}, +"35":{"rows":[48,44,20,14,14,4],"rho":[28,9,6,2,2,1],"beta":{"37":1,"1":11}}, +"36":{"rows":[48,24,10,9,5],"rho":[35,5,4,3,1],"beta":{"28":3,"1":12}}, +"37":{"rows":[48,39,34,17,6],"rho":[41,32,20,2,1],"beta":{"35":1,"1":13}}, +"38":{"rows":[48,45,30,14,7],"rho":[45,28,19,2,2],"beta":{"41":2,"1":14}}, +"39":{"rows":[48,42,28,26],"rho":[36,31,28,1],"beta":{"35":3,"1":39}}, +"40":{"rows":[48,46,27,23],"rho":[37,5,4,2],"beta":{"37":2,"1":22}}, +"41":{"rows":[48,44,20,18,8,6],"rho":[34,9,2,2,1,0],"beta":{"25":1,"1":23}}, +"42":{"rows":[48,38,6,4],"rho":[34,8,4,2],"beta":{"37":3,"1":33}}, +"43":{"rows":[48,44,43,6,2,1],"rho":[20,15,4,4,3,2],"beta":{"35":1,"1":13}}, +"44":{"rows":[48,42,27,18,9],"rho":[34,6,5,2,1],"beta":{"34":1,"1":14}}, +"45":{"rows":[48,47,20,15,14],"rho":[39,35,18,3,1],"beta":{"43":3,"1":15}}, +"46":{"rows":[48,27,8,7,6],"rho":[39,32,19,4,2],"beta":{"23":2,"1":2}}, +"47":{"rows":[48,39,24,21,12],"rho":[35,6,4,2,1],"beta":{"35":1,"1":13}}}, +"49":{"1":{"rows":[49,39,30,26,3],"rho":[45,42,9,2,0],"beta":{"36":2,"1":26}}, +"2":{"rows":[49,48,19,14,9,8],"rho":[19,15,11,3,1,0],"beta":{"37":2,"1":24}}, +"3":{"rows":[49,45,30,22,1],"rho":[36,29,27,4,2],"beta":{"34":2,"1":30}}, +"4":{"rows":[49,38,9,1,1],"rho":[45,41,12,0,0],"beta":{"20":3,"1":38}}, +"5":{"rows":[49,39,26,22,7,4],"rho":[40,31,23,2,1,1],"beta":{"27":2,"1":44}}, +"6":{"rows":[49,44,35,14,3,2],"rho":[40,25,24,4,3,2],"beta":{"38":3,"1":33}}, +"7":{"rows":[49,40,36,25,24,22],"rho":[41,38,15,2,1,1],"beta":{"39":1,"1":10}}, +"8":{"rows":[49,40,21,16,15,6],"rho":[41,35,22,0,0,0],"beta":{"39":2,"1":20}}, +"9":{"rows":[49,44,36,26,22,19],"rho":[44,27,19,4,2,2],"beta":{"38":1,"1":11}}, +"10":{"rows":[49,39,30,24,5],"rho":[32,10,5,2,0],"beta":{"36":2,"1":26}}, +"11":{"rows":[49,40,39,14,5],"rho":[48,45,2,2,1],"beta":{"34":3,"1":45}}, +"12":{"rows":[49,45,22,18,13],"rho":[44,43,7,3,1],"beta":{"34":2,"1":30}}, +"13":{"rows":[49,40,30,15,7,6],"rho":[46,43,7,2,0,0],"beta":{"39":1,"1":10}}, +"14":{"rows":[49,45,26,15,12],"rho":[30,10,5,3,1],"beta":{"34":3,"1":45}}, +"15":{"rows":[49,40,33,20,3,2],"rho":[43,26,25,2,2,0],"beta":{"39":1,"1":10}}, +"16":{"rows":[49,44,28,11,11,4],"rho":[38,31,20,4,3,2],"beta":{"38":1,"1":11}}, +"17":{"rows":[49,40,33,30,24,20],"rho":[43,33,17,2,2,1],"beta":{"39":3,"1":30}}, +"18":{"rows":[49,40,20,20,15,3],"rho":[25,13,7,3,1,0],"beta":{"39":1,"1":10}}, +"19":{"rows":[49,48,36,33,18,12],"rho":[38,36,15,5,3,1],"beta":{"37":1,"1":12}}, +"20":{"rows":[49,44,34,28,24,17],"rho":[42,33,15,4,2,2],"beta":{"38":3,"1":33}}, +"21":{"rows":[49,43,23,14,13,5],"rho":[37,29,21,5,4,2],"beta":{"26":1,"1":23}}, +"22":{"rows":[49,34,14,1],"rho":[44,29,24,1],"beta":{"32":1,"1":17}}, +"23":{"rows":[49,39,6,2,2],"rho":[43,38,13,2,2],"beta":{"36":2,"1":26}}, +"24":{"rows":[49,48,29,19,2],"rho":[40,30,25,2,1],"beta":{"33":2,"1":32}}, +"25":{"rows":[49,36,7,6],"rho":[46,28,24,0],"beta":{"31":2,"1":36}}, +"26":{"rows":[49,40,31,30,25,21],"rho":[42,34,13,5,3,1],"beta":{"39":2,"1":20}}, +"27":{"rows":[49,36,12,1],"rho":[24,17,6,2],"beta":{"31":1,"1":18}}, +"28":{"rows":[49,48,28,20,2],"rho":[31,8,5,3,2],"beta":{"33":1,"1":16}}, +"29":{"rows":[49,34,8,7],"rho":[45,29,22,2],"beta":{"32":2,"1":34}}, +"30":{"rows":[49,48,18,18,14],"rho":[26,19,2,1,1],"beta":{"33":2,"1":32}}, +"31":{"rows":[49,34,10,5],"rho":[42,32,23,1],"beta":{"32":3,"1":2}}, +"32":{"rows":[49,48,26,11,10,3],"rho":[49,43,5,1,0,0],"beta":{"37":1,"1":12}}, +"33":{"rows":[49,34,12,3],"rho":[36,33,29,0],"beta":{"32":2,"1":34}}, +"34":{"rows":[49,40,37,34,19,17],"rho":[25,12,8,2,2,0],"beta":{"39":2,"1":20}}, +"35":{"rows":[49,42,33,18,5],"rho":[33,10,4,2,0],"beta":{"35":2,"1":28}}, +"36":{"rows":[49,40,27,14,13,4],"rho":[43,23,21,5,4,2],"beta":{"39":3,"1":30}}, +"37":{"rows":[49,45,32,14,7],"rho":[38,28,28,3,1],"beta":{"34":3,"1":45}}, +"38":{"rows":[49,38,7,4],"rho":[37,37,22,2],"beta":{"30":2,"1":38}}, +"39":{"rows":[49,48,30,27,22,20],"rho":[47,39,7,3,1,1],"beta":{"37":3,"1":36}}, +"40":{"rows":[49,40,21,18,17,2],"rho":[43,31,20,2,1,1],"beta":{"39":2,"1":20}}, +"41":{"rows":[49,43,22,20,7,6],"rho":[33,9,6,1,0,0],"beta":{"26":3,"1":20}}, +"42":{"rows":[49,34,11,4],"rho":[44,4,1,0],"beta":{"32":2,"1":34}}, +"43":{"rows":[49,36,7,6],"rho":[23,14,12,0],"beta":{"31":1,"1":18}}, +"44":{"rows":[49,29,17,2,1],"rho":[40,36,19,2,1],"beta":{"23":3,"1":29}}, +"45":{"rows":[49,45,31,12,10],"rho":[44,26,24,3,1],"beta":{"34":3,"1":45}}, +"46":{"rows":[49,44,3,1,1],"rho":[49,48,46,3,1],"beta":{"18":2,"1":13}}, +"47":{"rows":[49,40,38,27,26,16],"rho":[36,30,23,5,3,1],"beta":{"39":1,"1":10}}, +"48":{"rows":[49,48,24,18,5,3],"rho":[41,28,26,2,1,0],"beta":{"37":3,"1":36}}}, +"50":{"1":{"rows":[50,34,28,24,9,5],"rho":[42,37,18,1,1,1],"beta":{"29":3,"1":13}}, +"2":{"rows":[50,43,31,14,6,6],"rho":[43,32,18,3,2,2],"beta":{"33":2,"1":34}}, +"3":{"rows":[50,44,35,27,26,18],"rho":[23,10,9,3,3,2],"beta":{"39":1,"1":11}}, +"4":{"rows":[50,36,11,3],"rho":[50,26,24,0],"beta":{"32":1,"1":18}}, +"5":{"rows":[50,39,32,26,3],"rho":[37,12,1,0,0],"beta":{"37":1,"1":13}}, +"6":{"rows":[50,49,30,21],"rho":[48,32,18,2],"beta":{"38":2,"1":24}}, +"7":{"rows":[50,42,6,2],"rho":[26,21,3,0],"beta":{"29":3,"1":13}}, +"8":{"rows":[50,49,31,20],"rho":[40,34,24,2],"beta":{"38":2,"1":24}}, +"9":{"rows":[50,44,36,31,21,18],"rho":[38,37,18,3,3,1],"beta":{"39":3,"1":33}}, +"10":{"rows":[50,41,38,9,8,4],"rho":[26,7,6,5,4,2],"beta":{"45":2,"1":10}}, +"11":{"rows":[50,44,17,16,12,11],"rho":[26,15,4,3,2,0],"beta":{"39":1,"1":11}}, +"12":{"rows":[50,46,30,16,8],"rho":[27,14,8,1,0],"beta":{"43":2,"1":14}}, +"13":{"rows":[50,43,40,28,20,19],"rho":[45,43,4,4,3,1],"beta":{"39":3,"1":33}}, +"14":{"rows":[50,49,43,34,17,7],"rho":[47,30,22,1,0,0],"beta":{"44":2,"1":12}}, +"15":{"rows":[50,39,35,22,4],"rho":[47,27,25,1,0],"beta":{"37":1,"1":13}}, +"16":{"rows":[50,44,20,16,11,9],"rho":[38,33,17,6,4,2],"beta":{"39":2,"1":22}}, +"17":{"rows":[50,34,12,4],"rho":[25,14,10,1],"beta":{"33":3,"1":1}}, +"18":{"rows":[50,27,15,8],"rho":[44,5,1,0],"beta":{"24":2,"1":2}}, +"19":{"rows":[50,39,8,2,1],"rho":[27,11,8,3,1],"beta":{"37":3,"1":39}}, +"20":{"rows":[50,44,28,14,9,5],"rho":[35,31,30,2,2,0],"beta":{"39":3,"1":33}}, +"21":{"rows":[50,39,30,27,4],"rho":[41,37,21,1,0],"beta":{"37":3,"1":39}}, +"22":{"rows":[50,47,33,20],"rho":[22,18,8,2],"beta":{"39":2,"1":22}}, +"23":{"rows":[50,39,8,2,1],"rho":[31,10,7,2,0],"beta":{"37":1,"1":13}}, +"24":{"rows":[50,28,12,9,1],"rho":[19,16,11,2,2],"beta":{"24":3,"1":28}}, +"25":{"rows":[50,15,14,12,9],"rho":[35,6,4,3,2],"beta":{"25":1,"1":25}}, +"26":{"rows":[50,42,28,22,8],"rho":[24,15,7,3,1],"beta":{"36":1,"1":14}}, +"27":{"rows":[50,42,20,18,13,7],"rho":[48,37,13,2,0,0],"beta":{"27":3,"1":19}}, +"28":{"rows":[50,27,10,7,6],"rho":[44,38,16,2,0],"beta":{"16":2,"1":18}}, +"29":{"rows":[50,39,34,23,4],"rho":[37,6,5,2,0],"beta":{"37":3,"1":39}}, +"30":{"rows":[50,45,32,23],"rho":[30,13,6,1],"beta":{"40":2,"1":20}}, +"31":{"rows":[50,39,34,16,11],"rho":[39,37,21,2,1],"beta":{"37":1,"1":13}}, +"32":{"rows":[50,39,33,14,14],"rho":[34,12,4,0,0],"beta":{"37":2,"1":26}}, +"33":{"rows":[50,24,14,6,3,3],"rho":[16,13,10,5,4,2],"beta":{"19":3,"1":43}}, +"34":{"rows":[50,39,29,20,12],"rho":[40,36,24,0,0],"beta":{"37":2,"1":26}}, +"35":{"rows":[50,39,26,23,12],"rho":[49,29,21,1,0],"beta":{"37":3,"1":39}}, +"36":{"rows":[50,42,24,16,9,9],"rho":[21,19,7,1,1,1],"beta":{"27":2,"1":46}}, +"37":{"rows":[50,34,10,6],"rho":[41,40,19,0],"beta":{"33":1,"1":17}}, +"38":{"rows":[50,44,35,35,19,17],"rho":[34,34,29,2,1,0],"beta":{"39":2,"1":22}}, +"39":{"rows":[50,38,10,2],"rho":[29,16,4,1],"beta":{"31":3,"1":7}}, +"40":{"rows":[50,41,7,2],"rho":[49,47,3,1],"beta":{"17":2,"1":16}}, +"41":{"rows":[50,44,22,20,11,3],"rho":[27,10,9,2,2,0],"beta":{"39":3,"1":33}}, +"42":{"rows":[50,47,29,28,27,19],"rho":[47,30,16,3,2,2],"beta":{"32":2,"1":36}}, +"43":{"rows":[50,39,21,20,20],"rho":[23,16,6,3,2],"beta":{"37":3,"1":39}}, +"44":{"rows":[50,39,24,20,16,1],"rho":[22,14,8,4,2,0],"beta":{"34":2,"1":32}}, +"45":{"rows":[50,34,14,2],"rho":[22,21,6,1],"beta":{"33":1,"1":17}}, +"46":{"rows":[50,29,17,4],"rho":[23,17,9,1],"beta":{"23":2,"1":4}}, +"47":{"rows":[50,34,14,2],"rho":[45,34,21,0],"beta":{"33":3,"1":1}}, +"48":{"rows":[50,34,20,18,17,11],"rho":[24,14,8,2,1,1],"beta":{"29":2,"1":42}}, +"49":{"rows":[50,34,12,4],"rho":[42,35,21,2],"beta":{"33":1,"1":17}}}, +"51":{"1":{"rows":[51,44,6,1],"rho":[43,39,20,0],"beta":{"29":1,"1":22}}, +"2":{"rows":[51,39,31,26,6],"rho":[45,29,26,2,0],"beta":{"38":1,"1":13}}, +"3":{"rows":[51,44,28,26,4],"rho":[45,36,17,3,1],"beta":{"42":3,"1":27}}, +"4":{"rows":[51,44,38,30,23,18],"rho":[50,42,4,2,2,2],"beta":{"40":1,"1":11}}, +"5":{"rows":[51,41,23,16,15,7],"rho":[47,31,20,2,1,1],"beta":{"28":1,"1":23}}, +"6":{"rows":[51,45,30,20,5,2],"rho":[49,33,17,2,1,0],"beta":{"44":3,"1":21}}, +"7":{"rows":[51,41,26,21,12,2],"rho":[19,14,8,4,4,2],"beta":{"28":1,"1":23}}, +"8":{"rows":[51,40,9,2],"rho":[25,19,6,1],"beta":{"31":1,"1":20}}, +"9":{"rows":[51,45,30,13,12,2],"rho":[20,16,7,4,3,1],"beta":{"44":3,"1":21}}, +"10":{"rows":[51,44,36,35,22,16],"rho":[48,35,14,3,2,0],"beta":{"40":2,"1":22}}, +"11":{"rows":[51,27,16,6,2],"rho":[40,31,26,3,2],"beta":{"25":2,"1":1}}, +"12":{"rows":[51,33,28,22,10,9],"rho":[43,24,24,5,4,2],"beta":{"30":2,"1":42}}, +"13":{"rows":[51,48,27,20,7],"rho":[22,21,8,0,0],"beta":{"35":1,"1":16}}, +"14":{"rows":[51,41,19,19,12,11],"rho":[44,37,13,4,3,1],"beta":{"28":1,"1":23}}, +"15":{"rows":[51,49,18,18,17],"rho":[27,19,2,2,1],"beta":{"46":3,"1":15}}, +"16":{"rows":[51,42,27,25,8],"rho":[24,16,11,0,0],"beta":{"37":2,"1":28}}, +"17":{"rows":[51,33,17,1],"rho":[28,19,2,2],"beta":{"34":1,"1":17}}, +"18":{"rows":[51,47,31,21,3],"rho":[40,8,2,1,0],"beta":{"41":3,"1":30}}, +"19":{"rows":[51,44,6,1],"rho":[46,29,25,2],"beta":{"29":1,"1":22}}, +"20":{"rows":[51,48,27,24,3],"rho":[48,28,21,3,2],"beta":{"35":2,"1":32}}, +"21":{"rows":[51,41,31,30],"rho":[51,46,4,1],"beta":{"39":3,"1":36}}, +"22":{"rows":[51,39,36,21,6],"rho":[20,17,12,1,1],"beta":{"38":1,"1":13}}, +"23":{"rows":[51,39,31,20,12],"rho":[21,19,10,1,0],"beta":{"38":2,"1":26}}, +"24":{"rows":[51,42,5,4],"rho":[40,33,28,1],"beta":{"30":2,"1":42}}, +"25":{"rows":[51,39,24,22,17],"rho":[51,25,22,2,2],"beta":{"38":1,"1":13}}, +"26":{"rows":[51,37,26,21,15,3],"rho":[16,15,15,2,2,1],"beta":{"29":2,"1":44}}, +"27":{"rows":[51,44,6,1],"rho":[36,34,31,1],"beta":{"29":1,"1":22}}, +"28":{"rows":[51,48,28,17,9],"rho":[41,33,26,2,0],"beta":{"35":2,"1":32}}, +"29":{"rows":[51,36,12,2,1],"rho":[37,10,4,0,0],"beta":{"22":2,"1":7}}, +"30":{"rows":[51,43,27,20,11,1],"rho":[22,15,7,3,2,2],"beta":{"36":3,"1":45}}, +"31":{"rows":[51,38,12,1],"rho":[44,29,27,2],"beta":{"32":2,"1":38}}, +"32":{"rows":[51,39,30,19,14],"rho":[29,12,6,2,2],"beta":{"38":1,"1":13}}, +"33":{"rows":[51,45,27,18,12],"rho":[21,14,12,3,1],"beta":{"36":1,"1":15}}, +"34":{"rows":[51,30,17,4],"rho":[34,17,0,0],"beta":{"34":2,"1":34}}, +"35":{"rows":[51,42,27,21,12],"rho":[51,29,19,2,1],"beta":{"37":2,"1":28}}, +"36":{"rows":[51,42,28,21,8,3],"rho":[31,12,6,2,0,0],"beta":{"32":3,"1":6}}, +"37":{"rows":[51,46,3,2],"rho":[49,39,14,0],"beta":{"28":2,"1":46}}, +"38":{"rows":[51,41,27,25,8,1],"rho":[51,25,21,3,2,0],"beta":{"28":2,"1":46}}, +"39":{"rows":[51,36,11,4],"rho":[27,18,6,0],"beta":{"33":3,"1":3}}, +"40":{"rows":[51,39,26,22,15],"rho":[48,28,21,3,2],"beta":{"38":1,"1":13}}, +"41":{"rows":[51,44,4,3],"rho":[28,13,10,0],"beta":{"29":2,"1":44}}, +"42":{"rows":[51,40,39,16,7],"rho":[33,11,3,3,1],"beta":{"37":1,"1":14}}, +"43":{"rows":[51,44,24,22,9,3],"rho":[32,13,5,1,0,0],"beta":{"40":2,"1":22}}, +"44":{"rows":[51,48,41,10,3],"rho":[32,17,1,1,0],"beta":{"32":2,"1":38}}, +"45":{"rows":[51,37,11,3],"rho":[21,19,10,1],"beta":{"24":3,"1":30}}, +"46":{"rows":[51,27,11,7,6],"rho":[25,18,5,2,1],"beta":{"25":2,"1":1}}, +"47":{"rows":[51,42,31,27,2],"rho":[20,15,15,1,0],"beta":{"37":2,"1":28}}, +"48":{"rows":[51,42,33,21,6],"rho":[33,9,5,3,1],"beta":{"37":1,"1":14}}, +"49":{"rows":[51,42,30,18,12],"rho":[32,12,7,0,0],"beta":{"37":1,"1":14}}, +"50":{"rows":[51,48,30,21,3],"rho":[26,17,6,1,1],"beta":{"35":2,"1":32}}}, +"52":{"1":{"rows":[52,45,36,12,11],"rho":[23,22,3,2,2],"beta":{"37":1,"1":15}}, +"2":{"rows":[52,42,23,22,17],"rho":[29,16,6,1,0],"beta":{"38":1,"1":14}}, +"3":{"rows":[52,45,36,17,6],"rho":[49,32,17,4,2],"beta":{"37":1,"1":15}}, +"4":{"rows":[52,44,34,26],"rho":[37,7,7,1],"beta":{"43":2,"1":18}}, +"5":{"rows":[52,51,26,16,11],"rho":[21,17,11,2,1],"beta":{"35":1,"1":17}}, +"6":{"rows":[52,51,21,21,11],"rho":[50,35,19,0,0],"beta":{"35":1,"1":17}}, +"7":{"rows":[52,44,32,11,9,8],"rho":[50,27,19,3,3,2],"beta":{"41":1,"1":11}}, +"8":{"rows":[52,37,27,25,15],"rho":[28,11,8,3,2],"beta":{"31":2,"1":42}}, +"9":{"rows":[52,44,36,16,6,2],"rho":[24,17,11,0,0,0],"beta":{"41":3,"1":33}}, +"10":{"rows":[52,48,26,14,13,3],"rho":[19,15,12,2,2,2],"beta":{"27":1,"1":25}}, +"11":{"rows":[52,45,36,13,10],"rho":[29,12,11,0,0],"beta":{"37":1,"1":15}}, +"12":{"rows":[52,50,31,30,30,15],"rho":[43,41,17,1,1,1],"beta":{"33":2,"1":38}}, +"13":{"rows":[52,40,28,16,12,8],"rho":[21,14,10,4,2,1],"beta":{"29":1,"1":23}}, +"14":{"rows":[52,42,8,2],"rho":[45,40,17,2],"beta":{"31":2,"1":42}}, +"15":{"rows":[52,46,4,2],"rho":[25,16,11,0],"beta":{"29":1,"1":23}}, +"16":{"rows":[52,40,29,29,6],"rho":[29,15,7,1,0],"beta":{"30":2,"1":44}}, +"17":{"rows":[52,42,8,2],"rho":[42,7,2,1],"beta":{"31":3,"1":11}}, +"18":{"rows":[52,37,33,21,13],"rho":[28,16,3,3,2],"beta":{"30":2,"1":44}}, +"19":{"rows":[52,45,31,14,14],"rho":[47,47,5,3,2],"beta":{"37":3,"1":45}}, +"20":{"rows":[52,44,35,11,7,7],"rho":[20,20,12,0,0,0],"beta":{"41":1,"1":11}}, +"21":{"rows":[52,38,8,6],"rho":[27,16,7,2],"beta":{"33":1,"1":19}}, +"22":{"rows":[52,36,12,4],"rho":[47,4,1,0],"beta":{"34":1,"1":18}}, +"23":{"rows":[52,40,24,20,19,1],"rho":[41,30,26,3,2,2],"beta":{"29":3,"1":17}}, +"24":{"rows":[52,44,39,33,27,13],"rho":[18,16,10,3,3,2],"beta":{"41":2,"1":22}}, +"25":{"rows":[52,44,37,30,28,17],"rho":[48,29,22,3,2,0],"beta":{"41":3,"1":33}}, +"26":{"rows":[52,35,11,4,2],"rho":[43,7,1,1,0],"beta":{"39":2,"1":26}}, +"27":{"rows":[52,42,6,4],"rho":[50,33,19,2],"beta":{"31":3,"1":11}}, +"28":{"rows":[52,42,36,19,7],"rho":[20,15,15,1,1],"beta":{"38":1,"1":14}}, +"29":{"rows":[52,29,14,8,1],"rho":[49,27,24,3,1],"beta":{"25":3,"1":29}}, +"30":{"rows":[52,32,24,22,16,10],"rho":[42,32,25,3,1,1],"beta":{"31":1,"1":21}}, +"31":{"rows":[52,45,30,27,2],"rho":[47,41,12,3,1],"beta":{"37":3,"1":45}}, +"32":{"rows":[52,44,44,8,5,3],"rho":[32,14,2,2,1,1],"beta":{"40":1,"1":12}}, +"33":{"rows":[52,45,30,16,13],"rho":[33,11,4,3,1],"beta":{"37":3,"1":45}}, +"34":{"rows":[52,38,10,4],"rho":[32,17,3,0],"beta":{"33":2,"1":38}}, +"35":{"rows":[52,51,27,16,10],"rho":[27,19,3,2,1],"beta":{"35":1,"1":17}}, +"36":{"rows":[52,41,7,2,2],"rho":[44,39,15,4,2],"beta":{"21":3,"1":41}}, +"37":{"rows":[52,44,38,37,30,7],"rho":[38,29,29,4,2,2],"beta":{"41":1,"1":11}}, +"38":{"rows":[52,48,36,20],"rho":[21,18,11,2],"beta":{"41":2,"1":22}}, +"39":{"rows":[52,35,34,23,12],"rho":[35,8,5,2,2],"beta":{"39":1,"1":13}}, +"40":{"rows":[52,34,10,8],"rho":[31,13,7,1],"beta":{"22":2,"1":8}}, +"41":{"rows":[52,36,33,19,8,8],"rho":[40,7,2,2,1,0],"beta":{"29":1,"1":23}}, +"42":{"rows":[52,51,19,17,17],"rho":[26,14,9,2,1],"beta":{"35":1,"1":17}}, +"43":{"rows":[52,44,38,34,24,16],"rho":[24,15,7,3,2,1],"beta":{"41":3,"1":33}}, +"44":{"rows":[52,46,5,1],"rho":[28,20,3,1],"beta":{"16":2,"1":20}}, +"45":{"rows":[52,29,12,6,5],"rho":[51,44,4,3,2],"beta":{"25":1,"1":27}}, +"46":{"rows":[52,28,12,7,3,2],"rho":[25,12,8,4,2,1],"beta":{"19":2,"1":14}}, +"47":{"rows":[52,51,21,16,16],"rho":[39,7,3,2,1],"beta":{"35":1,"1":17}}, +"48":{"rows":[52,34,15,3],"rho":[52,28,23,1],"beta":{"22":2,"1":8}}, +"49":{"rows":[52,44,34,31,27,20],"rho":[19,16,12,2,2,1],"beta":{"41":1,"1":11}}, +"50":{"rows":[52,48,40,16],"rho":[50,29,25,0],"beta":{"41":2,"1":22}}, +"51":{"rows":[52,45,34,22,3],"rho":[49,38,17,0,0],"beta":{"37":1,"1":15}}}, +"53":{"1":{"rows":[53,44,41,34,23,17],"rho":[22,12,12,4,2,1],"beta":{"42":1,"1":11}}, +"2":{"rows":[53,52,39,10,3,2],"rho":[51,42,10,2,1,0],"beta":{"40":2,"1":26}}, +"3":{"rows":[53,48,25,18,8,7],"rho":[39,28,27,6,4,2],"beta":{"41":2,"1":24}}, +"4":{"rows":[53,42,10,1],"rho":[26,20,6,1],"beta":{"32":1,"1":21}}, +"5":{"rows":[53,48,34,22,2],"rho":[46,28,27,3,2],"beta":{"37":3,"1":48}}, +"6":{"rows":[53,22,10,10,9,2],"rho":[33,10,4,4,2,0],"beta":{"21":1,"1":32}}, +"7":{"rows":[53,28,16,6,3],"rho":[40,5,3,3,2],"beta":{"26":2,"1":1}}, +"8":{"rows":[53,48,28,25,5],"rho":[24,14,11,3,1],"beta":{"37":1,"1":16}}, +"9":{"rows":[53,38,14,1],"rho":[49,33,24,0],"beta":{"34":3,"1":4}}, +"10":{"rows":[53,37,10,4,2],"rho":[50,45,7,3,1],"beta":{"23":1,"1":30}}, +"11":{"rows":[53,42,7,4],"rho":[53,35,16,2],"beta":{"32":2,"1":42}}, +"12":{"rows":[53,38,11,4],"rho":[53,28,23,2],"beta":{"34":2,"1":38}}, +"13":{"rows":[53,36,10,7],"rho":[39,9,4,1],"beta":{"35":3,"1":1}}, +"14":{"rows":[53,39,25,20,20,2],"rho":[53,31,20,1,1,0],"beta":{"30":1,"1":23}}, +"15":{"rows":[53,48,21,19,18],"rho":[43,8,1,1,0],"beta":{"37":2,"1":32}}, +"16":{"rows":[53,36,13,4],"rho":[49,35,21,1],"beta":{"35":1,"1":18}}, +"17":{"rows":[53,48,40,38,28,5],"rho":[42,39,20,2,2,1],"beta":{"41":2,"1":24}}, +"18":{"rows":[53,45,26,24,11],"rho":[20,19,14,0,0],"beta":{"38":2,"1":30}}, +"19":{"rows":[53,40,7,6],"rho":[23,21,7,2],"beta":{"33":3,"1":7}}, +"20":{"rows":[53,28,11,11,3],"rho":[38,38,25,3,2],"beta":{"26":3,"1":28}}, +"21":{"rows":[53,48,30,21,7],"rho":[38,8,3,2,2],"beta":{"37":3,"1":48}}, +"22":{"rows":[53,48,4,1],"rho":[30,22,1,0],"beta":{"29":3,"1":19}}, +"23":{"rows":[53,44,7,2],"rho":[40,9,4,0],"beta":{"31":3,"1":13}}, +"24":{"rows":[53,42,8,3],"rho":[46,42,18,0],"beta":{"32":3,"1":10}}, +"25":{"rows":[53,37,10,4,2],"rho":[26,18,7,1,1],"beta":{"23":1,"1":30}}, +"26":{"rows":[53,52,32,10,9,3],"rho":[43,41,14,4,3,1],"beta":{"40":3,"1":39}}, +"27":{"rows":[53,44,37,10,8,7],"rho":[46,32,24,2,2,0],"beta":{"42":2,"1":22}}, +"28":{"rows":[53,48,22,20,16],"rho":[48,29,25,2,2],"beta":{"37":3,"1":48}}, +"29":{"rows":[53,31,11,7,4],"rho":[48,37,21,0,0],"beta":{"25":1,"1":28}}, +"30":{"rows":[53,48,36,33,27,15],"rho":[48,28,25,3,1,1],"beta":{"41":1,"1":12}}, +"31":{"rows":[53,40,9,4],"rho":[40,34,31,1],"beta":{"33":1,"1":20}}, +"32":{"rows":[53,42,28,19,17],"rho":[53,33,16,3,1],"beta":{"39":3,"1":42}}, +"33":{"rows":[53,43,27,15,14,7],"rho":[25,17,5,4,2,0],"beta":{"29":2,"1":48}}, +"34":{"rows":[53,44,36,10,9,7],"rho":[52,49,46,6,4,2],"beta":{"42":1,"1":11}}, +"35":{"rows":[53,28,10,8,7],"rho":[40,40,25,1,0],"beta":{"26":3,"1":28}}, +"36":{"rows":[53,44,26,16,10,10],"rho":[42,40,20,2,1,1],"beta":{"42":3,"1":33}}, +"37":{"rows":[53,45,28,18,15],"rho":[24,21,3,3,2],"beta":{"38":3,"1":45}}, +"38":{"rows":[53,42,6,5],"rho":[49,45,11,1],"beta":{"32":3,"1":10}}, +"39":{"rows":[53,45,37,17,7],"rho":[47,27,27,3,2],"beta":{"38":2,"1":30}}, +"40":{"rows":[53,48,33,17,8],"rho":[48,39,13,4,2],"beta":{"37":3,"1":48}}, +"41":{"rows":[53,40,6,4,3],"rho":[52,28,24,2,0],"beta":{"22":3,"1":40}}, +"42":{"rows":[53,45,28,27,6],"rho":[52,42,12,0,0],"beta":{"38":3,"1":45}}, +"43":{"rows":[53,40,9,4],"rho":[34,15,4,0],"beta":{"33":1,"1":20}}, +"44":{"rows":[53,48,32,17,9],"rho":[32,11,4,4,2],"beta":{"37":3,"1":48}}, +"45":{"rows":[53,48,24,19,15],"rho":[21,19,12,1,0],"beta":{"37":3,"1":48}}, +"46":{"rows":[53,45,34,14,13],"rho":[24,20,7,2,0],"beta":{"38":2,"1":30}}, +"47":{"rows":[53,43,26,17,11,9],"rho":[47,29,24,4,2,0],"beta":{"29":2,"1":48}}, +"48":{"rows":[53,48,30,15,13],"rho":[21,15,13,2,2],"beta":{"37":2,"1":32}}, +"49":{"rows":[53,45,35,18,8],"rho":[53,30,19,2,2],"beta":{"38":2,"1":30}}, +"50":{"rows":[53,38,11,4],"rho":[46,33,25,2],"beta":{"34":3,"1":4}}, +"51":{"rows":[53,46,6,1],"rho":[22,18,12,1],"beta":{"30":2,"1":46}}, +"52":{"rows":[53,42,31,25,8],"rho":[35,13,3,2,0],"beta":{"39":1,"1":14}}}, +"54":{"1":{"rows":[54,52,28,13,9,6],"rho":[52,27,26,1,1,1],"beta":{"41":1,"1":13}}, +"2":{"rows":[54,41,9,4],"rho":[52,47,7,2],"beta":{"20":2,"1":14}}, +"3":{"rows":[54,32,18,4],"rho":[37,10,6,1],"beta":{"29":3,"1":21}}, +"4":{"rows":[54,41,7,6],"rho":[53,30,24,1],"beta":{"20":2,"1":14}}, +"5":{"rows":[54,52,35,32,27,16],"rho":[31,8,5,5,3,2],"beta":{"41":1,"1":13}}, +"6":{"rows":[54,33,17,4],"rho":[22,20,12,0],"beta":{"24":2,"1":6}}, +"7":{"rows":[54,32,12,7,2,1],"rho":[45,4,2,1,1,1],"beta":{"19":1,"1":35}}, +"8":{"rows":[54,44,26,20,17,1],"rho":[52,30,21,3,1,1],"beta":{"43":1,"1":11}}, +"9":{"rows":[54,26,16,12],"rho":[27,22,4,1],"beta":{"23":3,"1":39}}, +"10":{"rows":[54,39,34,26,9],"rho":[44,5,2,2,1],"beta":{"31":2,"1":46}}, +"11":{"rows":[54,44,35,34,29,20],"rho":[37,36,34,1,0,0],"beta":{"43":1,"1":11}}, +"12":{"rows":[54,42,32,27,7],"rho":[50,31,23,2,2],"beta":{"40":2,"1":28}}, +"13":{"rows":[54,46,6,2],"rho":[29,14,9,2],"beta":{"31":1,"1":23}}, +"14":{"rows":[54,53,28,27],"rho":[52,41,14,1],"beta":{"41":2,"1":26}}, +"15":{"rows":[54,44,21,18,17,8],"rho":[53,34,13,3,3,2],"beta":{"25":3,"1":33}}, +"16":{"rows":[54,35,16,3],"rho":[53,46,7,2],"beta":{"23":2,"1":8}}, +"17":{"rows":[54,38,10,6],"rho":[29,20,5,0],"beta":{"35":1,"1":19}}, +"18":{"rows":[54,27,25,2],"rho":[52,2,0,0],"beta":{"30":3,"1":18}}, +"19":{"rows":[54,51,27,24,6],"rho":[35,9,7,2,1],"beta":{"37":1,"1":17}}, +"20":{"rows":[54,44,6,4],"rho":[29,16,8,1],"beta":{"32":1,"1":22}}, +"21":{"rows":[54,38,10,6],"rho":[46,5,2,1],"beta":{"17":3,"1":3}}, +"22":{"rows":[54,35,10,9],"rho":[32,15,6,1],"beta":{"23":2,"1":8}}, +"23":{"rows":[54,38,12,4],"rho":[32,21,1,0],"beta":{"35":1,"1":19}}, +"24":{"rows":[54,38,11,5],"rho":[21,19,12,2],"beta":{"35":1,"1":19}}, +"25":{"rows":[54,44,40,11,9,4],"rho":[43,38,20,4,2,1],"beta":{"43":1,"1":11}}, +"26":{"rows":[54,49,33,26],"rho":[53,49,5,1],"beta":{"43":2,"1":22}}, +"27":{"rows":[54,51,24,22,11],"rho":[41,37,28,1,1],"beta":{"37":1,"1":17}}, +"28":{"rows":[54,37,15,2],"rho":[25,25,3,1],"beta":{"22":2,"1":10}}, +"29":{"rows":[54,38,29,17,16,8],"rho":[39,38,22,4,3,2],"beta":{"31":1,"1":23}}, +"30":{"rows":[54,48,39,39,36],"rho":[23,16,13,1,1],"beta":{"47":2,"1":14}}, +"31":{"rows":[54,33,11,6,4],"rho":[47,36,24,1,0],"beta":{"25":1,"1":29}}, +"32":{"rows":[54,47,31,30],"rho":[52,30,24,2],"beta":{"44":2,"1":20}}, +"33":{"rows":[54,51,36,15,6],"rho":[39,36,33,0,0],"beta":{"37":1,"1":17}}, +"34":{"rows":[54,37,9,8],"rho":[46,38,22,2],"beta":{"22":2,"1":10}}, +"35":{"rows":[54,33,14,4,3],"rho":[17,17,17,2,1],"beta":{"25":1,"1":29}}, +"36":{"rows":[54,21,17,16],"rho":[34,10,8,2],"beta":{"24":3,"1":36}}, +"37":{"rows":[54,52,40,37,20,13],"rho":[20,19,9,3,2,1],"beta":{"41":1,"1":13}}, +"38":{"rows":[54,29,19,6],"rho":[49,35,23,1],"beta":{"26":2,"1":2}}, +"39":{"rows":[54,50,34,24],"rho":[31,22,1,0],"beta":{"47":3,"1":21}}, +"40":{"rows":[54,51,30,24,3],"rho":[21,19,11,2,1],"beta":{"46":2,"1":16}}, +"41":{"rows":[54,44,38,35,27,18],"rho":[50,31,18,5,3,1],"beta":{"43":1,"1":11}}, +"42":{"rows":[54,48,31,17,9,3],"rho":[49,27,25,4,2,1],"beta":{"42":2,"1":24}}, +"43":{"rows":[54,39,8,4,3],"rho":[21,16,16,1,0],"beta":{"23":1,"1":31}}, +"44":{"rows":[54,38,12,4],"rho":[53,39,16,0],"beta":{"35":1,"1":19}}, +"45":{"rows":[54,40,24,21,17,6],"rho":[20,17,9,4,2,2],"beta":{"35":3,"1":3}}, +"46":{"rows":[54,46,6,2],"rho":[34,16,3,1],"beta":{"31":2,"1":46}}, +"47":{"rows":[54,52,37,32,24,17],"rho":[38,33,31,3,2,1],"beta":{"41":1,"1":13}}, +"48":{"rows":[54,51,2,1],"rho":[26,22,6,0],"beta":{"42":2,"1":24}}, +"49":{"rows":[54,44,36,31,29,22],"rho":[51,28,21,4,2,2],"beta":{"43":1,"1":11}}, +"50":{"rows":[54,39,26,22,21],"rho":[28,12,9,3,2],"beta":{"32":2,"1":44}}, +"51":{"rows":[54,44,34,30],"rho":[32,17,5,0],"beta":{"41":3,"1":39}}, +"52":{"rows":[54,33,12,8,1],"rho":[32,12,6,2,2],"beta":{"25":1,"1":29}}, +"53":{"rows":[54,52,30,16,7,3],"rho":[46,29,21,6,4,2],"beta":{"41":1,"1":13}}}, +"55":{"1":{"rows":[55,42,8,5],"rho":[55,39,14,2],"beta":{"34":3,"1":8}}, +"2":{"rows":[55,48,36,21,5],"rho":[51,44,9,4,2],"beta":{"39":1,"1":16}}, +"3":{"rows":[55,37,28,25,13,7],"rho":[32,7,6,5,3,2],"beta":{"32":3,"1":14}}, +"4":{"rows":[55,51,36,20,3],"rho":[27,20,4,2,2],"beta":{"38":1,"1":17}}, +"5":{"rows":[55,45,34,25,6],"rho":[44,6,5,0,0],"beta":{"40":2,"1":30}}, +"6":{"rows":[55,42,25,25,18],"rho":[43,5,5,2,0],"beta":{"41":3,"1":42}}, +"7":{"rows":[55,42,8,5],"rho":[42,39,29,0],"beta":{"34":3,"1":8}}, +"8":{"rows":[55,49,27,17,10,7],"rho":[28,19,4,3,1,0],"beta":{"29":1,"1":26}}, +"9":{"rows":[55,48,42,32,23,20],"rho":[46,6,1,1,1,0],"beta":{"43":2,"1":24}}, +"10":{"rows":[55,42,37,17,14],"rho":[21,21,11,1,1],"beta":{"41":3,"1":42}}, +"11":{"rows":[55,48,38,18,6],"rho":[45,8,1,1,0],"beta":{"39":3,"1":48}}, +"12":{"rows":[55,41,25,23,14,7],"rho":[21,16,9,5,3,1],"beta":{"31":3,"1":17}}, +"13":{"rows":[55,46,6,3],"rho":[50,46,14,0],"beta":{"32":2,"1":46}}, +"14":{"rows":[55,51,37,11,11],"rho":[49,35,24,2,0],"beta":{"38":3,"1":51}}, +"15":{"rows":[55,45,33,17,15],"rho":[26,13,12,2,2],"beta":{"40":1,"1":15}}, +"16":{"rows":[55,48,35,22,5],"rho":[43,10,2,0,0],"beta":{"39":2,"1":32}}, +"17":{"rows":[55,42,10,3],"rho":[34,16,4,1],"beta":{"34":1,"1":21}}, +"18":{"rows":[55,41,28,22,13,6],"rho":[36,8,5,2,2,2],"beta":{"31":2,"1":48}}, +"19":{"rows":[55,38,13,4],"rho":[29,18,6,2],"beta":{"36":2,"1":38}}, +"20":{"rows":[55,48,4,3],"rho":[52,41,16,1],"beta":{"31":1,"1":24}}, +"21":{"rows":[55,42,11,2],"rho":[45,34,30,1],"beta":{"34":3,"1":8}}, +"22":{"rows":[55,38,12,5],"rho":[41,34,34,1],"beta":{"36":1,"1":19}}, +"23":{"rows":[55,51,35,21,3],"rho":[47,4,3,1,0],"beta":{"38":3,"1":51}}, +"24":{"rows":[55,42,10,3],"rho":[49,31,29,1],"beta":{"34":2,"1":42}}, +"25":{"rows":[55,45,35,16,14],"rho":[27,16,10,1,1],"beta":{"40":3,"1":45}}, +"26":{"rows":[55,48,30,17,15],"rho":[49,32,26,2,1],"beta":{"39":3,"1":48}}, +"27":{"rows":[55,48,33,26,3],"rho":[50,44,16,0,0],"beta":{"39":2,"1":32}}, +"28":{"rows":[55,38,10,7],"rho":[33,12,8,2],"beta":{"36":3,"1":2}}, +"29":{"rows":[55,38,15,2],"rho":[42,7,4,2],"beta":{"36":2,"1":38}}, +"30":{"rows":[55,46,7,2],"rho":[25,20,10,0],"beta":{"32":1,"1":23}}, +"31":{"rows":[55,52,39,16,2,1],"rho":[26,20,3,3,2,1],"beta":{"42":2,"1":26}}, +"32":{"rows":[55,48,35,28,28,26],"rho":[46,28,26,5,3,2],"beta":{"43":1,"1":12}}, +"33":{"rows":[55,33,32,32,7,6],"rho":[44,33,33,0,0,0],"beta":{"33":1,"1":22}}, +"34":{"rows":[55,48,30,16,16],"rho":[49,45,16,0,0],"beta":{"39":1,"1":16}}, +"35":{"rows":[55,48,24,23,15],"rho":[52,52,6,0,0],"beta":{"39":1,"1":16}}, +"36":{"rows":[55,42,34,30,4],"rho":[23,20,9,2,1],"beta":{"41":3,"1":42}}, +"37":{"rows":[55,48,39,34,26,18],"rho":[51,28,28,2,1,0],"beta":{"43":1,"1":12}}, +"38":{"rows":[55,51,31,19,9],"rho":[18,16,15,4,2],"beta":{"38":2,"1":34}}, +"39":{"rows":[55,48,40,32,25,20],"rho":[52,37,18,2,1,0],"beta":{"43":1,"1":12}}, +"40":{"rows":[55,29,13,11,2],"rho":[19,19,16,1,0],"beta":{"27":2,"1":1}}, +"41":{"rows":[55,48,42,31,29,15],"rho":[51,49,8,2,0,0],"beta":{"43":3,"1":36}}, +"42":{"rows":[55,42,33,23,12],"rho":[36,12,5,2,0],"beta":{"41":2,"1":28}}, +"43":{"rows":[55,51,26,24,9],"rho":[41,39,28,1,1],"beta":{"38":2,"1":34}}, +"44":{"rows":[55,34,33,19,12,12],"rho":[54,50,4,2,0,0],"beta":{"44":1,"1":11}}, +"45":{"rows":[55,45,37,27,1],"rho":[47,33,29,1,0],"beta":{"40":1,"1":15}}, +"46":{"rows":[55,32,14,5,4],"rho":[23,21,5,4,2],"beta":{"26":2,"1":3}}, +"47":{"rows":[55,38,10,7],"rho":[54,35,21,0],"beta":{"36":2,"1":38}}, +"48":{"rows":[55,48,41,27,27,22],"rho":[37,37,28,4,3,1],"beta":{"43":2,"1":24}}, +"49":{"rows":[55,52,2,1],"rho":[27,22,5,1],"beta":{"29":3,"1":23}}, +"50":{"rows":[55,42,39,16,13],"rho":[50,40,16,3,1],"beta":{"41":2,"1":28}}, +"51":{"rows":[55,48,33,14,13,2],"rho":[51,35,14,5,3,2],"beta":{"43":3,"1":36}}, +"52":{"rows":[55,37,29,26,12,6],"rho":[18,16,15,4,2,0],"beta":{"32":3,"1":14}}, +"53":{"rows":[55,48,45,43,15,14],"rho":[55,43,4,4,3,1],"beta":{"42":2,"1":26}}, +"54":{"rows":[55,32,17,4,2],"rho":[31,15,7,1,1],"beta":{"26":1,"1":29}}}, +"56":{"1":{"rows":[56,52,49,43,21,3],"rho":[25,19,6,3,2,1],"beta":{"40":3,"1":48}}, +"2":{"rows":[56,52,21,20,18,1],"rho":[33,10,8,3,2,0],"beta":{"29":2,"1":54}}, +"3":{"rows":[56,31,14,6,5],"rho":[21,16,15,2,2],"beta":{"27":3,"1":31}}, +"4":{"rows":[56,54,25,22,11],"rho":[38,38,30,4,2],"beta":{"38":1,"1":18}}, +"5":{"rows":[56,45,40,25,2],"rho":[35,10,7,2,2],"beta":{"41":1,"1":15}}, +"6":{"rows":[56,52,32,16,10,2],"rho":[25,14,10,3,2,2],"beta":{"43":2,"1":26}}, +"7":{"rows":[56,45,35,18,14],"rho":[27,16,10,2,1],"beta":{"41":3,"1":45}}, +"8":{"rows":[56,40,24,22,20,6],"rho":[24,16,10,4,2,0],"beta":{"39":2,"1":34}}, +"9":{"rows":[56,37,14,4,1],"rho":[31,14,6,3,2],"beta":{"25":1,"1":31}}, +"10":{"rows":[56,50,34,28],"rho":[36,17,3,0],"beta":{"45":2,"1":22}}, +"11":{"rows":[56,36,31,18,15,12],"rho":[27,12,9,4,3,1],"beta":{"33":3,"1":13}}, +"12":{"rows":[56,45,25,21,21],"rho":[56,43,8,3,2],"beta":{"41":3,"1":45}}, +"13":{"rows":[56,45,32,20,15],"rho":[55,49,4,3,1],"beta":{"41":1,"1":15}}, +"14":{"rows":[56,31,14,10,1],"rho":[43,7,3,2,1],"beta":{"35":2,"1":42}}, +"15":{"rows":[56,31,14,7,4],"rho":[43,42,27,0,0],"beta":{"27":1,"1":29}}, +"16":{"rows":[56,54,34,23,1],"rho":[32,14,6,2,2],"beta":{"38":1,"1":18}}, +"17":{"rows":[56,51,33,20,8],"rho":[35,10,6,3,2],"beta":{"39":3,"1":51}}, +"18":{"rows":[56,34,16,6],"rho":[39,16,1,0],"beta":{"25":2,"1":6}}, +"19":{"rows":[56,45,32,24,11],"rho":[27,17,10,1,1],"beta":{"41":3,"1":45}}, +"20":{"rows":[56,48,32,16,10,6],"rho":[25,14,12,3,1,1],"beta":{"44":1,"1":12}}, +"21":{"rows":[56,38,10,8],"rho":[42,7,7,0],"beta":{"37":1,"1":19}}, +"22":{"rows":[56,38,12,6],"rho":[30,16,10,0],"beta":{"37":3,"1":1}}, +"23":{"rows":[56,51,34,25,2],"rho":[47,38,27,0,0],"beta":{"39":1,"1":17}}, +"24":{"rows":[56,36,16,4],"rho":[30,19,6,1],"beta":{"24":2,"1":8}}, +"25":{"rows":[56,50,4,2],"rho":[42,11,2,1],"beta":{"31":3,"1":19}}, +"26":{"rows":[56,38,12,6],"rho":[29,22,5,0],"beta":{"37":2,"1":38}}, +"27":{"rows":[56,51,30,24,7],"rho":[45,7,2,1,1],"beta":{"39":3,"1":51}}, +"28":{"rows":[56,36,33,30,13],"rho":[38,6,6,4,2],"beta":{"42":1,"1":14}}, +"29":{"rows":[56,48,33,16,13,2],"rho":[32,11,5,3,3,2],"beta":{"29":1,"1":27}}, +"30":{"rows":[56,50,4,2],"rho":[44,38,28,2],"beta":{"31":1,"1":25}}, +"31":{"rows":[56,51,38,13,10],"rho":[39,8,6,2,1],"beta":{"39":1,"1":17}}, +"32":{"rows":[56,32,12,6,4,2],"rho":[33,11,6,2,2,2],"beta":{"20":1,"1":36}}, +"33":{"rows":[56,52,41,10,7,2],"rho":[44,31,29,3,3,2],"beta":{"43":3,"1":39}}, +"34":{"rows":[56,50,32,30],"rho":[47,40,25,0],"beta":{"45":2,"1":22}}, +"35":{"rows":[56,42,10,4],"rho":[40,37,35,0],"beta":{"35":1,"1":21}}, +"36":{"rows":[56,46,8,2],"rho":[50,40,22,0],"beta":{"33":2,"1":46}}, +"37":{"rows":[56,43,8,3,2],"rho":[53,46,11,2,0],"beta":{"23":1,"1":33}}, +"38":{"rows":[56,30,24,2],"rho":[48,37,26,1],"beta":{"27":2,"1":2}}, +"39":{"rows":[56,37,10,6,3],"rho":[47,43,18,3,1],"beta":{"25":3,"1":37}}, +"40":{"rows":[56,40,28,22,21,1],"rho":[27,15,11,1,1,1],"beta":{"32":1,"1":24}}, +"41":{"rows":[56,38,10,8],"rho":[42,37,33,0],"beta":{"37":3,"1":1}}, +"42":{"rows":[56,42,35,28,7],"rho":[43,6,3,3,1],"beta":{"42":1,"1":14}}, +"43":{"rows":[56,51,28,17,16],"rho":[55,47,6,3,1],"beta":{"39":1,"1":17}}, +"44":{"rows":[56,34,17,4,1],"rho":[22,22,12,0,0],"beta":{"26":3,"1":34}}, +"45":{"rows":[56,37,14,4,1],"rho":[41,40,25,4,2],"beta":{"25":3,"1":37}}, +"46":{"rows":[56,52,37,12,8,3],"rho":[26,21,8,1,0,0],"beta":{"43":2,"1":26}}, +"47":{"rows":[56,46,8,2],"rho":[43,40,29,0],"beta":{"33":3,"1":13}}, +"48":{"rows":[56,50,39,23],"rho":[26,26,4,0],"beta":{"45":2,"1":22}}, +"49":{"rows":[56,45,36,18,13],"rho":[55,30,23,2,2],"beta":{"41":1,"1":15}}, +"50":{"rows":[56,51,34,20,7],"rho":[30,18,7,1,0],"beta":{"39":3,"1":51}}, +"51":{"rows":[56,44,28,26,7,7],"rho":[54,31,22,3,1,1],"beta":{"31":3,"1":19}}, +"52":{"rows":[56,38,15,3],"rho":[50,38,23,1],"beta":{"37":3,"1":1}}, +"53":{"rows":[56,50,4,2],"rho":[45,38,29,0],"beta":{"31":3,"1":19}}, +"54":{"rows":[56,38,14,4],"rho":[54,37,19,2],"beta":{"37":2,"1":38}}, +"55":{"rows":[56,52,40,16,2,2],"rho":[46,33,29,2,2,0],"beta":{"43":1,"1":13}}}, +"57":{"1":{"rows":[57,48,33,25,8],"rho":[44,42,26,1,1],"beta":{"41":2,"1":32}}, +"2":{"rows":[57,56,39,31,23,22],"rho":[47,46,9,6,4,2],"beta":{"43":1,"1":14}}, +"3":{"rows":[57,51,39,18,6],"rho":[44,10,3,0,0],"beta":{"40":1,"1":17}}, +"4":{"rows":[57,40,15,2],"rho":[55,33,26,0],"beta":{"37":2,"1":40}}, +"5":{"rows":[57,48,33,18,15],"rho":[43,12,1,1,0],"beta":{"41":2,"1":32}}, +"6":{"rows":[57,45,35,17,17],"rho":[32,13,10,2,0],"beta":{"42":1,"1":15}}, +"7":{"rows":[57,56,27,17,7,7],"rho":[50,30,28,3,2,1],"beta":{"43":1,"1":14}}, +"8":{"rows":[57,40,12,5],"rho":[29,17,9,2],"beta":{"37":2,"1":40}}, +"9":{"rows":[57,48,35,14,11,6],"rho":[55,28,22,5,3,1],"beta":{"45":3,"1":36}}, +"10":{"rows":[57,51,23,22,18],"rho":[45,35,32,2,0],"beta":{"40":1,"1":17}}, +"11":{"rows":[57,36,15,3,3],"rho":[31,19,3,3,1],"beta":{"26":1,"1":31}}, +"12":{"rows":[57,50,31,19,14],"rho":[28,17,6,4,2],"beta":{"34":3,"1":12}}, +"13":{"rows":[57,51,24,21,18],"rho":[30,17,4,4,2],"beta":{"40":1,"1":17}}, +"14":{"rows":[57,51,36,23,4],"rho":[21,20,16,0,0],"beta":{"40":2,"1":34}}, +"15":{"rows":[57,47,41,26],"rho":[24,17,14,2],"beta":{"43":3,"1":42}}, +"16":{"rows":[57,35,25,22,20,12],"rho":[32,13,8,3,1,0],"beta":{"34":2,"1":46}}, +"17":{"rows":[57,50,6,1],"rho":[31,16,9,1],"beta":{"32":2,"1":50}}, +"18":{"rows":[57,55,35,24],"rho":[53,50,11,0],"beta":{"39":3,"1":54}}, +"19":{"rows":[57,31,23,3],"rho":[28,26,2,1],"beta":{"38":1,"1":19}}, +"20":{"rows":[57,52,36,31,30,22],"rho":[50,34,23,3,2,2],"beta":{"44":2,"1":26}}, +"21":{"rows":[57,45,41,28],"rho":[24,18,15,0],"beta":{"44":3,"1":39}}, +"22":{"rows":[57,44,9,4],"rho":[29,19,8,1],"beta":{"35":2,"1":44}}, +"23":{"rows":[57,52,3,2],"rho":[28,18,11,0],"beta":{"31":1,"1":26}}, +"24":{"rows":[57,33,11,6,5,2],"rho":[43,38,29,3,1,0],"beta":{"25":3,"1":39}}, +"25":{"rows":[57,46,6,5],"rho":[35,11,9,2],"beta":{"34":1,"1":23}}, +"26":{"rows":[57,40,14,3],"rho":[29,20,8,0],"beta":{"37":2,"1":40}}, +"27":{"rows":[57,52,30,22,5,5],"rho":[55,28,27,3,1,0],"beta":{"44":1,"1":13}}, +"28":{"rows":[57,48,33,24,9],"rho":[39,37,37,1,0],"beta":{"41":1,"1":16}}, +"29":{"rows":[57,56,40,28,24,23],"rho":[23,18,12,3,1,0],"beta":{"43":2,"1":28}}, +"30":{"rows":[57,48,6,3],"rho":[25,24,7,1],"beta":{"33":3,"1":15}}, +"31":{"rows":[57,51,36,18,9],"rho":[47,39,24,2,2],"beta":{"40":1,"1":17}}, +"32":{"rows":[57,44,12,1],"rho":[55,32,25,2],"beta":{"35":2,"1":44}}, +"33":{"rows":[57,54,2,1],"rho":[55,35,24,0],"beta":{"30":2,"1":54}}, +"34":{"rows":[57,36,9,8,4],"rho":[38,11,4,2,2],"beta":{"26":1,"1":31}}, +"35":{"rows":[57,52,49,12,1],"rho":[36,14,3,3,1],"beta":{"35":2,"1":44}}, +"36":{"rows":[57,42,14,1],"rho":[24,17,14,2],"beta":{"36":1,"1":21}}, +"37":{"rows":[57,51,33,27,3],"rho":[40,40,28,4,2],"beta":{"40":1,"1":17}}, +"38":{"rows":[57,35,18,4],"rho":[37,14,4,2],"beta":{"38":2,"1":38}}, +"39":{"rows":[57,46,6,5],"rho":[51,49,13,1],"beta":{"15":3,"1":12}}, +"40":{"rows":[57,43,31,20,10,10],"rho":[46,39,28,1,0,0],"beta":{"32":1,"1":25}}, +"41":{"rows":[57,48,38,15,13],"rho":[55,36,19,3,1],"beta":{"41":2,"1":32}}, +"42":{"rows":[57,54,33,27],"rho":[31,14,10,2],"beta":{"49":3,"1":24}}, +"43":{"rows":[57,51,27,18,18],"rho":[31,13,8,3,2],"beta":{"40":1,"1":17}}, +"44":{"rows":[57,52,32,18,10,2],"rho":[53,52,7,2,0,0],"beta":{"44":2,"1":26}}, +"45":{"rows":[57,47,39,28],"rho":[57,37,19,1],"beta":{"43":3,"1":42}}, +"46":{"rows":[57,46,9,2],"rho":[43,43,27,1],"beta":{"34":2,"1":46}}, +"47":{"rows":[57,51,34,18,11],"rho":[56,27,26,3,2],"beta":{"40":2,"1":34}}, +"48":{"rows":[57,35,20,2],"rho":[27,17,13,0],"beta":{"30":3,"1":24}}, +"49":{"rows":[57,40,9,8],"rho":[25,22,9,1],"beta":{"37":2,"1":40}}, +"50":{"rows":[57,35,32,21,15,11],"rho":[44,39,26,2,2,1],"beta":{"34":2,"1":46}}, +"51":{"rows":[57,52,35,27],"rho":[34,13,10,0],"beta":{"50":3,"1":21}}, +"52":{"rows":[57,48,40,24,2],"rho":[32,12,10,2,1],"beta":{"41":2,"1":32}}, +"53":{"rows":[57,36,9,9,3],"rho":[53,35,22,2,2],"beta":{"26":2,"1":5}}, +"54":{"rows":[57,55,45,43,14,14],"rho":[25,22,7,1,1,1],"beta":{"48":3,"1":27}}, +"55":{"rows":[57,48,27,27,12],"rho":[41,12,3,1,0],"beta":{"41":2,"1":32}}, +"56":{"rows":[57,52,3,2],"rho":[44,12,1,0],"beta":{"31":2,"1":52}}}, +"58":{"1":{"rows":[58,52,44,8,7,5],"rho":[55,36,23,2,0,0],"beta":{"45":3,"1":39}}, +"2":{"rows":[58,57,38,21],"rho":[31,18,7,2],"beta":{"44":2,"1":28}}, +"3":{"rows":[58,52,40,18,4,2],"rho":[56,29,28,2,1,0],"beta":{"45":1,"1":13}}, +"4":{"rows":[58,45,34,22,15],"rho":[28,23,3,3,1],"beta":{"43":2,"1":30}}, +"5":{"rows":[58,57,28,17,14],"rho":[29,18,11,0,0],"beta":{"39":1,"1":19}}, +"6":{"rows":[58,56,30,22,8],"rho":[53,40,21,1,1],"beta":{"49":2,"1":18}}, +"7":{"rows":[58,37,35,27,11,6],"rho":[37,15,2,2,1,1],"beta":{"34":1,"1":24}}, +"8":{"rows":[58,56,36,32,28,22],"rho":[57,32,22,2,2,1],"beta":{"44":3,"1":42}}, +"9":{"rows":[58,51,31,24,10],"rho":[35,11,7,3,2],"beta":{"41":1,"1":17}}, +"10":{"rows":[58,48,30,21,10,7],"rho":[27,17,12,2,0,0],"beta":{"46":1,"1":12}}, +"11":{"rows":[58,50,6,2],"rho":[35,14,9,0],"beta":{"33":1,"1":25}}, +"12":{"rows":[58,36,12,9,1],"rho":[53,34,27,2,0],"beta":{"17":2,"1":24}}, +"13":{"rows":[58,52,29,18,11,6],"rho":[48,37,21,5,3,2],"beta":{"45":1,"1":13}}, +"14":{"rows":[58,35,17,3,3],"rho":[42,42,29,2,1],"beta":{"27":1,"1":31}}, +"15":{"rows":[58,51,34,18,13],"rho":[55,52,9,0,0],"beta":{"41":3,"1":51}}, +"16":{"rows":[58,55,34,27],"rho":[39,11,7,1],"beta":{"45":2,"1":26}}, +"17":{"rows":[58,42,14,2],"rho":[41,40,33,2],"beta":{"37":1,"1":21}}, +"18":{"rows":[58,45,25,24,22],"rho":[58,32,24,2,0],"beta":{"43":3,"1":45}}, +"19":{"rows":[58,42,14,2],"rho":[34,17,7,0],"beta":{"37":3,"1":5}}, +"20":{"rows":[58,42,30,19,14,11],"rho":[55,32,24,3,1,1],"beta":{"33":2,"1":50}}, +"21":{"rows":[58,51,35,28,2],"rho":[55,29,29,2,1],"beta":{"41":3,"1":51}}, +"22":{"rows":[58,46,26,18,16,10],"rho":[49,39,19,5,3,1],"beta":{"32":1,"1":26}}, +"23":{"rows":[58,45,36,23,12],"rho":[39,11,3,3,2],"beta":{"43":3,"1":45}}, +"24":{"rows":[58,48,40,36,27,23],"rho":[38,16,4,0,0,0],"beta":{"46":1,"1":12}}, +"25":{"rows":[58,51,30,28,7],"rho":[49,41,22,3,1],"beta":{"41":1,"1":17}}, +"26":{"rows":[58,48,9,1],"rho":[37,13,8,0],"beta":{"34":1,"1":24}}, +"27":{"rows":[58,51,34,23,8],"rho":[51,36,23,4,2],"beta":{"41":3,"1":51}}, +"28":{"rows":[58,35,20,3],"rho":[25,19,13,1],"beta":{"26":2,"1":6}}, +"29":{"rows":[58,27,16,8,7],"rho":[41,10,3,2,2],"beta":{"29":3,"1":29}}, +"30":{"rows":[58,49,31,31,5],"rho":[30,13,13,2,0],"beta":{"32":2,"1":52}}, +"31":{"rows":[58,52,25,22,12,5],"rho":[30,15,12,1,0,0],"beta":{"45":1,"1":13}}, +"32":{"rows":[58,57,30,25,4],"rho":[30,12,12,2,2],"beta":{"39":1,"1":19}}, +"33":{"rows":[58,45,42,21,8],"rho":[57,42,13,2,2],"beta":{"43":3,"1":45}}, +"34":{"rows":[58,45,7,3,3],"rho":[32,17,5,2,2],"beta":{"43":3,"1":45}}, +"35":{"rows":[58,51,30,28,7],"rho":[23,22,11,2,0],"beta":{"41":3,"1":51}}, +"36":{"rows":[58,31,25,2],"rho":[34,14,8,2],"beta":{"28":2,"1":2}}, +"37":{"rows":[58,46,10,2],"rho":[46,39,29,2],"beta":{"35":1,"1":23}}, +"38":{"rows":[58,27,17,8,6],"rho":[30,18,8,2,0],"beta":{"20":2,"1":18}}, +"39":{"rows":[58,50,26,15,13,12],"rho":[51,32,31,2,0,0],"beta":{"31":3,"1":23}}, +"40":{"rows":[58,48,33,32,3],"rho":[24,22,10,2,0],"beta":{"42":3,"1":48}}, +"41":{"rows":[58,52,41,40,35,6],"rho":[49,38,21,3,3,2],"beta":{"45":3,"1":39}}, +"42":{"rows":[58,41,9,8],"rho":[48,48,18,2],"beta":{"23":2,"1":12}}, +"43":{"rows":[58,45,42,26,3],"rho":[53,30,28,3,2],"beta":{"43":1,"1":15}}, +"44":{"rows":[58,43,13,2],"rho":[44,43,27,2],"beta":{"22":2,"1":14}}, +"45":{"rows":[58,51,31,22,12],"rho":[53,39,19,3,2],"beta":{"41":3,"1":51}}, +"46":{"rows":[58,54,31,29,2],"rho":[22,21,12,2,1],"beta":{"40":2,"1":36}}, +"47":{"rows":[58,54,49,8,3,2],"rho":[33,14,4,3,2,2],"beta":{"43":3,"1":45}}, +"48":{"rows":[58,35,20,3],"rho":[48,6,4,0],"beta":{"26":2,"1":6}}, +"49":{"rows":[58,41,8,5,4],"rho":[55,31,29,1,0],"beta":{"25":1,"1":33}}, +"50":{"rows":[58,48,45,44,19,18],"rho":[58,56,51,5,3,1],"beta":{"46":2,"1":24}}, +"51":{"rows":[58,24,14,9,8,3],"rho":[30,11,11,3,2,1],"beta":{"23":3,"1":47}}, +"52":{"rows":[58,56,39,33,31,15],"rho":[41,39,31,3,1,1],"beta":{"44":3,"1":42}}, +"53":{"rows":[58,42,10,6],"rho":[57,38,19,2],"beta":{"37":1,"1":21}}, +"54":{"rows":[58,51,38,27],"rho":[47,8,3,0],"beta":{"47":2,"1":22}}, +"55":{"rows":[58,52,34,22,6,2],"rho":[32,15,8,2,1,0],"beta":{"45":3,"1":39}}, +"56":{"rows":[58,50,7,1],"rho":[58,34,22,2],"beta":{"33":1,"1":25}}, +"57":{"rows":[58,51,24,21,20],"rho":[47,38,27,2,2],"beta":{"41":3,"1":51}}}, +"59":{"1":{"rows":[59,48,9,2],"rho":[45,41,30,2],"beta":{"35":3,"1":13}}, +"2":{"rows":[59,34,18,5,2],"rho":[45,43,26,3,1],"beta":{"28":2,"1":3}}, +"3":{"rows":[59,49,8,1,1],"rho":[56,53,7,2,0],"beta":{"23":2,"1":13}}, +"4":{"rows":[59,41,33,31,12,1],"rho":[56,45,13,2,2,0],"beta":{"34":1,"1":25}}, +"5":{"rows":[59,48,26,23,21],"rho":[32,12,9,4,2],"beta":{"43":3,"1":48}}, +"6":{"rows":[59,51,31,18,18],"rho":[53,51,12,1,1],"beta":{"42":2,"1":34}}, +"7":{"rows":[59,40,11,8],"rho":[23,19,16,1],"beta":{"39":1,"1":20}}, +"8":{"rows":[59,52,5,2],"rho":[42,41,33,2],"beta":{"33":3,"1":19}}, +"9":{"rows":[59,52,27,19,15,5],"rho":[54,31,27,2,2,2],"beta":{"46":3,"1":39}}, +"10":{"rows":[59,48,7,4],"rho":[27,19,13,0],"beta":{"35":1,"1":24}}, +"11":{"rows":[59,49,23,23,21,2],"rho":[47,44,23,2,2,0],"beta":{"32":1,"1":27}}, +"12":{"rows":[59,52,43,36,28,18],"rho":[51,39,19,5,3,1],"beta":{"46":1,"1":13}}, +"13":{"rows":[59,45,32,31,8,2],"rho":[23,22,8,3,2,1],"beta":{"33":2,"1":52}}, +"14":{"rows":[59,45,31,21,21],"rho":[49,46,22,1,0],"beta":{"44":1,"1":15}}, +"15":{"rows":[59,57,22,21,18],"rho":[52,33,28,3,2],"beta":{"40":1,"1":19}}, +"16":{"rows":[59,47,46,17,8],"rho":[37,20,1,1,0],"beta":{"42":3,"1":51}}, +"17":{"rows":[59,51,33,19,15],"rho":[52,51,13,2,0],"beta":{"42":3,"1":51}}, +"18":{"rows":[59,48,35,31,4],"rho":[42,9,7,1,0],"beta":{"43":2,"1":32}}, +"19":{"rows":[59,46,9,4],"rho":[47,42,27,2],"beta":{"36":3,"1":10}}, +"20":{"rows":[59,48,43,41,40,5],"rho":[40,38,38,2,0,0],"beta":{"47":3,"1":36}}, +"21":{"rows":[59,45,33,28,12],"rho":[58,36,20,2,2],"beta":{"44":1,"1":15}}, +"22":{"rows":[59,31,15,10,3],"rho":[23,20,12,2,2],"beta":{"29":1,"1":30}}, +"23":{"rows":[59,48,8,3],"rho":[50,47,20,1],"beta":{"35":2,"1":48}}, +"24":{"rows":[59,54,4,1],"rho":[45,39,34,0],"beta":{"32":3,"1":22}}, +"25":{"rows":[59,57,21,19,13,8],"rho":[53,49,15,1,0,0],"beta":{"30":3,"1":28}}, +"26":{"rows":[59,48,31,21,18],"rho":[25,24,6,2,2],"beta":{"43":3,"1":48}}, +"27":{"rows":[59,37,31,20,19,11],"rho":[44,37,30,3,2,2],"beta":{"35":3,"1":13}}, +"28":{"rows":[59,26,22,5,4,2],"rho":[27,20,11,1,0,0],"beta":{"23":3,"1":49}}, +"29":{"rows":[59,37,34,24,12,11],"rho":[49,46,19,2,1,1],"beta":{"35":1,"1":24}}, +"30":{"rows":[59,48,34,18,15,3],"rho":[58,27,27,3,2,1],"beta":{"47":2,"1":24}}, +"31":{"rows":[59,45,43,16,14],"rho":[51,33,32,1,1],"beta":{"44":1,"1":15}}, +"32":{"rows":[59,44,13,2],"rho":[39,11,8,1],"beta":{"37":3,"1":7}}, +"33":{"rows":[59,45,26,24,13,10],"rho":[50,43,19,3,2,1],"beta":{"33":2,"1":52}}, +"34":{"rows":[59,42,9,8],"rho":[52,41,25,0],"beta":{"38":2,"1":42}}, +"35":{"rows":[59,50,5,4],"rho":[55,35,26,2],"beta":{"34":2,"1":50}}, +"36":{"rows":[59,51,34,30,3],"rho":[42,40,30,4,2],"beta":{"42":3,"1":51}}, +"37":{"rows":[59,42,13,4],"rho":[54,53,10,1],"beta":{"38":2,"1":42}}, +"38":{"rows":[59,53,28,19,10,8],"rho":[50,40,22,4,2,0],"beta":{"31":1,"1":28}}, +"39":{"rows":[59,51,29,22,16],"rho":[24,18,11,4,2],"beta":{"42":1,"1":17}}, +"40":{"rows":[59,26,19,8,5,1],"rho":[59,33,22,2,1,1],"beta":{"23":1,"1":36}}, +"41":{"rows":[59,41,30,24,21,2],"rho":[24,23,6,3,2,1],"beta":{"34":3,"1":16}}, +"42":{"rows":[59,54,35,18,11],"rho":[52,38,24,2,2],"beta":{"41":3,"1":54}}, +"43":{"rows":[59,57,30,20,11],"rho":[35,9,9,4,2],"beta":{"40":2,"1":38}}, +"44":{"rows":[59,54,27,25,12],"rho":[54,54,10,0,0],"beta":{"41":2,"1":36}}, +"45":{"rows":[59,42,14,3],"rho":[31,18,9,1],"beta":{"38":3,"1":4}}, +"46":{"rows":[59,48,32,27,8,3],"rho":[54,47,9,3,3,2],"beta":{"47":1,"1":12}}, +"47":{"rows":[59,42,9,8],"rho":[58,48,12,0],"beta":{"38":2,"1":42}}, +"48":{"rows":[59,52,24,23,13,6],"rho":[54,43,10,5,4,2],"beta":{"46":3,"1":39}}, +"49":{"rows":[59,54,50,41,20,12],"rho":[44,9,2,2,2,0],"beta":{"44":2,"1":30}}, +"50":{"rows":[59,41,28,20,19,10],"rho":[51,49,15,1,1,1],"beta":{"34":2,"1":50}}, +"51":{"rows":[59,48,43,12,12,3],"rho":[56,28,24,4,4,2],"beta":{"47":1,"1":12}}, +"52":{"rows":[59,37,33,20,19,9],"rho":[51,50,14,1,1,1],"beta":{"35":2,"1":48}}, +"53":{"rows":[59,57,33,25,3],"rho":[29,16,10,2,2],"beta":{"40":2,"1":38}}, +"54":{"rows":[59,54,4,1],"rho":[47,44,25,2],"beta":{"32":1,"1":27}}, +"55":{"rows":[59,48,39,17,11,3],"rho":[47,5,3,2,2,0],"beta":{"47":3,"1":36}}, +"56":{"rows":[59,54,30,17,17],"rho":[57,39,18,3,1],"beta":{"41":3,"1":54}}, +"57":{"rows":[59,51,32,30,5],"rho":[58,28,28,3,1],"beta":{"42":2,"1":34}}, +"58":{"rows":[59,57,29,18,14],"rho":[30,15,12,2,0],"beta":{"40":1,"1":19}}}, +"60":{"1":{"rows":[60,52,38,22,7,1],"rho":[57,32,21,4,4,2],"beta":{"47":1,"1":13}}, +"2":{"rows":[60,44,12,4],"rho":[41,10,8,1],"beta":{"38":1,"1":22}}, +"3":{"rows":[60,58,40,22],"rho":[36,21,2,1],"beta":{"41":3,"1":57}}, +"4":{"rows":[60,50,46,42,34,8],"rho":[47,4,3,3,2,1],"beta":{"36":2,"1":48}}, +"5":{"rows":[60,57,38,22,3],"rho":[43,43,30,3,1],"beta":{"41":1,"1":19}}, +"6":{"rows":[60,41,31,26,19,3],"rho":[53,4,1,1,1,0],"beta":{"21":3,"1":57}}, +"7":{"rows":[60,51,30,27,12],"rho":[39,38,37,4,2],"beta":{"43":1,"1":17}}, +"8":{"rows":[60,56,23,21,11,9],"rho":[36,16,8,0,0,0],"beta":{"46":2,"1":28}}, +"9":{"rows":[60,56,44,36,30,14],"rho":[37,10,10,1,1,1],"beta":{"51":3,"1":27}}, +"10":{"rows":[60,57,36,16,11],"rho":[47,12,1,0,0],"beta":{"41":2,"1":38}}, +"11":{"rows":[60,52,36,34,31,27],"rho":[47,12,1,0,0,0],"beta":{"47":1,"1":13}}, +"12":{"rows":[60,39,38,24,17,2],"rho":[23,20,12,2,2,1],"beta":{"48":2,"1":24}}, +"13":{"rows":[60,33,10,9,8],"rho":[47,44,27,2,0],"beta":{"29":1,"1":31}}, +"14":{"rows":[60,41,37,29,13],"rho":[60,55,2,2,1],"beta":{"36":2,"1":48}}, +"15":{"rows":[60,54,40,26],"rho":[25,20,15,0],"beta":{"43":3,"1":51}}, +"16":{"rows":[60,58,52,30,29,11],"rho":[34,14,5,3,3,1],"beta":{"53":2,"1":14}}, +"17":{"rows":[60,51,30,28,11],"rho":[57,31,30,1,1],"beta":{"43":1,"1":17}}, +"18":{"rows":[60,42,25,22,19,12],"rho":[53,4,2,1,0,0],"beta":{"27":2,"1":6}}, +"19":{"rows":[60,33,18,6,3],"rho":[33,19,4,3,1],"beta":{"29":1,"1":31}}, +"20":{"rows":[60,28,23,9],"rho":[32,18,9,1],"beta":{"40":2,"1":40}}, +"21":{"rows":[60,43,36,22,19],"rho":[39,12,9,0,0],"beta":{"39":3,"1":3}}, +"22":{"rows":[60,56,38,34,28,24],"rho":[23,18,12,4,2,1],"beta":{"46":1,"1":14}}, +"23":{"rows":[60,54,44,18,4],"rho":[47,6,4,2,1],"beta":{"41":1,"1":19}}, +"24":{"rows":[60,55,37,14,12,2],"rho":[52,52,8,4,2,2],"beta":{"56":3,"1":12}}, +"25":{"rows":[60,56,24,17,13,10],"rho":[45,4,4,3,3,1],"beta":{"31":1,"1":29}}, +"26":{"rows":[60,44,12,4],"rho":[58,37,24,1],"beta":{"23":2,"1":14}}, +"27":{"rows":[60,58,50,12],"rho":[36,15,9,0],"beta":{"51":3,"1":27}}, +"28":{"rows":[60,52,31,15,15,7],"rho":[41,7,4,4,3,1],"beta":{"32":1,"1":28}}, +"29":{"rows":[60,46,8,6],"rho":[34,23,2,1],"beta":{"37":1,"1":23}}, +"30":{"rows":[60,44,31,28,17],"rho":[30,30,0,0,0],"beta":{"45":3,"1":45}}, +"31":{"rows":[60,51,36,18,15],"rho":[59,36,23,2,0],"beta":{"43":1,"1":17}}, +"32":{"rows":[60,53,40,19,7,1],"rho":[34,19,2,2,2,1],"beta":{"29":1,"1":31}}, +"33":{"rows":[60,42,12,6],"rho":[42,13,4,1],"beta":{"29":3,"1":33}}, +"34":{"rows":[60,46,33,18,16,7],"rho":[23,18,18,1,0,0],"beta":{"41":2,"1":38}}, +"35":{"rows":[60,46,12,2],"rho":[28,19,12,1],"beta":{"37":1,"1":23}}, +"36":{"rows":[60,30,17,6,5,2],"rho":[59,29,29,2,1,0],"beta":{"48":2,"1":24}}, +"37":{"rows":[60,52,46,39,31,12],"rho":[44,37,33,4,2,0],"beta":{"47":1,"1":13}}, +"38":{"rows":[60,57,24,24,15],"rho":[29,18,8,3,2],"beta":{"31":2,"1":58}}, +"39":{"rows":[60,58,32,30],"rho":[28,23,8,1],"beta":{"51":3,"1":27}}, +"40":{"rows":[60,26,25,9],"rho":[50,6,3,1],"beta":{"50":2,"1":20}}, +"41":{"rows":[60,56,55,38,30,1],"rho":[38,7,7,4,3,1],"beta":{"43":1,"1":17}}, +"42":{"rows":[60,59,29,17,15],"rho":[30,27,3,0,0],"beta":{"47":3,"1":39}}, +"43":{"rows":[60,52,44,16,4,4],"rho":[36,11,6,3,2,2],"beta":{"47":1,"1":13}}, +"44":{"rows":[60,24,19,15,2],"rho":[29,15,15,1,0],"beta":{"22":2,"1":16}}, +"45":{"rows":[60,55,50,10,5],"rho":[47,7,4,1,1],"beta":{"55":3,"1":15}}, +"46":{"rows":[60,52,36,32],"rho":[37,12,11,0],"beta":{"49":2,"1":22}}, +"47":{"rows":[60,51,42,24,3],"rho":[27,16,11,4,2],"beta":{"43":1,"1":17}}, +"48":{"rows":[60,54,5,1],"rho":[22,22,14,2],"beta":{"23":3,"1":51}}, +"49":{"rows":[60,33,18,6,3],"rho":[47,38,33,2,0],"beta":{"29":1,"1":31}}, +"50":{"rows":[60,39,36,27,18],"rho":[39,14,5,2,0],"beta":{"37":2,"1":46}}, +"51":{"rows":[60,44,31,19,14,12],"rho":[32,13,10,2,2,1],"beta":{"39":3,"1":3}}, +"52":{"rows":[60,48,33,22,17],"rho":[55,33,32,0,0],"beta":{"44":1,"1":16}}, +"53":{"rows":[60,56,27,22,8,7],"rho":[32,13,10,3,2,0],"beta":{"31":1,"1":29}}, +"54":{"rows":[60,52,48,20],"rho":[60,29,29,2],"beta":{"49":2,"1":22}}, +"55":{"rows":[60,57,34,17,12],"rho":[33,13,13,1,0],"beta":{"41":1,"1":19}}, +"56":{"rows":[60,52,38,30],"rho":[44,8,8,0],"beta":{"49":2,"1":22}}, +"57":{"rows":[60,54,50,16],"rho":[49,36,34,1],"beta":{"53":3,"1":21}}, +"58":{"rows":[60,58,25,18,13,6],"rho":[52,35,25,3,3,2],"beta":{"53":2,"1":14}}, +"59":{"rows":[60,52,31,27,8,2],"rho":[33,10,7,5,3,2],"beta":{"47":1,"1":13}}}, +"61":{"1":{"rows":[61,54,6,1],"rho":[60,38,24,0],"beta":{"34":1,"1":27}}, +"2":{"rows":[61,47,7,5,2],"rho":[61,37,19,3,2],"beta":{"25":3,"1":47}}, +"3":{"rows":[61,54,36,30,2],"rho":[61,50,8,2,1],"beta":{"43":3,"1":54}}, +"4":{"rows":[61,51,36,27,8],"rho":[40,8,8,3,2],"beta":{"44":1,"1":17}}, +"5":{"rows":[61,54,36,28,4],"rho":[59,33,26,3,1],"beta":{"43":3,"1":54}}, +"6":{"rows":[61,38,15,6,2],"rho":[48,37,36,1,0],"beta":{"28":3,"1":38}}, +"7":{"rows":[61,41,12,6,2],"rho":[56,32,32,2,0],"beta":{"27":2,"1":7}}, +"8":{"rows":[61,48,43,27,4],"rho":[35,18,4,2,2],"beta":{"45":2,"1":32}}, +"9":{"rows":[61,52,29,18,14,9],"rho":[52,38,25,3,3,1],"beta":{"48":2,"1":26}}, +"10":{"rows":[61,50,9,2],"rho":[46,43,32,1],"beta":{"36":3,"1":14}}, +"11":{"rows":[61,54,4,3],"rho":[55,52,14,1],"beta":{"34":3,"1":20}}, +"12":{"rows":[61,56,26,23,16,1],"rho":[54,52,6,5,3,2],"beta":{"47":3,"1":42}}, +"13":{"rows":[61,47,31,30,13,1],"rho":[22,21,15,2,1,0],"beta":{"34":1,"1":27}}, +"14":{"rows":[61,44,14,3],"rho":[28,26,5,2],"beta":{"39":1,"1":22}}, +"15":{"rows":[61,54,33,25,10],"rho":[41,14,3,2,1],"beta":{"43":2,"1":36}}, +"16":{"rows":[61,35,14,7,5],"rho":[50,41,26,3,2],"beta":{"29":1,"1":32}}, +"17":{"rows":[61,46,9,6],"rho":[44,14,3,0],"beta":{"38":3,"1":8}}, +"18":{"rows":[61,56,45,34,32,16],"rho":[20,17,15,4,3,2],"beta":{"47":3,"1":42}}, +"19":{"rows":[61,51,28,24,19],"rho":[34,16,7,2,2],"beta":{"44":1,"1":17}}, +"20":{"rows":[61,57,38,22,5],"rho":[50,39,33,0,0],"beta":{"42":2,"1":38}}, +"21":{"rows":[61,52,44,36,29,22],"rho":[54,33,33,1,1,0],"beta":{"48":2,"1":26}}, +"22":{"rows":[61,32,27,1,1],"rho":[20,19,18,3,1],"beta":{"30":3,"1":32}}, +"23":{"rows":[61,51,31,25,15],"rho":[56,53,7,4,2],"beta":{"44":2,"1":34}}, +"24":{"rows":[61,54,38,19,11],"rho":[57,42,19,2,2],"beta":{"43":1,"1":18}}, +"25":{"rows":[61,44,16,1],"rho":[47,47,27,1],"beta":{"39":3,"1":5}}, +"26":{"rows":[61,52,7,2],"rho":[35,19,7,0],"beta":{"35":2,"1":52}}, +"27":{"rows":[61,50,9,2],"rho":[37,23,1,0],"beta":{"36":1,"1":25}}, +"28":{"rows":[61,47,32,27,9,7],"rho":[38,16,7,0,0,0],"beta":{"34":2,"1":54}}, +"29":{"rows":[61,56,4,1],"rho":[47,13,1,0],"beta":{"33":1,"1":28}}, +"30":{"rows":[61,32,14,13,2],"rho":[51,48,17,4,2],"beta":{"30":1,"1":31}}, +"31":{"rows":[61,48,11,2],"rho":[29,19,11,2],"beta":{"37":3,"1":11}}, +"32":{"rows":[61,38,12,8,3],"rho":[46,45,29,2,0],"beta":{"28":2,"1":5}}, +"33":{"rows":[61,54,26,26,16],"rho":[60,47,15,0,0],"beta":{"43":3,"1":54}}, +"34":{"rows":[61,57,33,25,7],"rho":[52,34,31,3,2],"beta":{"42":1,"1":19}}, +"35":{"rows":[61,48,8,5],"rho":[47,46,29,0],"beta":{"37":2,"1":48}}, +"36":{"rows":[61,59,28,15,10,10],"rho":[59,47,13,1,1,1],"beta":{"31":1,"1":30}}, +"37":{"rows":[61,51,38,17,16],"rho":[28,18,11,3,1],"beta":{"44":3,"1":51}}, +"38":{"rows":[61,56,39,35,32,21],"rho":[48,38,28,4,3,1],"beta":{"47":1,"1":14}}, +"39":{"rows":[61,57,40,18,7],"rho":[47,43,27,3,2],"beta":{"42":3,"1":57}}, +"40":{"rows":[61,42,18,1],"rho":[33,16,10,2],"beta":{"40":3,"1":2}}, +"41":{"rows":[61,54,32,25,11],"rho":[31,26,3,1,0],"beta":{"43":2,"1":36}}, +"42":{"rows":[61,44,14,3],"rho":[34,24,3,0],"beta":{"39":3,"1":5}}, +"43":{"rows":[61,52,47,16,5,2],"rho":[52,40,26,3,1,0],"beta":{"48":1,"1":13}}, +"44":{"rows":[61,56,30,28,7,1],"rho":[47,47,24,2,1,1],"beta":{"47":1,"1":14}}, +"45":{"rows":[61,56,4,1],"rho":[51,38,32,1],"beta":{"33":1,"1":28}}, +"46":{"rows":[61,51,30,30,11],"rho":[41,13,5,1,1],"beta":{"44":3,"1":51}}, +"47":{"rows":[61,48,41,20,13],"rho":[25,21,11,2,2],"beta":{"45":3,"1":48}}, +"48":{"rows":[61,54,38,25,5],"rho":[55,39,25,2,1],"beta":{"43":3,"1":54}}, +"49":{"rows":[61,57,33,21,11],"rho":[29,24,5,2,1],"beta":{"42":3,"1":57}}, +"50":{"rows":[61,48,40,18,16],"rho":[46,7,6,1,1],"beta":{"45":2,"1":32}}, +"51":{"rows":[61,52,46,46,31,8],"rho":[50,40,21,5,4,2],"beta":{"48":3,"1":39}}, +"52":{"rows":[61,54,41,17,10],"rho":[59,50,13,0,0],"beta":{"43":2,"1":36}}, +"53":{"rows":[61,59,30,15,9,9],"rho":[59,28,24,5,4,2],"beta":{"31":1,"1":30}}, +"54":{"rows":[61,58,2,1],"rho":[54,39,27,2],"beta":{"32":3,"1":26}}, +"55":{"rows":[61,58,2,1],"rho":[34,23,4,0],"beta":{"32":3,"1":26}}, +"56":{"rows":[61,47,33,27,10,5],"rho":[19,19,14,5,3,1],"beta":{"34":2,"1":54}}, +"57":{"rows":[61,39,29,28,22,4],"rho":[50,37,29,4,2,0],"beta":{"36":3,"1":14}}, +"58":{"rows":[61,39,23,23,19,18],"rho":[25,25,5,4,2,0],"beta":{"36":2,"1":50}}, +"59":{"rows":[61,48,41,29,4],"rho":[49,43,27,2,1],"beta":{"45":1,"1":16}}, +"60":{"rows":[61,58,54,34,29,8],"rho":[27,26,3,3,2,0],"beta":{"44":1,"1":17}}}, +"62":{"1":{"rows":[62,54,6,2],"rho":[25,20,16,1],"beta":{"35":1,"1":27}}, +"2":{"rows":[62,60,38,22,4],"rho":[52,6,3,1,0],"beta":{"42":2,"1":40}}, +"3":{"rows":[62,60,46,37,29,14],"rho":[33,24,2,1,1,1],"beta":{"47":3,"1":45}}, +"4":{"rows":[62,60,40,15,9],"rho":[29,23,6,3,1],"beta":{"42":2,"1":40}}, +"5":{"rows":[62,54,6,2],"rho":[54,43,26,1],"beta":{"35":3,"1":19}}, +"6":{"rows":[62,37,15,8,2],"rho":[60,55,9,0,0],"beta":{"29":3,"1":37}}, +"7":{"rows":[62,51,37,32,4],"rho":[59,51,9,3,2],"beta":{"45":1,"1":17}}, +"8":{"rows":[62,61,41,22],"rho":[34,17,11,0],"beta":{"47":2,"1":30}}, +"9":{"rows":[62,57,40,15,12],"rho":[45,37,37,3,2],"beta":{"43":1,"1":19}}, +"10":{"rows":[62,50,8,4],"rho":[54,40,28,2],"beta":{"37":1,"1":25}}, +"11":{"rows":[62,60,39,38,34,15],"rho":[52,41,20,5,4,2],"beta":{"47":1,"1":15}}, +"12":{"rows":[62,60,38,20,6],"rho":[59,45,18,1,1],"beta":{"42":2,"1":40}}, +"13":{"rows":[62,51,36,24,13],"rho":[59,52,8,3,2],"beta":{"45":1,"1":17}}, +"14":{"rows":[62,56,5,1],"rho":[37,17,8,0],"beta":{"34":3,"1":22}}, +"15":{"rows":[62,57,34,32,1],"rho":[29,23,6,3,1],"beta":{"43":3,"1":57}}, +"16":{"rows":[62,54,29,21,20],"rho":[39,13,10,0,0],"beta":{"44":3,"1":54}}, +"17":{"rows":[62,60,45,44,29,8],"rho":[45,40,38,1,0,0],"beta":{"47":1,"1":15}}, +"18":{"rows":[62,42,11,9],"rho":[59,41,23,1],"beta":{"41":2,"1":42}}, +"19":{"rows":[62,46,10,6],"rho":[48,41,34,1],"beta":{"39":3,"1":7}}, +"20":{"rows":[62,52,48,11,9,4],"rho":[35,17,10,0,0,0],"beta":{"49":2,"1":26}}, +"21":{"rows":[62,52,42,41,39,12],"rho":[34,25,3,0,0,0],"beta":{"49":1,"1":13}}, +"22":{"rows":[62,46,13,3],"rho":[44,12,5,1],"beta":{"39":2,"1":46}}, +"23":{"rows":[62,51,38,25,10],"rho":[55,34,33,2,0],"beta":{"45":1,"1":17}}, +"24":{"rows":[62,53,49,22],"rho":[41,13,7,1],"beta":{"51":2,"1":22}}, +"25":{"rows":[62,52,40,36,32,26],"rho":[60,39,19,2,2,2],"beta":{"49":3,"1":39}}, +"26":{"rows":[62,52,8,2],"rho":[28,22,12,0],"beta":{"36":1,"1":26}}, +"27":{"rows":[62,54,6,2],"rho":[29,18,13,2],"beta":{"35":3,"1":19}}, +"28":{"rows":[62,57,33,18,9,7],"rho":[24,19,11,4,2,2],"beta":{"40":2,"1":44}}, +"29":{"rows":[62,46,14,2],"rho":[42,11,8,1],"beta":{"39":3,"1":7}}, +"30":{"rows":[62,59,45,20],"rho":[44,13,5,0],"beta":{"48":2,"1":28}}, +"31":{"rows":[62,60,59,49,9,9],"rho":[33,19,4,3,2,1],"beta":{"40":1,"1":22}}, +"32":{"rows":[62,37,20,5],"rho":[43,15,3,1],"beta":{"28":2,"1":6}}, +"33":{"rows":[62,57,42,17,8],"rho":[33,18,11,0,0],"beta":{"43":3,"1":57}}, +"34":{"rows":[62,51,31,28,14],"rho":[60,32,30,1,1],"beta":{"45":1,"1":17}}, +"35":{"rows":[62,51,33,22,18],"rho":[47,7,3,3,2],"beta":{"45":1,"1":17}}, +"36":{"rows":[62,53,36,35],"rho":[56,42,26,0],"beta":{"51":2,"1":22}}, +"37":{"rows":[62,46,28,25,13,12],"rho":[53,48,23,0,0,0],"beta":{"35":1,"1":27}}, +"38":{"rows":[62,49,8,5],"rho":[27,25,9,1],"beta":{"22":2,"1":18}}, +"39":{"rows":[62,42,12,8],"rho":[29,24,9,0],"beta":{"41":3,"1":1}}, +"40":{"rows":[62,44,16,2],"rho":[51,7,4,0],"beta":{"40":3,"1":4}}, +"41":{"rows":[62,50,10,2],"rho":[30,17,14,1],"beta":{"37":1,"1":25}}, +"42":{"rows":[62,42,11,9],"rho":[25,23,12,2],"beta":{"41":2,"1":42}}, +"43":{"rows":[62,42,12,8],"rho":[50,47,26,1],"beta":{"41":1,"1":21}}, +"44":{"rows":[62,42,33,27,17,5],"rho":[52,32,32,3,3,2],"beta":{"36":3,"1":16}}, +"45":{"rows":[62,52,46,40,38,10],"rho":[27,22,12,1,0,0],"beta":{"49":1,"1":13}}, +"46":{"rows":[62,56,24,22,22],"rho":[53,42,24,3,2],"beta":{"33":2,"1":58}}, +"47":{"rows":[62,52,41,40,27,26],"rho":[40,11,7,2,1,1],"beta":{"49":3,"1":39}}, +"48":{"rows":[62,61,43,15,5],"rho":[50,47,23,3,1],"beta":{"52":2,"1":20}}, +"49":{"rows":[62,60,46,41,36,3],"rho":[33,22,3,2,2,0],"beta":{"47":3,"1":45}}, +"50":{"rows":[62,46,33,26,10,9],"rho":[62,44,16,2,0,0],"beta":{"35":1,"1":27}}, +"51":{"rows":[62,46,10,6],"rho":[33,18,9,2],"beta":{"39":3,"1":7}}, +"52":{"rows":[62,51,44,27,2],"rho":[62,58,2,2,0],"beta":{"45":3,"1":51}}, +"53":{"rows":[62,57,41,18,8],"rho":[21,20,18,2,1],"beta":{"43":3,"1":57}}, +"54":{"rows":[62,56,34,16,10,8],"rho":[52,43,21,4,3,1],"beta":{"48":3,"1":42}}, +"55":{"rows":[62,46,10,6],"rho":[60,41,21,2],"beta":{"39":1,"1":23}}, +"56":{"rows":[62,39,13,10],"rho":[37,21,3,1],"beta":{"27":2,"1":8}}, +"57":{"rows":[62,52,48,36,35,15],"rho":[54,33,32,3,1,1],"beta":{"49":1,"1":13}}, +"58":{"rows":[62,46,15,1],"rho":[25,21,14,2],"beta":{"39":3,"1":7}}, +"59":{"rows":[62,52,47,39,36,12],"rho":[52,43,21,3,3,2],"beta":{"49":3,"1":39}}, +"60":{"rows":[62,61,26,21,16],"rho":[61,32,27,2,2],"beta":{"52":2,"1":20}}, +"61":{"rows":[62,43,12,4,3],"rho":[23,22,13,2,2],"beta":{"27":3,"1":43}}}, +"63":{"1":{"rows":[63,60,39,16,11],"rho":[35,20,8,0,0],"beta":{"43":2,"1":40}}, +"2":{"rows":[63,51,44,19,12],"rho":[37,13,7,4,2],"beta":{"46":2,"1":34}}, +"3":{"rows":[63,51,33,28,14],"rho":[30,20,13,0,0],"beta":{"46":3,"1":51}}, +"4":{"rows":[63,50,12,1],"rho":[34,24,5,0],"beta":{"38":1,"1":25}}, +"5":{"rows":[63,52,27,21,15,11],"rho":[51,32,31,6,4,2],"beta":{"50":2,"1":26}}, +"6":{"rows":[63,52,49,48,31,9],"rho":[54,49,19,3,1,0],"beta":{"50":3,"1":39}}, +"7":{"rows":[63,56,43,41,34,15],"rho":[40,11,5,3,3,1],"beta":{"49":1,"1":14}}, +"8":{"rows":[63,60,30,21,15],"rho":[55,43,26,2,0],"beta":{"43":2,"1":40}}, +"9":{"rows":[63,57,25,20,17,7],"rho":[51,39,30,4,2,0],"beta":{"33":1,"1":30}}, +"10":{"rows":[63,57,42,15,12],"rho":[40,15,6,1,1],"beta":{"44":1,"1":19}}, +"11":{"rows":[63,48,7,6,2],"rho":[54,34,34,3,1],"beta":{"26":2,"1":11}}, +"12":{"rows":[63,58,47,21],"rho":[62,53,11,0],"beta":{"55":3,"1":24}}, +"13":{"rows":[63,46,11,6],"rho":[53,51,21,1],"beta":{"40":1,"1":23}}, +"14":{"rows":[63,56,44,35,33,21],"rho":[23,18,16,2,2,2],"beta":{"49":2,"1":28}}, +"15":{"rows":[63,55,21,18,18,14],"rho":[42,10,4,3,3,1],"beta":{"23":3,"1":57}}, +"16":{"rows":[63,39,39,21,20,7],"rho":[38,15,3,3,2,2],"beta":{"37":1,"1":26}}, +"17":{"rows":[63,52,6,5],"rho":[61,34,30,1],"beta":{"37":1,"1":26}}, +"18":{"rows":[63,48,41,23,14],"rho":[28,20,9,4,2],"beta":{"47":3,"1":48}}, +"19":{"rows":[63,46,14,3],"rho":[41,14,8,0],"beta":{"40":1,"1":23}}, +"20":{"rows":[63,41,35,20,16,14],"rho":[60,56,10,0,0,0],"beta":{"37":1,"1":26}}, +"21":{"rows":[63,36,15,12],"rho":[56,7,0,0],"beta":{"42":2,"1":42}}, +"22":{"rows":[63,50,7,6],"rho":[55,50,20,1],"beta":{"38":1,"1":25}}, +"23":{"rows":[63,57,36,30,3],"rho":[49,48,29,0,0],"beta":{"44":2,"1":38}}, +"24":{"rows":[63,44,18,1],"rho":[33,18,12,0],"beta":{"41":1,"1":22}}, +"25":{"rows":[63,57,28,27,14],"rho":[59,32,29,4,2],"beta":{"44":1,"1":19}}, +"26":{"rows":[63,52,28,22,22,2],"rho":[43,42,35,3,2,1],"beta":{"50":2,"1":26}}, +"27":{"rows":[63,52,42,13,12,7],"rho":[32,17,7,3,3,1],"beta":{"50":3,"1":39}}, +"28":{"rows":[63,26,19,13,3,2],"rho":[61,41,17,4,2,1],"beta":{"25":1,"1":38}}, +"29":{"rows":[63,57,36,27,6],"rho":[44,41,35,4,2],"beta":{"44":2,"1":38}}, +"30":{"rows":[63,52,44,43,33,17],"rho":[32,20,9,1,1,0],"beta":{"50":2,"1":26}}, +"31":{"rows":[63,51,27,24,24],"rho":[46,42,32,4,2],"beta":{"46":2,"1":34}}, +"32":{"rows":[63,52,46,36,29,26],"rho":[28,23,8,3,1,0],"beta":{"50":1,"1":13}}, +"33":{"rows":[63,61,51,45,16,16],"rho":[63,46,13,2,1,1],"beta":{"53":3,"1":30}}, +"34":{"rows":[63,50,12,1],"rho":[34,16,12,1],"beta":{"38":1,"1":25}}, +"35":{"rows":[63,56,25,23,19,3],"rho":[31,15,9,3,3,2],"beta":{"49":1,"1":14}}, +"36":{"rows":[63,48,38,20,20],"rho":[45,9,8,1,0],"beta":{"47":1,"1":16}}, +"37":{"rows":[63,52,39,34,34,30],"rho":[53,52,11,5,3,2],"beta":{"50":1,"1":13}}, +"38":{"rows":[63,48,42,21,15],"rho":[62,35,29,0,0],"beta":{"47":2,"1":32}}, +"39":{"rows":[63,53,9,1],"rho":[34,27,2,0],"beta":{"47":3,"1":48}}, +"40":{"rows":[63,57,39,26,4],"rho":[37,12,10,2,2],"beta":{"44":1,"1":19}}, +"41":{"rows":[63,53,25,24,14,10],"rho":[32,13,8,5,3,2],"beta":{"34":1,"1":29}}, +"42":{"rows":[63,56,48,22],"rho":[41,13,8,1],"beta":{"56":3,"1":21}}, +"43":{"rows":[63,51,36,30,9],"rho":[30,20,10,2,1],"beta":{"46":1,"1":17}}, +"44":{"rows":[63,52,8,3],"rho":[53,44,29,0],"beta":{"37":2,"1":52}}, +"45":{"rows":[63,57,49,44,20,19],"rho":[46,7,3,3,2,2],"beta":{"54":3,"1":27}}, +"46":{"rows":[63,48,30,27,21],"rho":[54,41,31,0,0],"beta":{"47":2,"1":32}}, +"47":{"rows":[63,41,35,28,19,3],"rho":[52,38,32,2,2,0],"beta":{"37":2,"1":52}}, +"48":{"rows":[63,52,39,18,15,2],"rho":[28,15,15,3,2,0],"beta":{"50":3,"1":39}}, +"49":{"rows":[63,56,4,3],"rho":[58,36,30,2],"beta":{"35":1,"1":28}}, +"50":{"rows":[63,48,41,19,18],"rho":[28,18,12,3,2],"beta":{"47":2,"1":32}}, +"51":{"rows":[63,44,16,3],"rho":[53,51,21,1],"beta":{"41":3,"1":3}}, +"52":{"rows":[63,51,41,22,12],"rho":[50,42,28,4,2],"beta":{"46":1,"1":17}}, +"53":{"rows":[63,57,28,26,15],"rho":[37,13,7,4,2],"beta":{"44":1,"1":19}}, +"54":{"rows":[63,32,18,8,5],"rho":[37,22,2,2,0],"beta":{"17":3,"1":12}}, +"55":{"rows":[63,51,43,18,14],"rho":[27,20,11,3,2],"beta":{"46":1,"1":17}}, +"56":{"rows":[63,52,6,5],"rho":[29,23,9,2],"beta":{"37":2,"1":52}}, +"57":{"rows":[63,61,43,37,29,19],"rho":[26,25,6,2,2,2],"beta":{"53":3,"1":30}}, +"58":{"rows":[63,52,48,46,22,21],"rho":[55,35,31,2,2,1],"beta":{"50":2,"1":26}}, +"59":{"rows":[63,48,45,24,9],"rho":[22,22,18,1,0],"beta":{"47":1,"1":16}}, +"60":{"rows":[63,41,15,7],"rho":[53,53,18,2],"beta":{"32":3,"1":30}}, +"61":{"rows":[63,48,42,21,15],"rho":[34,21,7,1,0],"beta":{"47":1,"1":16}}, +"62":{"rows":[63,52,24,23,16,11],"rho":[39,14,6,2,1,1],"beta":{"50":2,"1":26}}}, +"64":{"1":{"rows":[64,51,42,34,1],"rho":[31,23,7,2,1],"beta":{"47":3,"1":51}}, +"2":{"rows":[64,58,40,30],"rho":[38,21,4,1],"beta":{"51":2,"1":26}}, +"3":{"rows":[64,54,8,2],"rho":[50,45,32,1],"beta":{"37":1,"1":27}}, +"4":{"rows":[64,46,36,33,13],"rho":[53,4,3,2,2],"beta":{"38":2,"1":52}}, +"5":{"rows":[64,57,34,33,4],"rho":[63,50,12,2,1],"beta":{"45":1,"1":19}}, +"6":{"rows":[64,62,42,24],"rho":[44,11,7,2],"beta":{"49":2,"1":30}}, +"7":{"rows":[64,60,38,15,10,5],"rho":[54,41,28,3,1,1],"beta":{"49":3,"1":45}}, +"8":{"rows":[64,60,40,40,36,16],"rho":[52,8,3,1,0,0],"beta":{"49":2,"1":30}}, +"9":{"rows":[64,54,6,4],"rho":[56,43,29,0],"beta":{"37":3,"1":17}}, +"10":{"rows":[64,40,37,28,19,4],"rho":[34,11,8,5,4,2],"beta":{"38":1,"1":26}}, +"11":{"rows":[64,47,8,5,4],"rho":[51,47,25,3,2],"beta":{"27":1,"1":37}}, +"12":{"rows":[64,63,38,21,6],"rho":[22,22,16,2,2],"beta":{"43":2,"1":42}}, +"13":{"rows":[64,52,48,36,33,23],"rho":[50,37,34,3,2,2],"beta":{"51":3,"1":39}}, +"14":{"rows":[64,62,36,30],"rho":[33,24,5,2],"beta":{"49":2,"1":30}}, +"15":{"rows":[64,50,10,4],"rho":[41,12,10,1],"beta":{"39":3,"1":11}}, +"16":{"rows":[64,50,48,23,7],"rho":[37,24,3,0,0],"beta":{"56":2,"1":16}}, +"17":{"rows":[64,52,32,31,9,4],"rho":[25,22,7,4,4,2],"beta":{"51":3,"1":39}}, +"18":{"rows":[64,34,28,2],"rho":[33,24,5,2],"beta":{"31":2,"1":2}}, +"19":{"rows":[64,52,34,30,11,1],"rho":[32,17,8,3,3,1],"beta":{"51":3,"1":39}}, +"20":{"rows":[64,56,28,22,20,2],"rho":[60,34,31,1,1,1],"beta":{"50":1,"1":14}}, +"21":{"rows":[64,50,12,2],"rho":[35,20,7,2],"beta":{"39":3,"1":11}}, +"22":{"rows":[64,54,8,2],"rho":[39,14,9,2],"beta":{"37":2,"1":54}}, +"23":{"rows":[64,51,44,25,8],"rho":[47,46,31,2,2],"beta":{"47":1,"1":17}}, +"24":{"rows":[64,36,25,3],"rho":[56,42,29,1],"beta":{"30":2,"1":4}}, +"25":{"rows":[64,54,8,2],"rho":[63,46,17,2],"beta":{"37":3,"1":17}}, +"26":{"rows":[64,60,51,10,5,2],"rho":[32,15,6,5,4,2],"beta":{"57":2,"1":14}}, +"27":{"rows":[64,50,10,4],"rho":[57,40,30,1],"beta":{"39":3,"1":11}}, +"28":{"rows":[64,52,49,44,39,8],"rho":[48,44,33,2,1,0],"beta":{"51":1,"1":13}}, +"29":{"rows":[64,46,12,6],"rho":[38,23,2,1],"beta":{"41":1,"1":23}}, +"30":{"rows":[64,40,32,32,18,6],"rho":[45,6,6,3,2,2],"beta":{"38":1,"1":26}}, +"31":{"rows":[64,63,32,18,15],"rho":[23,19,19,2,1],"beta":{"43":1,"1":21}}, +"32":{"rows":[64,28,19,11,6],"rho":[51,9,3,1,0],"beta":{"32":1,"1":32}}, +"33":{"rows":[64,47,12,3,2],"rho":[41,41,41,3,2],"beta":{"27":1,"1":37}}, +"34":{"rows":[64,54,32,26,16],"rho":[35,16,13,0,0],"beta":{"46":3,"1":54}}, +"35":{"rows":[64,50,10,4],"rho":[54,49,23,2],"beta":{"39":3,"1":11}}, +"36":{"rows":[64,60,26,22,20],"rho":[45,14,3,1,1],"beta":{"44":1,"1":20}}, +"37":{"rows":[64,60,40,12,8,8],"rho":[34,11,10,5,3,1],"beta":{"49":3,"1":45}}, +"38":{"rows":[64,46,14,4],"rho":[64,46,18,0],"beta":{"41":1,"1":23}}, +"39":{"rows":[64,46,14,4],"rho":[48,43,37,0],"beta":{"41":1,"1":23}}, +"40":{"rows":[64,59,50,42,41],"rho":[52,48,27,1,0],"beta":{"55":2,"1":18}}, +"41":{"rows":[64,60,46,41,23,22],"rho":[30,21,7,4,2,0],"beta":{"49":1,"1":15}}, +"42":{"rows":[64,59,50,14,5],"rho":[61,52,9,4,2],"beta":{"55":2,"1":18}}, +"43":{"rows":[64,60,23,22,21,2],"rho":[51,36,33,4,3,1],"beta":{"33":3,"1":29}}, +"44":{"rows":[64,20,16,12,11,5],"rho":[48,6,6,2,1,1],"beta":{"19":2,"1":26}}, +"45":{"rows":[64,60,44,40,40,8],"rho":[44,17,3,0,0,0],"beta":{"49":3,"1":45}}, +"46":{"rows":[64,59,49,14,6],"rho":[27,17,15,3,2],"beta":{"55":2,"1":18}}, +"47":{"rows":[64,35,20,7,2],"rho":[47,40,38,2,1],"beta":{"31":1,"1":33}}, +"48":{"rows":[64,58,37,33],"rho":[46,14,4,0],"beta":{"51":2,"1":26}}, +"49":{"rows":[64,50,12,2],"rho":[47,44,35,2],"beta":{"39":3,"1":11}}, +"50":{"rows":[64,46,14,4],"rho":[58,48,20,2],"beta":{"41":3,"1":5}}, +"51":{"rows":[64,60,27,18,15,8],"rho":[39,14,7,2,1,1],"beta":{"33":1,"1":31}}, +"52":{"rows":[64,60,37,27,4],"rho":[61,35,30,2,0],"beta":{"44":1,"1":20}}, +"53":{"rows":[64,57,34,29,8],"rho":[47,42,33,4,2],"beta":{"45":1,"1":19}}, +"54":{"rows":[64,34,18,12],"rho":[37,18,8,1],"beta":{"31":2,"1":2}}, +"55":{"rows":[64,51,44,24,9],"rho":[61,60,5,2,0],"beta":{"47":3,"1":51}}, +"56":{"rows":[64,44,14,6],"rho":[35,19,8,2],"beta":{"42":3,"1":2}}, +"57":{"rows":[64,52,44,36,36,24],"rho":[56,33,29,4,4,2],"beta":{"51":1,"1":13}}, +"58":{"rows":[64,54,37,34,3],"rho":[47,46,34,1,0],"beta":{"46":3,"1":54}}, +"59":{"rows":[64,52,33,22,13,8],"rho":[28,15,13,4,3,1],"beta":{"51":1,"1":13}}, +"60":{"rows":[64,38,12,9,5],"rho":[30,19,13,2,0],"beta":{"30":3,"1":38}}, +"61":{"rows":[64,47,8,8,1],"rho":[47,41,38,1,1],"beta":{"27":3,"1":47}}, +"62":{"rows":[64,46,10,8],"rho":[36,26,2,0],"beta":{"41":1,"1":23}}, +"63":{"rows":[64,57,36,20,15],"rho":[63,46,13,4,2],"beta":{"45":3,"1":57}}}}}