#include <stdio.h>

int main( ) {
   int i = 1;
   while (i <= 10) {
      printf("%d ", i);
      i += 1;
   }
}