1: \begin{abstract}

2:   We describe new computer-based search strategies for extreme functions for

3:   the Gomory--Johnson infinite group problem.  They lead to the discovery of

4:   new extreme functions, whose existence settles several open questions.

5: \end{abstract}

6: