9 4123 477 true
0 1 8 12 15 18 22 31 34