[none] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 2.742e-59; max row ||I-YJ|| = 1.651e-118
   (S) max_j LHS/r = 5.670e-27  -> OK
   (K) max_j LHS   = 1.134e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: PASS (unique exact solution in the polydisk)   [1.9s]
[shift_re] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 6.138e-29; max row ||I-YJ|| = 1.310e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.134e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: FAIL   [2.0s]
[shift_im] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 2.257e-28; max row ||I-YJ|| = 1.378e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.134e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: FAIL   [1.9s]
[fixed_change] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 3.333e-19; max row ||I-YJ|| = 1.745e-118
   (S) max_j LHS/r = 1.030e+11  -> FAIL
   (K) max_j LHS   = 1.134e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: FAIL   [1.9s]
[truncate20] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 2.006e-19; max row ||I-YJ|| = 1.676e-118
   (S) max_j LHS/r = 1.103e+10  -> FAIL
   (K) max_j LHS   = 1.134e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: FAIL   [1.1s]
[swap] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 1.254e+01; max row ||I-YJ|| = 1.726e-118
   (S) max_j LHS/r = 6.813e+30  -> FAIL
   (K) max_j LHS   = 7.162e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: FAIL   [2.0s]
[target2t] cert_k9_d2_s7_A.json: k=9 s=7 free=19 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 1.651e-118
   (S) max_j LHS/r = 8.908e+29  -> FAIL
   (K) max_j LHS   = 1.134e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.479
   VERDICT: FAIL   [2.0s]
[wrong_k] STRUCTURE FAIL: ['not square: 19 free vs 21 equations']
