for the smaller combinations of k and r it is possible to make an exhaustive survey, to find which rules are reversible, and to ascertain the reversing rule. Given the fact that the neighborhood length of a pair of inverses does not have to be the same, the surveys performed in the ancestor menu will not necessarily be complete.