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