{
 "schema_version": "0.1",
 "name": "[[700,140,22]] ZSZ-LP code",
 "code_type": "CSS",
 "n": 700,
 "k": 140,
 "checks": {
  "X": [
   [
    0,
    50,
    111,
    280,
    331,
    367,
    560,
    625,
    636
   ],
   [
    1,
    51,
    108,
    281,
    328,
    364,
    561,
    609,
    654
   ],
   [
    2,
    48,
    109,
    282,
    329,
    365,
    562,
    599,
    666
   ],
   [
    3,
    49,
    110,
    283,
    330,
    366,
    563,
    568,
    695
   ],
   [
    4,
    26,
    59,
    284,
    315,
    419,
    564,
    629,
    640
   ],
   [
    5,
    27,
    56,
    285,
    312,
    416,
    565,
    613,
    658
   ],
   [
    6,
    24,
    57,
    286,
    313,
    417,
    566,
    603,
    670
   ],
   [
    7,
    25,
    58,
    287,
    314,
    418,
    567,
    572,
    699
   ],
   [
    2,
    7,
    8,
    288,
    367,
    403,
    568,
    633,
    644
   ],
   [
    3,
    4,
    9,
    289,
    364,
    400,
    569,
    617,
    662
   ],
   [
    0,
    5,
    10,
    290,
    365,
    401,
    570,
    607,
    674
   ],
   [
    1,
    6,
    11,
    291,
    366,
    402,
    563,
    571,
    576
   ],
   [
    12,
    95,
    118,
    292,
    315,
    351,
    572,
    637,
    648
   ],
   [
    13,
    92,
    119,
    293,
    312,
    348,
    573,
    621,
    666
   ],
   [
    14,
    93,
    116,
    294,
    313,
    349,
    574,
    611,
    678
   ],
   [
    15,
    94,
    117,
    295,
    314,
    350,
    567,
    575,
    580
   ],
   [
    16,
    43,
    94,
    296,
    299,
    403,
    576,
    641,
    652
   ],
   [
    17,
    40,
    95,
    296,
    297,
    400,
    577,
    625,
    670
   ],
   [
    18,
    41,
    92,
    297,
    298,
    401,
    578,
    615,
    682
   ],
   [
    19,
    42,
    93,
    298,
    299,
    402,
    571,
    579,
    584
   ],
   [
    20,
    70,
    131,
    300,
    351,
    387,
    580,
    645,
    656
   ],
   [
    21,
    71,
    128,
    301,
    348,
    384,
    581,
    629,
    674
   ],
   [
    22,
    68,
    129,
    302,
    349,
    385,
    582,
    619,
    686
   ],
   [
    23,
    69,
    130,
    303,
    350,
    386,
    575,
    583,
    588
   ],
   [
    24,
    46,
    79,
    299,
    304,
    335,
    584,
    649,
    660
   ],
   [
    25,
    47,
    76,
    296,
    305,
    332,
    585,
    633,
    678
   ],
   [
    26,
    44,
    77,
    297,
    306,
    333,
    586,
    623,
    690
   ],
   [
    27,
    45,
    78,
    298,
    307,
    334,
    579,
    587,
    592
   ],
   [
    22,
    27,
    28,
    283,
    308,
    387,
    588,
    653,
    664
   ],
   [
    23,
    24,
    29,
    280,
    309,
    384,
    589,
    637,
    682
   ],
   [
    20,
    25,
    30,
    281,
    310,
    385,
    590,
    627,
    694
   ],
   [
    21,
    26,
    31,
    282,
    311,
    386,
    583,
    591,
    596
   ],
   [
    32,
    115,
    138,
    312,
    335,
    371,
    592,
    657,
    668
   ],
   [
    33,
    112,
    139,
    313,
    332,
    368,
    593,
    641,
    686
   ],
   [
    34,
    113,
    136,
    314,
    333,
    369,
    594,
    631,
    698
   ],
   [
    35,
    114,
    137,
    315,
    334,
    370,
    587,
    595,
    600
   ],
   [
    36,
    63,
    114,
    283,
    316,
    319,
    596,
    661,
    672
   ],
   [
    37,
    60,
    115,
    280,
    316,
    317,
    597,
    645,
    690
   ],
   [
    38,
    61,
    112,
    281,
    317,
    318,
    562,
    598,
    635
   ],
   [
    39,
    62,
    113,
    282,
    318,
    319,
    591,
    599,
    604
   ],
   [
    11,
    40,
    90,
    320,
    371,
    407,
    600,
    665,
    676
   ],
   [
    8,
    41,
    91,
    321,
    368,
    404,
    601,
    649,
    694
   ],
   [
    9,
    42,
    88,
    322,
    369,
    405,
    566,
    602,
    639
   ],
   [
    10,
    43,
    89,
    323,
    370,
    406,
    595,
    603,
    608
   ],
   [
    44,
    66,
    99,
    319,
    324,
    355,
    604,
    669,
    680
   ],
   [
    45,
    67,
    96,
    316,
    325,
    352,
    605,
    653,
    698
   ],
   [
    46,
    64,
    97,
    317,
    326,
    353,
    570,
    606,
    643
   ],
   [
    47,
    65,
    98,
    318,
    327,
    354,
    599,
    607,
    612
   ],
   [
    42,
    47,
    48,
    303,
    328,
    407,
    608,
    673,
    684
   ],
   [
    43,
    44,
    49,
    300,
    329,
    404,
    562,
    609,
    657
   ],
   [
    40,
    45,
    50,
    301,
    330,
    405,
    574,
    610,
    647
   ],
   [
    41,
    46,
    51,
    302,
    331,
    406,
    603,
    611,
    616
   ],
   [
    18,
    52,
    135,
    332,
    355,
    391,
    612,
    677,
    688
   ],
   [
    19,
    53,
    132,
    333,
    352,
    388,
    566,
    613,
    661
   ],
   [
    16,
    54,
    133,
    334,
    353,
    389,
    578,
    614,
    651
   ],
   [
    17,
    55,
    134,
    335,
    354,
    390,
    607,
    615,
    620
   ],
   [
    56,
    83,
    134,
    303,
    336,
    339,
    616,
    681,
    692
   ],
   [
    57,
    80,
    135,
    300,
    336,
    337,
    570,
    617,
    665
   ],
   [
    58,
    81,
    132,
    301,
    337,
    338,
    582,
    618,
    655
   ],
   [
    59,
    82,
    133,
    302,
    338,
    339,
    611,
    619,
    624
   ],
   [
    31,
    60,
    110,
    287,
    340,
    391,
    620,
    685,
    696
   ],
   [
    28,
    61,
    111,
    284,
    341,
    388,
    574,
    621,
    669
   ],
   [
    29,
    62,
    108,
    285,
    342,
    389,
    586,
    622,
    659
   ],
   [
    30,
    63,
    109,
    286,
    343,
    390,
    615,
    623,
    628
   ],
   [
    64,
    86,
    119,
    339,
    344,
    375,
    560,
    624,
    689
   ],
   [
    65,
    87,
    116,
    336,
    345,
    372,
    578,
    625,
    673
   ],
   [
    66,
    84,
    117,
    337,
    346,
    373,
    590,
    626,
    663
   ],
   [
    67,
    85,
    118,
    338,
    347,
    374,
    619,
    627,
    632
   ],
   [
    62,
    67,
    68,
    287,
    323,
    348,
    564,
    628,
    693
   ],
   [
    63,
    64,
    69,
    284,
    320,
    349,
    582,
    629,
    677
   ],
   [
    60,
    65,
    70,
    285,
    321,
    350,
    594,
    630,
    667
   ],
   [
    61,
    66,
    71,
    286,
    322,
    351,
    623,
    631,
    636
   ],
   [
    15,
    38,
    72,
    352,
    375,
    411,
    568,
    632,
    697
   ],
   [
    12,
    39,
    73,
    353,
    372,
    408,
    586,
    633,
    681
   ],
   [
    13,
    36,
    74,
    354,
    373,
    409,
    598,
    634,
    671
   ],
   [
    14,
    37,
    75,
    355,
    374,
    410,
    627,
    635,
    640
   ],
   [
    14,
    76,
    103,
    323,
    356,
    359,
    561,
    572,
    636
   ],
   [
    15,
    77,
    100,
    320,
    356,
    357,
    590,
    637,
    685
   ],
   [
    12,
    78,
    101,
    321,
    357,
    358,
    602,
    638,
    675
   ],
   [
    13,
    79,
    102,
    322,
    358,
    359,
    631,
    639,
    644
   ],
   [
    51,
    80,
    130,
    307,
    360,
    411,
    565,
    576,
    640
   ],
   [
    48,
    81,
    131,
    304,
    361,
    408,
    594,
    641,
    689
   ],
   [
    49,
    82,
    128,
    305,
    362,
    409,
    606,
    642,
    679
   ],
   [
    50,
    83,
    129,
    306,
    363,
    410,
    635,
    643,
    648
   ],
   [
    84,
    106,
    139,
    359,
    364,
    395,
    569,
    580,
    644
   ],
   [
    85,
    107,
    136,
    356,
    365,
    392,
    598,
    645,
    693
   ],
   [
    86,
    104,
    137,
    357,
    366,
    393,
    610,
    646,
    683
   ],
   [
    87,
    105,
    138,
    358,
    367,
    394,
    639,
    647,
    652
   ],
   [
    82,
    87,
    88,
    307,
    343,
    368,
    573,
    584,
    648
   ],
   [
    83,
    84,
    89,
    304,
    340,
    369,
    602,
    649,
    697
   ],
   [
    80,
    85,
    90,
    305,
    341,
    370,
    614,
    650,
    687
   ],
   [
    81,
    86,
    91,
    306,
    342,
    371,
    643,
    651,
    656
   ],
   [
    35,
    58,
    92,
    291,
    372,
    395,
    577,
    588,
    652
   ],
   [
    32,
    59,
    93,
    288,
    373,
    392,
    561,
    606,
    653
   ],
   [
    33,
    56,
    94,
    289,
    374,
    393,
    618,
    654,
    691
   ],
   [
    34,
    57,
    95,
    290,
    375,
    394,
    647,
    655,
    660
   ],
   [
    34,
    96,
    123,
    343,
    376,
    379,
    581,
    592,
    656
   ],
   [
    35,
    97,
    120,
    340,
    376,
    377,
    565,
    610,
    657
   ],
   [
    32,
    98,
    121,
    341,
    377,
    378,
    622,
    658,
    695
   ],
   [
    33,
    99,
    122,
    342,
    378,
    379,
    651,
    659,
    664
   ],
   [
    10,
    71,
    100,
    291,
    327,
    380,
    585,
    596,
    660
   ],
   [
    11,
    68,
    101,
    288,
    324,
    381,
    569,
    614,
    661
   ],
   [
    8,
    69,
    102,
    289,
    325,
    382,
    626,
    662,
    699
   ],
   [
    9,
    70,
    103,
    290,
    326,
    383,
    655,
    663,
    668
   ],
   [
    19,
    104,
    126,
    379,
    384,
    415,
    589,
    600,
    664
   ],
   [
    16,
    105,
    127,
    376,
    385,
    412,
    573,
    618,
    665
   ],
   [
    17,
    106,
    124,
    377,
    386,
    413,
    563,
    630,
    666
   ],
   [
    18,
    107,
    125,
    378,
    387,
    414,
    659,
    667,
    672
   ],
   [
    102,
    107,
    108,
    327,
    363,
    388,
    593,
    604,
    668
   ],
   [
    103,
    104,
    109,
    324,
    360,
    389,
    577,
    622,
    669
   ],
   [
    100,
    105,
    110,
    325,
    361,
    390,
    567,
    634,
    670
   ],
   [
    101,
    106,
    111,
    326,
    362,
    391,
    663,
    671,
    676
   ],
   [
    55,
    78,
    112,
    311,
    392,
    415,
    597,
    608,
    672
   ],
   [
    52,
    79,
    113,
    308,
    393,
    412,
    581,
    626,
    673
   ],
   [
    53,
    76,
    114,
    309,
    394,
    413,
    571,
    638,
    674
   ],
   [
    54,
    77,
    115,
    310,
    395,
    414,
    667,
    675,
    680
   ],
   [
    3,
    54,
    116,
    363,
    396,
    399,
    601,
    612,
    676
   ],
   [
    0,
    55,
    117,
    360,
    396,
    397,
    585,
    630,
    677
   ],
   [
    1,
    52,
    118,
    361,
    397,
    398,
    575,
    642,
    678
   ],
   [
    2,
    53,
    119,
    362,
    398,
    399,
    671,
    679,
    684
   ],
   [
    30,
    91,
    120,
    311,
    347,
    400,
    605,
    616,
    680
   ],
   [
    31,
    88,
    121,
    308,
    344,
    401,
    589,
    634,
    681
   ],
   [
    28,
    89,
    122,
    309,
    345,
    402,
    579,
    646,
    682
   ],
   [
    29,
    90,
    123,
    310,
    346,
    403,
    675,
    683,
    688
   ],
   [
    6,
    39,
    124,
    295,
    399,
    404,
    609,
    620,
    684
   ],
   [
    7,
    36,
    125,
    292,
    396,
    405,
    593,
    638,
    685
   ],
   [
    4,
    37,
    126,
    293,
    397,
    406,
    583,
    650,
    686
   ],
   [
    5,
    38,
    127,
    294,
    398,
    407,
    679,
    687,
    692
   ],
   [
    122,
    127,
    128,
    347,
    383,
    408,
    613,
    624,
    688
   ],
   [
    123,
    124,
    129,
    344,
    380,
    409,
    597,
    642,
    689
   ],
   [
    120,
    125,
    130,
    345,
    381,
    410,
    587,
    654,
    690
   ],
   [
    121,
    126,
    131,
    346,
    382,
    411,
    683,
    691,
    696
   ],
   [
    75,
    98,
    132,
    295,
    331,
    412,
    617,
    628,
    692
   ],
   [
    72,
    99,
    133,
    292,
    328,
    413,
    601,
    646,
    693
   ],
   [
    73,
    96,
    134,
    293,
    329,
    414,
    591,
    658,
    694
   ],
   [
    74,
    97,
    135,
    294,
    330,
    415,
    560,
    687,
    695
   ],
   [
    23,
    74,
    136,
    383,
    416,
    419,
    621,
    632,
    696
   ],
   [
    20,
    75,
    137,
    380,
    416,
    417,
    605,
    650,
    697
   ],
   [
    21,
    72,
    138,
    381,
    417,
    418,
    595,
    662,
    698
   ],
   [
    22,
    73,
    139,
    382,
    418,
    419,
    564,
    691,
    699
   ],
   [
    140,
    190,
    251,
    420,
    471,
    507,
    560,
    655,
    690
   ],
   [
    141,
    191,
    248,
    421,
    468,
    504,
    561,
    596,
    607
   ],
   [
    142,
    188,
    249,
    422,
    469,
    505,
    562,
    569,
    632
   ],
   [
    143,
    189,
    250,
    423,
    470,
    506,
    563,
    577,
    626
   ],
   [
    144,
    166,
    199,
    424,
    455,
    559,
    564,
    659,
    694
   ],
   [
    145,
    167,
    196,
    425,
    452,
    556,
    565,
    600,
    611
   ],
   [
    146,
    164,
    197,
    426,
    453,
    557,
    566,
    573,
    636
   ],
   [
    147,
    165,
    198,
    427,
    454,
    558,
    567,
    581,
    630
   ],
   [
    142,
    147,
    148,
    428,
    507,
    543,
    568,
    663,
    698
   ],
   [
    143,
    144,
    149,
    429,
    504,
    540,
    569,
    604,
    615
   ],
   [
    140,
    145,
    150,
    430,
    505,
    541,
    570,
    577,
    640
   ],
   [
    141,
    146,
    151,
    431,
    506,
    542,
    571,
    585,
    634
   ],
   [
    152,
    235,
    258,
    432,
    455,
    491,
    562,
    572,
    667
   ],
   [
    153,
    232,
    259,
    433,
    452,
    488,
    573,
    608,
    619
   ],
   [
    154,
    233,
    256,
    434,
    453,
    489,
    574,
    581,
    644
   ],
   [
    155,
    234,
    257,
    435,
    454,
    490,
    575,
    589,
    638
   ],
   [
    156,
    183,
    234,
    436,
    439,
    543,
    566,
    576,
    671
   ],
   [
    157,
    180,
    235,
    436,
    437,
    540,
    577,
    612,
    623
   ],
   [
    158,
    181,
    232,
    437,
    438,
    541,
    578,
    585,
    648
   ],
   [
    159,
    182,
    233,
    438,
    439,
    542,
    579,
    593,
    642
   ],
   [
    160,
    210,
    271,
    440,
    491,
    527,
    570,
    580,
    675
   ],
   [
    161,
    211,
    268,
    441,
    488,
    524,
    581,
    616,
    627
   ],
   [
    162,
    208,
    269,
    442,
    489,
    525,
    582,
    589,
    652
   ],
   [
    163,
    209,
    270,
    443,
    490,
    526,
    583,
    597,
    646
   ],
   [
    164,
    186,
    219,
    439,
    444,
    475,
    574,
    584,
    679
   ],
   [
    165,
    187,
    216,
    436,
    445,
    472,
    585,
    620,
    631
   ],
   [
    166,
    184,
    217,
    437,
    446,
    473,
    586,
    593,
    656
   ],
   [
    167,
    185,
    218,
    438,
    447,
    474,
    587,
    601,
    650
   ],
   [
    162,
    167,
    168,
    423,
    448,
    527,
    578,
    588,
    683
   ],
   [
    163,
    164,
    169,
    420,
    449,
    524,
    589,
    624,
    635
   ],
   [
    160,
    165,
    170,
    421,
    450,
    525,
    590,
    597,
    660
   ],
   [
    161,
    166,
    171,
    422,
    451,
    526,
    591,
    605,
    654
   ],
   [
    172,
    255,
    278,
    452,
    475,
    511,
    582,
    592,
    687
   ],
   [
    173,
    252,
    279,
    453,
    472,
    508,
    593,
    628,
    639
   ],
   [
    174,
    253,
    276,
    454,
    473,
    509,
    594,
    601,
    664
   ],
   [
    175,
    254,
    277,
    455,
    474,
    510,
    595,
    609,
    658
   ],
   [
    176,
    203,
    254,
    423,
    456,
    459,
    586,
    596,
    691
   ],
   [
    177,
    200,
    255,
    420,
    456,
    457,
    597,
    632,
    643
   ],
   [
    178,
    201,
    252,
    421,
    457,
    458,
    598,
    605,
    668
   ],
   [
    179,
    202,
    253,
    422,
    458,
    459,
    599,
    613,
    662
   ],
   [
    151,
    180,
    230,
    460,
    511,
    547,
    590,
    600,
    695
   ],
   [
    148,
    181,
    231,
    461,
    508,
    544,
    601,
    636,
    647
   ],
   [
    149,
    182,
    228,
    462,
    509,
    545,
    602,
    609,
    672
   ],
   [
    150,
    183,
    229,
    463,
    510,
    546,
    603,
    617,
    666
   ],
   [
    184,
    206,
    239,
    459,
    464,
    495,
    594,
    604,
    699
   ],
   [
    185,
    207,
    236,
    456,
    465,
    492,
    605,
    640,
    651
   ],
   [
    186,
    204,
    237,
    457,
    466,
    493,
    606,
    613,
    676
   ],
   [
    187,
    205,
    238,
    458,
    467,
    494,
    607,
    621,
    670
   ],
   [
    182,
    187,
    188,
    443,
    468,
    547,
    563,
    598,
    608
   ],
   [
    183,
    184,
    189,
    440,
    469,
    544,
    609,
    644,
    655
   ],
   [
    180,
    185,
    190,
    441,
    470,
    545,
    610,
    617,
    680
   ],
   [
    181,
    186,
    191,
    442,
    471,
    546,
    611,
    625,
    674
   ],
   [
    158,
    192,
    275,
    472,
    495,
    531,
    567,
    602,
    612
   ],
   [
    159,
    193,
    272,
    473,
    492,
    528,
    613,
    648,
    659
   ],
   [
    156,
    194,
    273,
    474,
    493,
    529,
    614,
    621,
    684
   ],
   [
    157,
    195,
    274,
    475,
    494,
    530,
    615,
    629,
    678
   ],
   [
    196,
    223,
    274,
    443,
    476,
    479,
    571,
    606,
    616
   ],
   [
    197,
    220,
    275,
    440,
    476,
    477,
    617,
    652,
    663
   ],
   [
    198,
    221,
    272,
    441,
    477,
    478,
    618,
    625,
    688
   ],
   [
    199,
    222,
    273,
    442,
    478,
    479,
    619,
    633,
    682
   ],
   [
    171,
    200,
    250,
    427,
    480,
    531,
    575,
    610,
    620
   ],
   [
    168,
    201,
    251,
    424,
    481,
    528,
    621,
    656,
    667
   ],
   [
    169,
    202,
    248,
    425,
    482,
    529,
    622,
    629,
    692
   ],
   [
    170,
    203,
    249,
    426,
    483,
    530,
    623,
    637,
    686
   ],
   [
    204,
    226,
    259,
    479,
    484,
    515,
    579,
    614,
    624
   ],
   [
    205,
    227,
    256,
    476,
    485,
    512,
    625,
    660,
    671
   ],
   [
    206,
    224,
    257,
    477,
    486,
    513,
    626,
    633,
    696
   ],
   [
    207,
    225,
    258,
    478,
    487,
    514,
    627,
    641,
    690
   ],
   [
    202,
    207,
    208,
    427,
    463,
    488,
    583,
    618,
    628
   ],
   [
    203,
    204,
    209,
    424,
    460,
    489,
    629,
    664,
    675
   ],
   [
    200,
    205,
    210,
    425,
    461,
    490,
    560,
    630,
    637
   ],
   [
    201,
    206,
    211,
    426,
    462,
    491,
    631,
    645,
    694
   ],
   [
    155,
    178,
    212,
    492,
    515,
    551,
    587,
    622,
    632
   ],
   [
    152,
    179,
    213,
    493,
    512,
    548,
    633,
    668,
    679
   ],
   [
    153,
    176,
    214,
    494,
    513,
    549,
    564,
    634,
    641
   ],
   [
    154,
    177,
    215,
    495,
    514,
    550,
    635,
    649,
    698
   ],
   [
    154,
    216,
    243,
    463,
    496,
    499,
    591,
    626,
    636
   ],
   [
    155,
    217,
    240,
    460,
    496,
    497,
    637,
    672,
    683
   ],
   [
    152,
    218,
    241,
    461,
    497,
    498,
    568,
    638,
    645
   ],
   [
    153,
    219,
    242,
    462,
    498,
    499,
    562,
    639,
    653
   ],
   [
    191,
    220,
    270,
    447,
    500,
    551,
    595,
    630,
    640
   ],
   [
    188,
    221,
    271,
    444,
    501,
    548,
    641,
    676,
    687
   ],
   [
    189,
    222,
    268,
    445,
    502,
    549,
    572,
    642,
    649
   ],
   [
    190,
    223,
    269,
    446,
    503,
    550,
    566,
    643,
    657
   ],
   [
    224,
    246,
    279,
    499,
    504,
    535,
    599,
    634,
    644
   ],
   [
    225,
    247,
    276,
    496,
    505,
    532,
    645,
    680,
    691
   ],
   [
    226,
    244,
    277,
    497,
    506,
    533,
    576,
    646,
    653
   ],
   [
    227,
    245,
    278,
    498,
    507,
    534,
    570,
    647,
    661
   ],
   [
    222,
    227,
    228,
    447,
    483,
    508,
    603,
    638,
    648
   ],
   [
    223,
    224,
    229,
    444,
    480,
    509,
    649,
    684,
    695
   ],
   [
    220,
    225,
    230,
    445,
    481,
    510,
    580,
    650,
    657
   ],
   [
    221,
    226,
    231,
    446,
    482,
    511,
    574,
    651,
    665
   ],
   [
    175,
    198,
    232,
    431,
    512,
    535,
    607,
    642,
    652
   ],
   [
    172,
    199,
    233,
    428,
    513,
    532,
    653,
    688,
    699
   ],
   [
    173,
    196,
    234,
    429,
    514,
    533,
    584,
    654,
    661
   ],
   [
    174,
    197,
    235,
    430,
    515,
    534,
    578,
    655,
    669
   ],
   [
    174,
    236,
    263,
    483,
    516,
    519,
    611,
    646,
    656
   ],
   [
    175,
    237,
    260,
    480,
    516,
    517,
    563,
    657,
    692
   ],
   [
    172,
    238,
    261,
    481,
    517,
    518,
    588,
    658,
    665
   ],
   [
    173,
    239,
    262,
    482,
    518,
    519,
    582,
    659,
    673
   ],
   [
    150,
    211,
    240,
    431,
    467,
    520,
    615,
    650,
    660
   ],
   [
    151,
    208,
    241,
    428,
    464,
    521,
    567,
    661,
    696
   ],
   [
    148,
    209,
    242,
    429,
    465,
    522,
    592,
    662,
    669
   ],
   [
    149,
    210,
    243,
    430,
    466,
    523,
    586,
    663,
    677
   ],
   [
    159,
    244,
    266,
    519,
    524,
    555,
    619,
    654,
    664
   ],
   [
    156,
    245,
    267,
    516,
    525,
    552,
    560,
    571,
    665
   ],
   [
    157,
    246,
    264,
    517,
    526,
    553,
    596,
    666,
    673
   ],
   [
    158,
    247,
    265,
    518,
    527,
    554,
    590,
    667,
    681
   ],
   [
    242,
    247,
    248,
    467,
    503,
    528,
    623,
    658,
    668
   ],
   [
    243,
    244,
    249,
    464,
    500,
    529,
    564,
    575,
    669
   ],
   [
    240,
    245,
    250,
    465,
    501,
    530,
    600,
    670,
    677
   ],
   [
    241,
    246,
    251,
    466,
    502,
    531,
    594,
    671,
    685
   ],
   [
    195,
    218,
    252,
    451,
    532,
    555,
    627,
    662,
    672
   ],
   [
    192,
    219,
    253,
    448,
    533,
    552,
    568,
    579,
    673
   ],
   [
    193,
    216,
    254,
    449,
    534,
    553,
    604,
    674,
    681
   ],
   [
    194,
    217,
    255,
    450,
    535,
    554,
    598,
    675,
    689
   ],
   [
    143,
    194,
    256,
    503,
    536,
    539,
    631,
    666,
    676
   ],
   [
    140,
    195,
    257,
    500,
    536,
    537,
    572,
    583,
    677
   ],
   [
    141,
    192,
    258,
    501,
    537,
    538,
    608,
    678,
    685
   ],
   [
    142,
    193,
    259,
    502,
    538,
    539,
    602,
    679,
    693
   ],
   [
    170,
    231,
    260,
    451,
    487,
    540,
    635,
    670,
    680
   ],
   [
    171,
    228,
    261,
    448,
    484,
    541,
    576,
    587,
    681
   ],
   [
    168,
    229,
    262,
    449,
    485,
    542,
    612,
    682,
    689
   ],
   [
    169,
    230,
    263,
    450,
    486,
    543,
    606,
    683,
    697
   ],
   [
    146,
    179,
    264,
    435,
    539,
    544,
    639,
    674,
    684
   ],
   [
    147,
    176,
    265,
    432,
    536,
    545,
    580,
    591,
    685
   ],
   [
    144,
    177,
    266,
    433,
    537,
    546,
    616,
    686,
    693
   ],
   [
    145,
    178,
    267,
    434,
    538,
    547,
    561,
    610,
    687
   ],
   [
    262,
    267,
    268,
    487,
    523,
    548,
    643,
    678,
    688
   ],
   [
    263,
    264,
    269,
    484,
    520,
    549,
    584,
    595,
    689
   ],
   [
    260,
    265,
    270,
    485,
    521,
    550,
    620,
    690,
    697
   ],
   [
    261,
    266,
    271,
    486,
    522,
    551,
    565,
    614,
    691
   ],
   [
    215,
    238,
    272,
    435,
    471,
    552,
    647,
    682,
    692
   ],
   [
    212,
    239,
    273,
    432,
    468,
    553,
    588,
    599,
    693
   ],
   [
    213,
    236,
    274,
    433,
    469,
    554,
    561,
    624,
    694
   ],
   [
    214,
    237,
    275,
    434,
    470,
    555,
    569,
    618,
    695
   ],
   [
    163,
    214,
    276,
    523,
    556,
    559,
    651,
    686,
    696
   ],
   [
    160,
    215,
    277,
    520,
    556,
    557,
    592,
    603,
    697
   ],
   [
    161,
    212,
    278,
    521,
    557,
    558,
    565,
    628,
    698
   ],
   [
    162,
    213,
    279,
    522,
    558,
    559,
    573,
    622,
    699
   ]
  ],
  "Z": [
   [
    0,
    64,
    135,
    140,
    210,
    245,
    560,
    570,
    677
   ],
   [
    1,
    76,
    93,
    141,
    267,
    274,
    561,
    571,
    678
   ],
   [
    2,
    38,
    49,
    142,
    152,
    219,
    562,
    568,
    679
   ],
   [
    3,
    11,
    106,
    143,
    188,
    237,
    563,
    569,
    676
   ],
   [
    4,
    68,
    139,
    144,
    214,
    249,
    564,
    569,
    686
   ],
   [
    5,
    80,
    97,
    145,
    271,
    278,
    565,
    570,
    687
   ],
   [
    6,
    42,
    53,
    146,
    156,
    223,
    566,
    571,
    684
   ],
   [
    7,
    15,
    110,
    147,
    192,
    241,
    567,
    568,
    685
   ],
   [
    3,
    8,
    72,
    148,
    218,
    253,
    568,
    601,
    662
   ],
   [
    9,
    84,
    101,
    142,
    149,
    275,
    569,
    602,
    663
   ],
   [
    10,
    46,
    57,
    150,
    160,
    227,
    570,
    603,
    660
   ],
   [
    11,
    19,
    114,
    151,
    196,
    245,
    571,
    600,
    661
   ],
   [
    7,
    12,
    76,
    152,
    222,
    257,
    572,
    633,
    638
   ],
   [
    13,
    88,
    105,
    146,
    153,
    279,
    573,
    634,
    639
   ],
   [
    14,
    50,
    61,
    154,
    164,
    231,
    574,
    635,
    636
   ],
   [
    15,
    23,
    118,
    155,
    200,
    249,
    575,
    632,
    637
   ],
   [
    11,
    16,
    80,
    156,
    226,
    261,
    576,
    614,
    665
   ],
   [
    17,
    92,
    109,
    143,
    150,
    157,
    577,
    615,
    666
   ],
   [
    18,
    54,
    65,
    158,
    168,
    235,
    578,
    612,
    667
   ],
   [
    19,
    27,
    122,
    159,
    204,
    253,
    579,
    613,
    664
   ],
   [
    15,
    20,
    84,
    160,
    230,
    265,
    580,
    590,
    697
   ],
   [
    21,
    96,
    113,
    147,
    154,
    161,
    581,
    591,
    698
   ],
   [
    22,
    58,
    69,
    162,
    172,
    239,
    582,
    588,
    699
   ],
   [
    23,
    31,
    126,
    163,
    208,
    257,
    583,
    589,
    696
   ],
   [
    19,
    24,
    88,
    164,
    234,
    269,
    566,
    584,
    589
   ],
   [
    25,
    100,
    117,
    151,
    158,
    165,
    567,
    585,
    590
   ],
   [
    26,
    62,
    73,
    166,
    176,
    243,
    564,
    586,
    591
   ],
   [
    27,
    35,
    130,
    167,
    212,
    261,
    565,
    587,
    588
   ],
   [
    23,
    28,
    92,
    168,
    238,
    273,
    588,
    621,
    682
   ],
   [
    29,
    104,
    121,
    155,
    162,
    169,
    589,
    622,
    683
   ],
   [
    30,
    66,
    77,
    170,
    180,
    247,
    590,
    623,
    680
   ],
   [
    31,
    39,
    134,
    171,
    216,
    265,
    591,
    620,
    681
   ],
   [
    27,
    32,
    96,
    172,
    242,
    277,
    592,
    653,
    658
   ],
   [
    33,
    108,
    125,
    159,
    166,
    173,
    593,
    654,
    659
   ],
   [
    34,
    70,
    81,
    174,
    184,
    251,
    594,
    655,
    656
   ],
   [
    35,
    43,
    138,
    175,
    220,
    269,
    595,
    652,
    657
   ],
   [
    31,
    36,
    100,
    141,
    176,
    246,
    596,
    634,
    685
   ],
   [
    37,
    112,
    129,
    163,
    170,
    177,
    597,
    635,
    686
   ],
   [
    38,
    74,
    85,
    178,
    188,
    255,
    598,
    632,
    687
   ],
   [
    2,
    39,
    47,
    179,
    224,
    273,
    599,
    633,
    684
   ],
   [
    35,
    40,
    104,
    145,
    180,
    250,
    577,
    600,
    610
   ],
   [
    41,
    116,
    133,
    167,
    174,
    181,
    578,
    601,
    611
   ],
   [
    42,
    78,
    89,
    182,
    192,
    259,
    579,
    602,
    608
   ],
   [
    6,
    43,
    51,
    183,
    228,
    277,
    576,
    603,
    609
   ],
   [
    39,
    44,
    108,
    149,
    184,
    254,
    586,
    604,
    609
   ],
   [
    45,
    120,
    137,
    171,
    178,
    185,
    587,
    605,
    610
   ],
   [
    46,
    82,
    93,
    186,
    196,
    263,
    584,
    606,
    611
   ],
   [
    10,
    47,
    55,
    141,
    187,
    232,
    585,
    607,
    608
   ],
   [
    43,
    48,
    112,
    153,
    188,
    258,
    562,
    608,
    641
   ],
   [
    1,
    49,
    124,
    175,
    182,
    189,
    563,
    609,
    642
   ],
   [
    50,
    86,
    97,
    190,
    200,
    267,
    560,
    610,
    643
   ],
   [
    14,
    51,
    59,
    145,
    191,
    236,
    561,
    611,
    640
   ],
   [
    47,
    52,
    116,
    157,
    192,
    262,
    612,
    673,
    678
   ],
   [
    5,
    53,
    128,
    179,
    186,
    193,
    613,
    674,
    679
   ],
   [
    54,
    90,
    101,
    194,
    204,
    271,
    614,
    675,
    676
   ],
   [
    18,
    55,
    63,
    149,
    195,
    240,
    615,
    672,
    677
   ],
   [
    51,
    56,
    120,
    161,
    196,
    266,
    565,
    616,
    654
   ],
   [
    9,
    57,
    132,
    183,
    190,
    197,
    566,
    617,
    655
   ],
   [
    58,
    94,
    105,
    198,
    208,
    275,
    567,
    618,
    652
   ],
   [
    22,
    59,
    67,
    153,
    199,
    244,
    564,
    619,
    653
   ],
   [
    55,
    60,
    124,
    165,
    200,
    270,
    597,
    620,
    630
   ],
   [
    13,
    61,
    136,
    187,
    194,
    201,
    598,
    621,
    631
   ],
   [
    62,
    98,
    109,
    202,
    212,
    279,
    599,
    622,
    628
   ],
   [
    26,
    63,
    71,
    157,
    203,
    248,
    596,
    623,
    629
   ],
   [
    59,
    64,
    128,
    169,
    204,
    274,
    606,
    624,
    629
   ],
   [
    0,
    17,
    65,
    191,
    198,
    205,
    607,
    625,
    630
   ],
   [
    66,
    102,
    113,
    143,
    206,
    216,
    604,
    626,
    631
   ],
   [
    30,
    67,
    75,
    161,
    207,
    252,
    605,
    627,
    628
   ],
   [
    63,
    68,
    132,
    173,
    208,
    278,
    582,
    628,
    661
   ],
   [
    4,
    21,
    69,
    195,
    202,
    209,
    583,
    629,
    662
   ],
   [
    70,
    106,
    117,
    147,
    210,
    220,
    580,
    630,
    663
   ],
   [
    34,
    71,
    79,
    165,
    211,
    256,
    581,
    631,
    660
   ],
   [
    67,
    72,
    136,
    142,
    177,
    212,
    632,
    693,
    698
   ],
   [
    8,
    25,
    73,
    199,
    206,
    213,
    633,
    694,
    699
   ],
   [
    74,
    110,
    121,
    151,
    214,
    224,
    634,
    695,
    696
   ],
   [
    38,
    75,
    83,
    169,
    215,
    260,
    635,
    692,
    697
   ],
   [
    0,
    71,
    76,
    146,
    181,
    216,
    585,
    636,
    674
   ],
   [
    12,
    29,
    77,
    203,
    210,
    217,
    586,
    637,
    675
   ],
   [
    78,
    114,
    125,
    155,
    218,
    228,
    587,
    638,
    672
   ],
   [
    42,
    79,
    87,
    173,
    219,
    264,
    584,
    639,
    673
   ],
   [
    4,
    75,
    80,
    150,
    185,
    220,
    617,
    640,
    650
   ],
   [
    16,
    33,
    81,
    207,
    214,
    221,
    618,
    641,
    651
   ],
   [
    82,
    118,
    129,
    159,
    222,
    232,
    619,
    642,
    648
   ],
   [
    46,
    83,
    91,
    177,
    223,
    268,
    616,
    643,
    649
   ],
   [
    8,
    79,
    84,
    154,
    189,
    224,
    626,
    644,
    649
   ],
   [
    20,
    37,
    85,
    211,
    218,
    225,
    627,
    645,
    650
   ],
   [
    86,
    122,
    133,
    163,
    226,
    236,
    624,
    646,
    651
   ],
   [
    50,
    87,
    95,
    181,
    227,
    272,
    625,
    647,
    648
   ],
   [
    12,
    83,
    88,
    158,
    193,
    228,
    602,
    648,
    681
   ],
   [
    24,
    41,
    89,
    215,
    222,
    229,
    603,
    649,
    682
   ],
   [
    90,
    126,
    137,
    167,
    230,
    240,
    600,
    650,
    683
   ],
   [
    54,
    91,
    99,
    185,
    231,
    276,
    601,
    651,
    680
   ],
   [
    16,
    87,
    92,
    162,
    197,
    232,
    573,
    578,
    652
   ],
   [
    28,
    45,
    93,
    219,
    226,
    233,
    574,
    579,
    653
   ],
   [
    1,
    94,
    130,
    171,
    234,
    244,
    575,
    576,
    654
   ],
   [
    58,
    95,
    103,
    140,
    189,
    235,
    572,
    577,
    655
   ],
   [
    20,
    91,
    96,
    166,
    201,
    236,
    605,
    656,
    694
   ],
   [
    32,
    49,
    97,
    223,
    230,
    237,
    606,
    657,
    695
   ],
   [
    5,
    98,
    134,
    175,
    238,
    248,
    607,
    658,
    692
   ],
   [
    62,
    99,
    107,
    144,
    193,
    239,
    604,
    659,
    693
   ],
   [
    24,
    95,
    100,
    170,
    205,
    240,
    637,
    660,
    670
   ],
   [
    36,
    53,
    101,
    227,
    234,
    241,
    638,
    661,
    671
   ],
   [
    9,
    102,
    138,
    179,
    242,
    252,
    639,
    662,
    668
   ],
   [
    66,
    103,
    111,
    148,
    197,
    243,
    636,
    663,
    669
   ],
   [
    28,
    99,
    104,
    174,
    209,
    244,
    646,
    664,
    669
   ],
   [
    40,
    57,
    105,
    231,
    238,
    245,
    647,
    665,
    670
   ],
   [
    2,
    13,
    106,
    183,
    246,
    256,
    644,
    666,
    671
   ],
   [
    70,
    107,
    115,
    152,
    201,
    247,
    645,
    667,
    668
   ],
   [
    32,
    103,
    108,
    178,
    213,
    248,
    561,
    622,
    668
   ],
   [
    44,
    61,
    109,
    235,
    242,
    249,
    562,
    623,
    669
   ],
   [
    6,
    17,
    110,
    187,
    250,
    260,
    563,
    620,
    670
   ],
   [
    74,
    111,
    119,
    156,
    205,
    251,
    560,
    621,
    671
   ],
   [
    36,
    107,
    112,
    182,
    217,
    252,
    593,
    598,
    672
   ],
   [
    48,
    65,
    113,
    239,
    246,
    253,
    594,
    599,
    673
   ],
   [
    10,
    21,
    114,
    191,
    254,
    264,
    595,
    596,
    674
   ],
   [
    78,
    115,
    123,
    160,
    209,
    255,
    592,
    597,
    675
   ],
   [
    40,
    111,
    116,
    186,
    221,
    256,
    574,
    625,
    676
   ],
   [
    52,
    69,
    117,
    243,
    250,
    257,
    575,
    626,
    677
   ],
   [
    14,
    25,
    118,
    195,
    258,
    268,
    572,
    627,
    678
   ],
   [
    82,
    119,
    127,
    164,
    213,
    259,
    573,
    624,
    679
   ],
   [
    44,
    115,
    120,
    190,
    225,
    260,
    657,
    680,
    690
   ],
   [
    56,
    73,
    121,
    247,
    254,
    261,
    658,
    681,
    691
   ],
   [
    18,
    29,
    122,
    199,
    262,
    272,
    659,
    682,
    688
   ],
   [
    86,
    123,
    131,
    168,
    217,
    263,
    656,
    683,
    689
   ],
   [
    48,
    119,
    124,
    194,
    229,
    264,
    666,
    684,
    689
   ],
   [
    60,
    77,
    125,
    251,
    258,
    265,
    667,
    685,
    690
   ],
   [
    22,
    33,
    126,
    203,
    266,
    276,
    664,
    686,
    691
   ],
   [
    90,
    127,
    135,
    172,
    221,
    267,
    665,
    687,
    688
   ],
   [
    52,
    123,
    128,
    198,
    233,
    268,
    581,
    642,
    688
   ],
   [
    64,
    81,
    129,
    255,
    262,
    269,
    582,
    643,
    689
   ],
   [
    26,
    37,
    130,
    140,
    207,
    270,
    583,
    640,
    690
   ],
   [
    94,
    131,
    139,
    176,
    225,
    271,
    580,
    641,
    691
   ],
   [
    56,
    127,
    132,
    202,
    237,
    272,
    613,
    618,
    692
   ],
   [
    68,
    85,
    133,
    259,
    266,
    273,
    614,
    619,
    693
   ],
   [
    30,
    41,
    134,
    144,
    211,
    274,
    615,
    616,
    694
   ],
   [
    3,
    98,
    135,
    180,
    229,
    275,
    612,
    617,
    695
   ],
   [
    60,
    131,
    136,
    206,
    241,
    276,
    594,
    645,
    696
   ],
   [
    72,
    89,
    137,
    263,
    270,
    277,
    595,
    646,
    697
   ],
   [
    34,
    45,
    138,
    148,
    215,
    278,
    592,
    647,
    698
   ],
   [
    7,
    102,
    139,
    184,
    233,
    279,
    593,
    644,
    699
   ],
   [
    280,
    344,
    415,
    420,
    490,
    525,
    560,
    589,
    597
   ],
   [
    281,
    356,
    373,
    421,
    547,
    554,
    561,
    590,
    598
   ],
   [
    282,
    318,
    329,
    422,
    432,
    499,
    562,
    591,
    599
   ],
   [
    283,
    291,
    386,
    423,
    468,
    517,
    563,
    588,
    596
   ],
   [
    284,
    348,
    419,
    424,
    494,
    529,
    564,
    621,
    629
   ],
   [
    285,
    360,
    377,
    425,
    551,
    558,
    565,
    622,
    630
   ],
   [
    286,
    322,
    333,
    426,
    436,
    503,
    566,
    623,
    631
   ],
   [
    287,
    295,
    390,
    427,
    472,
    521,
    567,
    620,
    628
   ],
   [
    283,
    288,
    352,
    428,
    498,
    533,
    568,
    653,
    661
   ],
   [
    289,
    364,
    381,
    422,
    429,
    555,
    569,
    654,
    662
   ],
   [
    290,
    326,
    337,
    430,
    440,
    507,
    570,
    655,
    663
   ],
   [
    291,
    299,
    394,
    431,
    476,
    525,
    571,
    652,
    660
   ],
   [
    287,
    292,
    356,
    432,
    502,
    537,
    572,
    685,
    693
   ],
   [
    293,
    368,
    385,
    426,
    433,
    559,
    573,
    686,
    694
   ],
   [
    294,
    330,
    341,
    434,
    444,
    511,
    574,
    687,
    695
   ],
   [
    295,
    303,
    398,
    435,
    480,
    529,
    575,
    684,
    692
   ],
   [
    291,
    296,
    360,
    436,
    506,
    541,
    576,
    577,
    585
   ],
   [
    297,
    372,
    389,
    423,
    430,
    437,
    577,
    578,
    586
   ],
   [
    298,
    334,
    345,
    438,
    448,
    515,
    578,
    579,
    587
   ],
   [
    299,
    307,
    402,
    439,
    484,
    533,
    576,
    579,
    584
   ],
   [
    295,
    300,
    364,
    440,
    510,
    545,
    580,
    609,
    617
   ],
   [
    301,
    376,
    393,
    427,
    434,
    441,
    581,
    610,
    618
   ],
   [
    302,
    338,
    349,
    442,
    452,
    519,
    582,
    611,
    619
   ],
   [
    303,
    311,
    406,
    443,
    488,
    537,
    583,
    608,
    616
   ],
   [
    299,
    304,
    368,
    444,
    514,
    549,
    584,
    641,
    649
   ],
   [
    305,
    380,
    397,
    431,
    438,
    445,
    585,
    642,
    650
   ],
   [
    306,
    342,
    353,
    446,
    456,
    523,
    586,
    643,
    651
   ],
   [
    307,
    315,
    410,
    447,
    492,
    541,
    587,
    640,
    648
   ],
   [
    303,
    308,
    372,
    448,
    518,
    553,
    588,
    673,
    681
   ],
   [
    309,
    384,
    401,
    435,
    442,
    449,
    589,
    674,
    682
   ],
   [
    310,
    346,
    357,
    450,
    460,
    527,
    590,
    675,
    683
   ],
   [
    311,
    319,
    414,
    451,
    496,
    545,
    591,
    672,
    680
   ],
   [
    307,
    312,
    376,
    452,
    522,
    557,
    565,
    573,
    592
   ],
   [
    313,
    388,
    405,
    439,
    446,
    453,
    566,
    574,
    593
   ],
   [
    314,
    350,
    361,
    454,
    464,
    531,
    567,
    575,
    594
   ],
   [
    315,
    323,
    418,
    455,
    500,
    549,
    564,
    572,
    595
   ],
   [
    311,
    316,
    380,
    421,
    456,
    526,
    596,
    597,
    605
   ],
   [
    317,
    392,
    409,
    443,
    450,
    457,
    597,
    598,
    606
   ],
   [
    318,
    354,
    365,
    458,
    468,
    535,
    598,
    599,
    607
   ],
   [
    282,
    319,
    327,
    459,
    504,
    553,
    596,
    599,
    604
   ],
   [
    315,
    320,
    384,
    425,
    460,
    530,
    600,
    629,
    637
   ],
   [
    321,
    396,
    413,
    447,
    454,
    461,
    601,
    630,
    638
   ],
   [
    322,
    358,
    369,
    462,
    472,
    539,
    602,
    631,
    639
   ],
   [
    286,
    323,
    331,
    463,
    508,
    557,
    603,
    628,
    636
   ],
   [
    319,
    324,
    388,
    429,
    464,
    534,
    604,
    661,
    669
   ],
   [
    325,
    400,
    417,
    451,
    458,
    465,
    605,
    662,
    670
   ],
   [
    326,
    362,
    373,
    466,
    476,
    543,
    606,
    663,
    671
   ],
   [
    290,
    327,
    335,
    421,
    467,
    512,
    607,
    660,
    668
   ],
   [
    323,
    328,
    392,
    433,
    468,
    538,
    561,
    608,
    693
   ],
   [
    281,
    329,
    404,
    455,
    462,
    469,
    562,
    609,
    694
   ],
   [
    330,
    366,
    377,
    470,
    480,
    547,
    563,
    610,
    695
   ],
   [
    294,
    331,
    339,
    425,
    471,
    516,
    560,
    611,
    692
   ],
   [
    327,
    332,
    396,
    437,
    472,
    542,
    585,
    593,
    612
   ],
   [
    285,
    333,
    408,
    459,
    466,
    473,
    586,
    594,
    613
   ],
   [
    334,
    370,
    381,
    474,
    484,
    551,
    587,
    595,
    614
   ],
   [
    298,
    335,
    343,
    429,
    475,
    520,
    584,
    592,
    615
   ],
   [
    331,
    336,
    400,
    441,
    476,
    546,
    616,
    617,
    625
   ],
   [
    289,
    337,
    412,
    463,
    470,
    477,
    617,
    618,
    626
   ],
   [
    338,
    374,
    385,
    478,
    488,
    555,
    618,
    619,
    627
   ],
   [
    302,
    339,
    347,
    433,
    479,
    524,
    616,
    619,
    624
   ],
   [
    335,
    340,
    404,
    445,
    480,
    550,
    620,
    649,
    657
   ],
   [
    293,
    341,
    416,
    467,
    474,
    481,
    621,
    650,
    658
   ],
   [
    342,
    378,
    389,
    482,
    492,
    559,
    622,
    651,
    659
   ],
   [
    306,
    343,
    351,
    437,
    483,
    528,
    623,
    648,
    656
   ],
   [
    339,
    344,
    408,
    449,
    484,
    554,
    624,
    681,
    689
   ],
   [
    280,
    297,
    345,
    471,
    478,
    485,
    625,
    682,
    690
   ],
   [
    346,
    382,
    393,
    423,
    486,
    496,
    626,
    683,
    691
   ],
   [
    310,
    347,
    355,
    441,
    487,
    532,
    627,
    680,
    688
   ],
   [
    343,
    348,
    412,
    453,
    488,
    558,
    573,
    581,
    628
   ],
   [
    284,
    301,
    349,
    475,
    482,
    489,
    574,
    582,
    629
   ],
   [
    350,
    386,
    397,
    427,
    490,
    500,
    575,
    583,
    630
   ],
   [
    314,
    351,
    359,
    445,
    491,
    536,
    572,
    580,
    631
   ],
   [
    347,
    352,
    416,
    422,
    457,
    492,
    605,
    613,
    632
   ],
   [
    288,
    305,
    353,
    479,
    486,
    493,
    606,
    614,
    633
   ],
   [
    354,
    390,
    401,
    431,
    494,
    504,
    607,
    615,
    634
   ],
   [
    318,
    355,
    363,
    449,
    495,
    540,
    604,
    612,
    635
   ],
   [
    280,
    351,
    356,
    426,
    461,
    496,
    636,
    637,
    645
   ],
   [
    292,
    309,
    357,
    483,
    490,
    497,
    637,
    638,
    646
   ],
   [
    358,
    394,
    405,
    435,
    498,
    508,
    638,
    639,
    647
   ],
   [
    322,
    359,
    367,
    453,
    499,
    544,
    636,
    639,
    644
   ],
   [
    284,
    355,
    360,
    430,
    465,
    500,
    640,
    669,
    677
   ],
   [
    296,
    313,
    361,
    487,
    494,
    501,
    641,
    670,
    678
   ],
   [
    362,
    398,
    409,
    439,
    502,
    512,
    642,
    671,
    679
   ],
   [
    326,
    363,
    371,
    457,
    503,
    548,
    643,
    668,
    676
   ],
   [
    288,
    359,
    364,
    434,
    469,
    504,
    561,
    569,
    644
   ],
   [
    300,
    317,
    365,
    491,
    498,
    505,
    562,
    570,
    645
   ],
   [
    366,
    402,
    413,
    443,
    506,
    516,
    563,
    571,
    646
   ],
   [
    330,
    367,
    375,
    461,
    507,
    552,
    560,
    568,
    647
   ],
   [
    292,
    363,
    368,
    438,
    473,
    508,
    593,
    601,
    648
   ],
   [
    304,
    321,
    369,
    495,
    502,
    509,
    594,
    602,
    649
   ],
   [
    370,
    406,
    417,
    447,
    510,
    520,
    595,
    603,
    650
   ],
   [
    334,
    371,
    379,
    465,
    511,
    556,
    592,
    600,
    651
   ],
   [
    296,
    367,
    372,
    442,
    477,
    512,
    625,
    633,
    652
   ],
   [
    308,
    325,
    373,
    499,
    506,
    513,
    626,
    634,
    653
   ],
   [
    281,
    374,
    410,
    451,
    514,
    524,
    627,
    635,
    654
   ],
   [
    338,
    375,
    383,
    420,
    469,
    515,
    624,
    632,
    655
   ],
   [
    300,
    371,
    376,
    446,
    481,
    516,
    656,
    657,
    665
   ],
   [
    312,
    329,
    377,
    503,
    510,
    517,
    657,
    658,
    666
   ],
   [
    285,
    378,
    414,
    455,
    518,
    528,
    658,
    659,
    667
   ],
   [
    342,
    379,
    387,
    424,
    473,
    519,
    656,
    659,
    664
   ],
   [
    304,
    375,
    380,
    450,
    485,
    520,
    660,
    689,
    697
   ],
   [
    316,
    333,
    381,
    507,
    514,
    521,
    661,
    690,
    698
   ],
   [
    289,
    382,
    418,
    459,
    522,
    532,
    662,
    691,
    699
   ],
   [
    346,
    383,
    391,
    428,
    477,
    523,
    663,
    688,
    696
   ],
   [
    308,
    379,
    384,
    454,
    489,
    524,
    581,
    589,
    664
   ],
   [
    320,
    337,
    385,
    511,
    518,
    525,
    582,
    590,
    665
   ],
   [
    282,
    293,
    386,
    463,
    526,
    536,
    583,
    591,
    666
   ],
   [
    350,
    387,
    395,
    432,
    481,
    527,
    580,
    588,
    667
   ],
   [
    312,
    383,
    388,
    458,
    493,
    528,
    613,
    621,
    668
   ],
   [
    324,
    341,
    389,
    515,
    522,
    529,
    614,
    622,
    669
   ],
   [
    286,
    297,
    390,
    467,
    530,
    540,
    615,
    623,
    670
   ],
   [
    354,
    391,
    399,
    436,
    485,
    531,
    612,
    620,
    671
   ],
   [
    316,
    387,
    392,
    462,
    497,
    532,
    645,
    653,
    672
   ],
   [
    328,
    345,
    393,
    519,
    526,
    533,
    646,
    654,
    673
   ],
   [
    290,
    301,
    394,
    471,
    534,
    544,
    647,
    655,
    674
   ],
   [
    358,
    395,
    403,
    440,
    489,
    535,
    644,
    652,
    675
   ],
   [
    320,
    391,
    396,
    466,
    501,
    536,
    676,
    677,
    685
   ],
   [
    332,
    349,
    397,
    523,
    530,
    537,
    677,
    678,
    686
   ],
   [
    294,
    305,
    398,
    475,
    538,
    548,
    678,
    679,
    687
   ],
   [
    362,
    399,
    407,
    444,
    493,
    539,
    676,
    679,
    684
   ],
   [
    324,
    395,
    400,
    470,
    505,
    540,
    569,
    577,
    680
   ],
   [
    336,
    353,
    401,
    527,
    534,
    541,
    570,
    578,
    681
   ],
   [
    298,
    309,
    402,
    479,
    542,
    552,
    571,
    579,
    682
   ],
   [
    366,
    403,
    411,
    448,
    497,
    543,
    568,
    576,
    683
   ],
   [
    328,
    399,
    404,
    474,
    509,
    544,
    601,
    609,
    684
   ],
   [
    340,
    357,
    405,
    531,
    538,
    545,
    602,
    610,
    685
   ],
   [
    302,
    313,
    406,
    483,
    546,
    556,
    603,
    611,
    686
   ],
   [
    370,
    407,
    415,
    452,
    501,
    547,
    600,
    608,
    687
   ],
   [
    332,
    403,
    408,
    478,
    513,
    548,
    633,
    641,
    688
   ],
   [
    344,
    361,
    409,
    535,
    542,
    549,
    634,
    642,
    689
   ],
   [
    306,
    317,
    410,
    420,
    487,
    550,
    635,
    643,
    690
   ],
   [
    374,
    411,
    419,
    456,
    505,
    551,
    632,
    640,
    691
   ],
   [
    336,
    407,
    412,
    482,
    517,
    552,
    665,
    673,
    692
   ],
   [
    348,
    365,
    413,
    539,
    546,
    553,
    666,
    674,
    693
   ],
   [
    310,
    321,
    414,
    424,
    491,
    554,
    667,
    675,
    694
   ],
   [
    283,
    378,
    415,
    460,
    509,
    555,
    664,
    672,
    695
   ],
   [
    340,
    411,
    416,
    486,
    521,
    556,
    565,
    696,
    697
   ],
   [
    352,
    369,
    417,
    543,
    550,
    557,
    566,
    697,
    698
   ],
   [
    314,
    325,
    418,
    428,
    495,
    558,
    567,
    698,
    699
   ],
   [
    287,
    382,
    419,
    464,
    513,
    559,
    564,
    696,
    699
   ]
  ]
 },
 "distance": {
  "d": 22,
  "X": {
   "value": 22,
   "confidence": "upper_bound",
   "witness": [
    286,
    315,
    319,
    323,
    357,
    364,
    381,
    390,
    392,
    411,
    425,
    436,
    450,
    471,
    485,
    497,
    504,
    521,
    534,
    541,
    545,
    551
   ]
  },
  "Z": {
   "value": 22,
   "confidence": "upper_bound",
   "witness": [
    153,
    155,
    178,
    185,
    195,
    202,
    206,
    207,
    218,
    226,
    239,
    257,
    258,
    259,
    432,
    458,
    462,
    482,
    494,
    497,
    538,
    545
   ]
  }
 },
 "provenance": {
  "authors": [
   "@yifanhong"
  ],
  "origin": "submission",
  "novelty": "known_parameters",
  "construction": "Balanced/lifted product over Z_35 semidirect-product_8 Z_4, with weight-3 group-ring entries a=1+x^29y+x^2y^2, b=1+x^7y+x^9y, c=1+x^19+x^16y, d=1+x^32y^2+x^23y^3; reproduced from arXiv:2607.27644v1.",
  "model": "GPT 5.6 Sol",
  "references": [
   "arXiv:2607.27644v1"
  ],
  "date": "2026-08-02",
  "notes": "Published in Table 8 (Appendix A) of arXiv:2607.27644v1; fresh QDistEvol witnesses reproduced for this contribution."
 },
 "family": "balanced-product"
}