9 512 376 true
1 5 10 11 12 17 25 31 36