Quellcode-Bibliothek burg-5-4.in   Sprache: unbekannt

Generators: X Y T;
Weights:    1 1 1;
<*Limiting weight: 6;*>

Parameters: c_1 c_2 c_3;

Relations:

2 [[Y,X],Y] + c_2 [Y, X];

[[Y,X],X] + c_1 [Y, X] + [T,Y];

[T,X] + c_3 Y;