{
 "schema_version": "0.1",
 "name": "[[688,172,4]] periodic bivariate-bicycle on Z_8 x Z_43",
 "code_type": "CSS",
 "n": 688,
 "k": 172,
 "checks": {
  "X": [
   [
    0,
    53,
    58,
    86,
    144,
    311,
    344,
    430
   ],
   [
    1,
    54,
    59,
    87,
    145,
    312,
    345,
    431
   ],
   [
    2,
    55,
    60,
    88,
    146,
    313,
    346,
    432
   ],
   [
    3,
    56,
    61,
    89,
    147,
    314,
    347,
    433
   ],
   [
    4,
    57,
    62,
    90,
    148,
    315,
    348,
    434
   ],
   [
    5,
    58,
    63,
    91,
    149,
    316,
    349,
    435
   ],
   [
    6,
    59,
    64,
    92,
    150,
    317,
    350,
    436
   ],
   [
    7,
    60,
    65,
    93,
    151,
    318,
    351,
    437
   ],
   [
    8,
    61,
    66,
    94,
    152,
    319,
    352,
    438
   ],
   [
    9,
    62,
    67,
    95,
    153,
    320,
    353,
    439
   ],
   [
    10,
    63,
    68,
    96,
    154,
    321,
    354,
    440
   ],
   [
    11,
    64,
    69,
    97,
    155,
    322,
    355,
    441
   ],
   [
    12,
    65,
    70,
    98,
    156,
    323,
    356,
    442
   ],
   [
    13,
    66,
    71,
    99,
    157,
    324,
    357,
    443
   ],
   [
    14,
    67,
    72,
    100,
    158,
    325,
    358,
    444
   ],
   [
    15,
    68,
    73,
    101,
    159,
    326,
    359,
    445
   ],
   [
    16,
    69,
    74,
    102,
    160,
    327,
    360,
    446
   ],
   [
    17,
    70,
    75,
    103,
    161,
    328,
    361,
    447
   ],
   [
    18,
    71,
    76,
    104,
    162,
    329,
    362,
    448
   ],
   [
    19,
    72,
    77,
    105,
    163,
    330,
    363,
    449
   ],
   [
    20,
    73,
    78,
    106,
    164,
    331,
    364,
    450
   ],
   [
    21,
    74,
    79,
    107,
    165,
    332,
    365,
    451
   ],
   [
    22,
    75,
    80,
    108,
    166,
    333,
    366,
    452
   ],
   [
    23,
    76,
    81,
    109,
    167,
    334,
    367,
    453
   ],
   [
    24,
    77,
    82,
    110,
    168,
    335,
    368,
    454
   ],
   [
    25,
    78,
    83,
    111,
    169,
    336,
    369,
    455
   ],
   [
    26,
    79,
    84,
    112,
    170,
    337,
    370,
    456
   ],
   [
    27,
    80,
    85,
    113,
    171,
    338,
    371,
    457
   ],
   [
    28,
    43,
    81,
    114,
    129,
    339,
    372,
    458
   ],
   [
    29,
    44,
    82,
    115,
    130,
    340,
    373,
    459
   ],
   [
    30,
    45,
    83,
    116,
    131,
    341,
    374,
    460
   ],
   [
    31,
    46,
    84,
    117,
    132,
    342,
    375,
    461
   ],
   [
    32,
    47,
    85,
    118,
    133,
    343,
    376,
    462
   ],
   [
    33,
    43,
    48,
    119,
    134,
    301,
    377,
    463
   ],
   [
    34,
    44,
    49,
    120,
    135,
    302,
    378,
    464
   ],
   [
    35,
    45,
    50,
    121,
    136,
    303,
    379,
    465
   ],
   [
    36,
    46,
    51,
    122,
    137,
    304,
    380,
    466
   ],
   [
    37,
    47,
    52,
    123,
    138,
    305,
    381,
    467
   ],
   [
    38,
    48,
    53,
    124,
    139,
    306,
    382,
    468
   ],
   [
    39,
    49,
    54,
    125,
    140,
    307,
    383,
    469
   ],
   [
    40,
    50,
    55,
    126,
    141,
    308,
    384,
    470
   ],
   [
    41,
    51,
    56,
    127,
    142,
    309,
    385,
    471
   ],
   [
    42,
    52,
    57,
    128,
    143,
    310,
    386,
    472
   ],
   [
    10,
    43,
    96,
    101,
    129,
    187,
    387,
    473
   ],
   [
    11,
    44,
    97,
    102,
    130,
    188,
    388,
    474
   ],
   [
    12,
    45,
    98,
    103,
    131,
    189,
    389,
    475
   ],
   [
    13,
    46,
    99,
    104,
    132,
    190,
    390,
    476
   ],
   [
    14,
    47,
    100,
    105,
    133,
    191,
    391,
    477
   ],
   [
    15,
    48,
    101,
    106,
    134,
    192,
    392,
    478
   ],
   [
    16,
    49,
    102,
    107,
    135,
    193,
    393,
    479
   ],
   [
    17,
    50,
    103,
    108,
    136,
    194,
    394,
    480
   ],
   [
    18,
    51,
    104,
    109,
    137,
    195,
    395,
    481
   ],
   [
    19,
    52,
    105,
    110,
    138,
    196,
    396,
    482
   ],
   [
    20,
    53,
    106,
    111,
    139,
    197,
    397,
    483
   ],
   [
    21,
    54,
    107,
    112,
    140,
    198,
    398,
    484
   ],
   [
    22,
    55,
    108,
    113,
    141,
    199,
    399,
    485
   ],
   [
    23,
    56,
    109,
    114,
    142,
    200,
    400,
    486
   ],
   [
    24,
    57,
    110,
    115,
    143,
    201,
    401,
    487
   ],
   [
    25,
    58,
    111,
    116,
    144,
    202,
    402,
    488
   ],
   [
    26,
    59,
    112,
    117,
    145,
    203,
    403,
    489
   ],
   [
    27,
    60,
    113,
    118,
    146,
    204,
    404,
    490
   ],
   [
    28,
    61,
    114,
    119,
    147,
    205,
    405,
    491
   ],
   [
    29,
    62,
    115,
    120,
    148,
    206,
    406,
    492
   ],
   [
    30,
    63,
    116,
    121,
    149,
    207,
    407,
    493
   ],
   [
    31,
    64,
    117,
    122,
    150,
    208,
    408,
    494
   ],
   [
    32,
    65,
    118,
    123,
    151,
    209,
    409,
    495
   ],
   [
    33,
    66,
    119,
    124,
    152,
    210,
    410,
    496
   ],
   [
    34,
    67,
    120,
    125,
    153,
    211,
    411,
    497
   ],
   [
    35,
    68,
    121,
    126,
    154,
    212,
    412,
    498
   ],
   [
    36,
    69,
    122,
    127,
    155,
    213,
    413,
    499
   ],
   [
    37,
    70,
    123,
    128,
    156,
    214,
    414,
    500
   ],
   [
    38,
    71,
    86,
    124,
    157,
    172,
    415,
    501
   ],
   [
    39,
    72,
    87,
    125,
    158,
    173,
    416,
    502
   ],
   [
    40,
    73,
    88,
    126,
    159,
    174,
    417,
    503
   ],
   [
    41,
    74,
    89,
    127,
    160,
    175,
    418,
    504
   ],
   [
    42,
    75,
    90,
    128,
    161,
    176,
    419,
    505
   ],
   [
    0,
    76,
    86,
    91,
    162,
    177,
    420,
    506
   ],
   [
    1,
    77,
    87,
    92,
    163,
    178,
    421,
    507
   ],
   [
    2,
    78,
    88,
    93,
    164,
    179,
    422,
    508
   ],
   [
    3,
    79,
    89,
    94,
    165,
    180,
    423,
    509
   ],
   [
    4,
    80,
    90,
    95,
    166,
    181,
    424,
    510
   ],
   [
    5,
    81,
    91,
    96,
    167,
    182,
    425,
    511
   ],
   [
    6,
    82,
    92,
    97,
    168,
    183,
    426,
    512
   ],
   [
    7,
    83,
    93,
    98,
    169,
    184,
    427,
    513
   ],
   [
    8,
    84,
    94,
    99,
    170,
    185,
    428,
    514
   ],
   [
    9,
    85,
    95,
    100,
    171,
    186,
    429,
    515
   ],
   [
    53,
    86,
    139,
    144,
    172,
    230,
    430,
    516
   ],
   [
    54,
    87,
    140,
    145,
    173,
    231,
    431,
    517
   ],
   [
    55,
    88,
    141,
    146,
    174,
    232,
    432,
    518
   ],
   [
    56,
    89,
    142,
    147,
    175,
    233,
    433,
    519
   ],
   [
    57,
    90,
    143,
    148,
    176,
    234,
    434,
    520
   ],
   [
    58,
    91,
    144,
    149,
    177,
    235,
    435,
    521
   ],
   [
    59,
    92,
    145,
    150,
    178,
    236,
    436,
    522
   ],
   [
    60,
    93,
    146,
    151,
    179,
    237,
    437,
    523
   ],
   [
    61,
    94,
    147,
    152,
    180,
    238,
    438,
    524
   ],
   [
    62,
    95,
    148,
    153,
    181,
    239,
    439,
    525
   ],
   [
    63,
    96,
    149,
    154,
    182,
    240,
    440,
    526
   ],
   [
    64,
    97,
    150,
    155,
    183,
    241,
    441,
    527
   ],
   [
    65,
    98,
    151,
    156,
    184,
    242,
    442,
    528
   ],
   [
    66,
    99,
    152,
    157,
    185,
    243,
    443,
    529
   ],
   [
    67,
    100,
    153,
    158,
    186,
    244,
    444,
    530
   ],
   [
    68,
    101,
    154,
    159,
    187,
    245,
    445,
    531
   ],
   [
    69,
    102,
    155,
    160,
    188,
    246,
    446,
    532
   ],
   [
    70,
    103,
    156,
    161,
    189,
    247,
    447,
    533
   ],
   [
    71,
    104,
    157,
    162,
    190,
    248,
    448,
    534
   ],
   [
    72,
    105,
    158,
    163,
    191,
    249,
    449,
    535
   ],
   [
    73,
    106,
    159,
    164,
    192,
    250,
    450,
    536
   ],
   [
    74,
    107,
    160,
    165,
    193,
    251,
    451,
    537
   ],
   [
    75,
    108,
    161,
    166,
    194,
    252,
    452,
    538
   ],
   [
    76,
    109,
    162,
    167,
    195,
    253,
    453,
    539
   ],
   [
    77,
    110,
    163,
    168,
    196,
    254,
    454,
    540
   ],
   [
    78,
    111,
    164,
    169,
    197,
    255,
    455,
    541
   ],
   [
    79,
    112,
    165,
    170,
    198,
    256,
    456,
    542
   ],
   [
    80,
    113,
    166,
    171,
    199,
    257,
    457,
    543
   ],
   [
    81,
    114,
    129,
    167,
    200,
    215,
    458,
    544
   ],
   [
    82,
    115,
    130,
    168,
    201,
    216,
    459,
    545
   ],
   [
    83,
    116,
    131,
    169,
    202,
    217,
    460,
    546
   ],
   [
    84,
    117,
    132,
    170,
    203,
    218,
    461,
    547
   ],
   [
    85,
    118,
    133,
    171,
    204,
    219,
    462,
    548
   ],
   [
    43,
    119,
    129,
    134,
    205,
    220,
    463,
    549
   ],
   [
    44,
    120,
    130,
    135,
    206,
    221,
    464,
    550
   ],
   [
    45,
    121,
    131,
    136,
    207,
    222,
    465,
    551
   ],
   [
    46,
    122,
    132,
    137,
    208,
    223,
    466,
    552
   ],
   [
    47,
    123,
    133,
    138,
    209,
    224,
    467,
    553
   ],
   [
    48,
    124,
    134,
    139,
    210,
    225,
    468,
    554
   ],
   [
    49,
    125,
    135,
    140,
    211,
    226,
    469,
    555
   ],
   [
    50,
    126,
    136,
    141,
    212,
    227,
    470,
    556
   ],
   [
    51,
    127,
    137,
    142,
    213,
    228,
    471,
    557
   ],
   [
    52,
    128,
    138,
    143,
    214,
    229,
    472,
    558
   ],
   [
    96,
    129,
    182,
    187,
    215,
    273,
    473,
    559
   ],
   [
    97,
    130,
    183,
    188,
    216,
    274,
    474,
    560
   ],
   [
    98,
    131,
    184,
    189,
    217,
    275,
    475,
    561
   ],
   [
    99,
    132,
    185,
    190,
    218,
    276,
    476,
    562
   ],
   [
    100,
    133,
    186,
    191,
    219,
    277,
    477,
    563
   ],
   [
    101,
    134,
    187,
    192,
    220,
    278,
    478,
    564
   ],
   [
    102,
    135,
    188,
    193,
    221,
    279,
    479,
    565
   ],
   [
    103,
    136,
    189,
    194,
    222,
    280,
    480,
    566
   ],
   [
    104,
    137,
    190,
    195,
    223,
    281,
    481,
    567
   ],
   [
    105,
    138,
    191,
    196,
    224,
    282,
    482,
    568
   ],
   [
    106,
    139,
    192,
    197,
    225,
    283,
    483,
    569
   ],
   [
    107,
    140,
    193,
    198,
    226,
    284,
    484,
    570
   ],
   [
    108,
    141,
    194,
    199,
    227,
    285,
    485,
    571
   ],
   [
    109,
    142,
    195,
    200,
    228,
    286,
    486,
    572
   ],
   [
    110,
    143,
    196,
    201,
    229,
    287,
    487,
    573
   ],
   [
    111,
    144,
    197,
    202,
    230,
    288,
    488,
    574
   ],
   [
    112,
    145,
    198,
    203,
    231,
    289,
    489,
    575
   ],
   [
    113,
    146,
    199,
    204,
    232,
    290,
    490,
    576
   ],
   [
    114,
    147,
    200,
    205,
    233,
    291,
    491,
    577
   ],
   [
    115,
    148,
    201,
    206,
    234,
    292,
    492,
    578
   ],
   [
    116,
    149,
    202,
    207,
    235,
    293,
    493,
    579
   ],
   [
    117,
    150,
    203,
    208,
    236,
    294,
    494,
    580
   ],
   [
    118,
    151,
    204,
    209,
    237,
    295,
    495,
    581
   ],
   [
    119,
    152,
    205,
    210,
    238,
    296,
    496,
    582
   ],
   [
    120,
    153,
    206,
    211,
    239,
    297,
    497,
    583
   ],
   [
    121,
    154,
    207,
    212,
    240,
    298,
    498,
    584
   ],
   [
    122,
    155,
    208,
    213,
    241,
    299,
    499,
    585
   ],
   [
    123,
    156,
    209,
    214,
    242,
    300,
    500,
    586
   ],
   [
    124,
    157,
    172,
    210,
    243,
    258,
    501,
    587
   ],
   [
    125,
    158,
    173,
    211,
    244,
    259,
    502,
    588
   ],
   [
    126,
    159,
    174,
    212,
    245,
    260,
    503,
    589
   ],
   [
    127,
    160,
    175,
    213,
    246,
    261,
    504,
    590
   ],
   [
    128,
    161,
    176,
    214,
    247,
    262,
    505,
    591
   ],
   [
    86,
    162,
    172,
    177,
    248,
    263,
    506,
    592
   ],
   [
    87,
    163,
    173,
    178,
    249,
    264,
    507,
    593
   ],
   [
    88,
    164,
    174,
    179,
    250,
    265,
    508,
    594
   ],
   [
    89,
    165,
    175,
    180,
    251,
    266,
    509,
    595
   ],
   [
    90,
    166,
    176,
    181,
    252,
    267,
    510,
    596
   ],
   [
    91,
    167,
    177,
    182,
    253,
    268,
    511,
    597
   ],
   [
    92,
    168,
    178,
    183,
    254,
    269,
    512,
    598
   ],
   [
    93,
    169,
    179,
    184,
    255,
    270,
    513,
    599
   ],
   [
    94,
    170,
    180,
    185,
    256,
    271,
    514,
    600
   ],
   [
    95,
    171,
    181,
    186,
    257,
    272,
    515,
    601
   ],
   [
    139,
    172,
    225,
    230,
    258,
    316,
    516,
    602
   ],
   [
    140,
    173,
    226,
    231,
    259,
    317,
    517,
    603
   ],
   [
    141,
    174,
    227,
    232,
    260,
    318,
    518,
    604
   ],
   [
    142,
    175,
    228,
    233,
    261,
    319,
    519,
    605
   ],
   [
    143,
    176,
    229,
    234,
    262,
    320,
    520,
    606
   ],
   [
    144,
    177,
    230,
    235,
    263,
    321,
    521,
    607
   ],
   [
    145,
    178,
    231,
    236,
    264,
    322,
    522,
    608
   ],
   [
    146,
    179,
    232,
    237,
    265,
    323,
    523,
    609
   ],
   [
    147,
    180,
    233,
    238,
    266,
    324,
    524,
    610
   ],
   [
    148,
    181,
    234,
    239,
    267,
    325,
    525,
    611
   ],
   [
    149,
    182,
    235,
    240,
    268,
    326,
    526,
    612
   ],
   [
    150,
    183,
    236,
    241,
    269,
    327,
    527,
    613
   ],
   [
    151,
    184,
    237,
    242,
    270,
    328,
    528,
    614
   ],
   [
    152,
    185,
    238,
    243,
    271,
    329,
    529,
    615
   ],
   [
    153,
    186,
    239,
    244,
    272,
    330,
    530,
    616
   ],
   [
    154,
    187,
    240,
    245,
    273,
    331,
    531,
    617
   ],
   [
    155,
    188,
    241,
    246,
    274,
    332,
    532,
    618
   ],
   [
    156,
    189,
    242,
    247,
    275,
    333,
    533,
    619
   ],
   [
    157,
    190,
    243,
    248,
    276,
    334,
    534,
    620
   ],
   [
    158,
    191,
    244,
    249,
    277,
    335,
    535,
    621
   ],
   [
    159,
    192,
    245,
    250,
    278,
    336,
    536,
    622
   ],
   [
    160,
    193,
    246,
    251,
    279,
    337,
    537,
    623
   ],
   [
    161,
    194,
    247,
    252,
    280,
    338,
    538,
    624
   ],
   [
    162,
    195,
    248,
    253,
    281,
    339,
    539,
    625
   ],
   [
    163,
    196,
    249,
    254,
    282,
    340,
    540,
    626
   ],
   [
    164,
    197,
    250,
    255,
    283,
    341,
    541,
    627
   ],
   [
    165,
    198,
    251,
    256,
    284,
    342,
    542,
    628
   ],
   [
    166,
    199,
    252,
    257,
    285,
    343,
    543,
    629
   ],
   [
    167,
    200,
    215,
    253,
    286,
    301,
    544,
    630
   ],
   [
    168,
    201,
    216,
    254,
    287,
    302,
    545,
    631
   ],
   [
    169,
    202,
    217,
    255,
    288,
    303,
    546,
    632
   ],
   [
    170,
    203,
    218,
    256,
    289,
    304,
    547,
    633
   ],
   [
    171,
    204,
    219,
    257,
    290,
    305,
    548,
    634
   ],
   [
    129,
    205,
    215,
    220,
    291,
    306,
    549,
    635
   ],
   [
    130,
    206,
    216,
    221,
    292,
    307,
    550,
    636
   ],
   [
    131,
    207,
    217,
    222,
    293,
    308,
    551,
    637
   ],
   [
    132,
    208,
    218,
    223,
    294,
    309,
    552,
    638
   ],
   [
    133,
    209,
    219,
    224,
    295,
    310,
    553,
    639
   ],
   [
    134,
    210,
    220,
    225,
    296,
    311,
    554,
    640
   ],
   [
    135,
    211,
    221,
    226,
    297,
    312,
    555,
    641
   ],
   [
    136,
    212,
    222,
    227,
    298,
    313,
    556,
    642
   ],
   [
    137,
    213,
    223,
    228,
    299,
    314,
    557,
    643
   ],
   [
    138,
    214,
    224,
    229,
    300,
    315,
    558,
    644
   ],
   [
    15,
    182,
    215,
    268,
    273,
    301,
    559,
    645
   ],
   [
    16,
    183,
    216,
    269,
    274,
    302,
    560,
    646
   ],
   [
    17,
    184,
    217,
    270,
    275,
    303,
    561,
    647
   ],
   [
    18,
    185,
    218,
    271,
    276,
    304,
    562,
    648
   ],
   [
    19,
    186,
    219,
    272,
    277,
    305,
    563,
    649
   ],
   [
    20,
    187,
    220,
    273,
    278,
    306,
    564,
    650
   ],
   [
    21,
    188,
    221,
    274,
    279,
    307,
    565,
    651
   ],
   [
    22,
    189,
    222,
    275,
    280,
    308,
    566,
    652
   ],
   [
    23,
    190,
    223,
    276,
    281,
    309,
    567,
    653
   ],
   [
    24,
    191,
    224,
    277,
    282,
    310,
    568,
    654
   ],
   [
    25,
    192,
    225,
    278,
    283,
    311,
    569,
    655
   ],
   [
    26,
    193,
    226,
    279,
    284,
    312,
    570,
    656
   ],
   [
    27,
    194,
    227,
    280,
    285,
    313,
    571,
    657
   ],
   [
    28,
    195,
    228,
    281,
    286,
    314,
    572,
    658
   ],
   [
    29,
    196,
    229,
    282,
    287,
    315,
    573,
    659
   ],
   [
    30,
    197,
    230,
    283,
    288,
    316,
    574,
    660
   ],
   [
    31,
    198,
    231,
    284,
    289,
    317,
    575,
    661
   ],
   [
    32,
    199,
    232,
    285,
    290,
    318,
    576,
    662
   ],
   [
    33,
    200,
    233,
    286,
    291,
    319,
    577,
    663
   ],
   [
    34,
    201,
    234,
    287,
    292,
    320,
    578,
    664
   ],
   [
    35,
    202,
    235,
    288,
    293,
    321,
    579,
    665
   ],
   [
    36,
    203,
    236,
    289,
    294,
    322,
    580,
    666
   ],
   [
    37,
    204,
    237,
    290,
    295,
    323,
    581,
    667
   ],
   [
    38,
    205,
    238,
    291,
    296,
    324,
    582,
    668
   ],
   [
    39,
    206,
    239,
    292,
    297,
    325,
    583,
    669
   ],
   [
    40,
    207,
    240,
    293,
    298,
    326,
    584,
    670
   ],
   [
    41,
    208,
    241,
    294,
    299,
    327,
    585,
    671
   ],
   [
    42,
    209,
    242,
    295,
    300,
    328,
    586,
    672
   ],
   [
    0,
    210,
    243,
    258,
    296,
    329,
    587,
    673
   ],
   [
    1,
    211,
    244,
    259,
    297,
    330,
    588,
    674
   ],
   [
    2,
    212,
    245,
    260,
    298,
    331,
    589,
    675
   ],
   [
    3,
    213,
    246,
    261,
    299,
    332,
    590,
    676
   ],
   [
    4,
    214,
    247,
    262,
    300,
    333,
    591,
    677
   ],
   [
    5,
    172,
    248,
    258,
    263,
    334,
    592,
    678
   ],
   [
    6,
    173,
    249,
    259,
    264,
    335,
    593,
    679
   ],
   [
    7,
    174,
    250,
    260,
    265,
    336,
    594,
    680
   ],
   [
    8,
    175,
    251,
    261,
    266,
    337,
    595,
    681
   ],
   [
    9,
    176,
    252,
    262,
    267,
    338,
    596,
    682
   ],
   [
    10,
    177,
    253,
    263,
    268,
    339,
    597,
    683
   ],
   [
    11,
    178,
    254,
    264,
    269,
    340,
    598,
    684
   ],
   [
    12,
    179,
    255,
    265,
    270,
    341,
    599,
    685
   ],
   [
    13,
    180,
    256,
    266,
    271,
    342,
    600,
    686
   ],
   [
    14,
    181,
    257,
    267,
    272,
    343,
    601,
    687
   ],
   [
    0,
    58,
    225,
    258,
    311,
    316,
    344,
    602
   ],
   [
    1,
    59,
    226,
    259,
    312,
    317,
    345,
    603
   ],
   [
    2,
    60,
    227,
    260,
    313,
    318,
    346,
    604
   ],
   [
    3,
    61,
    228,
    261,
    314,
    319,
    347,
    605
   ],
   [
    4,
    62,
    229,
    262,
    315,
    320,
    348,
    606
   ],
   [
    5,
    63,
    230,
    263,
    316,
    321,
    349,
    607
   ],
   [
    6,
    64,
    231,
    264,
    317,
    322,
    350,
    608
   ],
   [
    7,
    65,
    232,
    265,
    318,
    323,
    351,
    609
   ],
   [
    8,
    66,
    233,
    266,
    319,
    324,
    352,
    610
   ],
   [
    9,
    67,
    234,
    267,
    320,
    325,
    353,
    611
   ],
   [
    10,
    68,
    235,
    268,
    321,
    326,
    354,
    612
   ],
   [
    11,
    69,
    236,
    269,
    322,
    327,
    355,
    613
   ],
   [
    12,
    70,
    237,
    270,
    323,
    328,
    356,
    614
   ],
   [
    13,
    71,
    238,
    271,
    324,
    329,
    357,
    615
   ],
   [
    14,
    72,
    239,
    272,
    325,
    330,
    358,
    616
   ],
   [
    15,
    73,
    240,
    273,
    326,
    331,
    359,
    617
   ],
   [
    16,
    74,
    241,
    274,
    327,
    332,
    360,
    618
   ],
   [
    17,
    75,
    242,
    275,
    328,
    333,
    361,
    619
   ],
   [
    18,
    76,
    243,
    276,
    329,
    334,
    362,
    620
   ],
   [
    19,
    77,
    244,
    277,
    330,
    335,
    363,
    621
   ],
   [
    20,
    78,
    245,
    278,
    331,
    336,
    364,
    622
   ],
   [
    21,
    79,
    246,
    279,
    332,
    337,
    365,
    623
   ],
   [
    22,
    80,
    247,
    280,
    333,
    338,
    366,
    624
   ],
   [
    23,
    81,
    248,
    281,
    334,
    339,
    367,
    625
   ],
   [
    24,
    82,
    249,
    282,
    335,
    340,
    368,
    626
   ],
   [
    25,
    83,
    250,
    283,
    336,
    341,
    369,
    627
   ],
   [
    26,
    84,
    251,
    284,
    337,
    342,
    370,
    628
   ],
   [
    27,
    85,
    252,
    285,
    338,
    343,
    371,
    629
   ],
   [
    28,
    43,
    253,
    286,
    301,
    339,
    372,
    630
   ],
   [
    29,
    44,
    254,
    287,
    302,
    340,
    373,
    631
   ],
   [
    30,
    45,
    255,
    288,
    303,
    341,
    374,
    632
   ],
   [
    31,
    46,
    256,
    289,
    304,
    342,
    375,
    633
   ],
   [
    32,
    47,
    257,
    290,
    305,
    343,
    376,
    634
   ],
   [
    33,
    48,
    215,
    291,
    301,
    306,
    377,
    635
   ],
   [
    34,
    49,
    216,
    292,
    302,
    307,
    378,
    636
   ],
   [
    35,
    50,
    217,
    293,
    303,
    308,
    379,
    637
   ],
   [
    36,
    51,
    218,
    294,
    304,
    309,
    380,
    638
   ],
   [
    37,
    52,
    219,
    295,
    305,
    310,
    381,
    639
   ],
   [
    38,
    53,
    220,
    296,
    306,
    311,
    382,
    640
   ],
   [
    39,
    54,
    221,
    297,
    307,
    312,
    383,
    641
   ],
   [
    40,
    55,
    222,
    298,
    308,
    313,
    384,
    642
   ],
   [
    41,
    56,
    223,
    299,
    309,
    314,
    385,
    643
   ],
   [
    42,
    57,
    224,
    300,
    310,
    315,
    386,
    644
   ],
   [
    10,
    15,
    43,
    101,
    268,
    301,
    387,
    645
   ],
   [
    11,
    16,
    44,
    102,
    269,
    302,
    388,
    646
   ],
   [
    12,
    17,
    45,
    103,
    270,
    303,
    389,
    647
   ],
   [
    13,
    18,
    46,
    104,
    271,
    304,
    390,
    648
   ],
   [
    14,
    19,
    47,
    105,
    272,
    305,
    391,
    649
   ],
   [
    15,
    20,
    48,
    106,
    273,
    306,
    392,
    650
   ],
   [
    16,
    21,
    49,
    107,
    274,
    307,
    393,
    651
   ],
   [
    17,
    22,
    50,
    108,
    275,
    308,
    394,
    652
   ],
   [
    18,
    23,
    51,
    109,
    276,
    309,
    395,
    653
   ],
   [
    19,
    24,
    52,
    110,
    277,
    310,
    396,
    654
   ],
   [
    20,
    25,
    53,
    111,
    278,
    311,
    397,
    655
   ],
   [
    21,
    26,
    54,
    112,
    279,
    312,
    398,
    656
   ],
   [
    22,
    27,
    55,
    113,
    280,
    313,
    399,
    657
   ],
   [
    23,
    28,
    56,
    114,
    281,
    314,
    400,
    658
   ],
   [
    24,
    29,
    57,
    115,
    282,
    315,
    401,
    659
   ],
   [
    25,
    30,
    58,
    116,
    283,
    316,
    402,
    660
   ],
   [
    26,
    31,
    59,
    117,
    284,
    317,
    403,
    661
   ],
   [
    27,
    32,
    60,
    118,
    285,
    318,
    404,
    662
   ],
   [
    28,
    33,
    61,
    119,
    286,
    319,
    405,
    663
   ],
   [
    29,
    34,
    62,
    120,
    287,
    320,
    406,
    664
   ],
   [
    30,
    35,
    63,
    121,
    288,
    321,
    407,
    665
   ],
   [
    31,
    36,
    64,
    122,
    289,
    322,
    408,
    666
   ],
   [
    32,
    37,
    65,
    123,
    290,
    323,
    409,
    667
   ],
   [
    33,
    38,
    66,
    124,
    291,
    324,
    410,
    668
   ],
   [
    34,
    39,
    67,
    125,
    292,
    325,
    411,
    669
   ],
   [
    35,
    40,
    68,
    126,
    293,
    326,
    412,
    670
   ],
   [
    36,
    41,
    69,
    127,
    294,
    327,
    413,
    671
   ],
   [
    37,
    42,
    70,
    128,
    295,
    328,
    414,
    672
   ],
   [
    0,
    38,
    71,
    86,
    296,
    329,
    415,
    673
   ],
   [
    1,
    39,
    72,
    87,
    297,
    330,
    416,
    674
   ],
   [
    2,
    40,
    73,
    88,
    298,
    331,
    417,
    675
   ],
   [
    3,
    41,
    74,
    89,
    299,
    332,
    418,
    676
   ],
   [
    4,
    42,
    75,
    90,
    300,
    333,
    419,
    677
   ],
   [
    0,
    5,
    76,
    91,
    258,
    334,
    420,
    678
   ],
   [
    1,
    6,
    77,
    92,
    259,
    335,
    421,
    679
   ],
   [
    2,
    7,
    78,
    93,
    260,
    336,
    422,
    680
   ],
   [
    3,
    8,
    79,
    94,
    261,
    337,
    423,
    681
   ],
   [
    4,
    9,
    80,
    95,
    262,
    338,
    424,
    682
   ],
   [
    5,
    10,
    81,
    96,
    263,
    339,
    425,
    683
   ],
   [
    6,
    11,
    82,
    97,
    264,
    340,
    426,
    684
   ],
   [
    7,
    12,
    83,
    98,
    265,
    341,
    427,
    685
   ],
   [
    8,
    13,
    84,
    99,
    266,
    342,
    428,
    686
   ],
   [
    9,
    14,
    85,
    100,
    267,
    343,
    429,
    687
   ]
  ],
  "Z": [
   [
    0,
    258,
    344,
    420,
    587,
    602,
    673,
    678
   ],
   [
    1,
    259,
    345,
    421,
    588,
    603,
    674,
    679
   ],
   [
    2,
    260,
    346,
    422,
    589,
    604,
    675,
    680
   ],
   [
    3,
    261,
    347,
    423,
    590,
    605,
    676,
    681
   ],
   [
    4,
    262,
    348,
    424,
    591,
    606,
    677,
    682
   ],
   [
    5,
    263,
    349,
    425,
    592,
    607,
    678,
    683
   ],
   [
    6,
    264,
    350,
    426,
    593,
    608,
    679,
    684
   ],
   [
    7,
    265,
    351,
    427,
    594,
    609,
    680,
    685
   ],
   [
    8,
    266,
    352,
    428,
    595,
    610,
    681,
    686
   ],
   [
    9,
    267,
    353,
    429,
    596,
    611,
    682,
    687
   ],
   [
    10,
    268,
    354,
    387,
    597,
    612,
    645,
    683
   ],
   [
    11,
    269,
    355,
    388,
    598,
    613,
    646,
    684
   ],
   [
    12,
    270,
    356,
    389,
    599,
    614,
    647,
    685
   ],
   [
    13,
    271,
    357,
    390,
    600,
    615,
    648,
    686
   ],
   [
    14,
    272,
    358,
    391,
    601,
    616,
    649,
    687
   ],
   [
    15,
    273,
    359,
    392,
    559,
    617,
    645,
    650
   ],
   [
    16,
    274,
    360,
    393,
    560,
    618,
    646,
    651
   ],
   [
    17,
    275,
    361,
    394,
    561,
    619,
    647,
    652
   ],
   [
    18,
    276,
    362,
    395,
    562,
    620,
    648,
    653
   ],
   [
    19,
    277,
    363,
    396,
    563,
    621,
    649,
    654
   ],
   [
    20,
    278,
    364,
    397,
    564,
    622,
    650,
    655
   ],
   [
    21,
    279,
    365,
    398,
    565,
    623,
    651,
    656
   ],
   [
    22,
    280,
    366,
    399,
    566,
    624,
    652,
    657
   ],
   [
    23,
    281,
    367,
    400,
    567,
    625,
    653,
    658
   ],
   [
    24,
    282,
    368,
    401,
    568,
    626,
    654,
    659
   ],
   [
    25,
    283,
    369,
    402,
    569,
    627,
    655,
    660
   ],
   [
    26,
    284,
    370,
    403,
    570,
    628,
    656,
    661
   ],
   [
    27,
    285,
    371,
    404,
    571,
    629,
    657,
    662
   ],
   [
    28,
    286,
    372,
    405,
    572,
    630,
    658,
    663
   ],
   [
    29,
    287,
    373,
    406,
    573,
    631,
    659,
    664
   ],
   [
    30,
    288,
    374,
    407,
    574,
    632,
    660,
    665
   ],
   [
    31,
    289,
    375,
    408,
    575,
    633,
    661,
    666
   ],
   [
    32,
    290,
    376,
    409,
    576,
    634,
    662,
    667
   ],
   [
    33,
    291,
    377,
    410,
    577,
    635,
    663,
    668
   ],
   [
    34,
    292,
    378,
    411,
    578,
    636,
    664,
    669
   ],
   [
    35,
    293,
    379,
    412,
    579,
    637,
    665,
    670
   ],
   [
    36,
    294,
    380,
    413,
    580,
    638,
    666,
    671
   ],
   [
    37,
    295,
    381,
    414,
    581,
    639,
    667,
    672
   ],
   [
    38,
    296,
    382,
    415,
    582,
    640,
    668,
    673
   ],
   [
    39,
    297,
    383,
    416,
    583,
    641,
    669,
    674
   ],
   [
    40,
    298,
    384,
    417,
    584,
    642,
    670,
    675
   ],
   [
    41,
    299,
    385,
    418,
    585,
    643,
    671,
    676
   ],
   [
    42,
    300,
    386,
    419,
    586,
    644,
    672,
    677
   ],
   [
    43,
    301,
    372,
    377,
    387,
    463,
    630,
    645
   ],
   [
    44,
    302,
    373,
    378,
    388,
    464,
    631,
    646
   ],
   [
    45,
    303,
    374,
    379,
    389,
    465,
    632,
    647
   ],
   [
    46,
    304,
    375,
    380,
    390,
    466,
    633,
    648
   ],
   [
    47,
    305,
    376,
    381,
    391,
    467,
    634,
    649
   ],
   [
    48,
    306,
    377,
    382,
    392,
    468,
    635,
    650
   ],
   [
    49,
    307,
    378,
    383,
    393,
    469,
    636,
    651
   ],
   [
    50,
    308,
    379,
    384,
    394,
    470,
    637,
    652
   ],
   [
    51,
    309,
    380,
    385,
    395,
    471,
    638,
    653
   ],
   [
    52,
    310,
    381,
    386,
    396,
    472,
    639,
    654
   ],
   [
    53,
    311,
    344,
    382,
    397,
    430,
    640,
    655
   ],
   [
    54,
    312,
    345,
    383,
    398,
    431,
    641,
    656
   ],
   [
    55,
    313,
    346,
    384,
    399,
    432,
    642,
    657
   ],
   [
    56,
    314,
    347,
    385,
    400,
    433,
    643,
    658
   ],
   [
    57,
    315,
    348,
    386,
    401,
    434,
    644,
    659
   ],
   [
    58,
    316,
    344,
    349,
    402,
    435,
    602,
    660
   ],
   [
    59,
    317,
    345,
    350,
    403,
    436,
    603,
    661
   ],
   [
    60,
    318,
    346,
    351,
    404,
    437,
    604,
    662
   ],
   [
    61,
    319,
    347,
    352,
    405,
    438,
    605,
    663
   ],
   [
    62,
    320,
    348,
    353,
    406,
    439,
    606,
    664
   ],
   [
    63,
    321,
    349,
    354,
    407,
    440,
    607,
    665
   ],
   [
    64,
    322,
    350,
    355,
    408,
    441,
    608,
    666
   ],
   [
    65,
    323,
    351,
    356,
    409,
    442,
    609,
    667
   ],
   [
    66,
    324,
    352,
    357,
    410,
    443,
    610,
    668
   ],
   [
    67,
    325,
    353,
    358,
    411,
    444,
    611,
    669
   ],
   [
    68,
    326,
    354,
    359,
    412,
    445,
    612,
    670
   ],
   [
    69,
    327,
    355,
    360,
    413,
    446,
    613,
    671
   ],
   [
    70,
    328,
    356,
    361,
    414,
    447,
    614,
    672
   ],
   [
    71,
    329,
    357,
    362,
    415,
    448,
    615,
    673
   ],
   [
    72,
    330,
    358,
    363,
    416,
    449,
    616,
    674
   ],
   [
    73,
    331,
    359,
    364,
    417,
    450,
    617,
    675
   ],
   [
    74,
    332,
    360,
    365,
    418,
    451,
    618,
    676
   ],
   [
    75,
    333,
    361,
    366,
    419,
    452,
    619,
    677
   ],
   [
    76,
    334,
    362,
    367,
    420,
    453,
    620,
    678
   ],
   [
    77,
    335,
    363,
    368,
    421,
    454,
    621,
    679
   ],
   [
    78,
    336,
    364,
    369,
    422,
    455,
    622,
    680
   ],
   [
    79,
    337,
    365,
    370,
    423,
    456,
    623,
    681
   ],
   [
    80,
    338,
    366,
    371,
    424,
    457,
    624,
    682
   ],
   [
    81,
    339,
    367,
    372,
    425,
    458,
    625,
    683
   ],
   [
    82,
    340,
    368,
    373,
    426,
    459,
    626,
    684
   ],
   [
    83,
    341,
    369,
    374,
    427,
    460,
    627,
    685
   ],
   [
    84,
    342,
    370,
    375,
    428,
    461,
    628,
    686
   ],
   [
    85,
    343,
    371,
    376,
    429,
    462,
    629,
    687
   ],
   [
    0,
    86,
    344,
    415,
    420,
    430,
    506,
    673
   ],
   [
    1,
    87,
    345,
    416,
    421,
    431,
    507,
    674
   ],
   [
    2,
    88,
    346,
    417,
    422,
    432,
    508,
    675
   ],
   [
    3,
    89,
    347,
    418,
    423,
    433,
    509,
    676
   ],
   [
    4,
    90,
    348,
    419,
    424,
    434,
    510,
    677
   ],
   [
    5,
    91,
    349,
    420,
    425,
    435,
    511,
    678
   ],
   [
    6,
    92,
    350,
    421,
    426,
    436,
    512,
    679
   ],
   [
    7,
    93,
    351,
    422,
    427,
    437,
    513,
    680
   ],
   [
    8,
    94,
    352,
    423,
    428,
    438,
    514,
    681
   ],
   [
    9,
    95,
    353,
    424,
    429,
    439,
    515,
    682
   ],
   [
    10,
    96,
    354,
    387,
    425,
    440,
    473,
    683
   ],
   [
    11,
    97,
    355,
    388,
    426,
    441,
    474,
    684
   ],
   [
    12,
    98,
    356,
    389,
    427,
    442,
    475,
    685
   ],
   [
    13,
    99,
    357,
    390,
    428,
    443,
    476,
    686
   ],
   [
    14,
    100,
    358,
    391,
    429,
    444,
    477,
    687
   ],
   [
    15,
    101,
    359,
    387,
    392,
    445,
    478,
    645
   ],
   [
    16,
    102,
    360,
    388,
    393,
    446,
    479,
    646
   ],
   [
    17,
    103,
    361,
    389,
    394,
    447,
    480,
    647
   ],
   [
    18,
    104,
    362,
    390,
    395,
    448,
    481,
    648
   ],
   [
    19,
    105,
    363,
    391,
    396,
    449,
    482,
    649
   ],
   [
    20,
    106,
    364,
    392,
    397,
    450,
    483,
    650
   ],
   [
    21,
    107,
    365,
    393,
    398,
    451,
    484,
    651
   ],
   [
    22,
    108,
    366,
    394,
    399,
    452,
    485,
    652
   ],
   [
    23,
    109,
    367,
    395,
    400,
    453,
    486,
    653
   ],
   [
    24,
    110,
    368,
    396,
    401,
    454,
    487,
    654
   ],
   [
    25,
    111,
    369,
    397,
    402,
    455,
    488,
    655
   ],
   [
    26,
    112,
    370,
    398,
    403,
    456,
    489,
    656
   ],
   [
    27,
    113,
    371,
    399,
    404,
    457,
    490,
    657
   ],
   [
    28,
    114,
    372,
    400,
    405,
    458,
    491,
    658
   ],
   [
    29,
    115,
    373,
    401,
    406,
    459,
    492,
    659
   ],
   [
    30,
    116,
    374,
    402,
    407,
    460,
    493,
    660
   ],
   [
    31,
    117,
    375,
    403,
    408,
    461,
    494,
    661
   ],
   [
    32,
    118,
    376,
    404,
    409,
    462,
    495,
    662
   ],
   [
    33,
    119,
    377,
    405,
    410,
    463,
    496,
    663
   ],
   [
    34,
    120,
    378,
    406,
    411,
    464,
    497,
    664
   ],
   [
    35,
    121,
    379,
    407,
    412,
    465,
    498,
    665
   ],
   [
    36,
    122,
    380,
    408,
    413,
    466,
    499,
    666
   ],
   [
    37,
    123,
    381,
    409,
    414,
    467,
    500,
    667
   ],
   [
    38,
    124,
    382,
    410,
    415,
    468,
    501,
    668
   ],
   [
    39,
    125,
    383,
    411,
    416,
    469,
    502,
    669
   ],
   [
    40,
    126,
    384,
    412,
    417,
    470,
    503,
    670
   ],
   [
    41,
    127,
    385,
    413,
    418,
    471,
    504,
    671
   ],
   [
    42,
    128,
    386,
    414,
    419,
    472,
    505,
    672
   ],
   [
    43,
    129,
    372,
    387,
    458,
    463,
    473,
    549
   ],
   [
    44,
    130,
    373,
    388,
    459,
    464,
    474,
    550
   ],
   [
    45,
    131,
    374,
    389,
    460,
    465,
    475,
    551
   ],
   [
    46,
    132,
    375,
    390,
    461,
    466,
    476,
    552
   ],
   [
    47,
    133,
    376,
    391,
    462,
    467,
    477,
    553
   ],
   [
    48,
    134,
    377,
    392,
    463,
    468,
    478,
    554
   ],
   [
    49,
    135,
    378,
    393,
    464,
    469,
    479,
    555
   ],
   [
    50,
    136,
    379,
    394,
    465,
    470,
    480,
    556
   ],
   [
    51,
    137,
    380,
    395,
    466,
    471,
    481,
    557
   ],
   [
    52,
    138,
    381,
    396,
    467,
    472,
    482,
    558
   ],
   [
    53,
    139,
    382,
    397,
    430,
    468,
    483,
    516
   ],
   [
    54,
    140,
    383,
    398,
    431,
    469,
    484,
    517
   ],
   [
    55,
    141,
    384,
    399,
    432,
    470,
    485,
    518
   ],
   [
    56,
    142,
    385,
    400,
    433,
    471,
    486,
    519
   ],
   [
    57,
    143,
    386,
    401,
    434,
    472,
    487,
    520
   ],
   [
    58,
    144,
    344,
    402,
    430,
    435,
    488,
    521
   ],
   [
    59,
    145,
    345,
    403,
    431,
    436,
    489,
    522
   ],
   [
    60,
    146,
    346,
    404,
    432,
    437,
    490,
    523
   ],
   [
    61,
    147,
    347,
    405,
    433,
    438,
    491,
    524
   ],
   [
    62,
    148,
    348,
    406,
    434,
    439,
    492,
    525
   ],
   [
    63,
    149,
    349,
    407,
    435,
    440,
    493,
    526
   ],
   [
    64,
    150,
    350,
    408,
    436,
    441,
    494,
    527
   ],
   [
    65,
    151,
    351,
    409,
    437,
    442,
    495,
    528
   ],
   [
    66,
    152,
    352,
    410,
    438,
    443,
    496,
    529
   ],
   [
    67,
    153,
    353,
    411,
    439,
    444,
    497,
    530
   ],
   [
    68,
    154,
    354,
    412,
    440,
    445,
    498,
    531
   ],
   [
    69,
    155,
    355,
    413,
    441,
    446,
    499,
    532
   ],
   [
    70,
    156,
    356,
    414,
    442,
    447,
    500,
    533
   ],
   [
    71,
    157,
    357,
    415,
    443,
    448,
    501,
    534
   ],
   [
    72,
    158,
    358,
    416,
    444,
    449,
    502,
    535
   ],
   [
    73,
    159,
    359,
    417,
    445,
    450,
    503,
    536
   ],
   [
    74,
    160,
    360,
    418,
    446,
    451,
    504,
    537
   ],
   [
    75,
    161,
    361,
    419,
    447,
    452,
    505,
    538
   ],
   [
    76,
    162,
    362,
    420,
    448,
    453,
    506,
    539
   ],
   [
    77,
    163,
    363,
    421,
    449,
    454,
    507,
    540
   ],
   [
    78,
    164,
    364,
    422,
    450,
    455,
    508,
    541
   ],
   [
    79,
    165,
    365,
    423,
    451,
    456,
    509,
    542
   ],
   [
    80,
    166,
    366,
    424,
    452,
    457,
    510,
    543
   ],
   [
    81,
    167,
    367,
    425,
    453,
    458,
    511,
    544
   ],
   [
    82,
    168,
    368,
    426,
    454,
    459,
    512,
    545
   ],
   [
    83,
    169,
    369,
    427,
    455,
    460,
    513,
    546
   ],
   [
    84,
    170,
    370,
    428,
    456,
    461,
    514,
    547
   ],
   [
    85,
    171,
    371,
    429,
    457,
    462,
    515,
    548
   ],
   [
    86,
    172,
    415,
    430,
    501,
    506,
    516,
    592
   ],
   [
    87,
    173,
    416,
    431,
    502,
    507,
    517,
    593
   ],
   [
    88,
    174,
    417,
    432,
    503,
    508,
    518,
    594
   ],
   [
    89,
    175,
    418,
    433,
    504,
    509,
    519,
    595
   ],
   [
    90,
    176,
    419,
    434,
    505,
    510,
    520,
    596
   ],
   [
    91,
    177,
    420,
    435,
    506,
    511,
    521,
    597
   ],
   [
    92,
    178,
    421,
    436,
    507,
    512,
    522,
    598
   ],
   [
    93,
    179,
    422,
    437,
    508,
    513,
    523,
    599
   ],
   [
    94,
    180,
    423,
    438,
    509,
    514,
    524,
    600
   ],
   [
    95,
    181,
    424,
    439,
    510,
    515,
    525,
    601
   ],
   [
    96,
    182,
    425,
    440,
    473,
    511,
    526,
    559
   ],
   [
    97,
    183,
    426,
    441,
    474,
    512,
    527,
    560
   ],
   [
    98,
    184,
    427,
    442,
    475,
    513,
    528,
    561
   ],
   [
    99,
    185,
    428,
    443,
    476,
    514,
    529,
    562
   ],
   [
    100,
    186,
    429,
    444,
    477,
    515,
    530,
    563
   ],
   [
    101,
    187,
    387,
    445,
    473,
    478,
    531,
    564
   ],
   [
    102,
    188,
    388,
    446,
    474,
    479,
    532,
    565
   ],
   [
    103,
    189,
    389,
    447,
    475,
    480,
    533,
    566
   ],
   [
    104,
    190,
    390,
    448,
    476,
    481,
    534,
    567
   ],
   [
    105,
    191,
    391,
    449,
    477,
    482,
    535,
    568
   ],
   [
    106,
    192,
    392,
    450,
    478,
    483,
    536,
    569
   ],
   [
    107,
    193,
    393,
    451,
    479,
    484,
    537,
    570
   ],
   [
    108,
    194,
    394,
    452,
    480,
    485,
    538,
    571
   ],
   [
    109,
    195,
    395,
    453,
    481,
    486,
    539,
    572
   ],
   [
    110,
    196,
    396,
    454,
    482,
    487,
    540,
    573
   ],
   [
    111,
    197,
    397,
    455,
    483,
    488,
    541,
    574
   ],
   [
    112,
    198,
    398,
    456,
    484,
    489,
    542,
    575
   ],
   [
    113,
    199,
    399,
    457,
    485,
    490,
    543,
    576
   ],
   [
    114,
    200,
    400,
    458,
    486,
    491,
    544,
    577
   ],
   [
    115,
    201,
    401,
    459,
    487,
    492,
    545,
    578
   ],
   [
    116,
    202,
    402,
    460,
    488,
    493,
    546,
    579
   ],
   [
    117,
    203,
    403,
    461,
    489,
    494,
    547,
    580
   ],
   [
    118,
    204,
    404,
    462,
    490,
    495,
    548,
    581
   ],
   [
    119,
    205,
    405,
    463,
    491,
    496,
    549,
    582
   ],
   [
    120,
    206,
    406,
    464,
    492,
    497,
    550,
    583
   ],
   [
    121,
    207,
    407,
    465,
    493,
    498,
    551,
    584
   ],
   [
    122,
    208,
    408,
    466,
    494,
    499,
    552,
    585
   ],
   [
    123,
    209,
    409,
    467,
    495,
    500,
    553,
    586
   ],
   [
    124,
    210,
    410,
    468,
    496,
    501,
    554,
    587
   ],
   [
    125,
    211,
    411,
    469,
    497,
    502,
    555,
    588
   ],
   [
    126,
    212,
    412,
    470,
    498,
    503,
    556,
    589
   ],
   [
    127,
    213,
    413,
    471,
    499,
    504,
    557,
    590
   ],
   [
    128,
    214,
    414,
    472,
    500,
    505,
    558,
    591
   ],
   [
    129,
    215,
    458,
    473,
    544,
    549,
    559,
    635
   ],
   [
    130,
    216,
    459,
    474,
    545,
    550,
    560,
    636
   ],
   [
    131,
    217,
    460,
    475,
    546,
    551,
    561,
    637
   ],
   [
    132,
    218,
    461,
    476,
    547,
    552,
    562,
    638
   ],
   [
    133,
    219,
    462,
    477,
    548,
    553,
    563,
    639
   ],
   [
    134,
    220,
    463,
    478,
    549,
    554,
    564,
    640
   ],
   [
    135,
    221,
    464,
    479,
    550,
    555,
    565,
    641
   ],
   [
    136,
    222,
    465,
    480,
    551,
    556,
    566,
    642
   ],
   [
    137,
    223,
    466,
    481,
    552,
    557,
    567,
    643
   ],
   [
    138,
    224,
    467,
    482,
    553,
    558,
    568,
    644
   ],
   [
    139,
    225,
    468,
    483,
    516,
    554,
    569,
    602
   ],
   [
    140,
    226,
    469,
    484,
    517,
    555,
    570,
    603
   ],
   [
    141,
    227,
    470,
    485,
    518,
    556,
    571,
    604
   ],
   [
    142,
    228,
    471,
    486,
    519,
    557,
    572,
    605
   ],
   [
    143,
    229,
    472,
    487,
    520,
    558,
    573,
    606
   ],
   [
    144,
    230,
    430,
    488,
    516,
    521,
    574,
    607
   ],
   [
    145,
    231,
    431,
    489,
    517,
    522,
    575,
    608
   ],
   [
    146,
    232,
    432,
    490,
    518,
    523,
    576,
    609
   ],
   [
    147,
    233,
    433,
    491,
    519,
    524,
    577,
    610
   ],
   [
    148,
    234,
    434,
    492,
    520,
    525,
    578,
    611
   ],
   [
    149,
    235,
    435,
    493,
    521,
    526,
    579,
    612
   ],
   [
    150,
    236,
    436,
    494,
    522,
    527,
    580,
    613
   ],
   [
    151,
    237,
    437,
    495,
    523,
    528,
    581,
    614
   ],
   [
    152,
    238,
    438,
    496,
    524,
    529,
    582,
    615
   ],
   [
    153,
    239,
    439,
    497,
    525,
    530,
    583,
    616
   ],
   [
    154,
    240,
    440,
    498,
    526,
    531,
    584,
    617
   ],
   [
    155,
    241,
    441,
    499,
    527,
    532,
    585,
    618
   ],
   [
    156,
    242,
    442,
    500,
    528,
    533,
    586,
    619
   ],
   [
    157,
    243,
    443,
    501,
    529,
    534,
    587,
    620
   ],
   [
    158,
    244,
    444,
    502,
    530,
    535,
    588,
    621
   ],
   [
    159,
    245,
    445,
    503,
    531,
    536,
    589,
    622
   ],
   [
    160,
    246,
    446,
    504,
    532,
    537,
    590,
    623
   ],
   [
    161,
    247,
    447,
    505,
    533,
    538,
    591,
    624
   ],
   [
    162,
    248,
    448,
    506,
    534,
    539,
    592,
    625
   ],
   [
    163,
    249,
    449,
    507,
    535,
    540,
    593,
    626
   ],
   [
    164,
    250,
    450,
    508,
    536,
    541,
    594,
    627
   ],
   [
    165,
    251,
    451,
    509,
    537,
    542,
    595,
    628
   ],
   [
    166,
    252,
    452,
    510,
    538,
    543,
    596,
    629
   ],
   [
    167,
    253,
    453,
    511,
    539,
    544,
    597,
    630
   ],
   [
    168,
    254,
    454,
    512,
    540,
    545,
    598,
    631
   ],
   [
    169,
    255,
    455,
    513,
    541,
    546,
    599,
    632
   ],
   [
    170,
    256,
    456,
    514,
    542,
    547,
    600,
    633
   ],
   [
    171,
    257,
    457,
    515,
    543,
    548,
    601,
    634
   ],
   [
    172,
    258,
    501,
    516,
    587,
    592,
    602,
    678
   ],
   [
    173,
    259,
    502,
    517,
    588,
    593,
    603,
    679
   ],
   [
    174,
    260,
    503,
    518,
    589,
    594,
    604,
    680
   ],
   [
    175,
    261,
    504,
    519,
    590,
    595,
    605,
    681
   ],
   [
    176,
    262,
    505,
    520,
    591,
    596,
    606,
    682
   ],
   [
    177,
    263,
    506,
    521,
    592,
    597,
    607,
    683
   ],
   [
    178,
    264,
    507,
    522,
    593,
    598,
    608,
    684
   ],
   [
    179,
    265,
    508,
    523,
    594,
    599,
    609,
    685
   ],
   [
    180,
    266,
    509,
    524,
    595,
    600,
    610,
    686
   ],
   [
    181,
    267,
    510,
    525,
    596,
    601,
    611,
    687
   ],
   [
    182,
    268,
    511,
    526,
    559,
    597,
    612,
    645
   ],
   [
    183,
    269,
    512,
    527,
    560,
    598,
    613,
    646
   ],
   [
    184,
    270,
    513,
    528,
    561,
    599,
    614,
    647
   ],
   [
    185,
    271,
    514,
    529,
    562,
    600,
    615,
    648
   ],
   [
    186,
    272,
    515,
    530,
    563,
    601,
    616,
    649
   ],
   [
    187,
    273,
    473,
    531,
    559,
    564,
    617,
    650
   ],
   [
    188,
    274,
    474,
    532,
    560,
    565,
    618,
    651
   ],
   [
    189,
    275,
    475,
    533,
    561,
    566,
    619,
    652
   ],
   [
    190,
    276,
    476,
    534,
    562,
    567,
    620,
    653
   ],
   [
    191,
    277,
    477,
    535,
    563,
    568,
    621,
    654
   ],
   [
    192,
    278,
    478,
    536,
    564,
    569,
    622,
    655
   ],
   [
    193,
    279,
    479,
    537,
    565,
    570,
    623,
    656
   ],
   [
    194,
    280,
    480,
    538,
    566,
    571,
    624,
    657
   ],
   [
    195,
    281,
    481,
    539,
    567,
    572,
    625,
    658
   ],
   [
    196,
    282,
    482,
    540,
    568,
    573,
    626,
    659
   ],
   [
    197,
    283,
    483,
    541,
    569,
    574,
    627,
    660
   ],
   [
    198,
    284,
    484,
    542,
    570,
    575,
    628,
    661
   ],
   [
    199,
    285,
    485,
    543,
    571,
    576,
    629,
    662
   ],
   [
    200,
    286,
    486,
    544,
    572,
    577,
    630,
    663
   ],
   [
    201,
    287,
    487,
    545,
    573,
    578,
    631,
    664
   ],
   [
    202,
    288,
    488,
    546,
    574,
    579,
    632,
    665
   ],
   [
    203,
    289,
    489,
    547,
    575,
    580,
    633,
    666
   ],
   [
    204,
    290,
    490,
    548,
    576,
    581,
    634,
    667
   ],
   [
    205,
    291,
    491,
    549,
    577,
    582,
    635,
    668
   ],
   [
    206,
    292,
    492,
    550,
    578,
    583,
    636,
    669
   ],
   [
    207,
    293,
    493,
    551,
    579,
    584,
    637,
    670
   ],
   [
    208,
    294,
    494,
    552,
    580,
    585,
    638,
    671
   ],
   [
    209,
    295,
    495,
    553,
    581,
    586,
    639,
    672
   ],
   [
    210,
    296,
    496,
    554,
    582,
    587,
    640,
    673
   ],
   [
    211,
    297,
    497,
    555,
    583,
    588,
    641,
    674
   ],
   [
    212,
    298,
    498,
    556,
    584,
    589,
    642,
    675
   ],
   [
    213,
    299,
    499,
    557,
    585,
    590,
    643,
    676
   ],
   [
    214,
    300,
    500,
    558,
    586,
    591,
    644,
    677
   ],
   [
    215,
    301,
    377,
    544,
    559,
    630,
    635,
    645
   ],
   [
    216,
    302,
    378,
    545,
    560,
    631,
    636,
    646
   ],
   [
    217,
    303,
    379,
    546,
    561,
    632,
    637,
    647
   ],
   [
    218,
    304,
    380,
    547,
    562,
    633,
    638,
    648
   ],
   [
    219,
    305,
    381,
    548,
    563,
    634,
    639,
    649
   ],
   [
    220,
    306,
    382,
    549,
    564,
    635,
    640,
    650
   ],
   [
    221,
    307,
    383,
    550,
    565,
    636,
    641,
    651
   ],
   [
    222,
    308,
    384,
    551,
    566,
    637,
    642,
    652
   ],
   [
    223,
    309,
    385,
    552,
    567,
    638,
    643,
    653
   ],
   [
    224,
    310,
    386,
    553,
    568,
    639,
    644,
    654
   ],
   [
    225,
    311,
    344,
    554,
    569,
    602,
    640,
    655
   ],
   [
    226,
    312,
    345,
    555,
    570,
    603,
    641,
    656
   ],
   [
    227,
    313,
    346,
    556,
    571,
    604,
    642,
    657
   ],
   [
    228,
    314,
    347,
    557,
    572,
    605,
    643,
    658
   ],
   [
    229,
    315,
    348,
    558,
    573,
    606,
    644,
    659
   ],
   [
    230,
    316,
    349,
    516,
    574,
    602,
    607,
    660
   ],
   [
    231,
    317,
    350,
    517,
    575,
    603,
    608,
    661
   ],
   [
    232,
    318,
    351,
    518,
    576,
    604,
    609,
    662
   ],
   [
    233,
    319,
    352,
    519,
    577,
    605,
    610,
    663
   ],
   [
    234,
    320,
    353,
    520,
    578,
    606,
    611,
    664
   ],
   [
    235,
    321,
    354,
    521,
    579,
    607,
    612,
    665
   ],
   [
    236,
    322,
    355,
    522,
    580,
    608,
    613,
    666
   ],
   [
    237,
    323,
    356,
    523,
    581,
    609,
    614,
    667
   ],
   [
    238,
    324,
    357,
    524,
    582,
    610,
    615,
    668
   ],
   [
    239,
    325,
    358,
    525,
    583,
    611,
    616,
    669
   ],
   [
    240,
    326,
    359,
    526,
    584,
    612,
    617,
    670
   ],
   [
    241,
    327,
    360,
    527,
    585,
    613,
    618,
    671
   ],
   [
    242,
    328,
    361,
    528,
    586,
    614,
    619,
    672
   ],
   [
    243,
    329,
    362,
    529,
    587,
    615,
    620,
    673
   ],
   [
    244,
    330,
    363,
    530,
    588,
    616,
    621,
    674
   ],
   [
    245,
    331,
    364,
    531,
    589,
    617,
    622,
    675
   ],
   [
    246,
    332,
    365,
    532,
    590,
    618,
    623,
    676
   ],
   [
    247,
    333,
    366,
    533,
    591,
    619,
    624,
    677
   ],
   [
    248,
    334,
    367,
    534,
    592,
    620,
    625,
    678
   ],
   [
    249,
    335,
    368,
    535,
    593,
    621,
    626,
    679
   ],
   [
    250,
    336,
    369,
    536,
    594,
    622,
    627,
    680
   ],
   [
    251,
    337,
    370,
    537,
    595,
    623,
    628,
    681
   ],
   [
    252,
    338,
    371,
    538,
    596,
    624,
    629,
    682
   ],
   [
    253,
    339,
    372,
    539,
    597,
    625,
    630,
    683
   ],
   [
    254,
    340,
    373,
    540,
    598,
    626,
    631,
    684
   ],
   [
    255,
    341,
    374,
    541,
    599,
    627,
    632,
    685
   ],
   [
    256,
    342,
    375,
    542,
    600,
    628,
    633,
    686
   ],
   [
    257,
    343,
    376,
    543,
    601,
    629,
    634,
    687
   ]
  ]
 },
 "distance": {
  "d": 4,
  "X": {
   "value": 4,
   "confidence": "exact",
   "witness": [
    9,
    95,
    181,
    267
   ]
  },
  "Z": {
   "value": 4,
   "confidence": "exact",
   "witness": [
    51,
    380,
    395,
    471
   ]
  }
 },
 "family": "bivariate-bicycle",
 "provenance": {
  "authors": [
   "@cbjuan"
  ],
  "construction": "Periodic bivariate-bicycle code on the group algebra Z_8 x Z_43 (n = 2*l*m = 688). Convention: x = S_8 tensor I_43, y = I_8 tensor S_43 (cyclic shifts), qubit index = i*m + j; A = 1 + x^1y^10 + x^1y^15 + x^2y^0 + x^3y^15 + x^7y^10, B = 1 + x^2y^0; H_X = [A|B], H_Z = [B^T|A^T]. Found by an automated evolutionary/mutation search over (l, m, A, B) exponent sets targeting the unrestricted x weight-6 (or weight-8) board cells, screened by a randomized lightest-logical surrogate and promoted through increasing trial budgets.",
  "origin": "submission",
  "date": "2026-09-16",
  "notes": "Internal autoresearch candidate id 40006 (canonical key 0b9faf210c49573a14641718), search lane 'factor-order-continuation', proposal kernel 'explicit-transfer'. Initial NumPy lightest-logical surrogate: trials=8000, seed=2030867611. Confirmed with an accelerated bit-packed random-information-set search at rung '1m' (1000000 trials, seed=2066873105, pair_depth=16), tightest witness on side X at weight 4. Distance also taken through an internal exact-certification pipeline (MILP, one solve per logical-basis row per side, the same method as this repository's own verify/certify.py). Result: side_status X=exact, Z=exact (solver wall time 28405.8s, CPU time 28160.6s, summed over all per-row MILP solves on both sides). Per CONTRIBUTING.md's confidence-tier policy, this 'exact' claim is self-declared and will display as an upper bound on the board until a maintainer independently re-runs verify/certify.py and confirms it."
 }
}