The Sullivant Challange was to compute the generating set of this ideal.