Refinements

5.5
9
29