{
 "schema_version": "0.2",
 "name": "[[602,2,63]]",
 "code_type": "CSS",
 "n": 602,
 "k": 2,
 "checks": {
  "X": [
   [
    114,
    174,
    253,
    275,
    318,
    383,
    409,
    463
   ],
   [
    115,
    175,
    254,
    276,
    319,
    384,
    410,
    464
   ],
   [
    116,
    176,
    255,
    277,
    320,
    385,
    411,
    465
   ],
   [
    117,
    177,
    256,
    278,
    321,
    386,
    412,
    466
   ],
   [
    118,
    178,
    257,
    279,
    322,
    387,
    413,
    467
   ],
   [
    119,
    179,
    258,
    280,
    323,
    388,
    414,
    468
   ],
   [
    120,
    180,
    259,
    281,
    324,
    389,
    415,
    469
   ],
   [
    121,
    181,
    260,
    282,
    325,
    390,
    416,
    470
   ],
   [
    122,
    182,
    261,
    283,
    326,
    391,
    417,
    471
   ],
   [
    123,
    183,
    262,
    284,
    327,
    392,
    418,
    472
   ],
   [
    124,
    184,
    263,
    285,
    328,
    393,
    419,
    473
   ],
   [
    125,
    185,
    264,
    286,
    329,
    394,
    420,
    474
   ],
   [
    126,
    186,
    265,
    287,
    330,
    395,
    421,
    475
   ],
   [
    127,
    187,
    266,
    288,
    331,
    396,
    422,
    476
   ],
   [
    128,
    188,
    267,
    289,
    332,
    397,
    423,
    477
   ],
   [
    129,
    189,
    268,
    290,
    333,
    398,
    424,
    478
   ],
   [
    130,
    190,
    269,
    291,
    334,
    399,
    425,
    479
   ],
   [
    131,
    191,
    270,
    292,
    335,
    400,
    426,
    480
   ],
   [
    132,
    192,
    271,
    293,
    336,
    401,
    427,
    481
   ],
   [
    133,
    193,
    272,
    294,
    337,
    402,
    428,
    482
   ],
   [
    134,
    194,
    273,
    295,
    338,
    403,
    429,
    483
   ],
   [
    135,
    195,
    274,
    296,
    339,
    404,
    430,
    484
   ],
   [
    136,
    196,
    275,
    297,
    340,
    405,
    431,
    485
   ],
   [
    137,
    197,
    276,
    298,
    341,
    406,
    432,
    486
   ],
   [
    138,
    198,
    277,
    299,
    342,
    407,
    433,
    487
   ],
   [
    139,
    199,
    278,
    300,
    343,
    408,
    434,
    488
   ],
   [
    0,
    140,
    200,
    279,
    344,
    409,
    435,
    489
   ],
   [
    1,
    141,
    201,
    280,
    345,
    410,
    436,
    490
   ],
   [
    2,
    142,
    202,
    281,
    346,
    411,
    437,
    491
   ],
   [
    3,
    143,
    203,
    282,
    347,
    412,
    438,
    492
   ],
   [
    4,
    144,
    204,
    283,
    348,
    413,
    439,
    493
   ],
   [
    5,
    145,
    205,
    284,
    349,
    414,
    440,
    494
   ],
   [
    6,
    146,
    206,
    285,
    350,
    415,
    441,
    495
   ],
   [
    7,
    147,
    207,
    286,
    351,
    416,
    442,
    496
   ],
   [
    8,
    148,
    208,
    287,
    352,
    417,
    443,
    497
   ],
   [
    9,
    149,
    209,
    288,
    353,
    418,
    444,
    498
   ],
   [
    10,
    150,
    210,
    289,
    354,
    419,
    445,
    499
   ],
   [
    11,
    151,
    211,
    290,
    355,
    420,
    446,
    500
   ],
   [
    12,
    152,
    212,
    291,
    356,
    421,
    447,
    501
   ],
   [
    13,
    153,
    213,
    292,
    357,
    422,
    448,
    502
   ],
   [
    14,
    154,
    214,
    293,
    358,
    423,
    449,
    503
   ],
   [
    15,
    155,
    215,
    294,
    359,
    424,
    450,
    504
   ],
   [
    16,
    156,
    216,
    295,
    360,
    425,
    451,
    505
   ],
   [
    17,
    157,
    217,
    296,
    361,
    426,
    452,
    506
   ],
   [
    18,
    158,
    218,
    297,
    362,
    427,
    453,
    507
   ],
   [
    19,
    159,
    219,
    298,
    363,
    428,
    454,
    508
   ],
   [
    20,
    160,
    220,
    299,
    364,
    429,
    455,
    509
   ],
   [
    21,
    161,
    221,
    300,
    365,
    430,
    456,
    510
   ],
   [
    0,
    22,
    162,
    222,
    366,
    431,
    457,
    511
   ],
   [
    1,
    23,
    163,
    223,
    367,
    432,
    458,
    512
   ],
   [
    2,
    24,
    164,
    224,
    368,
    433,
    459,
    513
   ],
   [
    3,
    25,
    165,
    225,
    369,
    434,
    460,
    514
   ],
   [
    4,
    26,
    166,
    226,
    370,
    435,
    461,
    515
   ],
   [
    5,
    27,
    167,
    227,
    371,
    436,
    462,
    516
   ],
   [
    6,
    28,
    168,
    228,
    372,
    437,
    463,
    517
   ],
   [
    7,
    29,
    169,
    229,
    373,
    438,
    464,
    518
   ],
   [
    8,
    30,
    170,
    230,
    374,
    439,
    465,
    519
   ],
   [
    9,
    31,
    171,
    231,
    375,
    440,
    466,
    520
   ],
   [
    10,
    32,
    172,
    232,
    376,
    441,
    467,
    521
   ],
   [
    11,
    33,
    173,
    233,
    377,
    442,
    468,
    522
   ],
   [
    12,
    34,
    174,
    234,
    378,
    443,
    469,
    523
   ],
   [
    13,
    35,
    175,
    235,
    379,
    444,
    470,
    524
   ],
   [
    14,
    36,
    176,
    236,
    380,
    445,
    471,
    525
   ],
   [
    15,
    37,
    177,
    237,
    381,
    446,
    472,
    526
   ],
   [
    16,
    38,
    178,
    238,
    382,
    447,
    473,
    527
   ],
   [
    17,
    39,
    179,
    239,
    383,
    448,
    474,
    528
   ],
   [
    18,
    40,
    180,
    240,
    384,
    449,
    475,
    529
   ],
   [
    19,
    41,
    181,
    241,
    385,
    450,
    476,
    530
   ],
   [
    20,
    42,
    182,
    242,
    386,
    451,
    477,
    531
   ],
   [
    21,
    43,
    183,
    243,
    387,
    452,
    478,
    532
   ],
   [
    22,
    44,
    184,
    244,
    388,
    453,
    479,
    533
   ],
   [
    23,
    45,
    185,
    245,
    389,
    454,
    480,
    534
   ],
   [
    24,
    46,
    186,
    246,
    390,
    455,
    481,
    535
   ],
   [
    25,
    47,
    187,
    247,
    391,
    456,
    482,
    536
   ],
   [
    26,
    48,
    188,
    248,
    392,
    457,
    483,
    537
   ],
   [
    27,
    49,
    189,
    249,
    393,
    458,
    484,
    538
   ],
   [
    28,
    50,
    190,
    250,
    394,
    459,
    485,
    539
   ],
   [
    29,
    51,
    191,
    251,
    395,
    460,
    486,
    540
   ],
   [
    30,
    52,
    192,
    252,
    396,
    461,
    487,
    541
   ],
   [
    31,
    53,
    193,
    253,
    397,
    462,
    488,
    542
   ],
   [
    32,
    54,
    194,
    254,
    398,
    463,
    489,
    543
   ],
   [
    33,
    55,
    195,
    255,
    399,
    464,
    490,
    544
   ],
   [
    34,
    56,
    196,
    256,
    400,
    465,
    491,
    545
   ],
   [
    35,
    57,
    197,
    257,
    401,
    466,
    492,
    546
   ],
   [
    36,
    58,
    198,
    258,
    402,
    467,
    493,
    547
   ],
   [
    37,
    59,
    199,
    259,
    403,
    468,
    494,
    548
   ],
   [
    38,
    60,
    200,
    260,
    404,
    469,
    495,
    549
   ],
   [
    39,
    61,
    201,
    261,
    405,
    470,
    496,
    550
   ],
   [
    40,
    62,
    202,
    262,
    406,
    471,
    497,
    551
   ],
   [
    41,
    63,
    203,
    263,
    407,
    472,
    498,
    552
   ],
   [
    42,
    64,
    204,
    264,
    408,
    473,
    499,
    553
   ],
   [
    43,
    65,
    205,
    265,
    409,
    474,
    500,
    554
   ],
   [
    44,
    66,
    206,
    266,
    410,
    475,
    501,
    555
   ],
   [
    45,
    67,
    207,
    267,
    411,
    476,
    502,
    556
   ],
   [
    46,
    68,
    208,
    268,
    412,
    477,
    503,
    557
   ],
   [
    47,
    69,
    209,
    269,
    413,
    478,
    504,
    558
   ],
   [
    48,
    70,
    210,
    270,
    414,
    479,
    505,
    559
   ],
   [
    49,
    71,
    211,
    271,
    415,
    480,
    506,
    560
   ],
   [
    50,
    72,
    212,
    272,
    416,
    481,
    507,
    561
   ],
   [
    51,
    73,
    213,
    273,
    417,
    482,
    508,
    562
   ],
   [
    52,
    74,
    214,
    274,
    418,
    483,
    509,
    563
   ],
   [
    53,
    75,
    215,
    275,
    419,
    484,
    510,
    564
   ],
   [
    54,
    76,
    216,
    276,
    420,
    485,
    511,
    565
   ],
   [
    55,
    77,
    217,
    277,
    421,
    486,
    512,
    566
   ],
   [
    56,
    78,
    218,
    278,
    422,
    487,
    513,
    567
   ],
   [
    57,
    79,
    219,
    279,
    423,
    488,
    514,
    568
   ],
   [
    58,
    80,
    220,
    280,
    424,
    489,
    515,
    569
   ],
   [
    59,
    81,
    221,
    281,
    425,
    490,
    516,
    570
   ],
   [
    60,
    82,
    222,
    282,
    426,
    491,
    517,
    571
   ],
   [
    61,
    83,
    223,
    283,
    427,
    492,
    518,
    572
   ],
   [
    62,
    84,
    224,
    284,
    428,
    493,
    519,
    573
   ],
   [
    63,
    85,
    225,
    285,
    429,
    494,
    520,
    574
   ],
   [
    64,
    86,
    226,
    286,
    430,
    495,
    521,
    575
   ],
   [
    65,
    87,
    227,
    287,
    431,
    496,
    522,
    576
   ],
   [
    66,
    88,
    228,
    288,
    432,
    497,
    523,
    577
   ],
   [
    67,
    89,
    229,
    289,
    433,
    498,
    524,
    578
   ],
   [
    68,
    90,
    230,
    290,
    434,
    499,
    525,
    579
   ],
   [
    69,
    91,
    231,
    291,
    435,
    500,
    526,
    580
   ],
   [
    70,
    92,
    232,
    292,
    436,
    501,
    527,
    581
   ],
   [
    71,
    93,
    233,
    293,
    437,
    502,
    528,
    582
   ],
   [
    72,
    94,
    234,
    294,
    438,
    503,
    529,
    583
   ],
   [
    73,
    95,
    235,
    295,
    439,
    504,
    530,
    584
   ],
   [
    74,
    96,
    236,
    296,
    440,
    505,
    531,
    585
   ],
   [
    75,
    97,
    237,
    297,
    441,
    506,
    532,
    586
   ],
   [
    76,
    98,
    238,
    298,
    442,
    507,
    533,
    587
   ],
   [
    77,
    99,
    239,
    299,
    443,
    508,
    534,
    588
   ],
   [
    78,
    100,
    240,
    300,
    444,
    509,
    535,
    589
   ],
   [
    0,
    79,
    101,
    241,
    445,
    510,
    536,
    590
   ],
   [
    1,
    80,
    102,
    242,
    446,
    511,
    537,
    591
   ],
   [
    2,
    81,
    103,
    243,
    447,
    512,
    538,
    592
   ],
   [
    3,
    82,
    104,
    244,
    448,
    513,
    539,
    593
   ],
   [
    4,
    83,
    105,
    245,
    449,
    514,
    540,
    594
   ],
   [
    5,
    84,
    106,
    246,
    450,
    515,
    541,
    595
   ],
   [
    6,
    85,
    107,
    247,
    451,
    516,
    542,
    596
   ],
   [
    7,
    86,
    108,
    248,
    452,
    517,
    543,
    597
   ],
   [
    8,
    87,
    109,
    249,
    453,
    518,
    544,
    598
   ],
   [
    9,
    88,
    110,
    250,
    454,
    519,
    545,
    599
   ],
   [
    10,
    89,
    111,
    251,
    455,
    520,
    546,
    600
   ],
   [
    11,
    90,
    112,
    252,
    456,
    521,
    547,
    601
   ],
   [
    12,
    91,
    113,
    253,
    301,
    457,
    522,
    548
   ],
   [
    13,
    92,
    114,
    254,
    302,
    458,
    523,
    549
   ],
   [
    14,
    93,
    115,
    255,
    303,
    459,
    524,
    550
   ],
   [
    15,
    94,
    116,
    256,
    304,
    460,
    525,
    551
   ],
   [
    16,
    95,
    117,
    257,
    305,
    461,
    526,
    552
   ],
   [
    17,
    96,
    118,
    258,
    306,
    462,
    527,
    553
   ],
   [
    18,
    97,
    119,
    259,
    307,
    463,
    528,
    554
   ],
   [
    19,
    98,
    120,
    260,
    308,
    464,
    529,
    555
   ],
   [
    20,
    99,
    121,
    261,
    309,
    465,
    530,
    556
   ],
   [
    21,
    100,
    122,
    262,
    310,
    466,
    531,
    557
   ],
   [
    22,
    101,
    123,
    263,
    311,
    467,
    532,
    558
   ],
   [
    23,
    102,
    124,
    264,
    312,
    468,
    533,
    559
   ],
   [
    24,
    103,
    125,
    265,
    313,
    469,
    534,
    560
   ],
   [
    25,
    104,
    126,
    266,
    314,
    470,
    535,
    561
   ],
   [
    26,
    105,
    127,
    267,
    315,
    471,
    536,
    562
   ],
   [
    27,
    106,
    128,
    268,
    316,
    472,
    537,
    563
   ],
   [
    28,
    107,
    129,
    269,
    317,
    473,
    538,
    564
   ],
   [
    29,
    108,
    130,
    270,
    318,
    474,
    539,
    565
   ],
   [
    30,
    109,
    131,
    271,
    319,
    475,
    540,
    566
   ],
   [
    31,
    110,
    132,
    272,
    320,
    476,
    541,
    567
   ],
   [
    32,
    111,
    133,
    273,
    321,
    477,
    542,
    568
   ],
   [
    33,
    112,
    134,
    274,
    322,
    478,
    543,
    569
   ],
   [
    34,
    113,
    135,
    275,
    323,
    479,
    544,
    570
   ],
   [
    35,
    114,
    136,
    276,
    324,
    480,
    545,
    571
   ],
   [
    36,
    115,
    137,
    277,
    325,
    481,
    546,
    572
   ],
   [
    37,
    116,
    138,
    278,
    326,
    482,
    547,
    573
   ],
   [
    38,
    117,
    139,
    279,
    327,
    483,
    548,
    574
   ],
   [
    39,
    118,
    140,
    280,
    328,
    484,
    549,
    575
   ],
   [
    40,
    119,
    141,
    281,
    329,
    485,
    550,
    576
   ],
   [
    41,
    120,
    142,
    282,
    330,
    486,
    551,
    577
   ],
   [
    42,
    121,
    143,
    283,
    331,
    487,
    552,
    578
   ],
   [
    43,
    122,
    144,
    284,
    332,
    488,
    553,
    579
   ],
   [
    44,
    123,
    145,
    285,
    333,
    489,
    554,
    580
   ],
   [
    45,
    124,
    146,
    286,
    334,
    490,
    555,
    581
   ],
   [
    46,
    125,
    147,
    287,
    335,
    491,
    556,
    582
   ],
   [
    47,
    126,
    148,
    288,
    336,
    492,
    557,
    583
   ],
   [
    48,
    127,
    149,
    289,
    337,
    493,
    558,
    584
   ],
   [
    49,
    128,
    150,
    290,
    338,
    494,
    559,
    585
   ],
   [
    50,
    129,
    151,
    291,
    339,
    495,
    560,
    586
   ],
   [
    51,
    130,
    152,
    292,
    340,
    496,
    561,
    587
   ],
   [
    52,
    131,
    153,
    293,
    341,
    497,
    562,
    588
   ],
   [
    53,
    132,
    154,
    294,
    342,
    498,
    563,
    589
   ],
   [
    54,
    133,
    155,
    295,
    343,
    499,
    564,
    590
   ],
   [
    55,
    134,
    156,
    296,
    344,
    500,
    565,
    591
   ],
   [
    56,
    135,
    157,
    297,
    345,
    501,
    566,
    592
   ],
   [
    57,
    136,
    158,
    298,
    346,
    502,
    567,
    593
   ],
   [
    58,
    137,
    159,
    299,
    347,
    503,
    568,
    594
   ],
   [
    59,
    138,
    160,
    300,
    348,
    504,
    569,
    595
   ],
   [
    0,
    60,
    139,
    161,
    349,
    505,
    570,
    596
   ],
   [
    1,
    61,
    140,
    162,
    350,
    506,
    571,
    597
   ],
   [
    2,
    62,
    141,
    163,
    351,
    507,
    572,
    598
   ],
   [
    3,
    63,
    142,
    164,
    352,
    508,
    573,
    599
   ],
   [
    4,
    64,
    143,
    165,
    353,
    509,
    574,
    600
   ],
   [
    5,
    65,
    144,
    166,
    354,
    510,
    575,
    601
   ],
   [
    6,
    66,
    145,
    167,
    301,
    355,
    511,
    576
   ],
   [
    7,
    67,
    146,
    168,
    302,
    356,
    512,
    577
   ],
   [
    8,
    68,
    147,
    169,
    303,
    357,
    513,
    578
   ],
   [
    9,
    69,
    148,
    170,
    304,
    358,
    514,
    579
   ],
   [
    10,
    70,
    149,
    171,
    305,
    359,
    515,
    580
   ],
   [
    11,
    71,
    150,
    172,
    306,
    360,
    516,
    581
   ],
   [
    12,
    72,
    151,
    173,
    307,
    361,
    517,
    582
   ],
   [
    13,
    73,
    152,
    174,
    308,
    362,
    518,
    583
   ],
   [
    14,
    74,
    153,
    175,
    309,
    363,
    519,
    584
   ],
   [
    15,
    75,
    154,
    176,
    310,
    364,
    520,
    585
   ],
   [
    16,
    76,
    155,
    177,
    311,
    365,
    521,
    586
   ],
   [
    17,
    77,
    156,
    178,
    312,
    366,
    522,
    587
   ],
   [
    18,
    78,
    157,
    179,
    313,
    367,
    523,
    588
   ],
   [
    19,
    79,
    158,
    180,
    314,
    368,
    524,
    589
   ],
   [
    20,
    80,
    159,
    181,
    315,
    369,
    525,
    590
   ],
   [
    21,
    81,
    160,
    182,
    316,
    370,
    526,
    591
   ],
   [
    22,
    82,
    161,
    183,
    317,
    371,
    527,
    592
   ],
   [
    23,
    83,
    162,
    184,
    318,
    372,
    528,
    593
   ],
   [
    24,
    84,
    163,
    185,
    319,
    373,
    529,
    594
   ],
   [
    25,
    85,
    164,
    186,
    320,
    374,
    530,
    595
   ],
   [
    26,
    86,
    165,
    187,
    321,
    375,
    531,
    596
   ],
   [
    27,
    87,
    166,
    188,
    322,
    376,
    532,
    597
   ],
   [
    28,
    88,
    167,
    189,
    323,
    377,
    533,
    598
   ],
   [
    29,
    89,
    168,
    190,
    324,
    378,
    534,
    599
   ],
   [
    30,
    90,
    169,
    191,
    325,
    379,
    535,
    600
   ],
   [
    31,
    91,
    170,
    192,
    326,
    380,
    536,
    601
   ],
   [
    32,
    92,
    171,
    193,
    301,
    327,
    381,
    537
   ],
   [
    33,
    93,
    172,
    194,
    302,
    328,
    382,
    538
   ],
   [
    34,
    94,
    173,
    195,
    303,
    329,
    383,
    539
   ],
   [
    35,
    95,
    174,
    196,
    304,
    330,
    384,
    540
   ],
   [
    36,
    96,
    175,
    197,
    305,
    331,
    385,
    541
   ],
   [
    37,
    97,
    176,
    198,
    306,
    332,
    386,
    542
   ],
   [
    38,
    98,
    177,
    199,
    307,
    333,
    387,
    543
   ],
   [
    39,
    99,
    178,
    200,
    308,
    334,
    388,
    544
   ],
   [
    40,
    100,
    179,
    201,
    309,
    335,
    389,
    545
   ],
   [
    41,
    101,
    180,
    202,
    310,
    336,
    390,
    546
   ],
   [
    42,
    102,
    181,
    203,
    311,
    337,
    391,
    547
   ],
   [
    43,
    103,
    182,
    204,
    312,
    338,
    392,
    548
   ],
   [
    44,
    104,
    183,
    205,
    313,
    339,
    393,
    549
   ],
   [
    45,
    105,
    184,
    206,
    314,
    340,
    394,
    550
   ],
   [
    46,
    106,
    185,
    207,
    315,
    341,
    395,
    551
   ],
   [
    47,
    107,
    186,
    208,
    316,
    342,
    396,
    552
   ],
   [
    48,
    108,
    187,
    209,
    317,
    343,
    397,
    553
   ],
   [
    49,
    109,
    188,
    210,
    318,
    344,
    398,
    554
   ],
   [
    50,
    110,
    189,
    211,
    319,
    345,
    399,
    555
   ],
   [
    51,
    111,
    190,
    212,
    320,
    346,
    400,
    556
   ],
   [
    52,
    112,
    191,
    213,
    321,
    347,
    401,
    557
   ],
   [
    53,
    113,
    192,
    214,
    322,
    348,
    402,
    558
   ],
   [
    54,
    114,
    193,
    215,
    323,
    349,
    403,
    559
   ],
   [
    55,
    115,
    194,
    216,
    324,
    350,
    404,
    560
   ],
   [
    56,
    116,
    195,
    217,
    325,
    351,
    405,
    561
   ],
   [
    57,
    117,
    196,
    218,
    326,
    352,
    406,
    562
   ],
   [
    58,
    118,
    197,
    219,
    327,
    353,
    407,
    563
   ],
   [
    59,
    119,
    198,
    220,
    328,
    354,
    408,
    564
   ],
   [
    60,
    120,
    199,
    221,
    329,
    355,
    409,
    565
   ],
   [
    61,
    121,
    200,
    222,
    330,
    356,
    410,
    566
   ],
   [
    62,
    122,
    201,
    223,
    331,
    357,
    411,
    567
   ],
   [
    63,
    123,
    202,
    224,
    332,
    358,
    412,
    568
   ],
   [
    64,
    124,
    203,
    225,
    333,
    359,
    413,
    569
   ],
   [
    65,
    125,
    204,
    226,
    334,
    360,
    414,
    570
   ],
   [
    66,
    126,
    205,
    227,
    335,
    361,
    415,
    571
   ],
   [
    67,
    127,
    206,
    228,
    336,
    362,
    416,
    572
   ],
   [
    68,
    128,
    207,
    229,
    337,
    363,
    417,
    573
   ],
   [
    69,
    129,
    208,
    230,
    338,
    364,
    418,
    574
   ],
   [
    70,
    130,
    209,
    231,
    339,
    365,
    419,
    575
   ],
   [
    71,
    131,
    210,
    232,
    340,
    366,
    420,
    576
   ],
   [
    72,
    132,
    211,
    233,
    341,
    367,
    421,
    577
   ],
   [
    73,
    133,
    212,
    234,
    342,
    368,
    422,
    578
   ],
   [
    74,
    134,
    213,
    235,
    343,
    369,
    423,
    579
   ],
   [
    75,
    135,
    214,
    236,
    344,
    370,
    424,
    580
   ],
   [
    76,
    136,
    215,
    237,
    345,
    371,
    425,
    581
   ],
   [
    77,
    137,
    216,
    238,
    346,
    372,
    426,
    582
   ],
   [
    78,
    138,
    217,
    239,
    347,
    373,
    427,
    583
   ],
   [
    79,
    139,
    218,
    240,
    348,
    374,
    428,
    584
   ],
   [
    80,
    140,
    219,
    241,
    349,
    375,
    429,
    585
   ],
   [
    81,
    141,
    220,
    242,
    350,
    376,
    430,
    586
   ],
   [
    82,
    142,
    221,
    243,
    351,
    377,
    431,
    587
   ],
   [
    83,
    143,
    222,
    244,
    352,
    378,
    432,
    588
   ],
   [
    84,
    144,
    223,
    245,
    353,
    379,
    433,
    589
   ],
   [
    85,
    145,
    224,
    246,
    354,
    380,
    434,
    590
   ],
   [
    86,
    146,
    225,
    247,
    355,
    381,
    435,
    591
   ],
   [
    87,
    147,
    226,
    248,
    356,
    382,
    436,
    592
   ],
   [
    88,
    148,
    227,
    249,
    357,
    383,
    437,
    593
   ],
   [
    89,
    149,
    228,
    250,
    358,
    384,
    438,
    594
   ],
   [
    90,
    150,
    229,
    251,
    359,
    385,
    439,
    595
   ],
   [
    91,
    151,
    230,
    252,
    360,
    386,
    440,
    596
   ],
   [
    92,
    152,
    231,
    253,
    361,
    387,
    441,
    597
   ],
   [
    93,
    153,
    232,
    254,
    362,
    388,
    442,
    598
   ],
   [
    94,
    154,
    233,
    255,
    363,
    389,
    443,
    599
   ],
   [
    95,
    155,
    234,
    256,
    364,
    390,
    444,
    600
   ],
   [
    96,
    156,
    235,
    257,
    365,
    391,
    445,
    601
   ],
   [
    97,
    157,
    236,
    258,
    301,
    366,
    392,
    446
   ],
   [
    98,
    158,
    237,
    259,
    302,
    367,
    393,
    447
   ],
   [
    99,
    159,
    238,
    260,
    303,
    368,
    394,
    448
   ],
   [
    100,
    160,
    239,
    261,
    304,
    369,
    395,
    449
   ],
   [
    101,
    161,
    240,
    262,
    305,
    370,
    396,
    450
   ],
   [
    102,
    162,
    241,
    263,
    306,
    371,
    397,
    451
   ],
   [
    103,
    163,
    242,
    264,
    307,
    372,
    398,
    452
   ],
   [
    104,
    164,
    243,
    265,
    308,
    373,
    399,
    453
   ],
   [
    105,
    165,
    244,
    266,
    309,
    374,
    400,
    454
   ],
   [
    106,
    166,
    245,
    267,
    310,
    375,
    401,
    455
   ],
   [
    107,
    167,
    246,
    268,
    311,
    376,
    402,
    456
   ],
   [
    108,
    168,
    247,
    269,
    312,
    377,
    403,
    457
   ],
   [
    109,
    169,
    248,
    270,
    313,
    378,
    404,
    458
   ],
   [
    110,
    170,
    249,
    271,
    314,
    379,
    405,
    459
   ],
   [
    111,
    171,
    250,
    272,
    315,
    380,
    406,
    460
   ],
   [
    112,
    172,
    251,
    273,
    316,
    381,
    407,
    461
   ],
   [
    113,
    173,
    252,
    274,
    317,
    382,
    408,
    462
   ]
  ],
  "Z": [
   [
    139,
    193,
    219,
    284,
    327,
    349,
    428,
    488
   ],
   [
    140,
    194,
    220,
    285,
    328,
    350,
    429,
    489
   ],
   [
    141,
    195,
    221,
    286,
    329,
    351,
    430,
    490
   ],
   [
    142,
    196,
    222,
    287,
    330,
    352,
    431,
    491
   ],
   [
    143,
    197,
    223,
    288,
    331,
    353,
    432,
    492
   ],
   [
    144,
    198,
    224,
    289,
    332,
    354,
    433,
    493
   ],
   [
    145,
    199,
    225,
    290,
    333,
    355,
    434,
    494
   ],
   [
    146,
    200,
    226,
    291,
    334,
    356,
    435,
    495
   ],
   [
    147,
    201,
    227,
    292,
    335,
    357,
    436,
    496
   ],
   [
    148,
    202,
    228,
    293,
    336,
    358,
    437,
    497
   ],
   [
    149,
    203,
    229,
    294,
    337,
    359,
    438,
    498
   ],
   [
    150,
    204,
    230,
    295,
    338,
    360,
    439,
    499
   ],
   [
    151,
    205,
    231,
    296,
    339,
    361,
    440,
    500
   ],
   [
    152,
    206,
    232,
    297,
    340,
    362,
    441,
    501
   ],
   [
    153,
    207,
    233,
    298,
    341,
    363,
    442,
    502
   ],
   [
    154,
    208,
    234,
    299,
    342,
    364,
    443,
    503
   ],
   [
    155,
    209,
    235,
    300,
    343,
    365,
    444,
    504
   ],
   [
    0,
    156,
    210,
    236,
    344,
    366,
    445,
    505
   ],
   [
    1,
    157,
    211,
    237,
    345,
    367,
    446,
    506
   ],
   [
    2,
    158,
    212,
    238,
    346,
    368,
    447,
    507
   ],
   [
    3,
    159,
    213,
    239,
    347,
    369,
    448,
    508
   ],
   [
    4,
    160,
    214,
    240,
    348,
    370,
    449,
    509
   ],
   [
    5,
    161,
    215,
    241,
    349,
    371,
    450,
    510
   ],
   [
    6,
    162,
    216,
    242,
    350,
    372,
    451,
    511
   ],
   [
    7,
    163,
    217,
    243,
    351,
    373,
    452,
    512
   ],
   [
    8,
    164,
    218,
    244,
    352,
    374,
    453,
    513
   ],
   [
    9,
    165,
    219,
    245,
    353,
    375,
    454,
    514
   ],
   [
    10,
    166,
    220,
    246,
    354,
    376,
    455,
    515
   ],
   [
    11,
    167,
    221,
    247,
    355,
    377,
    456,
    516
   ],
   [
    12,
    168,
    222,
    248,
    356,
    378,
    457,
    517
   ],
   [
    13,
    169,
    223,
    249,
    357,
    379,
    458,
    518
   ],
   [
    14,
    170,
    224,
    250,
    358,
    380,
    459,
    519
   ],
   [
    15,
    171,
    225,
    251,
    359,
    381,
    460,
    520
   ],
   [
    16,
    172,
    226,
    252,
    360,
    382,
    461,
    521
   ],
   [
    17,
    173,
    227,
    253,
    361,
    383,
    462,
    522
   ],
   [
    18,
    174,
    228,
    254,
    362,
    384,
    463,
    523
   ],
   [
    19,
    175,
    229,
    255,
    363,
    385,
    464,
    524
   ],
   [
    20,
    176,
    230,
    256,
    364,
    386,
    465,
    525
   ],
   [
    21,
    177,
    231,
    257,
    365,
    387,
    466,
    526
   ],
   [
    22,
    178,
    232,
    258,
    366,
    388,
    467,
    527
   ],
   [
    23,
    179,
    233,
    259,
    367,
    389,
    468,
    528
   ],
   [
    24,
    180,
    234,
    260,
    368,
    390,
    469,
    529
   ],
   [
    25,
    181,
    235,
    261,
    369,
    391,
    470,
    530
   ],
   [
    26,
    182,
    236,
    262,
    370,
    392,
    471,
    531
   ],
   [
    27,
    183,
    237,
    263,
    371,
    393,
    472,
    532
   ],
   [
    28,
    184,
    238,
    264,
    372,
    394,
    473,
    533
   ],
   [
    29,
    185,
    239,
    265,
    373,
    395,
    474,
    534
   ],
   [
    30,
    186,
    240,
    266,
    374,
    396,
    475,
    535
   ],
   [
    31,
    187,
    241,
    267,
    375,
    397,
    476,
    536
   ],
   [
    32,
    188,
    242,
    268,
    376,
    398,
    477,
    537
   ],
   [
    33,
    189,
    243,
    269,
    377,
    399,
    478,
    538
   ],
   [
    34,
    190,
    244,
    270,
    378,
    400,
    479,
    539
   ],
   [
    35,
    191,
    245,
    271,
    379,
    401,
    480,
    540
   ],
   [
    36,
    192,
    246,
    272,
    380,
    402,
    481,
    541
   ],
   [
    37,
    193,
    247,
    273,
    381,
    403,
    482,
    542
   ],
   [
    38,
    194,
    248,
    274,
    382,
    404,
    483,
    543
   ],
   [
    39,
    195,
    249,
    275,
    383,
    405,
    484,
    544
   ],
   [
    40,
    196,
    250,
    276,
    384,
    406,
    485,
    545
   ],
   [
    41,
    197,
    251,
    277,
    385,
    407,
    486,
    546
   ],
   [
    42,
    198,
    252,
    278,
    386,
    408,
    487,
    547
   ],
   [
    43,
    199,
    253,
    279,
    387,
    409,
    488,
    548
   ],
   [
    44,
    200,
    254,
    280,
    388,
    410,
    489,
    549
   ],
   [
    45,
    201,
    255,
    281,
    389,
    411,
    490,
    550
   ],
   [
    46,
    202,
    256,
    282,
    390,
    412,
    491,
    551
   ],
   [
    47,
    203,
    257,
    283,
    391,
    413,
    492,
    552
   ],
   [
    48,
    204,
    258,
    284,
    392,
    414,
    493,
    553
   ],
   [
    49,
    205,
    259,
    285,
    393,
    415,
    494,
    554
   ],
   [
    50,
    206,
    260,
    286,
    394,
    416,
    495,
    555
   ],
   [
    51,
    207,
    261,
    287,
    395,
    417,
    496,
    556
   ],
   [
    52,
    208,
    262,
    288,
    396,
    418,
    497,
    557
   ],
   [
    53,
    209,
    263,
    289,
    397,
    419,
    498,
    558
   ],
   [
    54,
    210,
    264,
    290,
    398,
    420,
    499,
    559
   ],
   [
    55,
    211,
    265,
    291,
    399,
    421,
    500,
    560
   ],
   [
    56,
    212,
    266,
    292,
    400,
    422,
    501,
    561
   ],
   [
    57,
    213,
    267,
    293,
    401,
    423,
    502,
    562
   ],
   [
    58,
    214,
    268,
    294,
    402,
    424,
    503,
    563
   ],
   [
    59,
    215,
    269,
    295,
    403,
    425,
    504,
    564
   ],
   [
    60,
    216,
    270,
    296,
    404,
    426,
    505,
    565
   ],
   [
    61,
    217,
    271,
    297,
    405,
    427,
    506,
    566
   ],
   [
    62,
    218,
    272,
    298,
    406,
    428,
    507,
    567
   ],
   [
    63,
    219,
    273,
    299,
    407,
    429,
    508,
    568
   ],
   [
    64,
    220,
    274,
    300,
    408,
    430,
    509,
    569
   ],
   [
    0,
    65,
    221,
    275,
    409,
    431,
    510,
    570
   ],
   [
    1,
    66,
    222,
    276,
    410,
    432,
    511,
    571
   ],
   [
    2,
    67,
    223,
    277,
    411,
    433,
    512,
    572
   ],
   [
    3,
    68,
    224,
    278,
    412,
    434,
    513,
    573
   ],
   [
    4,
    69,
    225,
    279,
    413,
    435,
    514,
    574
   ],
   [
    5,
    70,
    226,
    280,
    414,
    436,
    515,
    575
   ],
   [
    6,
    71,
    227,
    281,
    415,
    437,
    516,
    576
   ],
   [
    7,
    72,
    228,
    282,
    416,
    438,
    517,
    577
   ],
   [
    8,
    73,
    229,
    283,
    417,
    439,
    518,
    578
   ],
   [
    9,
    74,
    230,
    284,
    418,
    440,
    519,
    579
   ],
   [
    10,
    75,
    231,
    285,
    419,
    441,
    520,
    580
   ],
   [
    11,
    76,
    232,
    286,
    420,
    442,
    521,
    581
   ],
   [
    12,
    77,
    233,
    287,
    421,
    443,
    522,
    582
   ],
   [
    13,
    78,
    234,
    288,
    422,
    444,
    523,
    583
   ],
   [
    14,
    79,
    235,
    289,
    423,
    445,
    524,
    584
   ],
   [
    15,
    80,
    236,
    290,
    424,
    446,
    525,
    585
   ],
   [
    16,
    81,
    237,
    291,
    425,
    447,
    526,
    586
   ],
   [
    17,
    82,
    238,
    292,
    426,
    448,
    527,
    587
   ],
   [
    18,
    83,
    239,
    293,
    427,
    449,
    528,
    588
   ],
   [
    19,
    84,
    240,
    294,
    428,
    450,
    529,
    589
   ],
   [
    20,
    85,
    241,
    295,
    429,
    451,
    530,
    590
   ],
   [
    21,
    86,
    242,
    296,
    430,
    452,
    531,
    591
   ],
   [
    22,
    87,
    243,
    297,
    431,
    453,
    532,
    592
   ],
   [
    23,
    88,
    244,
    298,
    432,
    454,
    533,
    593
   ],
   [
    24,
    89,
    245,
    299,
    433,
    455,
    534,
    594
   ],
   [
    25,
    90,
    246,
    300,
    434,
    456,
    535,
    595
   ],
   [
    0,
    26,
    91,
    247,
    435,
    457,
    536,
    596
   ],
   [
    1,
    27,
    92,
    248,
    436,
    458,
    537,
    597
   ],
   [
    2,
    28,
    93,
    249,
    437,
    459,
    538,
    598
   ],
   [
    3,
    29,
    94,
    250,
    438,
    460,
    539,
    599
   ],
   [
    4,
    30,
    95,
    251,
    439,
    461,
    540,
    600
   ],
   [
    5,
    31,
    96,
    252,
    440,
    462,
    541,
    601
   ],
   [
    6,
    32,
    97,
    253,
    301,
    441,
    463,
    542
   ],
   [
    7,
    33,
    98,
    254,
    302,
    442,
    464,
    543
   ],
   [
    8,
    34,
    99,
    255,
    303,
    443,
    465,
    544
   ],
   [
    9,
    35,
    100,
    256,
    304,
    444,
    466,
    545
   ],
   [
    10,
    36,
    101,
    257,
    305,
    445,
    467,
    546
   ],
   [
    11,
    37,
    102,
    258,
    306,
    446,
    468,
    547
   ],
   [
    12,
    38,
    103,
    259,
    307,
    447,
    469,
    548
   ],
   [
    13,
    39,
    104,
    260,
    308,
    448,
    470,
    549
   ],
   [
    14,
    40,
    105,
    261,
    309,
    449,
    471,
    550
   ],
   [
    15,
    41,
    106,
    262,
    310,
    450,
    472,
    551
   ],
   [
    16,
    42,
    107,
    263,
    311,
    451,
    473,
    552
   ],
   [
    17,
    43,
    108,
    264,
    312,
    452,
    474,
    553
   ],
   [
    18,
    44,
    109,
    265,
    313,
    453,
    475,
    554
   ],
   [
    19,
    45,
    110,
    266,
    314,
    454,
    476,
    555
   ],
   [
    20,
    46,
    111,
    267,
    315,
    455,
    477,
    556
   ],
   [
    21,
    47,
    112,
    268,
    316,
    456,
    478,
    557
   ],
   [
    22,
    48,
    113,
    269,
    317,
    457,
    479,
    558
   ],
   [
    23,
    49,
    114,
    270,
    318,
    458,
    480,
    559
   ],
   [
    24,
    50,
    115,
    271,
    319,
    459,
    481,
    560
   ],
   [
    25,
    51,
    116,
    272,
    320,
    460,
    482,
    561
   ],
   [
    26,
    52,
    117,
    273,
    321,
    461,
    483,
    562
   ],
   [
    27,
    53,
    118,
    274,
    322,
    462,
    484,
    563
   ],
   [
    28,
    54,
    119,
    275,
    323,
    463,
    485,
    564
   ],
   [
    29,
    55,
    120,
    276,
    324,
    464,
    486,
    565
   ],
   [
    30,
    56,
    121,
    277,
    325,
    465,
    487,
    566
   ],
   [
    31,
    57,
    122,
    278,
    326,
    466,
    488,
    567
   ],
   [
    32,
    58,
    123,
    279,
    327,
    467,
    489,
    568
   ],
   [
    33,
    59,
    124,
    280,
    328,
    468,
    490,
    569
   ],
   [
    34,
    60,
    125,
    281,
    329,
    469,
    491,
    570
   ],
   [
    35,
    61,
    126,
    282,
    330,
    470,
    492,
    571
   ],
   [
    36,
    62,
    127,
    283,
    331,
    471,
    493,
    572
   ],
   [
    37,
    63,
    128,
    284,
    332,
    472,
    494,
    573
   ],
   [
    38,
    64,
    129,
    285,
    333,
    473,
    495,
    574
   ],
   [
    39,
    65,
    130,
    286,
    334,
    474,
    496,
    575
   ],
   [
    40,
    66,
    131,
    287,
    335,
    475,
    497,
    576
   ],
   [
    41,
    67,
    132,
    288,
    336,
    476,
    498,
    577
   ],
   [
    42,
    68,
    133,
    289,
    337,
    477,
    499,
    578
   ],
   [
    43,
    69,
    134,
    290,
    338,
    478,
    500,
    579
   ],
   [
    44,
    70,
    135,
    291,
    339,
    479,
    501,
    580
   ],
   [
    45,
    71,
    136,
    292,
    340,
    480,
    502,
    581
   ],
   [
    46,
    72,
    137,
    293,
    341,
    481,
    503,
    582
   ],
   [
    47,
    73,
    138,
    294,
    342,
    482,
    504,
    583
   ],
   [
    48,
    74,
    139,
    295,
    343,
    483,
    505,
    584
   ],
   [
    49,
    75,
    140,
    296,
    344,
    484,
    506,
    585
   ],
   [
    50,
    76,
    141,
    297,
    345,
    485,
    507,
    586
   ],
   [
    51,
    77,
    142,
    298,
    346,
    486,
    508,
    587
   ],
   [
    52,
    78,
    143,
    299,
    347,
    487,
    509,
    588
   ],
   [
    53,
    79,
    144,
    300,
    348,
    488,
    510,
    589
   ],
   [
    0,
    54,
    80,
    145,
    349,
    489,
    511,
    590
   ],
   [
    1,
    55,
    81,
    146,
    350,
    490,
    512,
    591
   ],
   [
    2,
    56,
    82,
    147,
    351,
    491,
    513,
    592
   ],
   [
    3,
    57,
    83,
    148,
    352,
    492,
    514,
    593
   ],
   [
    4,
    58,
    84,
    149,
    353,
    493,
    515,
    594
   ],
   [
    5,
    59,
    85,
    150,
    354,
    494,
    516,
    595
   ],
   [
    6,
    60,
    86,
    151,
    355,
    495,
    517,
    596
   ],
   [
    7,
    61,
    87,
    152,
    356,
    496,
    518,
    597
   ],
   [
    8,
    62,
    88,
    153,
    357,
    497,
    519,
    598
   ],
   [
    9,
    63,
    89,
    154,
    358,
    498,
    520,
    599
   ],
   [
    10,
    64,
    90,
    155,
    359,
    499,
    521,
    600
   ],
   [
    11,
    65,
    91,
    156,
    360,
    500,
    522,
    601
   ],
   [
    12,
    66,
    92,
    157,
    301,
    361,
    501,
    523
   ],
   [
    13,
    67,
    93,
    158,
    302,
    362,
    502,
    524
   ],
   [
    14,
    68,
    94,
    159,
    303,
    363,
    503,
    525
   ],
   [
    15,
    69,
    95,
    160,
    304,
    364,
    504,
    526
   ],
   [
    16,
    70,
    96,
    161,
    305,
    365,
    505,
    527
   ],
   [
    17,
    71,
    97,
    162,
    306,
    366,
    506,
    528
   ],
   [
    18,
    72,
    98,
    163,
    307,
    367,
    507,
    529
   ],
   [
    19,
    73,
    99,
    164,
    308,
    368,
    508,
    530
   ],
   [
    20,
    74,
    100,
    165,
    309,
    369,
    509,
    531
   ],
   [
    21,
    75,
    101,
    166,
    310,
    370,
    510,
    532
   ],
   [
    22,
    76,
    102,
    167,
    311,
    371,
    511,
    533
   ],
   [
    23,
    77,
    103,
    168,
    312,
    372,
    512,
    534
   ],
   [
    24,
    78,
    104,
    169,
    313,
    373,
    513,
    535
   ],
   [
    25,
    79,
    105,
    170,
    314,
    374,
    514,
    536
   ],
   [
    26,
    80,
    106,
    171,
    315,
    375,
    515,
    537
   ],
   [
    27,
    81,
    107,
    172,
    316,
    376,
    516,
    538
   ],
   [
    28,
    82,
    108,
    173,
    317,
    377,
    517,
    539
   ],
   [
    29,
    83,
    109,
    174,
    318,
    378,
    518,
    540
   ],
   [
    30,
    84,
    110,
    175,
    319,
    379,
    519,
    541
   ],
   [
    31,
    85,
    111,
    176,
    320,
    380,
    520,
    542
   ],
   [
    32,
    86,
    112,
    177,
    321,
    381,
    521,
    543
   ],
   [
    33,
    87,
    113,
    178,
    322,
    382,
    522,
    544
   ],
   [
    34,
    88,
    114,
    179,
    323,
    383,
    523,
    545
   ],
   [
    35,
    89,
    115,
    180,
    324,
    384,
    524,
    546
   ],
   [
    36,
    90,
    116,
    181,
    325,
    385,
    525,
    547
   ],
   [
    37,
    91,
    117,
    182,
    326,
    386,
    526,
    548
   ],
   [
    38,
    92,
    118,
    183,
    327,
    387,
    527,
    549
   ],
   [
    39,
    93,
    119,
    184,
    328,
    388,
    528,
    550
   ],
   [
    40,
    94,
    120,
    185,
    329,
    389,
    529,
    551
   ],
   [
    41,
    95,
    121,
    186,
    330,
    390,
    530,
    552
   ],
   [
    42,
    96,
    122,
    187,
    331,
    391,
    531,
    553
   ],
   [
    43,
    97,
    123,
    188,
    332,
    392,
    532,
    554
   ],
   [
    44,
    98,
    124,
    189,
    333,
    393,
    533,
    555
   ],
   [
    45,
    99,
    125,
    190,
    334,
    394,
    534,
    556
   ],
   [
    46,
    100,
    126,
    191,
    335,
    395,
    535,
    557
   ],
   [
    47,
    101,
    127,
    192,
    336,
    396,
    536,
    558
   ],
   [
    48,
    102,
    128,
    193,
    337,
    397,
    537,
    559
   ],
   [
    49,
    103,
    129,
    194,
    338,
    398,
    538,
    560
   ],
   [
    50,
    104,
    130,
    195,
    339,
    399,
    539,
    561
   ],
   [
    51,
    105,
    131,
    196,
    340,
    400,
    540,
    562
   ],
   [
    52,
    106,
    132,
    197,
    341,
    401,
    541,
    563
   ],
   [
    53,
    107,
    133,
    198,
    342,
    402,
    542,
    564
   ],
   [
    54,
    108,
    134,
    199,
    343,
    403,
    543,
    565
   ],
   [
    55,
    109,
    135,
    200,
    344,
    404,
    544,
    566
   ],
   [
    56,
    110,
    136,
    201,
    345,
    405,
    545,
    567
   ],
   [
    57,
    111,
    137,
    202,
    346,
    406,
    546,
    568
   ],
   [
    58,
    112,
    138,
    203,
    347,
    407,
    547,
    569
   ],
   [
    59,
    113,
    139,
    204,
    348,
    408,
    548,
    570
   ],
   [
    60,
    114,
    140,
    205,
    349,
    409,
    549,
    571
   ],
   [
    61,
    115,
    141,
    206,
    350,
    410,
    550,
    572
   ],
   [
    62,
    116,
    142,
    207,
    351,
    411,
    551,
    573
   ],
   [
    63,
    117,
    143,
    208,
    352,
    412,
    552,
    574
   ],
   [
    64,
    118,
    144,
    209,
    353,
    413,
    553,
    575
   ],
   [
    65,
    119,
    145,
    210,
    354,
    414,
    554,
    576
   ],
   [
    66,
    120,
    146,
    211,
    355,
    415,
    555,
    577
   ],
   [
    67,
    121,
    147,
    212,
    356,
    416,
    556,
    578
   ],
   [
    68,
    122,
    148,
    213,
    357,
    417,
    557,
    579
   ],
   [
    69,
    123,
    149,
    214,
    358,
    418,
    558,
    580
   ],
   [
    70,
    124,
    150,
    215,
    359,
    419,
    559,
    581
   ],
   [
    71,
    125,
    151,
    216,
    360,
    420,
    560,
    582
   ],
   [
    72,
    126,
    152,
    217,
    361,
    421,
    561,
    583
   ],
   [
    73,
    127,
    153,
    218,
    362,
    422,
    562,
    584
   ],
   [
    74,
    128,
    154,
    219,
    363,
    423,
    563,
    585
   ],
   [
    75,
    129,
    155,
    220,
    364,
    424,
    564,
    586
   ],
   [
    76,
    130,
    156,
    221,
    365,
    425,
    565,
    587
   ],
   [
    77,
    131,
    157,
    222,
    366,
    426,
    566,
    588
   ],
   [
    78,
    132,
    158,
    223,
    367,
    427,
    567,
    589
   ],
   [
    79,
    133,
    159,
    224,
    368,
    428,
    568,
    590
   ],
   [
    80,
    134,
    160,
    225,
    369,
    429,
    569,
    591
   ],
   [
    81,
    135,
    161,
    226,
    370,
    430,
    570,
    592
   ],
   [
    82,
    136,
    162,
    227,
    371,
    431,
    571,
    593
   ],
   [
    83,
    137,
    163,
    228,
    372,
    432,
    572,
    594
   ],
   [
    84,
    138,
    164,
    229,
    373,
    433,
    573,
    595
   ],
   [
    85,
    139,
    165,
    230,
    374,
    434,
    574,
    596
   ],
   [
    86,
    140,
    166,
    231,
    375,
    435,
    575,
    597
   ],
   [
    87,
    141,
    167,
    232,
    376,
    436,
    576,
    598
   ],
   [
    88,
    142,
    168,
    233,
    377,
    437,
    577,
    599
   ],
   [
    89,
    143,
    169,
    234,
    378,
    438,
    578,
    600
   ],
   [
    90,
    144,
    170,
    235,
    379,
    439,
    579,
    601
   ],
   [
    91,
    145,
    171,
    236,
    301,
    380,
    440,
    580
   ],
   [
    92,
    146,
    172,
    237,
    302,
    381,
    441,
    581
   ],
   [
    93,
    147,
    173,
    238,
    303,
    382,
    442,
    582
   ],
   [
    94,
    148,
    174,
    239,
    304,
    383,
    443,
    583
   ],
   [
    95,
    149,
    175,
    240,
    305,
    384,
    444,
    584
   ],
   [
    96,
    150,
    176,
    241,
    306,
    385,
    445,
    585
   ],
   [
    97,
    151,
    177,
    242,
    307,
    386,
    446,
    586
   ],
   [
    98,
    152,
    178,
    243,
    308,
    387,
    447,
    587
   ],
   [
    99,
    153,
    179,
    244,
    309,
    388,
    448,
    588
   ],
   [
    100,
    154,
    180,
    245,
    310,
    389,
    449,
    589
   ],
   [
    101,
    155,
    181,
    246,
    311,
    390,
    450,
    590
   ],
   [
    102,
    156,
    182,
    247,
    312,
    391,
    451,
    591
   ],
   [
    103,
    157,
    183,
    248,
    313,
    392,
    452,
    592
   ],
   [
    104,
    158,
    184,
    249,
    314,
    393,
    453,
    593
   ],
   [
    105,
    159,
    185,
    250,
    315,
    394,
    454,
    594
   ],
   [
    106,
    160,
    186,
    251,
    316,
    395,
    455,
    595
   ],
   [
    107,
    161,
    187,
    252,
    317,
    396,
    456,
    596
   ],
   [
    108,
    162,
    188,
    253,
    318,
    397,
    457,
    597
   ],
   [
    109,
    163,
    189,
    254,
    319,
    398,
    458,
    598
   ],
   [
    110,
    164,
    190,
    255,
    320,
    399,
    459,
    599
   ],
   [
    111,
    165,
    191,
    256,
    321,
    400,
    460,
    600
   ],
   [
    112,
    166,
    192,
    257,
    322,
    401,
    461,
    601
   ],
   [
    113,
    167,
    193,
    258,
    301,
    323,
    402,
    462
   ],
   [
    114,
    168,
    194,
    259,
    302,
    324,
    403,
    463
   ],
   [
    115,
    169,
    195,
    260,
    303,
    325,
    404,
    464
   ],
   [
    116,
    170,
    196,
    261,
    304,
    326,
    405,
    465
   ],
   [
    117,
    171,
    197,
    262,
    305,
    327,
    406,
    466
   ],
   [
    118,
    172,
    198,
    263,
    306,
    328,
    407,
    467
   ],
   [
    119,
    173,
    199,
    264,
    307,
    329,
    408,
    468
   ],
   [
    120,
    174,
    200,
    265,
    308,
    330,
    409,
    469
   ],
   [
    121,
    175,
    201,
    266,
    309,
    331,
    410,
    470
   ],
   [
    122,
    176,
    202,
    267,
    310,
    332,
    411,
    471
   ],
   [
    123,
    177,
    203,
    268,
    311,
    333,
    412,
    472
   ],
   [
    124,
    178,
    204,
    269,
    312,
    334,
    413,
    473
   ],
   [
    125,
    179,
    205,
    270,
    313,
    335,
    414,
    474
   ],
   [
    126,
    180,
    206,
    271,
    314,
    336,
    415,
    475
   ],
   [
    127,
    181,
    207,
    272,
    315,
    337,
    416,
    476
   ],
   [
    128,
    182,
    208,
    273,
    316,
    338,
    417,
    477
   ],
   [
    129,
    183,
    209,
    274,
    317,
    339,
    418,
    478
   ],
   [
    130,
    184,
    210,
    275,
    318,
    340,
    419,
    479
   ],
   [
    131,
    185,
    211,
    276,
    319,
    341,
    420,
    480
   ],
   [
    132,
    186,
    212,
    277,
    320,
    342,
    421,
    481
   ],
   [
    133,
    187,
    213,
    278,
    321,
    343,
    422,
    482
   ],
   [
    134,
    188,
    214,
    279,
    322,
    344,
    423,
    483
   ],
   [
    135,
    189,
    215,
    280,
    323,
    345,
    424,
    484
   ],
   [
    136,
    190,
    216,
    281,
    324,
    346,
    425,
    485
   ],
   [
    137,
    191,
    217,
    282,
    325,
    347,
    426,
    486
   ],
   [
    138,
    192,
    218,
    283,
    326,
    348,
    427,
    487
   ]
  ]
 },
 "distance": {
  "d": 63,
  "X": {
   "value": 63,
   "confidence": "upper_bound",
   "witness": [
    8,
    15,
    16,
    17,
    25,
    28,
    36,
    42,
    47,
    51,
    56,
    68,
    71,
    73,
    82,
    93,
    95,
    96,
    99,
    110,
    119,
    121,
    122,
    145,
    147,
    156,
    159,
    170,
    171,
    181,
    182,
    187,
    190,
    192,
    213,
    218,
    227,
    244,
    252,
    262,
    264,
    266,
    267,
    283,
    290,
    295,
    298,
    315,
    326,
    360,
    417,
    425,
    445,
    461,
    502,
    513,
    519,
    535,
    557,
    562,
    579,
    584,
    590
   ],
   "witness_provenance": {
    "found_by": [
     "@vprusso"
    ],
    "date": "2026-09-26",
    "found_at_samples": 300000000,
    "survived_samples": 300000000,
    "tool": "verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified)",
    "seeds": [
     4102
    ]
   }
  },
  "Z": {
   "value": 67,
   "confidence": "upper_bound",
   "witness": [
    1,
    3,
    6,
    19,
    24,
    25,
    26,
    41,
    42,
    44,
    47,
    50,
    61,
    66,
    70,
    81,
    84,
    86,
    100,
    102,
    103,
    104,
    107,
    121,
    123,
    125,
    127,
    130,
    141,
    146,
    149,
    164,
    168,
    180,
    182,
    184,
    206,
    218,
    223,
    224,
    226,
    240,
    246,
    248,
    250,
    261,
    262,
    263,
    264,
    269,
    270,
    281,
    282,
    288,
    292,
    298,
    324,
    357,
    406,
    415,
    491,
    507,
    513,
    545,
    555,
    560,
    593
   ],
   "witness_provenance": {
    "found_by": [
     "@vprusso"
    ],
    "date": "2026-09-26",
    "found_at_samples": 300000000,
    "survived_samples": 300000000,
    "tool": "verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified)",
    "seeds": [
     4101
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@vprusso"
  ],
  "construction": "Cyclic generalized-bicycle code on the ring x^301 - 1 with a(x) = x^114 + x^174 + x^253 + x^275, b(x) = x^17 + x^82 + x^108 + x^162; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].",
  "origin": "submission",
  "novelty": "known_parameters",
  "model": "Claude Opus 5",
  "date": "2026-09-20",
  "notes": "Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed."
 },
 "family": "generalized-bicycle"
}