#define LOCAL
#include<stdio.h>
int main()
{
#ifdef LOCAL
freopen("data_in.txt","r",stdin);
//freopen("data_out.txt","w+",stdout);
#endif
int x,min,max,n=0,s=0;
if(scanf("%d",&x)==1)
{
min=max=x;
while(scanf("%d",&x)==1)
{
s+=x;
if(x<min) min=x;
if(x>max) max=x;
printf("x=%d,min=%d,max=%d\n",x,min,max);
n++;
}
printf("%d %d %.3lf\n",min,max,(double)s/n);
}
return 0;
}
/*
#include <stdio.h>
#define INF 100000000
int main()
{
FILE *fin,*fout;
fin=fopen("data.in","rb");
fout=fopen("data.out","wb");
fprintf("%d %d %.3lf\n",min,max,(double)s/n);
fclose(fin);
fclose(fout);
return 0;
*/