process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk)
{
  var x = chunk.split(" ");
  x1 = parseInt(x[0], 10);
  y1 = parseInt(x[1], 10);
  x2 = parseInt(x[2], 10);
  y2 = parseInt(x[3], 10);

  console.log(Math.sqrt(Math.pow((x1 - x2), 2) + Math.pow((y1 - y2), 2)));
  console.log(x1, y1, x2, y2);
});