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