该程序求出了最小的大于1的正整数k使得所有b,模k同余

其中输入的变量满足:2≤n≤500,1≤b₁≤m≤5000。