Refinements

7
12
30