true 3258 1023 true 2 5 8 14 21 29 30 31 35 36 40 52 56 58 63 75 77 81 87 89 90 96 101 112 116 117 119 120 133 134 136 140 146 149