9 144 257 true
0 3 9 10 11 15 21 31 37