true 12 47 true
0 8 10 11 12 25 27 42 43 50 52 57 65 68 70 72 73 83 86 87 93 111 112 115 116 125 137