9 135 133 true
0 1 2 3 6 7 11 31 32