Public interface to the fixed three-relation Thue system.