すいません、(7) 以降に無駄があったので次のように修正します。

(7) (6) で得られた組に全ての Ci が現れれば操作を終了する((4)に戻る)。
一度も現れなかった Ci があれば、
Z/27pZ において、条件
「mod 9p で見た時、(6)の組に一度も現れなかった Ci に属する」
を満たす数全体を考え、この数たちを (1), (2) と同様にグループ分けし、D1,D2,… とする。

(8) (6)の組に現れた Cj 全てと D1,D2,… に対して (3) と同じことを行う。

(9) (7)(8) の C,D をそれぞれ D,E に、p を 3p に、(6) を (8) に変えて同じこと行う。
以降、同様に繰り返す。


例に変化はありません。
(7) 以降は再帰ではなく単なる繰り返しになります。