12 1930 553 true
0 8 9 12 13 15 16 17 21 25 32 36