A + C9 <-> AC9 C3 + C9 -> C3_star + C9 AC9 + C3 -> AC9 + C3_star C9 + X <-> C9X AC9 + X <-> AC9X A + C9X <-> AC9X C3_star + X <-> C3_starX C3_star + C9 -> C3_star + C9_star AC9 + C3_star -> AC9_star + C3_star A + C9_star <-> AC9_star C9_star + X <-> C9_starX AC9_star + X <-> AC9_starX A + C9_starX <-> AC9_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