F

Γ

B

δ
^{(i)}

E

C

D

S
^{(i)}

w

z


mn

2m(m1)n

2m(m1)

m(m1)/2

2m(m1)

2m(m1)

m

mk

m

mk

 The number of variables of each kind is expressed in terms of n, m, and k, the total number of taxa, the total number of splits in the input trees, and the number of input trees, respectively.