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