7 51 135 true
0 13 16 17 20 22 31