Refinements

8
11
13
31