k=9 d=2 s=7: 19 equations, free unknowns [1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]
precision P = 512 bits; radius r = 7.889e-31
max |Re/Im F(c0)| (exact) = 2.742e-59
||I - Y J(X)||_inf <= 1.173e-13   -> condition (a): True
max |Re/Im (K(X) - c0)| <= 9.255e-44  vs r = 7.889e-31  -> condition (b): True
RESULT: PASS
