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