Public interface to the three-generator, nine-relator host group.