/*
* @Author: vietkhoi10
* @Date: 23.10.2024 10:22:04
* @Last Modified by: vietkhoi10
* @Last Modified time: 2024-08-15 10:08:00
*/
/* Template by: Tran Viet Khoi from Nguyen Hien High School */
#include<bits/stdc++.h>
using namespace std;
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")
// #pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
#define int long long
#define db long double
#define ull unsigned long long
#define oo 1e18
#define domdomyesyes 1e4
#define TASK "sol"
#define endl '\n'
#define NO cout << "NO \n"
#define YES cout << "YES \n"
#define fi first
#define se second
#define vec vector
#define ins insert
#define pb push_back
#define ub upper_bound
#define lb lower_bound
#define vi vec <int>
#define vb vec <bool>
#define vs vec <string>
#define pi pair <int , int>
#define mpi map <int , pi>
#define pii pair <int , pi>
#define sz(a) ((int) (a).size ())
#define all(a) a.begin () , a.end ()
#define rall(a) a.rbegin () , a.rend ()
#define fill0(f) memset(f , 0 , sizeof(f))
#define fillx(f , x) memset(f , x , sizeof(f))
#define sortu(a , n) sort(a + 1 , a + 1 + n)
#define sortv(a) sort(a.begin () , a.end ())
#define FOR(i , l , r) for (int i = l ; i <= r ; i ++)
#define FOD(i , r , l) for (int i = r ; i >= l ; i --)
#define sortd(a , n) sort(a + 1 , a + 1 + n , greater<int> ())
#define toilet cin.tie(NULL); cout.tie(NULL);
#define sibidi ios_base::sync_with_stdio(false);
#define __lcm(a , b) (1LL * ((a) / __gcd((a), (b))) * (b))
template <typename T> bool maximize(T &res, const T &val){if (res < val){ res = val; return 1;}; return 0;}
template <typename T> bool minimize(T &res, const T &val){if (res > val){ res = val; return 1;}; return 0;}
//---------------------------- skidibi ---------------------------------
const int N = 1e5 + 5;
const int M = 1e6 + 5;
const int lim = 1e3 + 5;
const int MOD = 1e9 + 7;
int a [M]; int b [N];
bool cnt [N];
int dp[lim][lim];
int n , m;
namespace mission_impossibles {
void solve () {
cin >> n >> m;
FOR (i , 1 , n) cin >> a[i];
}
}
//---------------------------- toilet ----------------------------------
signed main () {
if (fopen(TASK".inp" , "r")) {
freopen(TASK".inp" , "r" , stdin);
freopen(TASK".out" , "w" , stdout);
}
sibidi toilet ;
int ntests = 1;
while (ntests --) {
mission_impossibles::solve ();
}
return 0;
}
LyoKKiBAQXV0aG9yOiB2aWV0a2hvaTEwCiogQERhdGU6ICAgMjMuMTAuMjAyNCAxMDoyMjowNAoqIEBMYXN0IE1vZGlmaWVkIGJ5OiAgIHZpZXRraG9pMTAKKiBATGFzdCBNb2RpZmllZCB0aW1lOiAyMDI0LTA4LTE1IDEwOjA4OjAwCiovCgovKiBUZW1wbGF0ZSBieTogVHJhbiBWaWV0IEtob2kgZnJvbSBOZ3V5ZW4gSGllbiBIaWdoIFNjaG9vbCAqLwoKI2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCi8vICNwcmFnbWEgR0NDIG9wdGltaXplKCJPMyIpCi8vICNwcmFnbWEgR0NDIG9wdGltaXplKCJ1bnJvbGwtbG9vcHMiKQovLyAjcHJhZ21hIEdDQyB0YXJnZXQoImF2eDIsYm1pLGJtaTIscG9wY250LGx6Y250IikKCiNkZWZpbmUgaW50IGxvbmcgbG9uZwojZGVmaW5lIGRiIGxvbmcgZG91YmxlCiNkZWZpbmUgdWxsIHVuc2lnbmVkIGxvbmcgbG9uZwoKI2RlZmluZSBvbyAxZTE4CiNkZWZpbmUgZG9tZG9teWVzeWVzIDFlNAoKI2RlZmluZSBUQVNLICJzb2wiCiNkZWZpbmUgZW5kbCAnXG4nCiNkZWZpbmUgTk8gY291dCA8PCAiTk8gXG4iCiNkZWZpbmUgWUVTIGNvdXQgPDwgIllFUyBcbiIKCiNkZWZpbmUgZmkgZmlyc3QKI2RlZmluZSBzZSBzZWNvbmQKI2RlZmluZSB2ZWMgdmVjdG9yCiNkZWZpbmUgaW5zIGluc2VydAojZGVmaW5lIHBiIHB1c2hfYmFjawojZGVmaW5lIHViIHVwcGVyX2JvdW5kCiNkZWZpbmUgbGIgbG93ZXJfYm91bmQKCiNkZWZpbmUgdmkgdmVjIDxpbnQ+CiNkZWZpbmUgdmIgdmVjIDxib29sPgojZGVmaW5lIHZzIHZlYyA8c3RyaW5nPgojZGVmaW5lIHBpIHBhaXIgPGludCAsIGludD4KI2RlZmluZSBtcGkgbWFwIDxpbnQgLCBwaT4KI2RlZmluZSBwaWkgcGFpciA8aW50ICwgcGk+CgojZGVmaW5lIHN6KGEpICgoaW50KSAoYSkuc2l6ZSAoKSkKI2RlZmluZSBhbGwoYSkgYS5iZWdpbiAoKSAsIGEuZW5kICgpCiNkZWZpbmUgcmFsbChhKSBhLnJiZWdpbiAoKSAsIGEucmVuZCAoKQojZGVmaW5lIGZpbGwwKGYpIG1lbXNldChmICwgMCAsIHNpemVvZihmKSkKI2RlZmluZSBmaWxseChmICwgeCkgbWVtc2V0KGYgLCB4ICwgc2l6ZW9mKGYpKQoKI2RlZmluZSBzb3J0dShhICwgbikgc29ydChhICsgMSAsIGEgKyAxICsgbikKI2RlZmluZSBzb3J0dihhKSBzb3J0KGEuYmVnaW4gKCkgLCBhLmVuZCAoKSkKI2RlZmluZSBGT1IoaSAsIGwgLCByKSBmb3IgKGludCBpID0gbCA7IGkgPD0gciA7IGkgKyspCiNkZWZpbmUgRk9EKGkgLCByICwgbCkgZm9yIChpbnQgaSA9IHIgOyBpID49IGwgOyBpIC0tKQojZGVmaW5lIHNvcnRkKGEgLCBuKSBzb3J0KGEgKyAxICwgYSArIDEgKyBuICwgZ3JlYXRlcjxpbnQ+ICgpKQoKI2RlZmluZSB0b2lsZXQgY2luLnRpZShOVUxMKTsgY291dC50aWUoTlVMTCk7CiNkZWZpbmUgc2liaWRpIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpOwojZGVmaW5lIF9fbGNtKGEgLCBiKSAoMUxMICogKChhKSAvIF9fZ2NkKChhKSwgKGIpKSkgKiAoYikpCgp0ZW1wbGF0ZSA8dHlwZW5hbWUgVD4gYm9vbCBtYXhpbWl6ZShUICZyZXMsIGNvbnN0IFQgJnZhbCl7aWYgKHJlcyA8IHZhbCl7IHJlcyA9IHZhbDsgcmV0dXJuIDE7fTsgcmV0dXJuIDA7fQp0ZW1wbGF0ZSA8dHlwZW5hbWUgVD4gYm9vbCBtaW5pbWl6ZShUICZyZXMsIGNvbnN0IFQgJnZhbCl7aWYgKHJlcyA+IHZhbCl7IHJlcyA9IHZhbDsgcmV0dXJuIDE7fTsgcmV0dXJuIDA7fQoKLy8tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tIHNraWRpYmkgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpjb25zdCBpbnQgTiA9IDFlNSArIDU7CmNvbnN0IGludCBNID0gMWU2ICsgNTsKY29uc3QgaW50IGxpbSA9IDFlMyArIDU7CmNvbnN0IGludCBNT0QgPSAxZTkgKyA3OwoKaW50IGEgW01dOyBpbnQgYiBbTl07Cgpib29sIGNudCBbTl07CgppbnQgZHBbbGltXVtsaW1dOyAKCmludCBuICwgbTsKCm5hbWVzcGFjZSBtaXNzaW9uX2ltcG9zc2libGVzIHsKICAgIHZvaWQgc29sdmUgKCkgewogICAgICAgIGNpbiA+PiBuID4+IG07CiAgICAgICAgRk9SIChpICwgMSAsIG4pIGNpbiA+PiBhW2ldOwoKICAgICAgICAKICAgIH0KfQoKLy8tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tIHRvaWxldCAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpzaWduZWQgbWFpbiAoKSB7CgogICAgaWYgKGZvcGVuKFRBU0siLmlucCIgLCAiciIpKSB7CiAgICAgICAgZnJlb3BlbihUQVNLIi5pbnAiICwgInIiICwgc3RkaW4pOwogICAgICAgIGZyZW9wZW4oVEFTSyIub3V0IiAsICJ3IiAsIHN0ZG91dCk7CiAgICB9CgogICAgc2liaWRpIHRvaWxldCA7CgogICAgaW50IG50ZXN0cyA9IDE7CiAgICB3aGlsZSAobnRlc3RzIC0tKSB7CiAgICAgICAgbWlzc2lvbl9pbXBvc3NpYmxlczo6c29sdmUgKCk7CiAgICAgICAgCiAgICB9CgogICAgcmV0dXJuIDA7Cn0K