Refinements

6
7
32