#include <stdio.h>
int main()
{
    int x = 10;
    while (x --> 0)
    {
        printf("%d ", x);
    }
}