Molecules
S(b~0~1,Y1~U~P~2P,Y2~U~P~2P,Y3~U~P~2P)
Species
Observables
Szero S(b~?,Y1~U!?,Y2~U!?,Y3~U!?)
Sone S(b~?,Y1~P!?,Y2~U!?,Y3~U!?)
Stwo S(b~?,Y1~2P!?,Y2~U!?,Y3~U!?)
Sthree S(b~?,Y1~2P!?,Y2~P!?,Y3~U!?)
Sfour S(b~?,Y1~2P!?,Y2~2P!?,Y3~U!?)
Sfive S(b~?,Y1~2P!?,Y2~2P!?,Y3~P!?)
Ssix S(b~?,Y1~2P!?,Y2~2P!?,Y3~2P!?)
Reaction Rules
E(b) + S(b~0,Y1~U,Y2~U,Y3~U) <-> E(b!1).S(b~1,Y1~U!1,Y2~U,Y3~U)
E(b!1).S(b~1,Y1~U!1,Y2~U,Y3~U) -> E(b) + S(b~0,Y1~P,Y2~U,Y3~U)
F(b) + S(b~0,Y1~P,Y2~U,Y3~U) <-> F(b!1).S(b~1,Y1~P!1,Y2~U,Y3~U)
F(b!1).S(b~1,Y1~P!1,Y2~U,Y3~U) -> F(b) + S(b~0,Y1~U,Y2~U,Y3~U)
E(b) + S(b~0,Y1~P,Y2~U,Y3~U) <-> E(b!1).S(b~1,Y1~P!1,Y2~U,Y3~U)
E(b!1).S(b~1,Y1~P!1,Y2~U,Y3~U) -> E(b) + S(b~0,Y1~2P,Y2~U,Y3~U)
F(b) + S(b~0,Y1~2P,Y2~U,Y3~U) <-> F(b!1).S(b~1,Y1~2P!1,Y2~U,Y3~U)
F(b!1).S(b~1,Y1~2P!1,Y2~U,Y3~U) -> F(b) + S(b~0,Y1~P,Y2~U,Y3~U)
E(b) + S(b~0,Y2~U,Y1~2P,Y3~U) <-> E(b!1).S(b~1,Y2~U!1,Y1~2P,Y3~U)
E(b!1).S(b~1,Y2~U!1,Y1~2P,Y3~U) -> E(b) + S(b~0,Y2~P,Y1~2P,Y3~U)
F(b) + S(b~0,Y2~P,Y1~2P,Y3~U) <-> F(b!1).S(b~1,Y2~P!1,Y1~2P,Y3~U)
F(b!1).S(b~1,Y2~P!1,Y1~2P,Y3~U) -> F(b) + S(b~0,Y2~U,Y1~2P,Y3~U)
E(b) + S(b~0,Y2~P,Y1~2P,Y3~U) <-> E(b!1).S(b~1,Y2~P!1,Y1~2P,Y3~U)
E(b!1).S(b~1,Y2~P!1,Y1~2P,Y3~U) -> E(b) + S(b~0,Y2~2P,Y1~2P,Y3~U)
F(b) + S(b~0,Y2~2P,Y1~2P,Y3~U) <-> F(b!1).S(b~1,Y2~2P!1,Y1~2P,Y3~U)
F(b!1).S(b~1,Y2~2P!1,Y1~2P,Y3~U) -> F(b) + S(b~0,Y2~P,Y1~2P,Y3~U)
E(b) + S(b~0,Y3~U,Y2~2P,Y1~2P) <-> E(b!1).S(b~1,Y3~U!1,Y2~2P,Y1~2P)
E(b!1).S(b~1,Y3~U!1,Y2~2P,Y1~2P) -> E(b) + S(b~0,Y3~P,Y2~2P,Y1~2P)
F(b) + S(b~0,Y3~P,Y2~2P,Y1~2P) <-> F(b!1).S(b~1,Y3~P!1,Y2~2P,Y1~2P)
F(b!1).S(b~1,Y3~P!1,Y2~2P,Y1~2P) -> F(b) + S(b~0,Y3~U,Y2~2P,Y1~2P)
E(b) + S(b~0,Y3~P,Y2~2P,Y1~2P) <-> E(b!1).S(b~1,Y3~P!1,Y2~2P,Y1~2P)
E(b!1).S(b~1,Y3~P!1,Y2~2P,Y1~2P) -> E(b) + S(b~0,Y3~2P,Y2~2P,Y1~2P)
F(b) + S(b~0,Y3~2P,Y2~2P,Y1~2P) <-> F(b!1).S(b~1,Y3~2P!1,Y2~2P,Y1~2P)
F(b!1).S(b~1,Y3~2P!1,Y2~2P,Y1~2P) -> F(b) + S(b~0,Y3~P,Y2~2P,Y1~2P)
Z(b) + S(Y1~2P) <-> Z(b!1).S(Y1~2P!1)
Z(b) + S(Y2~2P) <-> Z(b!1).S(Y2~2P!1)
Z(b) + S(Y3~2P) <-> Z(b!1).S(Y3~2P!1)