{
 "schema_version": "0.4",
 "name": "[[360,4,12]]",
 "code_type": "stabilizer",
 "n": 360,
 "k": 4,
 "checks": {
  "S": [
   {
    "X": [
     0,
     49,
     180,
     198,
     204
    ],
    "Z": [
     180,
     204
    ]
   },
   {
    "X": [
     1,
     50,
     181,
     199,
     205
    ],
    "Z": [
     181,
     205
    ]
   },
   {
    "X": [
     2,
     51,
     182,
     200,
     206
    ],
    "Z": [
     182,
     206
    ]
   },
   {
    "X": [
     3,
     52,
     183,
     201,
     207
    ],
    "Z": [
     183,
     207
    ]
   },
   {
    "X": [
     4,
     53,
     184,
     202,
     208
    ],
    "Z": [
     184,
     208
    ]
   },
   {
    "X": [
     5,
     54,
     185,
     203,
     209
    ],
    "Z": [
     185,
     209
    ]
   },
   {
    "X": [
     6,
     55,
     186,
     192,
     210
    ],
    "Z": [
     186,
     210
    ]
   },
   {
    "X": [
     7,
     56,
     187,
     193,
     211
    ],
    "Z": [
     187,
     211
    ]
   },
   {
    "X": [
     8,
     57,
     188,
     194,
     212
    ],
    "Z": [
     188,
     212
    ]
   },
   {
    "X": [
     9,
     58,
     189,
     195,
     213
    ],
    "Z": [
     189,
     213
    ]
   },
   {
    "X": [
     10,
     59,
     190,
     196,
     214
    ],
    "Z": [
     190,
     214
    ]
   },
   {
    "X": [
     11,
     48,
     191,
     197,
     215
    ],
    "Z": [
     191,
     215
    ]
   },
   {
    "X": [
     12,
     61,
     192,
     210,
     216
    ],
    "Z": [
     192,
     216
    ]
   },
   {
    "X": [
     13,
     62,
     193,
     211,
     217
    ],
    "Z": [
     193,
     217
    ]
   },
   {
    "X": [
     14,
     63,
     194,
     212,
     218
    ],
    "Z": [
     194,
     218
    ]
   },
   {
    "X": [
     15,
     64,
     195,
     213,
     219
    ],
    "Z": [
     195,
     219
    ]
   },
   {
    "X": [
     16,
     65,
     196,
     214,
     220
    ],
    "Z": [
     196,
     220
    ]
   },
   {
    "X": [
     17,
     66,
     197,
     215,
     221
    ],
    "Z": [
     197,
     221
    ]
   },
   {
    "X": [
     18,
     67,
     198,
     204,
     222
    ],
    "Z": [
     198,
     222
    ]
   },
   {
    "X": [
     19,
     68,
     199,
     205,
     223
    ],
    "Z": [
     199,
     223
    ]
   },
   {
    "X": [
     20,
     69,
     200,
     206,
     224
    ],
    "Z": [
     200,
     224
    ]
   },
   {
    "X": [
     21,
     70,
     201,
     207,
     225
    ],
    "Z": [
     201,
     225
    ]
   },
   {
    "X": [
     22,
     71,
     202,
     208,
     226
    ],
    "Z": [
     202,
     226
    ]
   },
   {
    "X": [
     23,
     60,
     203,
     209,
     227
    ],
    "Z": [
     203,
     227
    ]
   },
   {
    "X": [
     24,
     73,
     204,
     222,
     228
    ],
    "Z": [
     204,
     228
    ]
   },
   {
    "X": [
     25,
     74,
     205,
     223,
     229
    ],
    "Z": [
     205,
     229
    ]
   },
   {
    "X": [
     26,
     75,
     206,
     224,
     230
    ],
    "Z": [
     206,
     230
    ]
   },
   {
    "X": [
     27,
     76,
     207,
     225,
     231
    ],
    "Z": [
     207,
     231
    ]
   },
   {
    "X": [
     28,
     77,
     208,
     226,
     232
    ],
    "Z": [
     208,
     232
    ]
   },
   {
    "X": [
     29,
     78,
     209,
     227,
     233
    ],
    "Z": [
     209,
     233
    ]
   },
   {
    "X": [
     30,
     79,
     210,
     216,
     234
    ],
    "Z": [
     210,
     234
    ]
   },
   {
    "X": [
     31,
     80,
     211,
     217,
     235
    ],
    "Z": [
     211,
     235
    ]
   },
   {
    "X": [
     32,
     81,
     212,
     218,
     236
    ],
    "Z": [
     212,
     236
    ]
   },
   {
    "X": [
     33,
     82,
     213,
     219,
     237
    ],
    "Z": [
     213,
     237
    ]
   },
   {
    "X": [
     34,
     83,
     214,
     220,
     238
    ],
    "Z": [
     214,
     238
    ]
   },
   {
    "X": [
     35,
     72,
     215,
     221,
     239
    ],
    "Z": [
     215,
     239
    ]
   },
   {
    "X": [
     36,
     85,
     216,
     234,
     240
    ],
    "Z": [
     216,
     240
    ]
   },
   {
    "X": [
     37,
     86,
     217,
     235,
     241
    ],
    "Z": [
     217,
     241
    ]
   },
   {
    "X": [
     38,
     87,
     218,
     236,
     242
    ],
    "Z": [
     218,
     242
    ]
   },
   {
    "X": [
     39,
     88,
     219,
     237,
     243
    ],
    "Z": [
     219,
     243
    ]
   },
   {
    "X": [
     40,
     89,
     220,
     238,
     244
    ],
    "Z": [
     220,
     244
    ]
   },
   {
    "X": [
     41,
     90,
     221,
     239,
     245
    ],
    "Z": [
     221,
     245
    ]
   },
   {
    "X": [
     42,
     91,
     222,
     228,
     246
    ],
    "Z": [
     222,
     246
    ]
   },
   {
    "X": [
     43,
     92,
     223,
     229,
     247
    ],
    "Z": [
     223,
     247
    ]
   },
   {
    "X": [
     44,
     93,
     224,
     230,
     248
    ],
    "Z": [
     224,
     248
    ]
   },
   {
    "X": [
     45,
     94,
     225,
     231,
     249
    ],
    "Z": [
     225,
     249
    ]
   },
   {
    "X": [
     46,
     95,
     226,
     232,
     250
    ],
    "Z": [
     226,
     250
    ]
   },
   {
    "X": [
     47,
     84,
     227,
     233,
     251
    ],
    "Z": [
     227,
     251
    ]
   },
   {
    "X": [
     48,
     97,
     228,
     246,
     252
    ],
    "Z": [
     228,
     252
    ]
   },
   {
    "X": [
     49,
     98,
     229,
     247,
     253
    ],
    "Z": [
     229,
     253
    ]
   },
   {
    "X": [
     50,
     99,
     230,
     248,
     254
    ],
    "Z": [
     230,
     254
    ]
   },
   {
    "X": [
     51,
     100,
     231,
     249,
     255
    ],
    "Z": [
     231,
     255
    ]
   },
   {
    "X": [
     52,
     101,
     232,
     250,
     256
    ],
    "Z": [
     232,
     256
    ]
   },
   {
    "X": [
     53,
     102,
     233,
     251,
     257
    ],
    "Z": [
     233,
     257
    ]
   },
   {
    "X": [
     54,
     103,
     234,
     240,
     258
    ],
    "Z": [
     234,
     258
    ]
   },
   {
    "X": [
     55,
     104,
     235,
     241,
     259
    ],
    "Z": [
     235,
     259
    ]
   },
   {
    "X": [
     56,
     105,
     236,
     242,
     260
    ],
    "Z": [
     236,
     260
    ]
   },
   {
    "X": [
     57,
     106,
     237,
     243,
     261
    ],
    "Z": [
     237,
     261
    ]
   },
   {
    "X": [
     58,
     107,
     238,
     244,
     262
    ],
    "Z": [
     238,
     262
    ]
   },
   {
    "X": [
     59,
     96,
     239,
     245,
     263
    ],
    "Z": [
     239,
     263
    ]
   },
   {
    "X": [
     60,
     109,
     240,
     258,
     264
    ],
    "Z": [
     240,
     264
    ]
   },
   {
    "X": [
     61,
     110,
     241,
     259,
     265
    ],
    "Z": [
     241,
     265
    ]
   },
   {
    "X": [
     62,
     111,
     242,
     260,
     266
    ],
    "Z": [
     242,
     266
    ]
   },
   {
    "X": [
     63,
     112,
     243,
     261,
     267
    ],
    "Z": [
     243,
     267
    ]
   },
   {
    "X": [
     64,
     113,
     244,
     262,
     268
    ],
    "Z": [
     244,
     268
    ]
   },
   {
    "X": [
     65,
     114,
     245,
     263,
     269
    ],
    "Z": [
     245,
     269
    ]
   },
   {
    "X": [
     66,
     115,
     246,
     252,
     270
    ],
    "Z": [
     246,
     270
    ]
   },
   {
    "X": [
     67,
     116,
     247,
     253,
     271
    ],
    "Z": [
     247,
     271
    ]
   },
   {
    "X": [
     68,
     117,
     248,
     254,
     272
    ],
    "Z": [
     248,
     272
    ]
   },
   {
    "X": [
     69,
     118,
     249,
     255,
     273
    ],
    "Z": [
     249,
     273
    ]
   },
   {
    "X": [
     70,
     119,
     250,
     256,
     274
    ],
    "Z": [
     250,
     274
    ]
   },
   {
    "X": [
     71,
     108,
     251,
     257,
     275
    ],
    "Z": [
     251,
     275
    ]
   },
   {
    "X": [
     72,
     121,
     252,
     270,
     276
    ],
    "Z": [
     252,
     276
    ]
   },
   {
    "X": [
     73,
     122,
     253,
     271,
     277
    ],
    "Z": [
     253,
     277
    ]
   },
   {
    "X": [
     74,
     123,
     254,
     272,
     278
    ],
    "Z": [
     254,
     278
    ]
   },
   {
    "X": [
     75,
     124,
     255,
     273,
     279
    ],
    "Z": [
     255,
     279
    ]
   },
   {
    "X": [
     76,
     125,
     256,
     274,
     280
    ],
    "Z": [
     256,
     280
    ]
   },
   {
    "X": [
     77,
     126,
     257,
     275,
     281
    ],
    "Z": [
     257,
     281
    ]
   },
   {
    "X": [
     78,
     127,
     258,
     264,
     282
    ],
    "Z": [
     258,
     282
    ]
   },
   {
    "X": [
     79,
     128,
     259,
     265,
     283
    ],
    "Z": [
     259,
     283
    ]
   },
   {
    "X": [
     80,
     129,
     260,
     266,
     284
    ],
    "Z": [
     260,
     284
    ]
   },
   {
    "X": [
     81,
     130,
     261,
     267,
     285
    ],
    "Z": [
     261,
     285
    ]
   },
   {
    "X": [
     82,
     131,
     262,
     268,
     286
    ],
    "Z": [
     262,
     286
    ]
   },
   {
    "X": [
     83,
     120,
     263,
     269,
     287
    ],
    "Z": [
     263,
     287
    ]
   },
   {
    "X": [
     84,
     133,
     264,
     282,
     288
    ],
    "Z": [
     264,
     288
    ]
   },
   {
    "X": [
     85,
     134,
     265,
     283,
     289
    ],
    "Z": [
     265,
     289
    ]
   },
   {
    "X": [
     86,
     135,
     266,
     284,
     290
    ],
    "Z": [
     266,
     290
    ]
   },
   {
    "X": [
     87,
     136,
     267,
     285,
     291
    ],
    "Z": [
     267,
     291
    ]
   },
   {
    "X": [
     88,
     137,
     268,
     286,
     292
    ],
    "Z": [
     268,
     292
    ]
   },
   {
    "X": [
     89,
     138,
     269,
     287,
     293
    ],
    "Z": [
     269,
     293
    ]
   },
   {
    "X": [
     90,
     139,
     270,
     276,
     294
    ],
    "Z": [
     270,
     294
    ]
   },
   {
    "X": [
     91,
     140,
     271,
     277,
     295
    ],
    "Z": [
     271,
     295
    ]
   },
   {
    "X": [
     92,
     141,
     272,
     278,
     296
    ],
    "Z": [
     272,
     296
    ]
   },
   {
    "X": [
     93,
     142,
     273,
     279,
     297
    ],
    "Z": [
     273,
     297
    ]
   },
   {
    "X": [
     94,
     143,
     274,
     280,
     298
    ],
    "Z": [
     274,
     298
    ]
   },
   {
    "X": [
     95,
     132,
     275,
     281,
     299
    ],
    "Z": [
     275,
     299
    ]
   },
   {
    "X": [
     96,
     145,
     276,
     294,
     300
    ],
    "Z": [
     276,
     300
    ]
   },
   {
    "X": [
     97,
     146,
     277,
     295,
     301
    ],
    "Z": [
     277,
     301
    ]
   },
   {
    "X": [
     98,
     147,
     278,
     296,
     302
    ],
    "Z": [
     278,
     302
    ]
   },
   {
    "X": [
     99,
     148,
     279,
     297,
     303
    ],
    "Z": [
     279,
     303
    ]
   },
   {
    "X": [
     100,
     149,
     280,
     298,
     304
    ],
    "Z": [
     280,
     304
    ]
   },
   {
    "X": [
     101,
     150,
     281,
     299,
     305
    ],
    "Z": [
     281,
     305
    ]
   },
   {
    "X": [
     102,
     151,
     282,
     288,
     306
    ],
    "Z": [
     282,
     306
    ]
   },
   {
    "X": [
     103,
     152,
     283,
     289,
     307
    ],
    "Z": [
     283,
     307
    ]
   },
   {
    "X": [
     104,
     153,
     284,
     290,
     308
    ],
    "Z": [
     284,
     308
    ]
   },
   {
    "X": [
     105,
     154,
     285,
     291,
     309
    ],
    "Z": [
     285,
     309
    ]
   },
   {
    "X": [
     106,
     155,
     286,
     292,
     310
    ],
    "Z": [
     286,
     310
    ]
   },
   {
    "X": [
     107,
     144,
     287,
     293,
     311
    ],
    "Z": [
     287,
     311
    ]
   },
   {
    "X": [
     108,
     157,
     288,
     306,
     312
    ],
    "Z": [
     288,
     312
    ]
   },
   {
    "X": [
     109,
     158,
     289,
     307,
     313
    ],
    "Z": [
     289,
     313
    ]
   },
   {
    "X": [
     110,
     159,
     290,
     308,
     314
    ],
    "Z": [
     290,
     314
    ]
   },
   {
    "X": [
     111,
     160,
     291,
     309,
     315
    ],
    "Z": [
     291,
     315
    ]
   },
   {
    "X": [
     112,
     161,
     292,
     310,
     316
    ],
    "Z": [
     292,
     316
    ]
   },
   {
    "X": [
     113,
     162,
     293,
     311,
     317
    ],
    "Z": [
     293,
     317
    ]
   },
   {
    "X": [
     114,
     163,
     294,
     300,
     318
    ],
    "Z": [
     294,
     318
    ]
   },
   {
    "X": [
     115,
     164,
     295,
     301,
     319
    ],
    "Z": [
     295,
     319
    ]
   },
   {
    "X": [
     116,
     165,
     296,
     302,
     320
    ],
    "Z": [
     296,
     320
    ]
   },
   {
    "X": [
     117,
     166,
     297,
     303,
     321
    ],
    "Z": [
     297,
     321
    ]
   },
   {
    "X": [
     118,
     167,
     298,
     304,
     322
    ],
    "Z": [
     298,
     322
    ]
   },
   {
    "X": [
     119,
     156,
     299,
     305,
     323
    ],
    "Z": [
     299,
     323
    ]
   },
   {
    "X": [
     120,
     169,
     300,
     318,
     324
    ],
    "Z": [
     300,
     324
    ]
   },
   {
    "X": [
     121,
     170,
     301,
     319,
     325
    ],
    "Z": [
     301,
     325
    ]
   },
   {
    "X": [
     122,
     171,
     302,
     320,
     326
    ],
    "Z": [
     302,
     326
    ]
   },
   {
    "X": [
     123,
     172,
     303,
     321,
     327
    ],
    "Z": [
     303,
     327
    ]
   },
   {
    "X": [
     124,
     173,
     304,
     322,
     328
    ],
    "Z": [
     304,
     328
    ]
   },
   {
    "X": [
     125,
     174,
     305,
     323,
     329
    ],
    "Z": [
     305,
     329
    ]
   },
   {
    "X": [
     126,
     175,
     306,
     312,
     330
    ],
    "Z": [
     306,
     330
    ]
   },
   {
    "X": [
     127,
     176,
     307,
     313,
     331
    ],
    "Z": [
     307,
     331
    ]
   },
   {
    "X": [
     128,
     177,
     308,
     314,
     332
    ],
    "Z": [
     308,
     332
    ]
   },
   {
    "X": [
     129,
     178,
     309,
     315,
     333
    ],
    "Z": [
     309,
     333
    ]
   },
   {
    "X": [
     130,
     179,
     310,
     316,
     334
    ],
    "Z": [
     310,
     334
    ]
   },
   {
    "X": [
     131,
     168,
     311,
     317,
     335
    ],
    "Z": [
     311,
     335
    ]
   },
   {
    "X": [
     1,
     132,
     312,
     330,
     336
    ],
    "Z": [
     312,
     336
    ]
   },
   {
    "X": [
     2,
     133,
     313,
     331,
     337
    ],
    "Z": [
     313,
     337
    ]
   },
   {
    "X": [
     3,
     134,
     314,
     332,
     338
    ],
    "Z": [
     314,
     338
    ]
   },
   {
    "X": [
     4,
     135,
     315,
     333,
     339
    ],
    "Z": [
     315,
     339
    ]
   },
   {
    "X": [
     5,
     136,
     316,
     334,
     340
    ],
    "Z": [
     316,
     340
    ]
   },
   {
    "X": [
     6,
     137,
     317,
     335,
     341
    ],
    "Z": [
     317,
     341
    ]
   },
   {
    "X": [
     7,
     138,
     318,
     324,
     342
    ],
    "Z": [
     318,
     342
    ]
   },
   {
    "X": [
     8,
     139,
     319,
     325,
     343
    ],
    "Z": [
     319,
     343
    ]
   },
   {
    "X": [
     9,
     140,
     320,
     326,
     344
    ],
    "Z": [
     320,
     344
    ]
   },
   {
    "X": [
     10,
     141,
     321,
     327,
     345
    ],
    "Z": [
     321,
     345
    ]
   },
   {
    "X": [
     11,
     142,
     322,
     328,
     346
    ],
    "Z": [
     322,
     346
    ]
   },
   {
    "X": [
     0,
     143,
     323,
     329,
     347
    ],
    "Z": [
     323,
     347
    ]
   },
   {
    "X": [
     13,
     144,
     324,
     342,
     348
    ],
    "Z": [
     324,
     348
    ]
   },
   {
    "X": [
     14,
     145,
     325,
     343,
     349
    ],
    "Z": [
     325,
     349
    ]
   },
   {
    "X": [
     15,
     146,
     326,
     344,
     350
    ],
    "Z": [
     326,
     350
    ]
   },
   {
    "X": [
     16,
     147,
     327,
     345,
     351
    ],
    "Z": [
     327,
     351
    ]
   },
   {
    "X": [
     17,
     148,
     328,
     346,
     352
    ],
    "Z": [
     328,
     352
    ]
   },
   {
    "X": [
     18,
     149,
     329,
     347,
     353
    ],
    "Z": [
     329,
     353
    ]
   },
   {
    "X": [
     19,
     150,
     330,
     336,
     354
    ],
    "Z": [
     330,
     354
    ]
   },
   {
    "X": [
     20,
     151,
     331,
     337,
     355
    ],
    "Z": [
     331,
     355
    ]
   },
   {
    "X": [
     21,
     152,
     332,
     338,
     356
    ],
    "Z": [
     332,
     356
    ]
   },
   {
    "X": [
     22,
     153,
     333,
     339,
     357
    ],
    "Z": [
     333,
     357
    ]
   },
   {
    "X": [
     23,
     154,
     334,
     340,
     358
    ],
    "Z": [
     334,
     358
    ]
   },
   {
    "X": [
     12,
     155,
     335,
     341,
     359
    ],
    "Z": [
     335,
     359
    ]
   },
   {
    "X": [
     25,
     156,
     180,
     336,
     354
    ],
    "Z": [
     180,
     336
    ]
   },
   {
    "X": [
     26,
     157,
     181,
     337,
     355
    ],
    "Z": [
     181,
     337
    ]
   },
   {
    "X": [
     27,
     158,
     182,
     338,
     356
    ],
    "Z": [
     182,
     338
    ]
   },
   {
    "X": [
     28,
     159,
     183,
     339,
     357
    ],
    "Z": [
     183,
     339
    ]
   },
   {
    "X": [
     29,
     160,
     184,
     340,
     358
    ],
    "Z": [
     184,
     340
    ]
   },
   {
    "X": [
     30,
     161,
     185,
     341,
     359
    ],
    "Z": [
     185,
     341
    ]
   },
   {
    "X": [
     31,
     162,
     186,
     342,
     348
    ],
    "Z": [
     186,
     342
    ]
   },
   {
    "X": [
     32,
     163,
     187,
     343,
     349
    ],
    "Z": [
     187,
     343
    ]
   },
   {
    "X": [
     33,
     164,
     188,
     344,
     350
    ],
    "Z": [
     188,
     344
    ]
   },
   {
    "X": [
     34,
     165,
     189,
     345,
     351
    ],
    "Z": [
     189,
     345
    ]
   },
   {
    "X": [
     35,
     166,
     190,
     346,
     352
    ],
    "Z": [
     190,
     346
    ]
   },
   {
    "X": [
     24,
     167,
     191,
     347,
     353
    ],
    "Z": [
     191,
     347
    ]
   },
   {
    "X": [
     37,
     168,
     186,
     192,
     348
    ],
    "Z": [
     192,
     348
    ]
   },
   {
    "X": [
     38,
     169,
     187,
     193,
     349
    ],
    "Z": [
     193,
     349
    ]
   },
   {
    "X": [
     39,
     170,
     188,
     194,
     350
    ],
    "Z": [
     194,
     350
    ]
   },
   {
    "X": [
     40,
     171,
     189,
     195,
     351
    ],
    "Z": [
     195,
     351
    ]
   },
   {
    "X": [
     41,
     172,
     190,
     196,
     352
    ],
    "Z": [
     196,
     352
    ]
   },
   {
    "X": [
     42,
     173,
     191,
     197,
     353
    ],
    "Z": [
     197,
     353
    ]
   },
   {
    "X": [
     43,
     174,
     180,
     198,
     354
    ],
    "Z": [
     198,
     354
    ]
   },
   {
    "X": [
     44,
     175,
     181,
     199,
     355
    ],
    "Z": [
     199,
     355
    ]
   },
   {
    "X": [
     45,
     176,
     182,
     200,
     356
    ],
    "Z": [
     200,
     356
    ]
   },
   {
    "X": [
     46,
     177,
     183,
     201,
     357
    ],
    "Z": [
     201,
     357
    ]
   },
   {
    "X": [
     47,
     178,
     184,
     202,
     358
    ],
    "Z": [
     202,
     358
    ]
   },
   {
    "X": [
     36,
     179,
     185,
     203,
     359
    ],
    "Z": [
     203,
     359
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     156,
     174,
     180,
     323
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     157,
     175,
     181,
     312
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     158,
     176,
     182,
     313
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     159,
     177,
     183,
     314
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     160,
     178,
     184,
     315
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     161,
     179,
     185,
     316
    ]
   },
   {
    "X": [],
    "Z": [
     6,
     162,
     168,
     186,
     317
    ]
   },
   {
    "X": [],
    "Z": [
     7,
     163,
     169,
     187,
     318
    ]
   },
   {
    "X": [],
    "Z": [
     8,
     164,
     170,
     188,
     319
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     165,
     171,
     189,
     320
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     166,
     172,
     190,
     321
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     167,
     173,
     191,
     322
    ]
   },
   {
    "X": [],
    "Z": [
     6,
     12,
     168,
     192,
     335
    ]
   },
   {
    "X": [],
    "Z": [
     7,
     13,
     169,
     193,
     324
    ]
   },
   {
    "X": [],
    "Z": [
     8,
     14,
     170,
     194,
     325
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     15,
     171,
     195,
     326
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     16,
     172,
     196,
     327
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     17,
     173,
     197,
     328
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     18,
     174,
     198,
     329
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     19,
     175,
     199,
     330
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     20,
     176,
     200,
     331
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     21,
     177,
     201,
     332
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     22,
     178,
     202,
     333
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     23,
     179,
     203,
     334
    ]
   },
   {
    "X": [],
    "Z": [
     0,
     18,
     24,
     204,
     347
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     19,
     25,
     205,
     336
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     20,
     26,
     206,
     337
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     21,
     27,
     207,
     338
    ]
   },
   {
    "X": [],
    "Z": [
     4,
     22,
     28,
     208,
     339
    ]
   },
   {
    "X": [],
    "Z": [
     5,
     23,
     29,
     209,
     340
    ]
   },
   {
    "X": [],
    "Z": [
     6,
     12,
     30,
     210,
     341
    ]
   },
   {
    "X": [],
    "Z": [
     7,
     13,
     31,
     211,
     342
    ]
   },
   {
    "X": [],
    "Z": [
     8,
     14,
     32,
     212,
     343
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     15,
     33,
     213,
     344
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     16,
     34,
     214,
     345
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     17,
     35,
     215,
     346
    ]
   },
   {
    "X": [],
    "Z": [
     12,
     30,
     36,
     216,
     359
    ]
   },
   {
    "X": [],
    "Z": [
     13,
     31,
     37,
     217,
     348
    ]
   },
   {
    "X": [],
    "Z": [
     14,
     32,
     38,
     218,
     349
    ]
   },
   {
    "X": [],
    "Z": [
     15,
     33,
     39,
     219,
     350
    ]
   },
   {
    "X": [],
    "Z": [
     16,
     34,
     40,
     220,
     351
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     35,
     41,
     221,
     352
    ]
   },
   {
    "X": [],
    "Z": [
     18,
     24,
     42,
     222,
     353
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     25,
     43,
     223,
     354
    ]
   },
   {
    "X": [],
    "Z": [
     20,
     26,
     44,
     224,
     355
    ]
   },
   {
    "X": [],
    "Z": [
     21,
     27,
     45,
     225,
     356
    ]
   },
   {
    "X": [],
    "Z": [
     22,
     28,
     46,
     226,
     357
    ]
   },
   {
    "X": [],
    "Z": [
     23,
     29,
     47,
     227,
     358
    ]
   },
   {
    "X": [],
    "Z": [
     24,
     42,
     48,
     191,
     228
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     43,
     49,
     180,
     229
    ]
   },
   {
    "X": [],
    "Z": [
     26,
     44,
     50,
     181,
     230
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     45,
     51,
     182,
     231
    ]
   },
   {
    "X": [],
    "Z": [
     28,
     46,
     52,
     183,
     232
    ]
   },
   {
    "X": [],
    "Z": [
     29,
     47,
     53,
     184,
     233
    ]
   },
   {
    "X": [],
    "Z": [
     30,
     36,
     54,
     185,
     234
    ]
   },
   {
    "X": [],
    "Z": [
     31,
     37,
     55,
     186,
     235
    ]
   },
   {
    "X": [],
    "Z": [
     32,
     38,
     56,
     187,
     236
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     39,
     57,
     188,
     237
    ]
   },
   {
    "X": [],
    "Z": [
     34,
     40,
     58,
     189,
     238
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     41,
     59,
     190,
     239
    ]
   },
   {
    "X": [],
    "Z": [
     36,
     54,
     60,
     203,
     240
    ]
   },
   {
    "X": [],
    "Z": [
     37,
     55,
     61,
     192,
     241
    ]
   },
   {
    "X": [],
    "Z": [
     38,
     56,
     62,
     193,
     242
    ]
   },
   {
    "X": [],
    "Z": [
     39,
     57,
     63,
     194,
     243
    ]
   },
   {
    "X": [],
    "Z": [
     40,
     58,
     64,
     195,
     244
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     59,
     65,
     196,
     245
    ]
   },
   {
    "X": [],
    "Z": [
     42,
     48,
     66,
     197,
     246
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     49,
     67,
     198,
     247
    ]
   },
   {
    "X": [],
    "Z": [
     44,
     50,
     68,
     199,
     248
    ]
   },
   {
    "X": [],
    "Z": [
     45,
     51,
     69,
     200,
     249
    ]
   },
   {
    "X": [],
    "Z": [
     46,
     52,
     70,
     201,
     250
    ]
   },
   {
    "X": [],
    "Z": [
     47,
     53,
     71,
     202,
     251
    ]
   },
   {
    "X": [],
    "Z": [
     48,
     66,
     72,
     215,
     252
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     67,
     73,
     204,
     253
    ]
   },
   {
    "X": [],
    "Z": [
     50,
     68,
     74,
     205,
     254
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     69,
     75,
     206,
     255
    ]
   },
   {
    "X": [],
    "Z": [
     52,
     70,
     76,
     207,
     256
    ]
   },
   {
    "X": [],
    "Z": [
     53,
     71,
     77,
     208,
     257
    ]
   },
   {
    "X": [],
    "Z": [
     54,
     60,
     78,
     209,
     258
    ]
   },
   {
    "X": [],
    "Z": [
     55,
     61,
     79,
     210,
     259
    ]
   },
   {
    "X": [],
    "Z": [
     56,
     62,
     80,
     211,
     260
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     63,
     81,
     212,
     261
    ]
   },
   {
    "X": [],
    "Z": [
     58,
     64,
     82,
     213,
     262
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     65,
     83,
     214,
     263
    ]
   },
   {
    "X": [],
    "Z": [
     60,
     78,
     84,
     227,
     264
    ]
   },
   {
    "X": [],
    "Z": [
     61,
     79,
     85,
     216,
     265
    ]
   },
   {
    "X": [],
    "Z": [
     62,
     80,
     86,
     217,
     266
    ]
   },
   {
    "X": [],
    "Z": [
     63,
     81,
     87,
     218,
     267
    ]
   },
   {
    "X": [],
    "Z": [
     64,
     82,
     88,
     219,
     268
    ]
   },
   {
    "X": [],
    "Z": [
     65,
     83,
     89,
     220,
     269
    ]
   },
   {
    "X": [],
    "Z": [
     66,
     72,
     90,
     221,
     270
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     73,
     91,
     222,
     271
    ]
   },
   {
    "X": [],
    "Z": [
     68,
     74,
     92,
     223,
     272
    ]
   },
   {
    "X": [],
    "Z": [
     69,
     75,
     93,
     224,
     273
    ]
   },
   {
    "X": [],
    "Z": [
     70,
     76,
     94,
     225,
     274
    ]
   },
   {
    "X": [],
    "Z": [
     71,
     77,
     95,
     226,
     275
    ]
   },
   {
    "X": [],
    "Z": [
     72,
     90,
     96,
     239,
     276
    ]
   },
   {
    "X": [],
    "Z": [
     73,
     91,
     97,
     228,
     277
    ]
   },
   {
    "X": [],
    "Z": [
     74,
     92,
     98,
     229,
     278
    ]
   },
   {
    "X": [],
    "Z": [
     75,
     93,
     99,
     230,
     279
    ]
   },
   {
    "X": [],
    "Z": [
     76,
     94,
     100,
     231,
     280
    ]
   },
   {
    "X": [],
    "Z": [
     77,
     95,
     101,
     232,
     281
    ]
   },
   {
    "X": [],
    "Z": [
     78,
     84,
     102,
     233,
     282
    ]
   },
   {
    "X": [],
    "Z": [
     79,
     85,
     103,
     234,
     283
    ]
   },
   {
    "X": [],
    "Z": [
     80,
     86,
     104,
     235,
     284
    ]
   },
   {
    "X": [],
    "Z": [
     81,
     87,
     105,
     236,
     285
    ]
   },
   {
    "X": [],
    "Z": [
     82,
     88,
     106,
     237,
     286
    ]
   },
   {
    "X": [],
    "Z": [
     83,
     89,
     107,
     238,
     287
    ]
   },
   {
    "X": [],
    "Z": [
     84,
     102,
     108,
     251,
     288
    ]
   },
   {
    "X": [],
    "Z": [
     85,
     103,
     109,
     240,
     289
    ]
   },
   {
    "X": [],
    "Z": [
     86,
     104,
     110,
     241,
     290
    ]
   },
   {
    "X": [],
    "Z": [
     87,
     105,
     111,
     242,
     291
    ]
   },
   {
    "X": [],
    "Z": [
     88,
     106,
     112,
     243,
     292
    ]
   },
   {
    "X": [],
    "Z": [
     89,
     107,
     113,
     244,
     293
    ]
   },
   {
    "X": [],
    "Z": [
     90,
     96,
     114,
     245,
     294
    ]
   },
   {
    "X": [],
    "Z": [
     91,
     97,
     115,
     246,
     295
    ]
   },
   {
    "X": [],
    "Z": [
     92,
     98,
     116,
     247,
     296
    ]
   },
   {
    "X": [],
    "Z": [
     93,
     99,
     117,
     248,
     297
    ]
   },
   {
    "X": [],
    "Z": [
     94,
     100,
     118,
     249,
     298
    ]
   },
   {
    "X": [],
    "Z": [
     95,
     101,
     119,
     250,
     299
    ]
   },
   {
    "X": [],
    "Z": [
     96,
     114,
     120,
     263,
     300
    ]
   },
   {
    "X": [],
    "Z": [
     97,
     115,
     121,
     252,
     301
    ]
   },
   {
    "X": [],
    "Z": [
     98,
     116,
     122,
     253,
     302
    ]
   },
   {
    "X": [],
    "Z": [
     99,
     117,
     123,
     254,
     303
    ]
   },
   {
    "X": [],
    "Z": [
     100,
     118,
     124,
     255,
     304
    ]
   },
   {
    "X": [],
    "Z": [
     101,
     119,
     125,
     256,
     305
    ]
   },
   {
    "X": [],
    "Z": [
     102,
     108,
     126,
     257,
     306
    ]
   },
   {
    "X": [],
    "Z": [
     103,
     109,
     127,
     258,
     307
    ]
   },
   {
    "X": [],
    "Z": [
     104,
     110,
     128,
     259,
     308
    ]
   },
   {
    "X": [],
    "Z": [
     105,
     111,
     129,
     260,
     309
    ]
   },
   {
    "X": [],
    "Z": [
     106,
     112,
     130,
     261,
     310
    ]
   },
   {
    "X": [],
    "Z": [
     107,
     113,
     131,
     262,
     311
    ]
   },
   {
    "X": [],
    "Z": [
     108,
     126,
     132,
     275,
     312
    ]
   },
   {
    "X": [],
    "Z": [
     109,
     127,
     133,
     264,
     313
    ]
   },
   {
    "X": [],
    "Z": [
     110,
     128,
     134,
     265,
     314
    ]
   },
   {
    "X": [],
    "Z": [
     111,
     129,
     135,
     266,
     315
    ]
   },
   {
    "X": [],
    "Z": [
     112,
     130,
     136,
     267,
     316
    ]
   },
   {
    "X": [],
    "Z": [
     113,
     131,
     137,
     268,
     317
    ]
   },
   {
    "X": [],
    "Z": [
     114,
     120,
     138,
     269,
     318
    ]
   },
   {
    "X": [],
    "Z": [
     115,
     121,
     139,
     270,
     319
    ]
   },
   {
    "X": [],
    "Z": [
     116,
     122,
     140,
     271,
     320
    ]
   },
   {
    "X": [],
    "Z": [
     117,
     123,
     141,
     272,
     321
    ]
   },
   {
    "X": [],
    "Z": [
     118,
     124,
     142,
     273,
     322
    ]
   },
   {
    "X": [],
    "Z": [
     119,
     125,
     143,
     274,
     323
    ]
   },
   {
    "X": [],
    "Z": [
     120,
     138,
     144,
     287,
     324
    ]
   },
   {
    "X": [],
    "Z": [
     121,
     139,
     145,
     276,
     325
    ]
   },
   {
    "X": [],
    "Z": [
     122,
     140,
     146,
     277,
     326
    ]
   },
   {
    "X": [],
    "Z": [
     123,
     141,
     147,
     278,
     327
    ]
   },
   {
    "X": [],
    "Z": [
     124,
     142,
     148,
     279,
     328
    ]
   },
   {
    "X": [],
    "Z": [
     125,
     143,
     149,
     280,
     329
    ]
   },
   {
    "X": [],
    "Z": [
     126,
     132,
     150,
     281,
     330
    ]
   },
   {
    "X": [],
    "Z": [
     127,
     133,
     151,
     282,
     331
    ]
   },
   {
    "X": [],
    "Z": [
     128,
     134,
     152,
     283,
     332
    ]
   },
   {
    "X": [],
    "Z": [
     129,
     135,
     153,
     284,
     333
    ]
   },
   {
    "X": [],
    "Z": [
     130,
     136,
     154,
     285,
     334
    ]
   },
   {
    "X": [],
    "Z": [
     131,
     137,
     155,
     286,
     335
    ]
   },
   {
    "X": [],
    "Z": [
     132,
     150,
     156,
     299,
     336
    ]
   },
   {
    "X": [],
    "Z": [
     133,
     151,
     157,
     288,
     337
    ]
   },
   {
    "X": [],
    "Z": [
     134,
     152,
     158,
     289,
     338
    ]
   },
   {
    "X": [],
    "Z": [
     135,
     153,
     159,
     290,
     339
    ]
   },
   {
    "X": [],
    "Z": [
     136,
     154,
     160,
     291,
     340
    ]
   },
   {
    "X": [],
    "Z": [
     137,
     155,
     161,
     292,
     341
    ]
   },
   {
    "X": [],
    "Z": [
     138,
     144,
     162,
     293,
     342
    ]
   },
   {
    "X": [],
    "Z": [
     139,
     145,
     163,
     294,
     343
    ]
   },
   {
    "X": [],
    "Z": [
     140,
     146,
     164,
     295,
     344
    ]
   },
   {
    "X": [],
    "Z": [
     141,
     147,
     165,
     296,
     345
    ]
   },
   {
    "X": [],
    "Z": [
     142,
     148,
     166,
     297,
     346
    ]
   },
   {
    "X": [],
    "Z": [
     143,
     149,
     167,
     298,
     347
    ]
   },
   {
    "X": [],
    "Z": [
     144,
     162,
     168,
     311,
     348
    ]
   },
   {
    "X": [],
    "Z": [
     145,
     163,
     169,
     300,
     349
    ]
   },
   {
    "X": [],
    "Z": [
     146,
     164,
     170,
     301,
     350
    ]
   },
   {
    "X": [],
    "Z": [
     147,
     165,
     171,
     302,
     351
    ]
   },
   {
    "X": [],
    "Z": [
     148,
     166,
     172,
     303,
     352
    ]
   },
   {
    "X": [],
    "Z": [
     149,
     167,
     173,
     304,
     353
    ]
   },
   {
    "X": [],
    "Z": [
     150,
     156,
     174,
     305,
     354
    ]
   },
   {
    "X": [],
    "Z": [
     151,
     157,
     175,
     306,
     355
    ]
   },
   {
    "X": [],
    "Z": [
     152,
     158,
     176,
     307,
     356
    ]
   },
   {
    "X": [],
    "Z": [
     153,
     159,
     177,
     308,
     357
    ]
   },
   {
    "X": [],
    "Z": [
     154,
     160,
     178,
     309,
     358
    ]
   },
   {
    "X": [],
    "Z": [
     155,
     161,
     179,
     310,
     359
    ]
   }
  ]
 },
 "distance": {
  "d": 12,
  "P": {
   "value": 12,
   "confidence": "upper_bound",
   "witness": {
    "X": [],
    "Z": [
     12,
     38,
     61,
     87,
     136,
     155,
     193,
     211,
     235,
     241,
     310,
     316
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@cbjuan"
  ],
  "construction": "Perturbed bivariate bicycle (PBB) code: ell=15, m=12; A=1+x^4y, B=1+xy^6+x^2, C-perturbation=0, D-perturbation=1+x^2 (0-indexed exponent pairs: A=[[0,0],[4,1]], B=[[0,0],[1,6],[2,0]], C=[], D=[[0,0],[2,0]]); presentation PL-28c4edd8 (qcode-discovery @ d6abdbd), connected, direct (non-component) presentation.",
  "origin": "submission",
  "date": "2026-10-07",
  "model": "Claude Opus 5, GPT-5.6 Sol",
  "notes": "Checked for duplication against the current board: no existing entry (CSS or stabilizer) at this [[n,k,d]]. First published in arXiv:2610.06623."
 },
 "family": "bivariate-bicycle"
}