true 13 8 true
0 4 5 7 10 13 16 31 33 37 42 48