Molecules

MPF(B,DP~U~P,NE~P~U~P2,NE2~U~P,CR~U~P,L~C~N,S~no~Ki~Su)

MPF B DP U P NE P U P2 NE2 U P CR U P L C N S no Ki Su

CDC25(B,L~C~N,S~no~Ph~Su~Sq,SD~U~P,AP~U~P~D,SE~U~P,T~A~B~C)

CDC25 B L C N S no Ph Su Sq SD U P AP U P D SE U P T A B C

WEE1(B,L~N,DP~U~P~M,SP~U~P,S~no~Ki~Su)

WEE1 B L N DP U P M SP U P S no Ki Su

MYT1(B,S~no~Ki~Su,L~C)

MYT1 B S no Ki Su L C

PIN1(B,L~N,S~no)

PIN1 B L N S no

PP2A(B,L~C~N,S~no~Ph)

PP2A B L C N S no Ph

ProX(B,S~no~Ki,L~C)

ProX B S no Ki L C

E33(B,Sq~N~Y,S~no,L~C~N)

E33 B Sq N Y S no L C N

CHK1(B,AP~U~P,S~no~Ki~Su,L~C~N)

CHK1 B AP U P S no Ki Su L C N

CHK2(B,L~C~N,S~no~Ki~Su,AP~U~P)

CHK2 B L C N S no Ki Su AP U P

CRM1(L~M)

CRM1 L M

Importin(L~M,CdcFI~Y~N)

Importin L M CdcFI Y N

DUM(L~C~N~M)

DUM L C N M

PLK1(B,L~C~N,S~no~Ki~Su,AP~U~P)

PLK1 B L C N S no Ki Su AP U P

H3(B,L~C~N,S~no~Su,AP~U~P)

H3 B L C N S no Su AP U P

Species

MPF(B,DP~U,NE~U,NE2~U,CR~P,L~C,S~no)

MPF B DP U NE U NE2 U CR P L C S no

CDC25(B,L~N,S~no,SD~U,AP~P,SE~U,T~A)

CDC25 B L N S no SD U AP P SE U T A

CDC25(B,L~C,S~no,SD~U,AP~U,SE~U,T~B)

CDC25 B L C S no SD U AP U SE U T B

CDC25(B,S~no,SD~U,AP~U,SE~U,T~C,L~C)

CDC25 B S no SD U AP U SE U T C L C

WEE1(B,L~N,DP~U,SP~U,S~no)

WEE1 B L N DP U SP U S no

MYT1(B,S~no,L~C)

MYT1 B S no L C

PIN1(B,L~N,S~no)

PIN1 B L N S no

PP2A(B,S~no,L~C)

PP2A B S no L C

ProX(B,S~no,L~C)

ProX B S no L C

E33(B,Sq~N,S~no,L~C)

E33 B Sq N S no L C

CHK1(B,AP~U,S~no,L~C)

CHK1 B AP U S no L C

CHK2(B,L~N,S~no,AP~U)

CHK2 B L N S no AP U

CHK1(B,AP~P,S~no,L~C)

CHK1 B AP P S no L C

CHK1(B,AP~P,S~no,L~N)

CHK1 B AP P S no L N

CHK2(B,L~N,S~no,AP~P)

CHK2 B L N S no AP P

CRM1(L~M)

CRM1 L M

Importin(L~M,CdcFI~N)

Importin L M CdcFI N

DUM(L~C)

DUM L C

DUM(L~N)

DUM L N

DUM(L~M)

DUM L M

PP2A(B,L~N,S~no)

PP2A B L N S no

E33(B,Sq~N,S~no,L~N)

E33 B Sq N S no L N

PLK1(B,L~C,S~no,AP~U)

PLK1 B L C S no AP U

PLK1(B,L~N,S~no,AP~U)

PLK1 B L N S no AP U

H3(B,L~N,S~no,AP~U)

H3 B L N S no AP U

Observables

Histone_H3 H3(AP~P)

H3 ?B L C ?N S no ?Su AP P

Tot_WEE1 WEE1()

WEE1 ?B L ?N DP U P ?M SP U ?P S no Ki ?Su

Active_WEE1 WEE1(DP~U)

WEE1 ?B L ?N DP U SP U ?P S no Ki ?Su

Super_WEE1 WEE1(SP~P,DP~U)

WEE1 ?B L ?N DP U SP P S no Ki ?Su

Total_MYT1 MYT1()

MYT1 ?B S no Ki ?Su L ?C

Tot_PLK PLK1()

PLK1 ?B L C ?N S no Ki ?Su AP U ?P

Ca_PLK PLK1(L~C,AP~P)

PLK1 ?B L C S no Ki ?Su AP P

Na_PLK PLK1(L~N,AP~P)

PLK1 ?B L N S no Ki ?Su AP P

Active_PLK PLK1(AP~P)

PLK1 ?B L C ?N S no Ki ?Su AP P

Tot_CDC25a CDC25(T~A)

CDC25 ?B L C ?N S no Ph Su ?Sq SD U ?P AP U P ?D SE U ?P T A

A_CDC25a CDC25(T~A,AP~P,S~no)

CDC25 ?B L C ?N S no SD U ?P AP P SE U ?P T A

seq_CDC25a CDC25(T~A,B!1).E33(B!1,Sq~Y)

CDC25 B L C ?N S no Ph Su ?Sq SD U ?P AP U P ?D SE U ?P T A E33 B Sq Y S ?no L C ?N

Na_Cdc25a_N CDC25(T~A,AP~P,S~no,L~N)

CDC25 ?B L N S no SD U ?P AP P SE U ?P T A

Tot_CDC25b CDC25(T~B)

CDC25 ?B L C ?N S no Ph Su ?Sq SD U ?P AP U P ?D SE U ?P T B

Act_CDC25b CDC25(T~B,AP~P,S~no)

CDC25 ?B L C ?N S no SD U ?P AP P SE U ?P T B

seq_CDC25b CDC25(B!1,T~B).E33(B!1,Sq~Y)

CDC25 B L C ?N S no Ph Su ?Sq SD U ?P AP U P ?D SE U ?P T B E33 B Sq Y S ?no L C ?N

Na_Cdc25b CDC25(T~B,AP~P,S~no,L~N)

CDC25 ?B L N S no SD U ?P AP P SE U ?P T B

Ca_CDC25b CDC25(T~B,AP~P,S~no,L~C)

CDC25 ?B L C S no SD U ?P AP P SE U ?P T B

Tot_CDC25c CDC25(T~C)

CDC25 ?B L C ?N S no Ph Su ?Sq SD U ?P AP U P ?D SE U ?P T C

Ca_CDC25c CDC25(T~C,AP~P,S~no,L~C)

CDC25 ?B L C S no SD U ?P AP P SE U ?P T C

Na_CDC25c CDC25(T~C,AP~P,L~N)

CDC25 ?B L N S no Ph Su ?Sq SD U ?P AP P SE U ?P T C

seq_CDC25c CDC25(B!1,T~C).E33(B!1,Sq~Y)

CDC25 B L C ?N S no Ph Su ?Sq SD U ?P AP U P ?D SE U ?P T C E33 B Sq Y S ?no L C ?N

Ca_MPF MPF(L~C,DP~U)

MPF ?B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki ?Su

Tot_MPF MPF()

MPF ?B DP U ?P NE P U ?P2 NE2 U ?P CR U ?P L C ?N S no Ki ?Su

C_MPF MPF(L~C)

MPF ?B DP U ?P NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki ?Su

N_MPF MPF(L~N)

MPF ?B DP U ?P NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki ?Su

Na_MPF MPF(L~N,DP~U)

MPF ?B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki ?Su

Act_CHK1 CHK1(AP~P,L~C)

CHK1 ?B AP P S no Ki ?Su L C

Na_CHK1 CHK1(AP~P,L~N)

CHK1 ?B AP P S no Ki ?Su L N

Act_CHK2 CHK2(AP~P,L~C)

CHK2 ?B L C S no Ki ?Su AP P

Na_CHK2 CHK2(AP~P,L~N)

CHK2 ?B L N S no Ki ?Su AP P

Reaction Rules

DUM(L~C) -> DUM(L~C) + MPF(B,DP~U,NE~U,NE2~U,CR~P,L~C,S~no)

DUM L C MPF B DP U NE U NE2 U CR P L C S no synthesized

DUM(L~C) -> DUM(L~C) + CDC25(B,L~C,S~no,SD~U,AP~P,SE~U,T~A)

DUM L C CDC25 B L C S no SD U AP P SE U T A synthesized

DUM(L~C) -> DUM(L~C) + CDC25(B,L~C,S~no,SD~U,AP~U,SE~U,T~B)

DUM L C CDC25 B L C S no SD U AP U SE U T B synthesized

DUM(L~N) -> DUM(L~N) + CDC25(B,S~no,SD~U,AP~U,SE~U,T~C,L~N)

DUM L N CDC25 B L N S no SD U AP U SE U T C synthesized

DUM(L~N) -> DUM(L~N) + WEE1(B,L~N,DP~U,SP~U,S~no)

DUM L N WEE1 B L N DP U SP U S no synthesized

DUM(L~C) -> DUM(L~C) + MYT1(B,S~no,L~C)

DUM L C MYT1 B S no L C synthesized

DUM(L~C) + MPF(B,DP,S~no) -> DUM(L~C)

DUM L C MPF B DP NE P U ?P2 NE2 U ?P CR U ?P L C ?N S no degraded

DUM(L~C) + CDC25(B,S~no) -> DUM(L~C)

DUM L C CDC25 B L C ?N S no SD U ?P AP U P ?D SE U ?P T A B ?C degraded

DUM(L~C) + WEE1(B,L~N,S~no) -> DUM(L~C)

DUM L C WEE1 B L N DP U P ?M SP U ?P S no degraded

DUM(L~C) + MYT1(B,S~no,L~C) -> DUM(L~C)

DUM L C MYT1 B S no L C degraded

CDC25(B,L~C,S~no,AP~U,T~B) -> CDC25(B,L~C,S~no,AP~P,T~B)

CDC25 B L C S no SD U ?P AP U P take all branches, once each, in any order⬇ SE U ?P T B

CDC25(B,L~C,S~no,AP~D,T~B) -> CDC25(B,L~C,S~no,AP~P,T~B)

CDC25 B L C S no SD U ?P AP P D take one or more branches, once each, in any order⬆ SE U ?P T B

CDC25(B,L~N,S~no,AP~U,T~B) -> CDC25(B,L~N,S~no,AP~P,T~B)

CDC25 B L N S no SD U ?P AP U P take all branches, once each, in any order⬇ SE U ?P T B

CDC25(B,L~N,S~no,AP~D,T~B) -> CDC25(B,L~N,S~no,AP~P,T~B)

CDC25 B L N S no SD U ?P AP P D take one or more branches, once each, in any order⬆ SE U ?P T B

CDC25(B,L~C,S~no,AP~U,T~B) + CDC25(B,L~C,S~no,AP~P,T~A) -> CDC25(B,L~C,S~no,AP~P,T~B) + CDC25(B,L~C,S~no,AP~P,T~A)

CDC25 B L C S no SD U ?P AP U P take all branches, once each, in any order⬇ SE U ?P T B CDC25 B L C S no SD U ?P AP P SE U ?P T A

CDC25(B,L~C,S~no,AP~D,T~B) + CDC25(B,L~C,S~no,AP~P,T~A) -> CDC25(B,L~C,S~no,AP~P,T~B) + CDC25(B,L~C,S~no,AP~P,T~A)

CDC25 B L C S no SD U ?P AP P D take one or more branches, once each, in any order⬆ SE U ?P T B CDC25 B L C S no SD U ?P AP P SE U ?P T A

CDC25(B,L~N,S~no,AP~U,T~B) + CDC25(B,L~N,S~no,AP~P,T~A) -> CDC25(B,L~N,S~no,AP~P,T~B) + CDC25(B,L~N,S~no,AP~P,T~A)

CDC25 B L N S no SD U ?P AP U P take all branches, once each, in any order⬇ SE U ?P T B CDC25 B L N S no SD U ?P AP P SE U ?P T A

CDC25(B,L~N,S~no,AP~D,T~B) + CDC25(B,L~N,S~no,AP~P,T~A) -> CDC25(B,L~N,S~no,AP~P,T~B) + CDC25(B,L~N,S~no,AP~P,T~A)

CDC25 B L N S no SD U ?P AP P D take one or more branches, once each, in any order⬆ SE U ?P T B CDC25 B L N S no SD U ?P AP P SE U ?P T A

MPF(B,DP~P,S~no,L~C) + CDC25(B,L~C,S~no,AP~P) <-> MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P)

MPF ⬇⬆B DP P NE P U ?P2 NE2 U ?P CR U ?P L C S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L C S no Ph take all branches, once each, in any order⬇⬆ SD U ?P AP P SE U ?P T A B ?C

MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P) -> MPF(B,DP~U,S~no,L~C) + CDC25(B,L~C,S~no,AP~P)

MPF ⬆B DP U P take one or more branches, once each, in any order⬆ NE P U ?P2 NE2 U ?P CR U ?P L C S no Su take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L C S no Ph take one or more branches, once each, in any order⬆ SD U ?P AP P SE U ?P T A B ?C

MPF(B,DP~P,S~no,L~N) + CDC25(B,L~N,S~no,AP~P) <-> MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,L~N)

MPF ⬇⬆B DP P NE P U ?P2 NE2 U ?P CR U ?P L N S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L N S no Ph take all branches, once each, in any order⬇⬆ SD U ?P AP P SE U ?P T A B ?C

MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,L~N) -> MPF(B,DP~U,S~no,L~N) + CDC25(B,L~N,S~no,AP~P)

MPF ⬆B DP U P take one or more branches, once each, in any order⬆ NE P U ?P2 NE2 U ?P CR U ?P L N S no Su take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L N S no Ph take one or more branches, once each, in any order⬆ SD U ?P AP P SE U ?P T A B ?C

MPF(B,DP~P,S~no,L~C) + CDC25(B,L~C,S~no,AP~P,T~C) <-> MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P,T~C)

MPF ⬇⬆B DP P NE P U ?P2 NE2 U ?P CR U ?P L C S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L C S no Ph take all branches, once each, in any order⬇⬆ SD U ?P AP P SE U ?P T C

MPF(B!0,DP~P,S~Su,L~C).CDC25(B!0,L~C,S~Ph,AP~P,T~C) -> MPF(B,DP~U,S~no,L~C) + CDC25(B,L~C,S~no,AP~P,T~C)

MPF ⬆B DP U P take one or more branches, once each, in any order⬆ NE P U ?P2 NE2 U ?P CR U ?P L C S no Su take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L C S no Ph take one or more branches, once each, in any order⬆ SD U ?P AP P SE U ?P T C

MPF(B,DP~P,S~no,L~N) + CDC25(B,L~N,S~no,AP~P,T~C) <-> MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,T~C,L~N)

MPF ⬇⬆B DP P NE P U ?P2 NE2 U ?P CR U ?P L N S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L N S no Ph take all branches, once each, in any order⬇⬆ SD U ?P AP P SE U ?P T C

MPF(B!0,DP~P,S~Su,L~N).CDC25(B!0,S~Ph,AP~P,L~N,T~C) -> MPF(B,DP~U,S~no,L~N) + CDC25(B,L~N,S~no,AP~P,T~C)

MPF ⬆B DP U P take one or more branches, once each, in any order⬆ NE P U ?P2 NE2 U ?P CR U ?P L N S no Su take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L N S no Ph take one or more branches, once each, in any order⬆ SD U ?P AP P SE U ?P T C

CDC25(B,L~C,S~no,T~C,AP~P) + DUM(L~C) -> CDC25(B,L~C,S~no,T~C,AP~U) + DUM(L~C)

CDC25 B L C S no SD U ?P AP U P take one or more branches, once each, in any order⬆ SE U ?P T C DUM L C

CDC25(B,L~N,S~no,T~C,AP~P) + DUM(L~N) -> CDC25(B,S~no,T~C,AP~U,L~N) + DUM(L~N)

CDC25 B L N S no SD U ?P AP U P take one or more branches, once each, in any order⬆ SE U ?P T C DUM L N

CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,Sq~Y,L~C,S~no) -> E33(B,Sq~N,L~C,S~no)

CDC25 ⬆B L C S Sq SD U AP U P ?D SE P T A B ?C degraded ⬆ E33 ⬆B Sq N Y take one or more branches, once each, in any order⬆ S no L C

MPF(B,L~N,DP~U,S~no) + CDC25(B,L~N,S~no,AP~U,T~C) <-> MPF(B!0,L~N,DP~U,S~Ki).CDC25(B!0,L~N,S~Su,AP~U,T~C)

MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ SD U ?P AP U SE U ?P T C

MPF(B!0,L~N,DP~U,S~Ki).CDC25(B!0,L~N,S~Su,AP~U,T~C) -> MPF(B,L~N,DP~U,S~no) + CDC25(B,L~N,S~no,AP~P,T~C)

MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L N S no Su take one or more branches, once each, in any order⬆ SD U ?P AP U P take all branches, once each, in any order⬇ SE U ?P T C

MPF(B,L~C,DP~U,S~no) + CDC25(B,L~C,S~no,AP~U,T~C) <-> MPF(B!0,L~C,DP~U,S~Ki).CDC25(B!0,L~C,S~Su,AP~U,T~C)

MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L C S no Su take all branches, once each, in any order⬇⬆ SD U ?P AP U SE U ?P T C

MPF(B!0,L~C,DP~U,S~Ki).CDC25(B!0,L~C,S~Su,AP~U,T~C) -> MPF(B,L~C,DP~U,S~no) + CDC25(B,L~C,S~no,AP~P,T~C)

MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L C S no Su take one or more branches, once each, in any order⬆ SD U ?P AP U P take all branches, once each, in any order⬇ SE U ?P T C

MPF(B,L~N,DP~U,S~no) + WEE1(B,L~N,DP~U,S~no) <-> MPF(B!0,L~N,DP~U,S~Ki).WEE1(B!0,L~N,DP~U,S~Su)

MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take all branches, once each, in any order⬇⬆ ⬇⬆ WEE1 ⬇⬆B L N DP U SP U ?P S no Su take all branches, once each, in any order⬇⬆

⚠️ Molecule order mismatch - skipping reaction: reactants: MPF, WEE1 products: WEE1, MPF

PIN1(B,L~N,S~no) + WEE1(B,L~N,DP~P,S~no) -> PIN1(B,L~N,S~no)

PIN1 B L N S no WEE1 B L N DP P SP U ?P S no degraded

PIN1(B,L~N,S~no) + WEE1(B,L~N,DP~M,S~no) -> PIN1(B,L~N,S~no)

PIN1 B L N S no WEE1 B L N DP M SP U ?P S no degraded

⚠️ Molecule order mismatch - skipping reaction: reactants: WEE1, MPF products: MPF, WEE1
⚠️ Molecule order mismatch - skipping reaction: reactants: MPF, WEE1 products: WEE1, MPF
⚠️ Molecule order mismatch - skipping reaction: reactants: WEE1, MPF products: MPF, WEE1
⚠️ Molecule order mismatch - skipping reaction: reactants: MPF, WEE1 products: WEE1, MPF
⚠️ Molecule order mismatch - skipping reaction: reactants: MYT1, MPF products: MPF, MYT1
⚠️ Molecule order mismatch - skipping reaction: reactants: MPF, MYT1 products: MYT1, MPF
⚠️ Molecule order mismatch - skipping reaction: reactants: ProX, MPF products: MPF, ProX
⚠️ Molecule order mismatch - skipping reaction: reactants: MPF, ProX products: ProX, MPF

CHK1(B,AP~P,S~no,L~C) + CDC25(B,L~C,S~no,SD~U,SE~U) <-> CHK1(B!0,AP~P,S~Ki,L~C).CDC25(B!0,L~C,SD~U,SE~U,S~Su)

CHK1 ⬇⬆B AP P S no Ki take all branches, once each, in any order⬇⬆ L C ⬇⬆ CDC25 ⬇⬆B L C S no Su take all branches, once each, in any order⬇⬆ SD U AP U P ?D SE U T A B ?C

CHK1(B,AP~P,S~no,L~N) + CDC25(B,L~N,S~no,SD~U,SE~U) <-> CHK1(B!0,AP~P,S~Ki,L~N).CDC25(B!0,L~N,SD~U,SE~U,S~Su)

CHK1 ⬇⬆B AP P S no Ki take all branches, once each, in any order⬇⬆ L N ⬇⬆ CDC25 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ SD U AP U P ?D SE U T A B ?C

CHK1(B!0,AP~P,S~Ki,L~C).CDC25(B!0,L~C,SD~U,SE~U,S~Su) -> CHK1(B,AP~P,S~no,L~C) + CDC25(B,L~C,S~no,SD~U,SE~P)

CHK1 ⬆B AP P S no Ki take one or more branches, once each, in any order⬆ L C ⬆ CDC25 ⬆B L C S no Su take one or more branches, once each, in any order⬆ SD U AP U P ?D SE U P take all branches, once each, in any order⬇ T A B ?C

CHK1(B!0,AP~P,S~Ki,L~N).CDC25(B!0,L~N,SD~U,SE~U,S~Su) -> CHK1(B,AP~P,S~no,L~N) + CDC25(B,L~N,S~no,SD~U,SE~P)

CHK1 ⬆B AP P S no Ki take one or more branches, once each, in any order⬆ L N ⬆ CDC25 ⬆B L N S no Su take one or more branches, once each, in any order⬆ SD U AP U P ?D SE U P take all branches, once each, in any order⬇ T A B ?C

CHK2(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~U,SE~U) <-> CHK2(B!0,L~C,S~Ki,AP~P).CDC25(B!0,L~C,SD~U,SE~U,S~Su)

CHK2 ⬇⬆B L C S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ CDC25 ⬇⬆B L C S no Su take all branches, once each, in any order⬇⬆ SD U AP U P ?D SE U T A B ?C

CHK2(B!0,L~C,S~Ki,AP~P).CDC25(B!0,L~C,SD~U,SE~U,S~Su) -> CHK2(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~U,SE~P)

CHK2 ⬆B L C S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ CDC25 ⬆B L C S no Su take one or more branches, once each, in any order⬆ SD U AP U P ?D SE U P take all branches, once each, in any order⬇ T A B ?C

CHK2(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~U,SE~U) <-> CHK2(B!0,L~N,S~Ki,AP~P).CDC25(B!0,L~N,SD~U,SE~U,S~Su)

CHK2 ⬇⬆B L N S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ CDC25 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ SD U AP U P ?D SE U T A B ?C

CHK2(B!0,L~N,S~Ki,AP~P).CDC25(B!0,L~N,SD~U,SE~U,S~Su) -> CHK2(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~U,SE~P)

CHK2 ⬆B L N S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ CDC25 ⬆B L N S no Su take one or more branches, once each, in any order⬆ SD U AP U P ?D SE U P take all branches, once each, in any order⬇ T A B ?C

⚠️ Molecule order mismatch - skipping reaction: reactants: CHK1, WEE1 products: WEE1, CHK1
⚠️ Molecule order mismatch - skipping reaction: reactants: WEE1, CHK1 products: CHK1, WEE1

PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SE~P) <-> PP2A(B!0,L~C,S~Ph).CDC25(B!0,L~C,S~Su,SE~P)

PP2A ⬇⬆B L C S no Ph take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L C S no Su take all branches, once each, in any order⬇⬆ SD U ?P AP U P ?D SE P T A B ?C

PP2A(B!0,L~C,S~Ph).CDC25(B!0,L~C,S~Su,SE~P) -> PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SE~U)

PP2A ⬆B L C S no Ph take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L C S no Su take one or more branches, once each, in any order⬆ SD U ?P AP U P ?D SE U P take one or more branches, once each, in any order⬆ T A B ?C

PP2A(B,L~N,S~no) + CDC25(B,L~N,S~no,SE~P) <-> PP2A(B!0,S~Ph,L~N).CDC25(B!0,L~N,S~Su,SE~P)

PP2A ⬇⬆B L N S no Ph take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ SD U ?P AP U P ?D SE P T A B ?C

PP2A(B!0,S~Ph,L~N).CDC25(B!0,L~N,S~Su,SE~P) -> PP2A(B,L~N,S~no) + CDC25(B,L~N,S~no,SE~U)

PP2A ⬆B L N S no Ph take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L N S no Su take one or more branches, once each, in any order⬆ SD U ?P AP U P ?D SE U P take one or more branches, once each, in any order⬆ T A B ?C

⚠️ Molecule order mismatch - skipping reaction: reactants: PP2A, CDC25, E33 products: PP2A, E33, CDC25

PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SD~P) -> PP2A(B,L~C,S~no) + CDC25(B,L~C,S~no,SD~U)

PP2A B L C S no CDC25 B L C S no SD U P take one or more branches, once each, in any order⬆ AP U P ?D SE U ?P T A B ?C

PP2A(B,L~C,S~no) + CDC25(B,L~N,S~no,SD~P) -> PP2A(B,L~C,S~no) + CDC25(B,L~N,S~no,SD~U)

PP2A B L C S no CDC25 B L N S no SD U P take one or more branches, once each, in any order⬆ AP U P ?D SE U ?P T A B ?C

⚠️ Molecule order mismatch - skipping reaction: reactants: E33, CDC25 products: CDC25, E33
⚠️ Molecule order mismatch - skipping reaction: reactants: E33, CDC25 products: CDC25, E33

CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,L~C,S~no,Sq~N) -> CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,L~C,S~no,Sq~Y)

CDC25 B L C S Sq SD U AP U P ?D SE P T A B ?C E33 B Sq N Y take all branches, once each, in any order⬇ S no L C

⚠️ Molecule order mismatch - skipping reaction: reactants: CDC25, E33 products: E33, CDC25

CDC25(B!0,L~N,SD~U,S~Sq,SE~P).E33(B!0,L~N,S~no,Sq~N) -> CDC25(B!0,L~C,SD~U,S~Sq,SE~P).E33(B!0,L~C,S~no,Sq~Y)

CDC25 B L C N take one or more branches, once each, in any order⬆ S Sq SD U AP U P ?D SE P T A B ?C E33 B Sq N Y take all branches, once each, in any order⬇ S no L C N take one or more branches, once each, in any order⬆

⚠️ Molecule order mismatch - skipping reaction: reactants: CDC25, E33 products: E33, CDC25

CHK1(B,AP~P,S~no,L~C) + CDC25(B,L~C,S~no,AP~P,T~A) -> CHK1(B,AP~P,S~no,L~C)

CHK1 B AP P S no L C CDC25 B L C S no SD U ?P AP P SE U ?P T A degraded

CHK2(B,AP~P,S~no,L~C) + CDC25(B,L~C,S~no,AP~P,T~A) -> CHK2(B,AP~P,S~no,L~C)

CHK2 B L C S no AP P CDC25 B L C S no SD U ?P AP P SE U ?P T A degraded

CHK1(B,AP~P,S~no,L~N) + CDC25(B,L~N,S~no,AP~P,T~A) -> CHK1(B,AP~P,S~no,L~N)

CHK1 B AP P S no L N CDC25 B L N S no SD U ?P AP P SE U ?P T A degraded

CHK2(B,AP~P,S~no,L~N) + CDC25(B,L~N,S~no,AP~P,T~A) -> CHK2(B,AP~P,S~no,L~N)

CHK2 B L N S no AP P CDC25 B L N S no SD U ?P AP P SE U ?P T A degraded

⚠️ Molecule order mismatch - skipping reaction: reactants: CHK1, CDC25 products: CDC25, CHK1
⚠️ Molecule order mismatch - skipping reaction: reactants: CDC25, CHK1 products: CHK1, CDC25
⚠️ Molecule order mismatch - skipping reaction: reactants: CHK1, CDC25 products: CDC25, CHK1
⚠️ Molecule order mismatch - skipping reaction: reactants: CDC25, CHK1 products: CHK1, CDC25

Importin(L~M) + E33(B,Sq~N,S~no,L~C) -> Importin(L~M) + E33(B,Sq~N,S~no,L~N)

Importin L M CdcFI Y ?N E33 B Sq N S no L C N take all branches, once each, in any order⬇

DUM(L~M) + E33(B,Sq~N,S~no,L~N) -> DUM(L~M) + E33(B,Sq~N,S~no,L~C)

DUM L M E33 B Sq N S no L C N take one or more branches, once each, in any order⬆

Importin(L~M) + CHK1(B,S~no,L~C) -> Importin(L~M) + CHK1(B,S~no,L~N)

Importin L M CdcFI Y ?N CHK1 B AP U ?P S no L C N take all branches, once each, in any order⬇

DUM(L~M) + CHK1(B,S~no,L~N) -> DUM(L~M) + CHK1(B,S~no,L~C)

DUM L M CHK1 B AP U ?P S no L C N take one or more branches, once each, in any order⬆

Importin(L~M) + CHK2(B,S~no,L~C) -> Importin(L~M) + CHK2(B,S~no,L~N)

Importin L M CdcFI Y ?N CHK2 B L C N take all branches, once each, in any order⬇ S no AP U ?P

DUM(L~M) + CHK2(B,AP~P,S~no,L~N) -> DUM(L~M) + CHK2(B,AP~P,S~no,L~C)

DUM L M CHK2 B L C N take one or more branches, once each, in any order⬆ S no AP P

Importin(L~M) + CDC25(B,L~C,S~no,T~A) -> Importin(L~M) + CDC25(B,L~N,S~no,T~A)

Importin L M CdcFI Y ?N CDC25 B L C N take all branches, once each, in any order⬇ S no SD U ?P AP U P ?D SE U ?P T A

Importin(L~M) + CDC25(B,L~C,S~no,T~B) -> Importin(L~M) + CDC25(B,L~N,S~no,T~B)

Importin L M CdcFI Y ?N CDC25 B L C N take all branches, once each, in any order⬇ S no SD U ?P AP U P ?D SE U ?P T B

CRM1(L~M) + CDC25(B,L~N,S~no,T~A) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~A)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆ S no SD U ?P AP U P ?D SE U ?P T A

CRM1(L~M) + CDC25(B,L~N,S~no,T~B) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~B)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆ S no SD U ?P AP U P ?D SE U ?P T B

Importin(L~M,CdcFI~N) + CDC25(B,L~C,S~no,T~C) -> Importin(L~M,CdcFI~N) + CDC25(B,L~N,S~no,,T~C)

Importin L M CdcFI N CDC25 B L C N take all branches, once each, in any order⬇ S no SD U ?P AP U P ?D SE U ?P T C

Importin(L~M,CdcFI~Y) + CDC25(B,L~C,S~no,T~C) -> Importin(L~M,CdcFI~Y) + CDC25(B,L~N,S~no,T~C)

Importin L M CdcFI Y CDC25 B L C N take all branches, once each, in any order⬇ S no SD U ?P AP U P ?D SE U ?P T C

CRM1(L~M) + CDC25(B,L~N,S~no,T~C,SD~P) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~C,SD~P)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆ S no SD P AP U P ?D SE U ?P T C

CRM1(L~M) + CDC25(B,L~N,S~no,T~C,SD~U) -> CRM1(L~M) + CDC25(B,L~C,S~no,T~C,SD~U)

CRM1 L M CDC25 B L C N take one or more branches, once each, in any order⬆ S no SD U AP U P ?D SE U ?P T C

PLK1(B,L~N,S~no) + CRM1(L~M) -> PLK1(B,L~C,S~no) + CRM1(L~M)

PLK1 B L C N take one or more branches, once each, in any order⬆ S no AP U ?P CRM1 L M

PLK1(B,L~C,S~no) + Importin(L~M) -> PLK1(B,L~N,S~no) + Importin(L~M)

PLK1 B L C N take all branches, once each, in any order⬇ S no AP U ?P Importin L M CdcFI Y ?N

CRM1(L~M) + MPF(B,L~N,NE~U,S~no) -> CRM1(L~M) + MPF(B,L~C,NE~U,S~no)

CRM1 L M MPF B DP U ?P NE U NE2 U ?P CR U ?P L C N take one or more branches, once each, in any order⬆ S no

CRM1(L~M) + MPF(B,L~N,NE~P,S~no) -> CRM1(L~M) + MPF(B,L~C,NE~P,S~no)

CRM1 L M MPF B DP U ?P NE P NE2 U ?P CR U ?P L C N take one or more branches, once each, in any order⬆ S no

Importin(L~M) + MPF(B,L~C,NE~U,NE2~U,CR~P,S~no) -> Importin(L~M) + MPF(B,L~N,NE~U,NE2~U,CR~P,S~no)

Importin L M CdcFI Y ?N MPF B DP U ?P NE U NE2 U CR P L C N take all branches, once each, in any order⬇ S no

Importin(L~M) + MPF(B,L~C,NE~U,NE2~U,CR~U,S~no) -> Importin(L~M) + MPF(B,L~N,NE~U,NE2~U,CR~U,S~no)

Importin L M CdcFI Y ?N MPF B DP U ?P NE U NE2 U CR U L C N take all branches, once each, in any order⬇ S no

Importin(L~M) + MPF(B,L~C,NE2~P,CR~P,S~no) -> Importin(L~M) + MPF(B,L~N,NE2~P,CR~P,S~no)

Importin L M CdcFI Y ?N MPF B DP U ?P NE P U ?P2 NE2 P CR P L C N take all branches, once each, in any order⬇ S no

Importin(L~M) + MPF(B,L~C,NE2~P,CR~U,S~no) -> Importin(L~M) + MPF(B,L~N,NE2~P,CR~U,S~no)

Importin L M CdcFI Y ?N MPF B DP U ?P NE P U ?P2 NE2 P CR U L C N take all branches, once each, in any order⬇ S no

Importin(L~M) + MPF(B,L~C,NE~P,NE2~U,CR~U,S~no) -> Importin(L~M) + MPF(B,L~N,NE~P,NE2~U,CR~U,S~no)

Importin L M CdcFI Y ?N MPF B DP U ?P NE P NE2 U CR U L C N take all branches, once each, in any order⬇ S no

Importin(L~M,CdcFI~N) + MPF(B,L~C,DP~U,CR~U,S~no) -> Importin(L~M,CdcFI~Y) + MPF(B,L~C,DP~U,CR~U,S~no)

Importin L M CdcFI Y N take one or more branches, once each, in any order⬆ MPF B DP U NE P U ?P2 NE2 U ?P CR U L C S no

DUM(L~M) + Importin(L~M,CdcFI~Y) -> DUM(L~M) + Importin(L~M,CdcFI~N)

DUM L M Importin L M CdcFI Y N take all branches, once each, in any order⬇

CHK1(B,AP~P,S~no) + DUM(L~C) -> CHK1(B,AP~U,S~no) + DUM(L~C)

CHK1 B AP U P take one or more branches, once each, in any order⬆ S no L C ?N DUM L C

CHK2(B,S~no,AP~P) + DUM(L~C) -> CHK2(B,S~no,AP~U) + DUM(L~C)

CHK2 B L C ?N S no AP U P take one or more branches, once each, in any order⬆ DUM L C

CHK1(B,AP~U,S~no) -> CHK1(B,AP~P,S~no)

CHK1 B AP U P take all branches, once each, in any order⬇ S no L C ?N

CHK2(B,S~no,AP~U) -> CHK2(B,S~no,AP~P)

CHK2 B L C ?N S no AP U P take all branches, once each, in any order⬇

MPF(B,L~C,CR~P,S~no) + CDC25(B,L~C,S~no,AP~P) <-> MPF(B!0,L~C,CR~P,S~Su).CDC25(B!0,L~C,S~Ph,AP~P)

MPF ⬇⬆B DP U ?P NE P U ?P2 NE2 U ?P CR P L C S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ CDC25 ⬇⬆B L C S no Ph take all branches, once each, in any order⬇⬆ SD U ?P AP P SE U ?P T A B ?C

MPF(B!0,L~C,CR~P,S~Su).CDC25(B!0,L~C,S~Ph,AP~P) -> MPF(B,L~C,S~no,CR~U) + CDC25(B,L~C,S~no,AP~P)

MPF ⬆B DP U ?P NE P U ?P2 NE2 U ?P CR U P take one or more branches, once each, in any order⬆ L C S no Su take one or more branches, once each, in any order⬆ ⬆ CDC25 ⬆B L C S no Ph take one or more branches, once each, in any order⬆ SD U ?P AP P SE U ?P T A B ?C

PLK1(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~U) <-> PLK1(B!0,L~C,AP~P,S~Ki).CDC25(B!0,L~C,S~Su,SD~U)

PLK1 ⬇⬆B L C S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ CDC25 ⬇⬆B L C S no Su take all branches, once each, in any order⬇⬆ SD U AP U P ?D SE U ?P T A B ?C

PLK1(B!0,L~C,S~Ki,AP~P).CDC25(B!0,L~C,SD~U,S~Su) -> PLK1(B,L~C,S~no,AP~P) + CDC25(B,L~C,S~no,SD~P)

PLK1 ⬆B L C S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ CDC25 ⬆B L C S no Su take one or more branches, once each, in any order⬆ SD U P take all branches, once each, in any order⬇ AP U P ?D SE U ?P T A B ?C

PLK1(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~U) <-> PLK1(B!0,L~N,AP~P,S~Ki).CDC25(B!0,L~N,S~Su,SD~U)

PLK1 ⬇⬆B L N S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ CDC25 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ SD U AP U P ?D SE U ?P T A B ?C

PLK1(B!0,L~N,S~Ki,AP~P).CDC25(B!0,L~N,SD~U,S~Su) -> PLK1(B,L~N,S~no,AP~P) + CDC25(B,L~N,S~no,SD~P)

PLK1 ⬆B L N S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ CDC25 ⬆B L N S no Su take one or more branches, once each, in any order⬆ SD U P take all branches, once each, in any order⬇ AP U P ?D SE U ?P T A B ?C

⚠️ Molecule order mismatch - skipping reaction: reactants: PLK1, CDC25, E33 products: PLK1, E33, CDC25

PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,NE~U,NE2~U) <-> PLK1(B!0,L~N,AP~P,S~Ki).MPF(B!0,L~N,NE~U,NE2~U,S~Su)

PLK1 ⬇⬆B L N S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ MPF ⬇⬆B DP U ?P NE U NE2 U CR U ?P L N S no Su take all branches, once each, in any order⬇⬆

PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,NE~U,NE2~U,S~no) <-> PLK1(B!0,AP~P,L~C,S~Ki).MPF(B!0,L~C,S~Su,NE~U,NE2~U)

PLK1 ⬇⬆B L C S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ MPF ⬇⬆B DP U ?P NE U NE2 U CR U ?P L C S no Su take all branches, once each, in any order⬇⬆

PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,NE~U,NE2~P) <-> PLK1(B!0,L~N,AP~P,S~Ki).MPF(B!0,L~N,NE~U,NE2~P,S~Su)

PLK1 ⬇⬆B L N S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ MPF ⬇⬆B DP U ?P NE U NE2 P CR U ?P L N S no Su take all branches, once each, in any order⬇⬆

PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,NE~U,NE2~P,S~no) <-> PLK1(B!0,AP~P,L~C,S~Ki).MPF(B!0,L~C,S~Su,NE~U,NE2~P)

PLK1 ⬇⬆B L C S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ MPF ⬇⬆B DP U ?P NE U NE2 P CR U ?P L C S no Su take all branches, once each, in any order⬇⬆

PLK1(B!0,L~C,S~Ki,AP~P).MPF(B!0,L~C,NE~U,S~Su) -> PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,S~no,NE~P)

PLK1 ⬆B L C S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ MPF ⬆B DP U ?P NE P U take one or more branches, once each, in any order⬆ NE2 U ?P CR U ?P L C S no Su take one or more branches, once each, in any order⬆

PLK1(B!0,L~N,S~Ki,AP~P).MPF(B!0,L~N,NE~U,S~Su) -> PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,NE~P)

PLK1 ⬆B L N S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ MPF ⬆B DP U ?P NE P U take one or more branches, once each, in any order⬆ NE2 U ?P CR U ?P L N S no Su take one or more branches, once each, in any order⬆

PLK1(B,L~C,S~no,AP~U) + MPF(B,L~C,S~no,DP~U) <-> PLK1(B!0,L~C,S~Su,AP~U).MPF(B!0,L~C,S~Ki,DP~U)

PLK1 ⬇⬆B L C S no Su take all branches, once each, in any order⬇⬆ AP U ⬇⬆ MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki take all branches, once each, in any order⬇⬆

PLK1(B,L~N,S~no,AP~U) + MPF(B,L~N,S~no,DP~U) <-> PLK1(B!0,L~N,S~Su,AP~U).MPF(B!0,L~N,S~Ki,DP~U)

PLK1 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ AP U ⬇⬆ MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take all branches, once each, in any order⬇⬆

PLK1(B!0,L~N,S~Su,AP~U).MPF(B!0,L~N,S~Ki,DP~U) -> PLK1(B,L~N,S~no,AP~P) + MPF(B,L~N,S~no,DP~U)

PLK1 ⬆B L N S no Su take one or more branches, once each, in any order⬆ AP U P take all branches, once each, in any order⬇ ⬆ MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take one or more branches, once each, in any order⬆

PLK1(B!0,L~C,S~Su,AP~U).MPF(B!0,L~C,S~Ki,DP~U) -> PLK1(B,L~C,S~no,AP~P) + MPF(B,L~C,S~no,DP~U)

PLK1 ⬆B L C S no Su take one or more branches, once each, in any order⬆ AP U P take all branches, once each, in any order⬇ ⬆ MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki take one or more branches, once each, in any order⬆

PLK1(B,L~C,S~no,AP~P) + CHK1(B,AP~P,S~no,L~C) -> PLK1(B,L~C,S~no,AP~U) + CHK1(B,AP~P,S~no,L~C)

PLK1 B L C S no AP U P take one or more branches, once each, in any order⬆ CHK1 B AP P S no L C

PLK1(B,L~C,S~no,AP~P) + CHK1(B,AP~P,S~no,L~C) -> PLK1(B,L~C,S~no,AP~P) + CHK1(B,AP~U,S~no,L~C)

PLK1 B L C S no AP P CHK1 B AP U P take one or more branches, once each, in any order⬆ S no L C

PLK1(B,L~N,S~no,AP~P) + CHK1(B,AP~P,S~no,L~N) -> PLK1(B,S~no,AP~U,L~N) + CHK1(B,AP~P,S~no,L~N)

PLK1 B L N S no AP U P take one or more branches, once each, in any order⬆ CHK1 B AP P S no L N

PLK1(B,L~N,S~no,AP~P) + CHK1(B,AP~P,S~no,L~N) -> PLK1(B,S~no,AP~P,L~N) + CHK1(B,AP~U,S~no,L~N)

PLK1 B L N S no AP P CHK1 B AP U P take one or more branches, once each, in any order⬆ S no L N

PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~U,S~no) <-> PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~U,S~no)

PLK1 ⬇⬆B L N S no AP P ⬇⬆ WEE1 ⬇⬆B L N DP U SP U ?P S no

PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~U,S~no) -> PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~P,S~no)

PLK1 ⬆B L N S no AP P ⬆ WEE1 ⬆B L N DP U P take all branches, once each, in any order⬇ SP U ?P S no

PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~M,S~no) <-> PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~M,S~no)

PLK1 ⬇⬆B L N S no AP P ⬇⬆ WEE1 ⬇⬆B L N DP M SP U ?P S no

PLK1(B!0,L~N,S~no,AP~P).WEE1(B!0,L~N,DP~M,S~no) -> PLK1(B,L~N,S~no,AP~P) + WEE1(B,L~N,DP~P,S~no)

PLK1 ⬆B L N S no AP P ⬆ WEE1 ⬆B L N DP P M take one or more branches, once each, in any order⬆ SP U ?P S no

PLK1(B,L~C,S~no,AP~P) + MYT1(B,S~no,L~C) <-> PLK1(B!0,L~C,AP~P,S~Ki).MYT1(B!0,L~C,S~Su)

PLK1 ⬇⬆B L C S no Ki take all branches, once each, in any order⬇⬆ AP P ⬇⬆ MYT1 ⬇⬆B S no Su take all branches, once each, in any order⬇⬆ L C

PLK1(B!0,L~C,AP~P,S~Ki).MYT1(B!0,L~C,S~Su) -> PLK1(B,L~C,S~no,AP~P)

PLK1 ⬆B L C S no Ki take one or more branches, once each, in any order⬆ AP P ⬆ MYT1 ⬆B S Su L C degraded

MPF(B!0,L~N,NE2~U,S~Su).MPF(B!0,L~N,DP~U,S~Ki) -> MPF(B,L~N,S~no,NE2~P) + MPF(B,L~N,DP~U,S~no)

MPF ⬆B DP U ?P NE P U ?P2 NE2 U P take all branches, once each, in any order⬇ CR U ?P L N S no Su take one or more branches, once each, in any order⬆ ⬆ MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take one or more branches, once each, in any order⬆

MPF(B,L~N,S~no,NE2~U) + MPF(B,L~N,DP~U,S~no) <-> MPF(B!0,L~N,NE2~U,S~Su).MPF(B!0,L~N,DP~U,S~Ki)

MPF ⬇⬆B DP U ?P NE P U ?P2 NE2 U CR U ?P L N S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take all branches, once each, in any order⬇⬆

MPF(B,L~C,NE2~U,S~no) + MPF(B,L~C,DP~U,S~no) <-> MPF(B!0,L~C,NE2~U,S~Su).MPF(B!0,L~C,DP~U,S~Ki)

MPF ⬇⬆B DP U ?P NE P U ?P2 NE2 U CR U ?P L C S no Su take all branches, once each, in any order⬇⬆ ⬇⬆ MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki take all branches, once each, in any order⬇⬆

MPF(B!0,L~C,NE2~U,S~Su).MPF(B!0,L~C,DP~U,S~Ki) -> MPF(B,L~C,NE2~P,S~no) + MPF(B,L~C,DP~U,S~no)

MPF ⬆B DP U ?P NE P U ?P2 NE2 U P take all branches, once each, in any order⬇ CR U ?P L C S no Su take one or more branches, once each, in any order⬆ ⬆ MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L C S no Ki take one or more branches, once each, in any order⬆

MPF(B,DP~U,L~N,S~no) + H3(B,AP~U,L~N,S~no) <-> MPF(B!0,DP~U,L~N,S~Ki).H3(B!0,AP~U,L~N,S~Su)

MPF ⬇⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take all branches, once each, in any order⬇⬆ ⬇⬆ H3 ⬇⬆B L N S no Su take all branches, once each, in any order⬇⬆ AP U

MPF(B!0,DP~U,L~N,S~Ki).H3(B!0,AP~U,L~N,S~Su) -> MPF(B,DP~U,L~N,S~no) + H3(B,AP~P,L~N,S~no)

MPF ⬆B DP U NE P U ?P2 NE2 U ?P CR U ?P L N S no Ki take one or more branches, once each, in any order⬆ ⬆ H3 ⬆B L N S no Su take one or more branches, once each, in any order⬆ AP U P take all branches, once each, in any order⬇