#include <stdio.h>
#include <ctype.h>

char s[2005];

int main(void)
{
  double min,max,mid,now;
  int count,pos;
  while(fgets(s,2000,stdin)!=0)
  {
    count=pos=0;
    while(sscanf(&s[pos],"%lf",&now)==1)
    {
      if(count==0)
        min=max=mid=now;
      else
      {
        mid+=now;
        if(now<min) min=now;
        if(now>max) max=now;
      }
      while(isspace(s[pos]) && s[pos]!=0) pos++;
      while(!isspace(s[pos]) && s[pos]!=0) pos++;
      count++;
    }
    if(count>0)
      printf("%.10lf %.10lf %.10lf\n",min,max,mid/(double)count);
    else
      break;
  }
  return 0;
}