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