#include <stdio.h>
 
int main()
  {
  float a = 1.25 ;
  float b = 1.35 ;
  float c = 1.75 ;
  printf ("%.1f %.1f %.1f\n", a, b, c) ;
  }