9 2623 512 true
1 2 3 7 9 20 25 27 36