[none] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 5.526e-59; max row ||I-YJ|| = 6.687e-119
   (S) max_j LHS/r = 5.005e-27  -> OK
   (K) max_j LHS   = 1.000e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.325
   VERDICT: PASS (unique exact solution in the polydisk)   [0.3s]
[shift_re] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 7.093e-29; max row ||I-YJ|| = 6.478e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.000e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.325
   VERDICT: FAIL   [0.3s]
[shift_im] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 7.794e-29; max row ||I-YJ|| = 6.497e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.000e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.325
   VERDICT: FAIL   [0.4s]
[fixed_change] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 6.113e-20; max row ||I-YJ|| = 5.773e-119
   (S) max_j LHS/r = 1.541e+11  -> FAIL
   (K) max_j LHS   = 1.000e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.325
   VERDICT: FAIL   [0.3s]
[truncate20] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.737e-19; max row ||I-YJ|| = 6.422e-119
   (S) max_j LHS/r = 1.164e+10  -> FAIL
   (K) max_j LHS   = 1.000e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.325
   VERDICT: FAIL   [0.2s]
[swap] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.241e+01; max row ||I-YJ|| = 1.310e-118
   (S) max_j LHS/r = 3.171e+32  -> FAIL
   (K) max_j LHS   = 1.995e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.473
   VERDICT: FAIL   [0.3s]
[target2t] cert_k6_d2_s5_B.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 6.687e-119
   (S) max_j LHS/r = 1.862e+30  -> FAIL
   (K) max_j LHS   = 1.000e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.325
   VERDICT: FAIL   [0.3s]
[wrong_k] STRUCTURE FAIL: ['not square: 13 free vs 15 equations']
