Refinements

6
9
31