true 15 57 true
4 6 11 12 13 22 31 35 38 39 54 62 71 80 94 95 98 102 103 122 127 130 132 138 140