true 2484 1277 true 1 5 10 12 17 40 49 52 59 60 63 64 66 76 80 87 88 92 96 101 105 107 109 112 114 128 129 135 140 141 143 144 145