corpus
minimized
solutions
