true 1287 870 true 3 4 6 7 8 11 15 19 35 38 42 43 55 60 64 71 73 74 80 82 83 84 91 94 100 109 112 114 121 126 134 135 138 143