// This set of test words is hand constructed to be suitable for
// all 2-generator 7-group examples listed in HVL09
a:=G.1;
b:=G.2;
x1:=a;
x2:=b;
x3:=(x2,x1);
x4:=(x3,x1);
x5:=(x3,x2);
x6:=(x4,x1);
x7:=(x4,x2);
x8:=(x5,x2);
x9:=(x6,x1);
x10:=(x6,x2);
x11:=(x7,x1);
x12:=(x7,x2);
x13:=(x8,x1);
x14:=(x8,x2);
x15:=(x9,x1);
x16:=(x9,x2);
x17:=(x10,x1);
x18:=(x10,x2);
x19:=(x11,x2);
x20:=(x12,x1);
x21:=(x12,x2);
x22:=(x13,x2);
x23:=(x14,x2);
x24:=(x15,x2);
x25:=(x16,x1);
x26:=(x16,x2);
x27:=(x17,x2);
x28:=(x18,x1);
x29:=(x18,x2);
x30:=(x19,x1);
x31:=(x19,x2);
x32:=(x20,x2);
x33:=(x21,x1);
x34:=(x21,x2);
x35:=(x22,x2);
x36:=(x24,x1);
x37:=(x24,x2);
x38:=(x25,x1);
x39:=(x25,x2);
x40:=(x26,x1);
x41:=(x26,x2);
x42:=(x27,x1);
x43:=(x27,x2);
x44:=(x28,x1);
x45:=(x28,x2);
x46:=(x29,x1);
x47:=(x29,x2);
x48:=(x30,x1);
x49:=(x30,x2);
x50:=(x31,x1);
x51:=(x31,x2);
x52:=(x32,x1);
x53:=(x32,x2);
x54:=(x33,x2);
x55:=(x34,x1);
x56:=(x34,x2);
x57:=(x35,x1);
x58:=(x35,x2);

testwords := [
a ,
a * x10 ,
a * x12 ,
a * x14 ,
a * x19 ,
a * x22 ,
a * x23 ,
a * x27 ,
a * x31 ,
a * x32 ,
a * x35 ,
a * x37 ,
a * x39 ,
a * x43 ,
a * x45 ,
a * x47 ,
a * x49 ,
a * x51 ,
a * x53 ,
a * x54 ,
a * x56 ,
a * x58 ,
a * x8 ,
a * x8 * x10 ,
a * x8 * x12 ,
a * x8 * x14 ,
a * x8^2 ,
a * x5 ,
a * x5 * x10 ,
a * x5 * x12 ,
a * x5 * x14 ,
a * x5 * x19 ,
a * x5 * x22 ,
a * x5 * x23 ,
a * x5 * x8 ,
a * x5^2 ,
a * x5^2 * x8 ,
a * x5^3 ,
b ,
b * x9 ,
b * x11 ,
b * x13 ,
b * x15 ,
b * x17 ,
b * x20 ,
b * x25 ,
b * x28 ,
b * x30 ,
b * x33 ,
b * x36 ,
b * x38 ,
b * x40 ,
b * x42 ,
b * x44 ,
b * x46 ,
b * x48 ,
b * x50 ,
b * x52 ,
b * x55 ,
b * x57 ,
b * x6 ,
b * x6 * x9 ,
b * x6 * x11 ,
b * x6 * x13 ,
b * x6^2 ,
b * x4 ,
b * x4 * x9 ,
b * x4 * x11 ,
b * x4 * x13 ,
b * x4 * x15 ,
b * x4 * x17 ,
b * x4 * x20 ,
b * x4 * x6 ,
b * x4^2 ,
b * x4^2 * x6 ,
b * x4^3 ,
a * b ,
a * b * x9 ,
a * b * x11 ,
a * b * x13 ,
a * b * x15 ,
a * b * x17 ,
a * b * x20 ,
a * b * x25 ,
a * b * x28 ,
a * b * x30 ,
a * b * x33 ,
a * b * x36 ,
a * b * x38 ,
a * b * x40 ,
a * b * x42 ,
a * b * x44 ,
a * b * x46 ,
a * b * x48 ,
a * b * x50 ,
a * b * x52 ,
a * b * x55 ,
a * b * x57 ,
a * b * x6 ,
a * b * x6 * x9 ,
a * b * x6 * x11 ,
a * b * x6 * x13 ,
a * b * x6^2 ,
a * b * x4 ,
a * b * x4 * x9 ,
a * b * x4 * x11 ,
a * b * x4 * x13 ,
a * b * x4 * x15 ,
a * b * x4 * x17 ,
a * b * x4 * x20 ,
a * b * x4 * x6 ,
a * b * x4^2 ,
a * b * x4^2 * x6 ,
a * b * x4^3 ,
a^2 * b ,
a^2 * b * x9 ,
a^2 * b * x11 ,
a^2 * b * x13 ,
a^2 * b * x15 ,
a^2 * b * x17 ,
a^2 * b * x20 ,
a^2 * b * x25 ,
a^2 * b * x28 ,
a^2 * b * x30 ,
a^2 * b * x33 ,
a^2 * b * x36 ,
a^2 * b * x38 ,
a^2 * b * x40 ,
a^2 * b * x42 ,
a^2 * b * x44 ,
a^2 * b * x46 ,
a^2 * b * x48 ,
a^2 * b * x50 ,
a^2 * b * x52 ,
a^2 * b * x55 ,
a^2 * b * x57 ,
a^2 * b * x6 ,
a^2 * b * x6 * x9 ,
a^2 * b * x6 * x11 ,
a^2 * b * x6 * x13 ,
a^2 * b * x6^2 ,
a^2 * b * x4 ,
a^2 * b * x4 * x9 ,
a^2 * b * x4 * x11 ,
a^2 * b * x4 * x13 ,
a^2 * b * x4 * x15 ,
a^2 * b * x4 * x17 ,
a^2 * b * x4 * x20 ,
a^2 * b * x4 * x6 ,
a^2 * b * x4^2 ,
a^2 * b * x4^2 * x6 ,
a^2 * b * x4^3 ,
a^3 * b ,
a^3 * b * x9 ,
a^3 * b * x11 ,
a^3 * b * x13 ,
a^3 * b * x15 ,
a^3 * b * x17 ,
a^3 * b * x20 ,
a^3 * b * x25 ,
a^3 * b * x28 ,
a^3 * b * x30 ,
a^3 * b * x33 ,
a^3 * b * x36 ,
a^3 * b * x38 ,
a^3 * b * x40 ,
a^3 * b * x42 ,
a^3 * b * x44 ,
a^3 * b * x46 ,
a^3 * b * x48 ,
a^3 * b * x50 ,
a^3 * b * x52 ,
a^3 * b * x55 ,
a^3 * b * x57 ,
a^3 * b * x6 ,
a^3 * b * x6 * x9 ,
a^3 * b * x6 * x11 ,
a^3 * b * x6 * x13 ,
a^3 * b * x6^2 ,
a^3 * b * x4 ,
a^3 * b * x4 * x9 ,
a^3 * b * x4 * x11 ,
a^3 * b * x4 * x13 ,
a^3 * b * x4 * x15 ,
a^3 * b * x4 * x17 ,
a^3 * b * x4 * x20 ,
a^3 * b * x4 * x6 ,
a^3 * b * x4^2 ,
a^3 * b * x4^2 * x6 ,
a^3 * b * x4^3 ,
a^4 * b ,
a^4 * b * x9 ,
a^4 * b * x11 ,
a^4 * b * x13 ,
a^4 * b * x15 ,
a^4 * b * x17 ,
a^4 * b * x20 ,
a^4 * b * x25 ,
a^4 * b * x28 ,
a^4 * b * x30 ,
a^4 * b * x33 ,
a^4 * b * x36 ,
a^4 * b * x38 ,
a^4 * b * x40 ,
a^4 * b * x42 ,
a^4 * b * x44 ,
a^4 * b * x46 ,
a^4 * b * x48 ,
a^4 * b * x50 ,
a^4 * b * x52 ,
a^4 * b * x55 ,
a^4 * b * x57 ,
a^4 * b * x6 ,
a^4 * b * x6 * x9 ,
a^4 * b * x6 * x11 ,
a^4 * b * x6 * x13 ,
a^4 * b * x6^2 ,
a^4 * b * x4 ,
a^4 * b * x4 * x9 ,
a^4 * b * x4 * x11 ,
a^4 * b * x4 * x13 ,
a^4 * b * x4 * x15 ,
a^4 * b * x4 * x17 ,
a^4 * b * x4 * x20 ,
a^4 * b * x4 * x6 ,
a^4 * b * x4^2 ,
a^4 * b * x4^3 ,
a^5 * b ,
a^5 * b * x9 ,
a^5 * b * x11 ,
a^5 * b * x13 ,
a^5 * b * x15 ,
a^5 * b * x17 ,
a^5 * b * x20 ,
a^5 * b * x25 ,
a^5 * b * x28 ,
a^5 * b * x30 ,
a^5 * b * x33 ,
a^5 * b * x36 ,
a^5 * b * x38 ,
a^5 * b * x40 ,
a^5 * b * x42 ,
a^5 * b * x44 ,
a^5 * b * x46 ,
a^5 * b * x48 ,
a^5 * b * x50 ,
a^5 * b * x52 ,
a^5 * b * x55 ,
a^5 * b * x57 ,
a^5 * b * x6 ,
a^5 * b * x6^2 ,
a^5 * b * x4 ,
a^5 * b * x4 * x9 ,
a^5 * b * x4 * x11 ,
a^5 * b * x4 * x13 ,
a^5 * b * x4 * x6 ,
a^5 * b * x4^2 ,
a^6 * b ,
a^6 * b * x9 ,
a^6 * b * x11 ,
a^6 * b * x13 ,
a^6 * b * x15 ,
a^6 * b * x17 ,
a^6 * b * x20 ,
a^6 * b * x25 ,
a^6 * b * x28 ,
a^6 * b * x30 ,
a^6 * b * x33 ,
a^6 * b * x6 ,
a^6 * b * x4 ,
a^6 * b * x4 * x6 ,
a^6 * b * x4^2 ];
