12 7558 1071 true
0 3 7 10 11 14 15 18 21 30 35 37