k=5 d=2 s=4: 11 equations, free unknowns [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]
precision P = 512 bits; radius r = 7.889e-31
max |Re/Im F(c0)| (exact) = 3.486e-60
||I - Y J(X)||_inf <= 7.471e-15   -> condition (a): True
max |Re/Im (K(X) - c0)| <= 5.893e-45  vs r = 7.889e-31  -> condition (b): True
RESULT: PASS
