def cmb(n, r, mod): if ( r<0 or r>n ): return 0 r = min(r, n-r) return g1[n] * g2[r] * g2[n-r] % mod mod = 998244353 N = 5000 g1 = [1]*(N+1) g2 = [1]*(N+1) inverse = [1]*(N+1) for i in range( 2, N + 1 ): g1[i]=( ( g1[i-1] * i ) % mod ) inverse[i]=( ( -inverse[mod % i] * (mod//i) ) % mod ) g2[i]=( (g2[i-1] * inverse[i]) % mod ) inverse[0]=0 N,M = map(int,input().split()) P = list(map(int,input().split())) P = [P[i]-1 for i in range(N)] cycle = [] used = [False]*N for i in range(N): if not used[i]: used[i] = True c = 1 pos = i while not used[P[pos]]: pos = P[pos] used[pos] = True c += 1 cycle.append(c) n = len(cycle) binom_poly = [1] for i in range(n): c = [cmb(cycle[i],j,mod) for j in range(1,cycle[i]+1)] for j in range(0,cycle[i],2): c[j] = (- c[j]) % mod c[0] = (c[0] + 1) % mod merged = [0]*(len(binom_poly) + len(c) - 1) for i in range(len(binom_poly)): for j in range(len(c)): merged[i+j] += binom_poly[i] * c[j] merged[i+j] %= mod binom_poly = merged Stirling = [[0 for j in range(N+1)] for i in range(M+1)] for j in range(1,N+1): Stirling[1][j] = 1 for i in range(2,M+1): for j in range(i,N+1): Stirling[i][j] = Stirling[i-1][j-1] + i * Stirling[i][j-1] Stirling[i][j] %= mod ans = 0 for i in range(N-n+1): ans += Stirling[M][n+i] * binom_poly[i] ans %= mod ans *= (-1)**N ans %= mod print(ans)