#include<stdio.h>
int main()
{
    printf("1 3 5 8")
}