A + C9 -> AC9
AC9 -> A + C9
C3 + C9 -> C3_star + C9
AC9 + C3 -> AC9 + C3_star
C9 + X -> C9X
C9X -> C9 + X
AC9 + X -> AC9X
AC9X -> AC9 + X
A + C9X -> AC9X
AC9X -> A + C9X
C3_star + X -> C3_starX
C3_starX -> C3_star + X
C3_star + C9 -> C3_star + C9_star
AC9 + C3_star -> AC9_star + C3_star
A + C9_star -> AC9_star
AC9_star -> A + C9_star
C9_star + X -> C9_starX
C9_starX -> C9_star + X
AC9_star + X -> AC9_starX
AC9_starX -> AC9_star + X
A + C9_starX -> AC9_starX
AC9_starX -> A + C9_starX
C3 + C9_star -> C3_star + C9_star
AC9_star + C3 -> AC9_star + C3_star
0 -> A
0 -> C9
0 -> X
C9X -> 0
AC9X -> 0
AC9 -> 0
0 -> C3
C3_star -> 0
C3_starX -> 0
C9_starX -> 0
C9_star -> 0
AC9_star -> 0
AC9_starX -> 0
C9X_C3_star -> 0
AC9_starX_C3_star -> 0
C9_starX_C3_star -> 0
AC9_starX_C3_star -> 0
C3_star + C9X -> C9X_C3_star
C9X_C3_star -> C3_star + C9X
AC9X + C3_star -> AC9X_C3_star
AC9X_C3_star -> AC9X + C3_star
C3_star + C9_starX -> C9_starX_C3_star
C9_starX_C3_star -> C3_star + C9_starX
AC9_starX + C3_star -> AC9_starX_C3_star
AC9_starX_C3_star -> AC9_starX + C3_star
C3_starX + C9 -> C9X_C3_star
C9X_C3_star -> C3_starX + C9
AC9 + C3_starX -> AC9X_C3_star
AC9X_C3_star -> AC9 + C3_starX
C3_starX + C9_star -> C9_starX_C3_star
C9_starX_C3_star -> C3_starX + C9_star
AC9_star + C3_starX -> AC9_starX_C3_star
AC9_starX_C3_star -> AC9_star + C3_starX
A + C9X_C3_star -> AC9X_C3_star
AC9X_C3_star -> A + C9X_C3_star
A + C9_starX_C3_star -> AC9_starX_C3_star
AC9_starX_C3_star -> A + C9_starX_C3_star