New precedence results are obtained for finite, not necessarily commutative semigroups, which are used to further sharpen existing algorithms for the computation of finite semigroups. The results in this first part describe the first row of the multiplication table in detail and provide a numerical profile with which it can be compared to other rows.