16 22512 1270 true
0 1 3 6 7 11 15 17 19 20 25 26 31 32 34 35