true 13 47 true
2 6 8 9 13 17 28 42 45 47 52 56 62 70 78 79 80 81 93 95 101 115 117 126 128 132 134