9 477 442 true
1 2 4 8 9 11 16 22 31