9 550 457 true
1 3 4 8 15 23 24 29 31