[none] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.293e-59; max row ||I-YJ|| = 8.297e-119
   (S) max_j LHS/r = 8.036e-27  -> OK
   (K) max_j LHS   = 1.607e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.621
   VERDICT: PASS (unique exact solution in the polydisk)   [0.4s]
[shift_re] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 6.430e-29; max row ||I-YJ|| = 8.280e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.607e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.621
   VERDICT: FAIL   [0.4s]
[shift_im] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.206e-28; max row ||I-YJ|| = 8.853e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.607e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.621
   VERDICT: FAIL   [0.4s]
[fixed_change] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.805e-19; max row ||I-YJ|| = 8.179e-119
   (S) max_j LHS/r = 1.242e+11  -> FAIL
   (K) max_j LHS   = 1.607e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.621
   VERDICT: FAIL   [0.4s]
[truncate20] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.538e-19; max row ||I-YJ|| = 1.019e-118
   (S) max_j LHS/r = 1.119e+10  -> FAIL
   (K) max_j LHS   = 1.607e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.621
   VERDICT: FAIL   [0.2s]
[swap] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 5.653e+00; max row ||I-YJ|| = 6.254e-119
   (S) max_j LHS/r = 3.455e+29  -> FAIL
   (K) max_j LHS   = 7.319e-27  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.029
   VERDICT: FAIL   [0.4s]
[target2t] cert_k6_d2_s5_A.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 8.297e-119
   (S) max_j LHS/r = 9.313e+29  -> FAIL
   (K) max_j LHS   = 1.607e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.621
   VERDICT: FAIL   [0.4s]
[wrong_k] STRUCTURE FAIL: ['not square: 13 free vs 15 equations']
