Refinements

7.5
9
36