12 3254 1140 true
9 12 13 25 46 47 74 80 82 87 88 92