1: \begin{abstract}

2:   We give an algorithm for testing the extremality of a large class of

3:   minimal valid functions for the two-dimensional infinite group problem. 

4: \end{abstract}

5: