RH-W-05 rational interval build
status=CERTIFIED_POSITIVE_ON_THIS_2D_SUBSPACE
M11=('0.4214257932676843', '0.4243340631590509')
M12=('-0.1734476249292889', '-0.1728821575781725')
M22=('0.4214257932676843', '0.4243340631590509')
even_mode=('0.2479781683383954', '0.2514519055808784')
odd_mode=('0.5943079508458569', '0.5977816880883399')
gram_det=0.2292239858906526 (display only)
FLOATING_POINT_IN_PROOF_PATH=False
RH_CLAIM=False
