#include <stdio.h>
int main(void) {
float a = 7.52321311545f;
printf("%0.30f\n%0.30f\n%0.30f\n", a
, a
/2.0f, a
* 0.5f); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglmbG9hdCBhID0gNy41MjMyMTMxMTU0NWY7CglwcmludGYoIiUwLjMwZlxuJTAuMzBmXG4lMC4zMGZcbiIsIGEsIGEvMi4wZiwgYSAqIDAuNWYpOwoJcmV0dXJuIDA7Cn0K