S + STU -> STUS
STUS -> S + STU
STUS + T -> STUST
STUST -> STUS + T
STUST -> ST + STU
ST + STU -> STUST
STU -> 0
ST + SU -> SUST
SUST -> ST + SU
SUST + U -> SUSTU
SUSTU -> SUST + U
SUSTU -> STU + SU
STU + SU -> SUSTU
SU -> 0
STUS + U -> STUSU
STUSU -> STUS + U
STUSU -> STU + SU
STU + SU -> STUSU
ST -> 0