#include <stdio.h>

int main(argc, argv)
int argc; char *argv[];
{   double days;

    if (argc != 2)
	return 1;

    days = (double)atoi(argv[1]);

    if (days <= 0)
	return 1;

    for (;;)
    {   char count[10];
        char ch = (char)fgetc(stdin);
	int i;

        if (feof(stdin))
	    break;

	while (!feof(stdin) && ch == ' ')
	    ch = (char)fgetc(stdin);

        i = 0;
	while (!feof(stdin) && ch != ' ')
	{   if (i < 9)
		count[i++] = ch;
            ch = (char)fgetc(stdin);
	}
	count[i] = '\0';

	while (!feof(stdin) && ch == ' ')
	    ch = (char)fgetc(stdin);

        printf("%6.1f ", atoi(count) / days);
	while (!feof(stdin) && ch != '\n')
	{   fputc(ch, stdout);
	    ch = (char)fgetc(stdin);
	}

	fputc('\n', stdout);
    }

    return 0;
}