17 72115 2556 true
0 1 4 7 13 16 19 20 22 23 27 28 29 31 33 36 38