{
 "schema_version": "0.4",
 "name": "[[216,4,10]]",
 "code_type": "stabilizer",
 "n": 216,
 "k": 4,
 "checks": {
  "S": [
   {
    "X": [
     0,
     13,
     108,
     117,
     120
    ],
    "Z": [
     0,
     13,
     108,
     120
    ]
   },
   {
    "X": [
     1,
     14,
     109,
     118,
     121
    ],
    "Z": [
     1,
     14,
     109,
     121
    ]
   },
   {
    "X": [
     2,
     15,
     110,
     119,
     122
    ],
    "Z": [
     2,
     15,
     110,
     122
    ]
   },
   {
    "X": [
     3,
     16,
     111,
     114,
     123
    ],
    "Z": [
     3,
     16,
     111,
     123
    ]
   },
   {
    "X": [
     4,
     17,
     112,
     115,
     124
    ],
    "Z": [
     4,
     17,
     112,
     124
    ]
   },
   {
    "X": [
     5,
     12,
     113,
     116,
     125
    ],
    "Z": [
     5,
     12,
     113,
     125
    ]
   },
   {
    "X": [
     6,
     19,
     114,
     123,
     126
    ],
    "Z": [
     6,
     19,
     114,
     126
    ]
   },
   {
    "X": [
     7,
     20,
     115,
     124,
     127
    ],
    "Z": [
     7,
     20,
     115,
     127
    ]
   },
   {
    "X": [
     8,
     21,
     116,
     125,
     128
    ],
    "Z": [
     8,
     21,
     116,
     128
    ]
   },
   {
    "X": [
     9,
     22,
     117,
     120,
     129
    ],
    "Z": [
     9,
     22,
     117,
     129
    ]
   },
   {
    "X": [
     10,
     23,
     118,
     121,
     130
    ],
    "Z": [
     10,
     23,
     118,
     130
    ]
   },
   {
    "X": [
     11,
     18,
     119,
     122,
     131
    ],
    "Z": [
     11,
     18,
     119,
     131
    ]
   },
   {
    "X": [
     12,
     25,
     120,
     129,
     132
    ],
    "Z": [
     12,
     25,
     120,
     132
    ]
   },
   {
    "X": [
     13,
     26,
     121,
     130,
     133
    ],
    "Z": [
     13,
     26,
     121,
     133
    ]
   },
   {
    "X": [
     14,
     27,
     122,
     131,
     134
    ],
    "Z": [
     14,
     27,
     122,
     134
    ]
   },
   {
    "X": [
     15,
     28,
     123,
     126,
     135
    ],
    "Z": [
     15,
     28,
     123,
     135
    ]
   },
   {
    "X": [
     16,
     29,
     124,
     127,
     136
    ],
    "Z": [
     16,
     29,
     124,
     136
    ]
   },
   {
    "X": [
     17,
     24,
     125,
     128,
     137
    ],
    "Z": [
     17,
     24,
     125,
     137
    ]
   },
   {
    "X": [
     18,
     31,
     126,
     135,
     138
    ],
    "Z": [
     18,
     31,
     126,
     138
    ]
   },
   {
    "X": [
     19,
     32,
     127,
     136,
     139
    ],
    "Z": [
     19,
     32,
     127,
     139
    ]
   },
   {
    "X": [
     20,
     33,
     128,
     137,
     140
    ],
    "Z": [
     20,
     33,
     128,
     140
    ]
   },
   {
    "X": [
     21,
     34,
     129,
     132,
     141
    ],
    "Z": [
     21,
     34,
     129,
     141
    ]
   },
   {
    "X": [
     22,
     35,
     130,
     133,
     142
    ],
    "Z": [
     22,
     35,
     130,
     142
    ]
   },
   {
    "X": [
     23,
     30,
     131,
     134,
     143
    ],
    "Z": [
     23,
     30,
     131,
     143
    ]
   },
   {
    "X": [
     24,
     37,
     132,
     141,
     144
    ],
    "Z": [
     24,
     37,
     132,
     144
    ]
   },
   {
    "X": [
     25,
     38,
     133,
     142,
     145
    ],
    "Z": [
     25,
     38,
     133,
     145
    ]
   },
   {
    "X": [
     26,
     39,
     134,
     143,
     146
    ],
    "Z": [
     26,
     39,
     134,
     146
    ]
   },
   {
    "X": [
     27,
     40,
     135,
     138,
     147
    ],
    "Z": [
     27,
     40,
     135,
     147
    ]
   },
   {
    "X": [
     28,
     41,
     136,
     139,
     148
    ],
    "Z": [
     28,
     41,
     136,
     148
    ]
   },
   {
    "X": [
     29,
     36,
     137,
     140,
     149
    ],
    "Z": [
     29,
     36,
     137,
     149
    ]
   },
   {
    "X": [
     30,
     43,
     138,
     147,
     150
    ],
    "Z": [
     30,
     43,
     138,
     150
    ]
   },
   {
    "X": [
     31,
     44,
     139,
     148,
     151
    ],
    "Z": [
     31,
     44,
     139,
     151
    ]
   },
   {
    "X": [
     32,
     45,
     140,
     149,
     152
    ],
    "Z": [
     32,
     45,
     140,
     152
    ]
   },
   {
    "X": [
     33,
     46,
     141,
     144,
     153
    ],
    "Z": [
     33,
     46,
     141,
     153
    ]
   },
   {
    "X": [
     34,
     47,
     142,
     145,
     154
    ],
    "Z": [
     34,
     47,
     142,
     154
    ]
   },
   {
    "X": [
     35,
     42,
     143,
     146,
     155
    ],
    "Z": [
     35,
     42,
     143,
     155
    ]
   },
   {
    "X": [
     36,
     49,
     144,
     153,
     156
    ],
    "Z": [
     36,
     49,
     144,
     156
    ]
   },
   {
    "X": [
     37,
     50,
     145,
     154,
     157
    ],
    "Z": [
     37,
     50,
     145,
     157
    ]
   },
   {
    "X": [
     38,
     51,
     146,
     155,
     158
    ],
    "Z": [
     38,
     51,
     146,
     158
    ]
   },
   {
    "X": [
     39,
     52,
     147,
     150,
     159
    ],
    "Z": [
     39,
     52,
     147,
     159
    ]
   },
   {
    "X": [
     40,
     53,
     148,
     151,
     160
    ],
    "Z": [
     40,
     53,
     148,
     160
    ]
   },
   {
    "X": [
     41,
     48,
     149,
     152,
     161
    ],
    "Z": [
     41,
     48,
     149,
     161
    ]
   },
   {
    "X": [
     42,
     55,
     150,
     159,
     162
    ],
    "Z": [
     42,
     55,
     150,
     162
    ]
   },
   {
    "X": [
     43,
     56,
     151,
     160,
     163
    ],
    "Z": [
     43,
     56,
     151,
     163
    ]
   },
   {
    "X": [
     44,
     57,
     152,
     161,
     164
    ],
    "Z": [
     44,
     57,
     152,
     164
    ]
   },
   {
    "X": [
     45,
     58,
     153,
     156,
     165
    ],
    "Z": [
     45,
     58,
     153,
     165
    ]
   },
   {
    "X": [
     46,
     59,
     154,
     157,
     166
    ],
    "Z": [
     46,
     59,
     154,
     166
    ]
   },
   {
    "X": [
     47,
     54,
     155,
     158,
     167
    ],
    "Z": [
     47,
     54,
     155,
     167
    ]
   },
   {
    "X": [
     48,
     61,
     156,
     165,
     168
    ],
    "Z": [
     48,
     61,
     156,
     168
    ]
   },
   {
    "X": [
     49,
     62,
     157,
     166,
     169
    ],
    "Z": [
     49,
     62,
     157,
     169
    ]
   },
   {
    "X": [
     50,
     63,
     158,
     167,
     170
    ],
    "Z": [
     50,
     63,
     158,
     170
    ]
   },
   {
    "X": [
     51,
     64,
     159,
     162,
     171
    ],
    "Z": [
     51,
     64,
     159,
     171
    ]
   },
   {
    "X": [
     52,
     65,
     160,
     163,
     172
    ],
    "Z": [
     52,
     65,
     160,
     172
    ]
   },
   {
    "X": [
     53,
     60,
     161,
     164,
     173
    ],
    "Z": [
     53,
     60,
     161,
     173
    ]
   },
   {
    "X": [
     54,
     67,
     162,
     171,
     174
    ],
    "Z": [
     54,
     67,
     162,
     174
    ]
   },
   {
    "X": [
     55,
     68,
     163,
     172,
     175
    ],
    "Z": [
     55,
     68,
     163,
     175
    ]
   },
   {
    "X": [
     56,
     69,
     164,
     173,
     176
    ],
    "Z": [
     56,
     69,
     164,
     176
    ]
   },
   {
    "X": [
     57,
     70,
     165,
     168,
     177
    ],
    "Z": [
     57,
     70,
     165,
     177
    ]
   },
   {
    "X": [
     58,
     71,
     166,
     169,
     178
    ],
    "Z": [
     58,
     71,
     166,
     178
    ]
   },
   {
    "X": [
     59,
     66,
     167,
     170,
     179
    ],
    "Z": [
     59,
     66,
     167,
     179
    ]
   },
   {
    "X": [
     60,
     73,
     168,
     177,
     180
    ],
    "Z": [
     60,
     73,
     168,
     180
    ]
   },
   {
    "X": [
     61,
     74,
     169,
     178,
     181
    ],
    "Z": [
     61,
     74,
     169,
     181
    ]
   },
   {
    "X": [
     62,
     75,
     170,
     179,
     182
    ],
    "Z": [
     62,
     75,
     170,
     182
    ]
   },
   {
    "X": [
     63,
     76,
     171,
     174,
     183
    ],
    "Z": [
     63,
     76,
     171,
     183
    ]
   },
   {
    "X": [
     64,
     77,
     172,
     175,
     184
    ],
    "Z": [
     64,
     77,
     172,
     184
    ]
   },
   {
    "X": [
     65,
     72,
     173,
     176,
     185
    ],
    "Z": [
     65,
     72,
     173,
     185
    ]
   },
   {
    "X": [
     66,
     79,
     174,
     183,
     186
    ],
    "Z": [
     66,
     79,
     174,
     186
    ]
   },
   {
    "X": [
     67,
     80,
     175,
     184,
     187
    ],
    "Z": [
     67,
     80,
     175,
     187
    ]
   },
   {
    "X": [
     68,
     81,
     176,
     185,
     188
    ],
    "Z": [
     68,
     81,
     176,
     188
    ]
   },
   {
    "X": [
     69,
     82,
     177,
     180,
     189
    ],
    "Z": [
     69,
     82,
     177,
     189
    ]
   },
   {
    "X": [
     70,
     83,
     178,
     181,
     190
    ],
    "Z": [
     70,
     83,
     178,
     190
    ]
   },
   {
    "X": [
     71,
     78,
     179,
     182,
     191
    ],
    "Z": [
     71,
     78,
     179,
     191
    ]
   },
   {
    "X": [
     72,
     85,
     180,
     189,
     192
    ],
    "Z": [
     72,
     85,
     180,
     192
    ]
   },
   {
    "X": [
     73,
     86,
     181,
     190,
     193
    ],
    "Z": [
     73,
     86,
     181,
     193
    ]
   },
   {
    "X": [
     74,
     87,
     182,
     191,
     194
    ],
    "Z": [
     74,
     87,
     182,
     194
    ]
   },
   {
    "X": [
     75,
     88,
     183,
     186,
     195
    ],
    "Z": [
     75,
     88,
     183,
     195
    ]
   },
   {
    "X": [
     76,
     89,
     184,
     187,
     196
    ],
    "Z": [
     76,
     89,
     184,
     196
    ]
   },
   {
    "X": [
     77,
     84,
     185,
     188,
     197
    ],
    "Z": [
     77,
     84,
     185,
     197
    ]
   },
   {
    "X": [
     78,
     91,
     186,
     195,
     198
    ],
    "Z": [
     78,
     91,
     186,
     198
    ]
   },
   {
    "X": [
     79,
     92,
     187,
     196,
     199
    ],
    "Z": [
     79,
     92,
     187,
     199
    ]
   },
   {
    "X": [
     80,
     93,
     188,
     197,
     200
    ],
    "Z": [
     80,
     93,
     188,
     200
    ]
   },
   {
    "X": [
     81,
     94,
     189,
     192,
     201
    ],
    "Z": [
     81,
     94,
     189,
     201
    ]
   },
   {
    "X": [
     82,
     95,
     190,
     193,
     202
    ],
    "Z": [
     82,
     95,
     190,
     202
    ]
   },
   {
    "X": [
     83,
     90,
     191,
     194,
     203
    ],
    "Z": [
     83,
     90,
     191,
     203
    ]
   },
   {
    "X": [
     84,
     97,
     192,
     201,
     204
    ],
    "Z": [
     84,
     97,
     192,
     204
    ]
   },
   {
    "X": [
     85,
     98,
     193,
     202,
     205
    ],
    "Z": [
     85,
     98,
     193,
     205
    ]
   },
   {
    "X": [
     86,
     99,
     194,
     203,
     206
    ],
    "Z": [
     86,
     99,
     194,
     206
    ]
   },
   {
    "X": [
     87,
     100,
     195,
     198,
     207
    ],
    "Z": [
     87,
     100,
     195,
     207
    ]
   },
   {
    "X": [
     88,
     101,
     196,
     199,
     208
    ],
    "Z": [
     88,
     101,
     196,
     208
    ]
   },
   {
    "X": [
     89,
     96,
     197,
     200,
     209
    ],
    "Z": [
     89,
     96,
     197,
     209
    ]
   },
   {
    "X": [
     90,
     103,
     198,
     207,
     210
    ],
    "Z": [
     90,
     103,
     198,
     210
    ]
   },
   {
    "X": [
     91,
     104,
     199,
     208,
     211
    ],
    "Z": [
     91,
     104,
     199,
     211
    ]
   },
   {
    "X": [
     92,
     105,
     200,
     209,
     212
    ],
    "Z": [
     92,
     105,
     200,
     212
    ]
   },
   {
    "X": [
     93,
     106,
     201,
     204,
     213
    ],
    "Z": [
     93,
     106,
     201,
     213
    ]
   },
   {
    "X": [
     94,
     107,
     202,
     205,
     214
    ],
    "Z": [
     94,
     107,
     202,
     214
    ]
   },
   {
    "X": [
     95,
     102,
     203,
     206,
     215
    ],
    "Z": [
     95,
     102,
     203,
     215
    ]
   },
   {
    "X": [
     1,
     96,
     108,
     204,
     213
    ],
    "Z": [
     1,
     96,
     108,
     204
    ]
   },
   {
    "X": [
     2,
     97,
     109,
     205,
     214
    ],
    "Z": [
     2,
     97,
     109,
     205
    ]
   },
   {
    "X": [
     3,
     98,
     110,
     206,
     215
    ],
    "Z": [
     3,
     98,
     110,
     206
    ]
   },
   {
    "X": [
     4,
     99,
     111,
     207,
     210
    ],
    "Z": [
     4,
     99,
     111,
     207
    ]
   },
   {
    "X": [
     5,
     100,
     112,
     208,
     211
    ],
    "Z": [
     5,
     100,
     112,
     208
    ]
   },
   {
    "X": [
     0,
     101,
     113,
     209,
     212
    ],
    "Z": [
     0,
     101,
     113,
     209
    ]
   },
   {
    "X": [
     7,
     102,
     111,
     114,
     210
    ],
    "Z": [
     7,
     102,
     114,
     210
    ]
   },
   {
    "X": [
     8,
     103,
     112,
     115,
     211
    ],
    "Z": [
     8,
     103,
     115,
     211
    ]
   },
   {
    "X": [
     9,
     104,
     113,
     116,
     212
    ],
    "Z": [
     9,
     104,
     116,
     212
    ]
   },
   {
    "X": [
     10,
     105,
     108,
     117,
     213
    ],
    "Z": [
     10,
     105,
     117,
     213
    ]
   },
   {
    "X": [
     11,
     106,
     109,
     118,
     214
    ],
    "Z": [
     11,
     106,
     118,
     214
    ]
   },
   {
    "X": [
     6,
     107,
     110,
     119,
     215
    ],
    "Z": [
     6,
     107,
     119,
     215
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     96,
     105,
     108,
     209
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     97,
     106,
     109,
     204
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     98,
     107,
     110,
     205
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     99,
     102,
     111,
     206
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     100,
     103,
     112,
     207
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     101,
     104,
     113,
     208
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     6,
     102,
     114,
     215
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     7,
     103,
     115,
     210
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     8,
     104,
     116,
     211
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     9,
     105,
     117,
     212
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     10,
     106,
     118,
     213
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     11,
     107,
     119,
     214
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     9,
     12,
     113,
     120
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     10,
     13,
     108,
     121
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     11,
     14,
     109,
     122
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     6,
     15,
     110,
     123
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     7,
     16,
     111,
     124
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     8,
     17,
     112,
     125
    ]
   },
   {
    "X": [],
    "Z": [
     6,
     15,
     18,
     119,
     126
    ]
   },
   {
    "X": [],
    "Z": [
     7,
     16,
     19,
     114,
     127
    ]
   },
   {
    "X": [],
    "Z": [
     8,
     17,
     20,
     115,
     128
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     12,
     21,
     116,
     129
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     13,
     22,
     117,
     130
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     14,
     23,
     118,
     131
    ]
   },
   {
    "X": [],
    "Z": [
     12,
     21,
     24,
     125,
     132
    ]
   },
   {
    "X": [],
    "Z": [
     13,
     22,
     25,
     120,
     133
    ]
   },
   {
    "X": [],
    "Z": [
     14,
     23,
     26,
     121,
     134
    ]
   },
   {
    "X": [],
    "Z": [
     15,
     18,
     27,
     122,
     135
    ]
   },
   {
    "X": [],
    "Z": [
     16,
     19,
     28,
     123,
     136
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     20,
     29,
     124,
     137
    ]
   },
   {
    "X": [],
    "Z": [
     18,
     27,
     30,
     131,
     138
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     28,
     31,
     126,
     139
    ]
   },
   {
    "X": [],
    "Z": [
     20,
     29,
     32,
     127,
     140
    ]
   },
   {
    "X": [],
    "Z": [
     21,
     24,
     33,
     128,
     141
    ]
   },
   {
    "X": [],
    "Z": [
     22,
     25,
     34,
     129,
     142
    ]
   },
   {
    "X": [],
    "Z": [
     23,
     26,
     35,
     130,
     143
    ]
   },
   {
    "X": [],
    "Z": [
     24,
     33,
     36,
     137,
     144
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     34,
     37,
     132,
     145
    ]
   },
   {
    "X": [],
    "Z": [
     26,
     35,
     38,
     133,
     146
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     30,
     39,
     134,
     147
    ]
   },
   {
    "X": [],
    "Z": [
     28,
     31,
     40,
     135,
     148
    ]
   },
   {
    "X": [],
    "Z": [
     29,
     32,
     41,
     136,
     149
    ]
   },
   {
    "X": [],
    "Z": [
     30,
     39,
     42,
     143,
     150
    ]
   },
   {
    "X": [],
    "Z": [
     31,
     40,
     43,
     138,
     151
    ]
   },
   {
    "X": [],
    "Z": [
     32,
     41,
     44,
     139,
     152
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     36,
     45,
     140,
     153
    ]
   },
   {
    "X": [],
    "Z": [
     34,
     37,
     46,
     141,
     154
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     38,
     47,
     142,
     155
    ]
   },
   {
    "X": [],
    "Z": [
     36,
     45,
     48,
     149,
     156
    ]
   },
   {
    "X": [],
    "Z": [
     37,
     46,
     49,
     144,
     157
    ]
   },
   {
    "X": [],
    "Z": [
     38,
     47,
     50,
     145,
     158
    ]
   },
   {
    "X": [],
    "Z": [
     39,
     42,
     51,
     146,
     159
    ]
   },
   {
    "X": [],
    "Z": [
     40,
     43,
     52,
     147,
     160
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     44,
     53,
     148,
     161
    ]
   },
   {
    "X": [],
    "Z": [
     42,
     51,
     54,
     155,
     162
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     52,
     55,
     150,
     163
    ]
   },
   {
    "X": [],
    "Z": [
     44,
     53,
     56,
     151,
     164
    ]
   },
   {
    "X": [],
    "Z": [
     45,
     48,
     57,
     152,
     165
    ]
   },
   {
    "X": [],
    "Z": [
     46,
     49,
     58,
     153,
     166
    ]
   },
   {
    "X": [],
    "Z": [
     47,
     50,
     59,
     154,
     167
    ]
   },
   {
    "X": [],
    "Z": [
     48,
     57,
     60,
     161,
     168
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     58,
     61,
     156,
     169
    ]
   },
   {
    "X": [],
    "Z": [
     50,
     59,
     62,
     157,
     170
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     54,
     63,
     158,
     171
    ]
   },
   {
    "X": [],
    "Z": [
     52,
     55,
     64,
     159,
     172
    ]
   },
   {
    "X": [],
    "Z": [
     53,
     56,
     65,
     160,
     173
    ]
   },
   {
    "X": [],
    "Z": [
     54,
     63,
     66,
     167,
     174
    ]
   },
   {
    "X": [],
    "Z": [
     55,
     64,
     67,
     162,
     175
    ]
   },
   {
    "X": [],
    "Z": [
     56,
     65,
     68,
     163,
     176
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     60,
     69,
     164,
     177
    ]
   },
   {
    "X": [],
    "Z": [
     58,
     61,
     70,
     165,
     178
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     62,
     71,
     166,
     179
    ]
   },
   {
    "X": [],
    "Z": [
     60,
     69,
     72,
     173,
     180
    ]
   },
   {
    "X": [],
    "Z": [
     61,
     70,
     73,
     168,
     181
    ]
   },
   {
    "X": [],
    "Z": [
     62,
     71,
     74,
     169,
     182
    ]
   },
   {
    "X": [],
    "Z": [
     63,
     66,
     75,
     170,
     183
    ]
   },
   {
    "X": [],
    "Z": [
     64,
     67,
     76,
     171,
     184
    ]
   },
   {
    "X": [],
    "Z": [
     65,
     68,
     77,
     172,
     185
    ]
   },
   {
    "X": [],
    "Z": [
     66,
     75,
     78,
     179,
     186
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     76,
     79,
     174,
     187
    ]
   },
   {
    "X": [],
    "Z": [
     68,
     77,
     80,
     175,
     188
    ]
   },
   {
    "X": [],
    "Z": [
     69,
     72,
     81,
     176,
     189
    ]
   },
   {
    "X": [],
    "Z": [
     70,
     73,
     82,
     177,
     190
    ]
   },
   {
    "X": [],
    "Z": [
     71,
     74,
     83,
     178,
     191
    ]
   },
   {
    "X": [],
    "Z": [
     72,
     81,
     84,
     185,
     192
    ]
   },
   {
    "X": [],
    "Z": [
     73,
     82,
     85,
     180,
     193
    ]
   },
   {
    "X": [],
    "Z": [
     74,
     83,
     86,
     181,
     194
    ]
   },
   {
    "X": [],
    "Z": [
     75,
     78,
     87,
     182,
     195
    ]
   },
   {
    "X": [],
    "Z": [
     76,
     79,
     88,
     183,
     196
    ]
   },
   {
    "X": [],
    "Z": [
     77,
     80,
     89,
     184,
     197
    ]
   },
   {
    "X": [],
    "Z": [
     78,
     87,
     90,
     191,
     198
    ]
   },
   {
    "X": [],
    "Z": [
     79,
     88,
     91,
     186,
     199
    ]
   },
   {
    "X": [],
    "Z": [
     80,
     89,
     92,
     187,
     200
    ]
   },
   {
    "X": [],
    "Z": [
     81,
     84,
     93,
     188,
     201
    ]
   },
   {
    "X": [],
    "Z": [
     82,
     85,
     94,
     189,
     202
    ]
   },
   {
    "X": [],
    "Z": [
     83,
     86,
     95,
     190,
     203
    ]
   },
   {
    "X": [],
    "Z": [
     84,
     93,
     96,
     197,
     204
    ]
   },
   {
    "X": [],
    "Z": [
     85,
     94,
     97,
     192,
     205
    ]
   },
   {
    "X": [],
    "Z": [
     86,
     95,
     98,
     193,
     206
    ]
   },
   {
    "X": [],
    "Z": [
     87,
     90,
     99,
     194,
     207
    ]
   },
   {
    "X": [],
    "Z": [
     88,
     91,
     100,
     195,
     208
    ]
   },
   {
    "X": [],
    "Z": [
     89,
     92,
     101,
     196,
     209
    ]
   },
   {
    "X": [],
    "Z": [
     90,
     99,
     102,
     203,
     210
    ]
   },
   {
    "X": [],
    "Z": [
     91,
     100,
     103,
     198,
     211
    ]
   },
   {
    "X": [],
    "Z": [
     92,
     101,
     104,
     199,
     212
    ]
   },
   {
    "X": [],
    "Z": [
     93,
     96,
     105,
     200,
     213
    ]
   },
   {
    "X": [],
    "Z": [
     94,
     97,
     106,
     201,
     214
    ]
   },
   {
    "X": [],
    "Z": [
     95,
     98,
     107,
     202,
     215
    ]
   }
  ]
 },
 "distance": {
  "d": 10,
  "P": {
   "value": 10,
   "confidence": "upper_bound",
   "witness": {
    "X": [],
    "Z": [
     42,
     55,
     68,
     81,
     94,
     107,
     119,
     122,
     134,
     143
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@cbjuan"
  ],
  "construction": "Perturbed bivariate bicycle (PBB) code: ell=18, m=6 cyclic group ring F2[x,y]/(x^18-1,y^6-1); A=1+x^2y, B=1+xy^3+x^2, C-perturbation=1+x^2y, D-perturbation=1+x^2 (0-indexed exponent pairs: A=[[0,0],[2,1]], B=[[0,0],[1,3],[2,0]], C=[[0,0],[2,1]], D=[[0,0],[2,0]]); stabilizer matrix H=(A B | C D; 0 0 | B^T A^T) per the paper's PBB convention; this project's own flagship exact non-CSS PBB result (arXiv:2610.06623)",
  "origin": "submission",
  "date": "2026-10-07",
  "model": "Claude Opus 5, GPT-5.6 Sol",
  "references": [
   "arXiv:2610.06623"
  ],
  "notes": "First published in arXiv:2610.06623 (the headline non-CSS PBB result therein; match W5PBB-216-4-10-36c5ce3b). Checked for duplication against the current board: no existing entry (CSS or stabilizer) at this [[n,k,d]]. A second, non-isomorphic PBB construction at the same point exists in the source campaign (match W5PBB-216-4-10-ae4cc6ad vs. this one's 36c5ce3b) and is not separately filed since both occupy the same point in this board's Pareto space."
 },
 "family": "bivariate-bicycle"
}