\form#0:$(x_2,y_2)$
\form#1:$[-2^{53}+1, 2^{53}-1]$