>>814
降順でrより小さい数の倍数であるpを余らせようとするためです

>pのうち必ず一つは3の倍数になるので、
それ以外のpは2の倍数か、3より大きな奇素数の倍数になるため、pが余る場合、3の倍数か2の倍数を余らせようとします。

そのため、r側の2,3の倍数は上位の奇素数で対応付けされているのに、p側の2,3の倍数は上位の奇素数での対応付けで優先的にスキップされます