main(){__builtin_puts("1\n3\n5\n6\n7");}