INDEPENDENT_FLOATING_CROSSCHECK_ONLY
T0=0.1786095214952495329795443281058421185924367833796965436
T0_inside_interval=True
T1=-0.1134993786784297338188163787550631661667410834091976471
T1_inside_interval=True
T2=-0.004669682262266133917095761154094045411229008165762469542
T2_inside_interval=True
T3=0.06439092545297472459808661659606261712319706891154795719
T3_inside_interval=True
T4=-0.02576024548858515884124915895812694612587180387036283651
T4_inside_interval=True
CROSSCHECK_OK
RH_CLAIM=False
