{
  "master_sha256": "b0b2e13c3cd35512ee5955a2d9a56c22d7410e283d35dd9c90abbaa7b99279eb",
  "script_sha256": "e1c47aa7e373a956907afe4988a5c7b9995039c81cc636631e4980423874e9cb",
  "previous_results_sha256": "e511e1e8746023d8bbf16d6a9c5195b81b73408599d93dedb76ca821cb2a539a",
  "protocol": {
    "new_premise": "One declared d-type plaintext alphabet, including R, is encodable in every state; every row is onto that same alphabet. d=20..29.",
    "retained_model": "Session 70 same-group iff R rule and one rune per plaintext rune. Each section has independent codebooks; no word/page resets.",
    "row_capacity": "R reserves q_s codes in a state group. The other Q-q_s codes must cover d-1 non-R outputs, so d<=Q-q_s+1.",
    "exact_concentration": "For each row, merge extra+1 largest non-R code counts into one output and keep the other d-2 outputs nonempty; align sorted row ranks. Add the fixed R count. This attains every maximum sorted partial sum and minimum histogram entropy in the relaxed family.",
    "primary": "Freeze the three Session 70 full-section screen survivors, without refitting. Compare full sections and continuations for d=20..29.",
    "reference_screen": "First ten sorted partial sums only, against six empirical profiles with observed alphabet<=d. One or more deficient partial sums fails a profile. The pooled profile has 26 observed types.",
    "secondary": "Optimistically allow all 812 affine selectors per k=1..8 in each substantial section; retain the original full-data A/I/O screens. No fitted table or independent validation.",
    "limits": "Conditional codebook coverage requirement, empirical reference shapes and retrospective selected models. Singleton table constraints are ignored in the new upper bound, favoring the model. Passing is necessary capacity only; restricted state alphabets, fewer than 20 plaintext types and other mechanisms remain open."
  },
  "references": [
    {
      "name": "warning",
      "scored": 183,
      "observed_types": 24,
      "rune_histogram": [
        3,
        7,
        11,
        20,
        16,
        9,
        2,
        6,
        2,
        11,
        12,
        0,
        0,
        2,
        2,
        9,
        10,
        5,
        27,
        3,
        4,
        3,
        0,
        8,
        7,
        0,
        3,
        0,
        1
      ],
      "sorted_histogram": [
        27,
        20,
        16,
        12,
        11,
        11,
        10,
        9,
        9,
        8,
        7,
        7,
        6,
        5,
        4,
        3,
        3,
        3,
        3,
        2,
        2,
        2,
        2,
        1,
        0,
        0,
        0,
        0,
        0
      ],
      "first_ten_partial_shares": [
        0.14754098360655737,
        0.2568306010928962,
        0.3442622950819672,
        0.4098360655737705,
        0.46994535519125685,
        0.5300546448087432,
        0.5846994535519126,
        0.6338797814207651,
        0.6830601092896175,
        0.726775956284153
      ]
    },
    {
      "name": "wisdom",
      "scored": 156,
      "observed_types": 25,
      "rune_histogram": [
        5,
        9,
        6,
        13,
        12,
        8,
        1,
        3,
        2,
        8,
        8,
        0,
        0,
        2,
        0,
        13,
        5,
        5,
        14,
        6,
        9,
        1,
        0,
        8,
        12,
        2,
        1,
        1,
        2
      ],
      "sorted_histogram": [
        14,
        13,
        13,
        12,
        12,
        9,
        9,
        8,
        8,
        8,
        8,
        6,
        6,
        5,
        5,
        5,
        3,
        2,
        2,
        2,
        2,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0
      ],
      "first_ten_partial_shares": [
        0.08974358974358974,
        0.17307692307692307,
        0.2564102564102564,
        0.3333333333333333,
        0.41025641025641024,
        0.46794871794871795,
        0.5256410256410257,
        0.5769230769230769,
        0.6282051282051282,
        0.6794871794871795
      ]
    },
    {
      "name": "koan",
      "scored": 777,
      "observed_types": 24,
      "rune_histogram": [
        13,
        34,
        25,
        77,
        50,
        16,
        7,
        27,
        40,
        37,
        33,
        0,
        0,
        8,
        0,
        56,
        59,
        6,
        98,
        26,
        18,
        6,
        0,
        33,
        74,
        0,
        30,
        2,
        2
      ],
      "sorted_histogram": [
        98,
        77,
        74,
        59,
        56,
        50,
        40,
        37,
        34,
        33,
        33,
        30,
        27,
        26,
        25,
        18,
        16,
        13,
        8,
        7,
        6,
        6,
        2,
        2,
        0,
        0,
        0,
        0,
        0
      ],
      "first_ten_partial_shares": [
        0.12612612612612611,
        0.22522522522522523,
        0.3204633204633205,
        0.3963963963963964,
        0.46846846846846846,
        0.5328185328185329,
        0.5842985842985843,
        0.631917631917632,
        0.6756756756756757,
        0.7181467181467182
      ]
    },
    {
      "name": "divinity",
      "scored": 754,
      "observed_types": 24,
      "rune_histogram": [
        8,
        39,
        25,
        70,
        50,
        26,
        13,
        35,
        22,
        48,
        38,
        0,
        0,
        14,
        0,
        45,
        49,
        19,
        103,
        19,
        26,
        12,
        0,
        21,
        47,
        0,
        10,
        9,
        6
      ],
      "sorted_histogram": [
        103,
        70,
        50,
        49,
        48,
        47,
        45,
        39,
        38,
        35,
        26,
        26,
        25,
        22,
        21,
        19,
        19,
        14,
        13,
        12,
        10,
        9,
        8,
        6,
        0,
        0,
        0,
        0,
        0
      ],
      "first_ten_partial_shares": [
        0.13660477453580902,
        0.22944297082228116,
        0.2957559681697613,
        0.36074270557029176,
        0.4244031830238727,
        0.48673740053050396,
        0.5464190981432361,
        0.5981432360742706,
        0.6485411140583555,
        0.6949602122015915
      ]
    },
    {
      "name": "instruction",
      "scored": 88,
      "observed_types": 20,
      "rune_histogram": [
        2,
        6,
        6,
        10,
        7,
        4,
        0,
        3,
        0,
        8,
        6,
        0,
        0,
        1,
        0,
        9,
        5,
        0,
        6,
        1,
        5,
        2,
        0,
        2,
        1,
        0,
        2,
        2,
        0
      ],
      "sorted_histogram": [
        10,
        9,
        8,
        7,
        6,
        6,
        6,
        6,
        5,
        5,
        4,
        3,
        2,
        2,
        2,
        2,
        2,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "first_ten_partial_shares": [
        0.11363636363636363,
        0.2159090909090909,
        0.3068181818181818,
        0.38636363636363635,
        0.45454545454545453,
        0.5227272727272727,
        0.5909090909090909,
        0.6590909090909091,
        0.7159090909090909,
        0.7727272727272727
      ]
    },
    {
      "name": "pooled",
      "scored": 1958,
      "observed_types": 26,
      "rune_histogram": [
        31,
        95,
        73,
        190,
        135,
        63,
        23,
        74,
        66,
        112,
        97,
        0,
        0,
        27,
        2,
        132,
        128,
        35,
        248,
        55,
        62,
        24,
        0,
        72,
        141,
        2,
        46,
        14,
        11
      ],
      "sorted_histogram": [
        248,
        190,
        141,
        135,
        132,
        128,
        112,
        97,
        95,
        74,
        73,
        72,
        66,
        63,
        62,
        55,
        46,
        35,
        31,
        27,
        24,
        23,
        14,
        11,
        2,
        2,
        0,
        0,
        0
      ],
      "first_ten_partial_shares": [
        0.12665985699693566,
        0.2236976506639428,
        0.2957099080694586,
        0.36465781409601633,
        0.432073544433095,
        0.4974463738508682,
        0.5546475995914198,
        0.6041879468845761,
        0.6527068437180796,
        0.6905005107252298
      ]
    }
  ],
  "frozen_survivors": [
    {
      "section": 1,
      "states": 5,
      "a": 4,
      "b": 7,
      "selector_frozen_from_Session_70": true,
      "results": [
        {
          "part": "full",
          "declared_alphabet": 20,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 20,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 1144,
            "R_positions": 166,
            "maximum_non_R_positions": 324,
            "anonymous_histogram": [
              166,
              324,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_upper_histogram": [
              324,
              166,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_partial_sum_upper_counts": [
              324,
              490,
              542,
              593,
              641,
              688,
              731,
              774,
              816,
              856,
              893,
              930,
              966,
              1001,
              1032,
              1059,
              1084,
              1107,
              1128,
              1144
            ],
            "minimum_histogram_entropy_bits": 3.7291699352608045,
            "attaining_anonymous_table": [
              [
                16,
                9,
                0,
                19,
                1,
                10,
                6,
                12,
                0,
                17,
                1,
                2,
                3,
                4,
                0,
                18,
                11,
                14,
                1,
                0,
                0,
                7,
                1,
                8,
                5,
                0,
                15,
                13,
                1
              ],
              [
                8,
                0,
                18,
                14,
                19,
                4,
                5,
                0,
                9,
                1,
                15,
                2,
                0,
                0,
                1,
                6,
                1,
                16,
                0,
                1,
                10,
                11,
                17,
                12,
                0,
                7,
                3,
                1,
                13
              ],
              [
                0,
                10,
                11,
                14,
                15,
                0,
                0,
                18,
                16,
                12,
                1,
                0,
                1,
                1,
                5,
                6,
                9,
                0,
                19,
                7,
                2,
                1,
                8,
                0,
                13,
                17,
                3,
                4,
                1
              ],
              [
                19,
                15,
                10,
                2,
                0,
                1,
                1,
                11,
                6,
                16,
                0,
                4,
                7,
                5,
                1,
                8,
                0,
                17,
                12,
                3,
                1,
                13,
                0,
                14,
                18,
                9,
                1,
                0,
                0
              ],
              [
                10,
                4,
                1,
                0,
                5,
                1,
                14,
                11,
                1,
                0,
                6,
                2,
                1,
                7,
                16,
                0,
                17,
                1,
                19,
                18,
                12,
                0,
                8,
                3,
                15,
                1,
                0,
                13,
                9
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 9,
                "maximum_decoded_share": 0.7132867132867133,
                "reference_share": 0.7159090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 21,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 21,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 1144,
            "R_positions": 166,
            "maximum_non_R_positions": 270,
            "anonymous_histogram": [
              166,
              270,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_upper_histogram": [
              270,
              166,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_partial_sum_upper_counts": [
              270,
              436,
              490,
              542,
              593,
              641,
              688,
              731,
              774,
              816,
              856,
              893,
              930,
              966,
              1001,
              1032,
              1059,
              1084,
              1107,
              1128,
              1144
            ],
            "minimum_histogram_entropy_bits": 3.913267194538834,
            "attaining_anonymous_table": [
              [
                17,
                10,
                0,
                20,
                1,
                11,
                7,
                13,
                0,
                18,
                2,
                3,
                4,
                5,
                0,
                19,
                12,
                15,
                1,
                0,
                0,
                8,
                1,
                9,
                6,
                0,
                16,
                14,
                1
              ],
              [
                9,
                0,
                19,
                15,
                20,
                5,
                6,
                0,
                10,
                1,
                16,
                3,
                0,
                0,
                1,
                7,
                2,
                17,
                0,
                1,
                11,
                12,
                18,
                13,
                0,
                8,
                4,
                1,
                14
              ],
              [
                0,
                11,
                12,
                15,
                16,
                0,
                0,
                19,
                17,
                13,
                1,
                0,
                1,
                2,
                6,
                7,
                10,
                0,
                20,
                8,
                3,
                1,
                9,
                0,
                14,
                18,
                4,
                5,
                1
              ],
              [
                20,
                16,
                11,
                3,
                0,
                1,
                1,
                12,
                7,
                17,
                0,
                5,
                8,
                6,
                1,
                9,
                0,
                18,
                13,
                4,
                1,
                14,
                0,
                15,
                19,
                10,
                2,
                0,
                0
              ],
              [
                11,
                5,
                2,
                0,
                6,
                1,
                15,
                12,
                1,
                0,
                7,
                3,
                1,
                8,
                17,
                0,
                18,
                1,
                20,
                19,
                13,
                0,
                9,
                4,
                16,
                1,
                0,
                14,
                10
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 8,
                "maximum_decoded_share": 0.638986013986014,
                "reference_share": 0.6590909090909091
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 22,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 22,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 1144,
            "R_positions": 166,
            "maximum_non_R_positions": 212,
            "anonymous_histogram": [
              166,
              212,
              58,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_upper_histogram": [
              212,
              166,
              58,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_partial_sum_upper_counts": [
              212,
              378,
              436,
              490,
              542,
              593,
              641,
              688,
              731,
              774,
              816,
              856,
              893,
              930,
              966,
              1001,
              1032,
              1059,
              1084,
              1107,
              1128,
              1144
            ],
            "minimum_histogram_entropy_bits": 4.090415950761673,
            "attaining_anonymous_table": [
              [
                18,
                11,
                0,
                21,
                1,
                12,
                8,
                14,
                0,
                19,
                3,
                4,
                5,
                6,
                0,
                20,
                13,
                16,
                2,
                0,
                0,
                9,
                1,
                10,
                7,
                0,
                17,
                15,
                1
              ],
              [
                10,
                0,
                20,
                16,
                21,
                6,
                7,
                0,
                11,
                1,
                17,
                4,
                0,
                0,
                1,
                8,
                3,
                18,
                0,
                1,
                12,
                13,
                19,
                14,
                0,
                9,
                5,
                2,
                15
              ],
              [
                0,
                12,
                13,
                16,
                17,
                0,
                0,
                20,
                18,
                14,
                2,
                0,
                1,
                3,
                7,
                8,
                11,
                0,
                21,
                9,
                4,
                1,
                10,
                0,
                15,
                19,
                5,
                6,
                1
              ],
              [
                21,
                17,
                12,
                4,
                0,
                2,
                1,
                13,
                8,
                18,
                0,
                6,
                9,
                7,
                1,
                10,
                0,
                19,
                14,
                5,
                1,
                15,
                0,
                16,
                20,
                11,
                3,
                0,
                0
              ],
              [
                12,
                6,
                3,
                0,
                7,
                1,
                16,
                13,
                1,
                0,
                8,
                4,
                1,
                9,
                18,
                0,
                19,
                1,
                21,
                20,
                14,
                0,
                10,
                5,
                17,
                2,
                0,
                15,
                11
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 6,
                "maximum_decoded_share": 0.5183566433566433,
                "reference_share": 0.5227272727272727
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 23,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 23,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 1144,
            "R_positions": 166,
            "maximum_non_R_positions": 151,
            "anonymous_histogram": [
              166,
              151,
              61,
              58,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_upper_histogram": [
              166,
              151,
              61,
              58,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_partial_sum_upper_counts": [
              166,
              317,
              378,
              436,
              490,
              542,
              593,
              641,
              688,
              731,
              774,
              816,
              856,
              893,
              930,
              966,
              1001,
              1032,
              1059,
              1084,
              1107,
              1128,
              1144
            ],
            "minimum_histogram_entropy_bits": 4.250857422036127,
            "attaining_anonymous_table": [
              [
                19,
                12,
                0,
                22,
                1,
                13,
                9,
                15,
                0,
                20,
                4,
                5,
                6,
                7,
                0,
                21,
                14,
                17,
                3,
                0,
                0,
                10,
                2,
                11,
                8,
                0,
                18,
                16,
                1
              ],
              [
                11,
                0,
                21,
                17,
                22,
                7,
                8,
                0,
                12,
                1,
                18,
                5,
                0,
                0,
                1,
                9,
                4,
                19,
                0,
                2,
                13,
                14,
                20,
                15,
                0,
                10,
                6,
                3,
                16
              ],
              [
                0,
                13,
                14,
                17,
                18,
                0,
                0,
                21,
                19,
                15,
                3,
                0,
                1,
                4,
                8,
                9,
                12,
                0,
                22,
                10,
                5,
                1,
                11,
                0,
                16,
                20,
                6,
                7,
                2
              ],
              [
                22,
                18,
                13,
                5,
                0,
                3,
                1,
                14,
                9,
                19,
                0,
                7,
                10,
                8,
                2,
                11,
                0,
                20,
                15,
                6,
                1,
                16,
                0,
                17,
                21,
                12,
                4,
                0,
                0
              ],
              [
                13,
                7,
                4,
                0,
                8,
                1,
                17,
                14,
                1,
                0,
                9,
                5,
                1,
                10,
                19,
                0,
                20,
                2,
                22,
                21,
                15,
                0,
                11,
                6,
                18,
                3,
                0,
                16,
                12
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.3811188811188811,
                "reference_share": 0.38636363636363635
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 24,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 24,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 1144,
            "R_positions": 166,
            "maximum_non_R_positions": 86,
            "anonymous_histogram": [
              166,
              86,
              65,
              61,
              58,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_upper_histogram": [
              166,
              86,
              65,
              61,
              58,
              54,
              52,
              51,
              48,
              47,
              43,
              43,
              42,
              40,
              37,
              37,
              36,
              35,
              31,
              27,
              25,
              23,
              21,
              16
            ],
            "sorted_partial_sum_upper_counts": [
              166,
              252,
              317,
              378,
              436,
              490,
              542,
              593,
              641,
              688,
              731,
              774,
              816,
              856,
              893,
              930,
              966,
              1001,
              1032,
              1059,
              1084,
              1107,
              1128,
              1144
            ],
            "minimum_histogram_entropy_bits": 4.381002910573589,
            "attaining_anonymous_table": [
              [
                20,
                13,
                0,
                23,
                2,
                14,
                10,
                16,
                0,
                21,
                5,
                6,
                7,
                8,
                0,
                22,
                15,
                18,
                4,
                0,
                0,
                11,
                3,
                12,
                9,
                0,
                19,
                17,
                1
              ],
              [
                12,
                0,
                22,
                18,
                23,
                8,
                9,
                0,
                13,
                2,
                19,
                6,
                0,
                0,
                1,
                10,
                5,
                20,
                0,
                3,
                14,
                15,
                21,
                16,
                0,
                11,
                7,
                4,
                17
              ],
              [
                0,
                14,
                15,
                18,
                19,
                0,
                0,
                22,
                20,
                16,
                4,
                0,
                2,
                5,
                9,
                10,
                13,
                0,
                23,
                11,
                6,
                1,
                12,
                0,
                17,
                21,
                7,
                8,
                3
              ],
              [
                23,
                19,
                14,
                6,
                0,
                4,
                2,
                15,
                10,
                20,
                0,
                8,
                11,
                9,
                3,
                12,
                0,
                21,
                16,
                7,
                1,
                17,
                0,
                18,
                22,
                13,
                5,
                0,
                0
              ],
              [
                14,
                8,
                5,
                0,
                9,
                1,
                18,
                15,
                2,
                0,
                10,
                6,
                1,
                11,
                20,
                0,
                21,
                3,
                23,
                22,
                16,
                0,
                12,
                7,
                19,
                4,
                0,
                17,
                13
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.1451048951048951,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.2202797202797203,
                "reference_share": 0.22522522522522523
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.2202797202797203,
                "reference_share": 0.22944297082228116
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 3,
                "maximum_decoded_share": 0.2770979020979021,
                "reference_share": 0.3068181818181818
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 25,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 26,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 27,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 28,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 29,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 20,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 20,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 382,
            "R_positions": 58,
            "maximum_non_R_positions": 139,
            "anonymous_histogram": [
              58,
              139,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_upper_histogram": [
              139,
              58,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              139,
              197,
              217,
              237,
              254,
              269,
              283,
              297,
              310,
              322,
              333,
              343,
              352,
              360,
              366,
              372,
              377,
              380,
              382,
              382
            ],
            "minimum_histogram_entropy_bits": 3.33873591240469,
            "attaining_anonymous_table": [
              [
                14,
                6,
                0,
                17,
                1,
                7,
                2,
                8,
                0,
                15,
                1,
                16,
                3,
                4,
                0,
                18,
                11,
                12,
                5,
                0,
                0,
                9,
                1,
                10,
                1,
                0,
                19,
                13,
                1
              ],
              [
                12,
                0,
                13,
                10,
                14,
                4,
                11,
                0,
                5,
                1,
                15,
                1,
                0,
                0,
                6,
                1,
                1,
                18,
                0,
                7,
                8,
                16,
                19,
                2,
                0,
                3,
                9,
                1,
                17
              ],
              [
                0,
                8,
                14,
                2,
                9,
                0,
                0,
                10,
                5,
                15,
                11,
                0,
                19,
                1,
                1,
                6,
                12,
                0,
                13,
                1,
                1,
                3,
                7,
                0,
                4,
                16,
                17,
                1,
                18
              ],
              [
                19,
                16,
                9,
                1,
                0,
                1,
                4,
                5,
                10,
                17,
                0,
                6,
                11,
                12,
                1,
                1,
                0,
                18,
                13,
                7,
                1,
                2,
                0,
                14,
                15,
                8,
                3,
                0,
                0
              ],
              [
                5,
                6,
                1,
                0,
                7,
                1,
                8,
                9,
                1,
                0,
                1,
                2,
                1,
                3,
                13,
                0,
                17,
                10,
                18,
                14,
                11,
                0,
                15,
                1,
                19,
                12,
                0,
                4,
                16
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 21,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 21,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 382,
            "R_positions": 58,
            "maximum_non_R_positions": 118,
            "anonymous_histogram": [
              58,
              118,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_upper_histogram": [
              118,
              58,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              118,
              176,
              197,
              217,
              237,
              254,
              269,
              283,
              297,
              310,
              322,
              333,
              343,
              352,
              360,
              366,
              372,
              377,
              380,
              382,
              382
            ],
            "minimum_histogram_entropy_bits": 3.5616214187018524,
            "attaining_anonymous_table": [
              [
                15,
                7,
                0,
                18,
                2,
                8,
                3,
                9,
                0,
                16,
                1,
                17,
                4,
                5,
                0,
                19,
                12,
                13,
                6,
                0,
                0,
                10,
                1,
                11,
                1,
                0,
                20,
                14,
                1
              ],
              [
                13,
                0,
                14,
                11,
                15,
                5,
                12,
                0,
                6,
                1,
                16,
                1,
                0,
                0,
                7,
                2,
                1,
                19,
                0,
                8,
                9,
                17,
                20,
                3,
                0,
                4,
                10,
                1,
                18
              ],
              [
                0,
                9,
                15,
                3,
                10,
                0,
                0,
                11,
                6,
                16,
                12,
                0,
                20,
                1,
                1,
                7,
                13,
                0,
                14,
                1,
                1,
                4,
                8,
                0,
                5,
                17,
                18,
                2,
                19
              ],
              [
                20,
                17,
                10,
                1,
                0,
                1,
                5,
                6,
                11,
                18,
                0,
                7,
                12,
                13,
                2,
                1,
                0,
                19,
                14,
                8,
                1,
                3,
                0,
                15,
                16,
                9,
                4,
                0,
                0
              ],
              [
                6,
                7,
                2,
                0,
                8,
                1,
                9,
                10,
                1,
                0,
                1,
                3,
                1,
                4,
                14,
                0,
                18,
                11,
                19,
                15,
                12,
                0,
                16,
                1,
                20,
                13,
                0,
                5,
                17
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 22,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 22,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 382,
            "R_positions": 58,
            "maximum_non_R_positions": 93,
            "anonymous_histogram": [
              58,
              93,
              25,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_upper_histogram": [
              93,
              58,
              25,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              93,
              151,
              176,
              197,
              217,
              237,
              254,
              269,
              283,
              297,
              310,
              322,
              333,
              343,
              352,
              360,
              366,
              372,
              377,
              380,
              382,
              382
            ],
            "minimum_histogram_entropy_bits": 3.7917620094015443,
            "attaining_anonymous_table": [
              [
                16,
                8,
                0,
                19,
                3,
                9,
                4,
                10,
                0,
                17,
                1,
                18,
                5,
                6,
                0,
                20,
                13,
                14,
                7,
                0,
                0,
                11,
                1,
                12,
                1,
                0,
                21,
                15,
                2
              ],
              [
                14,
                0,
                15,
                12,
                16,
                6,
                13,
                0,
                7,
                1,
                17,
                1,
                0,
                0,
                8,
                3,
                1,
                20,
                0,
                9,
                10,
                18,
                21,
                4,
                0,
                5,
                11,
                2,
                19
              ],
              [
                0,
                10,
                16,
                4,
                11,
                0,
                0,
                12,
                7,
                17,
                13,
                0,
                21,
                1,
                1,
                8,
                14,
                0,
                15,
                1,
                2,
                5,
                9,
                0,
                6,
                18,
                19,
                3,
                20
              ],
              [
                21,
                18,
                11,
                1,
                0,
                1,
                6,
                7,
                12,
                19,
                0,
                8,
                13,
                14,
                3,
                2,
                0,
                20,
                15,
                9,
                1,
                4,
                0,
                16,
                17,
                10,
                5,
                0,
                0
              ],
              [
                7,
                8,
                3,
                0,
                9,
                1,
                10,
                11,
                1,
                0,
                2,
                4,
                1,
                5,
                15,
                0,
                19,
                12,
                20,
                16,
                13,
                0,
                17,
                1,
                21,
                14,
                0,
                6,
                18
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 23,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 23,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 382,
            "R_positions": 58,
            "maximum_non_R_positions": 68,
            "anonymous_histogram": [
              58,
              68,
              25,
              25,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_upper_histogram": [
              68,
              58,
              25,
              25,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              68,
              126,
              151,
              176,
              197,
              217,
              237,
              254,
              269,
              283,
              297,
              310,
              322,
              333,
              343,
              352,
              360,
              366,
              372,
              377,
              380,
              382,
              382
            ],
            "minimum_histogram_entropy_bits": 3.996206751505355,
            "attaining_anonymous_table": [
              [
                17,
                9,
                0,
                20,
                4,
                10,
                5,
                11,
                0,
                18,
                1,
                19,
                6,
                7,
                0,
                21,
                14,
                15,
                8,
                0,
                0,
                12,
                1,
                13,
                2,
                0,
                22,
                16,
                3
              ],
              [
                15,
                0,
                16,
                13,
                17,
                7,
                14,
                0,
                8,
                1,
                18,
                1,
                0,
                0,
                9,
                4,
                2,
                21,
                0,
                10,
                11,
                19,
                22,
                5,
                0,
                6,
                12,
                3,
                20
              ],
              [
                0,
                11,
                17,
                5,
                12,
                0,
                0,
                13,
                8,
                18,
                14,
                0,
                22,
                1,
                2,
                9,
                15,
                0,
                16,
                1,
                3,
                6,
                10,
                0,
                7,
                19,
                20,
                4,
                21
              ],
              [
                22,
                19,
                12,
                2,
                0,
                1,
                7,
                8,
                13,
                20,
                0,
                9,
                14,
                15,
                4,
                3,
                0,
                21,
                16,
                10,
                1,
                5,
                0,
                17,
                18,
                11,
                6,
                0,
                0
              ],
              [
                8,
                9,
                4,
                0,
                10,
                1,
                11,
                12,
                2,
                0,
                3,
                5,
                1,
                6,
                16,
                0,
                20,
                13,
                21,
                17,
                14,
                0,
                18,
                1,
                22,
                15,
                0,
                7,
                19
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 9,
                "maximum_decoded_share": 0.7041884816753927,
                "reference_share": 0.7159090909090909
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 24,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 24,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ],
            "scored": 382,
            "R_positions": 58,
            "maximum_non_R_positions": 41,
            "anonymous_histogram": [
              58,
              41,
              27,
              25,
              25,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_upper_histogram": [
              58,
              41,
              27,
              25,
              25,
              21,
              20,
              20,
              17,
              15,
              14,
              14,
              13,
              12,
              11,
              10,
              9,
              8,
              6,
              6,
              5,
              3,
              2,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              58,
              99,
              126,
              151,
              176,
              197,
              217,
              237,
              254,
              269,
              283,
              297,
              310,
              322,
              333,
              343,
              352,
              360,
              366,
              372,
              377,
              380,
              382,
              382
            ],
            "minimum_histogram_entropy_bits": 4.168735229142182,
            "attaining_anonymous_table": [
              [
                18,
                10,
                0,
                21,
                5,
                11,
                6,
                12,
                0,
                19,
                2,
                20,
                7,
                8,
                0,
                22,
                15,
                16,
                9,
                0,
                0,
                13,
                1,
                14,
                3,
                0,
                23,
                17,
                4
              ],
              [
                16,
                0,
                17,
                14,
                18,
                8,
                15,
                0,
                9,
                1,
                19,
                2,
                0,
                0,
                10,
                5,
                3,
                22,
                0,
                11,
                12,
                20,
                23,
                6,
                0,
                7,
                13,
                4,
                21
              ],
              [
                0,
                12,
                18,
                6,
                13,
                0,
                0,
                14,
                9,
                19,
                15,
                0,
                23,
                2,
                3,
                10,
                16,
                0,
                17,
                1,
                4,
                7,
                11,
                0,
                8,
                20,
                21,
                5,
                22
              ],
              [
                23,
                20,
                13,
                3,
                0,
                2,
                8,
                9,
                14,
                21,
                0,
                10,
                15,
                16,
                5,
                4,
                0,
                22,
                17,
                11,
                1,
                6,
                0,
                18,
                19,
                12,
                7,
                0,
                0
              ],
              [
                9,
                10,
                5,
                0,
                11,
                2,
                12,
                13,
                3,
                0,
                4,
                6,
                1,
                7,
                17,
                0,
                21,
                14,
                22,
                18,
                15,
                0,
                19,
                1,
                23,
                16,
                0,
                8,
                20
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 3,
                "maximum_decoded_share": 0.3298429319371728,
                "reference_share": 0.3442622950819672
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.39528795811518325,
                "reference_share": 0.3963963963963964
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 6,
                "maximum_decoded_share": 0.5157068062827225,
                "reference_share": 0.5227272727272727
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 25,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 26,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 27,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 28,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 29,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              24,
              24,
              24,
              24,
              25
            ]
          },
          "reference_comparisons": []
        }
      ]
    },
    {
      "section": 5,
      "states": 6,
      "a": 11,
      "b": 3,
      "selector_frozen_from_Session_70": true,
      "results": [
        {
          "part": "full",
          "declared_alphabet": 20,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 20,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1020,
            "R_positions": 138,
            "maximum_non_R_positions": 316,
            "anonymous_histogram": [
              138,
              316,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_upper_histogram": [
              316,
              138,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_partial_sum_upper_counts": [
              316,
              454,
              497,
              539,
              580,
              620,
              658,
              694,
              729,
              764,
              799,
              833,
              866,
              895,
              924,
              948,
              970,
              990,
              1007,
              1020
            ],
            "minimum_histogram_entropy_bits": 3.666111075666709,
            "attaining_anonymous_table": [
              [
                6,
                7,
                1,
                3,
                0,
                0,
                1,
                15,
                4,
                1,
                17,
                8,
                9,
                10,
                0,
                5,
                11,
                18,
                1,
                1,
                19,
                12,
                13,
                0,
                0,
                16,
                2,
                14,
                1
              ],
              [
                1,
                1,
                0,
                0,
                16,
                1,
                6,
                1,
                17,
                13,
                18,
                7,
                0,
                0,
                14,
                1,
                8,
                19,
                9,
                15,
                2,
                1,
                0,
                10,
                11,
                12,
                3,
                4,
                5
              ],
              [
                1,
                0,
                4,
                2,
                15,
                11,
                5,
                6,
                1,
                1,
                0,
                0,
                12,
                3,
                13,
                1,
                16,
                1,
                7,
                17,
                0,
                0,
                8,
                18,
                19,
                1,
                9,
                14,
                10
              ],
              [
                0,
                1,
                7,
                1,
                8,
                1,
                2,
                13,
                12,
                0,
                9,
                18,
                19,
                10,
                11,
                14,
                1,
                1,
                0,
                0,
                3,
                15,
                16,
                4,
                1,
                17,
                5,
                6,
                0
              ],
              [
                7,
                1,
                15,
                1,
                1,
                19,
                8,
                0,
                0,
                1,
                2,
                9,
                10,
                3,
                13,
                4,
                5,
                0,
                6,
                14,
                16,
                1,
                11,
                17,
                12,
                18,
                0,
                0,
                1
              ],
              [
                1,
                1,
                2,
                3,
                16,
                8,
                0,
                4,
                9,
                5,
                6,
                17,
                18,
                13,
                14,
                0,
                0,
                1,
                1,
                10,
                1,
                11,
                1,
                19,
                1,
                0,
                12,
                15,
                7
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 9,
                "maximum_decoded_share": 0.7147058823529412,
                "reference_share": 0.7159090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 21,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 21,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1020,
            "R_positions": 138,
            "maximum_non_R_positions": 272,
            "anonymous_histogram": [
              138,
              272,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_upper_histogram": [
              272,
              138,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_partial_sum_upper_counts": [
              272,
              410,
              454,
              497,
              539,
              580,
              620,
              658,
              694,
              729,
              764,
              799,
              833,
              866,
              895,
              924,
              948,
              970,
              990,
              1007,
              1020
            ],
            "minimum_histogram_entropy_bits": 3.846493264278308,
            "attaining_anonymous_table": [
              [
                7,
                8,
                1,
                4,
                0,
                0,
                1,
                16,
                5,
                2,
                18,
                9,
                10,
                11,
                0,
                6,
                12,
                19,
                1,
                1,
                20,
                13,
                14,
                0,
                0,
                17,
                3,
                15,
                1
              ],
              [
                1,
                1,
                0,
                0,
                17,
                1,
                7,
                1,
                18,
                14,
                19,
                8,
                0,
                0,
                15,
                2,
                9,
                20,
                10,
                16,
                3,
                1,
                0,
                11,
                12,
                13,
                4,
                5,
                6
              ],
              [
                1,
                0,
                5,
                3,
                16,
                12,
                6,
                7,
                1,
                1,
                0,
                0,
                13,
                4,
                14,
                1,
                17,
                1,
                8,
                18,
                0,
                0,
                9,
                19,
                20,
                2,
                10,
                15,
                11
              ],
              [
                0,
                1,
                8,
                1,
                9,
                2,
                3,
                14,
                13,
                0,
                10,
                19,
                20,
                11,
                12,
                15,
                1,
                1,
                0,
                0,
                4,
                16,
                17,
                5,
                1,
                18,
                6,
                7,
                0
              ],
              [
                8,
                1,
                16,
                1,
                1,
                20,
                9,
                0,
                0,
                2,
                3,
                10,
                11,
                4,
                14,
                5,
                6,
                0,
                7,
                15,
                17,
                1,
                12,
                18,
                13,
                19,
                0,
                0,
                1
              ],
              [
                1,
                2,
                3,
                4,
                17,
                9,
                0,
                5,
                10,
                6,
                7,
                18,
                19,
                14,
                15,
                0,
                0,
                1,
                1,
                11,
                1,
                12,
                1,
                20,
                1,
                0,
                13,
                16,
                8
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 8,
                "maximum_decoded_share": 0.6450980392156863,
                "reference_share": 0.6590909090909091
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 22,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 22,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1020,
            "R_positions": 138,
            "maximum_non_R_positions": 227,
            "anonymous_histogram": [
              138,
              227,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_upper_histogram": [
              227,
              138,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_partial_sum_upper_counts": [
              227,
              365,
              410,
              454,
              497,
              539,
              580,
              620,
              658,
              694,
              729,
              764,
              799,
              833,
              866,
              895,
              924,
              948,
              970,
              990,
              1007,
              1020
            ],
            "minimum_histogram_entropy_bits": 4.019071692582444,
            "attaining_anonymous_table": [
              [
                8,
                9,
                1,
                5,
                0,
                0,
                2,
                17,
                6,
                3,
                19,
                10,
                11,
                12,
                0,
                7,
                13,
                20,
                1,
                1,
                21,
                14,
                15,
                0,
                0,
                18,
                4,
                16,
                1
              ],
              [
                1,
                1,
                0,
                0,
                18,
                1,
                8,
                2,
                19,
                15,
                20,
                9,
                0,
                0,
                16,
                3,
                10,
                21,
                11,
                17,
                4,
                1,
                0,
                12,
                13,
                14,
                5,
                6,
                7
              ],
              [
                1,
                0,
                6,
                4,
                17,
                13,
                7,
                8,
                1,
                1,
                0,
                0,
                14,
                5,
                15,
                1,
                18,
                2,
                9,
                19,
                0,
                0,
                10,
                20,
                21,
                3,
                11,
                16,
                12
              ],
              [
                0,
                2,
                9,
                1,
                10,
                3,
                4,
                15,
                14,
                0,
                11,
                20,
                21,
                12,
                13,
                16,
                1,
                1,
                0,
                0,
                5,
                17,
                18,
                6,
                1,
                19,
                7,
                8,
                0
              ],
              [
                9,
                1,
                17,
                2,
                1,
                21,
                10,
                0,
                0,
                3,
                4,
                11,
                12,
                5,
                15,
                6,
                7,
                0,
                8,
                16,
                18,
                1,
                13,
                19,
                14,
                20,
                0,
                0,
                1
              ],
              [
                2,
                3,
                4,
                5,
                18,
                10,
                0,
                6,
                11,
                7,
                8,
                19,
                20,
                15,
                16,
                0,
                0,
                1,
                1,
                12,
                1,
                13,
                1,
                21,
                1,
                0,
                14,
                17,
                9
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 7,
                "maximum_decoded_share": 0.5686274509803921,
                "reference_share": 0.5909090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 23,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 23,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1020,
            "R_positions": 138,
            "maximum_non_R_positions": 177,
            "anonymous_histogram": [
              138,
              177,
              50,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_upper_histogram": [
              177,
              138,
              50,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_partial_sum_upper_counts": [
              177,
              315,
              365,
              410,
              454,
              497,
              539,
              580,
              620,
              658,
              694,
              729,
              764,
              799,
              833,
              866,
              895,
              924,
              948,
              970,
              990,
              1007,
              1020
            ],
            "minimum_histogram_entropy_bits": 4.18835356979971,
            "attaining_anonymous_table": [
              [
                9,
                10,
                1,
                6,
                0,
                0,
                3,
                18,
                7,
                4,
                20,
                11,
                12,
                13,
                0,
                8,
                14,
                21,
                2,
                1,
                22,
                15,
                16,
                0,
                0,
                19,
                5,
                17,
                1
              ],
              [
                1,
                1,
                0,
                0,
                19,
                1,
                9,
                3,
                20,
                16,
                21,
                10,
                0,
                0,
                17,
                4,
                11,
                22,
                12,
                18,
                5,
                2,
                0,
                13,
                14,
                15,
                6,
                7,
                8
              ],
              [
                1,
                0,
                7,
                5,
                18,
                14,
                8,
                9,
                2,
                1,
                0,
                0,
                15,
                6,
                16,
                1,
                19,
                3,
                10,
                20,
                0,
                0,
                11,
                21,
                22,
                4,
                12,
                17,
                13
              ],
              [
                0,
                3,
                10,
                1,
                11,
                4,
                5,
                16,
                15,
                0,
                12,
                21,
                22,
                13,
                14,
                17,
                1,
                2,
                0,
                0,
                6,
                18,
                19,
                7,
                1,
                20,
                8,
                9,
                0
              ],
              [
                10,
                2,
                18,
                3,
                1,
                22,
                11,
                0,
                0,
                4,
                5,
                12,
                13,
                6,
                16,
                7,
                8,
                0,
                9,
                17,
                19,
                1,
                14,
                20,
                15,
                21,
                0,
                0,
                1
              ],
              [
                3,
                4,
                5,
                6,
                19,
                11,
                0,
                7,
                12,
                8,
                9,
                20,
                21,
                16,
                17,
                0,
                0,
                1,
                1,
                13,
                1,
                14,
                1,
                22,
                2,
                0,
                15,
                18,
                10
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 5,
                "maximum_decoded_share": 0.44509803921568625,
                "reference_share": 0.45454545454545453
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 24,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 24,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1020,
            "R_positions": 138,
            "maximum_non_R_positions": 125,
            "anonymous_histogram": [
              138,
              125,
              52,
              50,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_upper_histogram": [
              138,
              125,
              52,
              50,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_partial_sum_upper_counts": [
              138,
              263,
              315,
              365,
              410,
              454,
              497,
              539,
              580,
              620,
              658,
              694,
              729,
              764,
              799,
              833,
              866,
              895,
              924,
              948,
              970,
              990,
              1007,
              1020
            ],
            "minimum_histogram_entropy_bits": 4.339942081014017,
            "attaining_anonymous_table": [
              [
                10,
                11,
                1,
                7,
                0,
                0,
                4,
                19,
                8,
                5,
                21,
                12,
                13,
                14,
                0,
                9,
                15,
                22,
                3,
                1,
                23,
                16,
                17,
                0,
                0,
                20,
                6,
                18,
                2
              ],
              [
                1,
                1,
                0,
                0,
                20,
                2,
                10,
                4,
                21,
                17,
                22,
                11,
                0,
                0,
                18,
                5,
                12,
                23,
                13,
                19,
                6,
                3,
                0,
                14,
                15,
                16,
                7,
                8,
                9
              ],
              [
                2,
                0,
                8,
                6,
                19,
                15,
                9,
                10,
                3,
                1,
                0,
                0,
                16,
                7,
                17,
                1,
                20,
                4,
                11,
                21,
                0,
                0,
                12,
                22,
                23,
                5,
                13,
                18,
                14
              ],
              [
                0,
                4,
                11,
                1,
                12,
                5,
                6,
                17,
                16,
                0,
                13,
                22,
                23,
                14,
                15,
                18,
                2,
                3,
                0,
                0,
                7,
                19,
                20,
                8,
                1,
                21,
                9,
                10,
                0
              ],
              [
                11,
                3,
                19,
                4,
                1,
                23,
                12,
                0,
                0,
                5,
                6,
                13,
                14,
                7,
                17,
                8,
                9,
                0,
                10,
                18,
                20,
                1,
                15,
                21,
                16,
                22,
                0,
                0,
                2
              ],
              [
                4,
                5,
                6,
                7,
                20,
                12,
                0,
                8,
                13,
                9,
                10,
                21,
                22,
                17,
                18,
                0,
                0,
                1,
                1,
                14,
                1,
                15,
                2,
                23,
                3,
                0,
                16,
                19,
                11
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13529411764705881,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 3,
                "maximum_decoded_share": 0.3088235294117647,
                "reference_share": 0.3204633204633205
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13529411764705881,
                "reference_share": 0.13660477453580902
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.35784313725490197,
                "reference_share": 0.38636363636363635
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 25,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 25,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1020,
            "R_positions": 138,
            "maximum_non_R_positions": 69,
            "anonymous_histogram": [
              138,
              69,
              56,
              52,
              50,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_upper_histogram": [
              138,
              69,
              56,
              52,
              50,
              45,
              44,
              43,
              42,
              41,
              40,
              38,
              36,
              35,
              35,
              35,
              34,
              33,
              29,
              29,
              24,
              22,
              20,
              17,
              13
            ],
            "sorted_partial_sum_upper_counts": [
              138,
              207,
              263,
              315,
              365,
              410,
              454,
              497,
              539,
              580,
              620,
              658,
              694,
              729,
              764,
              799,
              833,
              866,
              895,
              924,
              948,
              970,
              990,
              1007,
              1020
            ],
            "minimum_histogram_entropy_bits": 4.461533230455038,
            "attaining_anonymous_table": [
              [
                11,
                12,
                1,
                8,
                0,
                0,
                5,
                20,
                9,
                6,
                22,
                13,
                14,
                15,
                0,
                10,
                16,
                23,
                4,
                2,
                24,
                17,
                18,
                0,
                0,
                21,
                7,
                19,
                3
              ],
              [
                1,
                2,
                0,
                0,
                21,
                3,
                11,
                5,
                22,
                18,
                23,
                12,
                0,
                0,
                19,
                6,
                13,
                24,
                14,
                20,
                7,
                4,
                0,
                15,
                16,
                17,
                8,
                9,
                10
              ],
              [
                3,
                0,
                9,
                7,
                20,
                16,
                10,
                11,
                4,
                1,
                0,
                0,
                17,
                8,
                18,
                2,
                21,
                5,
                12,
                22,
                0,
                0,
                13,
                23,
                24,
                6,
                14,
                19,
                15
              ],
              [
                0,
                5,
                12,
                2,
                13,
                6,
                7,
                18,
                17,
                0,
                14,
                23,
                24,
                15,
                16,
                19,
                3,
                4,
                0,
                0,
                8,
                20,
                21,
                9,
                1,
                22,
                10,
                11,
                0
              ],
              [
                12,
                4,
                20,
                5,
                1,
                24,
                13,
                0,
                0,
                6,
                7,
                14,
                15,
                8,
                18,
                9,
                10,
                0,
                11,
                19,
                21,
                2,
                16,
                22,
                17,
                23,
                0,
                0,
                3
              ],
              [
                5,
                6,
                7,
                8,
                21,
                13,
                0,
                9,
                14,
                10,
                11,
                22,
                23,
                18,
                19,
                0,
                0,
                2,
                1,
                15,
                1,
                16,
                3,
                24,
                4,
                0,
                17,
                20,
                12
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13529411764705881,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "wisdom",
              "reference_observed_types": 25,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.3088235294117647,
                "reference_share": 0.3333333333333333
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.20294117647058824,
                "reference_share": 0.22522522522522523
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13529411764705881,
                "reference_share": 0.13660477453580902
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.20294117647058824,
                "reference_share": 0.2159090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 26,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 27,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 28,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 29,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 20,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 20,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 341,
            "R_positions": 42,
            "maximum_non_R_positions": 146,
            "anonymous_histogram": [
              42,
              146,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_upper_histogram": [
              146,
              42,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              146,
              188,
              205,
              222,
              235,
              248,
              260,
              272,
              282,
              291,
              300,
              308,
              315,
              322,
              328,
              334,
              337,
              340,
              341,
              341
            ],
            "minimum_histogram_entropy_bits": 3.1598853731845806,
            "attaining_anonymous_table": [
              [
                8,
                9,
                1,
                16,
                0,
                0,
                10,
                11,
                12,
                1,
                4,
                2,
                5,
                3,
                0,
                1,
                13,
                14,
                1,
                1,
                17,
                6,
                15,
                0,
                0,
                18,
                19,
                7,
                1
              ],
              [
                1,
                4,
                0,
                0,
                9,
                10,
                1,
                18,
                5,
                11,
                6,
                12,
                0,
                0,
                1,
                1,
                1,
                13,
                7,
                14,
                15,
                2,
                0,
                16,
                3,
                19,
                1,
                17,
                8
              ],
              [
                1,
                0,
                4,
                12,
                13,
                1,
                5,
                18,
                1,
                6,
                0,
                0,
                1,
                7,
                14,
                15,
                16,
                1,
                2,
                19,
                0,
                0,
                8,
                17,
                9,
                3,
                10,
                11,
                1
              ],
              [
                0,
                1,
                14,
                1,
                1,
                2,
                3,
                19,
                1,
                0,
                4,
                6,
                15,
                7,
                8,
                16,
                1,
                5,
                0,
                0,
                9,
                17,
                10,
                11,
                1,
                18,
                12,
                13,
                0
              ],
              [
                16,
                4,
                11,
                1,
                5,
                17,
                1,
                0,
                0,
                1,
                1,
                12,
                1,
                1,
                18,
                2,
                6,
                0,
                7,
                13,
                8,
                3,
                14,
                9,
                10,
                19,
                0,
                0,
                15
              ],
              [
                1,
                8,
                1,
                9,
                16,
                1,
                0,
                10,
                1,
                2,
                11,
                12,
                17,
                18,
                3,
                0,
                0,
                1,
                13,
                4,
                1,
                5,
                14,
                15,
                6,
                0,
                1,
                19,
                7
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 21,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 21,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 341,
            "R_positions": 42,
            "maximum_non_R_positions": 128,
            "anonymous_histogram": [
              42,
              128,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_upper_histogram": [
              128,
              42,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              128,
              170,
              188,
              205,
              222,
              235,
              248,
              260,
              272,
              282,
              291,
              300,
              308,
              315,
              322,
              328,
              334,
              337,
              340,
              341,
              341
            ],
            "minimum_histogram_entropy_bits": 3.3905473543298035,
            "attaining_anonymous_table": [
              [
                9,
                10,
                1,
                17,
                0,
                0,
                11,
                12,
                13,
                2,
                5,
                3,
                6,
                4,
                0,
                1,
                14,
                15,
                1,
                1,
                18,
                7,
                16,
                0,
                0,
                19,
                20,
                8,
                1
              ],
              [
                1,
                5,
                0,
                0,
                10,
                11,
                1,
                19,
                6,
                12,
                7,
                13,
                0,
                0,
                1,
                1,
                2,
                14,
                8,
                15,
                16,
                3,
                0,
                17,
                4,
                20,
                1,
                18,
                9
              ],
              [
                1,
                0,
                5,
                13,
                14,
                1,
                6,
                19,
                1,
                7,
                0,
                0,
                2,
                8,
                15,
                16,
                17,
                1,
                3,
                20,
                0,
                0,
                9,
                18,
                10,
                4,
                11,
                12,
                1
              ],
              [
                0,
                1,
                15,
                1,
                1,
                3,
                4,
                20,
                1,
                0,
                5,
                7,
                16,
                8,
                9,
                17,
                1,
                6,
                0,
                0,
                10,
                18,
                11,
                12,
                2,
                19,
                13,
                14,
                0
              ],
              [
                17,
                5,
                12,
                1,
                6,
                18,
                1,
                0,
                0,
                1,
                1,
                13,
                1,
                2,
                19,
                3,
                7,
                0,
                8,
                14,
                9,
                4,
                15,
                10,
                11,
                20,
                0,
                0,
                16
              ],
              [
                1,
                9,
                1,
                10,
                17,
                1,
                0,
                11,
                2,
                3,
                12,
                13,
                18,
                19,
                4,
                0,
                0,
                1,
                14,
                5,
                1,
                6,
                15,
                16,
                7,
                0,
                1,
                20,
                8
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 22,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 22,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 341,
            "R_positions": 42,
            "maximum_non_R_positions": 109,
            "anonymous_histogram": [
              42,
              109,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_upper_histogram": [
              109,
              42,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              109,
              151,
              170,
              188,
              205,
              222,
              235,
              248,
              260,
              272,
              282,
              291,
              300,
              308,
              315,
              322,
              328,
              334,
              337,
              340,
              341,
              341
            ],
            "minimum_histogram_entropy_bits": 3.617988075279618,
            "attaining_anonymous_table": [
              [
                10,
                11,
                2,
                18,
                0,
                0,
                12,
                13,
                14,
                3,
                6,
                4,
                7,
                5,
                0,
                1,
                15,
                16,
                1,
                1,
                19,
                8,
                17,
                0,
                0,
                20,
                21,
                9,
                1
              ],
              [
                1,
                6,
                0,
                0,
                11,
                12,
                1,
                20,
                7,
                13,
                8,
                14,
                0,
                0,
                1,
                2,
                3,
                15,
                9,
                16,
                17,
                4,
                0,
                18,
                5,
                21,
                1,
                19,
                10
              ],
              [
                2,
                0,
                6,
                14,
                15,
                1,
                7,
                20,
                1,
                8,
                0,
                0,
                3,
                9,
                16,
                17,
                18,
                1,
                4,
                21,
                0,
                0,
                10,
                19,
                11,
                5,
                12,
                13,
                1
              ],
              [
                0,
                1,
                16,
                1,
                1,
                4,
                5,
                21,
                2,
                0,
                6,
                8,
                17,
                9,
                10,
                18,
                1,
                7,
                0,
                0,
                11,
                19,
                12,
                13,
                3,
                20,
                14,
                15,
                0
              ],
              [
                18,
                6,
                13,
                1,
                7,
                19,
                1,
                0,
                0,
                1,
                1,
                14,
                2,
                3,
                20,
                4,
                8,
                0,
                9,
                15,
                10,
                5,
                16,
                11,
                12,
                21,
                0,
                0,
                17
              ],
              [
                1,
                10,
                1,
                11,
                18,
                1,
                0,
                12,
                3,
                4,
                13,
                14,
                19,
                20,
                5,
                0,
                0,
                2,
                15,
                6,
                1,
                7,
                16,
                17,
                8,
                0,
                1,
                21,
                9
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 23,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 23,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 341,
            "R_positions": 42,
            "maximum_non_R_positions": 87,
            "anonymous_histogram": [
              42,
              87,
              22,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_upper_histogram": [
              87,
              42,
              22,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              87,
              129,
              151,
              170,
              188,
              205,
              222,
              235,
              248,
              260,
              272,
              282,
              291,
              300,
              308,
              315,
              322,
              328,
              334,
              337,
              340,
              341,
              341
            ],
            "minimum_histogram_entropy_bits": 3.849919194493182,
            "attaining_anonymous_table": [
              [
                11,
                12,
                3,
                19,
                0,
                0,
                13,
                14,
                15,
                4,
                7,
                5,
                8,
                6,
                0,
                1,
                16,
                17,
                2,
                1,
                20,
                9,
                18,
                0,
                0,
                21,
                22,
                10,
                1
              ],
              [
                1,
                7,
                0,
                0,
                12,
                13,
                1,
                21,
                8,
                14,
                9,
                15,
                0,
                0,
                2,
                3,
                4,
                16,
                10,
                17,
                18,
                5,
                0,
                19,
                6,
                22,
                1,
                20,
                11
              ],
              [
                3,
                0,
                7,
                15,
                16,
                1,
                8,
                21,
                1,
                9,
                0,
                0,
                4,
                10,
                17,
                18,
                19,
                2,
                5,
                22,
                0,
                0,
                11,
                20,
                12,
                6,
                13,
                14,
                1
              ],
              [
                0,
                1,
                17,
                2,
                1,
                5,
                6,
                22,
                3,
                0,
                7,
                9,
                18,
                10,
                11,
                19,
                1,
                8,
                0,
                0,
                12,
                20,
                13,
                14,
                4,
                21,
                15,
                16,
                0
              ],
              [
                19,
                7,
                14,
                1,
                8,
                20,
                1,
                0,
                0,
                1,
                2,
                15,
                3,
                4,
                21,
                5,
                9,
                0,
                10,
                16,
                11,
                6,
                17,
                12,
                13,
                22,
                0,
                0,
                18
              ],
              [
                1,
                11,
                1,
                12,
                19,
                2,
                0,
                13,
                4,
                5,
                14,
                15,
                20,
                21,
                6,
                0,
                0,
                3,
                16,
                7,
                1,
                8,
                17,
                18,
                9,
                0,
                1,
                22,
                10
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 10,
                "maximum_decoded_share": 0.7624633431085044,
                "reference_share": 0.7727272727272727
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 24,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 24,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 341,
            "R_positions": 42,
            "maximum_non_R_positions": 64,
            "anonymous_histogram": [
              42,
              64,
              23,
              22,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_upper_histogram": [
              64,
              42,
              23,
              22,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              64,
              106,
              129,
              151,
              170,
              188,
              205,
              222,
              235,
              248,
              260,
              272,
              282,
              291,
              300,
              308,
              315,
              322,
              328,
              334,
              337,
              340,
              341,
              341
            ],
            "minimum_histogram_entropy_bits": 4.06251203657391,
            "attaining_anonymous_table": [
              [
                12,
                13,
                4,
                20,
                0,
                0,
                14,
                15,
                16,
                5,
                8,
                6,
                9,
                7,
                0,
                2,
                17,
                18,
                3,
                1,
                21,
                10,
                19,
                0,
                0,
                22,
                23,
                11,
                1
              ],
              [
                1,
                8,
                0,
                0,
                13,
                14,
                1,
                22,
                9,
                15,
                10,
                16,
                0,
                0,
                3,
                4,
                5,
                17,
                11,
                18,
                19,
                6,
                0,
                20,
                7,
                23,
                2,
                21,
                12
              ],
              [
                4,
                0,
                8,
                16,
                17,
                1,
                9,
                22,
                2,
                10,
                0,
                0,
                5,
                11,
                18,
                19,
                20,
                3,
                6,
                23,
                0,
                0,
                12,
                21,
                13,
                7,
                14,
                15,
                1
              ],
              [
                0,
                2,
                18,
                3,
                1,
                6,
                7,
                23,
                4,
                0,
                8,
                10,
                19,
                11,
                12,
                20,
                1,
                9,
                0,
                0,
                13,
                21,
                14,
                15,
                5,
                22,
                16,
                17,
                0
              ],
              [
                20,
                8,
                15,
                1,
                9,
                21,
                2,
                0,
                0,
                1,
                3,
                16,
                4,
                5,
                22,
                6,
                10,
                0,
                11,
                17,
                12,
                7,
                18,
                13,
                14,
                23,
                0,
                0,
                19
              ],
              [
                1,
                12,
                2,
                13,
                20,
                3,
                0,
                14,
                5,
                6,
                15,
                16,
                21,
                22,
                7,
                0,
                0,
                4,
                17,
                8,
                1,
                9,
                18,
                19,
                10,
                0,
                1,
                23,
                11
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 8,
                "maximum_decoded_share": 0.6510263929618768,
                "reference_share": 0.6590909090909091
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 25,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 25,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 341,
            "R_positions": 42,
            "maximum_non_R_positions": 37,
            "anonymous_histogram": [
              42,
              37,
              27,
              23,
              22,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_upper_histogram": [
              42,
              37,
              27,
              23,
              22,
              19,
              18,
              17,
              17,
              13,
              13,
              12,
              12,
              10,
              9,
              9,
              8,
              7,
              7,
              6,
              6,
              3,
              3,
              1,
              0
            ],
            "sorted_partial_sum_upper_counts": [
              42,
              79,
              106,
              129,
              151,
              170,
              188,
              205,
              222,
              235,
              248,
              260,
              272,
              282,
              291,
              300,
              308,
              315,
              322,
              328,
              334,
              337,
              340,
              341,
              341
            ],
            "minimum_histogram_entropy_bits": 4.246876443944336,
            "attaining_anonymous_table": [
              [
                13,
                14,
                5,
                21,
                0,
                0,
                15,
                16,
                17,
                6,
                9,
                7,
                10,
                8,
                0,
                3,
                18,
                19,
                4,
                2,
                22,
                11,
                20,
                0,
                0,
                23,
                24,
                12,
                1
              ],
              [
                2,
                9,
                0,
                0,
                14,
                15,
                1,
                23,
                10,
                16,
                11,
                17,
                0,
                0,
                4,
                5,
                6,
                18,
                12,
                19,
                20,
                7,
                0,
                21,
                8,
                24,
                3,
                22,
                13
              ],
              [
                5,
                0,
                9,
                17,
                18,
                2,
                10,
                23,
                3,
                11,
                0,
                0,
                6,
                12,
                19,
                20,
                21,
                4,
                7,
                24,
                0,
                0,
                13,
                22,
                14,
                8,
                15,
                16,
                1
              ],
              [
                0,
                3,
                19,
                4,
                1,
                7,
                8,
                24,
                5,
                0,
                9,
                11,
                20,
                12,
                13,
                21,
                2,
                10,
                0,
                0,
                14,
                22,
                15,
                16,
                6,
                23,
                17,
                18,
                0
              ],
              [
                21,
                9,
                16,
                2,
                10,
                22,
                3,
                0,
                0,
                1,
                4,
                17,
                5,
                6,
                23,
                7,
                11,
                0,
                12,
                18,
                13,
                8,
                19,
                14,
                15,
                24,
                0,
                0,
                20
              ],
              [
                2,
                13,
                3,
                14,
                21,
                4,
                0,
                15,
                6,
                7,
                16,
                17,
                22,
                23,
                8,
                0,
                0,
                5,
                18,
                9,
                1,
                10,
                19,
                20,
                11,
                0,
                1,
                24,
                12
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.12316715542521994,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "wisdom",
              "reference_observed_types": 25,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.12316715542521994,
                "reference_share": 0.12612612612612611
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.12316715542521994,
                "reference_share": 0.13660477453580902
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.3782991202346041,
                "reference_share": 0.38636363636363635
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 26,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 27,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 28,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 29,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        }
      ]
    },
    {
      "section": 7,
      "states": 6,
      "a": 4,
      "b": 18,
      "selector_frozen_from_Session_70": true,
      "results": [
        {
          "part": "full",
          "declared_alphabet": 20,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 20,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1588,
            "R_positions": 217,
            "maximum_non_R_positions": 489,
            "anonymous_histogram": [
              217,
              489,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_upper_histogram": [
              489,
              217,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_partial_sum_upper_counts": [
              489,
              706,
              772,
              836,
              897,
              957,
              1016,
              1073,
              1128,
              1183,
              1237,
              1288,
              1334,
              1380,
              1424,
              1464,
              1502,
              1535,
              1565,
              1588
            ],
            "minimum_histogram_entropy_bits": 3.6771373010708817,
            "attaining_anonymous_table": [
              [
                0,
                5,
                6,
                15,
                1,
                7,
                1,
                1,
                18,
                8,
                0,
                10,
                1,
                0,
                16,
                11,
                0,
                1,
                2,
                12,
                9,
                4,
                13,
                17,
                14,
                3,
                0,
                19,
                1
              ],
              [
                12,
                1,
                16,
                0,
                11,
                1,
                0,
                6,
                1,
                0,
                1,
                7,
                13,
                8,
                9,
                14,
                1,
                10,
                4,
                0,
                17,
                18,
                0,
                1,
                2,
                3,
                5,
                15,
                19
              ],
              [
                16,
                1,
                0,
                19,
                12,
                1,
                13,
                2,
                4,
                8,
                1,
                14,
                0,
                9,
                5,
                0,
                11,
                17,
                15,
                6,
                7,
                3,
                1,
                10,
                1,
                0,
                1,
                18,
                0
              ],
              [
                8,
                14,
                1,
                9,
                1,
                0,
                3,
                12,
                0,
                10,
                19,
                4,
                15,
                1,
                11,
                1,
                5,
                16,
                0,
                18,
                6,
                0,
                17,
                1,
                0,
                7,
                2,
                1,
                13
              ],
              [
                19,
                0,
                3,
                1,
                1,
                15,
                7,
                4,
                1,
                1,
                8,
                0,
                17,
                5,
                0,
                2,
                6,
                0,
                18,
                9,
                16,
                1,
                10,
                11,
                1,
                12,
                13,
                0,
                14
              ],
              [
                18,
                2,
                12,
                7,
                0,
                15,
                1,
                0,
                16,
                1,
                1,
                3,
                17,
                19,
                8,
                1,
                4,
                1,
                9,
                10,
                0,
                13,
                1,
                0,
                1,
                5,
                11,
                14,
                6
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 9,
                "maximum_decoded_share": 0.7103274559193955,
                "reference_share": 0.7159090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 21,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 21,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1588,
            "R_positions": 217,
            "maximum_non_R_positions": 421,
            "anonymous_histogram": [
              217,
              421,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_upper_histogram": [
              421,
              217,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_partial_sum_upper_counts": [
              421,
              638,
              706,
              772,
              836,
              897,
              957,
              1016,
              1073,
              1128,
              1183,
              1237,
              1288,
              1334,
              1380,
              1424,
              1464,
              1502,
              1535,
              1565,
              1588
            ],
            "minimum_histogram_entropy_bits": 3.856284330639941,
            "attaining_anonymous_table": [
              [
                0,
                6,
                7,
                16,
                1,
                8,
                1,
                2,
                19,
                9,
                0,
                11,
                1,
                0,
                17,
                12,
                0,
                1,
                3,
                13,
                10,
                5,
                14,
                18,
                15,
                4,
                0,
                20,
                1
              ],
              [
                13,
                1,
                17,
                0,
                12,
                1,
                0,
                7,
                1,
                0,
                1,
                8,
                14,
                9,
                10,
                15,
                1,
                11,
                5,
                0,
                18,
                19,
                0,
                2,
                3,
                4,
                6,
                16,
                20
              ],
              [
                17,
                1,
                0,
                20,
                13,
                2,
                14,
                3,
                5,
                9,
                1,
                15,
                0,
                10,
                6,
                0,
                12,
                18,
                16,
                7,
                8,
                4,
                1,
                11,
                1,
                0,
                1,
                19,
                0
              ],
              [
                9,
                15,
                1,
                10,
                1,
                0,
                4,
                13,
                0,
                11,
                20,
                5,
                16,
                1,
                12,
                2,
                6,
                17,
                0,
                19,
                7,
                0,
                18,
                1,
                0,
                8,
                3,
                1,
                14
              ],
              [
                20,
                0,
                4,
                1,
                2,
                16,
                8,
                5,
                1,
                1,
                9,
                0,
                18,
                6,
                0,
                3,
                7,
                0,
                19,
                10,
                17,
                1,
                11,
                12,
                1,
                13,
                14,
                0,
                15
              ],
              [
                19,
                3,
                13,
                8,
                0,
                16,
                1,
                0,
                17,
                2,
                1,
                4,
                18,
                20,
                9,
                1,
                5,
                1,
                10,
                11,
                0,
                14,
                1,
                0,
                1,
                6,
                12,
                15,
                7
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 8,
                "maximum_decoded_share": 0.6397984886649875,
                "reference_share": 0.6590909090909091
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 22,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 22,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1588,
            "R_positions": 217,
            "maximum_non_R_positions": 349,
            "anonymous_histogram": [
              217,
              349,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_upper_histogram": [
              349,
              217,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_partial_sum_upper_counts": [
              349,
              566,
              638,
              706,
              772,
              836,
              897,
              957,
              1016,
              1073,
              1128,
              1183,
              1237,
              1288,
              1334,
              1380,
              1424,
              1464,
              1502,
              1535,
              1565,
              1588
            ],
            "minimum_histogram_entropy_bits": 4.031268668209171,
            "attaining_anonymous_table": [
              [
                0,
                7,
                8,
                17,
                2,
                9,
                1,
                3,
                20,
                10,
                0,
                12,
                1,
                0,
                18,
                13,
                0,
                1,
                4,
                14,
                11,
                6,
                15,
                19,
                16,
                5,
                0,
                21,
                1
              ],
              [
                14,
                1,
                18,
                0,
                13,
                1,
                0,
                8,
                1,
                0,
                1,
                9,
                15,
                10,
                11,
                16,
                2,
                12,
                6,
                0,
                19,
                20,
                0,
                3,
                4,
                5,
                7,
                17,
                21
              ],
              [
                18,
                1,
                0,
                21,
                14,
                3,
                15,
                4,
                6,
                10,
                1,
                16,
                0,
                11,
                7,
                0,
                13,
                19,
                17,
                8,
                9,
                5,
                1,
                12,
                2,
                0,
                1,
                20,
                0
              ],
              [
                10,
                16,
                1,
                11,
                1,
                0,
                5,
                14,
                0,
                12,
                21,
                6,
                17,
                2,
                13,
                3,
                7,
                18,
                0,
                20,
                8,
                0,
                19,
                1,
                0,
                9,
                4,
                1,
                15
              ],
              [
                21,
                0,
                5,
                1,
                3,
                17,
                9,
                6,
                1,
                1,
                10,
                0,
                19,
                7,
                0,
                4,
                8,
                0,
                20,
                11,
                18,
                1,
                12,
                13,
                2,
                14,
                15,
                0,
                16
              ],
              [
                20,
                4,
                14,
                9,
                0,
                17,
                1,
                0,
                18,
                3,
                1,
                5,
                19,
                21,
                10,
                1,
                6,
                2,
                11,
                12,
                0,
                15,
                1,
                0,
                1,
                7,
                13,
                16,
                8
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 7,
                "maximum_decoded_share": 0.5648614609571788,
                "reference_share": 0.5909090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 23,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 23,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1588,
            "R_positions": 217,
            "maximum_non_R_positions": 272,
            "anonymous_histogram": [
              217,
              272,
              77,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_upper_histogram": [
              272,
              217,
              77,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_partial_sum_upper_counts": [
              272,
              489,
              566,
              638,
              706,
              772,
              836,
              897,
              957,
              1016,
              1073,
              1128,
              1183,
              1237,
              1288,
              1334,
              1380,
              1424,
              1464,
              1502,
              1535,
              1565,
              1588
            ],
            "minimum_histogram_entropy_bits": 4.198585790056507,
            "attaining_anonymous_table": [
              [
                0,
                8,
                9,
                18,
                3,
                10,
                1,
                4,
                21,
                11,
                0,
                13,
                1,
                0,
                19,
                14,
                0,
                1,
                5,
                15,
                12,
                7,
                16,
                20,
                17,
                6,
                0,
                22,
                2
              ],
              [
                15,
                1,
                19,
                0,
                14,
                2,
                0,
                9,
                1,
                0,
                1,
                10,
                16,
                11,
                12,
                17,
                3,
                13,
                7,
                0,
                20,
                21,
                0,
                4,
                5,
                6,
                8,
                18,
                22
              ],
              [
                19,
                1,
                0,
                22,
                15,
                4,
                16,
                5,
                7,
                11,
                1,
                17,
                0,
                12,
                8,
                0,
                14,
                20,
                18,
                9,
                10,
                6,
                1,
                13,
                3,
                0,
                2,
                21,
                0
              ],
              [
                11,
                17,
                1,
                12,
                2,
                0,
                6,
                15,
                0,
                13,
                22,
                7,
                18,
                3,
                14,
                4,
                8,
                19,
                0,
                21,
                9,
                0,
                20,
                1,
                0,
                10,
                5,
                1,
                16
              ],
              [
                22,
                0,
                6,
                1,
                4,
                18,
                10,
                7,
                1,
                1,
                11,
                0,
                20,
                8,
                0,
                5,
                9,
                0,
                21,
                12,
                19,
                2,
                13,
                14,
                3,
                15,
                16,
                0,
                17
              ],
              [
                21,
                5,
                15,
                10,
                0,
                18,
                1,
                0,
                19,
                4,
                1,
                6,
                20,
                22,
                11,
                1,
                7,
                3,
                12,
                13,
                0,
                16,
                2,
                0,
                1,
                8,
                14,
                17,
                9
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 5,
                "maximum_decoded_share": 0.4445843828715365,
                "reference_share": 0.45454545454545453
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 24,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 24,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1588,
            "R_positions": 217,
            "maximum_non_R_positions": 194,
            "anonymous_histogram": [
              217,
              194,
              78,
              77,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_upper_histogram": [
              217,
              194,
              78,
              77,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_partial_sum_upper_counts": [
              217,
              411,
              489,
              566,
              638,
              706,
              772,
              836,
              897,
              957,
              1016,
              1073,
              1128,
              1183,
              1237,
              1288,
              1334,
              1380,
              1424,
              1464,
              1502,
              1535,
              1565,
              1588
            ],
            "minimum_histogram_entropy_bits": 4.346662256281025,
            "attaining_anonymous_table": [
              [
                0,
                9,
                10,
                19,
                4,
                11,
                1,
                5,
                22,
                12,
                0,
                14,
                1,
                0,
                20,
                15,
                0,
                2,
                6,
                16,
                13,
                8,
                17,
                21,
                18,
                7,
                0,
                23,
                3
              ],
              [
                16,
                1,
                20,
                0,
                15,
                3,
                0,
                10,
                2,
                0,
                1,
                11,
                17,
                12,
                13,
                18,
                4,
                14,
                8,
                0,
                21,
                22,
                0,
                5,
                6,
                7,
                9,
                19,
                23
              ],
              [
                20,
                1,
                0,
                23,
                16,
                5,
                17,
                6,
                8,
                12,
                2,
                18,
                0,
                13,
                9,
                0,
                15,
                21,
                19,
                10,
                11,
                7,
                1,
                14,
                4,
                0,
                3,
                22,
                0
              ],
              [
                12,
                18,
                2,
                13,
                3,
                0,
                7,
                16,
                0,
                14,
                23,
                8,
                19,
                4,
                15,
                5,
                9,
                20,
                0,
                22,
                10,
                0,
                21,
                1,
                0,
                11,
                6,
                1,
                17
              ],
              [
                23,
                0,
                7,
                1,
                5,
                19,
                11,
                8,
                2,
                1,
                12,
                0,
                21,
                9,
                0,
                6,
                10,
                0,
                22,
                13,
                20,
                3,
                14,
                15,
                4,
                16,
                17,
                0,
                18
              ],
              [
                22,
                6,
                16,
                11,
                0,
                19,
                2,
                0,
                20,
                5,
                1,
                7,
                21,
                23,
                12,
                1,
                8,
                4,
                13,
                14,
                0,
                17,
                3,
                0,
                1,
                9,
                15,
                18,
                10
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13664987405541562,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 3,
                "maximum_decoded_share": 0.3079345088161209,
                "reference_share": 0.3204633204633205
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.35642317380352645,
                "reference_share": 0.36074270557029176
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.35642317380352645,
                "reference_share": 0.38636363636363635
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 25,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 25,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 1588,
            "R_positions": 217,
            "maximum_non_R_positions": 111,
            "anonymous_histogram": [
              217,
              111,
              83,
              78,
              77,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_upper_histogram": [
              217,
              111,
              83,
              78,
              77,
              72,
              68,
              66,
              64,
              61,
              60,
              59,
              57,
              55,
              55,
              54,
              51,
              46,
              46,
              44,
              40,
              38,
              33,
              30,
              23
            ],
            "sorted_partial_sum_upper_counts": [
              217,
              328,
              411,
              489,
              566,
              638,
              706,
              772,
              836,
              897,
              957,
              1016,
              1073,
              1128,
              1183,
              1237,
              1288,
              1334,
              1380,
              1424,
              1464,
              1502,
              1535,
              1565,
              1588
            ],
            "minimum_histogram_entropy_bits": 4.46698634785385,
            "attaining_anonymous_table": [
              [
                0,
                10,
                11,
                20,
                5,
                12,
                2,
                6,
                23,
                13,
                0,
                15,
                1,
                0,
                21,
                16,
                0,
                3,
                7,
                17,
                14,
                9,
                18,
                22,
                19,
                8,
                0,
                24,
                4
              ],
              [
                17,
                2,
                21,
                0,
                16,
                4,
                0,
                11,
                3,
                0,
                1,
                12,
                18,
                13,
                14,
                19,
                5,
                15,
                9,
                0,
                22,
                23,
                0,
                6,
                7,
                8,
                10,
                20,
                24
              ],
              [
                21,
                2,
                0,
                24,
                17,
                6,
                18,
                7,
                9,
                13,
                3,
                19,
                0,
                14,
                10,
                0,
                16,
                22,
                20,
                11,
                12,
                8,
                1,
                15,
                5,
                0,
                4,
                23,
                0
              ],
              [
                13,
                19,
                3,
                14,
                4,
                0,
                8,
                17,
                0,
                15,
                24,
                9,
                20,
                5,
                16,
                6,
                10,
                21,
                0,
                23,
                11,
                0,
                22,
                2,
                0,
                12,
                7,
                1,
                18
              ],
              [
                24,
                0,
                8,
                2,
                6,
                20,
                12,
                9,
                3,
                1,
                13,
                0,
                22,
                10,
                0,
                7,
                11,
                0,
                23,
                14,
                21,
                4,
                15,
                16,
                5,
                17,
                18,
                0,
                19
              ],
              [
                23,
                7,
                17,
                12,
                0,
                20,
                3,
                0,
                21,
                6,
                1,
                8,
                22,
                24,
                13,
                1,
                9,
                5,
                14,
                15,
                0,
                18,
                4,
                0,
                2,
                10,
                16,
                19,
                11
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13664987405541562,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "wisdom",
              "reference_observed_types": 25,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.3079345088161209,
                "reference_share": 0.3333333333333333
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.20654911838790932,
                "reference_share": 0.22522522522522523
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.20654911838790932,
                "reference_share": 0.22944297082228116
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.20654911838790932,
                "reference_share": 0.2159090909090909
              }
            }
          ]
        },
        {
          "part": "full",
          "declared_alphabet": 26,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 27,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 28,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "full",
          "declared_alphabet": 29,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 20,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 20,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 530,
            "R_positions": 73,
            "maximum_non_R_positions": 201,
            "anonymous_histogram": [
              73,
              201,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_upper_histogram": [
              201,
              73,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_partial_sum_upper_counts": [
              201,
              274,
              298,
              321,
              344,
              366,
              386,
              405,
              423,
              439,
              454,
              469,
              483,
              496,
              505,
              514,
              521,
              526,
              529,
              530
            ],
            "minimum_histogram_entropy_bits": 3.3444769860917782,
            "attaining_anonymous_table": [
              [
                0,
                12,
                13,
                6,
                14,
                1,
                1,
                1,
                7,
                1,
                0,
                15,
                9,
                0,
                19,
                2,
                0,
                1,
                3,
                10,
                11,
                4,
                16,
                17,
                5,
                18,
                0,
                8,
                1
              ],
              [
                14,
                1,
                17,
                0,
                2,
                1,
                0,
                5,
                1,
                0,
                6,
                7,
                8,
                15,
                18,
                9,
                1,
                10,
                11,
                0,
                16,
                12,
                0,
                1,
                13,
                3,
                1,
                4,
                19
              ],
              [
                16,
                1,
                0,
                17,
                10,
                1,
                19,
                1,
                2,
                1,
                1,
                7,
                0,
                11,
                12,
                0,
                3,
                8,
                13,
                4,
                14,
                15,
                1,
                18,
                5,
                0,
                6,
                9,
                0
              ],
              [
                13,
                14,
                3,
                15,
                1,
                0,
                1,
                4,
                0,
                5,
                18,
                6,
                9,
                10,
                11,
                1,
                16,
                12,
                0,
                17,
                1,
                0,
                19,
                7,
                0,
                1,
                8,
                1,
                2
              ],
              [
                16,
                0,
                8,
                17,
                9,
                2,
                3,
                14,
                1,
                10,
                4,
                0,
                18,
                5,
                0,
                1,
                1,
                0,
                19,
                1,
                11,
                12,
                15,
                6,
                1,
                1,
                13,
                0,
                7
              ],
              [
                1,
                14,
                1,
                2,
                0,
                18,
                1,
                0,
                6,
                7,
                8,
                15,
                9,
                16,
                3,
                4,
                10,
                1,
                11,
                1,
                0,
                5,
                1,
                0,
                19,
                1,
                12,
                17,
                13
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 21,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 21,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 530,
            "R_positions": 73,
            "maximum_non_R_positions": 174,
            "anonymous_histogram": [
              73,
              174,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_upper_histogram": [
              174,
              73,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_partial_sum_upper_counts": [
              174,
              247,
              274,
              298,
              321,
              344,
              366,
              386,
              405,
              423,
              439,
              454,
              469,
              483,
              496,
              505,
              514,
              521,
              526,
              529,
              530
            ],
            "minimum_histogram_entropy_bits": 3.5603397390934237,
            "attaining_anonymous_table": [
              [
                0,
                13,
                14,
                7,
                15,
                1,
                1,
                1,
                8,
                2,
                0,
                16,
                10,
                0,
                20,
                3,
                0,
                1,
                4,
                11,
                12,
                5,
                17,
                18,
                6,
                19,
                0,
                9,
                1
              ],
              [
                15,
                1,
                18,
                0,
                3,
                1,
                0,
                6,
                1,
                0,
                7,
                8,
                9,
                16,
                19,
                10,
                1,
                11,
                12,
                0,
                17,
                13,
                0,
                1,
                14,
                4,
                2,
                5,
                20
              ],
              [
                17,
                1,
                0,
                18,
                11,
                2,
                20,
                1,
                3,
                1,
                1,
                8,
                0,
                12,
                13,
                0,
                4,
                9,
                14,
                5,
                15,
                16,
                1,
                19,
                6,
                0,
                7,
                10,
                0
              ],
              [
                14,
                15,
                4,
                16,
                1,
                0,
                1,
                5,
                0,
                6,
                19,
                7,
                10,
                11,
                12,
                1,
                17,
                13,
                0,
                18,
                1,
                0,
                20,
                8,
                0,
                2,
                9,
                1,
                3
              ],
              [
                17,
                0,
                9,
                18,
                10,
                3,
                4,
                15,
                1,
                11,
                5,
                0,
                19,
                6,
                0,
                1,
                1,
                0,
                20,
                1,
                12,
                13,
                16,
                7,
                1,
                2,
                14,
                0,
                8
              ],
              [
                1,
                15,
                1,
                3,
                0,
                19,
                1,
                0,
                7,
                8,
                9,
                16,
                10,
                17,
                4,
                5,
                11,
                1,
                12,
                1,
                0,
                6,
                1,
                0,
                20,
                2,
                13,
                18,
                14
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [],
              "passes_common_letter_screen": true,
              "first_failure": null
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 22,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 22,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 530,
            "R_positions": 73,
            "maximum_non_R_positions": 144,
            "anonymous_histogram": [
              73,
              144,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_upper_histogram": [
              144,
              73,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_partial_sum_upper_counts": [
              144,
              217,
              247,
              274,
              298,
              321,
              344,
              366,
              386,
              405,
              423,
              439,
              454,
              469,
              483,
              496,
              505,
              514,
              521,
              526,
              529,
              530
            ],
            "minimum_histogram_entropy_bits": 3.778068513058953,
            "attaining_anonymous_table": [
              [
                0,
                14,
                15,
                8,
                16,
                1,
                1,
                1,
                9,
                3,
                0,
                17,
                11,
                0,
                21,
                4,
                0,
                1,
                5,
                12,
                13,
                6,
                18,
                19,
                7,
                20,
                0,
                10,
                2
              ],
              [
                16,
                1,
                19,
                0,
                4,
                1,
                0,
                7,
                1,
                0,
                8,
                9,
                10,
                17,
                20,
                11,
                1,
                12,
                13,
                0,
                18,
                14,
                0,
                2,
                15,
                5,
                3,
                6,
                21
              ],
              [
                18,
                1,
                0,
                19,
                12,
                3,
                21,
                1,
                4,
                1,
                2,
                9,
                0,
                13,
                14,
                0,
                5,
                10,
                15,
                6,
                16,
                17,
                1,
                20,
                7,
                0,
                8,
                11,
                0
              ],
              [
                15,
                16,
                5,
                17,
                1,
                0,
                1,
                6,
                0,
                7,
                20,
                8,
                11,
                12,
                13,
                1,
                18,
                14,
                0,
                19,
                2,
                0,
                21,
                9,
                0,
                3,
                10,
                1,
                4
              ],
              [
                18,
                0,
                10,
                19,
                11,
                4,
                5,
                16,
                1,
                12,
                6,
                0,
                20,
                7,
                0,
                1,
                1,
                0,
                21,
                1,
                13,
                14,
                17,
                8,
                2,
                3,
                15,
                0,
                9
              ],
              [
                1,
                16,
                1,
                4,
                0,
                20,
                1,
                0,
                8,
                9,
                10,
                17,
                11,
                18,
                5,
                6,
                12,
                1,
                13,
                2,
                0,
                7,
                1,
                0,
                21,
                3,
                14,
                19,
                15
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 10,
                "maximum_decoded_share": 0.7641509433962265,
                "reference_share": 0.7727272727272727
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 23,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 23,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 530,
            "R_positions": 73,
            "maximum_non_R_positions": 114,
            "anonymous_histogram": [
              73,
              114,
              30,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_upper_histogram": [
              114,
              73,
              30,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_partial_sum_upper_counts": [
              114,
              187,
              217,
              247,
              274,
              298,
              321,
              344,
              366,
              386,
              405,
              423,
              439,
              454,
              469,
              483,
              496,
              505,
              514,
              521,
              526,
              529,
              530
            ],
            "minimum_histogram_entropy_bits": 3.9786591181998157,
            "attaining_anonymous_table": [
              [
                0,
                15,
                16,
                9,
                17,
                1,
                1,
                2,
                10,
                4,
                0,
                18,
                12,
                0,
                22,
                5,
                0,
                1,
                6,
                13,
                14,
                7,
                19,
                20,
                8,
                21,
                0,
                11,
                3
              ],
              [
                17,
                1,
                20,
                0,
                5,
                1,
                0,
                8,
                1,
                0,
                9,
                10,
                11,
                18,
                21,
                12,
                2,
                13,
                14,
                0,
                19,
                15,
                0,
                3,
                16,
                6,
                4,
                7,
                22
              ],
              [
                19,
                1,
                0,
                20,
                13,
                4,
                22,
                1,
                5,
                2,
                3,
                10,
                0,
                14,
                15,
                0,
                6,
                11,
                16,
                7,
                17,
                18,
                1,
                21,
                8,
                0,
                9,
                12,
                0
              ],
              [
                16,
                17,
                6,
                18,
                1,
                0,
                1,
                7,
                0,
                8,
                21,
                9,
                12,
                13,
                14,
                2,
                19,
                15,
                0,
                20,
                3,
                0,
                22,
                10,
                0,
                4,
                11,
                1,
                5
              ],
              [
                19,
                0,
                11,
                20,
                12,
                5,
                6,
                17,
                1,
                13,
                7,
                0,
                21,
                8,
                0,
                1,
                1,
                0,
                22,
                2,
                14,
                15,
                18,
                9,
                3,
                4,
                16,
                0,
                10
              ],
              [
                1,
                17,
                2,
                5,
                0,
                21,
                1,
                0,
                9,
                10,
                11,
                18,
                12,
                19,
                6,
                7,
                13,
                1,
                14,
                3,
                0,
                8,
                1,
                0,
                22,
                4,
                15,
                20,
                16
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 8,
                "maximum_decoded_share": 0.6490566037735849,
                "reference_share": 0.6590909090909091
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 24,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 24,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 530,
            "R_positions": 73,
            "maximum_non_R_positions": 82,
            "anonymous_histogram": [
              73,
              82,
              32,
              30,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_upper_histogram": [
              82,
              73,
              32,
              30,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_partial_sum_upper_counts": [
              82,
              155,
              187,
              217,
              247,
              274,
              298,
              321,
              344,
              366,
              386,
              405,
              423,
              439,
              454,
              469,
              483,
              496,
              505,
              514,
              521,
              526,
              529,
              530
            ],
            "minimum_histogram_entropy_bits": 4.162867037513207,
            "attaining_anonymous_table": [
              [
                0,
                16,
                17,
                10,
                18,
                2,
                1,
                3,
                11,
                5,
                0,
                19,
                13,
                0,
                23,
                6,
                0,
                1,
                7,
                14,
                15,
                8,
                20,
                21,
                9,
                22,
                0,
                12,
                4
              ],
              [
                18,
                1,
                21,
                0,
                6,
                1,
                0,
                9,
                2,
                0,
                10,
                11,
                12,
                19,
                22,
                13,
                3,
                14,
                15,
                0,
                20,
                16,
                0,
                4,
                17,
                7,
                5,
                8,
                23
              ],
              [
                20,
                2,
                0,
                21,
                14,
                5,
                23,
                1,
                6,
                3,
                4,
                11,
                0,
                15,
                16,
                0,
                7,
                12,
                17,
                8,
                18,
                19,
                1,
                22,
                9,
                0,
                10,
                13,
                0
              ],
              [
                17,
                18,
                7,
                19,
                2,
                0,
                1,
                8,
                0,
                9,
                22,
                10,
                13,
                14,
                15,
                3,
                20,
                16,
                0,
                21,
                4,
                0,
                23,
                11,
                0,
                5,
                12,
                1,
                6
              ],
              [
                20,
                0,
                12,
                21,
                13,
                6,
                7,
                18,
                1,
                14,
                8,
                0,
                22,
                9,
                0,
                1,
                2,
                0,
                23,
                3,
                15,
                16,
                19,
                10,
                4,
                5,
                17,
                0,
                11
              ],
              [
                2,
                18,
                3,
                6,
                0,
                22,
                1,
                0,
                10,
                11,
                12,
                19,
                13,
                20,
                7,
                8,
                14,
                1,
                15,
                4,
                0,
                9,
                1,
                0,
                23,
                5,
                16,
                21,
                17
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 4,
                "maximum_decoded_share": 0.40943396226415096,
                "reference_share": 0.4098360655737705
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 5,
                "maximum_decoded_share": 0.4660377358490566,
                "reference_share": 0.46846846846846846
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 10,
                "maximum_decoded_share": 0.690566037735849,
                "reference_share": 0.6949602122015915
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 6,
                "maximum_decoded_share": 0.5169811320754717,
                "reference_share": 0.5227272727272727
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 25,
          "bound": {
            "encodable_in_every_state": true,
            "declared_alphabet_types": 25,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ],
            "scored": 530,
            "R_positions": 73,
            "maximum_non_R_positions": 46,
            "anonymous_histogram": [
              73,
              46,
              36,
              32,
              30,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_upper_histogram": [
              73,
              46,
              36,
              32,
              30,
              30,
              27,
              24,
              23,
              23,
              22,
              20,
              19,
              18,
              16,
              15,
              15,
              14,
              13,
              9,
              9,
              7,
              5,
              3,
              1
            ],
            "sorted_partial_sum_upper_counts": [
              73,
              119,
              155,
              187,
              217,
              247,
              274,
              298,
              321,
              344,
              366,
              386,
              405,
              423,
              439,
              454,
              469,
              483,
              496,
              505,
              514,
              521,
              526,
              529,
              530
            ],
            "minimum_histogram_entropy_bits": 4.315920083453087,
            "attaining_anonymous_table": [
              [
                0,
                17,
                18,
                11,
                19,
                3,
                1,
                4,
                12,
                6,
                0,
                20,
                14,
                0,
                24,
                7,
                0,
                2,
                8,
                15,
                16,
                9,
                21,
                22,
                10,
                23,
                0,
                13,
                5
              ],
              [
                19,
                1,
                22,
                0,
                7,
                2,
                0,
                10,
                3,
                0,
                11,
                12,
                13,
                20,
                23,
                14,
                4,
                15,
                16,
                0,
                21,
                17,
                0,
                5,
                18,
                8,
                6,
                9,
                24
              ],
              [
                21,
                3,
                0,
                22,
                15,
                6,
                24,
                2,
                7,
                4,
                5,
                12,
                0,
                16,
                17,
                0,
                8,
                13,
                18,
                9,
                19,
                20,
                1,
                23,
                10,
                0,
                11,
                14,
                0
              ],
              [
                18,
                19,
                8,
                20,
                3,
                0,
                1,
                9,
                0,
                10,
                23,
                11,
                14,
                15,
                16,
                4,
                21,
                17,
                0,
                22,
                5,
                0,
                24,
                12,
                0,
                6,
                13,
                2,
                7
              ],
              [
                21,
                0,
                13,
                22,
                14,
                7,
                8,
                19,
                2,
                15,
                9,
                0,
                23,
                10,
                0,
                1,
                3,
                0,
                24,
                4,
                16,
                17,
                20,
                11,
                5,
                6,
                18,
                0,
                12
              ],
              [
                3,
                19,
                4,
                7,
                0,
                23,
                1,
                0,
                11,
                12,
                13,
                20,
                14,
                21,
                8,
                9,
                15,
                2,
                16,
                5,
                0,
                10,
                1,
                0,
                24,
                6,
                17,
                22,
                18
              ]
            ],
            "witness_is_not_an_English_key": true
          },
          "reference_comparisons": [
            {
              "reference": "warning",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                1,
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 1,
                "maximum_decoded_share": 0.13773584905660377,
                "reference_share": 0.14754098360655737
              }
            },
            {
              "reference": "wisdom",
              "reference_observed_types": 25,
              "failing_first_ten_partial_sums": [
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 5,
                "maximum_decoded_share": 0.40943396226415096,
                "reference_share": 0.41025641025641024
              }
            },
            {
              "reference": "koan",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.22452830188679246,
                "reference_share": 0.22522522522522523
              }
            },
            {
              "reference": "divinity",
              "reference_observed_types": 24,
              "failing_first_ten_partial_sums": [
                2,
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 2,
                "maximum_decoded_share": 0.22452830188679246,
                "reference_share": 0.22944297082228116
              }
            },
            {
              "reference": "instruction",
              "reference_observed_types": 20,
              "failing_first_ten_partial_sums": [
                3,
                4,
                5,
                6,
                7,
                8,
                9,
                10
              ],
              "passes_common_letter_screen": false,
              "first_failure": {
                "rank_count": 3,
                "maximum_decoded_share": 0.29245283018867924,
                "reference_share": 0.3068181818181818
              }
            }
          ]
        },
        {
          "part": "continuation",
          "declared_alphabet": 26,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 27,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 28,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        },
        {
          "part": "continuation",
          "declared_alphabet": 29,
          "bound": {
            "encodable_in_every_state": false,
            "row_alphabet_capacities": [
              25,
              25,
              25,
              25,
              25,
              26
            ]
          },
          "reference_comparisons": []
        }
      ]
    }
  ],
  "secondary_refit_capacity": [
    {
      "section": 0,
      "scored": 728,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 272,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 270,
              "passing_by_reference": {
                "instruction": 270
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 10,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 38,
              "passing_by_reference": {
                "instruction": 38
              },
              "first_capacity_survivor": {
                "a": 2,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 582,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 582,
              "passing_by_reference": {
                "instruction": 582
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 396,
              "passing_by_reference": {
                "instruction": 396
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 4,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 20,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 20,
                "instruction": 0
              },
              "first_capacity_survivor": {
                "a": 7,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 746,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 746,
              "passing_by_reference": {
                "instruction": 746
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 736,
              "passing_by_reference": {
                "instruction": 736
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 86,
              "passing_by_reference": {
                "instruction": 86
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 260,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 260,
                "instruction": 0
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 1,
      "scored": 1144,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 2,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 174,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 12,
              "passing_by_reference": {
                "instruction": 12
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 3,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 488,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 382,
              "passing_by_reference": {
                "instruction": 382
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 770,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 770,
              "passing_by_reference": {
                "instruction": 770
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 22,
              "passing_by_reference": {
                "instruction": 22
              },
              "first_capacity_survivor": {
                "a": 4,
                "b": 24,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 2,
      "scored": 1728,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 70,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 348,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 796,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 16,
              "passing_by_reference": {
                "instruction": 16
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 4,
      "scored": 1893,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 40,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 320,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 748,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 5,
      "scored": 1020,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 232,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 60,
              "passing_by_reference": {
                "instruction": 60
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 3,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 494,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 356,
              "passing_by_reference": {
                "instruction": 356
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 3,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 732,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 698,
              "passing_by_reference": {
                "instruction": 698
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 0,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 50,
              "passing_by_reference": {
                "instruction": 50
              },
              "first_capacity_survivor": {
                "a": 3,
                "b": 20,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 6,
      "scored": 1523,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 52,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 338,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 738,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 44,
              "passing_by_reference": {
                "instruction": 44
              },
              "first_capacity_survivor": {
                "a": 4,
                "b": 11,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 7,
      "scored": 1588,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 194,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 380,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 772,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 224,
              "passing_by_reference": {
                "instruction": 224
              },
              "first_capacity_survivor": {
                "a": 1,
                "b": 1,
                "capacity_only_not_a_decipherment": true
              }
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    },
    {
      "section": 8,
      "scored": 3315,
      "results": [
        {
          "states": 1,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 2,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 3,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 4,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 5,
          "old_AIO_screen_survivors": 0,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 6,
          "old_AIO_screen_survivors": 32,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 7,
          "old_AIO_screen_survivors": 236,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        },
        {
          "states": 8,
          "old_AIO_screen_survivors": 812,
          "alphabets": [
            {
              "alphabet": 20,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 21,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 22,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 23,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 24,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 25,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 26,
              "encodable_in_every_state": true,
              "settings_passing_both_old_and_new_screens": 0,
              "passing_by_reference": {
                "warning": 0,
                "wisdom": 0,
                "koan": 0,
                "divinity": 0,
                "instruction": 0,
                "pooled": 0
              },
              "first_capacity_survivor": null
            },
            {
              "alphabet": 27,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 28,
              "encodable_in_every_state": false
            },
            {
              "alphabet": 29,
              "encodable_in_every_state": false
            }
          ]
        }
      ]
    }
  ],
  "exhaustive_controls": {
    "fixtures": [
      {
        "cipher_alphabet": 5,
        "states": 2,
        "declared_plaintext_alphabet": 3,
        "complete_surjective_tables_exhausted": 12,
        "all_partial_sum_extrema_agree": true,
        "minimum_entropy_agrees": true
      },
      {
        "cipher_alphabet": 6,
        "states": 3,
        "declared_plaintext_alphabet": 3,
        "complete_surjective_tables_exhausted": 2744,
        "all_partial_sum_extrema_agree": true,
        "minimum_entropy_agrees": true
      },
      {
        "cipher_alphabet": 5,
        "states": 3,
        "declared_plaintext_alphabet": 4,
        "complete_surjective_tables_exhausted": 1296,
        "all_partial_sum_extrema_agree": true,
        "minimum_entropy_agrees": true
      }
    ],
    "encodability_failure_control": {
      "encodable_in_every_state": false,
      "row_alphabet_capacities": [
        3,
        3
      ]
    }
  },
  "known_table_controls": [
    {
      "states": 6,
      "source_group": "warning",
      "declared_alphabet": 24,
      "scored": 183,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 6,
      "source_group": "wisdom",
      "declared_alphabet": 25,
      "scored": 156,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 6,
      "source_group": "koan",
      "declared_alphabet": 24,
      "scored": 777,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 6,
      "source_group": "divinity",
      "declared_alphabet": 24,
      "scored": 754,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 6,
      "source_group": "instruction",
      "declared_alphabet": 20,
      "scored": 88,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 8,
      "source_group": "warning",
      "declared_alphabet": 24,
      "scored": 183,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 8,
      "source_group": "wisdom",
      "declared_alphabet": 25,
      "scored": 156,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 8,
      "source_group": "koan",
      "declared_alphabet": 24,
      "scored": 777,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 8,
      "source_group": "divinity",
      "declared_alphabet": 24,
      "scored": 754,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 8,
      "source_group": "instruction",
      "declared_alphabet": 20,
      "scored": 88,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 29,
      "source_group": "warning",
      "declared_alphabet": 24,
      "scored": 183,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 29,
      "source_group": "wisdom",
      "declared_alphabet": 25,
      "scored": 156,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 29,
      "source_group": "koan",
      "declared_alphabet": 24,
      "scored": 777,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 29,
      "source_group": "divinity",
      "declared_alphabet": 24,
      "scored": 754,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    },
    {
      "states": 29,
      "source_group": "instruction",
      "declared_alphabet": 20,
      "scored": 88,
      "exact_known_table_inverse_recovery": true,
      "true_histogram_admitted_by_every_partial_sum": true,
      "attaining_relaxed_witness_verified": true,
      "scalar_and_vectorized_bounds_agree": true,
      "unknown_key_recovery_not_demonstrated": true
    }
  ],
  "prior_bijective_regression": {
    "Session_33_bijective_limit_reproduced": true,
    "scored": 12939,
    "repeat_channel_positions": 86,
    "maximum_single_output_share": 0.05533657933379705,
    "minimum_histogram_entropy_bits": 4.789442122047277
  },
  "restricted_state_domain_counterexample": {
    "cipher_types": 4,
    "global_plaintext_types": 5,
    "types_available_per_state": [
      3,
      3
    ],
    "cipher": [
      1,
      0,
      3,
      2,
      0,
      2,
      1,
      3,
      0,
      1
    ],
    "plaintext": [
      1,
      3,
      2,
      4,
      0,
      0,
      1,
      0,
      3,
      1
    ],
    "table": [
      [
        0,
        1,
        0,
        2
      ],
      [
        3,
        0,
        4,
        0
      ]
    ],
    "restricted_message_inverse_exact": true,
    "full_alphabet_per_state_premise_false": true,
    "not_a_Cicada_key": true
  }
}