9 412 380 true
0 1 5 7 13 21 28 31 32