#include <stdio.h>
int main()
{
    printf("1 3 5 8");
    scanf("%d\n");
    int=push 5;
    int=push 3;
    int=push 8;
    int=push 1;
    return 0;
}