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