最初
An,b={a5^n+b|a∈Z}
としたのは院入試の5進距離のイメージで