ab-3-1.in

Generators, antiburgers without p_1, p_3: X Y T;
Weights:                                  1 1 1;
Limiting weight: 6;
Parameters: p_2 p_4 p_5;
Relations:
[[Y,X],X];
[[Y,X],Y] + [X,T] +  p_4 Y;
p_2 [Y,X] + [T,Y] + p_5 Y;