[none] vb_owncert_k8_s6.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 3.919e-60; max row ||I-YJ|| = 2.920e-119
   (S) max_j LHS/r = 3.009e-26  -> OK
   (K) max_j LHS   = 6.018e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.142
   VERDICT: PASS (unique exact solution in the polydisk)   [0.8s]
[shift_re] vb_owncert_k8_s6.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 5.529e-29; max row ||I-YJ|| = 3.413e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 6.018e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.142
   VERDICT: FAIL   [0.8s]
[truncate20] vb_owncert_k8_s6.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 6.232e-20; max row ||I-YJ|| = 3.264e-119
   (S) max_j LHS/r = 1.203e+10  -> FAIL
   (K) max_j LHS   = 6.018e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.142
   VERDICT: FAIL   [0.4s]
[target2t] vb_owncert_k8_s6.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 2.920e-119
   (S) max_j LHS/r = 8.994e+29  -> FAIL
   (K) max_j LHS   = 6.018e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.142
   VERDICT: FAIL   [0.8s]
[none] vb_owncert_k6_s5.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 2.529e-58; max row ||I-YJ|| = 6.111e-118
   (S) max_j LHS/r = 6.485e-28  -> OK
   (K) max_j LHS   = 1.297e-27  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 1.195
   VERDICT: PASS (unique exact solution in the polydisk)   [0.2s]
[shift_re] vb_owncert_k6_s5.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.073e-27; max row ||I-YJ|| = 6.183e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.297e-27  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 1.195
   VERDICT: FAIL   [0.2s]
[truncate20] vb_owncert_k6_s5.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 6.255e-19; max row ||I-YJ|| = 6.140e-118
   (S) max_j LHS/r = 1.161e+10  -> FAIL
   (K) max_j LHS   = 1.297e-27  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 1.195
   VERDICT: FAIL   [0.1s]
[target2t] vb_owncert_k6_s5.json: k=6 s=5 free=13 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 6.111e-118
   (S) max_j LHS/r = 5.760e+29  -> FAIL
   (K) max_j LHS   = 1.297e-27  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 1.195
   VERDICT: FAIL   [0.2s]
