#include <stdio.h>

int main(void){
  printf("%d\n", 10);
  printf("%f\n", 3.141);
  printf("%f\n", 250.2);

  return 0;
}