The bound g(d + 2) over the number of possible values for {(s(σ i ), e(σ i ))} r i=1 is somewhat loose, as the set of p-structures over {1} ∪ where for example there is no i such that s(σ i ) = 1.
the bound is tight enough to give the O(d!)