k=7 d=2 s=6: 15 equations, free unknowns [1, 2, 3, 5, 6, 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) = 1.594e-58
||I - Y J(X)||_inf <= 3.131e-12   -> condition (a): True
max |Re/Im (K(X) - c0)| <= 2.470e-42  vs r = 7.889e-31  -> condition (b): True
RESULT: PASS
