#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) ;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiAKaW50IG1haW4oKQogIHsKICBmbG9hdCBhID0gMS4yNSA7CiAgZmxvYXQgYiA9IDEuMzUgOwogIGZsb2F0IGMgPSAxLjc1IDsKICBwcmludGYgKCIlLjFmICUuMWYgJS4xZlxuIiwgYSwgYiwgYykgOwogIH0=