#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#define FAST_IO ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);cerr.tie(0)
#define pb push_back
#define all(x) begin(x), end(x)
#define umap unordered_map
#define space " "
#define TEST_CASES int a; cin >> a; for (int i = 0; i < a; i++) {solve(); cout << endl;}
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef long double ld;
template<typename T> using ordered_set = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
mt19937 rng((uint32_t)chrono::steady_clock::now().time_since_epoch().count());
void solve() {
int n, m; cin >> n >> m;
vector<int> vec(n);
for (int i = 0; i < n; i++) {
cin >> vec[i];
}
vector<int> vect(m);
for (int i = 0; i < m; i++) {
cin >> vect[i];
}
vector<pair<int, int>> dp(1 << m);;
for (int i = 0; i < 1 << m; i++) {
for (int j = 0; j < m; j++) {
if (i & (1 << j)) {
dp[i] = max(dp[i], dp[i ^ (1 << j)]);
int goal = dp[i ^ (1 << j)].first; int rem = dp[i ^ (1 << j)].second;
if (goal < n) {
if (rem + vect[j] < vec[goal]) {
dp[i] = max(dp[i], {goal, rem + vect[j]});
}
else if (rem + vect[j] == vec[goal]) {
dp[i] = max(dp[i], {goal + 1, 0});
}
}
}
}
}
if (dp.back().first == n) {
cout << "YES"; return;
}
cout << "NO";
}
int main() {
FAST_IO;
//freopen("guard.in", "r", stdin);
//freopen("guard.out", "w", stdout);
//TEST_CASES;
solve(); cout << endl;
/*int a; cin >> a;
for (int i = 1; i <= a; i++){
cout << "Case #" << i << ": ";
solve();
cout << endl;
}*/
}
