6 240 138 true
4 5 7 8 16 31