9 231 415 true
0 3 9 10 11 15 21 31 37