ちなみに①を満たすだけならaは32の倍数が必要だけだけど、前の方でaは数列の初項に設定してるので結局最小は128ね