Refinements

8
11
10
31