6 512 312 true
1 2 4 9 31 32