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