Make GCD M

数列$A$のうち$M$の倍数であるものの数を$K$個とします．

これら$K$個からなる部分列の公約数には，必ず$M$が含まれます．また，逆に，これら$K$個以外の要素を部分列に含めた場合，その公約数には$M$は含まれません．
よって，答えが存在する場合，求める答えは明らかに$K$です．$M$の倍数であるそれら$K$個のGCDが$M$にならない（$M$に$2$以上の整数をかけた値になる）場合，GCDを$M$にすることはできません．

$\mathrm{O}(N)$個の数の最大公約数を求めるため，計算量は$\mathrm{O}(N \log A)$となります．

コード例（Python）