n (1 <= n <= 200000);
{[* n]
  x0: double (0 <= x0 <= 1000000000000000000.0) x1: double (0 <= x1 <= 1000000000000000000.0, x0 <= x1);
}