[("EQ", [(2,2)], 2),("GEQ", [(3,0),(3,1)], 1), ("LEQ", [(3,0),(3,1)], 2)]
[0,1]
[0,1,2,3]
