[A] + [E1] -> [AE1]; k1
[AE1] -> [A] + [E1]; k2
[AE1] -> [Ap] + [E1]; k3
[Ap] + [E1] -> [ApE1]; k4
[ApE1] -> [Ap] + [E1]; k5
[ApE1] -> [App] + [E1]; k6
[App] + [E1] -> [AppE1]; k7
[AppE1] -> [App] + [E1]; k8
[AppE1] -> [Appp] + [E1]; k9
[Appp] + [E2] -> [ApppE2]; k10
[ApppE2] -> [Appp] + [E2]; k11
[ApppE2] -> [App] + [E2]; k12
[App] + [E2] -> [AppE2]; k13
[AppE2] -> [App] + [E2]; k14
[AppE2] -> [Ap] + [E2]; k15
[Ap] + [E2] -> [ApE2]; k16
[ApE2] -> [Ap] + [E2]; k17
[ApE2] -> [A] + [E2]; k18
