true 12 52 true
1 8 9 12 13 25 47 51 58 65 67 69 75 79 88 94 96 101 102 115 124 125 130 135