#include <stdio.h>

/* Exercise 1-7 */

main()
{
    printf("%d\n", EOF);
    printf("%.77f\n", EOF);
}