#include <bits/stdc++.h>
#include <random>

using namespace std;

typedef unsigned long long ull;
typedef long long ll;
typedef long double ld;
#define int ll
typedef vector<char> vc;
typedef vector<vc> vvc;
typedef vector<vvc> vvvc;
typedef pair<int, int> pii;
typedef pair<pii, pii> piii;
typedef pair<ll, ll> pll;
typedef vector<int> vi;
typedef vector<pii> vpi;
typedef vector< vi > vvi;
typedef vector< vvi > vvvi;
typedef vector<short> vs;
typedef vector<vs> vvs;
typedef vector<vvs> vvvs;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<vvl> vvvl;
typedef vector<ld> vld;
typedef vector<vld> vvld;
typedef vector<vvld> vvvld;
typedef vector<string> vst;
typedef vector<vst> vvst;
typedef pair<ld, ld> pld;

#define inmin(a, b) a = min(a, (b))
#define inmax(a, b) a = max(a, (b))
#define ALL(a) a.begin(),a.end()
#define RALL(a) a.rbegin(),a.rend()
#define sqr(x) ((x) * (x))
#define fori(i, n) for(int i = 0; i < int(n); ++i)
#define SZ(a) ((int)((a).size()))
#define triple(T) tuple<T, T, T>
#define quad(T) tuple<T, T, T, T>
#define watch(x) cerr << (#x) << " = " << (x) << endl;

#ifdef RUS_HOME
#define cerr cout
#else
#define cerr if (false) cerr
#endif

const double PI = 2 * acos(0.0);
#define rand shittttty_shit
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
mt19937_64 rng_64(chrono::steady_clock::now().time_since_epoch().count());

const string DIGITS = "0123456789";
const string ALPH = "abcdefghijklmnopqrstuvwxyz";


template <class T0, class T1>
inline ostream & operator << (ostream &out, pair<T0, T1> &a) {
    return out << "{" << a.first << ", " << a.second << "}";
}

template <class T0, class T1>
inline istream & operator >> (istream &in, pair<T0, T1> &a) {
    return in >> a.first >> a.second;
}

template <class T0, class T1, class T2>
inline ostream & operator << (ostream &out, tuple<T0, T1, T2> &a) {
    return out << "{" << get<0>(a) << ", " << get<1>(a) << ", " << get<2>(a) << "}";
}

template <class T0, class T1, class T2, class T3>
inline ostream & operator << (ostream &out, tuple<T0, T1, T2, T3> &a) {
    return out << "{" << get<0>(a) << ", " << get<1>(a) << ", " << get<2>(a) << ", " <<  get<3>(a) << "}";
}

template<class T>
inline ostream & operator << (ostream &out, vector<T> &a) {
    out << "[";
    fori (i, a.size())
        out << a[i] << vector<string>{", ", "]  "}[i + 1 == a.size()];
    return out;
}


void smain();



signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0); cout.tie(0);
#ifdef RUS_HOME
    freopen("input", "r", stdin);
    //freopen("output.txt", "w", stdout);
    clock_t start = clock();
#endif
    cout << setprecision(12) << fixed;
    smain();
#ifdef RUS_HOME
    cout << "\n\n\n\nTOTAL EXECUTION TIME: " << float( clock () - start ) /  CLOCKS_PER_SEC << endl;
#endif
    return 0;
}

const int MOD=1e9+7,N=5e3+10,M=18,oo=1e9;



void smain() {

    int n,m,q;
    cin>>n>>m>>q;

    vi b(q);
    for(int i=0;i<q;i++){
        cin>>b[i];
    }



    set<pii>st;
    vi v(m+1);
    int d=0;
    for(int i=1;i<=m;i++){
        st.insert({i,i});
        v[i]=i;
    }
    vi f(q);


    int nx=0;
    for(int i=0;i<q;i++){
        auto it=st.lower_bound({v[b[i]],b[i]});
        int y1=-1,y2=-1;

        auto it2=it;
        if(it2!=st.begin()){
            it2--;
            y1=(*it2).second;
            if(y1>b[i])
                d--;
        }
        it2=it;
        it2++;
        if(it2!=st.end()){
            y2=(*it2).second;
            if(y2<b[i])
                d--;
        }
        if(y1!=-1&&y2!=-1){
            if(y1>y2)
                d++;
        }
        st.erase(it);
        it2=st.begin();
        int y=(*it2).second;
        if(b[i]>y)
            d++;

        v[b[i]]=nx--;
        st.insert({v[b[i]],b[i]});
        if(d==0){
            f[i]=1;
        }
    }
    int lst=0,w=0;
    for(auto u:st){
        if(u.second>lst)
            w++;
        else
            w=1;
        lst=u.second;
    }

    if(d==0){
        cout<<"Yes";
        return;
    }


    reverse(ALL(b));
    vi pos(m+1),cnt(m+1),us(m+1),lol(m+1);
    vi kek;
    for(int i=0;i<q;i++){
        int a=b[i];
        if(us[a]==2)
            ;
        else if(us[a]==0){
            pos[a]=SZ(kek);
            lol[SZ(kek)]=a;
            kek.push_back(a);
            us[a]=1;
            cnt[a]++;
        }
        else if(us[a]==1){
            int u=pos[a];
            if(u==0)
                cnt[a]++;
            else if(cnt[a]<cnt[lol[u-1]]){
                cnt[a]++;
            }
            if(cnt[a]==n){
                us[a]=2;
            }
        }
    }


    vi g[n];
    for(int i=0;i<SZ(kek);i++){
        for(int j=0;j<cnt[kek[i]];j++){
            g[j].push_back(kek[i]);
        }
    }

    for(int i=0;i<n;i++){
        int p=0;
        bool fl=true;
        for(auto u:st){
            if(SZ(g[i])==p)
                break;
            if(g[i][p]!=u.second){
                fl=false;
                break;
            }
            p++;
        }
        if(!fl){
            cout<<"No";
            return;
        }
        if(w<m-p){
            cout<<"No";
            return;
        }
    }


    cout<<"Yes";



}



Measured memory_bytes: 20344