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