{
  "schema": "marici.voevodsky.native-task-catalogue-result.v1",
  "status": "passed",
  "verification_passed": true,
  "classification": "exact_native_schedule_task_and_readout_theorems_on_the_fixed_coefficient_carrier",
  "active_obligation": "forward realization of native staged coefficient tasks, followed by readout descent on the declared observer kernels",
  "checks": [
    {
      "name": "fresh_seed_reconstruction_and_all_1836_coefficients",
      "passed": true
    },
    {
      "name": "typed_schedule_and_projector_identities",
      "passed": true
    },
    {
      "name": "orthogonal_24_11_1_diagnostic_decomposition",
      "passed": true
    },
    {
      "name": "source_derived_local_encoder_mean_return_and_11_comparisons",
      "passed": true
    },
    {
      "name": "all_96_local_mask_cases_and_general_rank_formula",
      "passed": true
    },
    {
      "name": "60_global_mask_controls",
      "passed": true
    },
    {
      "name": "raw_G_substitution_detectably_changes_the_task",
      "passed": true
    },
    {
      "name": "24_address_decoder_all_basis_vectors_all_local_omissions_and_24_deletions",
      "passed": true
    },
    {
      "name": "two_seed_faces_equal_norm_indistinguishable_pair_and_five_hidden_local_modes",
      "passed": true
    },
    {
      "name": "constructive_local_and_terminal_preimage_fibers",
      "passed": true
    },
    {
      "name": "primitive_deletion_duplication_stage_and_coefficient_hostiles",
      "passed": true
    }
  ],
  "source_hashes": {
    "research/voevodsky/inputs/proton-native-task-catalogue-v1.json": "5bf224f78b61ee67cf3f6f93c219764012a3e0c140ba0c85c04af1898c95dfea",
    "research/nima/inputs/proton-six-arrows.json": "dbc3fb179092ac6b27d60482bbb30844c9a4fb9030bc065a5b1ed85a9ebebc60",
    "research/nima/results/twelve-triangle-1836-arrows.json": "b9d6416fe3af3e7e85fcd1a9b8c48aa3e0ea142501368d726fc0601ea73b52ff",
    "research/voevodsky/checkers/check_proton_native_task_catalogue.py": "7b44e34c917928943d8f1b717c2c6a0f05b202635d47c720292dd83911b9c6d4",
    "research/nima/checkers/assemble_triangle_arrow_source.py": "24723dc454ee69b570e60e60997dbfe8db5b38cad1241c82a27db5cb4b8d8fd0",
    "research/nima/checkers/check_twelve_triangle_positive_geometry.py": "4c8b1e876c06731c5ec115c3e604a28f962caf4a7899e5c829934e3b9a611caa",
    "research/nima/checkers/check_triangle_half_phase.py": "91d9b6c2ba516a91153d5dd59b6745b629c615fe3f0f5d807b61d7d9588865f7",
    "research/nima/checkers/check_collective_four_state_identity.py": "485c28d643189dbee8bd2ccb8f1dcb74bab9411360f081ebec62674097845b0d"
  },
  "source_reconstruction": {
    "input_arrows": [
      [
        "A",
        "B"
      ],
      [
        "A",
        "D"
      ],
      [
        "B",
        "A"
      ],
      [
        "B",
        "C"
      ],
      [
        "C",
        "A"
      ],
      [
        "D",
        "B"
      ]
    ],
    "derived_cycles": [
      [
        "A",
        "B",
        "C"
      ],
      [
        "A",
        "D",
        "B"
      ]
    ],
    "proper_rotations": 12,
    "triangles": 12,
    "boundary_chain_zero": true,
    "vertices": 8,
    "undirected_edges": 18,
    "signed_volume": "8/3",
    "arrows_per_stage": [
      108,
      432,
      1296
    ],
    "unique_directed_arrows": 1836,
    "closed_three_step_cycles": 1296,
    "return_cycle_union_measure": 1836,
    "closed_walk_union_covers_every_arrow": true,
    "closed_cycle_weights_positive": true,
    "closed_cycle_weight_sum": [
      "1",
      "0"
    ],
    "triangles_and_transports": [
      {
        "outer_arrow": [
          "A",
          "B"
        ],
        "triangle": [
          "F_A_B_C",
          "A",
          "B"
        ]
      },
      {
        "outer_arrow": [
          "A",
          "C"
        ],
        "triangle": [
          "F_A_C_D",
          "A",
          "C"
        ]
      },
      {
        "outer_arrow": [
          "A",
          "D"
        ],
        "triangle": [
          "F_A_B_D",
          "A",
          "D"
        ]
      },
      {
        "outer_arrow": [
          "B",
          "A"
        ],
        "triangle": [
          "F_A_B_D",
          "B",
          "A"
        ]
      },
      {
        "outer_arrow": [
          "B",
          "C"
        ],
        "triangle": [
          "F_A_B_C",
          "B",
          "C"
        ]
      },
      {
        "outer_arrow": [
          "B",
          "D"
        ],
        "triangle": [
          "F_B_C_D",
          "B",
          "D"
        ]
      },
      {
        "outer_arrow": [
          "C",
          "A"
        ],
        "triangle": [
          "F_A_B_C",
          "C",
          "A"
        ]
      },
      {
        "outer_arrow": [
          "C",
          "B"
        ],
        "triangle": [
          "F_B_C_D",
          "C",
          "B"
        ]
      },
      {
        "outer_arrow": [
          "C",
          "D"
        ],
        "triangle": [
          "F_A_C_D",
          "C",
          "D"
        ]
      },
      {
        "outer_arrow": [
          "D",
          "A"
        ],
        "triangle": [
          "F_A_C_D",
          "D",
          "A"
        ]
      },
      {
        "outer_arrow": [
          "D",
          "B"
        ],
        "triangle": [
          "F_A_B_D",
          "D",
          "B"
        ]
      },
      {
        "outer_arrow": [
          "D",
          "C"
        ],
        "triangle": [
          "F_B_C_D",
          "D",
          "C"
        ]
      }
    ],
    "assembled_norm_squared": "80",
    "rule": "complete directed triangle permutations; centroid-edge orbit; cyclic eigenline; local selection, alignment, dense collective feedback"
  },
  "coordinate_addresses": [
    [
      "AB",
      "x"
    ],
    [
      "AB",
      "y"
    ],
    [
      "AB",
      "z"
    ],
    [
      "AC",
      "x"
    ],
    [
      "AC",
      "y"
    ],
    [
      "AC",
      "z"
    ],
    [
      "AD",
      "x"
    ],
    [
      "AD",
      "y"
    ],
    [
      "AD",
      "z"
    ],
    [
      "BA",
      "x"
    ],
    [
      "BA",
      "y"
    ],
    [
      "BA",
      "z"
    ],
    [
      "BC",
      "x"
    ],
    [
      "BC",
      "y"
    ],
    [
      "BC",
      "z"
    ],
    [
      "BD",
      "x"
    ],
    [
      "BD",
      "y"
    ],
    [
      "BD",
      "z"
    ],
    [
      "CA",
      "x"
    ],
    [
      "CA",
      "y"
    ],
    [
      "CA",
      "z"
    ],
    [
      "CB",
      "x"
    ],
    [
      "CB",
      "y"
    ],
    [
      "CB",
      "z"
    ],
    [
      "CD",
      "x"
    ],
    [
      "CD",
      "y"
    ],
    [
      "CD",
      "z"
    ],
    [
      "DA",
      "x"
    ],
    [
      "DA",
      "y"
    ],
    [
      "DA",
      "z"
    ],
    [
      "DB",
      "x"
    ],
    [
      "DB",
      "y"
    ],
    [
      "DB",
      "z"
    ],
    [
      "DC",
      "x"
    ],
    [
      "DC",
      "y"
    ],
    [
      "DC",
      "z"
    ]
  ],
  "prefix_maps": [
    "I",
    "L",
    "GL=N",
    "NGL=N"
  ],
  "new_information_from_repeating_return": false,
  "diagnostic_dimensions": {
    "local_rejection": 24,
    "locally_valid_collective_disagreement": 11,
    "collective_amplitude": 1
  },
  "local_mode_encoder": {
    "shape": [
      36,
      12
    ],
    "entries": [
      [
        0,
        0,
        "1",
        "0"
      ],
      [
        1,
        0,
        "-1/2",
        "-3/2"
      ],
      [
        2,
        0,
        "1/2",
        "-3/2"
      ],
      [
        3,
        1,
        "1/2",
        "-3/2"
      ],
      [
        4,
        1,
        "1",
        "0"
      ],
      [
        5,
        1,
        "-1/2",
        "-3/2"
      ],
      [
        6,
        2,
        "-1/2",
        "-3/2"
      ],
      [
        7,
        2,
        "1/2",
        "-3/2"
      ],
      [
        8,
        2,
        "1",
        "0"
      ],
      [
        9,
        3,
        "1",
        "0"
      ],
      [
        10,
        3,
        "1/2",
        "3/2"
      ],
      [
        11,
        3,
        "-1/2",
        "3/2"
      ],
      [
        12,
        4,
        "-1/2",
        "-3/2"
      ],
      [
        13,
        4,
        "-1/2",
        "3/2"
      ],
      [
        14,
        4,
        "-1",
        "0"
      ],
      [
        15,
        5,
        "1/2",
        "-3/2"
      ],
      [
        16,
        5,
        "-1",
        "0"
      ],
      [
        17,
        5,
        "1/2",
        "3/2"
      ],
      [
        18,
        6,
        "-1/2",
        "3/2"
      ],
      [
        19,
        6,
        "1",
        "0"
      ],
      [
        20,
        6,
        "1/2",
        "3/2"
      ],
      [
        21,
        7,
        "1/2",
        "3/2"
      ],
      [
        22,
        7,
        "1/2",
        "-3/2"
      ],
      [
        23,
        7,
        "-1",
        "0"
      ],
      [
        24,
        8,
        "-1",
        "0"
      ],
      [
        25,
        8,
        "-1/2",
        "-3/2"
      ],
      [
        26,
        8,
        "-1/2",
        "3/2"
      ],
      [
        27,
        9,
        "1/2",
        "3/2"
      ],
      [
        28,
        9,
        "-1/2",
        "3/2"
      ],
      [
        29,
        9,
        "1",
        "0"
      ],
      [
        30,
        10,
        "-1/2",
        "3/2"
      ],
      [
        31,
        10,
        "-1",
        "0"
      ],
      [
        32,
        10,
        "-1/2",
        "-3/2"
      ],
      [
        33,
        11,
        "-1",
        "0"
      ],
      [
        34,
        11,
        "1/2",
        "3/2"
      ],
      [
        35,
        11,
        "1/2",
        "-3/2"
      ]
    ]
  },
  "local_mode_decoder": {
    "shape": [
      12,
      36
    ],
    "entries": [
      [
        0,
        0,
        "1/15",
        "0"
      ],
      [
        0,
        1,
        "-1/30",
        "1/10"
      ],
      [
        0,
        2,
        "1/30",
        "1/10"
      ],
      [
        1,
        3,
        "1/30",
        "1/10"
      ],
      [
        1,
        4,
        "1/15",
        "0"
      ],
      [
        1,
        5,
        "-1/30",
        "1/10"
      ],
      [
        2,
        6,
        "-1/30",
        "1/10"
      ],
      [
        2,
        7,
        "1/30",
        "1/10"
      ],
      [
        2,
        8,
        "1/15",
        "0"
      ],
      [
        3,
        9,
        "1/15",
        "0"
      ],
      [
        3,
        10,
        "1/30",
        "-1/10"
      ],
      [
        3,
        11,
        "-1/30",
        "-1/10"
      ],
      [
        4,
        12,
        "-1/30",
        "1/10"
      ],
      [
        4,
        13,
        "-1/30",
        "-1/10"
      ],
      [
        4,
        14,
        "-1/15",
        "0"
      ],
      [
        5,
        15,
        "1/30",
        "1/10"
      ],
      [
        5,
        16,
        "-1/15",
        "0"
      ],
      [
        5,
        17,
        "1/30",
        "-1/10"
      ],
      [
        6,
        18,
        "-1/30",
        "-1/10"
      ],
      [
        6,
        19,
        "1/15",
        "0"
      ],
      [
        6,
        20,
        "1/30",
        "-1/10"
      ],
      [
        7,
        21,
        "1/30",
        "-1/10"
      ],
      [
        7,
        22,
        "1/30",
        "1/10"
      ],
      [
        7,
        23,
        "-1/15",
        "0"
      ],
      [
        8,
        24,
        "-1/15",
        "0"
      ],
      [
        8,
        25,
        "-1/30",
        "1/10"
      ],
      [
        8,
        26,
        "-1/30",
        "-1/10"
      ],
      [
        9,
        27,
        "1/30",
        "-1/10"
      ],
      [
        9,
        28,
        "-1/30",
        "-1/10"
      ],
      [
        9,
        29,
        "1/15",
        "0"
      ],
      [
        10,
        30,
        "-1/30",
        "-1/10"
      ],
      [
        10,
        31,
        "-1/15",
        "0"
      ],
      [
        10,
        32,
        "-1/30",
        "1/10"
      ],
      [
        11,
        33,
        "-1/15",
        "0"
      ],
      [
        11,
        34,
        "1/30",
        "-1/10"
      ],
      [
        11,
        35,
        "1/30",
        "1/10"
      ]
    ]
  },
  "independent_compatibility_comparisons": {
    "shape": [
      11,
      12
    ],
    "entries": [
      [
        0,
        0,
        "-1",
        "0"
      ],
      [
        0,
        1,
        "1",
        "0"
      ],
      [
        1,
        0,
        "-1",
        "0"
      ],
      [
        1,
        2,
        "1",
        "0"
      ],
      [
        2,
        0,
        "-1",
        "0"
      ],
      [
        2,
        3,
        "1",
        "0"
      ],
      [
        3,
        0,
        "-1",
        "0"
      ],
      [
        3,
        4,
        "1",
        "0"
      ],
      [
        4,
        0,
        "-1",
        "0"
      ],
      [
        4,
        5,
        "1",
        "0"
      ],
      [
        5,
        0,
        "-1",
        "0"
      ],
      [
        5,
        6,
        "1",
        "0"
      ],
      [
        6,
        0,
        "-1",
        "0"
      ],
      [
        6,
        7,
        "1",
        "0"
      ],
      [
        7,
        0,
        "-1",
        "0"
      ],
      [
        7,
        8,
        "1",
        "0"
      ],
      [
        8,
        0,
        "-1",
        "0"
      ],
      [
        8,
        9,
        "1",
        "0"
      ],
      [
        9,
        0,
        "-1",
        "0"
      ],
      [
        9,
        10,
        "1",
        "0"
      ],
      [
        10,
        0,
        "-1",
        "0"
      ],
      [
        10,
        11,
        "1",
        "0"
      ]
    ]
  },
  "all_mask_theorem": {
    "domain": "all 2^36 coordinate-address subsets; same addresses read at raw/local/aligned stages",
    "rank_formula": "sum_t d(k_t) + indicator(0 < number_of_empty_triangles < 12), d=(0,2,3,3)",
    "local_exhaustive_cases": [
      {
        "triangle": "AB",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "AB",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "AB",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "AB",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "AB",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "AB",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "AB",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "AB",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "AC",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "AC",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "AC",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "AC",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "AC",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "AC",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "AC",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "AC",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "AD",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "AD",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "AD",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "AD",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "AD",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "AD",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "AD",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "AD",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "BA",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "BA",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "BA",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "BA",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "BA",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "BA",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "BA",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "BA",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "BC",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "BC",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "BC",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "BC",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "BC",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "BC",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "BC",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "BC",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "BD",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "BD",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "BD",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "BD",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "BD",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "BD",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "BD",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "BD",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "CA",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "CA",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "CA",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "CA",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "CA",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "CA",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "CA",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "CA",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "CB",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "CB",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "CB",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "CB",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "CB",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "CB",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "CB",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "CB",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "CD",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "CD",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "CD",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "CD",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "CD",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "CD",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "CD",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "CD",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "DA",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "DA",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "DA",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "DA",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "DA",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "DA",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "DA",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "DA",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "DB",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "DB",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "DB",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "DB",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "DB",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "DB",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "DB",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "DB",
        "axis_mask": 7,
        "rank": 3
      },
      {
        "triangle": "DC",
        "axis_mask": 0,
        "rank": 0
      },
      {
        "triangle": "DC",
        "axis_mask": 1,
        "rank": 2
      },
      {
        "triangle": "DC",
        "axis_mask": 2,
        "rank": 2
      },
      {
        "triangle": "DC",
        "axis_mask": 3,
        "rank": 3
      },
      {
        "triangle": "DC",
        "axis_mask": 4,
        "rank": 2
      },
      {
        "triangle": "DC",
        "axis_mask": 5,
        "rank": 3
      },
      {
        "triangle": "DC",
        "axis_mask": 6,
        "rank": 3
      },
      {
        "triangle": "DC",
        "axis_mask": 7,
        "rank": 3
      }
    ],
    "global_regressions": [
      {
        "anchors": [],
        "rank": 0,
        "hidden_dimension": 36
      },
      {
        "anchors": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10,
          11,
          12,
          13,
          14,
          15,
          16,
          17,
          18,
          19,
          20,
          21,
          22,
          23,
          24,
          25,
          26,
          27,
          28,
          29,
          30,
          31,
          32,
          33,
          34,
          35
        ],
        "rank": 36,
        "hidden_dimension": 0
      },
      {
        "anchors": [
          0,
          3,
          6,
          9,
          12,
          15,
          18,
          21,
          24,
          27,
          30,
          33
        ],
        "rank": 24,
        "hidden_dimension": 12
      },
      {
        "anchors": [
          0,
          1,
          3,
          4,
          6,
          7,
          9,
          10,
          12,
          13,
          15,
          16,
          18,
          19,
          21,
          22,
          24,
          25,
          27,
          28,
          30,
          31,
          33,
          34
        ],
        "rank": 36,
        "hidden_dimension": 0
      },
      {
        "anchors": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8
        ],
        "rank": 10,
        "hidden_dimension": 26
      },
      {
        "anchors": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10,
          11,
          12,
          13,
          14,
          15,
          16,
          17
        ],
        "rank": 19,
        "hidden_dimension": 17
      },
      {
        "anchors": [
          0
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          1
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          2
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          3
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          4
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          5
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          6
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          7
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          8
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          9
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          10
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          11
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          12
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          13
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          14
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          15
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          16
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          17
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          18
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          19
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          20
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          21
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          22
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          23
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          24
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          25
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          26
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          27
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          28
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          29
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          30
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          31
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          32
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          33
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          34
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          35
        ],
        "rank": 3,
        "hidden_dimension": 33
      },
      {
        "anchors": [
          4,
          13,
          16,
          18,
          19,
          25,
          27,
          28
        ],
        "rank": 15,
        "hidden_dimension": 21
      },
      {
        "anchors": [
          6,
          9,
          17,
          26,
          29,
          30,
          33
        ],
        "rank": 15,
        "hidden_dimension": 21
      },
      {
        "anchors": [
          2,
          8,
          24,
          25,
          26,
          27
        ],
        "rank": 10,
        "hidden_dimension": 26
      },
      {
        "anchors": [
          5,
          7,
          10,
          16,
          17,
          29
        ],
        "rank": 12,
        "hidden_dimension": 24
      },
      {
        "anchors": [
          0,
          1,
          3,
          7,
          14,
          15,
          19,
          22,
          24,
          25,
          26,
          29,
          30,
          32
        ],
        "rank": 24,
        "hidden_dimension": 12
      },
      {
        "anchors": [
          1,
          2,
          3,
          6,
          9,
          10,
          12,
          16,
          24,
          32,
          33
        ],
        "rank": 21,
        "hidden_dimension": 15
      },
      {
        "anchors": [
          1,
          4,
          7,
          9,
          11,
          12,
          16,
          17,
          18,
          20,
          24,
          25,
          26,
          28,
          29,
          30,
          31,
          33,
          34,
          35
        ],
        "rank": 30,
        "hidden_dimension": 6
      },
      {
        "anchors": [
          2,
          4,
          6,
          7,
          9,
          11,
          13,
          14,
          18,
          19,
          20,
          22,
          23,
          24,
          25,
          26,
          28,
          29,
          31,
          33,
          34,
          35
        ],
        "rank": 31,
        "hidden_dimension": 5
      },
      {
        "anchors": [
          4,
          5,
          6,
          7,
          8,
          10,
          12,
          13,
          14,
          21,
          22,
          25,
          26,
          27,
          28,
          29,
          30,
          32
        ],
        "rank": 24,
        "hidden_dimension": 12
      },
      {
        "anchors": [
          3,
          5,
          6,
          7,
          9,
          12,
          14,
          15,
          16,
          20,
          21,
          22,
          23,
          26,
          28,
          29,
          31,
          34,
          35
        ],
        "rank": 30,
        "hidden_dimension": 6
      },
      {
        "anchors": [
          0,
          1,
          2,
          3,
          4,
          8,
          9,
          16,
          20,
          21,
          22,
          25,
          28,
          31,
          34,
          35
        ],
        "rank": 27,
        "hidden_dimension": 9
      },
      {
        "anchors": [
          0,
          1,
          2,
          4,
          5,
          7,
          9,
          12,
          13,
          16,
          17,
          19,
          21,
          23,
          24,
          25,
          27,
          28,
          30,
          32,
          33,
          35
        ],
        "rank": 33,
        "hidden_dimension": 3
      },
      {
        "anchors": [
          2,
          3,
          5,
          6,
          8,
          12,
          13,
          15,
          16,
          18,
          19,
          20,
          21,
          22,
          23,
          24,
          25,
          27,
          28,
          29,
          30,
          33,
          34,
          35
        ],
        "rank": 32,
        "hidden_dimension": 4
      },
      {
        "anchors": [
          0,
          1,
          2,
          3,
          4,
          7,
          9,
          10,
          11,
          12,
          13,
          15,
          16,
          17,
          18,
          21,
          22,
          23,
          24,
          28,
          29,
          31,
          32,
          33,
          34,
          35
        ],
        "rank": 33,
        "hidden_dimension": 3
      },
      {
        "anchors": [
          0,
          2,
          3,
          4,
          5,
          6,
          8,
          10,
          12,
          13,
          15,
          16,
          17,
          19,
          23,
          24,
          25,
          26,
          27,
          28,
          29,
          30,
          31,
          32,
          35
        ],
        "rank": 32,
        "hidden_dimension": 4
      },
      {
        "anchors": [
          1,
          3,
          4,
          6,
          7,
          8,
          12,
          13,
          14,
          15,
          17,
          19,
          21,
          24,
          26,
          27,
          28,
          29,
          30,
          31,
          32,
          34
        ],
        "rank": 30,
        "hidden_dimension": 6
      },
      {
        "anchors": [
          1,
          3,
          4,
          5,
          9,
          11,
          12,
          13,
          15,
          16,
          17,
          20,
          21,
          22,
          23,
          26,
          28,
          29,
          30,
          32,
          33,
          34,
          35
        ],
        "rank": 31,
        "hidden_dimension": 5
      },
      {
        "anchors": [
          2,
          3,
          4,
          6,
          7,
          9,
          11,
          12,
          14,
          15,
          16,
          17,
          19,
          20,
          22,
          25,
          26,
          27,
          28,
          29,
          30,
          34,
          35
        ],
        "rank": 33,
        "hidden_dimension": 3
      }
    ],
    "full_recovery_iff": "at least two coordinate addresses in every triangle",
    "minimum_addresses": 24,
    "minimum_independent_complex_readings": 36,
    "one_address_rank": 3,
    "one_address_hidden_dimension": 33
  },
  "reconstruction": {
    "raw_addresses": [
      0,
      1,
      3,
      4,
      6,
      7,
      9,
      10,
      12,
      13,
      15,
      16,
      18,
      19,
      21,
      22,
      24,
      25,
      27,
      28,
      30,
      31,
      33,
      34
    ],
    "local_addresses": [
      0,
      3,
      6,
      9,
      12,
      15,
      18,
      21,
      24,
      27,
      30,
      33
    ],
    "measurement": {
      "shape": [
        36,
        36
      ],
      "entries": [
        [
          0,
          0,
          "1",
          "0"
        ],
        [
          1,
          1,
          "1",
          "0"
        ],
        [
          2,
          3,
          "1",
          "0"
        ],
        [
          3,
          4,
          "1",
          "0"
        ],
        [
          4,
          6,
          "1",
          "0"
        ],
        [
          5,
          7,
          "1",
          "0"
        ],
        [
          6,
          9,
          "1",
          "0"
        ],
        [
          7,
          10,
          "1",
          "0"
        ],
        [
          8,
          12,
          "1",
          "0"
        ],
        [
          9,
          13,
          "1",
          "0"
        ],
        [
          10,
          15,
          "1",
          "0"
        ],
        [
          11,
          16,
          "1",
          "0"
        ],
        [
          12,
          18,
          "1",
          "0"
        ],
        [
          13,
          19,
          "1",
          "0"
        ],
        [
          14,
          21,
          "1",
          "0"
        ],
        [
          15,
          22,
          "1",
          "0"
        ],
        [
          16,
          24,
          "1",
          "0"
        ],
        [
          17,
          25,
          "1",
          "0"
        ],
        [
          18,
          27,
          "1",
          "0"
        ],
        [
          19,
          28,
          "1",
          "0"
        ],
        [
          20,
          30,
          "1",
          "0"
        ],
        [
          21,
          31,
          "1",
          "0"
        ],
        [
          22,
          33,
          "1",
          "0"
        ],
        [
          23,
          34,
          "1",
          "0"
        ],
        [
          24,
          0,
          "1/15",
          "0"
        ],
        [
          24,
          1,
          "-1/30",
          "1/10"
        ],
        [
          24,
          2,
          "1/30",
          "1/10"
        ],
        [
          25,
          3,
          "7/15",
          "0"
        ],
        [
          25,
          4,
          "1/30",
          "-1/10"
        ],
        [
          25,
          5,
          "13/30",
          "1/10"
        ],
        [
          26,
          6,
          "7/15",
          "0"
        ],
        [
          26,
          7,
          "13/30",
          "-1/10"
        ],
        [
          26,
          8,
          "-1/30",
          "-1/10"
        ],
        [
          27,
          9,
          "1/15",
          "0"
        ],
        [
          27,
          10,
          "1/30",
          "-1/10"
        ],
        [
          27,
          11,
          "-1/30",
          "-1/10"
        ],
        [
          28,
          12,
          "7/15",
          "0"
        ],
        [
          28,
          13,
          "-13/30",
          "1/10"
        ],
        [
          28,
          14,
          "1/30",
          "1/10"
        ],
        [
          29,
          15,
          "7/15",
          "0"
        ],
        [
          29,
          16,
          "-1/30",
          "1/10"
        ],
        [
          29,
          17,
          "-13/30",
          "-1/10"
        ],
        [
          30,
          18,
          "7/15",
          "0"
        ],
        [
          30,
          19,
          "-1/30",
          "1/10"
        ],
        [
          30,
          20,
          "13/30",
          "1/10"
        ],
        [
          31,
          21,
          "7/15",
          "0"
        ],
        [
          31,
          22,
          "-13/30",
          "1/10"
        ],
        [
          31,
          23,
          "-1/30",
          "-1/10"
        ],
        [
          32,
          24,
          "1/15",
          "0"
        ],
        [
          32,
          25,
          "1/30",
          "-1/10"
        ],
        [
          32,
          26,
          "1/30",
          "1/10"
        ],
        [
          33,
          27,
          "7/15",
          "0"
        ],
        [
          33,
          28,
          "13/30",
          "-1/10"
        ],
        [
          33,
          29,
          "1/30",
          "1/10"
        ],
        [
          34,
          30,
          "7/15",
          "0"
        ],
        [
          34,
          31,
          "1/30",
          "-1/10"
        ],
        [
          34,
          32,
          "-13/30",
          "-1/10"
        ],
        [
          35,
          33,
          "1/15",
          "0"
        ],
        [
          35,
          34,
          "-1/30",
          "1/10"
        ],
        [
          35,
          35,
          "-1/30",
          "-1/10"
        ]
      ]
    },
    "decoder": {
      "shape": [
        36,
        36
      ],
      "entries": [
        [
          0,
          0,
          "1",
          "0"
        ],
        [
          1,
          1,
          "1",
          "0"
        ],
        [
          2,
          0,
          "-1/14",
          "3/14"
        ],
        [
          2,
          1,
          "-13/14",
          "-3/14"
        ],
        [
          2,
          24,
          "15/14",
          "-45/14"
        ],
        [
          3,
          2,
          "1",
          "0"
        ],
        [
          4,
          3,
          "1",
          "0"
        ],
        [
          5,
          2,
          "-13/14",
          "3/14"
        ],
        [
          5,
          3,
          "1/14",
          "3/14"
        ],
        [
          5,
          25,
          "195/98",
          "-45/98"
        ],
        [
          6,
          4,
          "1",
          "0"
        ],
        [
          7,
          5,
          "1",
          "0"
        ],
        [
          8,
          4,
          "1/2",
          "-3/2"
        ],
        [
          8,
          5,
          "-1/2",
          "-3/2"
        ],
        [
          8,
          26,
          "-15/14",
          "45/14"
        ],
        [
          9,
          6,
          "1",
          "0"
        ],
        [
          10,
          7,
          "1",
          "0"
        ],
        [
          11,
          6,
          "1/14",
          "-3/14"
        ],
        [
          11,
          7,
          "-13/14",
          "-3/14"
        ],
        [
          11,
          27,
          "-15/14",
          "45/14"
        ],
        [
          12,
          8,
          "1",
          "0"
        ],
        [
          13,
          9,
          "1",
          "0"
        ],
        [
          14,
          8,
          "-1/2",
          "3/2"
        ],
        [
          14,
          9,
          "-1/2",
          "-3/2"
        ],
        [
          14,
          28,
          "15/14",
          "-45/14"
        ],
        [
          15,
          10,
          "1",
          "0"
        ],
        [
          16,
          11,
          "1",
          "0"
        ],
        [
          17,
          10,
          "13/14",
          "-3/14"
        ],
        [
          17,
          11,
          "1/14",
          "3/14"
        ],
        [
          17,
          29,
          "-195/98",
          "45/98"
        ],
        [
          18,
          12,
          "1",
          "0"
        ],
        [
          19,
          13,
          "1",
          "0"
        ],
        [
          20,
          12,
          "-13/14",
          "3/14"
        ],
        [
          20,
          13,
          "-1/14",
          "-3/14"
        ],
        [
          20,
          30,
          "195/98",
          "-45/98"
        ],
        [
          21,
          14,
          "1",
          "0"
        ],
        [
          22,
          15,
          "1",
          "0"
        ],
        [
          23,
          14,
          "1/2",
          "-3/2"
        ],
        [
          23,
          15,
          "1/2",
          "3/2"
        ],
        [
          23,
          31,
          "-15/14",
          "45/14"
        ],
        [
          24,
          16,
          "1",
          "0"
        ],
        [
          25,
          17,
          "1",
          "0"
        ],
        [
          26,
          16,
          "-1/14",
          "3/14"
        ],
        [
          26,
          17,
          "13/14",
          "3/14"
        ],
        [
          26,
          32,
          "15/14",
          "-45/14"
        ],
        [
          27,
          18,
          "1",
          "0"
        ],
        [
          28,
          19,
          "1",
          "0"
        ],
        [
          29,
          18,
          "-1/2",
          "3/2"
        ],
        [
          29,
          19,
          "1/2",
          "3/2"
        ],
        [
          29,
          33,
          "15/14",
          "-45/14"
        ],
        [
          30,
          20,
          "1",
          "0"
        ],
        [
          31,
          21,
          "1",
          "0"
        ],
        [
          32,
          20,
          "13/14",
          "-3/14"
        ],
        [
          32,
          21,
          "-1/14",
          "-3/14"
        ],
        [
          32,
          34,
          "-195/98",
          "45/98"
        ],
        [
          33,
          22,
          "1",
          "0"
        ],
        [
          34,
          23,
          "1",
          "0"
        ],
        [
          35,
          22,
          "1/14",
          "-3/14"
        ],
        [
          35,
          23,
          "13/14",
          "3/14"
        ],
        [
          35,
          35,
          "-15/14",
          "45/14"
        ]
      ]
    },
    "decoder_times_measurement_is_identity": true,
    "all_3_power_12_two_coordinate_layouts": "proved by independent local decoder identities",
    "one_address_deletion_witnesses": [
      {
        "removed_address": 0,
        "kernel_witness": [
          [
            "-1/2",
            "-3/2"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 1,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "-13/14",
            "3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 3,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-13/14",
            "-3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 4,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/2",
            "-3/2"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 6,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/14",
            "3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 7,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/14",
            "3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 9,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/2",
            "3/2"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 10,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-13/14",
            "3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 12,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/14",
            "-3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 13,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/14",
            "3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 15,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "13/14",
            "3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 16,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/2",
            "-3/2"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 18,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-13/14",
            "-3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 19,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/2",
            "3/2"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 21,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/14",
            "3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 22,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/14",
            "-3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 24,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/2",
            "-3/2"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 25,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "13/14",
            "-3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 27,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/14",
            "-3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 28,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/14",
            "-3/14"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 30,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "13/14",
            "3/14"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 31,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "-1/2",
            "3/2"
          ],
          [
            "1",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ]
        ]
      },
      {
        "removed_address": 33,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "1/2",
            "3/2"
          ],
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ]
      },
      {
        "removed_address": 34,
        "kernel_witness": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "0",
            "0"
          ],
          [
            "13/14",
            "-3/14"
          ],
          [
            "1",
            "0"
          ]
        ]
      }
    ]
  },
  "seed_face_counterexample": {
    "seed_faces": [
      [
        "A",
        "B",
        "C"
      ],
      [
        "A",
        "B",
        "D"
      ]
    ],
    "observed_addresses": [
      0,
      1,
      2,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      18,
      19,
      20,
      30,
      31,
      32
    ],
    "raw_input_observation_rank": 19,
    "raw_hidden_dimension": 17,
    "locally_admitted_observation_rank": 7,
    "locally_admitted_hidden_dimension": 5,
    "collective_vector": [
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "-3/2"
      ]
    ],
    "hidden_difference_direction": [
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ]
    ],
    "input_x": [
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1",
        "-3"
      ],
      [
        "2",
        "0"
      ],
      [
        "-1",
        "-3"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "-3/2"
      ]
    ],
    "input_y": [
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "1",
        "-3"
      ],
      [
        "-2",
        "0"
      ],
      [
        "1",
        "3"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "1",
        "0"
      ],
      [
        "-1/2",
        "3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "-1/2",
        "-3/2"
      ],
      [
        "-1",
        "0"
      ],
      [
        "1/2",
        "3/2"
      ],
      [
        "1/2",
        "-3/2"
      ]
    ],
    "equal_norm": [
      [
        "210",
        "0"
      ]
    ],
    "both_locally_admitted": true,
    "same_seed_observations_and_global_return": true,
    "local_amplitude_kernel_basis": [
      [
        [
          "0",
          "0"
        ],
        [
          "-1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ]
      ],
      [
        [
          "0",
          "0"
        ],
        [
          "-1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ]
      ],
      [
        [
          "0",
          "0"
        ],
        [
          "-1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ]
      ],
      [
        [
          "0",
          "0"
        ],
        [
          "-1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ]
      ],
      [
        [
          "0",
          "0"
        ],
        [
          "-1",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "0",
          "0"
        ],
        [
          "1",
          "0"
        ]
      ]
    ]
  },
  "preimage_tasks": {
    "local_record": "empty unless Ly=y; otherwise y+ker L, dimension 24",
    "terminal_record": "empty unless Ny=y; otherwise y+ker N, dimension 35",
    "local_rejection_witness": [
      [
        "14/15",
        "0"
      ],
      [
        "1/30",
        "1/10"
      ],
      [
        "-1/30",
        "1/10"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ]
    ],
    "collective_disagreement_witness": [
      [
        "11/180",
        "0"
      ],
      [
        "-11/360",
        "-11/120"
      ],
      [
        "11/360",
        "-11/120"
      ],
      [
        "-1/360",
        "1/120"
      ],
      [
        "-1/180",
        "0"
      ],
      [
        "1/360",
        "1/120"
      ],
      [
        "1/360",
        "1/120"
      ],
      [
        "-1/360",
        "1/120"
      ],
      [
        "-1/180",
        "0"
      ],
      [
        "-1/180",
        "0"
      ],
      [
        "-1/360",
        "-1/120"
      ],
      [
        "1/360",
        "-1/120"
      ],
      [
        "1/360",
        "1/120"
      ],
      [
        "1/360",
        "-1/120"
      ],
      [
        "1/180",
        "0"
      ],
      [
        "-1/360",
        "1/120"
      ],
      [
        "1/180",
        "0"
      ],
      [
        "-1/360",
        "-1/120"
      ],
      [
        "1/360",
        "-1/120"
      ],
      [
        "-1/180",
        "0"
      ],
      [
        "-1/360",
        "-1/120"
      ],
      [
        "-1/360",
        "-1/120"
      ],
      [
        "-1/360",
        "1/120"
      ],
      [
        "1/180",
        "0"
      ],
      [
        "1/180",
        "0"
      ],
      [
        "1/360",
        "1/120"
      ],
      [
        "1/360",
        "-1/120"
      ],
      [
        "-1/360",
        "-1/120"
      ],
      [
        "1/360",
        "-1/120"
      ],
      [
        "-1/180",
        "0"
      ],
      [
        "1/360",
        "-1/120"
      ],
      [
        "1/180",
        "0"
      ],
      [
        "1/360",
        "1/120"
      ],
      [
        "1/180",
        "0"
      ],
      [
        "-1/360",
        "-1/120"
      ],
      [
        "-1/360",
        "1/120"
      ]
    ]
  },
  "forbidden_stage_substitution": {
    "actual_single_address_rank": 3,
    "rank_if_raw_G_probe_is_added": 4,
    "raw_G_probe_admitted": false
  },
  "scope_limits": [
    "No classification of all geometric deformations, nonlinear tasks or arbitrary seed-reachable preparations.",
    "No physical mass, time, quantum measurement or computation-universality conclusion.",
    "The exact-coordinate reconstruction threshold is relative to the inherited axis frame and this readout grammar."
  ],
  "physical_amplitude_measurement_derived": false,
  "prior_results_rechecked": [
    "native projector ranks",
    "local validity does not imply collective compatibility"
  ],
  "new_task_results": [
    "all-mask stage-readout rank formula",
    "sharp 24-address decoder",
    "two-seed-face equal-norm ambiguity certificate"
  ],
  "shared_sources_or_stores_modified": false
}