true 12345 3072 true
5 8 10 11 16 25 35 37 38 39 56 60 69 70 74 86 87 90 93 99 101 109 113 114 115 116 124 126 127 135 137 143 144