Molecules

S(E~0~1,F~0~1,A~0~1,Y~U~P~2P~3P~4P~5P~6P~7P~8P~9P~10P~11P~12P~13P~14P~15P~16P~17P~18P~19P~20P)

S E 0 1 F 0 1 A 0 1 Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P 20P

Species

S(E~0,F~0,A~0,Y~U)

S E 0 F 0 A 0 Y U

Observables

S0 S(Y~U!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?U

S1 S(Y~P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?P

S2 S(Y~2P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?2P

S3 S(Y~3P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?3P

S4 S(Y~4P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?4P

S5 S(Y~5P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?5P

S6 S(Y~6P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?6P

S7 S(Y~7P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?7P

S8 S(Y~8P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?8P

S9 S(Y~9P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?9P

S10 S(Y~10P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?10P

S11 S(Y~11P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?11P

S12 S(Y~12P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?12P

S13 S(Y~13P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?13P

S14 S(Y~14P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?14P

S15 S(Y~15P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?15P

S16 S(Y~16P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?16P

S17 S(Y~17P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?17P

S18 S(Y~18P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?18P

S19 S(Y~19P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?19P

S20 S(Y~20P!?)

S E 0 ?1 F 0 ?1 A 0 ?1 Y ?20P

Reaction Rules

S(E~0,F~0,A~0) <-> S(E~1,F~0,A~0)

S E 0 1 take all branches, once each, in any order⬇⬆ F 0 A 0 Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P ?20P

S(E~0,F~0,A~0) <-> S(E~0,F~1,A~0)

S E 0 F 0 1 take all branches, once each, in any order⬇⬆ A 0 Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P ?20P

S(E~1,F~0,A~1) -> S(E~0,F~0,A~0)

S E 0 1 take one or more branches, once each, in any order⬆ F 0 A 0 1 take one or more branches, once each, in any order⬆ Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P ?20P

S(E~0,F~1,A~1) -> S(E~0,F~0,A~0)

S E 0 F 0 1 take one or more branches, once each, in any order⬆ A 0 1 take one or more branches, once each, in any order⬆ Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P ?20P

S(E~1,A~0,Y~U) <-> S(E~1!1,A~0,Y~U!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆U

S(E~1,A~0,Y~P) <-> S(E~1!1,A~0,Y~P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆P

S(E~1,A~0,Y~2P) <-> S(E~1!1,A~0,Y~2P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆2P

S(E~1,A~0,Y~3P) <-> S(E~1!1,A~0,Y~3P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆3P

S(E~1,A~0,Y~4P) <-> S(E~1!1,A~0,Y~4P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆4P

S(E~1,A~0,Y~5P) <-> S(E~1!1,A~0,Y~5P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆5P

S(E~1,A~0,Y~6P) <-> S(E~1!1,A~0,Y~6P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆6P

S(E~1,A~0,Y~7P) <-> S(E~1!1,A~0,Y~7P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆7P

S(E~1,A~0,Y~8P) <-> S(E~1!1,A~0,Y~8P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆8P

S(E~1,A~0,Y~9P) <-> S(E~1!1,A~0,Y~9P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆9P

S(E~1,A~0,Y~10P) <-> S(E~1!1,A~0,Y~10P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆10P

S(E~1,A~0,Y~11P) <-> S(E~1!1,A~0,Y~11P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆11P

S(E~1,A~0,Y~12P) <-> S(E~1!1,A~0,Y~12P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆12P

S(E~1,A~0,Y~13P) <-> S(E~1!1,A~0,Y~13P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆13P

S(E~1,A~0,Y~14P) <-> S(E~1!1,A~0,Y~14P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆14P

S(E~1,A~0,Y~15P) <-> S(E~1!1,A~0,Y~15P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆15P

S(E~1,A~0,Y~16P) <-> S(E~1!1,A~0,Y~16P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆16P

S(E~1,A~0,Y~17P) <-> S(E~1!1,A~0,Y~17P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆17P

S(E~1,A~0,Y~18P) <-> S(E~1!1,A~0,Y~18P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆18P

S(E~1,A~0,Y~19P) <-> S(E~1!1,A~0,Y~19P!1)

S E ⬇⬆1 F 0 ?1 A 0 Y ⬇⬆19P

S(F~1,A~0,Y~P) <-> S(F~1!1,A~0,Y~P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆P

S(F~1,A~0,Y~2P) <-> S(F~1!1,A~0,Y~2P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆2P

S(F~1,A~0,Y~3P) <-> S(F~1!1,A~0,Y~3P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆3P

S(F~1,A~0,Y~4P) <-> S(F~1!1,A~0,Y~4P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆4P

S(F~1,A~0,Y~5P) <-> S(F~1!1,A~0,Y~5P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆5P

S(F~1,A~0,Y~6P) <-> S(F~1!1,A~0,Y~6P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆6P

S(F~1,A~0,Y~7P) <-> S(F~1!1,A~0,Y~7P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆7P

S(F~1,A~0,Y~8P) <-> S(F~1!1,A~0,Y~8P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆8P

S(F~1,A~0,Y~9P) <-> S(F~1!1,A~0,Y~9P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆9P

S(F~1,A~0,Y~10P) <-> S(F~1!1,A~0,Y~10P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆10P

S(F~1,A~0,Y~11P) <-> S(F~1!1,A~0,Y~11P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆11P

S(F~1,A~0,Y~12P) <-> S(F~1!1,A~0,Y~12P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆12P

S(F~1,A~0,Y~13P) <-> S(F~1!1,A~0,Y~13P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆13P

S(F~1,A~0,Y~14P) <-> S(F~1!1,A~0,Y~14P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆14P

S(F~1,A~0,Y~15P) <-> S(F~1!1,A~0,Y~15P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆15P

S(F~1,A~0,Y~16P) <-> S(F~1!1,A~0,Y~16P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆16P

S(F~1,A~0,Y~17P) <-> S(F~1!1,A~0,Y~17P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆17P

S(F~1,A~0,Y~18P) <-> S(F~1!1,A~0,Y~18P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆18P

S(F~1,A~0,Y~19P) <-> S(F~1!1,A~0,Y~19P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆19P

S(F~1,A~0,Y~20P) <-> S(F~1!1,A~0,Y~20P!1)

S E 0 ?1 F ⬇⬆1 A 0 Y ⬇⬆20P

S(E~1!1,A~0,Y~U!1) -> S(E~1,A~1,Y~P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆U P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~P!1) -> S(E~1,A~1,Y~2P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆P 2P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~2P!1) -> S(E~1,A~1,Y~3P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆2P 3P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~3P!1) -> S(E~1,A~1,Y~4P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆3P 4P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~4P!1) -> S(E~1,A~1,Y~5P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆4P 5P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~5P!1) -> S(E~1,A~1,Y~6P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆5P 6P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~6P!1) -> S(E~1,A~1,Y~7P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆6P 7P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~7P!1) -> S(E~1,A~1,Y~8P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆7P 8P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~8P!1) -> S(E~1,A~1,Y~9P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆8P 9P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~9P!1) -> S(E~1,A~1,Y~10P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆9P 10P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~10P!1) -> S(E~1,A~1,Y~11P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆10P 11P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~11P!1) -> S(E~1,A~1,Y~12P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆11P 12P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~12P!1) -> S(E~1,A~1,Y~13P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆12P 13P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~13P!1) -> S(E~1,A~1,Y~14P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆13P 14P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~14P!1) -> S(E~1,A~1,Y~15P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆14P 15P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~15P!1) -> S(E~1,A~1,Y~16P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆15P 16P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~16P!1) -> S(E~1,A~1,Y~17P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆16P 17P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~17P!1) -> S(E~1,A~1,Y~18P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆17P 18P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~18P!1) -> S(E~1,A~1,Y~19P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆18P 19P take all branches, once each, in any order⬇

S(E~1!1,A~0,Y~19P!1) -> S(E~1,A~1,Y~20P)

S E ⬆1 F 0 ?1 A 0 1 take all branches, once each, in any order⬇ Y ⬆19P 20P take all branches, once each, in any order⬇

S(F~1!1,A~0,Y~20P!1) -> S(F~1,A~1,Y~19P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 19P ⬆20P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~19P!1) -> S(F~1,A~1,Y~18P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 18P ⬆19P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~18P!1) -> S(F~1,A~1,Y~17P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 17P ⬆18P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~17P!1) -> S(F~1,A~1,Y~16P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 16P ⬆17P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~16P!1) -> S(F~1,A~1,Y~15P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 15P ⬆16P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~15P!1) -> S(F~1,A~1,Y~14P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 14P ⬆15P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~14P!1) -> S(F~1,A~1,Y~13P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 13P ⬆14P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~13P!1) -> S(F~1,A~1,Y~12P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 12P ⬆13P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~12P!1) -> S(F~1,A~1,Y~11P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 11P ⬆12P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~11P!1) -> S(F~1,A~1,Y~10P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 10P ⬆11P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~10P!1) -> S(F~1,A~1,Y~9P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 9P ⬆10P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~9P!1) -> S(F~1,A~1,Y~8P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 8P ⬆9P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~8P!1) -> S(F~1,A~1,Y~7P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 7P ⬆8P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~7P!1) -> S(F~1,A~1,Y~6P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 6P ⬆7P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~6P!1) -> S(F~1,A~1,Y~5P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 5P ⬆6P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~5P!1) -> S(F~1,A~1,Y~4P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 4P ⬆5P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~4P!1) -> S(F~1,A~1,Y~3P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 3P ⬆4P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~3P!1) -> S(F~1,A~1,Y~2P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y 2P ⬆3P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~2P!1) -> S(F~1,A~1,Y~P)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y P ⬆2P take one or more branches, once each, in any order⬆

S(F~1!1,A~0,Y~P!1) -> S(F~1,A~1,Y~U)

S E 0 ?1 F ⬆1 A 0 1 take all branches, once each, in any order⬇ Y U ⬆P take one or more branches, once each, in any order⬆

S(E~1,A~1) -> S(E~1,A~0)

S E 1 F 0 ?1 A 0 1 take one or more branches, once each, in any order⬆ Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P ?20P

S(F~1,A~1) -> S(F~1,A~0)

S E 0 ?1 F 1 A 0 1 take one or more branches, once each, in any order⬆ Y U P 2P 3P 4P 5P 6P 7P 8P 9P 10P 11P 12P 13P 14P 15P 16P 17P 18P 19P ?20P