Quelle  std-c09.in

Generators C_9, roots numeration 1-2-3-4-5-6-7-8<=9:

e_1 e_2 e_3 e_4 e_5 e_6 e_7 e_8 e_9
f_1 f_2 f_3 f_4 f_5 f_6 f_7 f_8 f_9
h_1 h_2 h_3 h_4 h_5 h_6 h_7 h_8 h_9;

Weights:

1   1   1   1   1   1   1   1   1
1   1   1   1   1   1   1   1   1
1   1   1   1   1   1   1   1   1;

Limiting weight: 36;

Relations, N = 367:

[h_1,h_2];
[h_1,h_3];
[h_1,h_4];
[h_1,h_5];
[h_1,h_6];
[h_1,h_7];
[h_1,h_8];
[h_1,h_9];

[h_2,h_3];
[h_2,h_4];
[h_2,h_5];
[h_2,h_6];
[h_2,h_7];
[h_2,h_8];
[h_2,h_9];

[h_3,h_4];
[h_3,h_5];
[h_3,h_6];
[h_3,h_7];
[h_3,h_8];
[h_3,h_9];

[h_4,h_5];
[h_4,h_6];
[h_4,h_7];
[h_4,h_8];
[h_4,h_9];

[h_5,h_6];
[h_5,h_7];
[h_5,h_8];
[h_5,h_9];

[h_6,h_7];
[h_6,h_8];
[h_6,h_9];

[h_7,h_8];
[h_7,h_9];

[h_8,h_9];


[e_1,f_1]-h_1;
[e_2,f_2]-h_2;
[e_3,f_3]-h_3;
[e_4,f_4]-h_4;
[e_5,f_5]-h_5;
[e_6,f_6]-h_6;
[e_7,f_7]-h_7;
[e_8,f_8]-h_8;
[e_9,f_9]-h_9;

[e_1,f_2];
[e_1,f_3];
[e_1,f_4];
[e_1,f_5];
[e_1,f_6];
[e_1,f_7];
[e_1,f_8];
[e_1,f_9];

[e_2,f_1];
[e_2,f_3];
[e_2,f_4];
[e_2,f_5];
[e_2,f_6];
[e_2,f_7];
[e_2,f_8];
[e_2,f_9];

[e_3,f_1];
[e_3,f_2];
[e_3,f_4];
[e_3,f_5];
[e_3,f_6];
[e_3,f_7];
[e_3,f_8];
[e_3,f_9];

[e_4,f_1];
[e_4,f_2];
[e_4,f_3];
[e_4,f_5];
[e_4,f_6];
[e_4,f_7];
[e_4,f_8];
[e_4,f_9];

[e_5,f_1];
[e_5,f_2];
[e_5,f_3];
[e_5,f_4];
[e_5,f_6];
[e_5,f_7];
[e_5,f_8];
[e_5,f_9];

[e_6,f_1];
[e_6,f_2];
[e_6,f_3];
[e_6,f_4];
[e_6,f_5];
[e_6,f_7];
[e_6,f_8];
[e_6,f_9];

[e_7,f_1];
[e_7,f_2];
[e_7,f_3];
[e_7,f_4];
[e_7,f_5];
[e_7,f_6];
[e_7,f_8];
[e_7,f_9];

[e_8,f_1];
[e_8,f_2];
[e_8,f_3];
[e_8,f_4];
[e_8,f_5];
[e_8,f_6];
[e_8,f_7];
[e_8,f_9];

[e_9,f_1];
[e_9,f_2];
[e_9,f_3];
[e_9,f_4];
[e_9,f_5];
[e_9,f_6];
[e_9,f_7];
[e_9,f_8];


[h_1,e_1]-2 e_1;
[h_1,e_2]+e_2;
[h_1,e_3];
[h_1,e_4];
[h_1,e_5];
[h_1,e_6];
[h_1,e_7];
[h_1,e_8];
[h_1,e_9];

[h_2,e_1]+e_1;
[h_2,e_2]-2 e_2;
[h_2,e_3]+e_3;
[h_2,e_4];
[h_2,e_5];
[h_2,e_6];
[h_2,e_7];
[h_2,e_8];
[h_2,e_9];

[h_3,e_1];
[h_3,e_2]+e_2;
[h_3,e_3]-2 e_3;
[h_3,e_4]+e_4;
[h_3,e_5];
[h_3,e_6];
[h_3,e_7];
[h_3,e_8];
[h_3,e_9];

[h_4,e_1];
[h_4,e_2];
[h_4,e_3]+e_3;
[h_4,e_4]-2 e_4;
[h_4,e_5]+e_5;
[h_4,e_6];
[h_4,e_7];
[h_4,e_8];
[h_4,e_9];

[h_5,e_1];
[h_5,e_2];
[h_5,e_3];
[h_5,e_4]+e_4;
[h_5,e_5]-2 e_5;
[h_5,e_6]+e_6;
[h_5,e_7];
[h_5,e_8];
[h_5,e_9];

[h_6,e_1];
[h_6,e_2];
[h_6,e_3];
[h_6,e_4];
[h_6,e_5]+e_5;
[h_6,e_6]-2 e_6;
[h_6,e_7]+e_7;
[h_6,e_8];
[h_6,e_9];

[h_7,e_1];
[h_7,e_2];
[h_7,e_3];
[h_7,e_4];
[h_7,e_5];
[h_7,e_6]+e_6;
[h_7,e_7]-2 e_7;
[h_7,e_8]+e_8;
[h_7,e_9];

[h_8,e_1];
[h_8,e_2];
[h_8,e_3];
[h_8,e_4];
[h_8,e_5];
[h_8,e_6];
[h_8,e_7]+e_7;
[h_8,e_8]-2 e_8;
[h_8,e_9]+2 e_9;

[h_9,e_1];
[h_9,e_2];
[h_9,e_3];
[h_9,e_4];
[h_9,e_5];
[h_9,e_6];
[h_9,e_7];
[h_9,e_8]+e_8;
[h_9,e_9]-2 e_9;


[h_1,f_1]+2 f_1;
[h_1,f_2]-f_2;
[h_1,f_3];
[h_1,f_4];
[h_1,f_5];
[h_1,f_6];
[h_1,f_7];
[h_1,f_8];
[h_1,f_9];

[h_2,f_1]-f_1;
[h_2,f_2]+2 f_2;
[h_2,f_3]-f_3;
[h_2,f_4];
[h_2,f_5];
[h_2,f_6];
[h_2,f_7];
[h_2,f_8];
[h_2,f_9];

[h_3,f_1];
[h_3,f_2]-f_2;
[h_3,f_3]+2 f_3;
[h_3,f_4]-f_4;
[h_3,f_5];
[h_3,f_6];
[h_3,f_7];
[h_3,f_8];
[h_3,f_9];

[h_4,f_1];
[h_4,f_2];
[h_4,f_3]-f_3;
[h_4,f_4]+2 f_4;
[h_4,f_5]-f_5;
[h_4,f_6];
[h_4,f_7];
[h_4,f_8];
[h_4,f_9];

[h_5,f_1];
[h_5,f_2];
[h_5,f_3];
[h_5,f_4]-f_4;
[h_5,f_5]+2 f_5;
[h_5,f_6]-f_6;
[h_5,f_7];
[h_5,f_8];
[h_5,f_9];

[h_6,f_1];
[h_6,f_2];
[h_6,f_3];
[h_6,f_4];
[h_6,f_5]-f_5;
[h_6,f_6]+2 f_6;
[h_6,f_7]-f_7;
[h_6,f_8];
[h_6,f_9];

[h_7,f_1];
[h_7,f_2];
[h_7,f_3];
[h_7,f_4];
[h_7,f_5];
[h_7,f_6]-f_6;
[h_7,f_7]+2 f_7;
[h_7,f_8]-f_8;
[h_7,f_9];

[h_8,f_1];
[h_8,f_2];
[h_8,f_3];
[h_8,f_4];
[h_8,f_5];
[h_8,f_6];
[h_8,f_7]-f_7;
[h_8,f_8]+2 f_8;
[h_8,f_9]-2 f_9;

[h_9,f_1];
[h_9,f_2];
[h_9,f_3];
[h_9,f_4];
[h_9,f_5];
[h_9,f_6];
[h_9,f_7];
[h_9,f_8]-f_8;
[h_9,f_9]+2 f_9;


[e_1,[e_1,e_2]];
[e_1,e_3];
[e_1,e_4];
[e_1,e_5];
[e_1,e_6];
[e_1,e_7];
[e_1,e_8];
[e_1,e_9];

[e_2,[e_2,e_1]];
[e_2,[e_2,e_3]];
[e_2,e_4];
[e_2,e_5];
[e_2,e_6];
[e_2,e_7];
[e_2,e_8];
[e_2,e_9];

[e_3,[e_3,e_2]];
[e_3,[e_3,e_4]];
[e_3,e_5];
[e_3,e_6];
[e_3,e_7];
[e_3,e_8];
[e_3,e_9];

[e_4,[e_4,e_3]];
[e_4,[e_4,e_5]];
[e_4,e_6];
[e_4,e_7];
[e_4,e_8];
[e_4,e_9];

[e_5,[e_5,e_4]];
[e_5,[e_5,e_6]];
[e_5,e_7];
[e_5,e_8];
[e_5,e_9];

[e_6,[e_6,e_5]];
[e_6,[e_6,e_7]];
[e_6,e_8];
[e_6,e_9];

[e_7,[e_7,e_6]];
[e_7,[e_7,e_8]];
[e_7,e_9];

[e_8,[e_8,e_7]];
[e_8,[e_8,[e_8,e_9]]];

[e_9,[e_9,e_8]];


[f_1,[f_1,f_2]];
[f_1,f_3];
[f_1,f_4];
[f_1,f_5];
[f_1,f_6];
[f_1,f_7];
[f_1,f_8];
[f_1,f_9];

[f_2,[f_2,f_1]];
[f_2,[f_2,f_3]];
[f_2,f_4];
[f_2,f_5];
[f_2,f_6];
[f_2,f_7];
[f_2,f_8];
[f_2,f_9];

[f_3,[f_3,f_2]];
[f_3,[f_3,f_4]];
[f_3,f_5];
[f_3,f_6];
[f_3,f_7];
[f_3,f_8];
[f_3,f_9];

[f_4,[f_4,f_3]];
[f_4,[f_4,f_5]];
[f_4,f_6];
[f_4,f_7];
[f_4,f_8];
[f_4,f_9];

[f_5,[f_5,f_4]];
[f_5,[f_5,f_6]];
[f_5,f_7];
[f_5,f_8];
[f_5,f_9];

[f_6,[f_6,f_5]];
[f_6,[f_6,f_7]];
[f_6,f_8];
[f_6,f_9];

[f_7,[f_7,f_6]];
[f_7,[f_7,f_8]];
[f_7,f_9];

[f_8,[f_8,f_7]];
[f_8,[f_8,[f_8,f_9]]];

[f_9,[f_9,f_8]];