Naming blimp is:
1 3 9 TestType GroupNumber

Type 1 - General Groups

1) The empty group, no relators, no generators. Should not change.
2) The Free Group, 16 generators, no relators. Should not change.
3) A Small group containing relators 123=456=77=e. Should not change.

Type 2 - Testing st02

1) A simple case where 2 generators are equal, relators are 12 = 22 = e,
   with the result that the group collapses to c2. Should contain blimp:
   2 5 1 1 1 1 0
2) A simple case where one generator is the identity. Namely generator 3.
   Relator 1 2 4 5 is included to test renumbering.
3) Case 4 but with some more generators and relators above it, testing
   renumbering.
   Answer: 2 9 4 2 1 1 0 2 3 4 0 (Or similar)
4) A more complex linked case. Relators are 23 = 35 = 52 = e, with the
   result that 2=3=5.   Also contains the relator 146=e, again testing
   renumbering. Result should look LIKE
   2 9 4 2 2 2 0 1 3 4 0, but may not be this exactly.
5) A 2 step case - First it is discovered that 2 = 3, then the relator
   23232 collapses to 2 = e, so both generators should be removed. 
   Also contains the relator 145 for renumbering  check.
6) A multi stage check. namely 22 = 23 = 135 = 35 = 56 = 66 = 12578 = 
   88 = 9 10 11 = e.
   
   COllapses to 1 = e, 2 is self inverse (=3=5=6) (becomes 1), 4 
   (becomes 2) is free, 7=8 (becomes 3) is self inverse, then 456 = e.

Type 4 - Testing st04

1) Same relator 3 times rotated, changes to just 1 of these (File 2)
2) Unchanged group (But relators given in a weird order!) (File 3)
3) Gp in 2 with a rotation of 3rd added (file 2)
4) Gp3 but relators given in a different order (File 2)
5) Has relators: 1 2 3 = 2 3 1 4 5 6 = e. Cancels to 1 2 3 = 4 5 6. (File 2)
6) Has relators 1 2 3 4 = 1 2 3 5, Should add 4 inv(5) = e. (File 1)
7) Lots happens. Collapes to 1 2 3 = 4 = 6 7 = 4 5 6 = 7 8 = 9 10 = 3 6. (File 1)
8) Lots happens, including cancellations. Collapses to 1 2 3 = 6 9. (File 1)

Type 999 

999) Testing that end of group isn't seem prematurely.