true 19 56 true
2 3 17 32 34 45 63 64 73 76 80 90 97 100 104 115 117 121 129 131 135 141 143 144