RH-W-06 rational interval build
status=CERTIFIED_POSITIVE_ON_THIS_2D_SUBSPACE
M11=('0.1781796931558626', '0.1798173886819948')
M12=('0.06584763007782314', '0.06584763091603929')
M22=('0.1781796931558626', '0.1798173886819948')
even_mode=('0.2440273232336857', '0.2456650195980341')
odd_mode=('0.1123320622398233', '0.1139697586041716')
gram_det=0.2297908793146888 (display only)
FLOATING_POINT_IN_PROOF_PATH=False
RH_CLAIM=False
