9 210 287 true
0 1 5 8 12 13 14 15 32