{
 "schema_version": "0.1",
 "name": "[[510,12,72]]",
 "code_type": "CSS",
 "n": 510,
 "k": 12,
 "checks": {
  "X": [
   [
    38,
    51,
    67,
    75,
    95,
    124,
    165,
    178,
    248,
    284,
    352,
    411,
    415,
    448
   ],
   [
    39,
    52,
    68,
    76,
    96,
    125,
    166,
    179,
    249,
    285,
    353,
    412,
    416,
    449
   ],
   [
    40,
    53,
    69,
    77,
    97,
    126,
    167,
    180,
    250,
    286,
    354,
    413,
    417,
    450
   ],
   [
    41,
    54,
    70,
    78,
    98,
    127,
    168,
    181,
    251,
    287,
    355,
    414,
    418,
    451
   ],
   [
    42,
    55,
    71,
    79,
    99,
    128,
    169,
    182,
    252,
    288,
    356,
    415,
    419,
    452
   ],
   [
    43,
    56,
    72,
    80,
    100,
    129,
    170,
    183,
    253,
    289,
    357,
    416,
    420,
    453
   ],
   [
    44,
    57,
    73,
    81,
    101,
    130,
    171,
    184,
    254,
    290,
    358,
    417,
    421,
    454
   ],
   [
    0,
    45,
    58,
    74,
    82,
    102,
    131,
    172,
    185,
    291,
    359,
    418,
    422,
    455
   ],
   [
    1,
    46,
    59,
    75,
    83,
    103,
    132,
    173,
    186,
    292,
    360,
    419,
    423,
    456
   ],
   [
    2,
    47,
    60,
    76,
    84,
    104,
    133,
    174,
    187,
    293,
    361,
    420,
    424,
    457
   ],
   [
    3,
    48,
    61,
    77,
    85,
    105,
    134,
    175,
    188,
    294,
    362,
    421,
    425,
    458
   ],
   [
    4,
    49,
    62,
    78,
    86,
    106,
    135,
    176,
    189,
    295,
    363,
    422,
    426,
    459
   ],
   [
    5,
    50,
    63,
    79,
    87,
    107,
    136,
    177,
    190,
    296,
    364,
    423,
    427,
    460
   ],
   [
    6,
    51,
    64,
    80,
    88,
    108,
    137,
    178,
    191,
    297,
    365,
    424,
    428,
    461
   ],
   [
    7,
    52,
    65,
    81,
    89,
    109,
    138,
    179,
    192,
    298,
    366,
    425,
    429,
    462
   ],
   [
    8,
    53,
    66,
    82,
    90,
    110,
    139,
    180,
    193,
    299,
    367,
    426,
    430,
    463
   ],
   [
    9,
    54,
    67,
    83,
    91,
    111,
    140,
    181,
    194,
    300,
    368,
    427,
    431,
    464
   ],
   [
    10,
    55,
    68,
    84,
    92,
    112,
    141,
    182,
    195,
    301,
    369,
    428,
    432,
    465
   ],
   [
    11,
    56,
    69,
    85,
    93,
    113,
    142,
    183,
    196,
    302,
    370,
    429,
    433,
    466
   ],
   [
    12,
    57,
    70,
    86,
    94,
    114,
    143,
    184,
    197,
    303,
    371,
    430,
    434,
    467
   ],
   [
    13,
    58,
    71,
    87,
    95,
    115,
    144,
    185,
    198,
    304,
    372,
    431,
    435,
    468
   ],
   [
    14,
    59,
    72,
    88,
    96,
    116,
    145,
    186,
    199,
    305,
    373,
    432,
    436,
    469
   ],
   [
    15,
    60,
    73,
    89,
    97,
    117,
    146,
    187,
    200,
    306,
    374,
    433,
    437,
    470
   ],
   [
    16,
    61,
    74,
    90,
    98,
    118,
    147,
    188,
    201,
    307,
    375,
    434,
    438,
    471
   ],
   [
    17,
    62,
    75,
    91,
    99,
    119,
    148,
    189,
    202,
    308,
    376,
    435,
    439,
    472
   ],
   [
    18,
    63,
    76,
    92,
    100,
    120,
    149,
    190,
    203,
    309,
    377,
    436,
    440,
    473
   ],
   [
    19,
    64,
    77,
    93,
    101,
    121,
    150,
    191,
    204,
    310,
    378,
    437,
    441,
    474
   ],
   [
    20,
    65,
    78,
    94,
    102,
    122,
    151,
    192,
    205,
    311,
    379,
    438,
    442,
    475
   ],
   [
    21,
    66,
    79,
    95,
    103,
    123,
    152,
    193,
    206,
    312,
    380,
    439,
    443,
    476
   ],
   [
    22,
    67,
    80,
    96,
    104,
    124,
    153,
    194,
    207,
    313,
    381,
    440,
    444,
    477
   ],
   [
    23,
    68,
    81,
    97,
    105,
    125,
    154,
    195,
    208,
    314,
    382,
    441,
    445,
    478
   ],
   [
    24,
    69,
    82,
    98,
    106,
    126,
    155,
    196,
    209,
    315,
    383,
    442,
    446,
    479
   ],
   [
    25,
    70,
    83,
    99,
    107,
    127,
    156,
    197,
    210,
    316,
    384,
    443,
    447,
    480
   ],
   [
    26,
    71,
    84,
    100,
    108,
    128,
    157,
    198,
    211,
    317,
    385,
    444,
    448,
    481
   ],
   [
    27,
    72,
    85,
    101,
    109,
    129,
    158,
    199,
    212,
    318,
    386,
    445,
    449,
    482
   ],
   [
    28,
    73,
    86,
    102,
    110,
    130,
    159,
    200,
    213,
    319,
    387,
    446,
    450,
    483
   ],
   [
    29,
    74,
    87,
    103,
    111,
    131,
    160,
    201,
    214,
    320,
    388,
    447,
    451,
    484
   ],
   [
    30,
    75,
    88,
    104,
    112,
    132,
    161,
    202,
    215,
    321,
    389,
    448,
    452,
    485
   ],
   [
    31,
    76,
    89,
    105,
    113,
    133,
    162,
    203,
    216,
    322,
    390,
    449,
    453,
    486
   ],
   [
    32,
    77,
    90,
    106,
    114,
    134,
    163,
    204,
    217,
    323,
    391,
    450,
    454,
    487
   ],
   [
    33,
    78,
    91,
    107,
    115,
    135,
    164,
    205,
    218,
    324,
    392,
    451,
    455,
    488
   ],
   [
    34,
    79,
    92,
    108,
    116,
    136,
    165,
    206,
    219,
    325,
    393,
    452,
    456,
    489
   ],
   [
    35,
    80,
    93,
    109,
    117,
    137,
    166,
    207,
    220,
    326,
    394,
    453,
    457,
    490
   ],
   [
    36,
    81,
    94,
    110,
    118,
    138,
    167,
    208,
    221,
    327,
    395,
    454,
    458,
    491
   ],
   [
    37,
    82,
    95,
    111,
    119,
    139,
    168,
    209,
    222,
    328,
    396,
    455,
    459,
    492
   ],
   [
    38,
    83,
    96,
    112,
    120,
    140,
    169,
    210,
    223,
    329,
    397,
    456,
    460,
    493
   ],
   [
    39,
    84,
    97,
    113,
    121,
    141,
    170,
    211,
    224,
    330,
    398,
    457,
    461,
    494
   ],
   [
    40,
    85,
    98,
    114,
    122,
    142,
    171,
    212,
    225,
    331,
    399,
    458,
    462,
    495
   ],
   [
    41,
    86,
    99,
    115,
    123,
    143,
    172,
    213,
    226,
    332,
    400,
    459,
    463,
    496
   ],
   [
    42,
    87,
    100,
    116,
    124,
    144,
    173,
    214,
    227,
    333,
    401,
    460,
    464,
    497
   ],
   [
    43,
    88,
    101,
    117,
    125,
    145,
    174,
    215,
    228,
    334,
    402,
    461,
    465,
    498
   ],
   [
    44,
    89,
    102,
    118,
    126,
    146,
    175,
    216,
    229,
    335,
    403,
    462,
    466,
    499
   ],
   [
    45,
    90,
    103,
    119,
    127,
    147,
    176,
    217,
    230,
    336,
    404,
    463,
    467,
    500
   ],
   [
    46,
    91,
    104,
    120,
    128,
    148,
    177,
    218,
    231,
    337,
    405,
    464,
    468,
    501
   ],
   [
    47,
    92,
    105,
    121,
    129,
    149,
    178,
    219,
    232,
    338,
    406,
    465,
    469,
    502
   ],
   [
    48,
    93,
    106,
    122,
    130,
    150,
    179,
    220,
    233,
    339,
    407,
    466,
    470,
    503
   ],
   [
    49,
    94,
    107,
    123,
    131,
    151,
    180,
    221,
    234,
    340,
    408,
    467,
    471,
    504
   ],
   [
    50,
    95,
    108,
    124,
    132,
    152,
    181,
    222,
    235,
    341,
    409,
    468,
    472,
    505
   ],
   [
    51,
    96,
    109,
    125,
    133,
    153,
    182,
    223,
    236,
    342,
    410,
    469,
    473,
    506
   ],
   [
    52,
    97,
    110,
    126,
    134,
    154,
    183,
    224,
    237,
    343,
    411,
    470,
    474,
    507
   ],
   [
    53,
    98,
    111,
    127,
    135,
    155,
    184,
    225,
    238,
    344,
    412,
    471,
    475,
    508
   ],
   [
    54,
    99,
    112,
    128,
    136,
    156,
    185,
    226,
    239,
    345,
    413,
    472,
    476,
    509
   ],
   [
    55,
    100,
    113,
    129,
    137,
    157,
    186,
    227,
    240,
    255,
    346,
    414,
    473,
    477
   ],
   [
    56,
    101,
    114,
    130,
    138,
    158,
    187,
    228,
    241,
    256,
    347,
    415,
    474,
    478
   ],
   [
    57,
    102,
    115,
    131,
    139,
    159,
    188,
    229,
    242,
    257,
    348,
    416,
    475,
    479
   ],
   [
    58,
    103,
    116,
    132,
    140,
    160,
    189,
    230,
    243,
    258,
    349,
    417,
    476,
    480
   ],
   [
    59,
    104,
    117,
    133,
    141,
    161,
    190,
    231,
    244,
    259,
    350,
    418,
    477,
    481
   ],
   [
    60,
    105,
    118,
    134,
    142,
    162,
    191,
    232,
    245,
    260,
    351,
    419,
    478,
    482
   ],
   [
    61,
    106,
    119,
    135,
    143,
    163,
    192,
    233,
    246,
    261,
    352,
    420,
    479,
    483
   ],
   [
    62,
    107,
    120,
    136,
    144,
    164,
    193,
    234,
    247,
    262,
    353,
    421,
    480,
    484
   ],
   [
    63,
    108,
    121,
    137,
    145,
    165,
    194,
    235,
    248,
    263,
    354,
    422,
    481,
    485
   ],
   [
    64,
    109,
    122,
    138,
    146,
    166,
    195,
    236,
    249,
    264,
    355,
    423,
    482,
    486
   ],
   [
    65,
    110,
    123,
    139,
    147,
    167,
    196,
    237,
    250,
    265,
    356,
    424,
    483,
    487
   ],
   [
    66,
    111,
    124,
    140,
    148,
    168,
    197,
    238,
    251,
    266,
    357,
    425,
    484,
    488
   ],
   [
    67,
    112,
    125,
    141,
    149,
    169,
    198,
    239,
    252,
    267,
    358,
    426,
    485,
    489
   ],
   [
    68,
    113,
    126,
    142,
    150,
    170,
    199,
    240,
    253,
    268,
    359,
    427,
    486,
    490
   ],
   [
    69,
    114,
    127,
    143,
    151,
    171,
    200,
    241,
    254,
    269,
    360,
    428,
    487,
    491
   ],
   [
    0,
    70,
    115,
    128,
    144,
    152,
    172,
    201,
    242,
    270,
    361,
    429,
    488,
    492
   ],
   [
    1,
    71,
    116,
    129,
    145,
    153,
    173,
    202,
    243,
    271,
    362,
    430,
    489,
    493
   ],
   [
    2,
    72,
    117,
    130,
    146,
    154,
    174,
    203,
    244,
    272,
    363,
    431,
    490,
    494
   ],
   [
    3,
    73,
    118,
    131,
    147,
    155,
    175,
    204,
    245,
    273,
    364,
    432,
    491,
    495
   ],
   [
    4,
    74,
    119,
    132,
    148,
    156,
    176,
    205,
    246,
    274,
    365,
    433,
    492,
    496
   ],
   [
    5,
    75,
    120,
    133,
    149,
    157,
    177,
    206,
    247,
    275,
    366,
    434,
    493,
    497
   ],
   [
    6,
    76,
    121,
    134,
    150,
    158,
    178,
    207,
    248,
    276,
    367,
    435,
    494,
    498
   ],
   [
    7,
    77,
    122,
    135,
    151,
    159,
    179,
    208,
    249,
    277,
    368,
    436,
    495,
    499
   ],
   [
    8,
    78,
    123,
    136,
    152,
    160,
    180,
    209,
    250,
    278,
    369,
    437,
    496,
    500
   ],
   [
    9,
    79,
    124,
    137,
    153,
    161,
    181,
    210,
    251,
    279,
    370,
    438,
    497,
    501
   ],
   [
    10,
    80,
    125,
    138,
    154,
    162,
    182,
    211,
    252,
    280,
    371,
    439,
    498,
    502
   ],
   [
    11,
    81,
    126,
    139,
    155,
    163,
    183,
    212,
    253,
    281,
    372,
    440,
    499,
    503
   ],
   [
    12,
    82,
    127,
    140,
    156,
    164,
    184,
    213,
    254,
    282,
    373,
    441,
    500,
    504
   ],
   [
    0,
    13,
    83,
    128,
    141,
    157,
    165,
    185,
    214,
    283,
    374,
    442,
    501,
    505
   ],
   [
    1,
    14,
    84,
    129,
    142,
    158,
    166,
    186,
    215,
    284,
    375,
    443,
    502,
    506
   ],
   [
    2,
    15,
    85,
    130,
    143,
    159,
    167,
    187,
    216,
    285,
    376,
    444,
    503,
    507
   ],
   [
    3,
    16,
    86,
    131,
    144,
    160,
    168,
    188,
    217,
    286,
    377,
    445,
    504,
    508
   ],
   [
    4,
    17,
    87,
    132,
    145,
    161,
    169,
    189,
    218,
    287,
    378,
    446,
    505,
    509
   ],
   [
    5,
    18,
    88,
    133,
    146,
    162,
    170,
    190,
    219,
    255,
    288,
    379,
    447,
    506
   ],
   [
    6,
    19,
    89,
    134,
    147,
    163,
    171,
    191,
    220,
    256,
    289,
    380,
    448,
    507
   ],
   [
    7,
    20,
    90,
    135,
    148,
    164,
    172,
    192,
    221,
    257,
    290,
    381,
    449,
    508
   ],
   [
    8,
    21,
    91,
    136,
    149,
    165,
    173,
    193,
    222,
    258,
    291,
    382,
    450,
    509
   ],
   [
    9,
    22,
    92,
    137,
    150,
    166,
    174,
    194,
    223,
    255,
    259,
    292,
    383,
    451
   ],
   [
    10,
    23,
    93,
    138,
    151,
    167,
    175,
    195,
    224,
    256,
    260,
    293,
    384,
    452
   ],
   [
    11,
    24,
    94,
    139,
    152,
    168,
    176,
    196,
    225,
    257,
    261,
    294,
    385,
    453
   ],
   [
    12,
    25,
    95,
    140,
    153,
    169,
    177,
    197,
    226,
    258,
    262,
    295,
    386,
    454
   ],
   [
    13,
    26,
    96,
    141,
    154,
    170,
    178,
    198,
    227,
    259,
    263,
    296,
    387,
    455
   ],
   [
    14,
    27,
    97,
    142,
    155,
    171,
    179,
    199,
    228,
    260,
    264,
    297,
    388,
    456
   ],
   [
    15,
    28,
    98,
    143,
    156,
    172,
    180,
    200,
    229,
    261,
    265,
    298,
    389,
    457
   ],
   [
    16,
    29,
    99,
    144,
    157,
    173,
    181,
    201,
    230,
    262,
    266,
    299,
    390,
    458
   ],
   [
    17,
    30,
    100,
    145,
    158,
    174,
    182,
    202,
    231,
    263,
    267,
    300,
    391,
    459
   ],
   [
    18,
    31,
    101,
    146,
    159,
    175,
    183,
    203,
    232,
    264,
    268,
    301,
    392,
    460
   ],
   [
    19,
    32,
    102,
    147,
    160,
    176,
    184,
    204,
    233,
    265,
    269,
    302,
    393,
    461
   ],
   [
    20,
    33,
    103,
    148,
    161,
    177,
    185,
    205,
    234,
    266,
    270,
    303,
    394,
    462
   ],
   [
    21,
    34,
    104,
    149,
    162,
    178,
    186,
    206,
    235,
    267,
    271,
    304,
    395,
    463
   ],
   [
    22,
    35,
    105,
    150,
    163,
    179,
    187,
    207,
    236,
    268,
    272,
    305,
    396,
    464
   ],
   [
    23,
    36,
    106,
    151,
    164,
    180,
    188,
    208,
    237,
    269,
    273,
    306,
    397,
    465
   ],
   [
    24,
    37,
    107,
    152,
    165,
    181,
    189,
    209,
    238,
    270,
    274,
    307,
    398,
    466
   ],
   [
    25,
    38,
    108,
    153,
    166,
    182,
    190,
    210,
    239,
    271,
    275,
    308,
    399,
    467
   ],
   [
    26,
    39,
    109,
    154,
    167,
    183,
    191,
    211,
    240,
    272,
    276,
    309,
    400,
    468
   ],
   [
    27,
    40,
    110,
    155,
    168,
    184,
    192,
    212,
    241,
    273,
    277,
    310,
    401,
    469
   ],
   [
    28,
    41,
    111,
    156,
    169,
    185,
    193,
    213,
    242,
    274,
    278,
    311,
    402,
    470
   ],
   [
    29,
    42,
    112,
    157,
    170,
    186,
    194,
    214,
    243,
    275,
    279,
    312,
    403,
    471
   ],
   [
    30,
    43,
    113,
    158,
    171,
    187,
    195,
    215,
    244,
    276,
    280,
    313,
    404,
    472
   ],
   [
    31,
    44,
    114,
    159,
    172,
    188,
    196,
    216,
    245,
    277,
    281,
    314,
    405,
    473
   ],
   [
    32,
    45,
    115,
    160,
    173,
    189,
    197,
    217,
    246,
    278,
    282,
    315,
    406,
    474
   ],
   [
    33,
    46,
    116,
    161,
    174,
    190,
    198,
    218,
    247,
    279,
    283,
    316,
    407,
    475
   ],
   [
    34,
    47,
    117,
    162,
    175,
    191,
    199,
    219,
    248,
    280,
    284,
    317,
    408,
    476
   ],
   [
    35,
    48,
    118,
    163,
    176,
    192,
    200,
    220,
    249,
    281,
    285,
    318,
    409,
    477
   ],
   [
    36,
    49,
    119,
    164,
    177,
    193,
    201,
    221,
    250,
    282,
    286,
    319,
    410,
    478
   ],
   [
    37,
    50,
    120,
    165,
    178,
    194,
    202,
    222,
    251,
    283,
    287,
    320,
    411,
    479
   ],
   [
    38,
    51,
    121,
    166,
    179,
    195,
    203,
    223,
    252,
    284,
    288,
    321,
    412,
    480
   ],
   [
    39,
    52,
    122,
    167,
    180,
    196,
    204,
    224,
    253,
    285,
    289,
    322,
    413,
    481
   ],
   [
    40,
    53,
    123,
    168,
    181,
    197,
    205,
    225,
    254,
    286,
    290,
    323,
    414,
    482
   ],
   [
    0,
    41,
    54,
    124,
    169,
    182,
    198,
    206,
    226,
    287,
    291,
    324,
    415,
    483
   ],
   [
    1,
    42,
    55,
    125,
    170,
    183,
    199,
    207,
    227,
    288,
    292,
    325,
    416,
    484
   ],
   [
    2,
    43,
    56,
    126,
    171,
    184,
    200,
    208,
    228,
    289,
    293,
    326,
    417,
    485
   ],
   [
    3,
    44,
    57,
    127,
    172,
    185,
    201,
    209,
    229,
    290,
    294,
    327,
    418,
    486
   ],
   [
    4,
    45,
    58,
    128,
    173,
    186,
    202,
    210,
    230,
    291,
    295,
    328,
    419,
    487
   ],
   [
    5,
    46,
    59,
    129,
    174,
    187,
    203,
    211,
    231,
    292,
    296,
    329,
    420,
    488
   ],
   [
    6,
    47,
    60,
    130,
    175,
    188,
    204,
    212,
    232,
    293,
    297,
    330,
    421,
    489
   ],
   [
    7,
    48,
    61,
    131,
    176,
    189,
    205,
    213,
    233,
    294,
    298,
    331,
    422,
    490
   ],
   [
    8,
    49,
    62,
    132,
    177,
    190,
    206,
    214,
    234,
    295,
    299,
    332,
    423,
    491
   ],
   [
    9,
    50,
    63,
    133,
    178,
    191,
    207,
    215,
    235,
    296,
    300,
    333,
    424,
    492
   ],
   [
    10,
    51,
    64,
    134,
    179,
    192,
    208,
    216,
    236,
    297,
    301,
    334,
    425,
    493
   ],
   [
    11,
    52,
    65,
    135,
    180,
    193,
    209,
    217,
    237,
    298,
    302,
    335,
    426,
    494
   ],
   [
    12,
    53,
    66,
    136,
    181,
    194,
    210,
    218,
    238,
    299,
    303,
    336,
    427,
    495
   ],
   [
    13,
    54,
    67,
    137,
    182,
    195,
    211,
    219,
    239,
    300,
    304,
    337,
    428,
    496
   ],
   [
    14,
    55,
    68,
    138,
    183,
    196,
    212,
    220,
    240,
    301,
    305,
    338,
    429,
    497
   ],
   [
    15,
    56,
    69,
    139,
    184,
    197,
    213,
    221,
    241,
    302,
    306,
    339,
    430,
    498
   ],
   [
    16,
    57,
    70,
    140,
    185,
    198,
    214,
    222,
    242,
    303,
    307,
    340,
    431,
    499
   ],
   [
    17,
    58,
    71,
    141,
    186,
    199,
    215,
    223,
    243,
    304,
    308,
    341,
    432,
    500
   ],
   [
    18,
    59,
    72,
    142,
    187,
    200,
    216,
    224,
    244,
    305,
    309,
    342,
    433,
    501
   ],
   [
    19,
    60,
    73,
    143,
    188,
    201,
    217,
    225,
    245,
    306,
    310,
    343,
    434,
    502
   ],
   [
    20,
    61,
    74,
    144,
    189,
    202,
    218,
    226,
    246,
    307,
    311,
    344,
    435,
    503
   ],
   [
    21,
    62,
    75,
    145,
    190,
    203,
    219,
    227,
    247,
    308,
    312,
    345,
    436,
    504
   ],
   [
    22,
    63,
    76,
    146,
    191,
    204,
    220,
    228,
    248,
    309,
    313,
    346,
    437,
    505
   ],
   [
    23,
    64,
    77,
    147,
    192,
    205,
    221,
    229,
    249,
    310,
    314,
    347,
    438,
    506
   ],
   [
    24,
    65,
    78,
    148,
    193,
    206,
    222,
    230,
    250,
    311,
    315,
    348,
    439,
    507
   ],
   [
    25,
    66,
    79,
    149,
    194,
    207,
    223,
    231,
    251,
    312,
    316,
    349,
    440,
    508
   ],
   [
    26,
    67,
    80,
    150,
    195,
    208,
    224,
    232,
    252,
    313,
    317,
    350,
    441,
    509
   ],
   [
    27,
    68,
    81,
    151,
    196,
    209,
    225,
    233,
    253,
    255,
    314,
    318,
    351,
    442
   ],
   [
    28,
    69,
    82,
    152,
    197,
    210,
    226,
    234,
    254,
    256,
    315,
    319,
    352,
    443
   ],
   [
    0,
    29,
    70,
    83,
    153,
    198,
    211,
    227,
    235,
    257,
    316,
    320,
    353,
    444
   ],
   [
    1,
    30,
    71,
    84,
    154,
    199,
    212,
    228,
    236,
    258,
    317,
    321,
    354,
    445
   ],
   [
    2,
    31,
    72,
    85,
    155,
    200,
    213,
    229,
    237,
    259,
    318,
    322,
    355,
    446
   ],
   [
    3,
    32,
    73,
    86,
    156,
    201,
    214,
    230,
    238,
    260,
    319,
    323,
    356,
    447
   ],
   [
    4,
    33,
    74,
    87,
    157,
    202,
    215,
    231,
    239,
    261,
    320,
    324,
    357,
    448
   ],
   [
    5,
    34,
    75,
    88,
    158,
    203,
    216,
    232,
    240,
    262,
    321,
    325,
    358,
    449
   ],
   [
    6,
    35,
    76,
    89,
    159,
    204,
    217,
    233,
    241,
    263,
    322,
    326,
    359,
    450
   ],
   [
    7,
    36,
    77,
    90,
    160,
    205,
    218,
    234,
    242,
    264,
    323,
    327,
    360,
    451
   ],
   [
    8,
    37,
    78,
    91,
    161,
    206,
    219,
    235,
    243,
    265,
    324,
    328,
    361,
    452
   ],
   [
    9,
    38,
    79,
    92,
    162,
    207,
    220,
    236,
    244,
    266,
    325,
    329,
    362,
    453
   ],
   [
    10,
    39,
    80,
    93,
    163,
    208,
    221,
    237,
    245,
    267,
    326,
    330,
    363,
    454
   ],
   [
    11,
    40,
    81,
    94,
    164,
    209,
    222,
    238,
    246,
    268,
    327,
    331,
    364,
    455
   ],
   [
    12,
    41,
    82,
    95,
    165,
    210,
    223,
    239,
    247,
    269,
    328,
    332,
    365,
    456
   ],
   [
    13,
    42,
    83,
    96,
    166,
    211,
    224,
    240,
    248,
    270,
    329,
    333,
    366,
    457
   ],
   [
    14,
    43,
    84,
    97,
    167,
    212,
    225,
    241,
    249,
    271,
    330,
    334,
    367,
    458
   ],
   [
    15,
    44,
    85,
    98,
    168,
    213,
    226,
    242,
    250,
    272,
    331,
    335,
    368,
    459
   ],
   [
    16,
    45,
    86,
    99,
    169,
    214,
    227,
    243,
    251,
    273,
    332,
    336,
    369,
    460
   ],
   [
    17,
    46,
    87,
    100,
    170,
    215,
    228,
    244,
    252,
    274,
    333,
    337,
    370,
    461
   ],
   [
    18,
    47,
    88,
    101,
    171,
    216,
    229,
    245,
    253,
    275,
    334,
    338,
    371,
    462
   ],
   [
    19,
    48,
    89,
    102,
    172,
    217,
    230,
    246,
    254,
    276,
    335,
    339,
    372,
    463
   ],
   [
    0,
    20,
    49,
    90,
    103,
    173,
    218,
    231,
    247,
    277,
    336,
    340,
    373,
    464
   ],
   [
    1,
    21,
    50,
    91,
    104,
    174,
    219,
    232,
    248,
    278,
    337,
    341,
    374,
    465
   ],
   [
    2,
    22,
    51,
    92,
    105,
    175,
    220,
    233,
    249,
    279,
    338,
    342,
    375,
    466
   ],
   [
    3,
    23,
    52,
    93,
    106,
    176,
    221,
    234,
    250,
    280,
    339,
    343,
    376,
    467
   ],
   [
    4,
    24,
    53,
    94,
    107,
    177,
    222,
    235,
    251,
    281,
    340,
    344,
    377,
    468
   ],
   [
    5,
    25,
    54,
    95,
    108,
    178,
    223,
    236,
    252,
    282,
    341,
    345,
    378,
    469
   ],
   [
    6,
    26,
    55,
    96,
    109,
    179,
    224,
    237,
    253,
    283,
    342,
    346,
    379,
    470
   ],
   [
    7,
    27,
    56,
    97,
    110,
    180,
    225,
    238,
    254,
    284,
    343,
    347,
    380,
    471
   ],
   [
    0,
    8,
    28,
    57,
    98,
    111,
    181,
    226,
    239,
    285,
    344,
    348,
    381,
    472
   ],
   [
    1,
    9,
    29,
    58,
    99,
    112,
    182,
    227,
    240,
    286,
    345,
    349,
    382,
    473
   ],
   [
    2,
    10,
    30,
    59,
    100,
    113,
    183,
    228,
    241,
    287,
    346,
    350,
    383,
    474
   ],
   [
    3,
    11,
    31,
    60,
    101,
    114,
    184,
    229,
    242,
    288,
    347,
    351,
    384,
    475
   ],
   [
    4,
    12,
    32,
    61,
    102,
    115,
    185,
    230,
    243,
    289,
    348,
    352,
    385,
    476
   ],
   [
    5,
    13,
    33,
    62,
    103,
    116,
    186,
    231,
    244,
    290,
    349,
    353,
    386,
    477
   ],
   [
    6,
    14,
    34,
    63,
    104,
    117,
    187,
    232,
    245,
    291,
    350,
    354,
    387,
    478
   ],
   [
    7,
    15,
    35,
    64,
    105,
    118,
    188,
    233,
    246,
    292,
    351,
    355,
    388,
    479
   ],
   [
    8,
    16,
    36,
    65,
    106,
    119,
    189,
    234,
    247,
    293,
    352,
    356,
    389,
    480
   ],
   [
    9,
    17,
    37,
    66,
    107,
    120,
    190,
    235,
    248,
    294,
    353,
    357,
    390,
    481
   ],
   [
    10,
    18,
    38,
    67,
    108,
    121,
    191,
    236,
    249,
    295,
    354,
    358,
    391,
    482
   ],
   [
    11,
    19,
    39,
    68,
    109,
    122,
    192,
    237,
    250,
    296,
    355,
    359,
    392,
    483
   ],
   [
    12,
    20,
    40,
    69,
    110,
    123,
    193,
    238,
    251,
    297,
    356,
    360,
    393,
    484
   ],
   [
    13,
    21,
    41,
    70,
    111,
    124,
    194,
    239,
    252,
    298,
    357,
    361,
    394,
    485
   ],
   [
    14,
    22,
    42,
    71,
    112,
    125,
    195,
    240,
    253,
    299,
    358,
    362,
    395,
    486
   ],
   [
    15,
    23,
    43,
    72,
    113,
    126,
    196,
    241,
    254,
    300,
    359,
    363,
    396,
    487
   ],
   [
    0,
    16,
    24,
    44,
    73,
    114,
    127,
    197,
    242,
    301,
    360,
    364,
    397,
    488
   ],
   [
    1,
    17,
    25,
    45,
    74,
    115,
    128,
    198,
    243,
    302,
    361,
    365,
    398,
    489
   ],
   [
    2,
    18,
    26,
    46,
    75,
    116,
    129,
    199,
    244,
    303,
    362,
    366,
    399,
    490
   ],
   [
    3,
    19,
    27,
    47,
    76,
    117,
    130,
    200,
    245,
    304,
    363,
    367,
    400,
    491
   ],
   [
    4,
    20,
    28,
    48,
    77,
    118,
    131,
    201,
    246,
    305,
    364,
    368,
    401,
    492
   ],
   [
    5,
    21,
    29,
    49,
    78,
    119,
    132,
    202,
    247,
    306,
    365,
    369,
    402,
    493
   ],
   [
    6,
    22,
    30,
    50,
    79,
    120,
    133,
    203,
    248,
    307,
    366,
    370,
    403,
    494
   ],
   [
    7,
    23,
    31,
    51,
    80,
    121,
    134,
    204,
    249,
    308,
    367,
    371,
    404,
    495
   ],
   [
    8,
    24,
    32,
    52,
    81,
    122,
    135,
    205,
    250,
    309,
    368,
    372,
    405,
    496
   ],
   [
    9,
    25,
    33,
    53,
    82,
    123,
    136,
    206,
    251,
    310,
    369,
    373,
    406,
    497
   ],
   [
    10,
    26,
    34,
    54,
    83,
    124,
    137,
    207,
    252,
    311,
    370,
    374,
    407,
    498
   ],
   [
    11,
    27,
    35,
    55,
    84,
    125,
    138,
    208,
    253,
    312,
    371,
    375,
    408,
    499
   ],
   [
    12,
    28,
    36,
    56,
    85,
    126,
    139,
    209,
    254,
    313,
    372,
    376,
    409,
    500
   ],
   [
    0,
    13,
    29,
    37,
    57,
    86,
    127,
    140,
    210,
    314,
    373,
    377,
    410,
    501
   ],
   [
    1,
    14,
    30,
    38,
    58,
    87,
    128,
    141,
    211,
    315,
    374,
    378,
    411,
    502
   ],
   [
    2,
    15,
    31,
    39,
    59,
    88,
    129,
    142,
    212,
    316,
    375,
    379,
    412,
    503
   ],
   [
    3,
    16,
    32,
    40,
    60,
    89,
    130,
    143,
    213,
    317,
    376,
    380,
    413,
    504
   ],
   [
    4,
    17,
    33,
    41,
    61,
    90,
    131,
    144,
    214,
    318,
    377,
    381,
    414,
    505
   ],
   [
    5,
    18,
    34,
    42,
    62,
    91,
    132,
    145,
    215,
    319,
    378,
    382,
    415,
    506
   ],
   [
    6,
    19,
    35,
    43,
    63,
    92,
    133,
    146,
    216,
    320,
    379,
    383,
    416,
    507
   ],
   [
    7,
    20,
    36,
    44,
    64,
    93,
    134,
    147,
    217,
    321,
    380,
    384,
    417,
    508
   ],
   [
    8,
    21,
    37,
    45,
    65,
    94,
    135,
    148,
    218,
    322,
    381,
    385,
    418,
    509
   ],
   [
    9,
    22,
    38,
    46,
    66,
    95,
    136,
    149,
    219,
    255,
    323,
    382,
    386,
    419
   ],
   [
    10,
    23,
    39,
    47,
    67,
    96,
    137,
    150,
    220,
    256,
    324,
    383,
    387,
    420
   ],
   [
    11,
    24,
    40,
    48,
    68,
    97,
    138,
    151,
    221,
    257,
    325,
    384,
    388,
    421
   ],
   [
    12,
    25,
    41,
    49,
    69,
    98,
    139,
    152,
    222,
    258,
    326,
    385,
    389,
    422
   ],
   [
    13,
    26,
    42,
    50,
    70,
    99,
    140,
    153,
    223,
    259,
    327,
    386,
    390,
    423
   ],
   [
    14,
    27,
    43,
    51,
    71,
    100,
    141,
    154,
    224,
    260,
    328,
    387,
    391,
    424
   ],
   [
    15,
    28,
    44,
    52,
    72,
    101,
    142,
    155,
    225,
    261,
    329,
    388,
    392,
    425
   ],
   [
    16,
    29,
    45,
    53,
    73,
    102,
    143,
    156,
    226,
    262,
    330,
    389,
    393,
    426
   ],
   [
    17,
    30,
    46,
    54,
    74,
    103,
    144,
    157,
    227,
    263,
    331,
    390,
    394,
    427
   ],
   [
    18,
    31,
    47,
    55,
    75,
    104,
    145,
    158,
    228,
    264,
    332,
    391,
    395,
    428
   ],
   [
    19,
    32,
    48,
    56,
    76,
    105,
    146,
    159,
    229,
    265,
    333,
    392,
    396,
    429
   ],
   [
    20,
    33,
    49,
    57,
    77,
    106,
    147,
    160,
    230,
    266,
    334,
    393,
    397,
    430
   ],
   [
    21,
    34,
    50,
    58,
    78,
    107,
    148,
    161,
    231,
    267,
    335,
    394,
    398,
    431
   ],
   [
    22,
    35,
    51,
    59,
    79,
    108,
    149,
    162,
    232,
    268,
    336,
    395,
    399,
    432
   ],
   [
    23,
    36,
    52,
    60,
    80,
    109,
    150,
    163,
    233,
    269,
    337,
    396,
    400,
    433
   ],
   [
    24,
    37,
    53,
    61,
    81,
    110,
    151,
    164,
    234,
    270,
    338,
    397,
    401,
    434
   ],
   [
    25,
    38,
    54,
    62,
    82,
    111,
    152,
    165,
    235,
    271,
    339,
    398,
    402,
    435
   ],
   [
    26,
    39,
    55,
    63,
    83,
    112,
    153,
    166,
    236,
    272,
    340,
    399,
    403,
    436
   ],
   [
    27,
    40,
    56,
    64,
    84,
    113,
    154,
    167,
    237,
    273,
    341,
    400,
    404,
    437
   ],
   [
    28,
    41,
    57,
    65,
    85,
    114,
    155,
    168,
    238,
    274,
    342,
    401,
    405,
    438
   ],
   [
    29,
    42,
    58,
    66,
    86,
    115,
    156,
    169,
    239,
    275,
    343,
    402,
    406,
    439
   ],
   [
    30,
    43,
    59,
    67,
    87,
    116,
    157,
    170,
    240,
    276,
    344,
    403,
    407,
    440
   ],
   [
    31,
    44,
    60,
    68,
    88,
    117,
    158,
    171,
    241,
    277,
    345,
    404,
    408,
    441
   ],
   [
    32,
    45,
    61,
    69,
    89,
    118,
    159,
    172,
    242,
    278,
    346,
    405,
    409,
    442
   ],
   [
    33,
    46,
    62,
    70,
    90,
    119,
    160,
    173,
    243,
    279,
    347,
    406,
    410,
    443
   ],
   [
    34,
    47,
    63,
    71,
    91,
    120,
    161,
    174,
    244,
    280,
    348,
    407,
    411,
    444
   ],
   [
    35,
    48,
    64,
    72,
    92,
    121,
    162,
    175,
    245,
    281,
    349,
    408,
    412,
    445
   ],
   [
    36,
    49,
    65,
    73,
    93,
    122,
    163,
    176,
    246,
    282,
    350,
    409,
    413,
    446
   ],
   [
    37,
    50,
    66,
    74,
    94,
    123,
    164,
    177,
    247,
    283,
    351,
    410,
    414,
    447
   ]
  ],
  "Z": [
   [
    62,
    95,
    99,
    158,
    226,
    262,
    332,
    345,
    386,
    415,
    435,
    443,
    459,
    472
   ],
   [
    63,
    96,
    100,
    159,
    227,
    263,
    333,
    346,
    387,
    416,
    436,
    444,
    460,
    473
   ],
   [
    64,
    97,
    101,
    160,
    228,
    264,
    334,
    347,
    388,
    417,
    437,
    445,
    461,
    474
   ],
   [
    65,
    98,
    102,
    161,
    229,
    265,
    335,
    348,
    389,
    418,
    438,
    446,
    462,
    475
   ],
   [
    66,
    99,
    103,
    162,
    230,
    266,
    336,
    349,
    390,
    419,
    439,
    447,
    463,
    476
   ],
   [
    67,
    100,
    104,
    163,
    231,
    267,
    337,
    350,
    391,
    420,
    440,
    448,
    464,
    477
   ],
   [
    68,
    101,
    105,
    164,
    232,
    268,
    338,
    351,
    392,
    421,
    441,
    449,
    465,
    478
   ],
   [
    69,
    102,
    106,
    165,
    233,
    269,
    339,
    352,
    393,
    422,
    442,
    450,
    466,
    479
   ],
   [
    70,
    103,
    107,
    166,
    234,
    270,
    340,
    353,
    394,
    423,
    443,
    451,
    467,
    480
   ],
   [
    71,
    104,
    108,
    167,
    235,
    271,
    341,
    354,
    395,
    424,
    444,
    452,
    468,
    481
   ],
   [
    72,
    105,
    109,
    168,
    236,
    272,
    342,
    355,
    396,
    425,
    445,
    453,
    469,
    482
   ],
   [
    73,
    106,
    110,
    169,
    237,
    273,
    343,
    356,
    397,
    426,
    446,
    454,
    470,
    483
   ],
   [
    74,
    107,
    111,
    170,
    238,
    274,
    344,
    357,
    398,
    427,
    447,
    455,
    471,
    484
   ],
   [
    75,
    108,
    112,
    171,
    239,
    275,
    345,
    358,
    399,
    428,
    448,
    456,
    472,
    485
   ],
   [
    76,
    109,
    113,
    172,
    240,
    276,
    346,
    359,
    400,
    429,
    449,
    457,
    473,
    486
   ],
   [
    77,
    110,
    114,
    173,
    241,
    277,
    347,
    360,
    401,
    430,
    450,
    458,
    474,
    487
   ],
   [
    78,
    111,
    115,
    174,
    242,
    278,
    348,
    361,
    402,
    431,
    451,
    459,
    475,
    488
   ],
   [
    79,
    112,
    116,
    175,
    243,
    279,
    349,
    362,
    403,
    432,
    452,
    460,
    476,
    489
   ],
   [
    80,
    113,
    117,
    176,
    244,
    280,
    350,
    363,
    404,
    433,
    453,
    461,
    477,
    490
   ],
   [
    81,
    114,
    118,
    177,
    245,
    281,
    351,
    364,
    405,
    434,
    454,
    462,
    478,
    491
   ],
   [
    82,
    115,
    119,
    178,
    246,
    282,
    352,
    365,
    406,
    435,
    455,
    463,
    479,
    492
   ],
   [
    83,
    116,
    120,
    179,
    247,
    283,
    353,
    366,
    407,
    436,
    456,
    464,
    480,
    493
   ],
   [
    84,
    117,
    121,
    180,
    248,
    284,
    354,
    367,
    408,
    437,
    457,
    465,
    481,
    494
   ],
   [
    85,
    118,
    122,
    181,
    249,
    285,
    355,
    368,
    409,
    438,
    458,
    466,
    482,
    495
   ],
   [
    86,
    119,
    123,
    182,
    250,
    286,
    356,
    369,
    410,
    439,
    459,
    467,
    483,
    496
   ],
   [
    87,
    120,
    124,
    183,
    251,
    287,
    357,
    370,
    411,
    440,
    460,
    468,
    484,
    497
   ],
   [
    88,
    121,
    125,
    184,
    252,
    288,
    358,
    371,
    412,
    441,
    461,
    469,
    485,
    498
   ],
   [
    89,
    122,
    126,
    185,
    253,
    289,
    359,
    372,
    413,
    442,
    462,
    470,
    486,
    499
   ],
   [
    90,
    123,
    127,
    186,
    254,
    290,
    360,
    373,
    414,
    443,
    463,
    471,
    487,
    500
   ],
   [
    0,
    91,
    124,
    128,
    187,
    291,
    361,
    374,
    415,
    444,
    464,
    472,
    488,
    501
   ],
   [
    1,
    92,
    125,
    129,
    188,
    292,
    362,
    375,
    416,
    445,
    465,
    473,
    489,
    502
   ],
   [
    2,
    93,
    126,
    130,
    189,
    293,
    363,
    376,
    417,
    446,
    466,
    474,
    490,
    503
   ],
   [
    3,
    94,
    127,
    131,
    190,
    294,
    364,
    377,
    418,
    447,
    467,
    475,
    491,
    504
   ],
   [
    4,
    95,
    128,
    132,
    191,
    295,
    365,
    378,
    419,
    448,
    468,
    476,
    492,
    505
   ],
   [
    5,
    96,
    129,
    133,
    192,
    296,
    366,
    379,
    420,
    449,
    469,
    477,
    493,
    506
   ],
   [
    6,
    97,
    130,
    134,
    193,
    297,
    367,
    380,
    421,
    450,
    470,
    478,
    494,
    507
   ],
   [
    7,
    98,
    131,
    135,
    194,
    298,
    368,
    381,
    422,
    451,
    471,
    479,
    495,
    508
   ],
   [
    8,
    99,
    132,
    136,
    195,
    299,
    369,
    382,
    423,
    452,
    472,
    480,
    496,
    509
   ],
   [
    9,
    100,
    133,
    137,
    196,
    255,
    300,
    370,
    383,
    424,
    453,
    473,
    481,
    497
   ],
   [
    10,
    101,
    134,
    138,
    197,
    256,
    301,
    371,
    384,
    425,
    454,
    474,
    482,
    498
   ],
   [
    11,
    102,
    135,
    139,
    198,
    257,
    302,
    372,
    385,
    426,
    455,
    475,
    483,
    499
   ],
   [
    12,
    103,
    136,
    140,
    199,
    258,
    303,
    373,
    386,
    427,
    456,
    476,
    484,
    500
   ],
   [
    13,
    104,
    137,
    141,
    200,
    259,
    304,
    374,
    387,
    428,
    457,
    477,
    485,
    501
   ],
   [
    14,
    105,
    138,
    142,
    201,
    260,
    305,
    375,
    388,
    429,
    458,
    478,
    486,
    502
   ],
   [
    15,
    106,
    139,
    143,
    202,
    261,
    306,
    376,
    389,
    430,
    459,
    479,
    487,
    503
   ],
   [
    16,
    107,
    140,
    144,
    203,
    262,
    307,
    377,
    390,
    431,
    460,
    480,
    488,
    504
   ],
   [
    17,
    108,
    141,
    145,
    204,
    263,
    308,
    378,
    391,
    432,
    461,
    481,
    489,
    505
   ],
   [
    18,
    109,
    142,
    146,
    205,
    264,
    309,
    379,
    392,
    433,
    462,
    482,
    490,
    506
   ],
   [
    19,
    110,
    143,
    147,
    206,
    265,
    310,
    380,
    393,
    434,
    463,
    483,
    491,
    507
   ],
   [
    20,
    111,
    144,
    148,
    207,
    266,
    311,
    381,
    394,
    435,
    464,
    484,
    492,
    508
   ],
   [
    21,
    112,
    145,
    149,
    208,
    267,
    312,
    382,
    395,
    436,
    465,
    485,
    493,
    509
   ],
   [
    22,
    113,
    146,
    150,
    209,
    255,
    268,
    313,
    383,
    396,
    437,
    466,
    486,
    494
   ],
   [
    23,
    114,
    147,
    151,
    210,
    256,
    269,
    314,
    384,
    397,
    438,
    467,
    487,
    495
   ],
   [
    24,
    115,
    148,
    152,
    211,
    257,
    270,
    315,
    385,
    398,
    439,
    468,
    488,
    496
   ],
   [
    25,
    116,
    149,
    153,
    212,
    258,
    271,
    316,
    386,
    399,
    440,
    469,
    489,
    497
   ],
   [
    26,
    117,
    150,
    154,
    213,
    259,
    272,
    317,
    387,
    400,
    441,
    470,
    490,
    498
   ],
   [
    27,
    118,
    151,
    155,
    214,
    260,
    273,
    318,
    388,
    401,
    442,
    471,
    491,
    499
   ],
   [
    28,
    119,
    152,
    156,
    215,
    261,
    274,
    319,
    389,
    402,
    443,
    472,
    492,
    500
   ],
   [
    29,
    120,
    153,
    157,
    216,
    262,
    275,
    320,
    390,
    403,
    444,
    473,
    493,
    501
   ],
   [
    30,
    121,
    154,
    158,
    217,
    263,
    276,
    321,
    391,
    404,
    445,
    474,
    494,
    502
   ],
   [
    31,
    122,
    155,
    159,
    218,
    264,
    277,
    322,
    392,
    405,
    446,
    475,
    495,
    503
   ],
   [
    32,
    123,
    156,
    160,
    219,
    265,
    278,
    323,
    393,
    406,
    447,
    476,
    496,
    504
   ],
   [
    33,
    124,
    157,
    161,
    220,
    266,
    279,
    324,
    394,
    407,
    448,
    477,
    497,
    505
   ],
   [
    34,
    125,
    158,
    162,
    221,
    267,
    280,
    325,
    395,
    408,
    449,
    478,
    498,
    506
   ],
   [
    35,
    126,
    159,
    163,
    222,
    268,
    281,
    326,
    396,
    409,
    450,
    479,
    499,
    507
   ],
   [
    36,
    127,
    160,
    164,
    223,
    269,
    282,
    327,
    397,
    410,
    451,
    480,
    500,
    508
   ],
   [
    37,
    128,
    161,
    165,
    224,
    270,
    283,
    328,
    398,
    411,
    452,
    481,
    501,
    509
   ],
   [
    38,
    129,
    162,
    166,
    225,
    255,
    271,
    284,
    329,
    399,
    412,
    453,
    482,
    502
   ],
   [
    39,
    130,
    163,
    167,
    226,
    256,
    272,
    285,
    330,
    400,
    413,
    454,
    483,
    503
   ],
   [
    40,
    131,
    164,
    168,
    227,
    257,
    273,
    286,
    331,
    401,
    414,
    455,
    484,
    504
   ],
   [
    41,
    132,
    165,
    169,
    228,
    258,
    274,
    287,
    332,
    402,
    415,
    456,
    485,
    505
   ],
   [
    42,
    133,
    166,
    170,
    229,
    259,
    275,
    288,
    333,
    403,
    416,
    457,
    486,
    506
   ],
   [
    43,
    134,
    167,
    171,
    230,
    260,
    276,
    289,
    334,
    404,
    417,
    458,
    487,
    507
   ],
   [
    44,
    135,
    168,
    172,
    231,
    261,
    277,
    290,
    335,
    405,
    418,
    459,
    488,
    508
   ],
   [
    45,
    136,
    169,
    173,
    232,
    262,
    278,
    291,
    336,
    406,
    419,
    460,
    489,
    509
   ],
   [
    46,
    137,
    170,
    174,
    233,
    255,
    263,
    279,
    292,
    337,
    407,
    420,
    461,
    490
   ],
   [
    47,
    138,
    171,
    175,
    234,
    256,
    264,
    280,
    293,
    338,
    408,
    421,
    462,
    491
   ],
   [
    48,
    139,
    172,
    176,
    235,
    257,
    265,
    281,
    294,
    339,
    409,
    422,
    463,
    492
   ],
   [
    49,
    140,
    173,
    177,
    236,
    258,
    266,
    282,
    295,
    340,
    410,
    423,
    464,
    493
   ],
   [
    50,
    141,
    174,
    178,
    237,
    259,
    267,
    283,
    296,
    341,
    411,
    424,
    465,
    494
   ],
   [
    51,
    142,
    175,
    179,
    238,
    260,
    268,
    284,
    297,
    342,
    412,
    425,
    466,
    495
   ],
   [
    52,
    143,
    176,
    180,
    239,
    261,
    269,
    285,
    298,
    343,
    413,
    426,
    467,
    496
   ],
   [
    53,
    144,
    177,
    181,
    240,
    262,
    270,
    286,
    299,
    344,
    414,
    427,
    468,
    497
   ],
   [
    54,
    145,
    178,
    182,
    241,
    263,
    271,
    287,
    300,
    345,
    415,
    428,
    469,
    498
   ],
   [
    55,
    146,
    179,
    183,
    242,
    264,
    272,
    288,
    301,
    346,
    416,
    429,
    470,
    499
   ],
   [
    56,
    147,
    180,
    184,
    243,
    265,
    273,
    289,
    302,
    347,
    417,
    430,
    471,
    500
   ],
   [
    57,
    148,
    181,
    185,
    244,
    266,
    274,
    290,
    303,
    348,
    418,
    431,
    472,
    501
   ],
   [
    58,
    149,
    182,
    186,
    245,
    267,
    275,
    291,
    304,
    349,
    419,
    432,
    473,
    502
   ],
   [
    59,
    150,
    183,
    187,
    246,
    268,
    276,
    292,
    305,
    350,
    420,
    433,
    474,
    503
   ],
   [
    60,
    151,
    184,
    188,
    247,
    269,
    277,
    293,
    306,
    351,
    421,
    434,
    475,
    504
   ],
   [
    61,
    152,
    185,
    189,
    248,
    270,
    278,
    294,
    307,
    352,
    422,
    435,
    476,
    505
   ],
   [
    62,
    153,
    186,
    190,
    249,
    271,
    279,
    295,
    308,
    353,
    423,
    436,
    477,
    506
   ],
   [
    63,
    154,
    187,
    191,
    250,
    272,
    280,
    296,
    309,
    354,
    424,
    437,
    478,
    507
   ],
   [
    64,
    155,
    188,
    192,
    251,
    273,
    281,
    297,
    310,
    355,
    425,
    438,
    479,
    508
   ],
   [
    65,
    156,
    189,
    193,
    252,
    274,
    282,
    298,
    311,
    356,
    426,
    439,
    480,
    509
   ],
   [
    66,
    157,
    190,
    194,
    253,
    255,
    275,
    283,
    299,
    312,
    357,
    427,
    440,
    481
   ],
   [
    67,
    158,
    191,
    195,
    254,
    256,
    276,
    284,
    300,
    313,
    358,
    428,
    441,
    482
   ],
   [
    0,
    68,
    159,
    192,
    196,
    257,
    277,
    285,
    301,
    314,
    359,
    429,
    442,
    483
   ],
   [
    1,
    69,
    160,
    193,
    197,
    258,
    278,
    286,
    302,
    315,
    360,
    430,
    443,
    484
   ],
   [
    2,
    70,
    161,
    194,
    198,
    259,
    279,
    287,
    303,
    316,
    361,
    431,
    444,
    485
   ],
   [
    3,
    71,
    162,
    195,
    199,
    260,
    280,
    288,
    304,
    317,
    362,
    432,
    445,
    486
   ],
   [
    4,
    72,
    163,
    196,
    200,
    261,
    281,
    289,
    305,
    318,
    363,
    433,
    446,
    487
   ],
   [
    5,
    73,
    164,
    197,
    201,
    262,
    282,
    290,
    306,
    319,
    364,
    434,
    447,
    488
   ],
   [
    6,
    74,
    165,
    198,
    202,
    263,
    283,
    291,
    307,
    320,
    365,
    435,
    448,
    489
   ],
   [
    7,
    75,
    166,
    199,
    203,
    264,
    284,
    292,
    308,
    321,
    366,
    436,
    449,
    490
   ],
   [
    8,
    76,
    167,
    200,
    204,
    265,
    285,
    293,
    309,
    322,
    367,
    437,
    450,
    491
   ],
   [
    9,
    77,
    168,
    201,
    205,
    266,
    286,
    294,
    310,
    323,
    368,
    438,
    451,
    492
   ],
   [
    10,
    78,
    169,
    202,
    206,
    267,
    287,
    295,
    311,
    324,
    369,
    439,
    452,
    493
   ],
   [
    11,
    79,
    170,
    203,
    207,
    268,
    288,
    296,
    312,
    325,
    370,
    440,
    453,
    494
   ],
   [
    12,
    80,
    171,
    204,
    208,
    269,
    289,
    297,
    313,
    326,
    371,
    441,
    454,
    495
   ],
   [
    13,
    81,
    172,
    205,
    209,
    270,
    290,
    298,
    314,
    327,
    372,
    442,
    455,
    496
   ],
   [
    14,
    82,
    173,
    206,
    210,
    271,
    291,
    299,
    315,
    328,
    373,
    443,
    456,
    497
   ],
   [
    15,
    83,
    174,
    207,
    211,
    272,
    292,
    300,
    316,
    329,
    374,
    444,
    457,
    498
   ],
   [
    16,
    84,
    175,
    208,
    212,
    273,
    293,
    301,
    317,
    330,
    375,
    445,
    458,
    499
   ],
   [
    17,
    85,
    176,
    209,
    213,
    274,
    294,
    302,
    318,
    331,
    376,
    446,
    459,
    500
   ],
   [
    18,
    86,
    177,
    210,
    214,
    275,
    295,
    303,
    319,
    332,
    377,
    447,
    460,
    501
   ],
   [
    19,
    87,
    178,
    211,
    215,
    276,
    296,
    304,
    320,
    333,
    378,
    448,
    461,
    502
   ],
   [
    20,
    88,
    179,
    212,
    216,
    277,
    297,
    305,
    321,
    334,
    379,
    449,
    462,
    503
   ],
   [
    21,
    89,
    180,
    213,
    217,
    278,
    298,
    306,
    322,
    335,
    380,
    450,
    463,
    504
   ],
   [
    22,
    90,
    181,
    214,
    218,
    279,
    299,
    307,
    323,
    336,
    381,
    451,
    464,
    505
   ],
   [
    23,
    91,
    182,
    215,
    219,
    280,
    300,
    308,
    324,
    337,
    382,
    452,
    465,
    506
   ],
   [
    24,
    92,
    183,
    216,
    220,
    281,
    301,
    309,
    325,
    338,
    383,
    453,
    466,
    507
   ],
   [
    25,
    93,
    184,
    217,
    221,
    282,
    302,
    310,
    326,
    339,
    384,
    454,
    467,
    508
   ],
   [
    26,
    94,
    185,
    218,
    222,
    283,
    303,
    311,
    327,
    340,
    385,
    455,
    468,
    509
   ],
   [
    27,
    95,
    186,
    219,
    223,
    255,
    284,
    304,
    312,
    328,
    341,
    386,
    456,
    469
   ],
   [
    28,
    96,
    187,
    220,
    224,
    256,
    285,
    305,
    313,
    329,
    342,
    387,
    457,
    470
   ],
   [
    29,
    97,
    188,
    221,
    225,
    257,
    286,
    306,
    314,
    330,
    343,
    388,
    458,
    471
   ],
   [
    30,
    98,
    189,
    222,
    226,
    258,
    287,
    307,
    315,
    331,
    344,
    389,
    459,
    472
   ],
   [
    31,
    99,
    190,
    223,
    227,
    259,
    288,
    308,
    316,
    332,
    345,
    390,
    460,
    473
   ],
   [
    32,
    100,
    191,
    224,
    228,
    260,
    289,
    309,
    317,
    333,
    346,
    391,
    461,
    474
   ],
   [
    33,
    101,
    192,
    225,
    229,
    261,
    290,
    310,
    318,
    334,
    347,
    392,
    462,
    475
   ],
   [
    34,
    102,
    193,
    226,
    230,
    262,
    291,
    311,
    319,
    335,
    348,
    393,
    463,
    476
   ],
   [
    35,
    103,
    194,
    227,
    231,
    263,
    292,
    312,
    320,
    336,
    349,
    394,
    464,
    477
   ],
   [
    36,
    104,
    195,
    228,
    232,
    264,
    293,
    313,
    321,
    337,
    350,
    395,
    465,
    478
   ],
   [
    37,
    105,
    196,
    229,
    233,
    265,
    294,
    314,
    322,
    338,
    351,
    396,
    466,
    479
   ],
   [
    38,
    106,
    197,
    230,
    234,
    266,
    295,
    315,
    323,
    339,
    352,
    397,
    467,
    480
   ],
   [
    39,
    107,
    198,
    231,
    235,
    267,
    296,
    316,
    324,
    340,
    353,
    398,
    468,
    481
   ],
   [
    40,
    108,
    199,
    232,
    236,
    268,
    297,
    317,
    325,
    341,
    354,
    399,
    469,
    482
   ],
   [
    41,
    109,
    200,
    233,
    237,
    269,
    298,
    318,
    326,
    342,
    355,
    400,
    470,
    483
   ],
   [
    42,
    110,
    201,
    234,
    238,
    270,
    299,
    319,
    327,
    343,
    356,
    401,
    471,
    484
   ],
   [
    43,
    111,
    202,
    235,
    239,
    271,
    300,
    320,
    328,
    344,
    357,
    402,
    472,
    485
   ],
   [
    44,
    112,
    203,
    236,
    240,
    272,
    301,
    321,
    329,
    345,
    358,
    403,
    473,
    486
   ],
   [
    45,
    113,
    204,
    237,
    241,
    273,
    302,
    322,
    330,
    346,
    359,
    404,
    474,
    487
   ],
   [
    46,
    114,
    205,
    238,
    242,
    274,
    303,
    323,
    331,
    347,
    360,
    405,
    475,
    488
   ],
   [
    47,
    115,
    206,
    239,
    243,
    275,
    304,
    324,
    332,
    348,
    361,
    406,
    476,
    489
   ],
   [
    48,
    116,
    207,
    240,
    244,
    276,
    305,
    325,
    333,
    349,
    362,
    407,
    477,
    490
   ],
   [
    49,
    117,
    208,
    241,
    245,
    277,
    306,
    326,
    334,
    350,
    363,
    408,
    478,
    491
   ],
   [
    50,
    118,
    209,
    242,
    246,
    278,
    307,
    327,
    335,
    351,
    364,
    409,
    479,
    492
   ],
   [
    51,
    119,
    210,
    243,
    247,
    279,
    308,
    328,
    336,
    352,
    365,
    410,
    480,
    493
   ],
   [
    52,
    120,
    211,
    244,
    248,
    280,
    309,
    329,
    337,
    353,
    366,
    411,
    481,
    494
   ],
   [
    53,
    121,
    212,
    245,
    249,
    281,
    310,
    330,
    338,
    354,
    367,
    412,
    482,
    495
   ],
   [
    54,
    122,
    213,
    246,
    250,
    282,
    311,
    331,
    339,
    355,
    368,
    413,
    483,
    496
   ],
   [
    55,
    123,
    214,
    247,
    251,
    283,
    312,
    332,
    340,
    356,
    369,
    414,
    484,
    497
   ],
   [
    56,
    124,
    215,
    248,
    252,
    284,
    313,
    333,
    341,
    357,
    370,
    415,
    485,
    498
   ],
   [
    57,
    125,
    216,
    249,
    253,
    285,
    314,
    334,
    342,
    358,
    371,
    416,
    486,
    499
   ],
   [
    58,
    126,
    217,
    250,
    254,
    286,
    315,
    335,
    343,
    359,
    372,
    417,
    487,
    500
   ],
   [
    0,
    59,
    127,
    218,
    251,
    287,
    316,
    336,
    344,
    360,
    373,
    418,
    488,
    501
   ],
   [
    1,
    60,
    128,
    219,
    252,
    288,
    317,
    337,
    345,
    361,
    374,
    419,
    489,
    502
   ],
   [
    2,
    61,
    129,
    220,
    253,
    289,
    318,
    338,
    346,
    362,
    375,
    420,
    490,
    503
   ],
   [
    3,
    62,
    130,
    221,
    254,
    290,
    319,
    339,
    347,
    363,
    376,
    421,
    491,
    504
   ],
   [
    0,
    4,
    63,
    131,
    222,
    291,
    320,
    340,
    348,
    364,
    377,
    422,
    492,
    505
   ],
   [
    1,
    5,
    64,
    132,
    223,
    292,
    321,
    341,
    349,
    365,
    378,
    423,
    493,
    506
   ],
   [
    2,
    6,
    65,
    133,
    224,
    293,
    322,
    342,
    350,
    366,
    379,
    424,
    494,
    507
   ],
   [
    3,
    7,
    66,
    134,
    225,
    294,
    323,
    343,
    351,
    367,
    380,
    425,
    495,
    508
   ],
   [
    4,
    8,
    67,
    135,
    226,
    295,
    324,
    344,
    352,
    368,
    381,
    426,
    496,
    509
   ],
   [
    5,
    9,
    68,
    136,
    227,
    255,
    296,
    325,
    345,
    353,
    369,
    382,
    427,
    497
   ],
   [
    6,
    10,
    69,
    137,
    228,
    256,
    297,
    326,
    346,
    354,
    370,
    383,
    428,
    498
   ],
   [
    7,
    11,
    70,
    138,
    229,
    257,
    298,
    327,
    347,
    355,
    371,
    384,
    429,
    499
   ],
   [
    8,
    12,
    71,
    139,
    230,
    258,
    299,
    328,
    348,
    356,
    372,
    385,
    430,
    500
   ],
   [
    9,
    13,
    72,
    140,
    231,
    259,
    300,
    329,
    349,
    357,
    373,
    386,
    431,
    501
   ],
   [
    10,
    14,
    73,
    141,
    232,
    260,
    301,
    330,
    350,
    358,
    374,
    387,
    432,
    502
   ],
   [
    11,
    15,
    74,
    142,
    233,
    261,
    302,
    331,
    351,
    359,
    375,
    388,
    433,
    503
   ],
   [
    12,
    16,
    75,
    143,
    234,
    262,
    303,
    332,
    352,
    360,
    376,
    389,
    434,
    504
   ],
   [
    13,
    17,
    76,
    144,
    235,
    263,
    304,
    333,
    353,
    361,
    377,
    390,
    435,
    505
   ],
   [
    14,
    18,
    77,
    145,
    236,
    264,
    305,
    334,
    354,
    362,
    378,
    391,
    436,
    506
   ],
   [
    15,
    19,
    78,
    146,
    237,
    265,
    306,
    335,
    355,
    363,
    379,
    392,
    437,
    507
   ],
   [
    16,
    20,
    79,
    147,
    238,
    266,
    307,
    336,
    356,
    364,
    380,
    393,
    438,
    508
   ],
   [
    17,
    21,
    80,
    148,
    239,
    267,
    308,
    337,
    357,
    365,
    381,
    394,
    439,
    509
   ],
   [
    18,
    22,
    81,
    149,
    240,
    255,
    268,
    309,
    338,
    358,
    366,
    382,
    395,
    440
   ],
   [
    19,
    23,
    82,
    150,
    241,
    256,
    269,
    310,
    339,
    359,
    367,
    383,
    396,
    441
   ],
   [
    20,
    24,
    83,
    151,
    242,
    257,
    270,
    311,
    340,
    360,
    368,
    384,
    397,
    442
   ],
   [
    21,
    25,
    84,
    152,
    243,
    258,
    271,
    312,
    341,
    361,
    369,
    385,
    398,
    443
   ],
   [
    22,
    26,
    85,
    153,
    244,
    259,
    272,
    313,
    342,
    362,
    370,
    386,
    399,
    444
   ],
   [
    23,
    27,
    86,
    154,
    245,
    260,
    273,
    314,
    343,
    363,
    371,
    387,
    400,
    445
   ],
   [
    24,
    28,
    87,
    155,
    246,
    261,
    274,
    315,
    344,
    364,
    372,
    388,
    401,
    446
   ],
   [
    25,
    29,
    88,
    156,
    247,
    262,
    275,
    316,
    345,
    365,
    373,
    389,
    402,
    447
   ],
   [
    26,
    30,
    89,
    157,
    248,
    263,
    276,
    317,
    346,
    366,
    374,
    390,
    403,
    448
   ],
   [
    27,
    31,
    90,
    158,
    249,
    264,
    277,
    318,
    347,
    367,
    375,
    391,
    404,
    449
   ],
   [
    28,
    32,
    91,
    159,
    250,
    265,
    278,
    319,
    348,
    368,
    376,
    392,
    405,
    450
   ],
   [
    29,
    33,
    92,
    160,
    251,
    266,
    279,
    320,
    349,
    369,
    377,
    393,
    406,
    451
   ],
   [
    30,
    34,
    93,
    161,
    252,
    267,
    280,
    321,
    350,
    370,
    378,
    394,
    407,
    452
   ],
   [
    31,
    35,
    94,
    162,
    253,
    268,
    281,
    322,
    351,
    371,
    379,
    395,
    408,
    453
   ],
   [
    32,
    36,
    95,
    163,
    254,
    269,
    282,
    323,
    352,
    372,
    380,
    396,
    409,
    454
   ],
   [
    0,
    33,
    37,
    96,
    164,
    270,
    283,
    324,
    353,
    373,
    381,
    397,
    410,
    455
   ],
   [
    1,
    34,
    38,
    97,
    165,
    271,
    284,
    325,
    354,
    374,
    382,
    398,
    411,
    456
   ],
   [
    2,
    35,
    39,
    98,
    166,
    272,
    285,
    326,
    355,
    375,
    383,
    399,
    412,
    457
   ],
   [
    3,
    36,
    40,
    99,
    167,
    273,
    286,
    327,
    356,
    376,
    384,
    400,
    413,
    458
   ],
   [
    4,
    37,
    41,
    100,
    168,
    274,
    287,
    328,
    357,
    377,
    385,
    401,
    414,
    459
   ],
   [
    5,
    38,
    42,
    101,
    169,
    275,
    288,
    329,
    358,
    378,
    386,
    402,
    415,
    460
   ],
   [
    6,
    39,
    43,
    102,
    170,
    276,
    289,
    330,
    359,
    379,
    387,
    403,
    416,
    461
   ],
   [
    7,
    40,
    44,
    103,
    171,
    277,
    290,
    331,
    360,
    380,
    388,
    404,
    417,
    462
   ],
   [
    8,
    41,
    45,
    104,
    172,
    278,
    291,
    332,
    361,
    381,
    389,
    405,
    418,
    463
   ],
   [
    9,
    42,
    46,
    105,
    173,
    279,
    292,
    333,
    362,
    382,
    390,
    406,
    419,
    464
   ],
   [
    10,
    43,
    47,
    106,
    174,
    280,
    293,
    334,
    363,
    383,
    391,
    407,
    420,
    465
   ],
   [
    11,
    44,
    48,
    107,
    175,
    281,
    294,
    335,
    364,
    384,
    392,
    408,
    421,
    466
   ],
   [
    12,
    45,
    49,
    108,
    176,
    282,
    295,
    336,
    365,
    385,
    393,
    409,
    422,
    467
   ],
   [
    13,
    46,
    50,
    109,
    177,
    283,
    296,
    337,
    366,
    386,
    394,
    410,
    423,
    468
   ],
   [
    14,
    47,
    51,
    110,
    178,
    284,
    297,
    338,
    367,
    387,
    395,
    411,
    424,
    469
   ],
   [
    15,
    48,
    52,
    111,
    179,
    285,
    298,
    339,
    368,
    388,
    396,
    412,
    425,
    470
   ],
   [
    16,
    49,
    53,
    112,
    180,
    286,
    299,
    340,
    369,
    389,
    397,
    413,
    426,
    471
   ],
   [
    17,
    50,
    54,
    113,
    181,
    287,
    300,
    341,
    370,
    390,
    398,
    414,
    427,
    472
   ],
   [
    18,
    51,
    55,
    114,
    182,
    288,
    301,
    342,
    371,
    391,
    399,
    415,
    428,
    473
   ],
   [
    19,
    52,
    56,
    115,
    183,
    289,
    302,
    343,
    372,
    392,
    400,
    416,
    429,
    474
   ],
   [
    20,
    53,
    57,
    116,
    184,
    290,
    303,
    344,
    373,
    393,
    401,
    417,
    430,
    475
   ],
   [
    21,
    54,
    58,
    117,
    185,
    291,
    304,
    345,
    374,
    394,
    402,
    418,
    431,
    476
   ],
   [
    22,
    55,
    59,
    118,
    186,
    292,
    305,
    346,
    375,
    395,
    403,
    419,
    432,
    477
   ],
   [
    23,
    56,
    60,
    119,
    187,
    293,
    306,
    347,
    376,
    396,
    404,
    420,
    433,
    478
   ],
   [
    24,
    57,
    61,
    120,
    188,
    294,
    307,
    348,
    377,
    397,
    405,
    421,
    434,
    479
   ],
   [
    25,
    58,
    62,
    121,
    189,
    295,
    308,
    349,
    378,
    398,
    406,
    422,
    435,
    480
   ],
   [
    26,
    59,
    63,
    122,
    190,
    296,
    309,
    350,
    379,
    399,
    407,
    423,
    436,
    481
   ],
   [
    27,
    60,
    64,
    123,
    191,
    297,
    310,
    351,
    380,
    400,
    408,
    424,
    437,
    482
   ],
   [
    28,
    61,
    65,
    124,
    192,
    298,
    311,
    352,
    381,
    401,
    409,
    425,
    438,
    483
   ],
   [
    29,
    62,
    66,
    125,
    193,
    299,
    312,
    353,
    382,
    402,
    410,
    426,
    439,
    484
   ],
   [
    30,
    63,
    67,
    126,
    194,
    300,
    313,
    354,
    383,
    403,
    411,
    427,
    440,
    485
   ],
   [
    31,
    64,
    68,
    127,
    195,
    301,
    314,
    355,
    384,
    404,
    412,
    428,
    441,
    486
   ],
   [
    32,
    65,
    69,
    128,
    196,
    302,
    315,
    356,
    385,
    405,
    413,
    429,
    442,
    487
   ],
   [
    33,
    66,
    70,
    129,
    197,
    303,
    316,
    357,
    386,
    406,
    414,
    430,
    443,
    488
   ],
   [
    34,
    67,
    71,
    130,
    198,
    304,
    317,
    358,
    387,
    407,
    415,
    431,
    444,
    489
   ],
   [
    35,
    68,
    72,
    131,
    199,
    305,
    318,
    359,
    388,
    408,
    416,
    432,
    445,
    490
   ],
   [
    36,
    69,
    73,
    132,
    200,
    306,
    319,
    360,
    389,
    409,
    417,
    433,
    446,
    491
   ],
   [
    37,
    70,
    74,
    133,
    201,
    307,
    320,
    361,
    390,
    410,
    418,
    434,
    447,
    492
   ],
   [
    38,
    71,
    75,
    134,
    202,
    308,
    321,
    362,
    391,
    411,
    419,
    435,
    448,
    493
   ],
   [
    39,
    72,
    76,
    135,
    203,
    309,
    322,
    363,
    392,
    412,
    420,
    436,
    449,
    494
   ],
   [
    40,
    73,
    77,
    136,
    204,
    310,
    323,
    364,
    393,
    413,
    421,
    437,
    450,
    495
   ],
   [
    41,
    74,
    78,
    137,
    205,
    311,
    324,
    365,
    394,
    414,
    422,
    438,
    451,
    496
   ],
   [
    42,
    75,
    79,
    138,
    206,
    312,
    325,
    366,
    395,
    415,
    423,
    439,
    452,
    497
   ],
   [
    43,
    76,
    80,
    139,
    207,
    313,
    326,
    367,
    396,
    416,
    424,
    440,
    453,
    498
   ],
   [
    44,
    77,
    81,
    140,
    208,
    314,
    327,
    368,
    397,
    417,
    425,
    441,
    454,
    499
   ],
   [
    45,
    78,
    82,
    141,
    209,
    315,
    328,
    369,
    398,
    418,
    426,
    442,
    455,
    500
   ],
   [
    46,
    79,
    83,
    142,
    210,
    316,
    329,
    370,
    399,
    419,
    427,
    443,
    456,
    501
   ],
   [
    47,
    80,
    84,
    143,
    211,
    317,
    330,
    371,
    400,
    420,
    428,
    444,
    457,
    502
   ],
   [
    48,
    81,
    85,
    144,
    212,
    318,
    331,
    372,
    401,
    421,
    429,
    445,
    458,
    503
   ],
   [
    49,
    82,
    86,
    145,
    213,
    319,
    332,
    373,
    402,
    422,
    430,
    446,
    459,
    504
   ],
   [
    50,
    83,
    87,
    146,
    214,
    320,
    333,
    374,
    403,
    423,
    431,
    447,
    460,
    505
   ],
   [
    51,
    84,
    88,
    147,
    215,
    321,
    334,
    375,
    404,
    424,
    432,
    448,
    461,
    506
   ],
   [
    52,
    85,
    89,
    148,
    216,
    322,
    335,
    376,
    405,
    425,
    433,
    449,
    462,
    507
   ],
   [
    53,
    86,
    90,
    149,
    217,
    323,
    336,
    377,
    406,
    426,
    434,
    450,
    463,
    508
   ],
   [
    54,
    87,
    91,
    150,
    218,
    324,
    337,
    378,
    407,
    427,
    435,
    451,
    464,
    509
   ],
   [
    55,
    88,
    92,
    151,
    219,
    255,
    325,
    338,
    379,
    408,
    428,
    436,
    452,
    465
   ],
   [
    56,
    89,
    93,
    152,
    220,
    256,
    326,
    339,
    380,
    409,
    429,
    437,
    453,
    466
   ],
   [
    57,
    90,
    94,
    153,
    221,
    257,
    327,
    340,
    381,
    410,
    430,
    438,
    454,
    467
   ],
   [
    58,
    91,
    95,
    154,
    222,
    258,
    328,
    341,
    382,
    411,
    431,
    439,
    455,
    468
   ],
   [
    59,
    92,
    96,
    155,
    223,
    259,
    329,
    342,
    383,
    412,
    432,
    440,
    456,
    469
   ],
   [
    60,
    93,
    97,
    156,
    224,
    260,
    330,
    343,
    384,
    413,
    433,
    441,
    457,
    470
   ],
   [
    61,
    94,
    98,
    157,
    225,
    261,
    331,
    344,
    385,
    414,
    434,
    442,
    458,
    471
   ]
  ]
 },
 "distance": {
  "d": 72,
  "X": {
   "value": 72,
   "confidence": "upper_bound",
   "witness": [
    2,
    9,
    22,
    25,
    47,
    54,
    62,
    67,
    68,
    69,
    71,
    94,
    96,
    102,
    113,
    122,
    126,
    129,
    130,
    132,
    139,
    153,
    160,
    163,
    164,
    189,
    190,
    192,
    193,
    195,
    196,
    212,
    218,
    241,
    243,
    245,
    247,
    249,
    253,
    264,
    268,
    270,
    272,
    280,
    281,
    285,
    286,
    289,
    293,
    305,
    311,
    316,
    317,
    319,
    324,
    326,
    332,
    342,
    349,
    363,
    366,
    389,
    392,
    394,
    395,
    396,
    419,
    453,
    458,
    473,
    496,
    509
   ]
  },
  "Z": {
   "value": 72,
   "confidence": "upper_bound",
   "witness": [
    1,
    14,
    37,
    52,
    57,
    91,
    114,
    115,
    116,
    118,
    121,
    144,
    147,
    161,
    168,
    178,
    184,
    186,
    191,
    193,
    194,
    199,
    205,
    217,
    221,
    224,
    225,
    229,
    230,
    238,
    240,
    242,
    246,
    257,
    261,
    263,
    265,
    267,
    269,
    292,
    298,
    314,
    315,
    317,
    318,
    320,
    321,
    346,
    347,
    350,
    357,
    371,
    378,
    380,
    381,
    384,
    388,
    397,
    408,
    414,
    416,
    439,
    441,
    442,
    443,
    448,
    456,
    463,
    485,
    488,
    501,
    508
   ]
  }
 },
 "provenance": {
  "authors": [
   "@vprusso"
  ],
  "construction": "Cyclic generalized-bicycle code on the ring x^255 - 1 with a(x) = x^38 + x^51 + x^67 + x^75 + x^95 + x^124 + x^165 + x^178 + x^248, b(x) = x^29 + x^97 + x^156 + x^160 + x^193; 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-24",
  "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"
}