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