true 1257 553 true 2 3 4 14 16 17 20 31 36 56 57 58 60 61 75 76 78 79 85 86 87 90 98 101 111 113 116 119 124 130 133 138 139