6 135 254 true
0 1 9 12 20 31