GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
# This version of test022a.in is for the 2 generator runs only.
# Hard is much better in PEACE than in ACE.
Text; Opt;
Enum: M22;
Wo:2500000; Mess:500000;
Gr: a,b;
Rel:
b^4,
a^2*b^-2*a^2*b^-1*a^-1*b^-1*a^2*b^-2*a^2*b^-1*a^-1*b,
a^-1*b*a*b*a^-2*b^2*a^-1*b*a*b^-2*a^-1*b*a*b*a^-2*b^2*a^-1*b*a*b^-2,
b*a*b*a*b^-2*a^3*b^-2*a^3*b^-2*a^3*b^-2*a^2*b*a^-2*b^2*a^-2*b,
a^-3*b^2*a^-3*b^-2*a^-4*b^-2*a^-1*b^-2*a*b^-2*a^-3*b^-2*a^-3*b^-2*a^-6,
a^3*b^-2*a^3*b^-2*a^2*b^-2*a^3*b^-2*a^3*b^-2*a^-1*b^-2*a^-1*b^-1*a^-1*
b^-2*a^2*b^-2*a^2*b,
a^-1*b^2*a^-3*b^-2*a^-3*b^-2*a^-4*b^-1*a^-3*b^-2*a^4*b^-2*a^3*b^-2*a^3*
b^-2*a^-2*b,
a^-1*b*a*b^2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-1*a*b^-2*a^3*b^-2*a^3*
b^-2*a^-2*b^-1*a*b*a^4*b^-2*a^3*b^-2*a^3*b^-2,
a^-1*b^-1*a*b^2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-1*a*b*a^-2*b^2*a^-2*
b^-2*a*b*a*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-4*b^-2*a*b^-2*a*b,
a^-1*b^-2*a^-1*b^-1*a^4*b^-2*a^3*b^-2*a^3*b^-2*a^-1*b^-2*a*b*a*b*a*b^-2*
a^-3*b^-2*a^-3*b^-2*a^-4*b^-2*a^2*b^-2*a*b^-1*a^-1*b^-2*a^-2,
b^-2*a*b^-1*a*b*a^-2*b^-2*a^-1*b*a*b^-2*a^-1*b^-1*a^-1*b^-2*a*b*a^4*
b^-2*a^3*b^-2*a^4*b^-1*a^-1*b^-2*a^-2*b^-2*a^2*b^-2*a^-3*b^-2*a^-3*
b^-2*a^-2,
b^2*a*b*a^4*b^-2*a^3*b^-2*a^5*b*a^4*b^-2*a^3*b^-2*a^3*b*a^2*b^-2*a*b^-2*
a^-1*b^-2*a^2*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-2,
a*b^-1*a^-1*b^2*a^-2*b*a^4*b^-2*a^3*b^-2*a^3*b^-2*a^-2*b^-1*a^2*b^-2*
a^-3*b^-2*a^-3*b^-2*a^-4*b*a^2*b^-2*a*b^-2*a^4*b^-2*a^3*b^-2*a^3,
a^-1*b^2*a^-3*b^-2*a^-4*b^-1*a^-1*b^-2*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-2*
b^-1*a^3*b^-2*a*b*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-3*b*a*b^-2*a*b^-2,
a^-2*b^2*a^-2*b*a^3*b*a*b^-2*a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^2*b^-2*a^2*
b^-2*a^2*b^-1*a*b^-2*a^-3*b^2*a^-3*b^-2*a^-4*b^-2*a^-1*b^-2*a^-2*b^-1*
a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-2,
a^-2*b^2*a^-3*b^-2*a^-4*b^-1*a^-1*b^-2*a^2*b*a^-2*b^2*a^-2*b^-2*a*b*
a^-3*b*a^-1*b^-1*a*b^-2*a^2*b^-1*a^-1*b^-2*a^-3*b^-1*a*b^-2*a*b^-2*
a^-1*b^-1*a^-1*b^-2*a^2*b^-2*a^3*b^-2*a^-1*b^-1*a*b^-2*a^2*b^-1*a^-1*
b^-1,
b*a*b^-2*a*b*a^2*b^-2*a^-3*b^-2*a^-3*b^-2*a^-5*b^-2*a^-1*b^-2*a^4*b^-2*
a^3*b^-2*a^3*b^-2*a^-1*b^-2*a*b*a^5*b^-2*a^3*b^-2*a^3*b^-2*a^-3*b*a^4*
b^-2*a^3*b^-2*a^3*b^-2*a^-1
;
Text;
Hard; Gen: a; Beg;
Text;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1; Prune:0,1;
Text;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2; Prune:0,2;
Text;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4; Prune:0,4;
Text;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8; Prune:0,8;
Text;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16; Prune:0,16;
Text;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32; Prune:0,32;
Text;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64; Prune:0,64;
#Text;
#Prune:0; Prune:1; Prune:0;
Text;