#include <stdio.h>

int main() {
//operators
int a;
scanf("%d",&a);
a++;
int b=a++ + ++a;
int c=b+a;
int d=c++;
print("%d %d %d %d",a,b,c,d);
return 0;
}