#include<stdio.h>
int main()
{
    int a;
    scanf("%d",&a);
    printf("8 %d",a);
    printf(" %d",b);
    return 0;
}