Submission #539

{
 "n": 56,
 "k": 8,
 "rank": 15,
 "stabilizers": 7,
 "A": {
  "num": "b5501c2661af9e8c7b6c1321a33ef55466835ea187d7faba961cb8a0c61f346048242eb87",
  "den": "bfc2ef456ae276e89e3fedd8c321a67e93a4802b0727839301bf4a6800000000000000000"
 },
 "A_decimal": "0.945512858714",
 "q_bad_decimal": "2.27556885151e-07",
 "cost_decimal": "7.4033895314",
 "weight3_logical_errors": 224,
 "stabilizer_enumerator": [
  1,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  28,
  0,
  0,
  0,
  64,
  0,
  0,
  0,
  35,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0,
  0
 ],
 "row_space_enumerator": [
  1,
  0,
  0,
  0,
  0,
  0,
  0,
  8,
  0,
  0,
  0,
  0,
  0,
  0,
  28,
  0,
  0,
  0,
  28,
  168,
  420,
  680,
  868,
  1512,
  2303,
  2576,
  2660,
  3248,
  3768,
  3248,
  2660,
  2576,
  2303,
  1512,
  868,
  680,
  420,
  168,
  28,
  0,
  0,
  0,
  28,
  0,
  0,
  0,
  0,
  0,
  0,
  8,
  0,
  0,
  0,
  0,
  0,
  0,
  1
 ],
 "s": [
  1,
  1,
  1,
  1,
  1,
  1,
  1,
  1,
  0,
  0,
  0,
  2,
  2,
  2,
  2
 ],
 "cz": [
  [
   8,
   9
  ],
  [
   8,
   12
  ],
  [
   9,
   10
  ],
  [
   9,
   11
  ],
  [
   9,
   12
  ],
  [
   9,
   13
  ],
  [
   9,
   14
  ],
  [
   10,
   12
  ],
  [
   10,
   13
  ],
  [
   11,
   13
  ],
  [
   11,
   14
  ],
  [
   12,
   13
  ],
  [
   12,
   14
  ],
  [
   13,
   14
  ]
 ],
 "check": "full rank 15, row parities, all pair and triple overlaps even, d_Z >= 3 (all weight-1 and weight-2 errors), exact A and q_bad from the weight enumerators of the 128 stabilizer words and 32768 row-space words",
 "verify_cpu_seconds": 0.002,
 "verify_seconds": 0.03
}