サイコロのだってmod7で計算すれば列挙するのは大した手間じゃないぞ