#include<stdio.h>

int main()  {
  printf("Hello world\n");
  for (int i=0;  i<10; i++)
     printf("%d\n", i);

}