18/05/28 00:38:11.51 juv57CZY.net
ここから>>94の出力の話。
19n+1 版で、プログラムに 7 を入力して、A'={3,5,6} とした状況を考えます。
B は Z/133Z において、
「 19 の倍数でも 7 の倍数でもなく、mod 7 で 3,5,6 出ない数」
を考えるので、Z/133Z の下図の部分だけを見れば十分です。
URLﾘﾝｸ(i.imgur.com)
グループ分けを考えると、2 倍すると右上に進むことから
図のように 3 つのグループに分かれます。
URLﾘﾝｸ(i.imgur.com)
縦のマス数 18 が 3 の倍数であることに注意。
次に {3,5,6} に 19 をかけて 1 を足すと
3*19+1=58≡2 (mod 7)
5*19+1=96≡5 (mod 7)
6*19+1=115≡3 (mod 7)
より 3 に対してのみ B のグループが対応します。
58≡1 (mod 19)、58≡2 (mod 7) より
58 は図の位置になります。
URLﾘﾝｸ(i.imgur.com)
よって、緑グループのみ得られます。