Refinements

5
11
31