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