k=9 d=2 s=7: real system of size 38; iv.prec = 400 bits; r = 7.889e-31
||I - Y J(X)||_inf <= 1.763e-25  -> (a) True
max |K(X) - c0| <= 1.390e-55  -> (b) True
RESULT: PASS
