#ifndef LOCAL
#pragma GCC optimize ("O3")
#endif

#include <bits/stdc++.h>

using namespace std;

#define sim template < class c
#define ris return * this
#define dor > debug & operator <<
#define eni(x) sim > typename \
enable_if<sizeof dud<c>(0) x 1, debug&>::type operator<<(c i) {
sim > struct rge { c b, e; };
sim > rge<c> range(c i, c j) { return {i, j}; }
sim > auto dud(c* x) -> decltype(cerr << *x, 0);
sim > char dud(...);
struct debug {
#ifdef LOCAL
~debug() { cerr << endl; }
eni(!=) cerr << boolalpha << i; ris; }
eni(==) ris << range(begin(i), end(i)); }
sim, class b dor(pair < b, c > d) {
  ris << "(" << d.first << ", " << d.second << ")";
}
sim dor(rge<c> d) {
  *this << "[";
  for (c it = d.b; it != d.e; ++it)
    *this << ", " + 2 * (it == d.b) << *it;
  ris << "]";
}
#else
sim dor(const c&) { ris; }
#endif
};
#define imie(x...) " [" #x ": " << (x) << "] "

using ld = long double;
using ll = long long;

constexpr int mod = 1000 * 1000 * 1000 + 7;
constexpr int odw2 = (mod + 1) / 2;

void OdejmijOd(int& a, int b) { a -= b; if (a < 0) a += mod; }
int Odejmij(int a, int b) { OdejmijOd(a, b); return a; }
void DodajDo(int& a, int b) { a += b; if (a >= mod) a -= mod; }
int Dodaj(int a, int b) { DodajDo(a, b); return a; }
int Mnoz(int a, int b) { return (ll) a * b % mod; }
void MnozDo(int& a, int b) { a = Mnoz(a, b); }
int Pot(int a, int b) { int res = 1; while (b) { if (b % 2 == 1) MnozDo(res, a); a = Mnoz(a, a); b /= 2; } return res; }
int Odw(int a) { return Pot(a, mod - 2); }
void PodzielDo(int& a, int b) { MnozDo(a, Odw(b)); }
int Podziel(int a, int b) { return Mnoz(a, Odw(b)); }
int Moduluj(ll x) { x %= mod; if (x < 0) x += mod; return x; }

template <typename T> T Maxi(T& a, T b) { return a = max(a, b); }
template <typename T> T Mini(T& a, T b) { return a = min(a, b); }

constexpr int nax = 25000 + 105;
constexpr int kax = 405;

int N, M, K;
int dp[nax][kax];
int dpsum[nax][kax];

int LiczNiecale(int pref, int suf, int zost) {
  int wynik = 0;
  for (int lewo = 0; lewo <= zost; lewo++) {
    const int prawo = zost - lewo;
    DodajDo(wynik, Mnoz(dp[lewo][pref], dp[prawo][suf]));
  }
  return wynik;
}

int LiczNiecaleSum(int pref, int suf, int zost) {
  assert(pref >= 0 and suf >= 0 and zost >= 0);
  int wynik = 0;
  for (int lewo = 0; lewo <= zost; lewo++) {
    const int prawo = zost - lewo;
    DodajDo(wynik, Mnoz(dp[lewo][pref], dpsum[prawo][suf]));
  }
  debug() << "LiczNiecaleSum(" imie(pref) imie(suf) imie(zost) ") = " << wynik;
  return wynik;
}

int LiczCale(int ciag) {
  const int zost = N - M;
  debug() << "LiczCale(" imie(ciag) ")" imie(zost);
  int wynik = 0;
  int mnozik = 1;
  for (int prawo = 0; ciag + prawo < K and prawo <= zost; prawo++) {
    debug() << imie(prawo) imie(mnozik) imie(dp[zost - prawo][ciag + prawo]);
    DodajDo(wynik, Mnoz(mnozik, dp[zost - prawo][ciag + prawo]));
    if (prawo < zost) {
      debug() << imie(mnozik) imie(ciag) imie(prawo) imie(zost);
      DodajDo(wynik, Mnoz(mnozik, LiczNiecaleSum(ciag + prawo, ciag + prawo, zost - (prawo + 1))));
    }
    MnozDo(mnozik, K - (ciag + prawo));
  }
  debug() << imie(wynik);
  return wynik;
}

int Licz(int pref, int suf) {
  const int zost = N - M;
  if (pref == M) {
    assert(pref == suf);
    return LiczCale(pref);
  }
  assert(pref < M and suf < M);
  return LiczNiecale(pref, suf, zost);
}

bool JestZle(const vector<int>& A) {
  vector<int> rozne(A.size());
  for (int i = 0; i < (int) A.size(); i++) {
    int& l = rozne[i];
    for (int j = i - 1; j >= 0; j--) {
      if (A[i] != A[j]) {
        l++;
      } else {
        break;
      }
    }
  }
  int ciag = 0;
  for (int i = 0; i < (int) A.size(); i++) {
    ciag = min(ciag, rozne[i]);
    ciag++;
    if (ciag == K) {
      return false;
    }
  }
  return true;
}

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cin >> N >> K >> M;
  for (int i = 1; i < K; i++) {
    dp[0][i] = 1;
    dpsum[0][i] = i;
  }
  for (int n = 1; n <= N; n++) {
    for (int x = 1; x < K; x++) {
      int& w = dp[n][x];
      DodajDo(w, dpsum[n - 1][x]);
      DodajDo(w, Mnoz(dp[n - 1][x + 1], K - x));
      debug() << "dp[" << n << "][" << x << "] = " << w;
      dpsum[n][x] = Dodaj(dpsum[n][x - 1], w);
    }
  }
  vector<int> A(M);
  for (int& x : A) cin >> x;
  int pref = 1, suf = 1;
  for (int i = 1; i < M; i++) {
    bool rowne = false;
    for (int j = 0; j < i; j++) {
      if (A[i] == A[j]) {
        rowne = true;
        break;
      }
    }
    if (rowne) break;
    pref++;
  }
  for (int i = M - 2; i >= 0; i--) {
    bool rowne = false;
    for (int j = i + 1; j < M; j++) {
      if (A[i] == A[j]) {
        rowne = true;
        break;
      }
    }
    if (rowne) break;
    suf++;
  }
  debug() << imie(pref) imie(suf);
  const int zost = N - M;
  int wsio = Moduluj(zost + 1);
  for (int i = 0; i < zost; i++) MnozDo(wsio, K);
  debug() << imie(wsio);

  int wynik = wsio;
  if (JestZle(A)) {
    OdejmijOd(wynik, Licz(pref, suf));
  }
  cout << wynik << endl;
  return 0;
}


Measured memory_bytes: 79744