T := { [d1, -1] : d1 > 0 };
T;
farkas T;