true 256407 7144 true
0 1 3 4 5 7 9 10 11 16 18 21 29 30 32 33 35 37 41 46 47