Molecules

R(DD,Y1~U~P,Y2~P)

R DD Y1 U P Y2 P

S(NSH2~C~O,CSH2,PTP~C~O)

S NSH2 C O CSH2 PTP C O

Species

S(NSH2~C,CSH2,PTP~C)

S NSH2 C CSH2 PTP C

R(DD!1,Y1~U,Y2~P).R(DD!1,Y1~U,Y2~P)

R DD Y1 U Y2 P R DD Y1 U Y2 P

Observables

pYR R(Y1~P!?)

R ?DD Y1 ?P Y2 ?P

Reaction Rules

R(DD!+,Y1~U) -> R(DD!+,Y1~P)

R DD Y1 U P take all branches, once each, in any order⬇ Y2 ?P

S(NSH2~C,PTP~C) <-> S(NSH2~O,PTP~O)

S NSH2 C O take all branches, once each, in any order⬇⬆ ?CSH2 PTP C O take all branches, once each, in any order⬇⬆

R(Y2~P) + S(CSH2) <-> R(Y2~P!1).S(CSH2!1)

R ?DD Y1 U ?P Y2 ⬇⬆P ⬇⬆ S NSH2 C ?O ⬇⬆CSH2 PTP C ?O

R(Y2~P) + S(NSH2~O) <-> R(Y2~P!1).S(NSH2~O!1)

R ?DD Y1 U ?P Y2 ⬇⬆P ⬇⬆ S NSH2 ⬇⬆O ?CSH2 PTP C ?O

R(Y1~P) + S(PTP~O) <-> R(Y1~P!1).S(PTP~O!1)

R ?DD Y1 ⬇⬆P Y2 ?P ⬇⬆ S NSH2 C ?O ?CSH2 PTP ⬇⬆O

R(Y1~P!1).S(PTP~O!1) -> R(Y1~U) + S(PTP~O)

R ?DD Y1 U ⬆P take one or more branches, once each, in any order⬆ Y2 ?P ⬆ S NSH2 C ?O ?CSH2 PTP ⬆O

R(Y1~P!1).S(PTP~O!1) -> R(Y1~U).S(PTP~O)

R ?DD Y1 U ⬆P take one or more branches, once each, in any order⬆ Y2 ?P S NSH2 C ?O ?CSH2 PTP ⬆O

R(Y2~P).S(NSH2~O,CSH2!+,PTP~O) <-> R(Y2~P!1).S(NSH2~O!1,CSH2!+,PTP~O)

R ?DD Y1 U ?P Y2 ⬇⬆P S NSH2 ⬇⬆O CSH2 PTP O

R(Y1~P,Y2~P!1).S(NSH2~O,CSH2!1,PTP~O) <-> R(Y1~P!2,Y2~P!1).S(NSH2~O,CSH2!1,PTP~O!2)

R ?DD Y1 ⬇⬆P Y2 P S NSH2 O CSH2 PTP ⬇⬆O

R(Y1~P).R(Y2~P!1).S(NSH2~O,CSH2!1,PTP~O) <-> R(Y1~P!2).R(Y2~P!1).S(NSH2~O,CSH2!1,PTP~O!2)

R ?DD Y1 ⬇⬆P Y2 ?P R ?DD Y1 U ?P Y2 P S NSH2 O CSH2 PTP ⬇⬆O

R(Y2~P).S(NSH2~O!+,CSH2,PTP~O) <-> R(Y2~P!1).S(NSH2~O!+,CSH2!1,PTP~O)

R ?DD Y1 U ?P Y2 ⬇⬆P S NSH2 O ⬇⬆CSH2 PTP O

R(Y1~P).R(Y2~P!1).S(NSH2~O!1,CSH2,PTP~O) <-> R(Y1~P!2).R(Y2~P!1).S(NSH2~O!1,CSH2,PTP~O!2)

R ?DD Y1 ⬇⬆P Y2 ?P R ?DD Y1 U ?P Y2 P S NSH2 O CSH2 PTP ⬇⬆O

R(Y1~P,Y2~P!1).S(NSH2~O!1,CSH2,PTP~O) <-> R(Y1~P!2,Y2~P!1).S(NSH2~O!1,CSH2,PTP~O!2)

R ?DD Y1 ⬇⬆P Y2 P S NSH2 O CSH2 PTP ⬇⬆O

R(Y1~P!1,Y2~P).S(NSH2~O,CSH2,PTP~O!1) <-> R(Y1~P!1,Y2~P!2).S(NSH2~O,CSH2!2,PTP~O!1)

R ?DD Y1 P Y2 ⬇⬆P S NSH2 O ⬇⬆CSH2 PTP O

R(Y1~P!1).R(Y2~P).S(NSH2~O,CSH2,PTP~O!1) <-> R(Y1~P!1).R(Y2~P!2).S(NSH2~O,CSH2!2,PTP~O!1)

R ?DD Y1 P Y2 ?P R ?DD Y1 U ?P Y2 ⬇⬆P S NSH2 O ⬇⬆CSH2 PTP O

R(Y1~P!1).R(Y2~P).S(NSH2~O,CSH2,PTP~O!1) <-> R(Y1~P!1).R(Y2~P!2).S(NSH2~O!2,CSH2,PTP~O!1)

R ?DD Y1 P Y2 ?P R ?DD Y1 U ?P Y2 ⬇⬆P S NSH2 ⬇⬆O CSH2 PTP O

R(Y1~P!1,Y2~P).S(NSH2~O,CSH2,PTP~O!1) <-> R(Y1~P!1,Y2~P!2).S(NSH2~O!2,CSH2,PTP~O!1)

R ?DD Y1 P Y2 ⬇⬆P S NSH2 ⬇⬆O CSH2 PTP O

R(Y1~P,Y2~P!1).R(Y2~P!2).S(NSH2~O!2,CSH2!1,PTP~O) <-> R(Y1~P!3,Y2~P!1).R(Y2~P!2).S(NSH2~O!2,CSH2!1,PTP~O!3)

R ?DD Y1 ⬇⬆P Y2 P R ?DD Y1 U ?P Y2 P S NSH2 O CSH2 PTP ⬇⬆O

R(Y1~P,Y2~P!1).R(Y2~P!2).S(NSH2~O!1,CSH2!2,PTP~O) <-> R(Y1~P!3,Y2~P!1).R(Y2~P!2).S(NSH2~O!1,CSH2!2,PTP~O!3)

R ?DD Y1 ⬇⬆P Y2 P R ?DD Y1 U ?P Y2 P S NSH2 O CSH2 PTP ⬇⬆O

R(Y1~P!1,Y2~P!2).R(Y2~P).S(NSH2~O,CSH2!2,PTP~O!1) <-> R(Y1~P!1,Y2~P!2).R(Y2~P!3).S(NSH2~O!3,CSH2!2,PTP~O!1)

R ?DD Y1 P Y2 P R ?DD Y1 U ?P Y2 ⬇⬆P S NSH2 ⬇⬆O CSH2 PTP O

R(Y2~P!1).R(Y1~P!2,Y2~P).S(NSH2~O,CSH2!1,PTP~O!2) <-> R(Y2~P!1).R(Y1~P!2,Y2~P!3).S(NSH2~O!3,CSH2!1,PTP~O!2)

R ?DD Y1 U ?P Y2 P R ?DD Y1 P Y2 ⬇⬆P S NSH2 ⬇⬆O CSH2 PTP O

R(Y2~P!1).R(Y1~P!2,Y2~P).S(NSH2~O!1,CSH2,PTP~O!2) <-> R(Y2~P!1).R(Y1~P!2,Y2~P!3).S(NSH2~O!1,CSH2!3,PTP~O!2)

R ?DD Y1 U ?P Y2 P R ?DD Y1 P Y2 ⬇⬆P S NSH2 O ⬇⬆CSH2 PTP O

R(Y1~P!1,Y2~P!2).R(Y2~P).S(NSH2~O!2,CSH2,PTP~O!1) <-> R(Y1~P!1,Y2~P!2).R(Y2~P!3).S(NSH2~O!2,CSH2!3,PTP~O!1)

R ?DD Y1 P Y2 P R ?DD Y1 U ?P Y2 ⬇⬆P S NSH2 O ⬇⬆CSH2 PTP O