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