true 12 37 true
0 8 9 11 15 16 31 33 35 42 44 54 78 88 95 97 103 106 107 110 116 127