tests/sav/hamming_number.res

   1 1: 1
   2 2: 2
   3 3: 3
   4 4: 4
   5 5: 5
   6 6: 6
   7 7: 8
   8 8: 9
   9 9: 10
  10 10: 12
  11 11: 15
  12 12: 16
  13 13: 18
  14 14: 20
  15 15: 24
  16 16: 25
  17 17: 27
  18 18: 30
  19 19: 32
  20 20: 36
  21 1691: 2125764000