true 12 47 true
0 18 19 22 23 37 39 46 49 60 62 63 71 88 91 128 133 135 136 142 144