{
 "schema_version": "0.1",
 "name": "[[422,2,37]]",
 "code_type": "CSS",
 "n": 422,
 "k": 2,
 "checks": {
  "X": [
   [
    14,
    65,
    147,
    185,
    247,
    284,
    334,
    396
   ],
   [
    15,
    66,
    148,
    186,
    248,
    285,
    335,
    397
   ],
   [
    16,
    67,
    149,
    187,
    249,
    286,
    336,
    398
   ],
   [
    17,
    68,
    150,
    188,
    250,
    287,
    337,
    399
   ],
   [
    18,
    69,
    151,
    189,
    251,
    288,
    338,
    400
   ],
   [
    19,
    70,
    152,
    190,
    252,
    289,
    339,
    401
   ],
   [
    20,
    71,
    153,
    191,
    253,
    290,
    340,
    402
   ],
   [
    21,
    72,
    154,
    192,
    254,
    291,
    341,
    403
   ],
   [
    22,
    73,
    155,
    193,
    255,
    292,
    342,
    404
   ],
   [
    23,
    74,
    156,
    194,
    256,
    293,
    343,
    405
   ],
   [
    24,
    75,
    157,
    195,
    257,
    294,
    344,
    406
   ],
   [
    25,
    76,
    158,
    196,
    258,
    295,
    345,
    407
   ],
   [
    26,
    77,
    159,
    197,
    259,
    296,
    346,
    408
   ],
   [
    27,
    78,
    160,
    198,
    260,
    297,
    347,
    409
   ],
   [
    28,
    79,
    161,
    199,
    261,
    298,
    348,
    410
   ],
   [
    29,
    80,
    162,
    200,
    262,
    299,
    349,
    411
   ],
   [
    30,
    81,
    163,
    201,
    263,
    300,
    350,
    412
   ],
   [
    31,
    82,
    164,
    202,
    264,
    301,
    351,
    413
   ],
   [
    32,
    83,
    165,
    203,
    265,
    302,
    352,
    414
   ],
   [
    33,
    84,
    166,
    204,
    266,
    303,
    353,
    415
   ],
   [
    34,
    85,
    167,
    205,
    267,
    304,
    354,
    416
   ],
   [
    35,
    86,
    168,
    206,
    268,
    305,
    355,
    417
   ],
   [
    36,
    87,
    169,
    207,
    269,
    306,
    356,
    418
   ],
   [
    37,
    88,
    170,
    208,
    270,
    307,
    357,
    419
   ],
   [
    38,
    89,
    171,
    209,
    271,
    308,
    358,
    420
   ],
   [
    39,
    90,
    172,
    210,
    272,
    309,
    359,
    421
   ],
   [
    0,
    40,
    91,
    173,
    211,
    273,
    310,
    360
   ],
   [
    1,
    41,
    92,
    174,
    212,
    274,
    311,
    361
   ],
   [
    2,
    42,
    93,
    175,
    213,
    275,
    312,
    362
   ],
   [
    3,
    43,
    94,
    176,
    214,
    276,
    313,
    363
   ],
   [
    4,
    44,
    95,
    177,
    215,
    277,
    314,
    364
   ],
   [
    5,
    45,
    96,
    178,
    216,
    278,
    315,
    365
   ],
   [
    6,
    46,
    97,
    179,
    217,
    279,
    316,
    366
   ],
   [
    7,
    47,
    98,
    180,
    218,
    280,
    317,
    367
   ],
   [
    8,
    48,
    99,
    181,
    219,
    281,
    318,
    368
   ],
   [
    9,
    49,
    100,
    182,
    220,
    282,
    319,
    369
   ],
   [
    10,
    50,
    101,
    183,
    221,
    283,
    320,
    370
   ],
   [
    11,
    51,
    102,
    184,
    222,
    284,
    321,
    371
   ],
   [
    12,
    52,
    103,
    185,
    223,
    285,
    322,
    372
   ],
   [
    13,
    53,
    104,
    186,
    224,
    286,
    323,
    373
   ],
   [
    14,
    54,
    105,
    187,
    225,
    287,
    324,
    374
   ],
   [
    15,
    55,
    106,
    188,
    226,
    288,
    325,
    375
   ],
   [
    16,
    56,
    107,
    189,
    227,
    289,
    326,
    376
   ],
   [
    17,
    57,
    108,
    190,
    228,
    290,
    327,
    377
   ],
   [
    18,
    58,
    109,
    191,
    229,
    291,
    328,
    378
   ],
   [
    19,
    59,
    110,
    192,
    230,
    292,
    329,
    379
   ],
   [
    20,
    60,
    111,
    193,
    231,
    293,
    330,
    380
   ],
   [
    21,
    61,
    112,
    194,
    232,
    294,
    331,
    381
   ],
   [
    22,
    62,
    113,
    195,
    233,
    295,
    332,
    382
   ],
   [
    23,
    63,
    114,
    196,
    234,
    296,
    333,
    383
   ],
   [
    24,
    64,
    115,
    197,
    235,
    297,
    334,
    384
   ],
   [
    25,
    65,
    116,
    198,
    236,
    298,
    335,
    385
   ],
   [
    26,
    66,
    117,
    199,
    237,
    299,
    336,
    386
   ],
   [
    27,
    67,
    118,
    200,
    238,
    300,
    337,
    387
   ],
   [
    28,
    68,
    119,
    201,
    239,
    301,
    338,
    388
   ],
   [
    29,
    69,
    120,
    202,
    240,
    302,
    339,
    389
   ],
   [
    30,
    70,
    121,
    203,
    241,
    303,
    340,
    390
   ],
   [
    31,
    71,
    122,
    204,
    242,
    304,
    341,
    391
   ],
   [
    32,
    72,
    123,
    205,
    243,
    305,
    342,
    392
   ],
   [
    33,
    73,
    124,
    206,
    244,
    306,
    343,
    393
   ],
   [
    34,
    74,
    125,
    207,
    245,
    307,
    344,
    394
   ],
   [
    35,
    75,
    126,
    208,
    246,
    308,
    345,
    395
   ],
   [
    36,
    76,
    127,
    209,
    247,
    309,
    346,
    396
   ],
   [
    37,
    77,
    128,
    210,
    248,
    310,
    347,
    397
   ],
   [
    0,
    38,
    78,
    129,
    249,
    311,
    348,
    398
   ],
   [
    1,
    39,
    79,
    130,
    250,
    312,
    349,
    399
   ],
   [
    2,
    40,
    80,
    131,
    251,
    313,
    350,
    400
   ],
   [
    3,
    41,
    81,
    132,
    252,
    314,
    351,
    401
   ],
   [
    4,
    42,
    82,
    133,
    253,
    315,
    352,
    402
   ],
   [
    5,
    43,
    83,
    134,
    254,
    316,
    353,
    403
   ],
   [
    6,
    44,
    84,
    135,
    255,
    317,
    354,
    404
   ],
   [
    7,
    45,
    85,
    136,
    256,
    318,
    355,
    405
   ],
   [
    8,
    46,
    86,
    137,
    257,
    319,
    356,
    406
   ],
   [
    9,
    47,
    87,
    138,
    258,
    320,
    357,
    407
   ],
   [
    10,
    48,
    88,
    139,
    259,
    321,
    358,
    408
   ],
   [
    11,
    49,
    89,
    140,
    260,
    322,
    359,
    409
   ],
   [
    12,
    50,
    90,
    141,
    261,
    323,
    360,
    410
   ],
   [
    13,
    51,
    91,
    142,
    262,
    324,
    361,
    411
   ],
   [
    14,
    52,
    92,
    143,
    263,
    325,
    362,
    412
   ],
   [
    15,
    53,
    93,
    144,
    264,
    326,
    363,
    413
   ],
   [
    16,
    54,
    94,
    145,
    265,
    327,
    364,
    414
   ],
   [
    17,
    55,
    95,
    146,
    266,
    328,
    365,
    415
   ],
   [
    18,
    56,
    96,
    147,
    267,
    329,
    366,
    416
   ],
   [
    19,
    57,
    97,
    148,
    268,
    330,
    367,
    417
   ],
   [
    20,
    58,
    98,
    149,
    269,
    331,
    368,
    418
   ],
   [
    21,
    59,
    99,
    150,
    270,
    332,
    369,
    419
   ],
   [
    22,
    60,
    100,
    151,
    271,
    333,
    370,
    420
   ],
   [
    23,
    61,
    101,
    152,
    272,
    334,
    371,
    421
   ],
   [
    24,
    62,
    102,
    153,
    211,
    273,
    335,
    372
   ],
   [
    25,
    63,
    103,
    154,
    212,
    274,
    336,
    373
   ],
   [
    26,
    64,
    104,
    155,
    213,
    275,
    337,
    374
   ],
   [
    27,
    65,
    105,
    156,
    214,
    276,
    338,
    375
   ],
   [
    28,
    66,
    106,
    157,
    215,
    277,
    339,
    376
   ],
   [
    29,
    67,
    107,
    158,
    216,
    278,
    340,
    377
   ],
   [
    30,
    68,
    108,
    159,
    217,
    279,
    341,
    378
   ],
   [
    31,
    69,
    109,
    160,
    218,
    280,
    342,
    379
   ],
   [
    32,
    70,
    110,
    161,
    219,
    281,
    343,
    380
   ],
   [
    33,
    71,
    111,
    162,
    220,
    282,
    344,
    381
   ],
   [
    34,
    72,
    112,
    163,
    221,
    283,
    345,
    382
   ],
   [
    35,
    73,
    113,
    164,
    222,
    284,
    346,
    383
   ],
   [
    36,
    74,
    114,
    165,
    223,
    285,
    347,
    384
   ],
   [
    37,
    75,
    115,
    166,
    224,
    286,
    348,
    385
   ],
   [
    38,
    76,
    116,
    167,
    225,
    287,
    349,
    386
   ],
   [
    39,
    77,
    117,
    168,
    226,
    288,
    350,
    387
   ],
   [
    40,
    78,
    118,
    169,
    227,
    289,
    351,
    388
   ],
   [
    41,
    79,
    119,
    170,
    228,
    290,
    352,
    389
   ],
   [
    42,
    80,
    120,
    171,
    229,
    291,
    353,
    390
   ],
   [
    43,
    81,
    121,
    172,
    230,
    292,
    354,
    391
   ],
   [
    44,
    82,
    122,
    173,
    231,
    293,
    355,
    392
   ],
   [
    45,
    83,
    123,
    174,
    232,
    294,
    356,
    393
   ],
   [
    46,
    84,
    124,
    175,
    233,
    295,
    357,
    394
   ],
   [
    47,
    85,
    125,
    176,
    234,
    296,
    358,
    395
   ],
   [
    48,
    86,
    126,
    177,
    235,
    297,
    359,
    396
   ],
   [
    49,
    87,
    127,
    178,
    236,
    298,
    360,
    397
   ],
   [
    50,
    88,
    128,
    179,
    237,
    299,
    361,
    398
   ],
   [
    51,
    89,
    129,
    180,
    238,
    300,
    362,
    399
   ],
   [
    52,
    90,
    130,
    181,
    239,
    301,
    363,
    400
   ],
   [
    53,
    91,
    131,
    182,
    240,
    302,
    364,
    401
   ],
   [
    54,
    92,
    132,
    183,
    241,
    303,
    365,
    402
   ],
   [
    55,
    93,
    133,
    184,
    242,
    304,
    366,
    403
   ],
   [
    56,
    94,
    134,
    185,
    243,
    305,
    367,
    404
   ],
   [
    57,
    95,
    135,
    186,
    244,
    306,
    368,
    405
   ],
   [
    58,
    96,
    136,
    187,
    245,
    307,
    369,
    406
   ],
   [
    59,
    97,
    137,
    188,
    246,
    308,
    370,
    407
   ],
   [
    60,
    98,
    138,
    189,
    247,
    309,
    371,
    408
   ],
   [
    61,
    99,
    139,
    190,
    248,
    310,
    372,
    409
   ],
   [
    62,
    100,
    140,
    191,
    249,
    311,
    373,
    410
   ],
   [
    63,
    101,
    141,
    192,
    250,
    312,
    374,
    411
   ],
   [
    64,
    102,
    142,
    193,
    251,
    313,
    375,
    412
   ],
   [
    65,
    103,
    143,
    194,
    252,
    314,
    376,
    413
   ],
   [
    66,
    104,
    144,
    195,
    253,
    315,
    377,
    414
   ],
   [
    67,
    105,
    145,
    196,
    254,
    316,
    378,
    415
   ],
   [
    68,
    106,
    146,
    197,
    255,
    317,
    379,
    416
   ],
   [
    69,
    107,
    147,
    198,
    256,
    318,
    380,
    417
   ],
   [
    70,
    108,
    148,
    199,
    257,
    319,
    381,
    418
   ],
   [
    71,
    109,
    149,
    200,
    258,
    320,
    382,
    419
   ],
   [
    72,
    110,
    150,
    201,
    259,
    321,
    383,
    420
   ],
   [
    73,
    111,
    151,
    202,
    260,
    322,
    384,
    421
   ],
   [
    74,
    112,
    152,
    203,
    211,
    261,
    323,
    385
   ],
   [
    75,
    113,
    153,
    204,
    212,
    262,
    324,
    386
   ],
   [
    76,
    114,
    154,
    205,
    213,
    263,
    325,
    387
   ],
   [
    77,
    115,
    155,
    206,
    214,
    264,
    326,
    388
   ],
   [
    78,
    116,
    156,
    207,
    215,
    265,
    327,
    389
   ],
   [
    79,
    117,
    157,
    208,
    216,
    266,
    328,
    390
   ],
   [
    80,
    118,
    158,
    209,
    217,
    267,
    329,
    391
   ],
   [
    81,
    119,
    159,
    210,
    218,
    268,
    330,
    392
   ],
   [
    0,
    82,
    120,
    160,
    219,
    269,
    331,
    393
   ],
   [
    1,
    83,
    121,
    161,
    220,
    270,
    332,
    394
   ],
   [
    2,
    84,
    122,
    162,
    221,
    271,
    333,
    395
   ],
   [
    3,
    85,
    123,
    163,
    222,
    272,
    334,
    396
   ],
   [
    4,
    86,
    124,
    164,
    223,
    273,
    335,
    397
   ],
   [
    5,
    87,
    125,
    165,
    224,
    274,
    336,
    398
   ],
   [
    6,
    88,
    126,
    166,
    225,
    275,
    337,
    399
   ],
   [
    7,
    89,
    127,
    167,
    226,
    276,
    338,
    400
   ],
   [
    8,
    90,
    128,
    168,
    227,
    277,
    339,
    401
   ],
   [
    9,
    91,
    129,
    169,
    228,
    278,
    340,
    402
   ],
   [
    10,
    92,
    130,
    170,
    229,
    279,
    341,
    403
   ],
   [
    11,
    93,
    131,
    171,
    230,
    280,
    342,
    404
   ],
   [
    12,
    94,
    132,
    172,
    231,
    281,
    343,
    405
   ],
   [
    13,
    95,
    133,
    173,
    232,
    282,
    344,
    406
   ],
   [
    14,
    96,
    134,
    174,
    233,
    283,
    345,
    407
   ],
   [
    15,
    97,
    135,
    175,
    234,
    284,
    346,
    408
   ],
   [
    16,
    98,
    136,
    176,
    235,
    285,
    347,
    409
   ],
   [
    17,
    99,
    137,
    177,
    236,
    286,
    348,
    410
   ],
   [
    18,
    100,
    138,
    178,
    237,
    287,
    349,
    411
   ],
   [
    19,
    101,
    139,
    179,
    238,
    288,
    350,
    412
   ],
   [
    20,
    102,
    140,
    180,
    239,
    289,
    351,
    413
   ],
   [
    21,
    103,
    141,
    181,
    240,
    290,
    352,
    414
   ],
   [
    22,
    104,
    142,
    182,
    241,
    291,
    353,
    415
   ],
   [
    23,
    105,
    143,
    183,
    242,
    292,
    354,
    416
   ],
   [
    24,
    106,
    144,
    184,
    243,
    293,
    355,
    417
   ],
   [
    25,
    107,
    145,
    185,
    244,
    294,
    356,
    418
   ],
   [
    26,
    108,
    146,
    186,
    245,
    295,
    357,
    419
   ],
   [
    27,
    109,
    147,
    187,
    246,
    296,
    358,
    420
   ],
   [
    28,
    110,
    148,
    188,
    247,
    297,
    359,
    421
   ],
   [
    29,
    111,
    149,
    189,
    211,
    248,
    298,
    360
   ],
   [
    30,
    112,
    150,
    190,
    212,
    249,
    299,
    361
   ],
   [
    31,
    113,
    151,
    191,
    213,
    250,
    300,
    362
   ],
   [
    32,
    114,
    152,
    192,
    214,
    251,
    301,
    363
   ],
   [
    33,
    115,
    153,
    193,
    215,
    252,
    302,
    364
   ],
   [
    34,
    116,
    154,
    194,
    216,
    253,
    303,
    365
   ],
   [
    35,
    117,
    155,
    195,
    217,
    254,
    304,
    366
   ],
   [
    36,
    118,
    156,
    196,
    218,
    255,
    305,
    367
   ],
   [
    37,
    119,
    157,
    197,
    219,
    256,
    306,
    368
   ],
   [
    38,
    120,
    158,
    198,
    220,
    257,
    307,
    369
   ],
   [
    39,
    121,
    159,
    199,
    221,
    258,
    308,
    370
   ],
   [
    40,
    122,
    160,
    200,
    222,
    259,
    309,
    371
   ],
   [
    41,
    123,
    161,
    201,
    223,
    260,
    310,
    372
   ],
   [
    42,
    124,
    162,
    202,
    224,
    261,
    311,
    373
   ],
   [
    43,
    125,
    163,
    203,
    225,
    262,
    312,
    374
   ],
   [
    44,
    126,
    164,
    204,
    226,
    263,
    313,
    375
   ],
   [
    45,
    127,
    165,
    205,
    227,
    264,
    314,
    376
   ],
   [
    46,
    128,
    166,
    206,
    228,
    265,
    315,
    377
   ],
   [
    47,
    129,
    167,
    207,
    229,
    266,
    316,
    378
   ],
   [
    48,
    130,
    168,
    208,
    230,
    267,
    317,
    379
   ],
   [
    49,
    131,
    169,
    209,
    231,
    268,
    318,
    380
   ],
   [
    50,
    132,
    170,
    210,
    232,
    269,
    319,
    381
   ],
   [
    0,
    51,
    133,
    171,
    233,
    270,
    320,
    382
   ],
   [
    1,
    52,
    134,
    172,
    234,
    271,
    321,
    383
   ],
   [
    2,
    53,
    135,
    173,
    235,
    272,
    322,
    384
   ],
   [
    3,
    54,
    136,
    174,
    236,
    273,
    323,
    385
   ],
   [
    4,
    55,
    137,
    175,
    237,
    274,
    324,
    386
   ],
   [
    5,
    56,
    138,
    176,
    238,
    275,
    325,
    387
   ],
   [
    6,
    57,
    139,
    177,
    239,
    276,
    326,
    388
   ],
   [
    7,
    58,
    140,
    178,
    240,
    277,
    327,
    389
   ],
   [
    8,
    59,
    141,
    179,
    241,
    278,
    328,
    390
   ],
   [
    9,
    60,
    142,
    180,
    242,
    279,
    329,
    391
   ],
   [
    10,
    61,
    143,
    181,
    243,
    280,
    330,
    392
   ],
   [
    11,
    62,
    144,
    182,
    244,
    281,
    331,
    393
   ],
   [
    12,
    63,
    145,
    183,
    245,
    282,
    332,
    394
   ],
   [
    13,
    64,
    146,
    184,
    246,
    283,
    333,
    395
   ]
  ],
  "Z": [
   [
    26,
    88,
    138,
    175,
    237,
    275,
    357,
    408
   ],
   [
    27,
    89,
    139,
    176,
    238,
    276,
    358,
    409
   ],
   [
    28,
    90,
    140,
    177,
    239,
    277,
    359,
    410
   ],
   [
    29,
    91,
    141,
    178,
    240,
    278,
    360,
    411
   ],
   [
    30,
    92,
    142,
    179,
    241,
    279,
    361,
    412
   ],
   [
    31,
    93,
    143,
    180,
    242,
    280,
    362,
    413
   ],
   [
    32,
    94,
    144,
    181,
    243,
    281,
    363,
    414
   ],
   [
    33,
    95,
    145,
    182,
    244,
    282,
    364,
    415
   ],
   [
    34,
    96,
    146,
    183,
    245,
    283,
    365,
    416
   ],
   [
    35,
    97,
    147,
    184,
    246,
    284,
    366,
    417
   ],
   [
    36,
    98,
    148,
    185,
    247,
    285,
    367,
    418
   ],
   [
    37,
    99,
    149,
    186,
    248,
    286,
    368,
    419
   ],
   [
    38,
    100,
    150,
    187,
    249,
    287,
    369,
    420
   ],
   [
    39,
    101,
    151,
    188,
    250,
    288,
    370,
    421
   ],
   [
    40,
    102,
    152,
    189,
    211,
    251,
    289,
    371
   ],
   [
    41,
    103,
    153,
    190,
    212,
    252,
    290,
    372
   ],
   [
    42,
    104,
    154,
    191,
    213,
    253,
    291,
    373
   ],
   [
    43,
    105,
    155,
    192,
    214,
    254,
    292,
    374
   ],
   [
    44,
    106,
    156,
    193,
    215,
    255,
    293,
    375
   ],
   [
    45,
    107,
    157,
    194,
    216,
    256,
    294,
    376
   ],
   [
    46,
    108,
    158,
    195,
    217,
    257,
    295,
    377
   ],
   [
    47,
    109,
    159,
    196,
    218,
    258,
    296,
    378
   ],
   [
    48,
    110,
    160,
    197,
    219,
    259,
    297,
    379
   ],
   [
    49,
    111,
    161,
    198,
    220,
    260,
    298,
    380
   ],
   [
    50,
    112,
    162,
    199,
    221,
    261,
    299,
    381
   ],
   [
    51,
    113,
    163,
    200,
    222,
    262,
    300,
    382
   ],
   [
    52,
    114,
    164,
    201,
    223,
    263,
    301,
    383
   ],
   [
    53,
    115,
    165,
    202,
    224,
    264,
    302,
    384
   ],
   [
    54,
    116,
    166,
    203,
    225,
    265,
    303,
    385
   ],
   [
    55,
    117,
    167,
    204,
    226,
    266,
    304,
    386
   ],
   [
    56,
    118,
    168,
    205,
    227,
    267,
    305,
    387
   ],
   [
    57,
    119,
    169,
    206,
    228,
    268,
    306,
    388
   ],
   [
    58,
    120,
    170,
    207,
    229,
    269,
    307,
    389
   ],
   [
    59,
    121,
    171,
    208,
    230,
    270,
    308,
    390
   ],
   [
    60,
    122,
    172,
    209,
    231,
    271,
    309,
    391
   ],
   [
    61,
    123,
    173,
    210,
    232,
    272,
    310,
    392
   ],
   [
    0,
    62,
    124,
    174,
    233,
    273,
    311,
    393
   ],
   [
    1,
    63,
    125,
    175,
    234,
    274,
    312,
    394
   ],
   [
    2,
    64,
    126,
    176,
    235,
    275,
    313,
    395
   ],
   [
    3,
    65,
    127,
    177,
    236,
    276,
    314,
    396
   ],
   [
    4,
    66,
    128,
    178,
    237,
    277,
    315,
    397
   ],
   [
    5,
    67,
    129,
    179,
    238,
    278,
    316,
    398
   ],
   [
    6,
    68,
    130,
    180,
    239,
    279,
    317,
    399
   ],
   [
    7,
    69,
    131,
    181,
    240,
    280,
    318,
    400
   ],
   [
    8,
    70,
    132,
    182,
    241,
    281,
    319,
    401
   ],
   [
    9,
    71,
    133,
    183,
    242,
    282,
    320,
    402
   ],
   [
    10,
    72,
    134,
    184,
    243,
    283,
    321,
    403
   ],
   [
    11,
    73,
    135,
    185,
    244,
    284,
    322,
    404
   ],
   [
    12,
    74,
    136,
    186,
    245,
    285,
    323,
    405
   ],
   [
    13,
    75,
    137,
    187,
    246,
    286,
    324,
    406
   ],
   [
    14,
    76,
    138,
    188,
    247,
    287,
    325,
    407
   ],
   [
    15,
    77,
    139,
    189,
    248,
    288,
    326,
    408
   ],
   [
    16,
    78,
    140,
    190,
    249,
    289,
    327,
    409
   ],
   [
    17,
    79,
    141,
    191,
    250,
    290,
    328,
    410
   ],
   [
    18,
    80,
    142,
    192,
    251,
    291,
    329,
    411
   ],
   [
    19,
    81,
    143,
    193,
    252,
    292,
    330,
    412
   ],
   [
    20,
    82,
    144,
    194,
    253,
    293,
    331,
    413
   ],
   [
    21,
    83,
    145,
    195,
    254,
    294,
    332,
    414
   ],
   [
    22,
    84,
    146,
    196,
    255,
    295,
    333,
    415
   ],
   [
    23,
    85,
    147,
    197,
    256,
    296,
    334,
    416
   ],
   [
    24,
    86,
    148,
    198,
    257,
    297,
    335,
    417
   ],
   [
    25,
    87,
    149,
    199,
    258,
    298,
    336,
    418
   ],
   [
    26,
    88,
    150,
    200,
    259,
    299,
    337,
    419
   ],
   [
    27,
    89,
    151,
    201,
    260,
    300,
    338,
    420
   ],
   [
    28,
    90,
    152,
    202,
    261,
    301,
    339,
    421
   ],
   [
    29,
    91,
    153,
    203,
    211,
    262,
    302,
    340
   ],
   [
    30,
    92,
    154,
    204,
    212,
    263,
    303,
    341
   ],
   [
    31,
    93,
    155,
    205,
    213,
    264,
    304,
    342
   ],
   [
    32,
    94,
    156,
    206,
    214,
    265,
    305,
    343
   ],
   [
    33,
    95,
    157,
    207,
    215,
    266,
    306,
    344
   ],
   [
    34,
    96,
    158,
    208,
    216,
    267,
    307,
    345
   ],
   [
    35,
    97,
    159,
    209,
    217,
    268,
    308,
    346
   ],
   [
    36,
    98,
    160,
    210,
    218,
    269,
    309,
    347
   ],
   [
    0,
    37,
    99,
    161,
    219,
    270,
    310,
    348
   ],
   [
    1,
    38,
    100,
    162,
    220,
    271,
    311,
    349
   ],
   [
    2,
    39,
    101,
    163,
    221,
    272,
    312,
    350
   ],
   [
    3,
    40,
    102,
    164,
    222,
    273,
    313,
    351
   ],
   [
    4,
    41,
    103,
    165,
    223,
    274,
    314,
    352
   ],
   [
    5,
    42,
    104,
    166,
    224,
    275,
    315,
    353
   ],
   [
    6,
    43,
    105,
    167,
    225,
    276,
    316,
    354
   ],
   [
    7,
    44,
    106,
    168,
    226,
    277,
    317,
    355
   ],
   [
    8,
    45,
    107,
    169,
    227,
    278,
    318,
    356
   ],
   [
    9,
    46,
    108,
    170,
    228,
    279,
    319,
    357
   ],
   [
    10,
    47,
    109,
    171,
    229,
    280,
    320,
    358
   ],
   [
    11,
    48,
    110,
    172,
    230,
    281,
    321,
    359
   ],
   [
    12,
    49,
    111,
    173,
    231,
    282,
    322,
    360
   ],
   [
    13,
    50,
    112,
    174,
    232,
    283,
    323,
    361
   ],
   [
    14,
    51,
    113,
    175,
    233,
    284,
    324,
    362
   ],
   [
    15,
    52,
    114,
    176,
    234,
    285,
    325,
    363
   ],
   [
    16,
    53,
    115,
    177,
    235,
    286,
    326,
    364
   ],
   [
    17,
    54,
    116,
    178,
    236,
    287,
    327,
    365
   ],
   [
    18,
    55,
    117,
    179,
    237,
    288,
    328,
    366
   ],
   [
    19,
    56,
    118,
    180,
    238,
    289,
    329,
    367
   ],
   [
    20,
    57,
    119,
    181,
    239,
    290,
    330,
    368
   ],
   [
    21,
    58,
    120,
    182,
    240,
    291,
    331,
    369
   ],
   [
    22,
    59,
    121,
    183,
    241,
    292,
    332,
    370
   ],
   [
    23,
    60,
    122,
    184,
    242,
    293,
    333,
    371
   ],
   [
    24,
    61,
    123,
    185,
    243,
    294,
    334,
    372
   ],
   [
    25,
    62,
    124,
    186,
    244,
    295,
    335,
    373
   ],
   [
    26,
    63,
    125,
    187,
    245,
    296,
    336,
    374
   ],
   [
    27,
    64,
    126,
    188,
    246,
    297,
    337,
    375
   ],
   [
    28,
    65,
    127,
    189,
    247,
    298,
    338,
    376
   ],
   [
    29,
    66,
    128,
    190,
    248,
    299,
    339,
    377
   ],
   [
    30,
    67,
    129,
    191,
    249,
    300,
    340,
    378
   ],
   [
    31,
    68,
    130,
    192,
    250,
    301,
    341,
    379
   ],
   [
    32,
    69,
    131,
    193,
    251,
    302,
    342,
    380
   ],
   [
    33,
    70,
    132,
    194,
    252,
    303,
    343,
    381
   ],
   [
    34,
    71,
    133,
    195,
    253,
    304,
    344,
    382
   ],
   [
    35,
    72,
    134,
    196,
    254,
    305,
    345,
    383
   ],
   [
    36,
    73,
    135,
    197,
    255,
    306,
    346,
    384
   ],
   [
    37,
    74,
    136,
    198,
    256,
    307,
    347,
    385
   ],
   [
    38,
    75,
    137,
    199,
    257,
    308,
    348,
    386
   ],
   [
    39,
    76,
    138,
    200,
    258,
    309,
    349,
    387
   ],
   [
    40,
    77,
    139,
    201,
    259,
    310,
    350,
    388
   ],
   [
    41,
    78,
    140,
    202,
    260,
    311,
    351,
    389
   ],
   [
    42,
    79,
    141,
    203,
    261,
    312,
    352,
    390
   ],
   [
    43,
    80,
    142,
    204,
    262,
    313,
    353,
    391
   ],
   [
    44,
    81,
    143,
    205,
    263,
    314,
    354,
    392
   ],
   [
    45,
    82,
    144,
    206,
    264,
    315,
    355,
    393
   ],
   [
    46,
    83,
    145,
    207,
    265,
    316,
    356,
    394
   ],
   [
    47,
    84,
    146,
    208,
    266,
    317,
    357,
    395
   ],
   [
    48,
    85,
    147,
    209,
    267,
    318,
    358,
    396
   ],
   [
    49,
    86,
    148,
    210,
    268,
    319,
    359,
    397
   ],
   [
    0,
    50,
    87,
    149,
    269,
    320,
    360,
    398
   ],
   [
    1,
    51,
    88,
    150,
    270,
    321,
    361,
    399
   ],
   [
    2,
    52,
    89,
    151,
    271,
    322,
    362,
    400
   ],
   [
    3,
    53,
    90,
    152,
    272,
    323,
    363,
    401
   ],
   [
    4,
    54,
    91,
    153,
    273,
    324,
    364,
    402
   ],
   [
    5,
    55,
    92,
    154,
    274,
    325,
    365,
    403
   ],
   [
    6,
    56,
    93,
    155,
    275,
    326,
    366,
    404
   ],
   [
    7,
    57,
    94,
    156,
    276,
    327,
    367,
    405
   ],
   [
    8,
    58,
    95,
    157,
    277,
    328,
    368,
    406
   ],
   [
    9,
    59,
    96,
    158,
    278,
    329,
    369,
    407
   ],
   [
    10,
    60,
    97,
    159,
    279,
    330,
    370,
    408
   ],
   [
    11,
    61,
    98,
    160,
    280,
    331,
    371,
    409
   ],
   [
    12,
    62,
    99,
    161,
    281,
    332,
    372,
    410
   ],
   [
    13,
    63,
    100,
    162,
    282,
    333,
    373,
    411
   ],
   [
    14,
    64,
    101,
    163,
    283,
    334,
    374,
    412
   ],
   [
    15,
    65,
    102,
    164,
    284,
    335,
    375,
    413
   ],
   [
    16,
    66,
    103,
    165,
    285,
    336,
    376,
    414
   ],
   [
    17,
    67,
    104,
    166,
    286,
    337,
    377,
    415
   ],
   [
    18,
    68,
    105,
    167,
    287,
    338,
    378,
    416
   ],
   [
    19,
    69,
    106,
    168,
    288,
    339,
    379,
    417
   ],
   [
    20,
    70,
    107,
    169,
    289,
    340,
    380,
    418
   ],
   [
    21,
    71,
    108,
    170,
    290,
    341,
    381,
    419
   ],
   [
    22,
    72,
    109,
    171,
    291,
    342,
    382,
    420
   ],
   [
    23,
    73,
    110,
    172,
    292,
    343,
    383,
    421
   ],
   [
    24,
    74,
    111,
    173,
    211,
    293,
    344,
    384
   ],
   [
    25,
    75,
    112,
    174,
    212,
    294,
    345,
    385
   ],
   [
    26,
    76,
    113,
    175,
    213,
    295,
    346,
    386
   ],
   [
    27,
    77,
    114,
    176,
    214,
    296,
    347,
    387
   ],
   [
    28,
    78,
    115,
    177,
    215,
    297,
    348,
    388
   ],
   [
    29,
    79,
    116,
    178,
    216,
    298,
    349,
    389
   ],
   [
    30,
    80,
    117,
    179,
    217,
    299,
    350,
    390
   ],
   [
    31,
    81,
    118,
    180,
    218,
    300,
    351,
    391
   ],
   [
    32,
    82,
    119,
    181,
    219,
    301,
    352,
    392
   ],
   [
    33,
    83,
    120,
    182,
    220,
    302,
    353,
    393
   ],
   [
    34,
    84,
    121,
    183,
    221,
    303,
    354,
    394
   ],
   [
    35,
    85,
    122,
    184,
    222,
    304,
    355,
    395
   ],
   [
    36,
    86,
    123,
    185,
    223,
    305,
    356,
    396
   ],
   [
    37,
    87,
    124,
    186,
    224,
    306,
    357,
    397
   ],
   [
    38,
    88,
    125,
    187,
    225,
    307,
    358,
    398
   ],
   [
    39,
    89,
    126,
    188,
    226,
    308,
    359,
    399
   ],
   [
    40,
    90,
    127,
    189,
    227,
    309,
    360,
    400
   ],
   [
    41,
    91,
    128,
    190,
    228,
    310,
    361,
    401
   ],
   [
    42,
    92,
    129,
    191,
    229,
    311,
    362,
    402
   ],
   [
    43,
    93,
    130,
    192,
    230,
    312,
    363,
    403
   ],
   [
    44,
    94,
    131,
    193,
    231,
    313,
    364,
    404
   ],
   [
    45,
    95,
    132,
    194,
    232,
    314,
    365,
    405
   ],
   [
    46,
    96,
    133,
    195,
    233,
    315,
    366,
    406
   ],
   [
    47,
    97,
    134,
    196,
    234,
    316,
    367,
    407
   ],
   [
    48,
    98,
    135,
    197,
    235,
    317,
    368,
    408
   ],
   [
    49,
    99,
    136,
    198,
    236,
    318,
    369,
    409
   ],
   [
    50,
    100,
    137,
    199,
    237,
    319,
    370,
    410
   ],
   [
    51,
    101,
    138,
    200,
    238,
    320,
    371,
    411
   ],
   [
    52,
    102,
    139,
    201,
    239,
    321,
    372,
    412
   ],
   [
    53,
    103,
    140,
    202,
    240,
    322,
    373,
    413
   ],
   [
    54,
    104,
    141,
    203,
    241,
    323,
    374,
    414
   ],
   [
    55,
    105,
    142,
    204,
    242,
    324,
    375,
    415
   ],
   [
    56,
    106,
    143,
    205,
    243,
    325,
    376,
    416
   ],
   [
    57,
    107,
    144,
    206,
    244,
    326,
    377,
    417
   ],
   [
    58,
    108,
    145,
    207,
    245,
    327,
    378,
    418
   ],
   [
    59,
    109,
    146,
    208,
    246,
    328,
    379,
    419
   ],
   [
    60,
    110,
    147,
    209,
    247,
    329,
    380,
    420
   ],
   [
    61,
    111,
    148,
    210,
    248,
    330,
    381,
    421
   ],
   [
    0,
    62,
    112,
    149,
    211,
    249,
    331,
    382
   ],
   [
    1,
    63,
    113,
    150,
    212,
    250,
    332,
    383
   ],
   [
    2,
    64,
    114,
    151,
    213,
    251,
    333,
    384
   ],
   [
    3,
    65,
    115,
    152,
    214,
    252,
    334,
    385
   ],
   [
    4,
    66,
    116,
    153,
    215,
    253,
    335,
    386
   ],
   [
    5,
    67,
    117,
    154,
    216,
    254,
    336,
    387
   ],
   [
    6,
    68,
    118,
    155,
    217,
    255,
    337,
    388
   ],
   [
    7,
    69,
    119,
    156,
    218,
    256,
    338,
    389
   ],
   [
    8,
    70,
    120,
    157,
    219,
    257,
    339,
    390
   ],
   [
    9,
    71,
    121,
    158,
    220,
    258,
    340,
    391
   ],
   [
    10,
    72,
    122,
    159,
    221,
    259,
    341,
    392
   ],
   [
    11,
    73,
    123,
    160,
    222,
    260,
    342,
    393
   ],
   [
    12,
    74,
    124,
    161,
    223,
    261,
    343,
    394
   ],
   [
    13,
    75,
    125,
    162,
    224,
    262,
    344,
    395
   ],
   [
    14,
    76,
    126,
    163,
    225,
    263,
    345,
    396
   ],
   [
    15,
    77,
    127,
    164,
    226,
    264,
    346,
    397
   ],
   [
    16,
    78,
    128,
    165,
    227,
    265,
    347,
    398
   ],
   [
    17,
    79,
    129,
    166,
    228,
    266,
    348,
    399
   ],
   [
    18,
    80,
    130,
    167,
    229,
    267,
    349,
    400
   ],
   [
    19,
    81,
    131,
    168,
    230,
    268,
    350,
    401
   ],
   [
    20,
    82,
    132,
    169,
    231,
    269,
    351,
    402
   ],
   [
    21,
    83,
    133,
    170,
    232,
    270,
    352,
    403
   ],
   [
    22,
    84,
    134,
    171,
    233,
    271,
    353,
    404
   ],
   [
    23,
    85,
    135,
    172,
    234,
    272,
    354,
    405
   ],
   [
    24,
    86,
    136,
    173,
    235,
    273,
    355,
    406
   ],
   [
    25,
    87,
    137,
    174,
    236,
    274,
    356,
    407
   ]
  ]
 },
 "distance": {
  "d": 37,
  "X": {
   "value": 37,
   "confidence": "upper_bound",
   "witness": [
    26,
    36,
    41,
    45,
    70,
    73,
    76,
    77,
    102,
    120,
    128,
    138,
    139,
    150,
    164,
    174,
    178,
    185,
    190,
    212,
    236,
    238,
    241,
    252,
    256,
    263,
    278,
    289,
    292,
    314,
    334,
    347,
    361,
    369,
    374,
    389,
    393
   ]
  },
  "Z": {
   "value": 37,
   "confidence": "upper_bound",
   "witness": [
    29,
    33,
    48,
    53,
    61,
    75,
    88,
    108,
    130,
    133,
    144,
    159,
    166,
    170,
    181,
    184,
    186,
    210,
    232,
    237,
    244,
    248,
    258,
    272,
    283,
    284,
    294,
    302,
    320,
    345,
    346,
    349,
    352,
    377,
    381,
    386,
    396
   ]
  }
 },
 "provenance": {
  "authors": [
   "@vprusso"
  ],
  "construction": "Cyclic generalized-bicycle code on the ring x^211 - 1 with a(x) = x^14 + x^65 + x^147 + x^185, b(x) = x^36 + x^73 + x^123 + x^185; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].",
  "origin": "submission",
  "novelty": "known_parameters",
  "model": "Claude Opus 5",
  "date": "2026-09-20",
  "notes": "Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed."
 },
 "family": "generalized-bicycle"
}