11 5144 1120 true
0 1 15 24 25 26 28 30 31 35 38