#include <stdio.h>
int a;
scanf("%d",&a);
int b=a++ + --a;
int c=++b - ++a;
int d=--c + --b;
printf("%d %d %d %d",a,b,c,d);