12 6050 716 true
0 1 2 4 5 8 11 15 24 26 30 32