true 12 35 true 2 3 4 5 7 13 15 29 50 51 61 65 80 87 94 97 102 112 117