<?php
$a = 0;
$b = 0;
$first = true;
while (fscanf(STDIN
, '%d%d', $a, $b)) { if ($first)
{
$min = $b;
$max = $b;
$total = $b;
$count = 1;
$first = false;
}
else
{
$total += $b;
if ($b < $min) $min = $b;
if ($b > $max) $max = $b;
$count++;
}
}
$avg = $total / $count;
echo "Min: $min\n";
echo "Max: $max\n";
echo "Average: $avg\n";
?>
PD9waHAKJGEgPSAwOwokYiA9IDA7CiRmaXJzdCA9IHRydWU7CndoaWxlIChmc2NhbmYoU1RESU4sICclZCVkJywgJGEsICRiKSkgewogICAgaWYgKCRmaXJzdCkKICAgIHsKICAgICAgICAkbWluID0gJGI7CiAgICAgICAgJG1heCA9ICRiOwogICAgICAgICR0b3RhbCA9ICRiOwogICAgICAgICRjb3VudCA9IDE7CiAgICAgICAgJGZpcnN0ID0gZmFsc2U7CiAgICB9CiAgICBlbHNlCiAgICB7CiAgICAgICAgJHRvdGFsICs9ICRiOwogICAgICAgIGlmICgkYiA8ICRtaW4pICRtaW4gPSAkYjsKICAgICAgICBpZiAoJGIgPiAkbWF4KSAkbWF4ID0gJGI7CiAgICAgICAgJGNvdW50Kys7CiAgICB9Cn0KJGF2ZyA9ICR0b3RhbCAvICRjb3VudDsKZWNobyAiTWluOiAkbWluXG4iOwplY2hvICJNYXg6ICRtYXhcbiI7CmVjaG8gIkF2ZXJhZ2U6ICRhdmdcbiI7Cj8+