Quelle  ab-3.in   Sprache: unbekannt

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