#include using namespace std; const long long MOD = 1000000007; long long modpow(long long a, long long b){ long long ans = 1; while (b > 0){ if (b % 2 == 1){ ans *= a; ans %= MOD; } a *= a; a %= MOD; b /= 2; } return ans; } long long modinv(long long a){ return modpow(a, MOD - 2); } vector mf = {1}; vector mfi = {1}; long long modfact(int n){ if (mf.size() > n){ return mf[n]; } else { for (int i = mf.size(); i <= n; i++){ long long next = mf.back() * i % MOD; mf.push_back(next); mfi.push_back(modinv(next)); } return mf[n]; } } long long modfactinv(int n){ if (mfi.size() > n){ return mfi[n]; } else { modfact(n); return mfi[n]; } } int main(){ int N, M; cin >> N >> M; vector A(N); for (int i = 0; i < N; i++){ cin >> A[i]; A[i]--; } vector used(N, false); vector cnt(N + 1, 0); for (int i = 0; i < N; i++){ if (!used[i]){ used[i] = true; int c = 0; int v = i; while (true){ c++; v = A[v]; if (used[v]){ break; } used[v] = true; } cnt[c]++; } } long long ans = 1; for (int i = 1; i <= N; i++){ if (cnt[i] > 0){ vector dp(cnt[i] + 1, 0); dp[0] = 1; for (int j = 1; j <= cnt[i]; j++){ if (M % j == 0 && gcd(M / j, i) == 1){ vector dp2(cnt[i] + 1, 0); for (int k = 0; k <= cnt[i]; k++){ for (int l = k; l <= cnt[i]; l += j){ int c = (l - k) / j; long long add = dp[k]; add *= modfact(cnt[i] - k); add %= MOD; add *= modpow(modfactinv(j), c); add %= MOD; add *= modfactinv(cnt[i] - l); add %= MOD; add *= modfactinv(c); add %= MOD; add *= modpow(modfact(j - 1), c); add %= MOD; add *= modpow(i, (j - 1) * c); add %= MOD; dp2[l] += add; dp2[l] %= MOD; } } swap(dp, dp2); } } ans *= dp[cnt[i]]; ans %= MOD; } } cout << ans << endl; }