13 873 396 true
0 1 2 4 7 12 16 17 23 25 31 33 37