true 6742 1207 true 1 6 8 9 12 16 17 37 43 63 66 67 71 80 82 84 90