#include<bits/stdc++.h>
using namespace std;
int main()
{
int a,i=0,max=-INF,min=INF,sum=0;
double avg;
while(scanf("%d",&a)!=EOF)
{
sum+=a;
if(a>max)
max=a;
if(a<min)
min=a;
i++;
}
avg=(double)sum/i;
printf("%d %d %.3lf\n",min,max,avg);
return 0;
}