true 12 40 true
0 5 9 11 15 17 35 41 46 57 73 77 78 81 92 95 99 100 106 107 108 123 125