Formula Development (Ascent Portion)

-- Collatz trajectory (eqn 1 to get T_s(n) applies in the upward direction)

-- start at any leaf set, apply eqn 1 iteratively
      until the extension (l.d.a. header) is reached

-- result is complete characterization of all elements of a
      particular left descent by their formula

-- coefficients have the form 2^a*3^b

-- examine an illustrative table