Nor did it say all numbers from 1 to 1000:

  int main()
  {
    printf("13 47\n");
    return 0;
  }

:D