import stdio;
int
main(int argc, char **argv)
{
printf("%d;%d;%d;%d;%d\n", 1 % 1, 2 % 2, 3 % 2, 14 % 5, 7 % 8);
return 0;
}