k=5 d=2 s=4: real system of size 22; iv.prec = 400 bits; r = 7.889e-31
||I - Y J(X)||_inf <= 7.546e-28  -> (a) True
max |K(X) - c0| <= 5.955e-58  -> (b) True
RESULT: PASS
