9 5112 702 true
0 3 7 12 17 29 31 35 39