x1: n=52, float eigenvalues: max real part -2.771e-03, min real part -1.707e+03 ; exact P>0: True (52 leading minors checked) ; exact -(J^T P+P J)>0: True (52 leading minors checked) ; 1747s
x3: n=52, float eigenvalues: max real part -7.339e-05, min real part -2.139e+04 ; exact P>0: True (52 leading minors checked) ; exact -(J^T P+P J)>0: True (52 leading minors checked) ; 936s
done-lyap
