k=6 d=2 s=5: real system of size 26; iv.prec = 400 bits; r = 7.889e-31
||I - Y J(X)||_inf <= 7.561e-26  -> (a) True
max |K(X) - c0| <= 5.965e-56  -> (b) True
RESULT: PASS
