{
 "schema_version": "0.1",
 "name": "[[470,192,12]]",
 "code_type": "CSS",
 "n": 470,
 "k": 192,
 "checks": {
  "X": [
   [
    1,
    14,
    16,
    107,
    200,
    235,
    298,
    389,
    392,
    413
   ],
   [
    11,
    24,
    26,
    117,
    210,
    245,
    308,
    399,
    402,
    423
   ],
   [
    21,
    34,
    36,
    127,
    220,
    255,
    318,
    409,
    412,
    433
   ],
   [
    31,
    44,
    46,
    137,
    230,
    265,
    328,
    419,
    422,
    443
   ],
   [
    41,
    54,
    56,
    147,
    240,
    275,
    338,
    429,
    432,
    453
   ],
   [
    51,
    64,
    66,
    157,
    250,
    285,
    348,
    439,
    442,
    463
   ],
   [
    3,
    61,
    74,
    76,
    167,
    260,
    295,
    358,
    449,
    452
   ],
   [
    13,
    71,
    84,
    86,
    177,
    270,
    305,
    368,
    459,
    462
   ],
   [
    2,
    23,
    81,
    94,
    96,
    187,
    280,
    315,
    378,
    469
   ],
   [
    9,
    12,
    33,
    91,
    104,
    106,
    197,
    290,
    325,
    388
   ],
   [
    19,
    22,
    43,
    101,
    114,
    116,
    207,
    300,
    335,
    398
   ],
   [
    29,
    32,
    53,
    111,
    124,
    126,
    217,
    310,
    345,
    408
   ],
   [
    39,
    42,
    63,
    121,
    134,
    136,
    227,
    320,
    355,
    418
   ],
   [
    49,
    52,
    73,
    131,
    144,
    146,
    237,
    330,
    365,
    428
   ],
   [
    59,
    62,
    83,
    141,
    154,
    156,
    247,
    340,
    375,
    438
   ],
   [
    69,
    72,
    93,
    151,
    164,
    166,
    257,
    350,
    385,
    448
   ],
   [
    79,
    82,
    103,
    161,
    174,
    176,
    267,
    360,
    395,
    458
   ],
   [
    89,
    92,
    113,
    171,
    184,
    186,
    277,
    370,
    405,
    468
   ],
   [
    8,
    99,
    102,
    123,
    181,
    194,
    196,
    287,
    380,
    415
   ],
   [
    18,
    109,
    112,
    133,
    191,
    204,
    206,
    297,
    390,
    425
   ],
   [
    28,
    119,
    122,
    143,
    201,
    214,
    216,
    307,
    400,
    435
   ],
   [
    38,
    129,
    132,
    153,
    211,
    224,
    226,
    317,
    410,
    445
   ],
   [
    48,
    139,
    142,
    163,
    221,
    234,
    236,
    327,
    420,
    455
   ],
   [
    58,
    149,
    152,
    173,
    231,
    244,
    246,
    337,
    430,
    465
   ],
   [
    5,
    68,
    159,
    162,
    183,
    241,
    254,
    256,
    347,
    440
   ],
   [
    15,
    78,
    169,
    172,
    193,
    251,
    264,
    266,
    357,
    450
   ],
   [
    25,
    88,
    179,
    182,
    203,
    261,
    274,
    276,
    367,
    460
   ],
   [
    0,
    35,
    98,
    189,
    192,
    213,
    271,
    284,
    286,
    377
   ],
   [
    10,
    45,
    108,
    199,
    202,
    223,
    281,
    294,
    296,
    387
   ],
   [
    20,
    55,
    118,
    209,
    212,
    233,
    291,
    304,
    306,
    397
   ],
   [
    30,
    65,
    128,
    219,
    222,
    243,
    301,
    314,
    316,
    407
   ],
   [
    40,
    75,
    138,
    229,
    232,
    253,
    311,
    324,
    326,
    417
   ],
   [
    50,
    85,
    148,
    239,
    242,
    263,
    321,
    334,
    336,
    427
   ],
   [
    60,
    95,
    158,
    249,
    252,
    273,
    331,
    344,
    346,
    437
   ],
   [
    70,
    105,
    168,
    259,
    262,
    283,
    341,
    354,
    356,
    447
   ],
   [
    80,
    115,
    178,
    269,
    272,
    293,
    351,
    364,
    366,
    457
   ],
   [
    90,
    125,
    188,
    279,
    282,
    303,
    361,
    374,
    376,
    467
   ],
   [
    7,
    100,
    135,
    198,
    289,
    292,
    313,
    371,
    384,
    386
   ],
   [
    17,
    110,
    145,
    208,
    299,
    302,
    323,
    381,
    394,
    396
   ],
   [
    27,
    120,
    155,
    218,
    309,
    312,
    333,
    391,
    404,
    406
   ],
   [
    37,
    130,
    165,
    228,
    319,
    322,
    343,
    401,
    414,
    416
   ],
   [
    47,
    140,
    175,
    238,
    329,
    332,
    353,
    411,
    424,
    426
   ],
   [
    57,
    150,
    185,
    248,
    339,
    342,
    363,
    421,
    434,
    436
   ],
   [
    67,
    160,
    195,
    258,
    349,
    352,
    373,
    431,
    444,
    446
   ],
   [
    77,
    170,
    205,
    268,
    359,
    362,
    383,
    441,
    454,
    456
   ],
   [
    87,
    180,
    215,
    278,
    369,
    372,
    393,
    451,
    464,
    466
   ],
   [
    4,
    6,
    97,
    190,
    225,
    288,
    379,
    382,
    403,
    461
   ],
   [
    232,
    236,
    298,
    310,
    333,
    387,
    401,
    409,
    435,
    464
   ],
   [
    4,
    242,
    246,
    308,
    320,
    343,
    397,
    411,
    419,
    445
   ],
   [
    14,
    252,
    256,
    318,
    330,
    353,
    407,
    421,
    429,
    455
   ],
   [
    24,
    262,
    266,
    328,
    340,
    363,
    417,
    431,
    439,
    465
   ],
   [
    5,
    34,
    272,
    276,
    338,
    350,
    373,
    427,
    441,
    449
   ],
   [
    15,
    44,
    282,
    286,
    348,
    360,
    383,
    437,
    451,
    459
   ],
   [
    25,
    54,
    292,
    296,
    358,
    370,
    393,
    447,
    461,
    469
   ],
   [
    1,
    9,
    35,
    64,
    302,
    306,
    368,
    380,
    403,
    457
   ],
   [
    11,
    19,
    45,
    74,
    312,
    316,
    378,
    390,
    413,
    467
   ],
   [
    7,
    21,
    29,
    55,
    84,
    322,
    326,
    388,
    400,
    423
   ],
   [
    17,
    31,
    39,
    65,
    94,
    332,
    336,
    398,
    410,
    433
   ],
   [
    27,
    41,
    49,
    75,
    104,
    342,
    346,
    408,
    420,
    443
   ],
   [
    37,
    51,
    59,
    85,
    114,
    352,
    356,
    418,
    430,
    453
   ],
   [
    47,
    61,
    69,
    95,
    124,
    362,
    366,
    428,
    440,
    463
   ],
   [
    3,
    57,
    71,
    79,
    105,
    134,
    372,
    376,
    438,
    450
   ],
   [
    13,
    67,
    81,
    89,
    115,
    144,
    382,
    386,
    448,
    460
   ],
   [
    0,
    23,
    77,
    91,
    99,
    125,
    154,
    392,
    396,
    458
   ],
   [
    10,
    33,
    87,
    101,
    109,
    135,
    164,
    402,
    406,
    468
   ],
   [
    8,
    20,
    43,
    97,
    111,
    119,
    145,
    174,
    412,
    416
   ],
   [
    18,
    30,
    53,
    107,
    121,
    129,
    155,
    184,
    422,
    426
   ],
   [
    28,
    40,
    63,
    117,
    131,
    139,
    165,
    194,
    432,
    436
   ],
   [
    38,
    50,
    73,
    127,
    141,
    149,
    175,
    204,
    442,
    446
   ],
   [
    48,
    60,
    83,
    137,
    151,
    159,
    185,
    214,
    452,
    456
   ],
   [
    58,
    70,
    93,
    147,
    161,
    169,
    195,
    224,
    462,
    466
   ],
   [
    2,
    6,
    68,
    80,
    103,
    157,
    171,
    179,
    205,
    234
   ],
   [
    12,
    16,
    78,
    90,
    113,
    167,
    181,
    189,
    215,
    244
   ],
   [
    22,
    26,
    88,
    100,
    123,
    177,
    191,
    199,
    225,
    254
   ],
   [
    32,
    36,
    98,
    110,
    133,
    187,
    201,
    209,
    235,
    264
   ],
   [
    42,
    46,
    108,
    120,
    143,
    197,
    211,
    219,
    245,
    274
   ],
   [
    52,
    56,
    118,
    130,
    153,
    207,
    221,
    229,
    255,
    284
   ],
   [
    62,
    66,
    128,
    140,
    163,
    217,
    231,
    239,
    265,
    294
   ],
   [
    72,
    76,
    138,
    150,
    173,
    227,
    241,
    249,
    275,
    304
   ],
   [
    82,
    86,
    148,
    160,
    183,
    237,
    251,
    259,
    285,
    314
   ],
   [
    92,
    96,
    158,
    170,
    193,
    247,
    261,
    269,
    295,
    324
   ],
   [
    102,
    106,
    168,
    180,
    203,
    257,
    271,
    279,
    305,
    334
   ],
   [
    112,
    116,
    178,
    190,
    213,
    267,
    281,
    289,
    315,
    344
   ],
   [
    122,
    126,
    188,
    200,
    223,
    277,
    291,
    299,
    325,
    354
   ],
   [
    132,
    136,
    198,
    210,
    233,
    287,
    301,
    309,
    335,
    364
   ],
   [
    142,
    146,
    208,
    220,
    243,
    297,
    311,
    319,
    345,
    374
   ],
   [
    152,
    156,
    218,
    230,
    253,
    307,
    321,
    329,
    355,
    384
   ],
   [
    162,
    166,
    228,
    240,
    263,
    317,
    331,
    339,
    365,
    394
   ],
   [
    172,
    176,
    238,
    250,
    273,
    327,
    341,
    349,
    375,
    404
   ],
   [
    182,
    186,
    248,
    260,
    283,
    337,
    351,
    359,
    385,
    414
   ],
   [
    192,
    196,
    258,
    270,
    293,
    347,
    361,
    369,
    395,
    424
   ],
   [
    202,
    206,
    268,
    280,
    303,
    357,
    371,
    379,
    405,
    434
   ],
   [
    212,
    216,
    278,
    290,
    313,
    367,
    381,
    389,
    415,
    444
   ],
   [
    222,
    226,
    288,
    300,
    323,
    377,
    391,
    399,
    425,
    454
   ],
   [
    26,
    27,
    190,
    255,
    304,
    321,
    383,
    388,
    392,
    449
   ],
   [
    36,
    37,
    200,
    265,
    314,
    331,
    393,
    398,
    402,
    459
   ],
   [
    46,
    47,
    210,
    275,
    324,
    341,
    403,
    408,
    412,
    469
   ],
   [
    9,
    56,
    57,
    220,
    285,
    334,
    351,
    413,
    418,
    422
   ],
   [
    19,
    66,
    67,
    230,
    295,
    344,
    361,
    423,
    428,
    432
   ],
   [
    29,
    76,
    77,
    240,
    305,
    354,
    371,
    433,
    438,
    442
   ],
   [
    39,
    86,
    87,
    250,
    315,
    364,
    381,
    443,
    448,
    452
   ],
   [
    49,
    96,
    97,
    260,
    325,
    374,
    391,
    453,
    458,
    462
   ],
   [
    2,
    59,
    106,
    107,
    270,
    335,
    384,
    401,
    463,
    468
   ],
   [
    3,
    8,
    12,
    69,
    116,
    117,
    280,
    345,
    394,
    411
   ],
   [
    13,
    18,
    22,
    79,
    126,
    127,
    290,
    355,
    404,
    421
   ],
   [
    23,
    28,
    32,
    89,
    136,
    137,
    300,
    365,
    414,
    431
   ],
   [
    33,
    38,
    42,
    99,
    146,
    147,
    310,
    375,
    424,
    441
   ],
   [
    43,
    48,
    52,
    109,
    156,
    157,
    320,
    385,
    434,
    451
   ],
   [
    53,
    58,
    62,
    119,
    166,
    167,
    330,
    395,
    444,
    461
   ],
   [
    1,
    63,
    68,
    72,
    129,
    176,
    177,
    340,
    405,
    454
   ],
   [
    11,
    73,
    78,
    82,
    139,
    186,
    187,
    350,
    415,
    464
   ],
   [
    4,
    21,
    83,
    88,
    92,
    149,
    196,
    197,
    360,
    425
   ],
   [
    14,
    31,
    93,
    98,
    102,
    159,
    206,
    207,
    370,
    435
   ],
   [
    24,
    41,
    103,
    108,
    112,
    169,
    216,
    217,
    380,
    445
   ],
   [
    34,
    51,
    113,
    118,
    122,
    179,
    226,
    227,
    390,
    455
   ],
   [
    44,
    61,
    123,
    128,
    132,
    189,
    236,
    237,
    400,
    465
   ],
   [
    5,
    54,
    71,
    133,
    138,
    142,
    199,
    246,
    247,
    410
   ],
   [
    15,
    64,
    81,
    143,
    148,
    152,
    209,
    256,
    257,
    420
   ],
   [
    25,
    74,
    91,
    153,
    158,
    162,
    219,
    266,
    267,
    430
   ],
   [
    35,
    84,
    101,
    163,
    168,
    172,
    229,
    276,
    277,
    440
   ],
   [
    45,
    94,
    111,
    173,
    178,
    182,
    239,
    286,
    287,
    450
   ],
   [
    55,
    104,
    121,
    183,
    188,
    192,
    249,
    296,
    297,
    460
   ],
   [
    0,
    65,
    114,
    131,
    193,
    198,
    202,
    259,
    306,
    307
   ],
   [
    10,
    75,
    124,
    141,
    203,
    208,
    212,
    269,
    316,
    317
   ],
   [
    20,
    85,
    134,
    151,
    213,
    218,
    222,
    279,
    326,
    327
   ],
   [
    30,
    95,
    144,
    161,
    223,
    228,
    232,
    289,
    336,
    337
   ],
   [
    40,
    105,
    154,
    171,
    233,
    238,
    242,
    299,
    346,
    347
   ],
   [
    50,
    115,
    164,
    181,
    243,
    248,
    252,
    309,
    356,
    357
   ],
   [
    60,
    125,
    174,
    191,
    253,
    258,
    262,
    319,
    366,
    367
   ],
   [
    70,
    135,
    184,
    201,
    263,
    268,
    272,
    329,
    376,
    377
   ],
   [
    80,
    145,
    194,
    211,
    273,
    278,
    282,
    339,
    386,
    387
   ],
   [
    90,
    155,
    204,
    221,
    283,
    288,
    292,
    349,
    396,
    397
   ],
   [
    100,
    165,
    214,
    231,
    293,
    298,
    302,
    359,
    406,
    407
   ],
   [
    110,
    175,
    224,
    241,
    303,
    308,
    312,
    369,
    416,
    417
   ],
   [
    120,
    185,
    234,
    251,
    313,
    318,
    322,
    379,
    426,
    427
   ],
   [
    130,
    195,
    244,
    261,
    323,
    328,
    332,
    389,
    436,
    437
   ],
   [
    140,
    205,
    254,
    271,
    333,
    338,
    342,
    399,
    446,
    447
   ],
   [
    150,
    215,
    264,
    281,
    343,
    348,
    352,
    409,
    456,
    457
   ],
   [
    160,
    225,
    274,
    291,
    353,
    358,
    362,
    419,
    466,
    467
   ],
   [
    6,
    7,
    170,
    235,
    284,
    301,
    363,
    368,
    372,
    429
   ],
   [
    16,
    17,
    180,
    245,
    294,
    311,
    373,
    378,
    382,
    439
   ]
  ],
  "Z": [
   [
    87,
    101,
    168,
    180,
    262,
    335,
    364,
    366,
    439,
    463
   ],
   [
    3,
    97,
    111,
    178,
    190,
    272,
    345,
    374,
    376,
    449
   ],
   [
    13,
    107,
    121,
    188,
    200,
    282,
    355,
    384,
    386,
    459
   ],
   [
    23,
    117,
    131,
    198,
    210,
    292,
    365,
    394,
    396,
    469
   ],
   [
    9,
    33,
    127,
    141,
    208,
    220,
    302,
    375,
    404,
    406
   ],
   [
    19,
    43,
    137,
    151,
    218,
    230,
    312,
    385,
    414,
    416
   ],
   [
    29,
    53,
    147,
    161,
    228,
    240,
    322,
    395,
    424,
    426
   ],
   [
    39,
    63,
    157,
    171,
    238,
    250,
    332,
    405,
    434,
    436
   ],
   [
    49,
    73,
    167,
    181,
    248,
    260,
    342,
    415,
    444,
    446
   ],
   [
    59,
    83,
    177,
    191,
    258,
    270,
    352,
    425,
    454,
    456
   ],
   [
    69,
    93,
    187,
    201,
    268,
    280,
    362,
    435,
    464,
    466
   ],
   [
    4,
    6,
    79,
    103,
    197,
    211,
    278,
    290,
    372,
    445
   ],
   [
    14,
    16,
    89,
    113,
    207,
    221,
    288,
    300,
    382,
    455
   ],
   [
    24,
    26,
    99,
    123,
    217,
    231,
    298,
    310,
    392,
    465
   ],
   [
    5,
    34,
    36,
    109,
    133,
    227,
    241,
    308,
    320,
    402
   ],
   [
    15,
    44,
    46,
    119,
    143,
    237,
    251,
    318,
    330,
    412
   ],
   [
    25,
    54,
    56,
    129,
    153,
    247,
    261,
    328,
    340,
    422
   ],
   [
    35,
    64,
    66,
    139,
    163,
    257,
    271,
    338,
    350,
    432
   ],
   [
    45,
    74,
    76,
    149,
    173,
    267,
    281,
    348,
    360,
    442
   ],
   [
    55,
    84,
    86,
    159,
    183,
    277,
    291,
    358,
    370,
    452
   ],
   [
    65,
    94,
    96,
    169,
    193,
    287,
    301,
    368,
    380,
    462
   ],
   [
    2,
    75,
    104,
    106,
    179,
    203,
    297,
    311,
    378,
    390
   ],
   [
    12,
    85,
    114,
    116,
    189,
    213,
    307,
    321,
    388,
    400
   ],
   [
    22,
    95,
    124,
    126,
    199,
    223,
    317,
    331,
    398,
    410
   ],
   [
    32,
    105,
    134,
    136,
    209,
    233,
    327,
    341,
    408,
    420
   ],
   [
    42,
    115,
    144,
    146,
    219,
    243,
    337,
    351,
    418,
    430
   ],
   [
    52,
    125,
    154,
    156,
    229,
    253,
    347,
    361,
    428,
    440
   ],
   [
    62,
    135,
    164,
    166,
    239,
    263,
    357,
    371,
    438,
    450
   ],
   [
    72,
    145,
    174,
    176,
    249,
    273,
    367,
    381,
    448,
    460
   ],
   [
    0,
    82,
    155,
    184,
    186,
    259,
    283,
    377,
    391,
    458
   ],
   [
    10,
    92,
    165,
    194,
    196,
    269,
    293,
    387,
    401,
    468
   ],
   [
    8,
    20,
    102,
    175,
    204,
    206,
    279,
    303,
    397,
    411
   ],
   [
    18,
    30,
    112,
    185,
    214,
    216,
    289,
    313,
    407,
    421
   ],
   [
    28,
    40,
    122,
    195,
    224,
    226,
    299,
    323,
    417,
    431
   ],
   [
    38,
    50,
    132,
    205,
    234,
    236,
    309,
    333,
    427,
    441
   ],
   [
    48,
    60,
    142,
    215,
    244,
    246,
    319,
    343,
    437,
    451
   ],
   [
    58,
    70,
    152,
    225,
    254,
    256,
    329,
    353,
    447,
    461
   ],
   [
    1,
    68,
    80,
    162,
    235,
    264,
    266,
    339,
    363,
    457
   ],
   [
    11,
    78,
    90,
    172,
    245,
    274,
    276,
    349,
    373,
    467
   ],
   [
    7,
    21,
    88,
    100,
    182,
    255,
    284,
    286,
    359,
    383
   ],
   [
    17,
    31,
    98,
    110,
    192,
    265,
    294,
    296,
    369,
    393
   ],
   [
    27,
    41,
    108,
    120,
    202,
    275,
    304,
    306,
    379,
    403
   ],
   [
    37,
    51,
    118,
    130,
    212,
    285,
    314,
    316,
    389,
    413
   ],
   [
    47,
    61,
    128,
    140,
    222,
    295,
    324,
    326,
    399,
    423
   ],
   [
    57,
    71,
    138,
    150,
    232,
    305,
    334,
    336,
    409,
    433
   ],
   [
    67,
    81,
    148,
    160,
    242,
    315,
    344,
    346,
    419,
    443
   ],
   [
    77,
    91,
    158,
    170,
    252,
    325,
    354,
    356,
    429,
    453
   ],
   [
    61,
    167,
    244,
    330,
    363,
    428,
    429,
    432,
    436,
    465
   ],
   [
    5,
    71,
    177,
    254,
    340,
    373,
    438,
    439,
    442,
    446
   ],
   [
    15,
    81,
    187,
    264,
    350,
    383,
    448,
    449,
    452,
    456
   ],
   [
    25,
    91,
    197,
    274,
    360,
    393,
    458,
    459,
    462,
    466
   ],
   [
    2,
    6,
    35,
    101,
    207,
    284,
    370,
    403,
    468,
    469
   ],
   [
    8,
    9,
    12,
    16,
    45,
    111,
    217,
    294,
    380,
    413
   ],
   [
    18,
    19,
    22,
    26,
    55,
    121,
    227,
    304,
    390,
    423
   ],
   [
    28,
    29,
    32,
    36,
    65,
    131,
    237,
    314,
    400,
    433
   ],
   [
    38,
    39,
    42,
    46,
    75,
    141,
    247,
    324,
    410,
    443
   ],
   [
    48,
    49,
    52,
    56,
    85,
    151,
    257,
    334,
    420,
    453
   ],
   [
    58,
    59,
    62,
    66,
    95,
    161,
    267,
    344,
    430,
    463
   ],
   [
    3,
    68,
    69,
    72,
    76,
    105,
    171,
    277,
    354,
    440
   ],
   [
    13,
    78,
    79,
    82,
    86,
    115,
    181,
    287,
    364,
    450
   ],
   [
    23,
    88,
    89,
    92,
    96,
    125,
    191,
    297,
    374,
    460
   ],
   [
    0,
    33,
    98,
    99,
    102,
    106,
    135,
    201,
    307,
    384
   ],
   [
    10,
    43,
    108,
    109,
    112,
    116,
    145,
    211,
    317,
    394
   ],
   [
    20,
    53,
    118,
    119,
    122,
    126,
    155,
    221,
    327,
    404
   ],
   [
    30,
    63,
    128,
    129,
    132,
    136,
    165,
    231,
    337,
    414
   ],
   [
    40,
    73,
    138,
    139,
    142,
    146,
    175,
    241,
    347,
    424
   ],
   [
    50,
    83,
    148,
    149,
    152,
    156,
    185,
    251,
    357,
    434
   ],
   [
    60,
    93,
    158,
    159,
    162,
    166,
    195,
    261,
    367,
    444
   ],
   [
    70,
    103,
    168,
    169,
    172,
    176,
    205,
    271,
    377,
    454
   ],
   [
    80,
    113,
    178,
    179,
    182,
    186,
    215,
    281,
    387,
    464
   ],
   [
    4,
    90,
    123,
    188,
    189,
    192,
    196,
    225,
    291,
    397
   ],
   [
    14,
    100,
    133,
    198,
    199,
    202,
    206,
    235,
    301,
    407
   ],
   [
    24,
    110,
    143,
    208,
    209,
    212,
    216,
    245,
    311,
    417
   ],
   [
    34,
    120,
    153,
    218,
    219,
    222,
    226,
    255,
    321,
    427
   ],
   [
    44,
    130,
    163,
    228,
    229,
    232,
    236,
    265,
    331,
    437
   ],
   [
    54,
    140,
    173,
    238,
    239,
    242,
    246,
    275,
    341,
    447
   ],
   [
    64,
    150,
    183,
    248,
    249,
    252,
    256,
    285,
    351,
    457
   ],
   [
    74,
    160,
    193,
    258,
    259,
    262,
    266,
    295,
    361,
    467
   ],
   [
    7,
    84,
    170,
    203,
    268,
    269,
    272,
    276,
    305,
    371
   ],
   [
    17,
    94,
    180,
    213,
    278,
    279,
    282,
    286,
    315,
    381
   ],
   [
    27,
    104,
    190,
    223,
    288,
    289,
    292,
    296,
    325,
    391
   ],
   [
    37,
    114,
    200,
    233,
    298,
    299,
    302,
    306,
    335,
    401
   ],
   [
    47,
    124,
    210,
    243,
    308,
    309,
    312,
    316,
    345,
    411
   ],
   [
    57,
    134,
    220,
    253,
    318,
    319,
    322,
    326,
    355,
    421
   ],
   [
    67,
    144,
    230,
    263,
    328,
    329,
    332,
    336,
    365,
    431
   ],
   [
    77,
    154,
    240,
    273,
    338,
    339,
    342,
    346,
    375,
    441
   ],
   [
    87,
    164,
    250,
    283,
    348,
    349,
    352,
    356,
    385,
    451
   ],
   [
    97,
    174,
    260,
    293,
    358,
    359,
    362,
    366,
    395,
    461
   ],
   [
    1,
    107,
    184,
    270,
    303,
    368,
    369,
    372,
    376,
    405
   ],
   [
    11,
    117,
    194,
    280,
    313,
    378,
    379,
    382,
    386,
    415
   ],
   [
    21,
    127,
    204,
    290,
    323,
    388,
    389,
    392,
    396,
    425
   ],
   [
    31,
    137,
    214,
    300,
    333,
    398,
    399,
    402,
    406,
    435
   ],
   [
    41,
    147,
    224,
    310,
    343,
    408,
    409,
    412,
    416,
    445
   ],
   [
    51,
    157,
    234,
    320,
    353,
    418,
    419,
    422,
    426,
    455
   ],
   [
    71,
    105,
    154,
    170,
    247,
    283,
    302,
    359,
    368,
    396
   ],
   [
    81,
    115,
    164,
    180,
    257,
    293,
    312,
    369,
    378,
    406
   ],
   [
    91,
    125,
    174,
    190,
    267,
    303,
    322,
    379,
    388,
    416
   ],
   [
    101,
    135,
    184,
    200,
    277,
    313,
    332,
    389,
    398,
    426
   ],
   [
    111,
    145,
    194,
    210,
    287,
    323,
    342,
    399,
    408,
    436
   ],
   [
    121,
    155,
    204,
    220,
    297,
    333,
    352,
    409,
    418,
    446
   ],
   [
    131,
    165,
    214,
    230,
    307,
    343,
    362,
    419,
    428,
    456
   ],
   [
    141,
    175,
    224,
    240,
    317,
    353,
    372,
    429,
    438,
    466
   ],
   [
    6,
    151,
    185,
    234,
    250,
    327,
    363,
    382,
    439,
    448
   ],
   [
    16,
    161,
    195,
    244,
    260,
    337,
    373,
    392,
    449,
    458
   ],
   [
    26,
    171,
    205,
    254,
    270,
    347,
    383,
    402,
    459,
    468
   ],
   [
    8,
    36,
    181,
    215,
    264,
    280,
    357,
    393,
    412,
    469
   ],
   [
    9,
    18,
    46,
    191,
    225,
    274,
    290,
    367,
    403,
    422
   ],
   [
    19,
    28,
    56,
    201,
    235,
    284,
    300,
    377,
    413,
    432
   ],
   [
    29,
    38,
    66,
    211,
    245,
    294,
    310,
    387,
    423,
    442
   ],
   [
    39,
    48,
    76,
    221,
    255,
    304,
    320,
    397,
    433,
    452
   ],
   [
    49,
    58,
    86,
    231,
    265,
    314,
    330,
    407,
    443,
    462
   ],
   [
    2,
    59,
    68,
    96,
    241,
    275,
    324,
    340,
    417,
    453
   ],
   [
    12,
    69,
    78,
    106,
    251,
    285,
    334,
    350,
    427,
    463
   ],
   [
    3,
    22,
    79,
    88,
    116,
    261,
    295,
    344,
    360,
    437
   ],
   [
    13,
    32,
    89,
    98,
    126,
    271,
    305,
    354,
    370,
    447
   ],
   [
    23,
    42,
    99,
    108,
    136,
    281,
    315,
    364,
    380,
    457
   ],
   [
    33,
    52,
    109,
    118,
    146,
    291,
    325,
    374,
    390,
    467
   ],
   [
    7,
    43,
    62,
    119,
    128,
    156,
    301,
    335,
    384,
    400
   ],
   [
    17,
    53,
    72,
    129,
    138,
    166,
    311,
    345,
    394,
    410
   ],
   [
    27,
    63,
    82,
    139,
    148,
    176,
    321,
    355,
    404,
    420
   ],
   [
    37,
    73,
    92,
    149,
    158,
    186,
    331,
    365,
    414,
    430
   ],
   [
    47,
    83,
    102,
    159,
    168,
    196,
    341,
    375,
    424,
    440
   ],
   [
    57,
    93,
    112,
    169,
    178,
    206,
    351,
    385,
    434,
    450
   ],
   [
    67,
    103,
    122,
    179,
    188,
    216,
    361,
    395,
    444,
    460
   ],
   [
    0,
    77,
    113,
    132,
    189,
    198,
    226,
    371,
    405,
    454
   ],
   [
    10,
    87,
    123,
    142,
    199,
    208,
    236,
    381,
    415,
    464
   ],
   [
    4,
    20,
    97,
    133,
    152,
    209,
    218,
    246,
    391,
    425
   ],
   [
    14,
    30,
    107,
    143,
    162,
    219,
    228,
    256,
    401,
    435
   ],
   [
    24,
    40,
    117,
    153,
    172,
    229,
    238,
    266,
    411,
    445
   ],
   [
    34,
    50,
    127,
    163,
    182,
    239,
    248,
    276,
    421,
    455
   ],
   [
    44,
    60,
    137,
    173,
    192,
    249,
    258,
    286,
    431,
    465
   ],
   [
    5,
    54,
    70,
    147,
    183,
    202,
    259,
    268,
    296,
    441
   ],
   [
    15,
    64,
    80,
    157,
    193,
    212,
    269,
    278,
    306,
    451
   ],
   [
    25,
    74,
    90,
    167,
    203,
    222,
    279,
    288,
    316,
    461
   ],
   [
    1,
    35,
    84,
    100,
    177,
    213,
    232,
    289,
    298,
    326
   ],
   [
    11,
    45,
    94,
    110,
    187,
    223,
    242,
    299,
    308,
    336
   ],
   [
    21,
    55,
    104,
    120,
    197,
    233,
    252,
    309,
    318,
    346
   ],
   [
    31,
    65,
    114,
    130,
    207,
    243,
    262,
    319,
    328,
    356
   ],
   [
    41,
    75,
    124,
    140,
    217,
    253,
    272,
    329,
    338,
    366
   ],
   [
    51,
    85,
    134,
    150,
    227,
    263,
    282,
    339,
    348,
    376
   ],
   [
    61,
    95,
    144,
    160,
    237,
    273,
    292,
    349,
    358,
    386
   ]
  ]
 },
 "distance": {
  "d": 12,
  "X": {
   "value": 12,
   "confidence": "upper_bound",
   "witness": [
    5,
    23,
    97,
    100,
    108,
    109,
    177,
    202,
    359,
    374,
    396,
    425
   ]
  },
  "Z": {
   "value": 12,
   "confidence": "upper_bound",
   "witness": [
    14,
    78,
    98,
    100,
    123,
    189,
    264,
    298,
    313,
    318,
    409,
    415
   ]
  }
 },
 "provenance": {
  "authors": [
   "@MathysRennela",
   "Okada, Koki",
   "Kasai, Kenta",
   "Maskara, Nishad"
  ],
  "construction": "Pair-partition CPM/GPM CSS code (Okada-Kasai arXiv:2607.14091 catalogue), (J,L,P)=(3,10,47), check weight 10; expanded from the authors' published exponent file https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/cpm/qc_470_192_d12to22.cpm (sha256 00e39744b3e413f83b6a5f031dc563636260de3a63f05a7b9440e30992297a76), structure and distance re-verified here",
  "origin": "baseline",
  "date": "2026-09-29",
  "model": "Mimo-V2.6-Flash",
  "notes": "Literature reproduction of a published instance from the Okada-Kasai pair-partition catalogue (https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_20260714.html), not a new construction search. Equivalence checked at submission time: the dedup gate finds no exact or graph-equivalent existing entry, and verify/validate_candidate.py reports nothing dominating this code in its cell. The gate finds no existing entry this code dominates either, so it fills a gap in the cell rather than displacing anything.",
  "novelty": "known_parameters",
  "references": [
   "arXiv:2607.14091"
  ]
 },
 "family": "pair-partition-cpm"
}