Save "clean" version of reducing certificate arising from extreme rays
Improve look of printf's