#include using namespace std; typedef long long ll; typedef long double ld; typedef vector vi; typedef vector vd; typedef vector vll; typedef vector vs; typedef vector vb; typedef pair pii; struct cww{cww(){ios::sync_with_stdio(false);cin.tie(0);}}star; #define all(c) (c).begin(), (c).end() #define rall(c) (c).rbegin(), (c).rend() #define vv(type, c, m, n, i) vector> c(m, vector(n, i)) #define mat(type, c, m, n) vector> c(m, vector(n));for(auto& r:c)for(auto& i:r)cin>>i; #define rep(i,a,n) for(int i=(a), i##_len=(n); ii##_len; --i) #define each(x,y) for(auto &(x):(y)) #define var(type, ...)type __VA_ARGS__;Scan(__VA_ARGS__); template void Scan(T& t) { cin >> t; } templatevoid Scan(First& first, Rest&...rest) { cin >> first; Scan(rest...); } #define vec(type, c, n) vector c(n);for(auto& i:c) cin>>i; #define len(x) ((int)(x).size()) #define mp make_pair #define eb emplace_back #define em emplace #define pb pop_back #define fi first #define se second #define get(a, i) get(a) #define bit_count __builtin_popcount #define mt make_tuple inline string zero(int a,string s,char c='0'){return string(a-len(s),c)+s;} inline string zero(int a,int t,char c='0'){return zero(a, to_string(t), c);} inline string zero(int a,ll t,char c='0'){return zero(a, to_string(t), c);} #define mini min_element #define maxi max_element #define sum accumulate #define chmax(a,b) if(ab)a=b template inline void print(T t){cout << t << endl;} template inline void print(H h, T... t){cout << h << " ";print(t...);} const constexpr ll INF = 1LL<<55; ll n, k, ans; ll d[200001], L[100001], R[100001]; void merge(int left, int mid, int right) { rep(i, 0, mid - left) { L[i] = d[i + left]; } rep(i, 0, right - mid) { R[i] = d[i + mid]; } L[mid - left] = R[right - mid] = INF; int i = 0, j = 0; rep(k, left, right) { if (L[i] <= R[j]) { d[k] = L[i]; ++i; } else { if (i <= j) ++ans; d[k] = R[j]; ++j; } } } void mergeSort(int left, int right) { if (left + 1 < right) { int mid = (left + right) / 2; mergeSort(left, mid); mergeSort(mid, right); merge(left, mid, right); } } bool solve() { cin >> n >> k; rep(i, 0, n) cin >> d[i]; mergeSort(0, n); return ans <= k && (ans & k); } int main() { print(solve() ? "YES" : "NO"); return 0; }