<?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";
?>