Quelle  ab-3-1-5.in   Sprache: unbekannt

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