// Print numbers from 5 to 1
#include <stdio.h>

int main() {
  int i;

  for (i = 5; i > 0; i--) {
    printf("%d ", i);
  }
  printf("\n");
  return 0;
}

