// cd /mnt/c/users/murad/onedrive/dokumente
/// https://open.spotify.com/intl-tr/track/13XGeumHl6payK5U9fI0R7?si=c27aa63e897a4bcb
/*
⠀⠀⠀⠀⠀⠀⠀⢀⣠⣤⣤⣶⣶⣶⣶⣤⣤⣄⡀⠀⠀⠀⠀⠀⠀⠀
⠀⠀⠀⠀⢀⣤⣾⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣷⣤⡀⠀⠀⠀⠀
⠀⠀⠀⣴⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣦⠀⠀⠀
⠀⢀⣾⣿⡿⠿⠛⠛⠛⠉⠉⠉⠉⠛⠛⠛⠿⠿⣿⣿⣿⣿⣿⣷⡀⠀
⠀⣾⣿⣿⣇⠀⣀⣀⣠⣤⣤⣤⣤⣤⣀⣀⠀⠀⠀⠈⠙⠻⣿⣿⣷⠀
⢠⣿⣿⣿⣿⡿⠿⠟⠛⠛⠛⠛⠛⠛⠻⠿⢿⣿⣶⣤⣀⣠⣿⣿⣿⡄
⢸⣿⣿⣿⣿⣇⣀⣀⣤⣤⣤⣤⣤⣄⣀⣀⠀⠀⠉⠛⢿⣿⣿⣿⣿⡇
⠘⣿⣿⣿⣿⣿⠿⠿⠛⠛⠛⠛⠛⠛⠿⠿⣿⣶⣦⣤⣾⣿⣿⣿⣿⠃
⠀⢿⣿⣿⣿⣿⣤⣤⣤⣤⣶⣶⣦⣤⣤⣄⡀⠈⠙⣿⣿⣿⣿⣿⡿⠀
⠀⠈⢿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣷⣾⣿⣿⣿⣿⡿⠁⠀
⠀⠀⠀⠻⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⠟⠀⠀⠀
⠀⠀⠀⠀⠈⠛⢿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣿⡿⠛⠁⠀⠀⠀⠀
⠀⠀⠀⠀⠀⠀⠀⠈⠙⠛⠛⠿⠿⠿⠿⠛⠛⠋⠁⠀⠀⠀⠀⠀⠀⠀
'*/
#include <bits/stdc++.h>
using namespace std;
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
#define int long long
#define YES cout << "YES" << '\n';
#define NO cout << "NO" << '\n';
#define Yes cout << "Yes" << '\n';
#define No cout << "No" << '\n';
#define no cout << "no" << '\n';
#define yes cout << "yes" << '\n';
#define fastio \
ios_base::sync_with_stdio(false); \
cin.tie(nullptr);
#define all(a) (a).begin(), (a).end()
#define rall(a) (a).rbegin(), (a).rend()
#define pb push_back
#define pf push_front
#define M_PI 3.14159265358979323846
#define vi vector<long long>
#define pii pair<long long, long long>
#define vii vector<pair<long long, long long>>
#define vvi vector<vector<long long>>
#define FOR0(i, n) for (int i = 0; i < n; ++i)
#define FOR1(i, n) for (int i = 1; i <= n; ++i)
const long long kurdistan = 0;
const long long MOD = 998244353;
const long long INF = 1e18;
const long long LINF = 4e18;
const long long LOG = 1e8;
const long long MAXN = 50000;
const long long MAXM = 200000 + 5;
const long long sz = 200000 + 9;
// mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
template <typename T>
void print(const vector<T> &v)
{
for (auto &x : v)
{
cout << x << ' ';
}
cout << '\n';
}
template <typename T>
void input(vector<T> &v)
{
for (auto &x : v)
{
cin >> x;
}
}
int ebob(int a, int b)
{
int g = std::gcd(a, b);
return g;
}
int ekob(int a, int b)
{
int g = std::gcd(a, b);
return (a / g) * b;
}
using namespace __gnu_pbds;
template <typename T>
using indexed_set = tree<
T,
null_type,
less<T>,
rb_tree_tag,
tree_order_statistics_node_update>;
template <typename T>
using indexed_multiset = tree<
pair<T, int>,
null_type,
less<pair<T, int>>,
rb_tree_tag,
tree_order_statistics_node_update>;
///--------------------TEMPLATE END-------------------------------------
void _()
{
int n, m;
cin >> n >> m;
vi a(n);
vi b(m);
input(a);
input(b);
int k = 1 << m;
vi sum(k);
for(int mask = 1; mask < k; ++mask)
{
int l = __builtin_ctz(mask);
int prev = mask ^ (1 << l);
sum[mask] = sum[prev] + b[l];
}
vi dp(k, -1);
dp[0] = 0;
for(int mask = 0; mask < k; ++mask)
{
if(dp[mask] == -1)
{
continue;
}
if(dp[mask] == n)
{
continue;
}
for(int sub = mask ^ (k - 1); sub; sub = (sub - 1) & (mask ^ (k - 1)))
{
if(sum[sub] == a[dp[mask]])
{
dp[mask | sub] = max(dp[mask | sub], dp[mask] + 1);
}
}
}
if(dp[k - 1] == n)
{
YES
return;
}
NO
}
signed main()
{
fastio int t = 1;
// cin >> t;
while (t--)
{
_();
}
}
