MolFoundry · conditional rewriting walkthrough

Eight sites

8 slots · 3 possible topologies · 1 supplied observable → 48 closed coordinates (rank 47)

Symbolic synthesis

1 · Rules & state space

Eight slots, not eight chemical atoms: the anchored core has 8 C + 8 P + 8 L = 24 vertices. C/P/L and cp/cl/next/bound are abstract types. Exactly two next-neighbours per C and eight C in total imply 8, 4+4, or 3+5; connectedness is not imposed.

basal_bind

A free slot becomes occupied. NoEdge(P,L) tests that it is free. Per-map rate: k_on. Topology and all 24 vertices are preserved.

cooperative_bind

A free slot next to an occupied slot becomes occupied. Two occupied neighbours give two matches. Per-map rate: k_coop. Topology and all 24 vertices are preserved.

unbind

An occupied slot becomes free by deleting its bound edge. Per-map rate: k_off. Topology and all 24 vertices are preserved.

Direct state-space expansion

Choose an initial graph and the number of rule applications. MolFoundry generates the successors; isomorphic states are merged. Depth counts events, not elapsed time.

8 · initially all free · complete depth-3 expansion
Source stateRuleTarget stateMultiplicity/rate
g-16fbe06e041511basal_bindg-9d0019b1dc5b758
g-9d0019b1dc5b75basal_bindg-a611b88c54b79a2
g-9d0019b1dc5b75basal_bindg-8426161b158ca62
g-9d0019b1dc5b75basal_bindg-4025d743f655232
g-9d0019b1dc5b75basal_bindg-a826c1634ae8931
g-9d0019b1dc5b75cooperative_bindg-4025d743f655232
g-9d0019b1dc5b75unbindg-16fbe06e0415111
g-a611b88c54b79abasal_bindg-64ba3311a86d372
g-a611b88c54b79abasal_bindg-ffa1f022b2f2102
g-a611b88c54b79abasal_bindg-28ab1363db09482
g-a611b88c54b79acooperative_bindg-64ba3311a86d372
g-a611b88c54b79acooperative_bindg-ffa1f022b2f2102
g-a611b88c54b79aunbindg-9d0019b1dc5b752
g-8426161b158ca6basal_bindg-699be0bb08ff4b2
g-8426161b158ca6basal_bindg-64ba3311a86d372
g-8426161b158ca6basal_bindg-61b19ab04802bc1
g-8426161b158ca6basal_bindg-28ab1363db09481
g-8426161b158ca6cooperative_bindg-64ba3311a86d372
g-8426161b158ca6cooperative_bindg-61b19ab04802bc2
g-8426161b158ca6unbindg-9d0019b1dc5b752
g-4025d743f65523basal_bindg-64ba3311a86d372
g-4025d743f65523basal_bindg-61b19ab04802bc2
g-4025d743f65523basal_bindg-ffa1f022b2f2102
g-4025d743f65523cooperative_bindg-61b19ab04802bc2
g-4025d743f65523unbindg-9d0019b1dc5b752
g-a826c1634ae893basal_bindg-699be0bb08ff4b2
g-a826c1634ae893basal_bindg-ffa1f022b2f2104
g-a826c1634ae893cooperative_bindg-ffa1f022b2f2104
g-a826c1634ae893unbindg-9d0019b1dc5b752
4+4 · initially all free · complete depth-3 expansion
Source stateRuleTarget stateMultiplicity/rate
g-b2bd4a509f253abasal_bindg-6272b48698d6a88
g-6272b48698d6a8basal_bindg-c48cebe0d56d622
g-6272b48698d6a8basal_bindg-25b6c2c6c6a2871
g-6272b48698d6a8basal_bindg-536c6c8d8c1d194
g-6272b48698d6a8cooperative_bindg-c48cebe0d56d622
g-6272b48698d6a8unbindg-b2bd4a509f253a1
g-c48cebe0d56d62basal_bindg-eaf49b56b74c902
g-c48cebe0d56d62basal_bindg-00a3546be894594
g-c48cebe0d56d62cooperative_bindg-eaf49b56b74c902
g-c48cebe0d56d62unbindg-6272b48698d6a82
g-25b6c2c6c6a287basal_bindg-0f57c93fe6e8344
g-25b6c2c6c6a287basal_bindg-eaf49b56b74c902
g-25b6c2c6c6a287cooperative_bindg-eaf49b56b74c904
g-25b6c2c6c6a287unbindg-6272b48698d6a82
g-536c6c8d8c1d19basal_bindg-0f57c93fe6e8342
g-536c6c8d8c1d19basal_bindg-00a3546be894594
g-536c6c8d8c1d19cooperative_bindg-00a3546be894594
g-536c6c8d8c1d19unbindg-6272b48698d6a82
3+5 · initially all free · complete depth-3 expansion
Source stateRuleTarget stateMultiplicity/rate
g-2bf8bd68f6f1b6basal_bindg-0ad70f242c2fe35
g-2bf8bd68f6f1b6basal_bindg-e999a766a515773
g-0ad70f242c2fe3basal_bindg-42b102184158b12
g-0ad70f242c2fe3basal_bindg-d4ea8eb2456e193
g-0ad70f242c2fe3basal_bindg-e92c105e35b8862
g-0ad70f242c2fe3cooperative_bindg-e92c105e35b8862
g-0ad70f242c2fe3unbindg-2bf8bd68f6f1b61
g-e999a766a51577basal_bindg-d4ea8eb2456e195
g-e999a766a51577basal_bindg-a4aac820a36a972
g-e999a766a51577cooperative_bindg-a4aac820a36a972
g-e999a766a51577unbindg-2bf8bd68f6f1b61
g-42b102184158b1basal_bindg-0b1cd9a70036f51
g-42b102184158b1basal_bindg-8d51aa68597f1d2
g-42b102184158b1basal_bindg-b6c557eb2fa0693
g-42b102184158b1cooperative_bindg-0b1cd9a70036f52
g-42b102184158b1cooperative_bindg-8d51aa68597f1d2
g-42b102184158b1unbindg-0ad70f242c2fe32
g-d4ea8eb2456e19basal_bindg-6fec61a0b081822
g-d4ea8eb2456e19basal_bindg-b6c557eb2fa0692
g-d4ea8eb2456e19basal_bindg-d76fb6da4bc6592
g-d4ea8eb2456e19cooperative_bindg-6fec61a0b081822
g-d4ea8eb2456e19cooperative_bindg-d76fb6da4bc6592
g-d4ea8eb2456e19unbindg-0ad70f242c2fe31
g-d4ea8eb2456e19unbindg-e999a766a515771
g-e92c105e35b886basal_bindg-0b1cd9a70036f52
g-e92c105e35b886basal_bindg-8d51aa68597f1d1
g-e92c105e35b886basal_bindg-d76fb6da4bc6593
g-e92c105e35b886cooperative_bindg-0b1cd9a70036f52
g-e92c105e35b886unbindg-0ad70f242c2fe32
g-a4aac820a36a97basal_bindg-6fec61a0b081825
g-a4aac820a36a97basal_bindg-9a8aa5436a48901
g-a4aac820a36a97cooperative_bindg-9a8aa5436a48902
g-a4aac820a36a97unbindg-e999a766a515772

2 · Inputs & semantics

The input query P0 counts occupied slots.

Supplied · round 0

P0

P0-0
1 × count of 1
Explicit supplied invariantConsequence
Each C owns exactly one P and one L; every P/L has at most one C owner.No sharing of one owned P/L between two C.
Each P/L has at most one bound partner; bound endpoints have the same C owner.A slot has a Boolean occupied/free state.
Exactly eight C; each C has exactly two C neighbours; simple undirected graph.Cycles of length ≥3; possible component partitions are 8, 4+4, 3+5.
Connectedness is NOT required.Two rings are allowed in a single state.
The signature and invariant theory are input, not learned.Inert orphan P/L vertices allowed by “at most” do not affect the anchored observables.

First composition step

For each of the three rules r, compare P0 ∘ r (observable after the event) with r ∘ P0 (observable before it), with the rightmost operation first. MolFoundry excludes overlaps violating the incidence bounds of Ω. The remaining composition list sizes are not ODE coefficients.

RuleBefore: r ∘ P0After: P0 ∘ rSigned jump after reduction
basal_bind12+P1
cooperative_bind23+P2
unbind21−P0

Thus dE[P0]/dt = k_on E[P1] + k_coop E[P2] − k_off E[P0]. The new counts P1 and P2 describe free slots and mixed neighbours.

Computed · round 1

P1

P1-0
1 × count of 0

Computed · round 1

P2

P2-0
1 × count of 01

3 · Observable discovery

1 → 3 → 4 → 6 → 10 → 16 → 26 → 38 → 45 → 47 → 48 → 48

Synthesis closes with 48 coordinates: the query and 47 additional linear combinations of graph counts. A later check finds one linear dependency.

Round 0 · 1 coordinates

Supplied · round 0

P0

P0-0
1 × count of 1

Round 1 · 3 coordinates

Computed · round 1

P1

P1-0
1 × count of 0

Computed · round 1

P2

P2-0
1 × count of 01

Round 2 · 4 coordinates

Computed · round 2

P3

P3-0
1 × count of 101

Round 3 · 6 coordinates

Computed · round 3

P4

P4-0
1 × count of 01
P4-1
-1 × count of 101
P4-2
-1 × count of 001

First 3 of 4 terms shown.

Computed · round 3

P5

P5-0
1 × count of 111

Round 4 · 10 coordinates

Computed · round 4

P6

P6-0
1 × count of 000

Computed · round 4

P7

P7-0
1 × count of 0001
P7-1
-1 × count of 0001
P7-2
-1 × count of 10001

Computed · round 4

P8

P8-0
-2 × count of 1
P8-1
2 × count of 01
P8-2
1 × count of 111

First 3 of 8 terms shown.

Computed · round 4

P9

P9-0
1 × count of 001

Round 5 · 16 coordinates

Computed · round 5

P10

P10-0
1 × count of 0000

Computed · round 5

P11

P11-0
-1 × count of 0001
P11-1
1 × count of 0001
P11-2
-1 × count of 10001

First 3 of 5 terms shown.

Computed · round 5

P12

P12-0
-2 × count of 101
P12-1
-2 × count of 1
P12-2
4 × count of 01

First 3 of 11 terms shown.

Computed · round 5

P13

P13-0
2 × count of 1
P13-1
-2 × count of 01
P13-2
-1 × count of 111

First 3 of 11 terms shown.

Computed · round 5

P14

P14-0
2 × count of 1011
P14-1
1 × count of 111
P14-2
-1 × count of 111

First 3 of 4 terms shown.

Computed · round 5

P15

P15-0
1 × count of 011

Round 6 · 26 coordinates

Computed · round 6

P16

P16-0
1 × count of 0001

Computed · round 6

P17

P17-0
1 × count of 00000

Computed · round 6

P18

P18-0
1 × count of 1000001

Computed · round 6

P19

P19-0
2 × count of 10001
P19-1
-2 × count of 00011
P19-2
-2 × count of 101

First 3 of 12 terms shown.

Computed · round 6

P20

P20-0
1 × count of 10001
P20-1
-1 × count of 00011
P20-2
2 × count of 101

First 3 of 12 terms shown.

Computed · round 6

P21

P21-0
12 × count of 10101
P21-1
-7 × count of 10001
P21-2
7 × count of 00011

First 3 of 23 terms shown.

Computed · round 6

P22

P22-0
1 × count of 00001

Computed · round 6

P23

P23-0
-2 × count of 10111
P23-1
1 × count of 101
P23-2
1 × count of 01

First 3 of 19 terms shown.

Computed · round 6

P24

P24-0
1 × count of 0011

Computed · round 6

P25

P25-0
1 × count of 1111

Round 7 · 38 coordinates

Computed · round 7

P26

P26-0
1 × count of 0101

Computed · round 7

P27

P27-0
1 × count of 10000001

Computed · round 7

P28

P28-0
-6 × count of 1011
P28-1
-2 × count of 10111
P28-2
-2 × count of 0001

First 3 of 24 terms shown.

Computed · round 7

P29

P29-0
1 × count of 1000011

Computed · round 7

P30

P30-0
-37 × count of 100101
P30-1
4 × count of 100111
P30-2
4 × count of 101011

First 3 of 33 terms shown.

Computed · round 7

P31

P31-0
1 × count of 1000101

Computed · round 7

P32

P32-0
-2 × count of 101011
P32-1
-2 × count of 101101
P32-2
3 × count of 1011

First 3 of 30 terms shown.

Computed · round 7

P33

P33-0
1 × count of 00011

Computed · round 7

P34

P34-0
5 × count of 11011
P34-1
-2 × count of 01
P34-2
-8 × count of 0001

First 3 of 32 terms shown.

Computed · round 7

P35

P35-0
1 × count of 00101

Computed · round 7

P36

P36-0
-4 × count of 1011
P36-1
3 × count of 01011
P36-2
-1 × count of 1111

First 3 of 25 terms shown.

Computed · round 7

P37

P37-0
1 × count of 0111

Round 8 · 45 coordinates

Computed · round 8

P38

P38-0
-4 × count of 100101
P38-1
-1 × count of 101101
P38-2
2 × count of 1011

First 3 of 22 terms shown.

Computed · round 8

P39

P39-0
1 × count of 1010101

Computed · round 8

P40

P40-0
1 × count of 001101

Computed · round 8

P41

P41-0
23 × count of 10011
P41-1
2 × count of 10111
P41-2
11 × count of 0111

First 3 of 38 terms shown.

Computed · round 8

P42

P42-0
-2 × count of 10011
P42-1
2 × count of 11011
P42-2
-3 × count of 0011

First 3 of 38 terms shown.

Computed · round 8

P43

P43-0
1 × count of 00111

Computed · round 8

P44

P44-0
1 × count of 1111

Round 9 · 47 coordinates

Computed · round 9

P45

P45-0
1 × count of 1101011

Computed · round 9

P46

P46-0
1 × count of 01111

Round 10 · 48 coordinates

Computed · round 10

P47

P47-0
1 × count of 11111

Round 11 · 48 coordinates

Closure reached.

4 · ODE & pJC

Let yᵢ(t) = E[Pᵢ(Xₜ)]. The exported equation is y′ = A(k)y, with 48 coordinates and one fixed rate-separated matrix for all three topologies. Each coordinate is an exact linear combination of raw injective counts. Signed coordinates need not be nonnegative; they are not probabilities.

dP0dt=-P0⁢koff+P1⁢kon+P2⁢kcoop
dP1dt=P0⁢koff-P1⁢kon-P2⁢kcoop
dP2dt=2⁢P0⁢koff+2⁢P1⁢kon-2⁢P2⁢koff-2⁢P2⁢kon-2⁢P3⁢kcoop
All 48 exact equations
dP0dt=-P0⁢koff+P1⁢kon+P2⁢kcoop
dP1dt=P0⁢koff-P1⁢kon-P2⁢kcoop
dP2dt=2⁢P0⁢koff+2⁢P1⁢kon-2⁢P2⁢koff-2⁢P2⁢kon-2⁢P3⁢kcoop
dP3dt=2⁢P2⁢kcoop+2⁢P2⁢kon-4⁢P3⁢kcoop-2⁢P3⁢koff-3⁢P3⁢kon-2⁢P4⁢kcoop+P5⁢koff
dP4dt=4⁢P0⁢koff+2⁢P1⁢kon-2⁢P2⁢koff-2⁢P2⁢kon-2⁢P3⁢koff+P3⁢kon-2⁢P4⁢kcoop-P4⁢koff-4⁢P4⁢kon-2⁢P5⁢koff-P6⁢kon+2⁢P7⁢kcoop+P8⁢koff
dP5dt=2⁢P0⁢kcoop+4⁢P0⁢kon-2⁢P2⁢kon+4⁢P3⁢kcoop+P3⁢kon-P4⁢kcoop-P5⁢kcoop-3⁢P5⁢koff-2⁢P5⁢kon-P8⁢kcoop-P9⁢kcoop
dP6dt=-3⁢P6⁢kon+3⁢P9⁢koff
dP7dt=6⁢P0⁢koff+2⁢P1⁢kon-P10⁢kon+2⁢P11⁢kcoop+P12⁢koff-6⁢P2⁢koff-2⁢P2⁢kon+P3⁢kon+3⁢P4⁢koff-P4⁢kon-3⁢P5⁢koff-P6⁢kon-2⁢P7⁢kcoop-P7⁢koff-5⁢P7⁢kon+P8⁢koff+3⁢P9⁢koff
dP8dt=-6⁢P0⁢kcoop-6⁢P0⁢kon+P12⁢kcoop+P13⁢kcoop+2⁢P14⁢koff+6⁢P2⁢kcoop+6⁢P2⁢kon-3⁢P4⁢kcoop+3⁢P4⁢kon+3⁢P5⁢kcoop+3⁢P5⁢kon-2⁢P7⁢kcoop-5⁢P8⁢kcoop-2⁢P8⁢koff-3⁢P8⁢kon-3⁢P9⁢kcoop-3⁢P9⁢kon
dP9dt=2⁢P15⁢koff+P6⁢kon-2⁢P9⁢kcoop-P9⁢koff-2⁢P9⁢kon
dP10dt=-4⁢P10⁢kon+4⁢P16⁢koff
dP11dt=2⁢P1⁢kon-P10⁢kon-P11⁢koff-6⁢P11⁢kon+P13⁢koff-P17⁢kon-2⁢P18⁢kcoop+P19⁢koff-2⁢P2⁢kon+P3⁢kon-P4⁢kon-P6⁢kon-P7⁢kon
dP12dt=-12⁢P0⁢kcoop-12⁢P0⁢koff-12⁢P0⁢kon-2⁢P11⁢kcoop-5⁢P12⁢kcoop-4⁢P12⁢koff-4⁢P12⁢kon+P13⁢kcoop+6⁢P13⁢koff+4⁢P14⁢koff+12⁢P15⁢koff-4⁢P16⁢kcoop-8⁢P16⁢koff-4⁢P16⁢kon-4⁢P18⁢koff+4⁢P19⁢kcoop3+4⁢P19⁢koff3+12⁢P2⁢kcoop+12⁢P2⁢koff+12⁢P2⁢kon-2⁢P20⁢kcoop3+5⁢P20⁢koff6+P21⁢koff2-12⁢P3⁢koff-2⁢P4⁢kcoop+2⁢P4⁢koff-2⁢P4⁢kon+6⁢P5⁢kcoop+6⁢P5⁢koff+6⁢P5⁢kon-4⁢P7⁢kcoop-8⁢P7⁢koff+4⁢P7⁢kon-2⁢P8⁢kcoop+2⁢P8⁢koff-2⁢P8⁢kon-6⁢P9⁢kcoop-6⁢P9⁢koff-6⁢P9⁢kon
dP13dt=12⁢P0⁢koff+P11⁢kcoop+P11⁢koff2+P12⁢koff-2⁢P13⁢kcoop-5⁢P13⁢koff-4⁢P13⁢kon+4⁢P16⁢koff+2⁢P18⁢koff+P19⁢kcoop3-P19⁢koff2-12⁢P2⁢koff-2⁢P20⁢kcoop3+P20⁢koff-P22⁢kcoop+P22⁢koff2+P23⁢koff+2⁢P4⁢koff-6⁢P5⁢koff+P7⁢kcoop+7⁢P7⁢koff2+2⁢P8⁢koff+6⁢P9⁢koff
dP14dt=12⁢P0⁢kcoop+12⁢P0⁢kon+P11⁢kcoop2-P12⁢kcoop-3⁢P13⁢kcoop-4⁢P14⁢kcoop-3⁢P14⁢koff-2⁢P14⁢kon-6⁢P15⁢kcoop-3⁢P15⁢kon+2⁢P16⁢kcoop+2⁢P18⁢kcoop-P19⁢kcoop2-4⁢P2⁢kcoop-6⁢P2⁢kon+P20⁢kcoop+P22⁢kcoop2+P23⁢kcoop-2⁢P24⁢kcoop+3⁢P25⁢koff-2⁢P3⁢kcoop-3⁢P3⁢kon-4⁢P4⁢kcoop-6⁢P5⁢kcoop-6⁢P5⁢kon+3⁢P7⁢kcoop2+2⁢P8⁢kcoop+2⁢P8⁢kon-2⁢P9⁢kcoop
dP15dt=-2⁢P0⁢koff-P14⁢koff-2⁢P15⁢kcoop-4⁢P15⁢koff-P15⁢kon+2⁢P2⁢koff-P25⁢koff+2⁢P3⁢koff-P4⁢koff+2⁢P5⁢koff-P8⁢koff+2⁢P9⁢kcoop-P9⁢koff+2⁢P9⁢kon
dP16dt=P10⁢kon-2⁢P16⁢kcoop-P16⁢koff-3⁢P16⁢kon+2⁢P24⁢koff+P26⁢koff
dP17dt=-5⁢P17⁢kon+5⁢P22⁢koff
dP18dt=3⁢P11⁢koff2+2⁢P11⁢kon+2⁢P13⁢koff-2⁢P18⁢kcoop-4⁢P18⁢koff-7⁢P18⁢kon+7⁢P19⁢koff6-P20⁢koff3+3⁢P22⁢koff2+P23⁢koff+2⁢P27⁢kcoop-2⁢P27⁢koff-P28⁢koff-3⁢P7⁢koff2
dP19dt=-12⁢P0⁢kon-4⁢P11⁢kcoop+6⁢P11⁢koff+5⁢P11⁢kon-P12⁢kon-4⁢P13⁢kcoop-17⁢P13⁢koff-P13⁢kon-18⁢P14⁢koff-54⁢P15⁢koff+18⁢P16⁢koff-4⁢P16⁢kon+6⁢P18⁢kcoop+17⁢P18⁢koff-14⁢P19⁢kcoop3-17⁢P19⁢koff3-5⁢P19⁢kon+18⁢P2⁢koff+12⁢P2⁢kon+4⁢P20⁢kcoop3+37⁢P20⁢koff12-3⁢P21⁢koff4-4⁢P22⁢kcoop+6⁢P22⁢koff-5⁢P22⁢kon-2⁢P23⁢kcoop+P23⁢koff-18⁢P24⁢koff+4⁢P27⁢kcoop-P27⁢koff+2⁢P28⁢kcoop+7⁢P28⁢koff+2⁢P29⁢kcoop+9⁢P29⁢koff+36⁢P3⁢koff-P30⁢koff-36⁢P4⁢koff-2⁢P4⁢kon+6⁢P5⁢kon+4⁢P7⁢kcoop+12⁢P7⁢koff+P7⁢kon-18⁢P8⁢koff-2⁢P8⁢kon-18⁢P9⁢koff-6⁢P9⁢kon
dP20dt=12⁢P0⁢koff-6⁢P0⁢kon-2⁢P11⁢kcoop-3⁢P11⁢koff4+P11⁢kon-P12⁢kon2+4⁢P13⁢kcoop-25⁢P13⁢koff+5⁢P13⁢kon2-15⁢P14⁢koff-45⁢P15⁢koff+18⁢P16⁢koff-2⁢P16⁢kon+22⁢P18⁢koff+5⁢P19⁢kcoop3-91⁢P19⁢koff12+3⁢P2⁢koff+6⁢P2⁢kon-13⁢P20⁢kcoop3+11⁢P20⁢koff12-5⁢P20⁢kon-3⁢P21⁢koff4-2⁢P22⁢kcoop-3⁢P22⁢koff4-P22⁢kon+2⁢P23⁢kcoop+P23⁢koff2-15⁢P24⁢koff-3⁢P26⁢koff-4⁢P27⁢kcoop+7⁢P27⁢koff-2⁢P28⁢kcoop+13⁢P28⁢koff2-5⁢P29⁢kcoop+12⁢P29⁢koff+30⁢P3⁢koff-P30⁢koff2-3⁢P31⁢kcoop+3⁢P31⁢koff-3⁢P32⁢koff2-27⁢P4⁢koff-P4⁢kon-6⁢P5⁢koff+3⁢P5⁢kon+2⁢P7⁢kcoop+75⁢P7⁢koff4-P7⁢kon-12⁢P8⁢koff-P8⁢kon-9⁢P9⁢koff-3⁢P9⁢kon
dP21dt=8⁢P0⁢kcoop-132⁢P0⁢koff+26⁢P0⁢kon+28⁢P11⁢kcoop-107⁢P11⁢koff4+P11⁢kon+10⁢P12⁢kcoop+23⁢P12⁢kon2+2⁢P13⁢kcoop+225⁢P13⁢koff+21⁢P13⁢kon2-16⁢P14⁢kcoop+153⁢P14⁢koff-16⁢P14⁢kon-48⁢P15⁢kcoop+459⁢P15⁢koff-48⁢P15⁢kon+8⁢P16⁢kcoop-206⁢P16⁢koff-2⁢P16⁢kon-20⁢P18⁢kcoop-192⁢P18⁢koff-32⁢P18⁢kon+7⁢P19⁢kcoop3+661⁢P19⁢koff12+16⁢P19⁢kon3+8⁢P2⁢kcoop-21⁢P2⁢koff-10⁢P2⁢kon-14⁢P20⁢kcoop3-527⁢P20⁢koff12+10⁢P20⁢kon3-5⁢P21⁢kcoop+19⁢P21⁢koff4-3⁢P21⁢kon+28⁢P22⁢kcoop-107⁢P22⁢koff4+15⁢P22⁢kon+2⁢P23⁢kcoop+5⁢P23⁢koff2-16⁢P24⁢kcoop+153⁢P24⁢koff-16⁢P24⁢kon-8⁢P26⁢kcoop+33⁢P26⁢koff-8⁢P26⁢kon-8⁢P27⁢kcoop-39⁢P27⁢koff-10⁢P28⁢kcoop-131⁢P28⁢koff2-17⁢P29⁢kcoop-66⁢P29⁢koff+32⁢P3⁢kcoop-306⁢P3⁢koff+32⁢P3⁢kon+7⁢P30⁢koff2-3⁢P31⁢kcoop-9⁢P31⁢koff+4⁢P32⁢kcoop+P32⁢koff2-8⁢P33⁢kcoop-20⁢P33⁢koff+4⁢P34⁢koff-20⁢P4⁢kcoop+293⁢P4⁢koff-P4⁢kon-4⁢P5⁢kcoop+66⁢P5⁢koff-13⁢P5⁢kon-20⁢P7⁢kcoop-717⁢P7⁢koff4-17⁢P7⁢kon-12⁢P8⁢kcoop+120⁢P8⁢koff-9⁢P8⁢kon-12⁢P9⁢kcoop+87⁢P9⁢koff-3⁢P9⁢kon
dP22dt=P17⁢kon-2⁢P22⁢kcoop-P22⁢koff-4⁢P22⁢kon+2⁢P33⁢koff+2⁢P35⁢koff
dP23dt=27⁢P0⁢kcoop2-9⁢P0⁢koff+12⁢P0⁢kon-25⁢P11⁢kcoop8-11⁢P11⁢koff4-P11⁢kon+5⁢P12⁢kcoop4+P12⁢koff2+P12⁢kon+29⁢P13⁢kcoop4+85⁢P13⁢koff3-4⁢P13⁢kon+6⁢P14⁢kcoop+18⁢P14⁢koff+18⁢P15⁢kcoop+62⁢P15⁢koff-11⁢P16⁢kcoop2-79⁢P16⁢koff3+4⁢P16⁢kon-17⁢P18⁢kcoop2-143⁢P18⁢koff6+8⁢P18⁢kon+31⁢P19⁢kcoop24+241⁢P19⁢koff36-P19⁢kon-39⁢P2⁢kcoop2-9⁢P2⁢koff-12⁢P2⁢kon-4⁢P20⁢kcoop3-205⁢P20⁢koff72+2⁢P20⁢kon+P21⁢kcoop4+31⁢P21⁢koff24-25⁢P22⁢kcoop8-11⁢P22⁢koff4-P22⁢kon-17⁢P23⁢kcoop4-7⁢P23⁢koff3-3⁢P23⁢kon+6⁢P24⁢kcoop+18⁢P24⁢koff+5⁢P26⁢koff-9⁢P27⁢kcoop2-35⁢P27⁢koff6-7⁢P28⁢kcoop4-17⁢P28⁢koff3-5⁢P29⁢kcoop2-67⁢P29⁢koff6-12⁢P3⁢kcoop-44⁢P3⁢koff+P30⁢kcoop4-P31⁢kcoop2-11⁢P31⁢koff3+5⁢P32⁢kcoop4+7⁢P32⁢koff6-4⁢P33⁢kcoop-13⁢P33⁢koff3+2⁢P34⁢koff3-P35⁢kcoop2-P35⁢koff+P36⁢kcoop2+8⁢P37⁢koff+73⁢P4⁢kcoop4+239⁢P4⁢koff6+2⁢P4⁢kon-27⁢P5⁢kcoop4+9⁢P5⁢koff2-6⁢P5⁢kon-19⁢P7⁢kcoop8-283⁢P7⁢koff12+5⁢P7⁢kon+33⁢P8⁢kcoop4+35⁢P8⁢koff2+2⁢P8⁢kon+51⁢P9⁢kcoop4+27⁢P9⁢koff2+6⁢P9⁢kon
dP24dt=2⁢P16⁢kcoop+2⁢P16⁢kon-2⁢P24⁢kcoop-2⁢P24⁢koff-2⁢P24⁢kon+2⁢P37⁢koff
dP25dt=-2⁢P0⁢kcoop+2⁢P0⁢kon-P11⁢kcoop2+2⁢P13⁢kcoop+4⁢P14⁢kcoop+2⁢P14⁢kon+4⁢P15⁢kcoop+2⁢P15⁢kon-2⁢P16⁢kcoop-2⁢P18⁢kcoop+P19⁢kcoop2-2⁢P2⁢kon-P20⁢kcoop-P22⁢kcoop2-P23⁢kcoop+2⁢P24⁢kcoop-4⁢P25⁢koff-2⁢P3⁢kcoop-2⁢P3⁢kon+3⁢P4⁢kcoop+P4⁢kon+P5⁢kcoop-P5⁢kon-3⁢P7⁢kcoop2+P8⁢kcoop+P8⁢kon+P9⁢kcoop+P9⁢kon
dP26dt=2⁢P16⁢kon-4⁢P26⁢kcoop-2⁢P26⁢koff-2⁢P26⁢kon+2⁢P37⁢koff
dP27dt=12⁢P0⁢koff+2⁢P11⁢kcoop+2⁢P11⁢koff+2⁢P11⁢kon+P12⁢koff-P13⁢koff+4⁢P16⁢koff-2⁢P18⁢kcoop-2⁢P18⁢kon+2⁢P19⁢koff3-12⁢P2⁢koff+2⁢P20⁢koff3+2⁢P22⁢koff-2⁢P23⁢koff-4⁢P27⁢kcoop-4⁢P27⁢koff-8⁢P27⁢kon+2⁢P28⁢koff+2⁢P4⁢koff-6⁢P5⁢koff+2⁢P7⁢koff+2⁢P8⁢koff+6⁢P9⁢koff
dP28dt=3⁢P0⁢kcoop2-18⁢P0⁢koff-49⁢P11⁢kcoop8-17⁢P11⁢koff2-7⁢P11⁢kon2+P12⁢kcoop4+P12⁢koff+25⁢P13⁢kcoop4+190⁢P13⁢koff3-4⁢P13⁢kon+6⁢P14⁢kcoop+42⁢P14⁢koff+18⁢P15⁢kcoop+134⁢P15⁢koff-19⁢P16⁢kcoop2-178⁢P16⁢koff3-13⁢P18⁢kcoop2-169⁢P18⁢koff3+9⁢P18⁢kon-P19⁢kcoop24+275⁢P19⁢koff18-11⁢P19⁢kon6-15⁢P2⁢kcoop2-24⁢P2⁢koff-5⁢P20⁢kcoop3-383⁢P20⁢koff36+5⁢P20⁢kon3+P21⁢kcoop4+29⁢P21⁢koff12-49⁢P22⁢kcoop8-17⁢P22⁢koff2-7⁢P22⁢kon2+3⁢P23⁢kcoop4+2⁢P23⁢koff3+3⁢P23⁢kon+6⁢P24⁢kcoop+42⁢P24⁢koff+8⁢P26⁢koff-P27⁢kcoop2-43⁢P27⁢koff3+4⁢P27⁢kon-27⁢P28⁢kcoop4-62⁢P28⁢koff3-6⁢P28⁢kon-5⁢P29⁢kcoop2-77⁢P29⁢koff3-12⁢P3⁢kcoop-92⁢P3⁢koff+P30⁢kcoop4+P30⁢koff+P31⁢kcoop2-14⁢P31⁢koff3+5⁢P32⁢kcoop4+14⁢P32⁢koff3-4⁢P33⁢kcoop-34⁢P33⁢koff3+2⁢P34⁢koff3-P35⁢kcoop2-2⁢P35⁢koff+P36⁢kcoop2-6⁢P36⁢koff+8⁢P37⁢koff-6⁢P38⁢koff+65⁢P4⁢kcoop4+277⁢P4⁢koff3-3⁢P5⁢kcoop4+9⁢P5⁢koff-27⁢P7⁢kcoop8-305⁢P7⁢koff6+7⁢P7⁢kon2+25⁢P8⁢kcoop4+39⁢P8⁢koff+27⁢P9⁢kcoop4+33⁢P9⁢koff
dP29dt=6⁢P0⁢kcoop-P0⁢koff2+6⁢P0⁢kon+P11⁢kcoop2+33⁢P11⁢koff8+P12⁢kcoop2-3⁢P12⁢koff4+P12⁢kon2+P13⁢kcoop2-87⁢P13⁢koff4-P13⁢kon2-17⁢P14⁢koff-51⁢P15⁢koff+2⁢P16⁢kcoop+41⁢P16⁢koff2+2⁢P16⁢kon+43⁢P18⁢koff2+P18⁢kon+5⁢P19⁢kcoop6-127⁢P19⁢koff24+P19⁢kon3-6⁢P2⁢kcoop+35⁢P2⁢koff2-6⁢P2⁢kon+P20⁢kcoop3+29⁢P20⁢koff6+P20⁢kon3-3⁢P21⁢koff4+P22⁢kcoop2+33⁢P22⁢koff8+9⁢P23⁢koff4-17⁢P24⁢koff-P26⁢koff-2⁢P27⁢kcoop+9⁢P27⁢koff2+25⁢P28⁢koff4-5⁢P29⁢kcoop+11⁢P29⁢koff2-6⁢P29⁢kon+34⁢P3⁢koff-3⁢P30⁢koff4-P31⁢kcoop+P31⁢koff2-7⁢P32⁢koff4+4⁢P33⁢koff+3⁢P35⁢koff2+3⁢P36⁢koff2+2⁢P38⁢koff-P39⁢koff+P4⁢kcoop-151⁢P4⁢koff4+P4⁢kon-3⁢P5⁢kcoop+P5⁢koff4-3⁢P5⁢kon+3⁢P7⁢kcoop2+131⁢P7⁢koff8+2⁢P7⁢kon+P8⁢kcoop-67⁢P8⁢koff4+P8⁢kon+3⁢P9⁢kcoop-69⁢P9⁢koff4+3⁢P9⁢kon
dP30dt=-93⁢P0⁢kcoop2+261⁢P0⁢koff2-58⁢P0⁢kon-193⁢P11⁢kcoop8+657⁢P11⁢koff8-21⁢P11⁢kon-15⁢P12⁢kcoop4-33⁢P12⁢koff4-4⁢P12⁢kon+85⁢P13⁢kcoop4-1765⁢P13⁢koff4-36⁢P13⁢kon+30⁢P14⁢kcoop-324⁢P14⁢koff-16⁢P14⁢kon+90⁢P15⁢kcoop-1032⁢P15⁢koff-48⁢P15⁢kon-83⁢P16⁢kcoop2+887⁢P16⁢koff2+10⁢P16⁢kon-23⁢P18⁢kcoop2+779⁢P18⁢koff2+53⁢P18⁢kon-41⁢P19⁢kcoop24-2327⁢P19⁢koff24-55⁢P19⁢kon3+33⁢P2⁢kcoop2+387⁢P2⁢koff2+74⁢P2⁢kon-31⁢P20⁢kcoop12+899⁢P20⁢koff12+155⁢P20⁢kon12+3⁢P21⁢kcoop2-37⁢P21⁢koff2-P21⁢kon4-193⁢P22⁢kcoop8+657⁢P22⁢koff8-21⁢P22⁢kon-25⁢P23⁢kcoop4+73⁢P23⁢koff4+23⁢P23⁢kon+30⁢P24⁢kcoop-324⁢P24⁢koff-16⁢P24⁢kon+6⁢P26⁢kcoop-60⁢P26⁢koff+10⁢P26⁢kon+37⁢P27⁢kcoop2+131⁢P27⁢koff2+32⁢P27⁢kon-7⁢P28⁢kcoop4+431⁢P28⁢koff4-14⁢P28⁢kon-3⁢P29⁢kcoop2+283⁢P29⁢koff2-18⁢P29⁢kon-60⁢P3⁢kcoop+708⁢P3⁢koff+32⁢P3⁢kon-15⁢P30⁢kcoop4-49⁢P30⁢koff4-4⁢P30⁢kon-9⁢P31⁢kcoop2+7⁢P31⁢koff2+17⁢P32⁢kcoop4-65⁢P32⁢koff4+2⁢P33⁢kcoop+76⁢P33⁢koff+10⁢P33⁢kon-5⁢P34⁢koff+15⁢P35⁢kcoop2+33⁢P35⁢koff2+10⁢P35⁢kon+17⁢P36⁢kcoop2-69⁢P36⁢koff2-60⁢P37⁢koff+4⁢P38⁢kcoop-66⁢P38⁢koff+4⁢P39⁢kcoop+57⁢P39⁢koff+193⁢P4⁢kcoop4-2809⁢P4⁢koff4-55⁢P4⁢kon+4⁢P40⁢kcoop-12⁢P40⁢koff-6⁢P41⁢koff+93⁢P5⁢kcoop4-261⁢P5⁢koff4+29⁢P5⁢kon-139⁢P7⁢kcoop8+2891⁢P7⁢koff8+31⁢P7⁢kon+81⁢P8⁢kcoop4-1209⁢P8⁢koff4-29⁢P8⁢kon+27⁢P9⁢kcoop4-1035⁢P9⁢koff4-45⁢P9⁢kon
dP31dt=-6⁢P0⁢kon-3⁢P11⁢koff4+P11⁢kon2-P12⁢kon2+9⁢P13⁢koff2+3⁢P13⁢kon2+3⁢P14⁢koff+9⁢P15⁢koff-4⁢P16⁢koff-2⁢P16⁢kon-9⁢P18⁢koff2+P18⁢kon+5⁢P19⁢koff4+P19⁢kon2-3⁢P2⁢koff+6⁢P2⁢kon-9⁢P20⁢koff8+P21⁢koff8-3⁢P22⁢koff4+P22⁢kon2-P23⁢kcoop+3⁢P24⁢koff-3⁢P27⁢koff2+P28⁢kcoop-P28⁢koff+P29⁢kcoop-5⁢P29⁢koff2-6⁢P3⁢koff-4⁢P31⁢kcoop-5⁢P31⁢koff-6⁢P31⁢kon+P32⁢koff2-P33⁢koff+P36⁢koff+2⁢P39⁢koff+7⁢P4⁢koff-P4⁢kon+3⁢P5⁢kon-13⁢P7⁢koff4-5⁢P7⁢kon2+3⁢P8⁢koff-P8⁢kon+3⁢P9⁢koff-3⁢P9⁢kon
dP32dt=9⁢P0⁢kcoop-63⁢P0⁢koff2+14⁢P0⁢kon+11⁢P11⁢kcoop4-87⁢P11⁢koff8+15⁢P11⁢kon2+3⁢P12⁢kcoop2+3⁢P12⁢koff4+P12⁢kon+51⁢P13⁢kcoop2+255⁢P13⁢koff4+5⁢P13⁢kon+12⁢P14⁢kcoop+48⁢P14⁢koff-4⁢P14⁢kon+36⁢P15⁢kcoop+156⁢P15⁢koff-12⁢P15⁢kon-15⁢P16⁢kcoop-133⁢P16⁢koff2+6⁢P16⁢kon-27⁢P18⁢kcoop-105⁢P18⁢koff2-8⁢P18⁢kon+107⁢P19⁢kcoop12+107⁢P19⁢koff8+9⁢P19⁢kon2-21⁢P2⁢kcoop-33⁢P2⁢koff2-10⁢P2⁢kon-16⁢P20⁢kcoop3-37⁢P20⁢koff4-3⁢P20⁢kon4+P21⁢kcoop2+3⁢P21⁢koff-P21⁢kon4+11⁢P22⁢kcoop4-87⁢P22⁢koff8+15⁢P22⁢kon2+11⁢P23⁢kcoop2-15⁢P23⁢koff4+4⁢P23⁢kon+12⁢P24⁢kcoop+48⁢P24⁢koff-4⁢P24⁢kon+12⁢P26⁢koff-2⁢P26⁢kon-15⁢P27⁢kcoop-9⁢P27⁢koff2-12⁢P27⁢kon-25⁢P28⁢kcoop2-49⁢P28⁢koff4-4⁢P28⁢kon-21⁢P29⁢kcoop-25⁢P29⁢koff2-10⁢P29⁢kon-24⁢P3⁢kcoop-108⁢P3⁢koff+8⁢P3⁢kon+P30⁢kcoop2+3⁢P30⁢koff4-8⁢P31⁢kcoop+7⁢P31⁢koff2-4⁢P31⁢kon-7⁢P32⁢kcoop2-13⁢P32⁢koff4-4⁢P32⁢kon-6⁢P33⁢kcoop-8⁢P33⁢koff-2⁢P33⁢kon+P34⁢koff-3⁢P35⁢kcoop-3⁢P35⁢koff2-2⁢P35⁢kon-P36⁢kcoop+3⁢P36⁢koff2+12⁢P37⁢koff-2⁢P38⁢kcoop+8⁢P38⁢koff-11⁢P39⁢koff+63⁢P4⁢kcoop2+395⁢P4⁢koff4-3⁢P4⁢kon+4⁢P40⁢koff+14⁢P41⁢koff13-8⁢P42⁢koff13-9⁢P5⁢kcoop2+63⁢P5⁢koff4-7⁢P5⁢kon-71⁢P7⁢kcoop4-445⁢P7⁢koff8-3⁢P7⁢kon2+27⁢P8⁢kcoop2+171⁢P8⁢koff4-P8⁢kon+33⁢P9⁢kcoop2+129⁢P9⁢koff4+3⁢P9⁢kon
dP33dt=21⁢P0⁢koff2+13⁢P11⁢koff8-P12⁢koff4-275⁢P13⁢koff12-13⁢P14⁢koff-43⁢P15⁢koff+121⁢P16⁢koff6+115⁢P18⁢koff6-433⁢P19⁢koff72+7⁢P2⁢koff2+133⁢P20⁢koff36-5⁢P21⁢koff6+2⁢P22⁢kcoop+13⁢P22⁢koff8+2⁢P22⁢kon-13⁢P23⁢koff12-14⁢P24⁢koff-4⁢P26⁢koff+37⁢P27⁢koff6+73⁢P28⁢koff12+53⁢P29⁢koff6+29⁢P3⁢koff-P30⁢koff4+11⁢P31⁢koff6-19⁢P32⁢koff12-2⁢P33⁢kcoop+5⁢P33⁢koff3-3⁢P33⁢kon-P34⁢koff3-P35⁢koff2+P36⁢koff2-4⁢P37⁢koff-P38⁢koff+3⁢P39⁢koff-347⁢P4⁢koff12-3⁢P41⁢koff13-2⁢P42⁢koff13+P43⁢koff-21⁢P5⁢koff4+445⁢P7⁢koff24-45⁢P8⁢koff4-35⁢P9⁢koff4
dP34dt=-227⁢P0⁢kcoop4+87⁢P0⁢koff2-97⁢P0⁢kon-395⁢P11⁢kcoop16+127⁢P11⁢koff8-49⁢P11⁢kon4-81⁢P12⁢kcoop8+5⁢P12⁢koff4-23⁢P12⁢kon2+379⁢P13⁢kcoop8-895⁢P13⁢koff12+93⁢P13⁢kon2+67⁢P14⁢kcoop-45⁢P14⁢koff+32⁢P14⁢kon+177⁢P15⁢kcoop-179⁢P15⁢koff+84⁢P15⁢kon-321⁢P16⁢kcoop4+515⁢P16⁢koff6-65⁢P16⁢kon-177⁢P18⁢kcoop4+160⁢P18⁢koff3-31⁢P18⁢kon+157⁢P19⁢kcoop48-839⁢P19⁢koff72+71⁢P19⁢kon12+79⁢P2⁢kcoop4-7⁢P2⁢koff2+89⁢P2⁢kon-115⁢P20⁢kcoop24+109⁢P20⁢koff72-29⁢P20⁢kon6+7⁢P21⁢kcoop2-109⁢P21⁢koff24+2⁢P21⁢kon-395⁢P22⁢kcoop16+127⁢P22⁢koff8-49⁢P22⁢kon4+13⁢P23⁢kcoop8-209⁢P23⁢koff12+51⁢P23⁢kon2+37⁢P24⁢kcoop-40⁢P24⁢koff+8⁢P24⁢kon+12⁢P25⁢koff-7⁢P26⁢kcoop-20⁢P26⁢koff+4⁢P26⁢kon+91⁢P27⁢kcoop4+25⁢P27⁢koff3+P27⁢kon-145⁢P28⁢kcoop8+227⁢P28⁢koff12-30⁢P28⁢kon-61⁢P29⁢kcoop4+59⁢P29⁢koff3-27⁢P29⁢kon-140⁢P3⁢kcoop+139⁢P3⁢koff-76⁢P3⁢kon+11⁢P30⁢kcoop8+5⁢P30⁢koff4-17⁢P31⁢kcoop4+73⁢P31⁢koff6-6⁢P31⁢kon-21⁢P32⁢kcoop8+97⁢P32⁢koff12-P32⁢kon+55⁢P33⁢koff3-6⁢P33⁢kon-4⁢P34⁢kcoop-26⁢P34⁢koff3-2⁢P34⁢kon-39⁢P35⁢kcoop4+5⁢P35⁢koff2-P35⁢kon+7⁢P36⁢kcoop4-59⁢P36⁢koff2-24⁢P37⁢kcoop-44⁢P37⁢koff-12⁢P37⁢kon-P38⁢kcoop-32⁢P38⁢koff+6⁢P39⁢koff+711⁢P4⁢kcoop8-1249⁢P4⁢koff12+49⁢P4⁢kon2+2⁢P40⁢koff-8⁢P41⁢koff13-14⁢P42⁢koff13-6⁢P43⁢kcoop+5⁢P43⁢koff-12⁢P44⁢koff+227⁢P5⁢kcoop8-87⁢P5⁢koff4+97⁢P5⁢kon2-889⁢P7⁢kcoop16+1679⁢P7⁢koff24-211⁢P7⁢kon4+415⁢P8⁢kcoop8-183⁢P8⁢koff4+21⁢P8⁢kon2+69⁢P9⁢kcoop8-73⁢P9⁢koff4-81⁢P9⁢kon2
dP35dt=21⁢P0⁢koff+13⁢P11⁢koff4-P12⁢koff2-275⁢P13⁢koff6-26⁢P14⁢koff-86⁢P15⁢koff+121⁢P16⁢koff3+115⁢P18⁢koff3-433⁢P19⁢koff36+7⁢P2⁢koff+133⁢P20⁢koff18-5⁢P21⁢koff3+13⁢P22⁢koff4+2⁢P22⁢kon-13⁢P23⁢koff6-28⁢P24⁢koff-8⁢P26⁢koff+37⁢P27⁢koff3+73⁢P28⁢koff6+53⁢P29⁢koff3+58⁢P3⁢koff-P30⁢koff2+11⁢P31⁢koff3-19⁢P32⁢koff6+22⁢P33⁢koff3-2⁢P34⁢koff3-4⁢P35⁢kcoop-3⁢P35⁢koff-3⁢P35⁢kon+P36⁢koff-8⁢P37⁢koff-2⁢P38⁢koff+6⁢P39⁢koff-347⁢P4⁢koff6-6⁢P41⁢koff13-4⁢P42⁢koff13-P43⁢koff-21⁢P5⁢koff2+445⁢P7⁢koff12-45⁢P8⁢koff2-35⁢P9⁢koff2
dP36dt=-37⁢P0⁢kcoop4+3⁢P0⁢koff-19⁢P0⁢kon+75⁢P11⁢kcoop16-15⁢P11⁢koff4+P11⁢kon4-7⁢P12⁢kcoop8+P12⁢koff2-P12⁢kon2-83⁢P13⁢kcoop8+10⁢P13⁢koff+13⁢P13⁢kon2-13⁢P14⁢kcoop+9⁢P14⁢koff+2⁢P14⁢kon-39⁢P15⁢kcoop+27⁢P15⁢koff+6⁢P15⁢kon+49⁢P16⁢kcoop4-11⁢P16⁢koff-7⁢P16⁢kon+49⁢P18⁢kcoop4-21⁢P18⁢koff2-2⁢P18⁢kon-31⁢P19⁢kcoop16+19⁢P19⁢koff12+13⁢P19⁢kon12+89⁢P2⁢kcoop4-11⁢P2⁢koff+17⁢P2⁢kon+25⁢P20⁢kcoop8-49⁢P20⁢koff24-5⁢P20⁢kon12-P21⁢kcoop2+3⁢P21⁢koff8+P21⁢kon4+75⁢P22⁢kcoop16-15⁢P22⁢koff4+P22⁢kon4+35⁢P23⁢kcoop8-P23⁢koff+3⁢P23⁢kon2-13⁢P24⁢kcoop+8⁢P24⁢koff+2⁢P24⁢kon+P26⁢kcoop+4⁢P26⁢kon-3⁢P27⁢kcoop4-3⁢P27⁢koff2+9⁢P28⁢kcoop8-7⁢P28⁢koff2-2⁢P28⁢kon+5⁢P29⁢kcoop4-11⁢P29⁢koff2+26⁢P3⁢kcoop-19⁢P3⁢koff-4⁢P3⁢kon-3⁢P30⁢kcoop8+P30⁢koff2+P31⁢kcoop4-4⁢P31⁢kon-3⁢P32⁢kcoop8+P32⁢koff+2⁢P33⁢kcoop-3⁢P33⁢koff+7⁢P35⁢kcoop4-2⁢P35⁢koff+P35⁢kon-15⁢P36⁢kcoop4-7⁢P36⁢koff-4⁢P36⁢kon+3⁢P38⁢kcoop-8⁢P38⁢koff-2⁢P39⁢kcoop+10⁢P39⁢koff-239⁢P4⁢kcoop8+41⁢P4⁢koff2-P4⁢kon2-2⁢P40⁢kcoop-6⁢P41⁢koff13-4⁢P42⁢koff13-P43⁢koff+37⁢P5⁢kcoop8-3⁢P5⁢koff2+19⁢P5⁢kon2+121⁢P7⁢kcoop16-29⁢P7⁢koff4-29⁢P7⁢kon4-119⁢P8⁢kcoop8+19⁢P8⁢koff2-5⁢P8⁢kon2-141⁢P9⁢kcoop8+19⁢P9⁢koff2-15⁢P9⁢kon2
dP37dt=2⁢P24⁢kcoop+2⁢P24⁢kon+2⁢P26⁢kcoop+P26⁢kon-2⁢P37⁢kcoop-3⁢P37⁢koff-P37⁢kon+P44⁢koff
dP38dt=3⁢P0⁢kcoop+21⁢P0⁢koff2+12⁢P0⁢kon-19⁢P11⁢kcoop4+17⁢P11⁢koff8+P11⁢kon2+P12⁢kcoop2-P12⁢koff4+43⁢P13⁢kcoop2-293⁢P13⁢koff12+P13⁢kon2+18⁢P14⁢kcoop-15⁢P14⁢koff+54⁢P15⁢kcoop-49⁢P15⁢koff-21⁢P16⁢kcoop+133⁢P16⁢koff6+2⁢P16⁢kon-22⁢P18⁢kcoop+62⁢P18⁢koff3-7⁢P18⁢kon2+65⁢P19⁢kcoop12-457⁢P19⁢koff72+4⁢P19⁢kon3-21⁢P2⁢kcoop+11⁢P2⁢koff2-12⁢P2⁢kon-67⁢P20⁢kcoop12+287⁢P20⁢koff72-25⁢P20⁢kon24+3⁢P21⁢kcoop4-23⁢P21⁢koff24-P21⁢kon8-19⁢P22⁢kcoop4+17⁢P22⁢koff8+P22⁢kon2-5⁢P23⁢kcoop2-7⁢P23⁢koff12+P23⁢kon2+18⁢P24⁢kcoop-16⁢P24⁢koff-4⁢P26⁢koff-3⁢P26⁢kon-4⁢P27⁢kcoop+17⁢P27⁢koff3-7⁢P27⁢kon2-11⁢P28⁢kcoop2+73⁢P28⁢koff12-P28⁢kon-8⁢P29⁢kcoop+25⁢P29⁢koff3-9⁢P29⁢kon2-36⁢P3⁢kcoop+33⁢P3⁢koff+P30⁢kcoop2-P30⁢koff4-3⁢P31⁢kcoop+11⁢P31⁢koff6+2⁢P31⁢kon+3⁢P32⁢kcoop2-13⁢P32⁢koff12+P32⁢kon2-4⁢P33⁢kcoop+11⁢P33⁢koff3-P33⁢kon-P34⁢koff3-P35⁢kcoop-P35⁢koff2-3⁢P36⁢kcoop-P36⁢koff2-P36⁢kon-4⁢P37⁢koff-10⁢P38⁢kcoop-5⁢P38⁢kon+2⁢P39⁢kcoop-9⁢P39⁢koff+81⁢P4⁢kcoop2-395⁢P4⁢koff12+4⁢P4⁢kon+2⁢P40⁢kcoop+4⁢P41⁢koff13-6⁢P42⁢koff13-P43⁢koff+P45⁢koff-3⁢P5⁢kcoop2-21⁢P5⁢koff4-6⁢P5⁢kon-65⁢P7⁢kcoop4+481⁢P7⁢koff24+3⁢P7⁢kon2+37⁢P8⁢kcoop2-53⁢P8⁢koff4+3⁢P8⁢kon+39⁢P9⁢kcoop2-43⁢P9⁢koff4+6⁢P9⁢kon
dP39dt=3⁢P0⁢kcoop2-21⁢P0⁢koff2+13⁢P0⁢kon2-13⁢P11⁢kcoop8-17⁢P11⁢koff8+21⁢P11⁢kon8+P12⁢kcoop4+P12⁢koff4-P12⁢kon4+33⁢P13⁢kcoop4+293⁢P13⁢koff12-53⁢P13⁢kon4+6⁢P14⁢kcoop+15⁢P14⁢koff-10⁢P14⁢kon+18⁢P15⁢kcoop+49⁢P15⁢koff-30⁢P15⁢kon-15⁢P16⁢kcoop2-133⁢P16⁢koff6+27⁢P16⁢kon2-17⁢P18⁢kcoop2-62⁢P18⁢koff3+23⁢P18⁢kon2+17⁢P19⁢kcoop8+457⁢P19⁢koff72-67⁢P19⁢kon24-15⁢P2⁢kcoop2-11⁢P2⁢koff2+7⁢P2⁢kon2-2⁢P20⁢kcoop-287⁢P20⁢koff72+31⁢P20⁢kon12+P21⁢kcoop4+23⁢P21⁢koff24-P21⁢kon2-13⁢P22⁢kcoop8-17⁢P22⁢koff8+21⁢P22⁢kon8-P23⁢kcoop4+7⁢P23⁢koff12+5⁢P23⁢kon4+6⁢P24⁢kcoop+16⁢P24⁢koff-10⁢P24⁢kon+4⁢P26⁢koff-2⁢P26⁢kon-5⁢P27⁢kcoop2-17⁢P27⁢koff3+3⁢P27⁢kon2-11⁢P28⁢kcoop4-73⁢P28⁢koff12+11⁢P28⁢kon4-9⁢P29⁢kcoop2-25⁢P29⁢koff3+7⁢P29⁢kon2-12⁢P3⁢kcoop-33⁢P3⁢koff+20⁢P3⁢kon+P30⁢kcoop4+P30⁢koff4-P30⁢kon4-3⁢P31⁢kcoop2-11⁢P31⁢koff6+7⁢P31⁢kon2+5⁢P32⁢kcoop4+13⁢P32⁢koff12-P32⁢kon4-2⁢P33⁢kcoop-11⁢P33⁢koff3+2⁢P33⁢kon+P34⁢koff3-P35⁢kcoop2+P35⁢koff2+P35⁢kon2-3⁢P36⁢kcoop2+P36⁢koff2-P36⁢kon2+4⁢P37⁢koff-2⁢P38⁢kcoop+4⁢P38⁢koff-6⁢P39⁢kcoop-11⁢P39⁢koff-5⁢P39⁢kon+57⁢P4⁢kcoop4+395⁢P4⁢koff12-81⁢P4⁢kon4+4⁢P41⁢koff13-6⁢P42⁢koff13+P43⁢koff-3⁢P5⁢kcoop4+21⁢P5⁢koff4-13⁢P5⁢kon4-47⁢P7⁢kcoop8-481⁢P7⁢koff24+87⁢P7⁢kon8+25⁢P8⁢kcoop4+53⁢P8⁢koff4-33⁢P8⁢kon4+27⁢P9⁢kcoop4+43⁢P9⁢koff4-27⁢P9⁢kon4
dP40dt=-27⁢P0⁢kcoop4+3⁢P0⁢koff2-6⁢P0⁢kon+P11⁢kcoop16-21⁢P11⁢koff8-5⁢P11⁢kon4-5⁢P12⁢kcoop8+P12⁢koff4-P12⁢kon2-5⁢P13⁢kcoop8+11⁢P13⁢koff4+5⁢P13⁢kon2-3⁢P14⁢kcoop+3⁢P14⁢koff-9⁢P15⁢kcoop+9⁢P15⁢koff+3⁢P16⁢kcoop4-9⁢P16⁢koff2-3⁢P16⁢kon+9⁢P18⁢kcoop4-3⁢P18⁢koff-P18⁢kon+P19⁢kcoop48-3⁢P19⁢koff8+7⁢P19⁢kon12+39⁢P2⁢kcoop4-7⁢P2⁢koff2+6⁢P2⁢kon-P20⁢kcoop6-3⁢P20⁢koff8-7⁢P20⁢kon6-P21⁢kcoop8+P21⁢koff8+P22⁢kcoop16-21⁢P22⁢koff8-5⁢P22⁢kon4+5⁢P23⁢kcoop8+P23⁢koff4-P23⁢kon2-3⁢P24⁢kcoop+2⁢P24⁢koff-3⁢P27⁢kcoop4+3⁢P28⁢kcoop8-7⁢P28⁢koff4+P29⁢kcoop4-2⁢P29⁢koff+6⁢P3⁢kcoop-7⁢P3⁢koff-P30⁢kcoop8+P30⁢koff4-P31⁢kcoop4+P31⁢koff2-5⁢P32⁢kcoop8+3⁢P32⁢koff4-2⁢P33⁢koff-P33⁢kon+P35⁢kcoop4-3⁢P35⁢koff2-P36⁢kcoop4-P36⁢koff2+P38⁢koff-3⁢P39⁢koff-57⁢P4⁢kcoop8+29⁢P4⁢koff4-4⁢P40⁢kcoop-4⁢P40⁢koff-4⁢P40⁢kon+3⁢P41⁢koff13+2⁢P42⁢koff13-P43⁢koff+27⁢P5⁢kcoop8-3⁢P5⁢koff4+3⁢P5⁢kon+11⁢P7⁢kcoop16-15⁢P7⁢koff8-7⁢P7⁢kon4-33⁢P8⁢kcoop8+13⁢P8⁢koff4-P8⁢kon-51⁢P9⁢kcoop8+11⁢P9⁢koff4-3⁢P9⁢kon
dP41dt=-3⁢P0⁢kcoop-198⁢P0⁢koff-29⁢P0⁢kon+61⁢P11⁢kcoop4-103⁢P11⁢koff2+51⁢P11⁢kon4-P12⁢kcoop2+9⁢P12⁢koff-3⁢P12⁢kon2-113⁢P13⁢kcoop2+1912⁢P13⁢koff3-100⁢P13⁢kon-60⁢P14⁢kcoop+370⁢P14⁢koff-74⁢P14⁢kon-180⁢P15⁢kcoop+1194⁢P15⁢koff-222⁢P15⁢kon+63⁢P16⁢kcoop-1654⁢P16⁢koff3+83⁢P16⁢kon+57⁢P18⁢kcoop-1687⁢P18⁢koff3+213⁢P18⁢kon2-163⁢P19⁢kcoop12+3113⁢P19⁢koff18-121⁢P19⁢kon4+63⁢P2⁢kcoop-198⁢P2⁢koff+103⁢P2⁢kon+50⁢P20⁢kcoop3-4031⁢P20⁢koff36+199⁢P20⁢kon8-5⁢P21⁢kcoop2+269⁢P21⁢koff12-23⁢P21⁢kon8+61⁢P22⁢kcoop4-103⁢P22⁢koff2+51⁢P22⁢kon4+33⁢P23⁢kcoop2+98⁢P23⁢koff3+10⁢P23⁢kon-60⁢P24⁢kcoop+396⁢P24⁢koff-74⁢P24⁢kon+84⁢P26⁢koff+5⁢P26⁢kon-3⁢P27⁢kcoop-577⁢P27⁢koff3+65⁢P27⁢kon2+11⁢P28⁢kcoop2-557⁢P28⁢koff3+43⁢P28⁢kon2+P29⁢kcoop-845⁢P29⁢koff3+99⁢P29⁢kon2+120⁢P3⁢kcoop-798⁢P3⁢koff+148⁢P3⁢kon-P30⁢kcoop2+9⁢P30⁢koff-3⁢P30⁢kon2+3⁢P31⁢kcoop-248⁢P31⁢koff3+37⁢P31⁢kon+31⁢P32⁢kcoop2+122⁢P32⁢koff3+8⁢P32⁢kon+4⁢P33⁢kcoop-346⁢P33⁢koff3+17⁢P33⁢kon+26⁢P34⁢koff3+P35⁢kcoop+8⁢P35⁢koff+3⁢P35⁢kon+7⁢P36⁢kcoop-22⁢P36⁢koff+84⁢P37⁢koff+24⁢P38⁢kcoop-14⁢P38⁢koff+19⁢P38⁢kon-42⁢P39⁢kcoop-26⁢P39⁢koff-37⁢P39⁢kon-249⁢P4⁢kcoop2+2545⁢P4⁢koff3-343⁢P4⁢kon2-16⁢P40⁢kcoop-20⁢P40⁢koff+2⁢P40⁢kon-48⁢P41⁢kcoop13-4⁢P41⁢koff-24⁢P41⁢kon13+20⁢P42⁢kcoop13+4⁢P42⁢koff+10⁢P42⁢kon13+26⁢P43⁢koff-7⁢P45⁢koff-20⁢P46⁢koff+3⁢P5⁢kcoop2+99⁢P5⁢koff+29⁢P5⁢kon2+191⁢P7⁢kcoop4-2999⁢P7⁢koff6+281⁢P7⁢kon4-121⁢P8⁢kcoop2+337⁢P8⁢koff-161⁢P8⁢kon2-123⁢P9⁢kcoop2+297⁢P9⁢koff-177⁢P9⁢kon2
dP42dt=9⁢P0⁢kcoop2-15⁢P0⁢koff+31⁢P0⁢kon4-27⁢P11⁢kcoop8-3⁢P11⁢koff4-33⁢P11⁢kon16+3⁢P12⁢kcoop4-P12⁢koff2+5⁢P12⁢kon8+79⁢P13⁢kcoop4-P13⁢koff2+121⁢P13⁢kon8+12⁢P14⁢kcoop+4⁢P14⁢koff+7⁢P14⁢kon+36⁢P15⁢kcoop+16⁢P15⁢koff+21⁢P15⁢kon-33⁢P16⁢kcoop2-5⁢P16⁢koff-43⁢P16⁢kon4-41⁢P18⁢kcoop2+5⁢P18⁢koff-67⁢P18⁢kon4+125⁢P19⁢kcoop24-19⁢P19⁢koff12+215⁢P19⁢kon48-33⁢P2⁢kcoop2+11⁢P2⁢koff-59⁢P2⁢kon4-53⁢P20⁢kcoop12+5⁢P20⁢koff3-83⁢P20⁢kon24+P21⁢kcoop2+P21⁢koff2+P21⁢kon4-27⁢P22⁢kcoop8-3⁢P22⁢koff4-33⁢P22⁢kon16+5⁢P23⁢kcoop4-7⁢P23⁢koff2+23⁢P23⁢kon8+12⁢P24⁢kcoop+4⁢P24⁢koff+7⁢P24⁢kon+4⁢P26⁢koff-P26⁢kon-17⁢P27⁢kcoop2+9⁢P27⁢koff-39⁢P27⁢kon4-33⁢P28⁢kcoop4+11⁢P28⁢koff2-63⁢P28⁢kon8-29⁢P29⁢kcoop2+13⁢P29⁢koff-63⁢P29⁢kon4-24⁢P3⁢kcoop-12⁢P3⁢koff-14⁢P3⁢kon+3⁢P30⁢kcoop4-P30⁢koff2+5⁢P30⁢kon8-9⁢P31⁢kcoop2+7⁢P31⁢koff-27⁢P31⁢kon4+11⁢P32⁢kcoop4-5⁢P32⁢koff2+21⁢P32⁢kon8-6⁢P33⁢kcoop+4⁢P33⁢koff-6⁢P33⁢kon-3⁢P35⁢kcoop2+P35⁢koff-5⁢P35⁢kon4-21⁢P36⁢kcoop2+7⁢P36⁢koff-39⁢P36⁢kon4+4⁢P37⁢koff-10⁢P38⁢kcoop+8⁢P38⁢koff-9⁢P38⁢kon-2⁢P39⁢kcoop-3⁢P39⁢kon+123⁢P4⁢kcoop4+3⁢P4⁢koff2+173⁢P4⁢kon8-2⁢P40⁢kcoop+4⁢P40⁢koff-3⁢P40⁢kon-6⁢P41⁢kcoop13-3⁢P41⁢kon13-82⁢P42⁢kcoop13-10⁢P42⁢koff-41⁢P42⁢kon13+4⁢P45⁢koff+4⁢P46⁢koff-9⁢P5⁢kcoop4+15⁢P5⁢koff2-31⁢P5⁢kon8-105⁢P7⁢kcoop8-17⁢P7⁢koff4-139⁢P7⁢kon16+51⁢P8⁢kcoop4+3⁢P8⁢koff2+69⁢P8⁢kon8+57⁢P9⁢kcoop4-7⁢P9⁢koff2+87⁢P9⁢kon8
dP43dt=2⁢P33⁢kcoop+2⁢P33⁢kon+2⁢P35⁢kcoop+P35⁢kon-2⁢P43⁢kcoop-3⁢P43⁢koff-2⁢P43⁢kon+2⁢P46⁢koff
dP44dt=8⁢P37⁢kcoop+4⁢P37⁢kon-4⁢P44⁢koff
dP45dt=-45⁢P0⁢kcoop-27⁢P0⁢koff2-43⁢P0⁢kon2-21⁢P11⁢kcoop4-31⁢P11⁢koff8+5⁢P11⁢kon8+P12⁢kcoop2+3⁢P12⁢koff4-P12⁢kon4+487⁢P13⁢kcoop6+589⁢P13⁢koff12+271⁢P13⁢kon12+48⁢P14⁢kcoop+28⁢P14⁢koff+10⁢P14⁢kon+160⁢P15⁢kcoop+90⁢P15⁢koff+38⁢P15⁢kon-221⁢P16⁢kcoop3-251⁢P16⁢koff6-119⁢P16⁢kon6-197⁢P18⁢kcoop3-263⁢P18⁢koff6-46⁢P18⁢kon3+761⁢P19⁢kcoop36+971⁢P19⁢koff72+443⁢P19⁢kon72-7⁢P2⁢kcoop-33⁢P2⁢koff2+19⁢P2⁢kon2-215⁢P20⁢kcoop18-317⁢P20⁢koff36-145⁢P20⁢kon72+10⁢P21⁢kcoop3+5⁢P21⁢koff3+25⁢P21⁢kon24-21⁢P22⁢kcoop4-31⁢P22⁢koff8+5⁢P22⁢kon8+17⁢P23⁢kcoop6+35⁢P23⁢koff12+41⁢P23⁢kon12+52⁢P24⁢kcoop+30⁢P24⁢koff+12⁢P24⁢kon+16⁢P26⁢kcoop+6⁢P26⁢koff+7⁢P26⁢kon-53⁢P27⁢kcoop3-95⁢P27⁢koff6-16⁢P27⁢kon3-113⁢P28⁢kcoop6-179⁢P28⁢koff12-59⁢P28⁢kon12-73⁢P29⁢kcoop3-139⁢P29⁢koff6-17⁢P29⁢kon3-108⁢P3⁢kcoop-60⁢P3⁢koff-26⁢P3⁢kon+P30⁢kcoop2+3⁢P30⁢koff4-P30⁢kon4-13⁢P31⁢kcoop3-43⁢P31⁢koff6-7⁢P31⁢kon6+23⁢P32⁢kcoop6+41⁢P32⁢koff12+11⁢P32⁢kon12-32⁢P33⁢kcoop3-28⁢P33⁢koff3-7⁢P33⁢kon3+4⁢P34⁢kcoop3+2⁢P34⁢koff3+2⁢P34⁢kon3+3⁢P35⁢kcoop+P35⁢koff2+5⁢P35⁢kon2+P36⁢kcoop-5⁢P36⁢koff2+P36⁢kon2+16⁢P37⁢kcoop+6⁢P37⁢koff+8⁢P37⁢kon+8⁢P38⁢kcoop-2⁢P38⁢koff+5⁢P38⁢kon-14⁢P39⁢kcoop-2⁢P39⁢koff-9⁢P39⁢kon+619⁢P4⁢kcoop6+781⁢P4⁢koff12+253⁢P4⁢kon12-2⁢P40⁢koff+12⁢P41⁢kcoop13+2⁢P41⁢koff13+6⁢P41⁢kon13+8⁢P42⁢kcoop13+10⁢P42⁢koff13+4⁢P42⁢kon13+4⁢P43⁢kcoop+2⁢P43⁢koff+2⁢P43⁢kon-8⁢P45⁢kcoop-7⁢P45⁢koff-4⁢P45⁢kon-2⁢P46⁢koff+45⁢P5⁢kcoop2+27⁢P5⁢koff4+43⁢P5⁢kon4-821⁢P7⁢kcoop12-911⁢P7⁢koff24-491⁢P7⁢kon24+81⁢P8⁢kcoop2+103⁢P8⁢koff4+27⁢P8⁢kon4+59⁢P9⁢kcoop2+93⁢P9⁢koff4+5⁢P9⁢kon4
dP46dt=42⁢P0⁢kcoop+21⁢P0⁢kon+13⁢P11⁢kcoop2+13⁢P11⁢kon4-P12⁢kcoop-P12⁢kon2-275⁢P13⁢kcoop3-275⁢P13⁢kon6-52⁢P14⁢kcoop-26⁢P14⁢kon-172⁢P15⁢kcoop-86⁢P15⁢kon+242⁢P16⁢kcoop3+121⁢P16⁢kon3+230⁢P18⁢kcoop3+115⁢P18⁢kon3-433⁢P19⁢kcoop18-433⁢P19⁢kon36+14⁢P2⁢kcoop+7⁢P2⁢kon+133⁢P20⁢kcoop9+133⁢P20⁢kon18-10⁢P21⁢kcoop3-5⁢P21⁢kon3+13⁢P22⁢kcoop2+13⁢P22⁢kon4-13⁢P23⁢kcoop3-13⁢P23⁢kon6-56⁢P24⁢kcoop-28⁢P24⁢kon-16⁢P26⁢kcoop-8⁢P26⁢kon+74⁢P27⁢kcoop3+37⁢P27⁢kon3+73⁢P28⁢kcoop3+73⁢P28⁢kon6+106⁢P29⁢kcoop3+53⁢P29⁢kon3+116⁢P3⁢kcoop+58⁢P3⁢kon-P30⁢kcoop-P30⁢kon2+22⁢P31⁢kcoop3+11⁢P31⁢kon3-19⁢P32⁢kcoop3-19⁢P32⁢kon6+44⁢P33⁢kcoop3+22⁢P33⁢kon3-4⁢P34⁢kcoop3-2⁢P34⁢kon3-2⁢P35⁢kcoop-P35⁢kon+2⁢P36⁢kcoop+P36⁢kon-16⁢P37⁢kcoop-8⁢P37⁢kon-4⁢P38⁢kcoop-2⁢P38⁢kon+12⁢P39⁢kcoop+6⁢P39⁢kon-347⁢P4⁢kcoop3-347⁢P4⁢kon6-12⁢P41⁢kcoop13-6⁢P41⁢kon13-8⁢P42⁢kcoop13-4⁢P42⁢kon13-2⁢P43⁢kcoop-2⁢P46⁢kcoop-4⁢P46⁢koff-P46⁢kon+P47⁢koff-21⁢P5⁢kcoop-21⁢P5⁢kon2+445⁢P7⁢kcoop6+445⁢P7⁢kon12-45⁢P8⁢kcoop-45⁢P8⁢kon2-35⁢P9⁢kcoop-35⁢P9⁢kon2
dP47dt=10⁢P46⁢kcoop+5⁢P46⁢kon-5⁢P47⁢koff

Equations as text

48 coordinates, rank 47

The system retains one redundant coordinate on every allowed topology.

Count identity
52260*P0 + 7605*P11 - 1170*P12 - 107250*P13 - 59280*P14 - 202800*P15 + 94380*P16 + 936*P17 + 89700*P18 - 28145*P19 + 13260*P2 + 17290*P20 - 3900*P21 + 12285*P22 - 5070*P23 - 65520*P24 + 1560*P25 - 18720*P26 + 28860*P27 + 28470*P28 + 41340*P29 + 132600*P3 - 1170*P30 + 8580*P31 - 7410*P32 + 21840*P33 - 1560*P34 + 2340*P35 + 2340*P36 - 18720*P37 - 4680*P38 + 14040*P39 - 133770*P4 - 1080*P41 - 720*P42 + 4680*P46 + 936*P47 - 27690*P5 - 1560*P6 + 86775*P7 - 51090*P8 - 44070*P9 = 0

Polynomial jump closure (pJC) and EMGF

Finite event model. Removing one redundant coordinate leaves 47 independent counts. Rule applications on all 83 topology/occupancy classes generate 247 coordinate-jump classes.
pJCCLOSEDcomplete finite language
Independent lift4748 generated coordinates minus one identity
Function algebra8383 state signatures
Operator span / order182 / 1nested commutators / EMGF
D=∑eke(eλ δe−1)ae(∂λ)

Derived event classes · grouped view

The 247 exact event classes are grouped by rule and rate.

Rule / rateClassesDistinct δMax order Example class IDs
basal_bind
basal_bind
91911basal_bind-jump-1, basal_bind-jump-2, …
cooperative_bind
cooperative_bind
65651cooperative_bind-jump-1, cooperative_bind-jump-2, …
unbind
unbind
91911unbind-jump-1, unbind-jump-2, …

5 · Initial states

The same ODE is used in all three experiments. Only the initial vector changes: yᵢ(0) = evaluation of the exported count expression on the chosen initial graph. All eight slots are free in all three examples.

Initial count84+43+5
P0000
P1888
P2000
P3000
P4000
P5000
P6006
P7000
P8000
P9000
P100160
P11000
P12000
P13000
P14000
P15000
P16000
P170010
P18000
P19000
P20000
P21000
P22000
P23000
P24000
P25000
P26000
P27000
P28000
P29000
P30000
P31000
P32000
P33000
P34000
P35000
P36000
P37000
P38000
P39000
P40000
P41000
P42000
P43000
P44000
P45000
P46000
P47000

Every unlisted coordinate is initially zero. Coordinates distinguish component topologies through their graph-count expressions. Thus P0(0)=0 and P1(0)=8 alone do not specify the complete ODE initial condition.

Complete three 48-dimensional initial vectors
Coordinate84+43+5
P0000
P1888
P2000
P3000
P4000
P5000
P6006
P7000
P8000
P9000
P100160
P11000
P12000
P13000
P14000
P15000
P16000
P170010
P18000
P19000
P20000
P21000
P22000
P23000
P24000
P25000
P26000
P27000
P28000
P29000
P30000
P31000
P32000
P33000
P34000
P35000
P36000
P37000
P38000
P39000
P40000
P41000
P42000
P43000
P44000
P45000
P46000
P47000

A probability distribution over allowed graphs gives the weighted average of their vectors. A 4+4 graph is one allowed two-ring state; it is not a probability mixture of two alternative four-node systems.

6 · Dynamics

Numerical solutions of the exported ODE. Adjust every reaction rate independently. Each change reintegrates the saved ODE rather than rescaling a stored curve.

Rates from t=0

All ODE coordinates for the selected scenario

Rates are illustrative. Curves use numerical matrix exponentials at the selected rates.

Reference plots and parameters

Neighbour-enhanced binding

Static reference: k_on = 0.08, k_coop = 1.2, k_off = 0.4. The independent sliders control the interactive curves. All eight slots initially free in each topology.

Neighbour-enhanced binding

In the static reference, occupancy starts with slope k_on × 8 = 0.64, then the curves separate as neighbour correlations develop differently. The interactive curves instead use your selected rates; their initial slope is 8 k_on. Rules never change topology. The reference replay agrees with the independent P0 samples within 2.13e-14.