#include #include #include #include using ll = long long; using namespace std; #define rep(i,n) for (int i = 0; i < (n); i++) const ll MOD = 1000000007; ll modpow(ll a, ll n, ll mod) { ll res = 1; while (n > 0) { if (n & 1) res = res * a % mod; a = a * a % mod; n >>= 1; } return res; } ll modinv(ll i, ll mod) { return modpow(i, mod - 2, mod); } ll fact(ll n, ll mod) { ll ans = 1; rep(i, n) { ans = ans * (i + 1) % mod; } return ans; } ll comb(ll n, ll a, ll mod) { ll ans = 1, denom = 1; rep(i, a) { ans = ans * (n - i) % mod; denom = denom * (i + 1) % mod; } ans = ans * modinv(denom, mod) % mod; return ans; } int main() { int n; cin >> n; vector p(n); for (size_t i = 0; i < n; i++) { cin >> p[i]; p[i]--; } map mp; vector visited(n, false); for (size_t i = 0; i < n; i++) { if (!visited[i]) { int l = 0; int v = i; while (!visited[v]) { visited[v] = true; v = p[v]; l++; } mp[l]++; } } bool half = true; ll ans = fact(n, MOD); for (auto itr = mp.begin(); itr != mp.end(); ++itr) { int k = itr->first; int v = itr->second; if (k % 2 == 0 || v >= 2) { half = false; } ans *= modinv(modpow(k, v, MOD), MOD); ans %= MOD; ans *= modinv(fact(v, MOD), MOD); ans %= MOD; } if (half && n != 1) { ans *= modinv(2, MOD); ans %= MOD; } cout << ans << "\n"; }