12 1988 448 true
0 7 10 11 14 21 23 27 31 34 35 37