{
 "schema_version": "0.3",
 "name": "[[390,32,30]] cyclic lifted product over F_2[Z_195] at check weight 10",
 "code_type": "CSS",
 "n": 390,
 "k": 32,
 "checks": {
  "X": [
   [
    0,
    9,
    40,
    167,
    190,
    195,
    229,
    304,
    326,
    389
   ],
   [
    1,
    10,
    41,
    168,
    191,
    195,
    196,
    230,
    305,
    327
   ],
   [
    2,
    11,
    42,
    169,
    192,
    196,
    197,
    231,
    306,
    328
   ],
   [
    3,
    12,
    43,
    170,
    193,
    197,
    198,
    232,
    307,
    329
   ],
   [
    4,
    13,
    44,
    171,
    194,
    198,
    199,
    233,
    308,
    330
   ],
   [
    0,
    5,
    14,
    45,
    172,
    199,
    200,
    234,
    309,
    331
   ],
   [
    1,
    6,
    15,
    46,
    173,
    200,
    201,
    235,
    310,
    332
   ],
   [
    2,
    7,
    16,
    47,
    174,
    201,
    202,
    236,
    311,
    333
   ],
   [
    3,
    8,
    17,
    48,
    175,
    202,
    203,
    237,
    312,
    334
   ],
   [
    4,
    9,
    18,
    49,
    176,
    203,
    204,
    238,
    313,
    335
   ],
   [
    5,
    10,
    19,
    50,
    177,
    204,
    205,
    239,
    314,
    336
   ],
   [
    6,
    11,
    20,
    51,
    178,
    205,
    206,
    240,
    315,
    337
   ],
   [
    7,
    12,
    21,
    52,
    179,
    206,
    207,
    241,
    316,
    338
   ],
   [
    8,
    13,
    22,
    53,
    180,
    207,
    208,
    242,
    317,
    339
   ],
   [
    9,
    14,
    23,
    54,
    181,
    208,
    209,
    243,
    318,
    340
   ],
   [
    10,
    15,
    24,
    55,
    182,
    209,
    210,
    244,
    319,
    341
   ],
   [
    11,
    16,
    25,
    56,
    183,
    210,
    211,
    245,
    320,
    342
   ],
   [
    12,
    17,
    26,
    57,
    184,
    211,
    212,
    246,
    321,
    343
   ],
   [
    13,
    18,
    27,
    58,
    185,
    212,
    213,
    247,
    322,
    344
   ],
   [
    14,
    19,
    28,
    59,
    186,
    213,
    214,
    248,
    323,
    345
   ],
   [
    15,
    20,
    29,
    60,
    187,
    214,
    215,
    249,
    324,
    346
   ],
   [
    16,
    21,
    30,
    61,
    188,
    215,
    216,
    250,
    325,
    347
   ],
   [
    17,
    22,
    31,
    62,
    189,
    216,
    217,
    251,
    326,
    348
   ],
   [
    18,
    23,
    32,
    63,
    190,
    217,
    218,
    252,
    327,
    349
   ],
   [
    19,
    24,
    33,
    64,
    191,
    218,
    219,
    253,
    328,
    350
   ],
   [
    20,
    25,
    34,
    65,
    192,
    219,
    220,
    254,
    329,
    351
   ],
   [
    21,
    26,
    35,
    66,
    193,
    220,
    221,
    255,
    330,
    352
   ],
   [
    22,
    27,
    36,
    67,
    194,
    221,
    222,
    256,
    331,
    353
   ],
   [
    0,
    23,
    28,
    37,
    68,
    222,
    223,
    257,
    332,
    354
   ],
   [
    1,
    24,
    29,
    38,
    69,
    223,
    224,
    258,
    333,
    355
   ],
   [
    2,
    25,
    30,
    39,
    70,
    224,
    225,
    259,
    334,
    356
   ],
   [
    3,
    26,
    31,
    40,
    71,
    225,
    226,
    260,
    335,
    357
   ],
   [
    4,
    27,
    32,
    41,
    72,
    226,
    227,
    261,
    336,
    358
   ],
   [
    5,
    28,
    33,
    42,
    73,
    227,
    228,
    262,
    337,
    359
   ],
   [
    6,
    29,
    34,
    43,
    74,
    228,
    229,
    263,
    338,
    360
   ],
   [
    7,
    30,
    35,
    44,
    75,
    229,
    230,
    264,
    339,
    361
   ],
   [
    8,
    31,
    36,
    45,
    76,
    230,
    231,
    265,
    340,
    362
   ],
   [
    9,
    32,
    37,
    46,
    77,
    231,
    232,
    266,
    341,
    363
   ],
   [
    10,
    33,
    38,
    47,
    78,
    232,
    233,
    267,
    342,
    364
   ],
   [
    11,
    34,
    39,
    48,
    79,
    233,
    234,
    268,
    343,
    365
   ],
   [
    12,
    35,
    40,
    49,
    80,
    234,
    235,
    269,
    344,
    366
   ],
   [
    13,
    36,
    41,
    50,
    81,
    235,
    236,
    270,
    345,
    367
   ],
   [
    14,
    37,
    42,
    51,
    82,
    236,
    237,
    271,
    346,
    368
   ],
   [
    15,
    38,
    43,
    52,
    83,
    237,
    238,
    272,
    347,
    369
   ],
   [
    16,
    39,
    44,
    53,
    84,
    238,
    239,
    273,
    348,
    370
   ],
   [
    17,
    40,
    45,
    54,
    85,
    239,
    240,
    274,
    349,
    371
   ],
   [
    18,
    41,
    46,
    55,
    86,
    240,
    241,
    275,
    350,
    372
   ],
   [
    19,
    42,
    47,
    56,
    87,
    241,
    242,
    276,
    351,
    373
   ],
   [
    20,
    43,
    48,
    57,
    88,
    242,
    243,
    277,
    352,
    374
   ],
   [
    21,
    44,
    49,
    58,
    89,
    243,
    244,
    278,
    353,
    375
   ],
   [
    22,
    45,
    50,
    59,
    90,
    244,
    245,
    279,
    354,
    376
   ],
   [
    23,
    46,
    51,
    60,
    91,
    245,
    246,
    280,
    355,
    377
   ],
   [
    24,
    47,
    52,
    61,
    92,
    246,
    247,
    281,
    356,
    378
   ],
   [
    25,
    48,
    53,
    62,
    93,
    247,
    248,
    282,
    357,
    379
   ],
   [
    26,
    49,
    54,
    63,
    94,
    248,
    249,
    283,
    358,
    380
   ],
   [
    27,
    50,
    55,
    64,
    95,
    249,
    250,
    284,
    359,
    381
   ],
   [
    28,
    51,
    56,
    65,
    96,
    250,
    251,
    285,
    360,
    382
   ],
   [
    29,
    52,
    57,
    66,
    97,
    251,
    252,
    286,
    361,
    383
   ],
   [
    30,
    53,
    58,
    67,
    98,
    252,
    253,
    287,
    362,
    384
   ],
   [
    31,
    54,
    59,
    68,
    99,
    253,
    254,
    288,
    363,
    385
   ],
   [
    32,
    55,
    60,
    69,
    100,
    254,
    255,
    289,
    364,
    386
   ],
   [
    33,
    56,
    61,
    70,
    101,
    255,
    256,
    290,
    365,
    387
   ],
   [
    34,
    57,
    62,
    71,
    102,
    256,
    257,
    291,
    366,
    388
   ],
   [
    35,
    58,
    63,
    72,
    103,
    257,
    258,
    292,
    367,
    389
   ],
   [
    36,
    59,
    64,
    73,
    104,
    195,
    258,
    259,
    293,
    368
   ],
   [
    37,
    60,
    65,
    74,
    105,
    196,
    259,
    260,
    294,
    369
   ],
   [
    38,
    61,
    66,
    75,
    106,
    197,
    260,
    261,
    295,
    370
   ],
   [
    39,
    62,
    67,
    76,
    107,
    198,
    261,
    262,
    296,
    371
   ],
   [
    40,
    63,
    68,
    77,
    108,
    199,
    262,
    263,
    297,
    372
   ],
   [
    41,
    64,
    69,
    78,
    109,
    200,
    263,
    264,
    298,
    373
   ],
   [
    42,
    65,
    70,
    79,
    110,
    201,
    264,
    265,
    299,
    374
   ],
   [
    43,
    66,
    71,
    80,
    111,
    202,
    265,
    266,
    300,
    375
   ],
   [
    44,
    67,
    72,
    81,
    112,
    203,
    266,
    267,
    301,
    376
   ],
   [
    45,
    68,
    73,
    82,
    113,
    204,
    267,
    268,
    302,
    377
   ],
   [
    46,
    69,
    74,
    83,
    114,
    205,
    268,
    269,
    303,
    378
   ],
   [
    47,
    70,
    75,
    84,
    115,
    206,
    269,
    270,
    304,
    379
   ],
   [
    48,
    71,
    76,
    85,
    116,
    207,
    270,
    271,
    305,
    380
   ],
   [
    49,
    72,
    77,
    86,
    117,
    208,
    271,
    272,
    306,
    381
   ],
   [
    50,
    73,
    78,
    87,
    118,
    209,
    272,
    273,
    307,
    382
   ],
   [
    51,
    74,
    79,
    88,
    119,
    210,
    273,
    274,
    308,
    383
   ],
   [
    52,
    75,
    80,
    89,
    120,
    211,
    274,
    275,
    309,
    384
   ],
   [
    53,
    76,
    81,
    90,
    121,
    212,
    275,
    276,
    310,
    385
   ],
   [
    54,
    77,
    82,
    91,
    122,
    213,
    276,
    277,
    311,
    386
   ],
   [
    55,
    78,
    83,
    92,
    123,
    214,
    277,
    278,
    312,
    387
   ],
   [
    56,
    79,
    84,
    93,
    124,
    215,
    278,
    279,
    313,
    388
   ],
   [
    57,
    80,
    85,
    94,
    125,
    216,
    279,
    280,
    314,
    389
   ],
   [
    58,
    81,
    86,
    95,
    126,
    195,
    217,
    280,
    281,
    315
   ],
   [
    59,
    82,
    87,
    96,
    127,
    196,
    218,
    281,
    282,
    316
   ],
   [
    60,
    83,
    88,
    97,
    128,
    197,
    219,
    282,
    283,
    317
   ],
   [
    61,
    84,
    89,
    98,
    129,
    198,
    220,
    283,
    284,
    318
   ],
   [
    62,
    85,
    90,
    99,
    130,
    199,
    221,
    284,
    285,
    319
   ],
   [
    63,
    86,
    91,
    100,
    131,
    200,
    222,
    285,
    286,
    320
   ],
   [
    64,
    87,
    92,
    101,
    132,
    201,
    223,
    286,
    287,
    321
   ],
   [
    65,
    88,
    93,
    102,
    133,
    202,
    224,
    287,
    288,
    322
   ],
   [
    66,
    89,
    94,
    103,
    134,
    203,
    225,
    288,
    289,
    323
   ],
   [
    67,
    90,
    95,
    104,
    135,
    204,
    226,
    289,
    290,
    324
   ],
   [
    68,
    91,
    96,
    105,
    136,
    205,
    227,
    290,
    291,
    325
   ],
   [
    69,
    92,
    97,
    106,
    137,
    206,
    228,
    291,
    292,
    326
   ],
   [
    70,
    93,
    98,
    107,
    138,
    207,
    229,
    292,
    293,
    327
   ],
   [
    71,
    94,
    99,
    108,
    139,
    208,
    230,
    293,
    294,
    328
   ],
   [
    72,
    95,
    100,
    109,
    140,
    209,
    231,
    294,
    295,
    329
   ],
   [
    73,
    96,
    101,
    110,
    141,
    210,
    232,
    295,
    296,
    330
   ],
   [
    74,
    97,
    102,
    111,
    142,
    211,
    233,
    296,
    297,
    331
   ],
   [
    75,
    98,
    103,
    112,
    143,
    212,
    234,
    297,
    298,
    332
   ],
   [
    76,
    99,
    104,
    113,
    144,
    213,
    235,
    298,
    299,
    333
   ],
   [
    77,
    100,
    105,
    114,
    145,
    214,
    236,
    299,
    300,
    334
   ],
   [
    78,
    101,
    106,
    115,
    146,
    215,
    237,
    300,
    301,
    335
   ],
   [
    79,
    102,
    107,
    116,
    147,
    216,
    238,
    301,
    302,
    336
   ],
   [
    80,
    103,
    108,
    117,
    148,
    217,
    239,
    302,
    303,
    337
   ],
   [
    81,
    104,
    109,
    118,
    149,
    218,
    240,
    303,
    304,
    338
   ],
   [
    82,
    105,
    110,
    119,
    150,
    219,
    241,
    304,
    305,
    339
   ],
   [
    83,
    106,
    111,
    120,
    151,
    220,
    242,
    305,
    306,
    340
   ],
   [
    84,
    107,
    112,
    121,
    152,
    221,
    243,
    306,
    307,
    341
   ],
   [
    85,
    108,
    113,
    122,
    153,
    222,
    244,
    307,
    308,
    342
   ],
   [
    86,
    109,
    114,
    123,
    154,
    223,
    245,
    308,
    309,
    343
   ],
   [
    87,
    110,
    115,
    124,
    155,
    224,
    246,
    309,
    310,
    344
   ],
   [
    88,
    111,
    116,
    125,
    156,
    225,
    247,
    310,
    311,
    345
   ],
   [
    89,
    112,
    117,
    126,
    157,
    226,
    248,
    311,
    312,
    346
   ],
   [
    90,
    113,
    118,
    127,
    158,
    227,
    249,
    312,
    313,
    347
   ],
   [
    91,
    114,
    119,
    128,
    159,
    228,
    250,
    313,
    314,
    348
   ],
   [
    92,
    115,
    120,
    129,
    160,
    229,
    251,
    314,
    315,
    349
   ],
   [
    93,
    116,
    121,
    130,
    161,
    230,
    252,
    315,
    316,
    350
   ],
   [
    94,
    117,
    122,
    131,
    162,
    231,
    253,
    316,
    317,
    351
   ],
   [
    95,
    118,
    123,
    132,
    163,
    232,
    254,
    317,
    318,
    352
   ],
   [
    96,
    119,
    124,
    133,
    164,
    233,
    255,
    318,
    319,
    353
   ],
   [
    97,
    120,
    125,
    134,
    165,
    234,
    256,
    319,
    320,
    354
   ],
   [
    98,
    121,
    126,
    135,
    166,
    235,
    257,
    320,
    321,
    355
   ],
   [
    99,
    122,
    127,
    136,
    167,
    236,
    258,
    321,
    322,
    356
   ],
   [
    100,
    123,
    128,
    137,
    168,
    237,
    259,
    322,
    323,
    357
   ],
   [
    101,
    124,
    129,
    138,
    169,
    238,
    260,
    323,
    324,
    358
   ],
   [
    102,
    125,
    130,
    139,
    170,
    239,
    261,
    324,
    325,
    359
   ],
   [
    103,
    126,
    131,
    140,
    171,
    240,
    262,
    325,
    326,
    360
   ],
   [
    104,
    127,
    132,
    141,
    172,
    241,
    263,
    326,
    327,
    361
   ],
   [
    105,
    128,
    133,
    142,
    173,
    242,
    264,
    327,
    328,
    362
   ],
   [
    106,
    129,
    134,
    143,
    174,
    243,
    265,
    328,
    329,
    363
   ],
   [
    107,
    130,
    135,
    144,
    175,
    244,
    266,
    329,
    330,
    364
   ],
   [
    108,
    131,
    136,
    145,
    176,
    245,
    267,
    330,
    331,
    365
   ],
   [
    109,
    132,
    137,
    146,
    177,
    246,
    268,
    331,
    332,
    366
   ],
   [
    110,
    133,
    138,
    147,
    178,
    247,
    269,
    332,
    333,
    367
   ],
   [
    111,
    134,
    139,
    148,
    179,
    248,
    270,
    333,
    334,
    368
   ],
   [
    112,
    135,
    140,
    149,
    180,
    249,
    271,
    334,
    335,
    369
   ],
   [
    113,
    136,
    141,
    150,
    181,
    250,
    272,
    335,
    336,
    370
   ],
   [
    114,
    137,
    142,
    151,
    182,
    251,
    273,
    336,
    337,
    371
   ],
   [
    115,
    138,
    143,
    152,
    183,
    252,
    274,
    337,
    338,
    372
   ],
   [
    116,
    139,
    144,
    153,
    184,
    253,
    275,
    338,
    339,
    373
   ],
   [
    117,
    140,
    145,
    154,
    185,
    254,
    276,
    339,
    340,
    374
   ],
   [
    118,
    141,
    146,
    155,
    186,
    255,
    277,
    340,
    341,
    375
   ],
   [
    119,
    142,
    147,
    156,
    187,
    256,
    278,
    341,
    342,
    376
   ],
   [
    120,
    143,
    148,
    157,
    188,
    257,
    279,
    342,
    343,
    377
   ],
   [
    121,
    144,
    149,
    158,
    189,
    258,
    280,
    343,
    344,
    378
   ],
   [
    122,
    145,
    150,
    159,
    190,
    259,
    281,
    344,
    345,
    379
   ],
   [
    123,
    146,
    151,
    160,
    191,
    260,
    282,
    345,
    346,
    380
   ],
   [
    124,
    147,
    152,
    161,
    192,
    261,
    283,
    346,
    347,
    381
   ],
   [
    125,
    148,
    153,
    162,
    193,
    262,
    284,
    347,
    348,
    382
   ],
   [
    126,
    149,
    154,
    163,
    194,
    263,
    285,
    348,
    349,
    383
   ],
   [
    0,
    127,
    150,
    155,
    164,
    264,
    286,
    349,
    350,
    384
   ],
   [
    1,
    128,
    151,
    156,
    165,
    265,
    287,
    350,
    351,
    385
   ],
   [
    2,
    129,
    152,
    157,
    166,
    266,
    288,
    351,
    352,
    386
   ],
   [
    3,
    130,
    153,
    158,
    167,
    267,
    289,
    352,
    353,
    387
   ],
   [
    4,
    131,
    154,
    159,
    168,
    268,
    290,
    353,
    354,
    388
   ],
   [
    5,
    132,
    155,
    160,
    169,
    269,
    291,
    354,
    355,
    389
   ],
   [
    6,
    133,
    156,
    161,
    170,
    195,
    270,
    292,
    355,
    356
   ],
   [
    7,
    134,
    157,
    162,
    171,
    196,
    271,
    293,
    356,
    357
   ],
   [
    8,
    135,
    158,
    163,
    172,
    197,
    272,
    294,
    357,
    358
   ],
   [
    9,
    136,
    159,
    164,
    173,
    198,
    273,
    295,
    358,
    359
   ],
   [
    10,
    137,
    160,
    165,
    174,
    199,
    274,
    296,
    359,
    360
   ],
   [
    11,
    138,
    161,
    166,
    175,
    200,
    275,
    297,
    360,
    361
   ],
   [
    12,
    139,
    162,
    167,
    176,
    201,
    276,
    298,
    361,
    362
   ],
   [
    13,
    140,
    163,
    168,
    177,
    202,
    277,
    299,
    362,
    363
   ],
   [
    14,
    141,
    164,
    169,
    178,
    203,
    278,
    300,
    363,
    364
   ],
   [
    15,
    142,
    165,
    170,
    179,
    204,
    279,
    301,
    364,
    365
   ],
   [
    16,
    143,
    166,
    171,
    180,
    205,
    280,
    302,
    365,
    366
   ],
   [
    17,
    144,
    167,
    172,
    181,
    206,
    281,
    303,
    366,
    367
   ],
   [
    18,
    145,
    168,
    173,
    182,
    207,
    282,
    304,
    367,
    368
   ],
   [
    19,
    146,
    169,
    174,
    183,
    208,
    283,
    305,
    368,
    369
   ],
   [
    20,
    147,
    170,
    175,
    184,
    209,
    284,
    306,
    369,
    370
   ],
   [
    21,
    148,
    171,
    176,
    185,
    210,
    285,
    307,
    370,
    371
   ],
   [
    22,
    149,
    172,
    177,
    186,
    211,
    286,
    308,
    371,
    372
   ],
   [
    23,
    150,
    173,
    178,
    187,
    212,
    287,
    309,
    372,
    373
   ],
   [
    24,
    151,
    174,
    179,
    188,
    213,
    288,
    310,
    373,
    374
   ],
   [
    25,
    152,
    175,
    180,
    189,
    214,
    289,
    311,
    374,
    375
   ],
   [
    26,
    153,
    176,
    181,
    190,
    215,
    290,
    312,
    375,
    376
   ],
   [
    27,
    154,
    177,
    182,
    191,
    216,
    291,
    313,
    376,
    377
   ],
   [
    28,
    155,
    178,
    183,
    192,
    217,
    292,
    314,
    377,
    378
   ],
   [
    29,
    156,
    179,
    184,
    193,
    218,
    293,
    315,
    378,
    379
   ],
   [
    30,
    157,
    180,
    185,
    194,
    219,
    294,
    316,
    379,
    380
   ],
   [
    0,
    31,
    158,
    181,
    186,
    220,
    295,
    317,
    380,
    381
   ],
   [
    1,
    32,
    159,
    182,
    187,
    221,
    296,
    318,
    381,
    382
   ],
   [
    2,
    33,
    160,
    183,
    188,
    222,
    297,
    319,
    382,
    383
   ],
   [
    3,
    34,
    161,
    184,
    189,
    223,
    298,
    320,
    383,
    384
   ],
   [
    4,
    35,
    162,
    185,
    190,
    224,
    299,
    321,
    384,
    385
   ],
   [
    5,
    36,
    163,
    186,
    191,
    225,
    300,
    322,
    385,
    386
   ],
   [
    6,
    37,
    164,
    187,
    192,
    226,
    301,
    323,
    386,
    387
   ],
   [
    7,
    38,
    165,
    188,
    193,
    227,
    302,
    324,
    387,
    388
   ],
   [
    8,
    39,
    166,
    189,
    194,
    228,
    303,
    325,
    388,
    389
   ]
  ],
  "Z": [
   [
    0,
    1,
    64,
    86,
    161,
    195,
    200,
    223,
    350,
    381
   ],
   [
    1,
    2,
    65,
    87,
    162,
    196,
    201,
    224,
    351,
    382
   ],
   [
    2,
    3,
    66,
    88,
    163,
    197,
    202,
    225,
    352,
    383
   ],
   [
    3,
    4,
    67,
    89,
    164,
    198,
    203,
    226,
    353,
    384
   ],
   [
    4,
    5,
    68,
    90,
    165,
    199,
    204,
    227,
    354,
    385
   ],
   [
    5,
    6,
    69,
    91,
    166,
    200,
    205,
    228,
    355,
    386
   ],
   [
    6,
    7,
    70,
    92,
    167,
    201,
    206,
    229,
    356,
    387
   ],
   [
    7,
    8,
    71,
    93,
    168,
    202,
    207,
    230,
    357,
    388
   ],
   [
    8,
    9,
    72,
    94,
    169,
    203,
    208,
    231,
    358,
    389
   ],
   [
    9,
    10,
    73,
    95,
    170,
    195,
    204,
    209,
    232,
    359
   ],
   [
    10,
    11,
    74,
    96,
    171,
    196,
    205,
    210,
    233,
    360
   ],
   [
    11,
    12,
    75,
    97,
    172,
    197,
    206,
    211,
    234,
    361
   ],
   [
    12,
    13,
    76,
    98,
    173,
    198,
    207,
    212,
    235,
    362
   ],
   [
    13,
    14,
    77,
    99,
    174,
    199,
    208,
    213,
    236,
    363
   ],
   [
    14,
    15,
    78,
    100,
    175,
    200,
    209,
    214,
    237,
    364
   ],
   [
    15,
    16,
    79,
    101,
    176,
    201,
    210,
    215,
    238,
    365
   ],
   [
    16,
    17,
    80,
    102,
    177,
    202,
    211,
    216,
    239,
    366
   ],
   [
    17,
    18,
    81,
    103,
    178,
    203,
    212,
    217,
    240,
    367
   ],
   [
    18,
    19,
    82,
    104,
    179,
    204,
    213,
    218,
    241,
    368
   ],
   [
    19,
    20,
    83,
    105,
    180,
    205,
    214,
    219,
    242,
    369
   ],
   [
    20,
    21,
    84,
    106,
    181,
    206,
    215,
    220,
    243,
    370
   ],
   [
    21,
    22,
    85,
    107,
    182,
    207,
    216,
    221,
    244,
    371
   ],
   [
    22,
    23,
    86,
    108,
    183,
    208,
    217,
    222,
    245,
    372
   ],
   [
    23,
    24,
    87,
    109,
    184,
    209,
    218,
    223,
    246,
    373
   ],
   [
    24,
    25,
    88,
    110,
    185,
    210,
    219,
    224,
    247,
    374
   ],
   [
    25,
    26,
    89,
    111,
    186,
    211,
    220,
    225,
    248,
    375
   ],
   [
    26,
    27,
    90,
    112,
    187,
    212,
    221,
    226,
    249,
    376
   ],
   [
    27,
    28,
    91,
    113,
    188,
    213,
    222,
    227,
    250,
    377
   ],
   [
    28,
    29,
    92,
    114,
    189,
    214,
    223,
    228,
    251,
    378
   ],
   [
    29,
    30,
    93,
    115,
    190,
    215,
    224,
    229,
    252,
    379
   ],
   [
    30,
    31,
    94,
    116,
    191,
    216,
    225,
    230,
    253,
    380
   ],
   [
    31,
    32,
    95,
    117,
    192,
    217,
    226,
    231,
    254,
    381
   ],
   [
    32,
    33,
    96,
    118,
    193,
    218,
    227,
    232,
    255,
    382
   ],
   [
    33,
    34,
    97,
    119,
    194,
    219,
    228,
    233,
    256,
    383
   ],
   [
    0,
    34,
    35,
    98,
    120,
    220,
    229,
    234,
    257,
    384
   ],
   [
    1,
    35,
    36,
    99,
    121,
    221,
    230,
    235,
    258,
    385
   ],
   [
    2,
    36,
    37,
    100,
    122,
    222,
    231,
    236,
    259,
    386
   ],
   [
    3,
    37,
    38,
    101,
    123,
    223,
    232,
    237,
    260,
    387
   ],
   [
    4,
    38,
    39,
    102,
    124,
    224,
    233,
    238,
    261,
    388
   ],
   [
    5,
    39,
    40,
    103,
    125,
    225,
    234,
    239,
    262,
    389
   ],
   [
    6,
    40,
    41,
    104,
    126,
    195,
    226,
    235,
    240,
    263
   ],
   [
    7,
    41,
    42,
    105,
    127,
    196,
    227,
    236,
    241,
    264
   ],
   [
    8,
    42,
    43,
    106,
    128,
    197,
    228,
    237,
    242,
    265
   ],
   [
    9,
    43,
    44,
    107,
    129,
    198,
    229,
    238,
    243,
    266
   ],
   [
    10,
    44,
    45,
    108,
    130,
    199,
    230,
    239,
    244,
    267
   ],
   [
    11,
    45,
    46,
    109,
    131,
    200,
    231,
    240,
    245,
    268
   ],
   [
    12,
    46,
    47,
    110,
    132,
    201,
    232,
    241,
    246,
    269
   ],
   [
    13,
    47,
    48,
    111,
    133,
    202,
    233,
    242,
    247,
    270
   ],
   [
    14,
    48,
    49,
    112,
    134,
    203,
    234,
    243,
    248,
    271
   ],
   [
    15,
    49,
    50,
    113,
    135,
    204,
    235,
    244,
    249,
    272
   ],
   [
    16,
    50,
    51,
    114,
    136,
    205,
    236,
    245,
    250,
    273
   ],
   [
    17,
    51,
    52,
    115,
    137,
    206,
    237,
    246,
    251,
    274
   ],
   [
    18,
    52,
    53,
    116,
    138,
    207,
    238,
    247,
    252,
    275
   ],
   [
    19,
    53,
    54,
    117,
    139,
    208,
    239,
    248,
    253,
    276
   ],
   [
    20,
    54,
    55,
    118,
    140,
    209,
    240,
    249,
    254,
    277
   ],
   [
    21,
    55,
    56,
    119,
    141,
    210,
    241,
    250,
    255,
    278
   ],
   [
    22,
    56,
    57,
    120,
    142,
    211,
    242,
    251,
    256,
    279
   ],
   [
    23,
    57,
    58,
    121,
    143,
    212,
    243,
    252,
    257,
    280
   ],
   [
    24,
    58,
    59,
    122,
    144,
    213,
    244,
    253,
    258,
    281
   ],
   [
    25,
    59,
    60,
    123,
    145,
    214,
    245,
    254,
    259,
    282
   ],
   [
    26,
    60,
    61,
    124,
    146,
    215,
    246,
    255,
    260,
    283
   ],
   [
    27,
    61,
    62,
    125,
    147,
    216,
    247,
    256,
    261,
    284
   ],
   [
    28,
    62,
    63,
    126,
    148,
    217,
    248,
    257,
    262,
    285
   ],
   [
    29,
    63,
    64,
    127,
    149,
    218,
    249,
    258,
    263,
    286
   ],
   [
    30,
    64,
    65,
    128,
    150,
    219,
    250,
    259,
    264,
    287
   ],
   [
    31,
    65,
    66,
    129,
    151,
    220,
    251,
    260,
    265,
    288
   ],
   [
    32,
    66,
    67,
    130,
    152,
    221,
    252,
    261,
    266,
    289
   ],
   [
    33,
    67,
    68,
    131,
    153,
    222,
    253,
    262,
    267,
    290
   ],
   [
    34,
    68,
    69,
    132,
    154,
    223,
    254,
    263,
    268,
    291
   ],
   [
    35,
    69,
    70,
    133,
    155,
    224,
    255,
    264,
    269,
    292
   ],
   [
    36,
    70,
    71,
    134,
    156,
    225,
    256,
    265,
    270,
    293
   ],
   [
    37,
    71,
    72,
    135,
    157,
    226,
    257,
    266,
    271,
    294
   ],
   [
    38,
    72,
    73,
    136,
    158,
    227,
    258,
    267,
    272,
    295
   ],
   [
    39,
    73,
    74,
    137,
    159,
    228,
    259,
    268,
    273,
    296
   ],
   [
    40,
    74,
    75,
    138,
    160,
    229,
    260,
    269,
    274,
    297
   ],
   [
    41,
    75,
    76,
    139,
    161,
    230,
    261,
    270,
    275,
    298
   ],
   [
    42,
    76,
    77,
    140,
    162,
    231,
    262,
    271,
    276,
    299
   ],
   [
    43,
    77,
    78,
    141,
    163,
    232,
    263,
    272,
    277,
    300
   ],
   [
    44,
    78,
    79,
    142,
    164,
    233,
    264,
    273,
    278,
    301
   ],
   [
    45,
    79,
    80,
    143,
    165,
    234,
    265,
    274,
    279,
    302
   ],
   [
    46,
    80,
    81,
    144,
    166,
    235,
    266,
    275,
    280,
    303
   ],
   [
    47,
    81,
    82,
    145,
    167,
    236,
    267,
    276,
    281,
    304
   ],
   [
    48,
    82,
    83,
    146,
    168,
    237,
    268,
    277,
    282,
    305
   ],
   [
    49,
    83,
    84,
    147,
    169,
    238,
    269,
    278,
    283,
    306
   ],
   [
    50,
    84,
    85,
    148,
    170,
    239,
    270,
    279,
    284,
    307
   ],
   [
    51,
    85,
    86,
    149,
    171,
    240,
    271,
    280,
    285,
    308
   ],
   [
    52,
    86,
    87,
    150,
    172,
    241,
    272,
    281,
    286,
    309
   ],
   [
    53,
    87,
    88,
    151,
    173,
    242,
    273,
    282,
    287,
    310
   ],
   [
    54,
    88,
    89,
    152,
    174,
    243,
    274,
    283,
    288,
    311
   ],
   [
    55,
    89,
    90,
    153,
    175,
    244,
    275,
    284,
    289,
    312
   ],
   [
    56,
    90,
    91,
    154,
    176,
    245,
    276,
    285,
    290,
    313
   ],
   [
    57,
    91,
    92,
    155,
    177,
    246,
    277,
    286,
    291,
    314
   ],
   [
    58,
    92,
    93,
    156,
    178,
    247,
    278,
    287,
    292,
    315
   ],
   [
    59,
    93,
    94,
    157,
    179,
    248,
    279,
    288,
    293,
    316
   ],
   [
    60,
    94,
    95,
    158,
    180,
    249,
    280,
    289,
    294,
    317
   ],
   [
    61,
    95,
    96,
    159,
    181,
    250,
    281,
    290,
    295,
    318
   ],
   [
    62,
    96,
    97,
    160,
    182,
    251,
    282,
    291,
    296,
    319
   ],
   [
    63,
    97,
    98,
    161,
    183,
    252,
    283,
    292,
    297,
    320
   ],
   [
    64,
    98,
    99,
    162,
    184,
    253,
    284,
    293,
    298,
    321
   ],
   [
    65,
    99,
    100,
    163,
    185,
    254,
    285,
    294,
    299,
    322
   ],
   [
    66,
    100,
    101,
    164,
    186,
    255,
    286,
    295,
    300,
    323
   ],
   [
    67,
    101,
    102,
    165,
    187,
    256,
    287,
    296,
    301,
    324
   ],
   [
    68,
    102,
    103,
    166,
    188,
    257,
    288,
    297,
    302,
    325
   ],
   [
    69,
    103,
    104,
    167,
    189,
    258,
    289,
    298,
    303,
    326
   ],
   [
    70,
    104,
    105,
    168,
    190,
    259,
    290,
    299,
    304,
    327
   ],
   [
    71,
    105,
    106,
    169,
    191,
    260,
    291,
    300,
    305,
    328
   ],
   [
    72,
    106,
    107,
    170,
    192,
    261,
    292,
    301,
    306,
    329
   ],
   [
    73,
    107,
    108,
    171,
    193,
    262,
    293,
    302,
    307,
    330
   ],
   [
    74,
    108,
    109,
    172,
    194,
    263,
    294,
    303,
    308,
    331
   ],
   [
    0,
    75,
    109,
    110,
    173,
    264,
    295,
    304,
    309,
    332
   ],
   [
    1,
    76,
    110,
    111,
    174,
    265,
    296,
    305,
    310,
    333
   ],
   [
    2,
    77,
    111,
    112,
    175,
    266,
    297,
    306,
    311,
    334
   ],
   [
    3,
    78,
    112,
    113,
    176,
    267,
    298,
    307,
    312,
    335
   ],
   [
    4,
    79,
    113,
    114,
    177,
    268,
    299,
    308,
    313,
    336
   ],
   [
    5,
    80,
    114,
    115,
    178,
    269,
    300,
    309,
    314,
    337
   ],
   [
    6,
    81,
    115,
    116,
    179,
    270,
    301,
    310,
    315,
    338
   ],
   [
    7,
    82,
    116,
    117,
    180,
    271,
    302,
    311,
    316,
    339
   ],
   [
    8,
    83,
    117,
    118,
    181,
    272,
    303,
    312,
    317,
    340
   ],
   [
    9,
    84,
    118,
    119,
    182,
    273,
    304,
    313,
    318,
    341
   ],
   [
    10,
    85,
    119,
    120,
    183,
    274,
    305,
    314,
    319,
    342
   ],
   [
    11,
    86,
    120,
    121,
    184,
    275,
    306,
    315,
    320,
    343
   ],
   [
    12,
    87,
    121,
    122,
    185,
    276,
    307,
    316,
    321,
    344
   ],
   [
    13,
    88,
    122,
    123,
    186,
    277,
    308,
    317,
    322,
    345
   ],
   [
    14,
    89,
    123,
    124,
    187,
    278,
    309,
    318,
    323,
    346
   ],
   [
    15,
    90,
    124,
    125,
    188,
    279,
    310,
    319,
    324,
    347
   ],
   [
    16,
    91,
    125,
    126,
    189,
    280,
    311,
    320,
    325,
    348
   ],
   [
    17,
    92,
    126,
    127,
    190,
    281,
    312,
    321,
    326,
    349
   ],
   [
    18,
    93,
    127,
    128,
    191,
    282,
    313,
    322,
    327,
    350
   ],
   [
    19,
    94,
    128,
    129,
    192,
    283,
    314,
    323,
    328,
    351
   ],
   [
    20,
    95,
    129,
    130,
    193,
    284,
    315,
    324,
    329,
    352
   ],
   [
    21,
    96,
    130,
    131,
    194,
    285,
    316,
    325,
    330,
    353
   ],
   [
    0,
    22,
    97,
    131,
    132,
    286,
    317,
    326,
    331,
    354
   ],
   [
    1,
    23,
    98,
    132,
    133,
    287,
    318,
    327,
    332,
    355
   ],
   [
    2,
    24,
    99,
    133,
    134,
    288,
    319,
    328,
    333,
    356
   ],
   [
    3,
    25,
    100,
    134,
    135,
    289,
    320,
    329,
    334,
    357
   ],
   [
    4,
    26,
    101,
    135,
    136,
    290,
    321,
    330,
    335,
    358
   ],
   [
    5,
    27,
    102,
    136,
    137,
    291,
    322,
    331,
    336,
    359
   ],
   [
    6,
    28,
    103,
    137,
    138,
    292,
    323,
    332,
    337,
    360
   ],
   [
    7,
    29,
    104,
    138,
    139,
    293,
    324,
    333,
    338,
    361
   ],
   [
    8,
    30,
    105,
    139,
    140,
    294,
    325,
    334,
    339,
    362
   ],
   [
    9,
    31,
    106,
    140,
    141,
    295,
    326,
    335,
    340,
    363
   ],
   [
    10,
    32,
    107,
    141,
    142,
    296,
    327,
    336,
    341,
    364
   ],
   [
    11,
    33,
    108,
    142,
    143,
    297,
    328,
    337,
    342,
    365
   ],
   [
    12,
    34,
    109,
    143,
    144,
    298,
    329,
    338,
    343,
    366
   ],
   [
    13,
    35,
    110,
    144,
    145,
    299,
    330,
    339,
    344,
    367
   ],
   [
    14,
    36,
    111,
    145,
    146,
    300,
    331,
    340,
    345,
    368
   ],
   [
    15,
    37,
    112,
    146,
    147,
    301,
    332,
    341,
    346,
    369
   ],
   [
    16,
    38,
    113,
    147,
    148,
    302,
    333,
    342,
    347,
    370
   ],
   [
    17,
    39,
    114,
    148,
    149,
    303,
    334,
    343,
    348,
    371
   ],
   [
    18,
    40,
    115,
    149,
    150,
    304,
    335,
    344,
    349,
    372
   ],
   [
    19,
    41,
    116,
    150,
    151,
    305,
    336,
    345,
    350,
    373
   ],
   [
    20,
    42,
    117,
    151,
    152,
    306,
    337,
    346,
    351,
    374
   ],
   [
    21,
    43,
    118,
    152,
    153,
    307,
    338,
    347,
    352,
    375
   ],
   [
    22,
    44,
    119,
    153,
    154,
    308,
    339,
    348,
    353,
    376
   ],
   [
    23,
    45,
    120,
    154,
    155,
    309,
    340,
    349,
    354,
    377
   ],
   [
    24,
    46,
    121,
    155,
    156,
    310,
    341,
    350,
    355,
    378
   ],
   [
    25,
    47,
    122,
    156,
    157,
    311,
    342,
    351,
    356,
    379
   ],
   [
    26,
    48,
    123,
    157,
    158,
    312,
    343,
    352,
    357,
    380
   ],
   [
    27,
    49,
    124,
    158,
    159,
    313,
    344,
    353,
    358,
    381
   ],
   [
    28,
    50,
    125,
    159,
    160,
    314,
    345,
    354,
    359,
    382
   ],
   [
    29,
    51,
    126,
    160,
    161,
    315,
    346,
    355,
    360,
    383
   ],
   [
    30,
    52,
    127,
    161,
    162,
    316,
    347,
    356,
    361,
    384
   ],
   [
    31,
    53,
    128,
    162,
    163,
    317,
    348,
    357,
    362,
    385
   ],
   [
    32,
    54,
    129,
    163,
    164,
    318,
    349,
    358,
    363,
    386
   ],
   [
    33,
    55,
    130,
    164,
    165,
    319,
    350,
    359,
    364,
    387
   ],
   [
    34,
    56,
    131,
    165,
    166,
    320,
    351,
    360,
    365,
    388
   ],
   [
    35,
    57,
    132,
    166,
    167,
    321,
    352,
    361,
    366,
    389
   ],
   [
    36,
    58,
    133,
    167,
    168,
    195,
    322,
    353,
    362,
    367
   ],
   [
    37,
    59,
    134,
    168,
    169,
    196,
    323,
    354,
    363,
    368
   ],
   [
    38,
    60,
    135,
    169,
    170,
    197,
    324,
    355,
    364,
    369
   ],
   [
    39,
    61,
    136,
    170,
    171,
    198,
    325,
    356,
    365,
    370
   ],
   [
    40,
    62,
    137,
    171,
    172,
    199,
    326,
    357,
    366,
    371
   ],
   [
    41,
    63,
    138,
    172,
    173,
    200,
    327,
    358,
    367,
    372
   ],
   [
    42,
    64,
    139,
    173,
    174,
    201,
    328,
    359,
    368,
    373
   ],
   [
    43,
    65,
    140,
    174,
    175,
    202,
    329,
    360,
    369,
    374
   ],
   [
    44,
    66,
    141,
    175,
    176,
    203,
    330,
    361,
    370,
    375
   ],
   [
    45,
    67,
    142,
    176,
    177,
    204,
    331,
    362,
    371,
    376
   ],
   [
    46,
    68,
    143,
    177,
    178,
    205,
    332,
    363,
    372,
    377
   ],
   [
    47,
    69,
    144,
    178,
    179,
    206,
    333,
    364,
    373,
    378
   ],
   [
    48,
    70,
    145,
    179,
    180,
    207,
    334,
    365,
    374,
    379
   ],
   [
    49,
    71,
    146,
    180,
    181,
    208,
    335,
    366,
    375,
    380
   ],
   [
    50,
    72,
    147,
    181,
    182,
    209,
    336,
    367,
    376,
    381
   ],
   [
    51,
    73,
    148,
    182,
    183,
    210,
    337,
    368,
    377,
    382
   ],
   [
    52,
    74,
    149,
    183,
    184,
    211,
    338,
    369,
    378,
    383
   ],
   [
    53,
    75,
    150,
    184,
    185,
    212,
    339,
    370,
    379,
    384
   ],
   [
    54,
    76,
    151,
    185,
    186,
    213,
    340,
    371,
    380,
    385
   ],
   [
    55,
    77,
    152,
    186,
    187,
    214,
    341,
    372,
    381,
    386
   ],
   [
    56,
    78,
    153,
    187,
    188,
    215,
    342,
    373,
    382,
    387
   ],
   [
    57,
    79,
    154,
    188,
    189,
    216,
    343,
    374,
    383,
    388
   ],
   [
    58,
    80,
    155,
    189,
    190,
    217,
    344,
    375,
    384,
    389
   ],
   [
    59,
    81,
    156,
    190,
    191,
    195,
    218,
    345,
    376,
    385
   ],
   [
    60,
    82,
    157,
    191,
    192,
    196,
    219,
    346,
    377,
    386
   ],
   [
    61,
    83,
    158,
    192,
    193,
    197,
    220,
    347,
    378,
    387
   ],
   [
    62,
    84,
    159,
    193,
    194,
    198,
    221,
    348,
    379,
    388
   ],
   [
    0,
    63,
    85,
    160,
    194,
    199,
    222,
    349,
    380,
    389
   ]
  ]
 },
 "distance": {
  "d": 30,
  "X": {
   "value": 30,
   "confidence": "upper_bound",
   "witness": [
    13,
    31,
    52,
    70,
    91,
    109,
    130,
    148,
    169,
    187,
    207,
    221,
    230,
    231,
    246,
    260,
    269,
    270,
    285,
    299,
    308,
    309,
    324,
    338,
    347,
    348,
    363,
    377,
    386,
    387
   ],
   "witness_provenance": {
    "found_by": [
     "@mathysrennela"
    ],
    "date": "2026-10-12",
    "found_at_samples": 4000000,
    "survived_samples": 4000000,
    "tool": "surrogate.distance_rand_witness (gf2_fast, 8 threads)",
    "seeds": [
     6719690
    ]
   }
  },
  "Z": {
   "value": 30,
   "confidence": "upper_bound",
   "witness": [
    29,
    68,
    107,
    146,
    185,
    199,
    213,
    214,
    218,
    221,
    238,
    252,
    253,
    257,
    260,
    277,
    291,
    292,
    296,
    299,
    316,
    330,
    331,
    335,
    338,
    355,
    369,
    370,
    374,
    377
   ],
   "witness_provenance": {
    "found_by": [
     "@mathysrennela"
    ],
    "date": "2026-10-12",
    "found_at_samples": 4000000,
    "survived_samples": 4000000,
    "tool": "surrogate.distance_rand_witness (gf2_fast, 8 threads)",
    "seeds": [
     6719691
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@mathysrennela"
  ],
  "construction": "Lifted product over G = Z_195 with K = {e} (free action) and 1x1/1x1 boundary maps, from arXiv:2608.08996's Supplementary Information: A = e + x^5 + x^28 + x^155 + x^186 and B = e + x + x^64 + x^86 + x^161 in F_2[Z_195], built with research/kit/group_algebra.build_2bga. n = 2|G| = 390, check weight 5 + 5 = 10.",
  "references": [
   "arXiv:2608.08996v1"
  ],
  "date": "2026-10-12",
  "notes": "Reproduction of a code published in arXiv:2608.08996 Table 1 at n = 390, k = 32, w = 10 with QDistEvol bound d <= 32. This entry files d <= 30, which is tighter than the published bound and was obtained by the submission gate's refutation pass and confirmed independently on both sides. No board entry shares (n, k), so this is a new parameter point rather than a distinct code at held parameters. Distance is a witness-backed upper bound, not an exact certification.",
  "model": "Space Bunny Alpha 1.0",
  "novelty": "known_parameters",
  "origin": "submission",
  "search_budget": {
   "ris_trials_per_side": 4000000
  }
 },
 "family": "lifted-product"
}