This is a two dimensional constraint matrix which will be used in the example for the check_irred routine.
data(TwoDamat)