#include<bits/stdc++.h>
using namespace std;
#define rep(i,l,r) for(int i=l;i<(r);i++)
#define all(a) begin(a),end(a)
#define sz(a) (int)(a).size()
typedef long long ll;
typedef vector<int> vi;
typedef pair<int,int> pii;
int main(){
	ll N,K,L;cin>>N>>K>>L;
	vi A(N+1),B(N+1);
	iota(all(A),0);
	iota(all(B),0);
	while(K--){
		ll a;cin>>a;
		swap(A[a-1],A[a]);
	}
	while(L--){
		ll b;cin>>b;
		swap(B[b-1],B[b]);
	}
	if(A==B)cout<<"YES"<<endl;
	else cout<<"NO"<<endl;
}