while_post_dec.out 20 B

12345678910
  1. 5
  2. 4
  3. 3
  4. 2
  5. 1
  6. 5
  7. 4
  8. 3
  9. 2
  10. 1