Symbolic implementation of the general cubic decomposition of polynomial sequences. Results for seve