{
 "schema_version": "0.4",
 "name": "[[189,27,6]]",
 "code_type": "stabilizer",
 "n": 189,
 "k": 27,
 "checks": {
  "S": [
   {
    "X": [
     80,
     82,
     107,
     109
    ],
    "Z": [
     28,
     82,
     107,
     161
    ]
   },
   {
    "X": [
     81,
     83,
     108,
     110
    ],
    "Z": [
     29,
     83,
     108,
     162
    ]
   },
   {
    "X": [
     82,
     84,
     109,
     111
    ],
    "Z": [
     30,
     84,
     109,
     163
    ]
   },
   {
    "X": [
     83,
     85,
     110,
     112
    ],
    "Z": [
     31,
     85,
     110,
     164
    ]
   },
   {
    "X": [
     84,
     86,
     111,
     113
    ],
    "Z": [
     32,
     86,
     111,
     165
    ]
   },
   {
    "X": [
     85,
     87,
     112,
     114
    ],
    "Z": [
     33,
     87,
     112,
     166
    ]
   },
   {
    "X": [
     86,
     88,
     113,
     115
    ],
    "Z": [
     34,
     88,
     113,
     167
    ]
   },
   {
    "X": [
     87,
     89,
     114,
     116
    ],
    "Z": [
     35,
     89,
     114,
     168
    ]
   },
   {
    "X": [
     88,
     90,
     115,
     117
    ],
    "Z": [
     36,
     90,
     115,
     169
    ]
   },
   {
    "X": [
     89,
     91,
     116,
     118
    ],
    "Z": [
     37,
     91,
     116,
     170
    ]
   },
   {
    "X": [
     90,
     92,
     117,
     119
    ],
    "Z": [
     38,
     92,
     117,
     171
    ]
   },
   {
    "X": [
     91,
     93,
     118,
     120
    ],
    "Z": [
     39,
     93,
     118,
     172
    ]
   },
   {
    "X": [
     92,
     94,
     119,
     121
    ],
    "Z": [
     40,
     94,
     119,
     173
    ]
   },
   {
    "X": [
     93,
     95,
     120,
     122
    ],
    "Z": [
     41,
     95,
     120,
     174
    ]
   },
   {
    "X": [
     94,
     96,
     121,
     123
    ],
    "Z": [
     42,
     96,
     121,
     175
    ]
   },
   {
    "X": [
     95,
     97,
     122,
     124
    ],
    "Z": [
     43,
     97,
     122,
     176
    ]
   },
   {
    "X": [
     96,
     98,
     123,
     125
    ],
    "Z": [
     44,
     98,
     123,
     177
    ]
   },
   {
    "X": [
     97,
     99,
     124,
     126
    ],
    "Z": [
     45,
     99,
     124,
     178
    ]
   },
   {
    "X": [
     98,
     100,
     125,
     127
    ],
    "Z": [
     46,
     100,
     125,
     179
    ]
   },
   {
    "X": [
     99,
     101,
     126,
     128
    ],
    "Z": [
     47,
     101,
     126,
     180
    ]
   },
   {
    "X": [
     100,
     102,
     127,
     129
    ],
    "Z": [
     48,
     102,
     127,
     181
    ]
   },
   {
    "X": [
     101,
     103,
     128,
     130
    ],
    "Z": [
     49,
     103,
     128,
     182
    ]
   },
   {
    "X": [
     102,
     104,
     129,
     131
    ],
    "Z": [
     50,
     104,
     129,
     183
    ]
   },
   {
    "X": [
     103,
     105,
     130,
     132
    ],
    "Z": [
     51,
     105,
     130,
     184
    ]
   },
   {
    "X": [
     104,
     106,
     131,
     133
    ],
    "Z": [
     52,
     106,
     131,
     185
    ]
   },
   {
    "X": [
     105,
     107,
     132,
     134
    ],
    "Z": [
     53,
     107,
     132,
     186
    ]
   },
   {
    "X": [
     106,
     108,
     133,
     135
    ],
    "Z": [
     54,
     108,
     133,
     187
    ]
   },
   {
    "X": [
     107,
     109,
     134,
     136
    ],
    "Z": [
     55,
     109,
     134,
     188
    ]
   },
   {
    "X": [
     108,
     110,
     135,
     137
    ],
    "Z": [
     0,
     56,
     110,
     135
    ]
   },
   {
    "X": [
     109,
     111,
     136,
     138
    ],
    "Z": [
     1,
     57,
     111,
     136
    ]
   },
   {
    "X": [
     110,
     112,
     137,
     139
    ],
    "Z": [
     2,
     58,
     112,
     137
    ]
   },
   {
    "X": [
     111,
     113,
     138,
     140
    ],
    "Z": [
     3,
     59,
     113,
     138
    ]
   },
   {
    "X": [
     112,
     114,
     139,
     141
    ],
    "Z": [
     4,
     60,
     114,
     139
    ]
   },
   {
    "X": [
     113,
     115,
     140,
     142
    ],
    "Z": [
     5,
     61,
     115,
     140
    ]
   },
   {
    "X": [
     114,
     116,
     141,
     143
    ],
    "Z": [
     6,
     62,
     116,
     141
    ]
   },
   {
    "X": [
     115,
     117,
     142,
     144
    ],
    "Z": [
     7,
     63,
     117,
     142
    ]
   },
   {
    "X": [
     116,
     118,
     143,
     145
    ],
    "Z": [
     8,
     64,
     118,
     143
    ]
   },
   {
    "X": [
     117,
     119,
     144,
     146
    ],
    "Z": [
     9,
     65,
     119,
     144
    ]
   },
   {
    "X": [
     118,
     120,
     145,
     147
    ],
    "Z": [
     10,
     66,
     120,
     145
    ]
   },
   {
    "X": [
     119,
     121,
     146,
     148
    ],
    "Z": [
     11,
     67,
     121,
     146
    ]
   },
   {
    "X": [
     120,
     122,
     147,
     149
    ],
    "Z": [
     12,
     68,
     122,
     147
    ]
   },
   {
    "X": [
     121,
     123,
     148,
     150
    ],
    "Z": [
     13,
     69,
     123,
     148
    ]
   },
   {
    "X": [
     122,
     124,
     149,
     151
    ],
    "Z": [
     14,
     70,
     124,
     149
    ]
   },
   {
    "X": [
     123,
     125,
     150,
     152
    ],
    "Z": [
     15,
     71,
     125,
     150
    ]
   },
   {
    "X": [
     124,
     126,
     151,
     153
    ],
    "Z": [
     16,
     72,
     126,
     151
    ]
   },
   {
    "X": [
     125,
     127,
     152,
     154
    ],
    "Z": [
     17,
     73,
     127,
     152
    ]
   },
   {
    "X": [
     126,
     128,
     153,
     155
    ],
    "Z": [
     18,
     74,
     128,
     153
    ]
   },
   {
    "X": [
     127,
     129,
     154,
     156
    ],
    "Z": [
     19,
     75,
     129,
     154
    ]
   },
   {
    "X": [
     128,
     130,
     155,
     157
    ],
    "Z": [
     20,
     76,
     130,
     155
    ]
   },
   {
    "X": [
     129,
     131,
     156,
     158
    ],
    "Z": [
     21,
     77,
     131,
     156
    ]
   },
   {
    "X": [
     130,
     132,
     157,
     159
    ],
    "Z": [
     22,
     78,
     132,
     157
    ]
   },
   {
    "X": [
     131,
     133,
     158,
     160
    ],
    "Z": [
     23,
     79,
     133,
     158
    ]
   },
   {
    "X": [
     132,
     134,
     159,
     161
    ],
    "Z": [
     24,
     80,
     134,
     159
    ]
   },
   {
    "X": [
     133,
     135,
     160,
     162
    ],
    "Z": [
     25,
     81,
     135,
     160
    ]
   },
   {
    "X": [
     134,
     136,
     161,
     163
    ],
    "Z": [
     26,
     82,
     136,
     161
    ]
   },
   {
    "X": [
     135,
     137,
     162,
     164
    ],
    "Z": [
     27,
     83,
     137,
     162
    ]
   },
   {
    "X": [
     136,
     138,
     163,
     165
    ],
    "Z": [
     28,
     84,
     138,
     163
    ]
   },
   {
    "X": [
     137,
     139,
     164,
     166
    ],
    "Z": [
     29,
     85,
     139,
     164
    ]
   },
   {
    "X": [
     138,
     140,
     165,
     167
    ],
    "Z": [
     30,
     86,
     140,
     165
    ]
   },
   {
    "X": [
     139,
     141,
     166,
     168
    ],
    "Z": [
     31,
     87,
     141,
     166
    ]
   },
   {
    "X": [
     140,
     142,
     167,
     169
    ],
    "Z": [
     32,
     88,
     142,
     167
    ]
   },
   {
    "X": [
     141,
     143,
     168,
     170
    ],
    "Z": [
     33,
     89,
     143,
     168
    ]
   },
   {
    "X": [
     142,
     144,
     169,
     171
    ],
    "Z": [
     34,
     90,
     144,
     169
    ]
   },
   {
    "X": [
     143,
     145,
     170,
     172
    ],
    "Z": [
     35,
     91,
     145,
     170
    ]
   },
   {
    "X": [
     144,
     146,
     171,
     173
    ],
    "Z": [
     36,
     92,
     146,
     171
    ]
   },
   {
    "X": [
     145,
     147,
     172,
     174
    ],
    "Z": [
     37,
     93,
     147,
     172
    ]
   },
   {
    "X": [
     146,
     148,
     173,
     175
    ],
    "Z": [
     38,
     94,
     148,
     173
    ]
   },
   {
    "X": [
     147,
     149,
     174,
     176
    ],
    "Z": [
     39,
     95,
     149,
     174
    ]
   },
   {
    "X": [
     148,
     150,
     175,
     177
    ],
    "Z": [
     40,
     96,
     150,
     175
    ]
   },
   {
    "X": [
     149,
     151,
     176,
     178
    ],
    "Z": [
     41,
     97,
     151,
     176
    ]
   },
   {
    "X": [
     150,
     152,
     177,
     179
    ],
    "Z": [
     42,
     98,
     152,
     177
    ]
   },
   {
    "X": [
     151,
     153,
     178,
     180
    ],
    "Z": [
     43,
     99,
     153,
     178
    ]
   },
   {
    "X": [
     152,
     154,
     179,
     181
    ],
    "Z": [
     44,
     100,
     154,
     179
    ]
   },
   {
    "X": [
     153,
     155,
     180,
     182
    ],
    "Z": [
     45,
     101,
     155,
     180
    ]
   },
   {
    "X": [
     154,
     156,
     181,
     183
    ],
    "Z": [
     46,
     102,
     156,
     181
    ]
   },
   {
    "X": [
     155,
     157,
     182,
     184
    ],
    "Z": [
     47,
     103,
     157,
     182
    ]
   },
   {
    "X": [
     156,
     158,
     183,
     185
    ],
    "Z": [
     48,
     104,
     158,
     183
    ]
   },
   {
    "X": [
     157,
     159,
     184,
     186
    ],
    "Z": [
     49,
     105,
     159,
     184
    ]
   },
   {
    "X": [
     158,
     160,
     185,
     187
    ],
    "Z": [
     50,
     106,
     160,
     185
    ]
   },
   {
    "X": [
     159,
     161,
     186,
     188
    ],
    "Z": [
     51,
     107,
     161,
     186
    ]
   },
   {
    "X": [
     0,
     160,
     162,
     187
    ],
    "Z": [
     52,
     108,
     162,
     187
    ]
   },
   {
    "X": [
     1,
     161,
     163,
     188
    ],
    "Z": [
     53,
     109,
     163,
     188
    ]
   },
   {
    "X": [
     0,
     2,
     162,
     164
    ],
    "Z": [
     0,
     54,
     110,
     164
    ]
   },
   {
    "X": [
     1,
     3,
     163,
     165
    ],
    "Z": [
     1,
     55,
     111,
     165
    ]
   },
   {
    "X": [
     2,
     4,
     164,
     166
    ],
    "Z": [
     2,
     56,
     112,
     166
    ]
   },
   {
    "X": [
     3,
     5,
     165,
     167
    ],
    "Z": [
     3,
     57,
     113,
     167
    ]
   },
   {
    "X": [
     4,
     6,
     166,
     168
    ],
    "Z": [
     4,
     58,
     114,
     168
    ]
   },
   {
    "X": [
     5,
     7,
     167,
     169
    ],
    "Z": [
     5,
     59,
     115,
     169
    ]
   },
   {
    "X": [
     6,
     8,
     168,
     170
    ],
    "Z": [
     6,
     60,
     116,
     170
    ]
   },
   {
    "X": [
     7,
     9,
     169,
     171
    ],
    "Z": [
     7,
     61,
     117,
     171
    ]
   },
   {
    "X": [
     8,
     10,
     170,
     172
    ],
    "Z": [
     8,
     62,
     118,
     172
    ]
   },
   {
    "X": [
     9,
     11,
     171,
     173
    ],
    "Z": [
     9,
     63,
     119,
     173
    ]
   },
   {
    "X": [
     10,
     12,
     172,
     174
    ],
    "Z": [
     10,
     64,
     120,
     174
    ]
   },
   {
    "X": [
     11,
     13,
     173,
     175
    ],
    "Z": [
     11,
     65,
     121,
     175
    ]
   },
   {
    "X": [
     12,
     14,
     174,
     176
    ],
    "Z": [
     12,
     66,
     122,
     176
    ]
   },
   {
    "X": [
     13,
     15,
     175,
     177
    ],
    "Z": [
     13,
     67,
     123,
     177
    ]
   },
   {
    "X": [
     14,
     16,
     176,
     178
    ],
    "Z": [
     14,
     68,
     124,
     178
    ]
   },
   {
    "X": [
     15,
     17,
     177,
     179
    ],
    "Z": [
     15,
     69,
     125,
     179
    ]
   },
   {
    "X": [
     16,
     18,
     178,
     180
    ],
    "Z": [
     16,
     70,
     126,
     180
    ]
   },
   {
    "X": [
     17,
     19,
     179,
     181
    ],
    "Z": [
     17,
     71,
     127,
     181
    ]
   },
   {
    "X": [
     18,
     20,
     180,
     182
    ],
    "Z": [
     18,
     72,
     128,
     182
    ]
   },
   {
    "X": [
     19,
     21,
     181,
     183
    ],
    "Z": [
     19,
     73,
     129,
     183
    ]
   },
   {
    "X": [
     20,
     22,
     182,
     184
    ],
    "Z": [
     20,
     74,
     130,
     184
    ]
   },
   {
    "X": [
     21,
     23,
     183,
     185
    ],
    "Z": [
     21,
     75,
     131,
     185
    ]
   },
   {
    "X": [
     22,
     24,
     184,
     186
    ],
    "Z": [
     22,
     76,
     132,
     186
    ]
   },
   {
    "X": [
     23,
     25,
     185,
     187
    ],
    "Z": [
     23,
     77,
     133,
     187
    ]
   },
   {
    "X": [
     24,
     26,
     186,
     188
    ],
    "Z": [
     24,
     78,
     134,
     188
    ]
   },
   {
    "X": [
     0,
     25,
     27,
     187
    ],
    "Z": [
     0,
     25,
     79,
     135
    ]
   },
   {
    "X": [
     1,
     26,
     28,
     188
    ],
    "Z": [
     1,
     26,
     80,
     136
    ]
   },
   {
    "X": [
     0,
     2,
     27,
     29
    ],
    "Z": [
     2,
     27,
     81,
     137
    ]
   },
   {
    "X": [
     1,
     3,
     28,
     30
    ],
    "Z": [
     3,
     28,
     82,
     138
    ]
   },
   {
    "X": [
     2,
     4,
     29,
     31
    ],
    "Z": [
     4,
     29,
     83,
     139
    ]
   },
   {
    "X": [
     3,
     5,
     30,
     32
    ],
    "Z": [
     5,
     30,
     84,
     140
    ]
   },
   {
    "X": [
     4,
     6,
     31,
     33
    ],
    "Z": [
     6,
     31,
     85,
     141
    ]
   },
   {
    "X": [
     5,
     7,
     32,
     34
    ],
    "Z": [
     7,
     32,
     86,
     142
    ]
   },
   {
    "X": [
     6,
     8,
     33,
     35
    ],
    "Z": [
     8,
     33,
     87,
     143
    ]
   },
   {
    "X": [
     7,
     9,
     34,
     36
    ],
    "Z": [
     9,
     34,
     88,
     144
    ]
   },
   {
    "X": [
     8,
     10,
     35,
     37
    ],
    "Z": [
     10,
     35,
     89,
     145
    ]
   },
   {
    "X": [
     9,
     11,
     36,
     38
    ],
    "Z": [
     11,
     36,
     90,
     146
    ]
   },
   {
    "X": [
     10,
     12,
     37,
     39
    ],
    "Z": [
     12,
     37,
     91,
     147
    ]
   },
   {
    "X": [
     11,
     13,
     38,
     40
    ],
    "Z": [
     13,
     38,
     92,
     148
    ]
   },
   {
    "X": [
     12,
     14,
     39,
     41
    ],
    "Z": [
     14,
     39,
     93,
     149
    ]
   },
   {
    "X": [
     13,
     15,
     40,
     42
    ],
    "Z": [
     15,
     40,
     94,
     150
    ]
   },
   {
    "X": [
     14,
     16,
     41,
     43
    ],
    "Z": [
     16,
     41,
     95,
     151
    ]
   },
   {
    "X": [
     15,
     17,
     42,
     44
    ],
    "Z": [
     17,
     42,
     96,
     152
    ]
   },
   {
    "X": [
     16,
     18,
     43,
     45
    ],
    "Z": [
     18,
     43,
     97,
     153
    ]
   },
   {
    "X": [
     17,
     19,
     44,
     46
    ],
    "Z": [
     19,
     44,
     98,
     154
    ]
   },
   {
    "X": [
     18,
     20,
     45,
     47
    ],
    "Z": [
     20,
     45,
     99,
     155
    ]
   },
   {
    "X": [
     19,
     21,
     46,
     48
    ],
    "Z": [
     21,
     46,
     100,
     156
    ]
   },
   {
    "X": [
     20,
     22,
     47,
     49
    ],
    "Z": [
     22,
     47,
     101,
     157
    ]
   },
   {
    "X": [
     21,
     23,
     48,
     50
    ],
    "Z": [
     23,
     48,
     102,
     158
    ]
   },
   {
    "X": [
     22,
     24,
     49,
     51
    ],
    "Z": [
     24,
     49,
     103,
     159
    ]
   },
   {
    "X": [
     23,
     25,
     50,
     52
    ],
    "Z": [
     25,
     50,
     104,
     160
    ]
   },
   {
    "X": [
     24,
     26,
     51,
     53
    ],
    "Z": [
     26,
     51,
     105,
     161
    ]
   },
   {
    "X": [
     25,
     27,
     52,
     54
    ],
    "Z": [
     27,
     52,
     106,
     162
    ]
   },
   {
    "X": [
     26,
     28,
     53,
     55
    ],
    "Z": [
     28,
     53,
     107,
     163
    ]
   },
   {
    "X": [
     27,
     29,
     54,
     56
    ],
    "Z": [
     29,
     54,
     108,
     164
    ]
   },
   {
    "X": [
     28,
     30,
     55,
     57
    ],
    "Z": [
     30,
     55,
     109,
     165
    ]
   },
   {
    "X": [
     29,
     31,
     56,
     58
    ],
    "Z": [
     31,
     56,
     110,
     166
    ]
   },
   {
    "X": [
     30,
     32,
     57,
     59
    ],
    "Z": [
     32,
     57,
     111,
     167
    ]
   },
   {
    "X": [
     31,
     33,
     58,
     60
    ],
    "Z": [
     33,
     58,
     112,
     168
    ]
   },
   {
    "X": [
     32,
     34,
     59,
     61
    ],
    "Z": [
     34,
     59,
     113,
     169
    ]
   },
   {
    "X": [
     33,
     35,
     60,
     62
    ],
    "Z": [
     35,
     60,
     114,
     170
    ]
   },
   {
    "X": [
     34,
     36,
     61,
     63
    ],
    "Z": [
     36,
     61,
     115,
     171
    ]
   },
   {
    "X": [
     35,
     37,
     62,
     64
    ],
    "Z": [
     37,
     62,
     116,
     172
    ]
   },
   {
    "X": [
     36,
     38,
     63,
     65
    ],
    "Z": [
     38,
     63,
     117,
     173
    ]
   },
   {
    "X": [
     37,
     39,
     64,
     66
    ],
    "Z": [
     39,
     64,
     118,
     174
    ]
   },
   {
    "X": [
     38,
     40,
     65,
     67
    ],
    "Z": [
     40,
     65,
     119,
     175
    ]
   },
   {
    "X": [
     39,
     41,
     66,
     68
    ],
    "Z": [
     41,
     66,
     120,
     176
    ]
   },
   {
    "X": [
     40,
     42,
     67,
     69
    ],
    "Z": [
     42,
     67,
     121,
     177
    ]
   },
   {
    "X": [
     41,
     43,
     68,
     70
    ],
    "Z": [
     43,
     68,
     122,
     178
    ]
   },
   {
    "X": [
     42,
     44,
     69,
     71
    ],
    "Z": [
     44,
     69,
     123,
     179
    ]
   },
   {
    "X": [
     43,
     45,
     70,
     72
    ],
    "Z": [
     45,
     70,
     124,
     180
    ]
   },
   {
    "X": [
     44,
     46,
     71,
     73
    ],
    "Z": [
     46,
     71,
     125,
     181
    ]
   },
   {
    "X": [
     45,
     47,
     72,
     74
    ],
    "Z": [
     47,
     72,
     126,
     182
    ]
   },
   {
    "X": [
     46,
     48,
     73,
     75
    ],
    "Z": [
     48,
     73,
     127,
     183
    ]
   },
   {
    "X": [
     47,
     49,
     74,
     76
    ],
    "Z": [
     49,
     74,
     128,
     184
    ]
   },
   {
    "X": [
     48,
     50,
     75,
     77
    ],
    "Z": [
     50,
     75,
     129,
     185
    ]
   },
   {
    "X": [
     49,
     51,
     76,
     78
    ],
    "Z": [
     51,
     76,
     130,
     186
    ]
   },
   {
    "X": [
     50,
     52,
     77,
     79
    ],
    "Z": [
     52,
     77,
     131,
     187
    ]
   },
   {
    "X": [
     51,
     53,
     78,
     80
    ],
    "Z": [
     53,
     78,
     132,
     188
    ]
   },
   {
    "X": [
     52,
     54,
     79,
     81
    ],
    "Z": [
     0,
     54,
     79,
     133
    ]
   },
   {
    "X": [
     53,
     55,
     80,
     82
    ],
    "Z": [
     1,
     55,
     80,
     134
    ]
   },
   {
    "X": [
     54,
     56,
     81,
     83
    ],
    "Z": [
     2,
     56,
     81,
     135
    ]
   },
   {
    "X": [
     55,
     57,
     82,
     84
    ],
    "Z": [
     3,
     57,
     82,
     136
    ]
   },
   {
    "X": [
     56,
     58,
     83,
     85
    ],
    "Z": [
     4,
     58,
     83,
     137
    ]
   },
   {
    "X": [
     57,
     59,
     84,
     86
    ],
    "Z": [
     5,
     59,
     84,
     138
    ]
   },
   {
    "X": [
     58,
     60,
     85,
     87
    ],
    "Z": [
     6,
     60,
     85,
     139
    ]
   },
   {
    "X": [
     59,
     61,
     86,
     88
    ],
    "Z": [
     7,
     61,
     86,
     140
    ]
   },
   {
    "X": [
     60,
     62,
     87,
     89
    ],
    "Z": [
     8,
     62,
     87,
     141
    ]
   },
   {
    "X": [
     61,
     63,
     88,
     90
    ],
    "Z": [
     9,
     63,
     88,
     142
    ]
   },
   {
    "X": [
     62,
     64,
     89,
     91
    ],
    "Z": [
     10,
     64,
     89,
     143
    ]
   },
   {
    "X": [
     63,
     65,
     90,
     92
    ],
    "Z": [
     11,
     65,
     90,
     144
    ]
   },
   {
    "X": [
     64,
     66,
     91,
     93
    ],
    "Z": [
     12,
     66,
     91,
     145
    ]
   },
   {
    "X": [
     65,
     67,
     92,
     94
    ],
    "Z": [
     13,
     67,
     92,
     146
    ]
   },
   {
    "X": [
     66,
     68,
     93,
     95
    ],
    "Z": [
     14,
     68,
     93,
     147
    ]
   },
   {
    "X": [
     67,
     69,
     94,
     96
    ],
    "Z": [
     15,
     69,
     94,
     148
    ]
   },
   {
    "X": [
     68,
     70,
     95,
     97
    ],
    "Z": [
     16,
     70,
     95,
     149
    ]
   },
   {
    "X": [
     69,
     71,
     96,
     98
    ],
    "Z": [
     17,
     71,
     96,
     150
    ]
   },
   {
    "X": [
     70,
     72,
     97,
     99
    ],
    "Z": [
     18,
     72,
     97,
     151
    ]
   },
   {
    "X": [
     71,
     73,
     98,
     100
    ],
    "Z": [
     19,
     73,
     98,
     152
    ]
   },
   {
    "X": [
     72,
     74,
     99,
     101
    ],
    "Z": [
     20,
     74,
     99,
     153
    ]
   },
   {
    "X": [
     73,
     75,
     100,
     102
    ],
    "Z": [
     21,
     75,
     100,
     154
    ]
   },
   {
    "X": [
     74,
     76,
     101,
     103
    ],
    "Z": [
     22,
     76,
     101,
     155
    ]
   },
   {
    "X": [
     75,
     77,
     102,
     104
    ],
    "Z": [
     23,
     77,
     102,
     156
    ]
   },
   {
    "X": [
     76,
     78,
     103,
     105
    ],
    "Z": [
     24,
     78,
     103,
     157
    ]
   },
   {
    "X": [
     77,
     79,
     104,
     106
    ],
    "Z": [
     25,
     79,
     104,
     158
    ]
   },
   {
    "X": [
     78,
     80,
     105,
     107
    ],
    "Z": [
     26,
     80,
     105,
     159
    ]
   },
   {
    "X": [
     79,
     81,
     106,
     108
    ],
    "Z": [
     27,
     81,
     106,
     160
    ]
   }
  ]
 },
 "distance": {
  "d": 6,
  "P": {
   "value": 6,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     175,
     177
    ],
    "Z": [
     13,
     40,
     123,
     150
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@FarLab"
  ],
  "construction": "One-block cyclic stabilizer code: generator X^a Z^b and its 189 cyclic shifts, a(x) = x^80 + x^82 + x^107 + x^109, b(x) = x^28 + x^82 + x^107 + x^161 in F_2[x]/(x^189 - 1); a = g p, b = g q with p, q palindromic so that a b* + b a* = 0; k = deg gcd(a, b, x^189 - 1)",
  "origin": "submission",
  "date": "2026-10-01",
  "model": "Claude Fable 5.1",
  "notes": "Found by a sweep of one-block palindromic cyclic codes (Camara-Ollivier-Tillich-type group-algebra code over Z_189, arXiv:quant-ph/0502086), n = 17..200, weight <= 8. Distance ladder: 300-trial Pauli-weight RIS screen, then 2 x 20,000 trials on fresh seeds (held). Novelty unknown: not checked against codetables.de; the dedup gate found no exact, WL-equivalent or Hadamard-image board entry. Genuinely non-CSS: a and b overlap, so every generator carries Y.",
  "references": [
   "arXiv:quant-ph/0502086"
  ],
  "novelty": "unknown"
 },
 "family": "other"
}