#include <cstdio>
#include <iostream>
#define debug(...) fprintf(stderr,__VA_ARGS__)
#define inver(a) power(a,mod-2)
using namespace std;
inline char nc()
{
    // return getchar();
    static char buf[100000],*l=buf,*r=buf;
    return l==r&&(r=(l=buf)+fread(buf,1,100000,stdin),l==r)?EOF:*l++;
}
template<class T> void read(T &x)
{
    x=0; int f=1,ch=nc();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=nc();}
    while(ch>='0'&&ch<='9'){x=x*10-'0'+ch;ch=nc();}
    x*=f;
}
typedef long long ll;
const int mod=1e9+7;
const int maxn=25000+50;
const int maxk=400+5;
int n,k,m;
int a[maxn];
int tim;
int vis[maxk];
inline int add(int x) {return x>=mod?x-mod:x;}
inline int sub(int x) {return x<0?x+mod:x;}
ll power(ll x,ll y)
{
    ll re=1;
    while(y)
    {
        if(y&1) re=re*x%mod;
        x=x*x%mod;
        y>>=1;
    }
    return re;
}
int fact(int n)
{
    int re=1;
    for(int i=1;i<=n;++i) re=(ll)re*i%mod;
    return re;
}
namespace sub1
{
    int sum[maxk];
    int dp[2][maxn][maxk];
    void DP(int d,int x)
    {
        dp[d][0][x]=1;
        for(int i=1;i<=n;++i)
        {
            sum[k]=0;
            for(int j=k-1;j>=1;--j) sum[j]=add(dp[d][i-1][j]+sum[j+1]);
            for(int j=1;j<k;++j)
            {
                dp[d][i][j]=((ll)dp[d][i-1][j-1]*(k-j+1)+sum[j])%mod;
            }
        }
    }
    int sol()
    {
        ++tim;
        int x=0;
        for(int i=1;i<=m;++i)
        {
            if(vis[a[i]]==tim) break;
            vis[a[i]]=tim,++x;
        }
        DP(0,x);
        ++tim;
        x=0;
        for(int i=m;i>=1;--i)
        {
            if(vis[a[i]]==tim) break;
            vis[a[i]]=tim,++x;
        }
        DP(1,x);
        int an=0;
        for(int i=0;i+m<=n;++i)
        {
            int s=0,t=0;
            for(int j=0;j<k;++j) s=add(s+dp[0][i][j]);
            for(int j=0;j<k;++j) t=add(t+dp[1][n-i-m][j]);
            an=(an+(ll)s*t)%mod;
        }
        return an;
    }
}
namespace sub2
{
    int sf[maxk];
    int sg[maxk];
    int f[maxn][maxk];
    int g[maxn][maxk];
    int sol()
    {
        f[0][0]=1;
        for(int i=1;i<=n;++i)
        {
            sf[k]=sg[k]=0;
            for(int j=k-1;j>=1;--j) 
            {
                sf[j]=add(sf[j+1]+f[i-1][j]);
                sg[j]=add(sg[j+1]+g[i-1][j]);
            }
            for(int j=1;j<k;++j)
            {
                f[i][j]=((ll)f[i-1][j-1]*(k-j+1)+sf[j])%mod;
                g[i][j]=((ll)g[i-1][j-1]*(k-j+1)+sg[j])%mod;
                if(j>=m) g[i][j]=add(g[i][j]+f[i][j]);
            }
        }
        int an=0;
        for(int j=0;j<k;++j) an=add(an+g[n][j]);
        an=(ll)an*fact(k-m)%mod*inver(fact(k))%mod;
        return an;
    }
}
int sol()
{
    for(int i=1;i+k-1<=m;++i)
    {
        bool ok=1;
        ++tim;
        for(int j=0;j<k;++j)
        {
            if(vis[a[i+j]]==tim) {ok=0; break;}
            vis[a[i+j]]=tim;
        }
        if(ok) return 0;
    }
    ++tim;
    for(int i=1;i<=m;++i)
    {
        if(vis[a[i]]==tim) return sub1::sol();
        vis[a[i]]=tim;
    }
    return sub2::sol();
}
int main()
{
    read(n),read(k),read(m);
    for(int i=1;i<=m;++i)
    {
        read(a[i]);
    }
    printf("%d\n",sub((n-m+1)*power(k,n-m)%mod-sol()));
    return 0;
}

Measured memory_bytes: 81024