#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define rep(x, s, t) for(llint x = (s); (x) <= (t); (x)++) #define per(x, s, t) for(llint x = (s); (x) >= (t); (x)--) #define reps(x, s) for(llint x = 0; (x) < (llint)(s).size(); (x)++) #define chmin(x, y) (x) = min((x), (y)) #define chmax(x, y) (x) = max((x), (y)) #define sz(x) ((ll)(x).size()) #define ceil(x, y) (((x)+(y)-1) / (y)) #define all(x) (x).begin(),(x).end() #define outl(...) dump_func(__VA_ARGS__) #define inf 1e18 using namespace std; typedef long long llint; typedef long long ll; typedef pair P; struct edge{ ll to, cost; edge(){} edge(ll a, ll b){ to = a, cost = b;} }; const ll dx[] = {1, 0, -1, 0}, dy[] = {0, -1, 0, 1}; const ll mod = 1000000007; //const ll mod = 998244353; struct mint{ ll x = 0; mint(ll y = 0){x = y; if(x < 0 || x >= mod) x = (x%mod+mod)%mod;} mint(const mint &ope) {x = ope.x;} mint operator-(){return mint(-x);} mint operator+(const mint &ope){return mint(x) += ope;} mint operator-(const mint &ope){return mint(x) -= ope;} mint operator*(const mint &ope){return mint(x) *= ope;} mint operator/(const mint &ope){return mint(x) /= ope;} mint& operator+=(const mint &ope){ x += ope.x; if(x >= mod) x -= mod; return *this; } mint& operator-=(const mint &ope){ x += mod - ope.x; if(x >= mod) x -= mod; return *this; } mint& operator*=(const mint &ope){ x *= ope.x, x %= mod; return *this; } mint& operator/=(const mint &ope){ ll n = mod-2; mint mul = ope; while(n){ if(n & 1) *this *= mul; mul *= mul; n >>= 1; } return *this; } mint inverse(){return mint(1) / *this;} bool operator ==(const mint &ope){return x == ope.x;} bool operator !=(const mint &ope){return x != ope.x;} }; mint modpow(mint a, ll n){ if(n == 0) return mint(1); if(n % 2) return a * modpow(a, n-1); else return modpow(a*a, n/2); } istream& operator >>(istream &is, mint &ope){ ll t; is >> t, ope.x = t; return is; } ostream& operator <<(ostream &os, mint &ope){return os << ope.x;} ostream& operator <<(ostream &os, const mint &ope){return os << ope.x;} bool exceed(ll x, ll y, ll m){return x >= m / y + 1;} void mark(){ cout << "*" << endl; } void yes(){ cout << "YES" << endl; } void no(){ cout << "NO" << endl; } ll sgn(ll x){ if(x > 0) return 1; if(x < 0) return -1; return 0;} ll gcd(ll a, ll b){if(b == 0) return a; return gcd(b, a%b);} ll lcm(ll a, ll b){return a/gcd(a, b)*b;} ll digitnum(ll x, ll b = 10){ll ret = 0; for(; x; x /= b) ret++; return ret;} ll digitsum(ll x, ll b = 10){ll ret = 0; for(; x; x /= b) ret += x % b; return ret;} string lltos(ll x){string ret; for(;x;x/=10) ret += x % 10 + '0'; reverse(ret.begin(), ret.end()); return ret;} ll stoll(string &s){ll ret = 0; for(auto c : s) ret *= 10, ret += c - '0'; return ret;} template void uniq(T &vec){ sort(vec.begin(), vec.end()); vec.erase(unique(vec.begin(), vec.end()), vec.end());} template pair& operator+=(pair &s, const pair &t){ s.first += t.first, s.second += t.second; return s; } template pair& operator-=(pair &s, const pair &t){ s.first -= t.first, s.second -= t.second; return s; } template pair operator+(const pair &s, const pair &t){ return pair(s.first+t.first, s.second+t.second); } template pair operator-(const pair &s, const pair &t){ return pair(s.first-t.first, s.second-t.second); } template ostream& operator << (ostream& os, vector& vec) { for(int i = 0; i < vec.size(); i++) os << vec[i] << (i + 1 == vec.size() ? "" : " "); return os; } template ostream& operator << (ostream& os, deque& deq) { for(int i = 0; i < deq.size(); i++) os << deq[i] << (i + 1 == deq.size() ? "" : " "); return os; } template ostream& operator << (ostream& os, pair& pair_var) { os << "(" << pair_var.first << ", " << pair_var.second << ")"; return os; } template ostream& operator << (ostream& os, const pair& pair_var) { os << "(" << pair_var.first << ", " << pair_var.second << ")"; return os; } template ostream& operator << (ostream& os, map& map_var) { for(typename map::iterator itr = map_var.begin(); itr != map_var.end(); itr++) { os << "(" << itr->first << ", " << itr->second << ")"; itr++; if(itr != map_var.end()) os << ","; itr--; } return os; } template ostream& operator << (ostream& os, set& set_var) { for(typename set::iterator itr = set_var.begin(); itr != set_var.end(); itr++) { os << *itr; ++itr; if(itr != set_var.end()) os << " "; itr--; } return os; } template ostream& operator << (ostream& os, multiset& set_var) { for(typename multiset::iterator itr = set_var.begin(); itr != set_var.end(); itr++) { os << *itr; ++itr; if(itr != set_var.end()) os << " "; itr--; } return os; } template void outa(T a[], ll s, ll t){ for(ll i = s; i <= t; i++){ cout << a[i]; if(i < t) cout << " ";} cout << endl; } void dump_func() {cout << endl;} template void dump_func(Head &&head, Tail &&... tail) { cout << head; if(sizeof...(Tail) > 0) cout << " "; dump_func(std::move(tail)...); } ll n, l; ll d[205], b[205]; ll h[205], a[205]; void calc(ll s) { rep(i, 0, 2*n-1){ a[i] += min(abs(d[i]-d[s]), 2*l-abs(d[i]-d[s])); } } int main(void) { ios::sync_with_stdio(0); cin.tie(0); cin >> n >> l; rep(i, 0, n-1) cin >> d[i]; rep(i, 0, n-1) d[n+i] = d[i] + l; rep(i, 0, 2*n-1) cin >> b[i]; if(n == 1){ if(b[0] % l == 0 && b[1] % l == 0) outl("Yes"); else outl("No"); return 0; } ll bsum = 0; rep(i, 0, 2*n-1) bsum += b[i]; if(bsum % (n*l)){ outl("No"); return 0; } ll m = bsum / (n*l); rep(i, 0, n-1){ ll B = b[i+1]-b[i], D = d[i+1]-d[i]; if((m*D-B)%(2*D)){ outl("No"); return 0; } h[i] = (m*D-B)/(2*D); if(h[i] < 0 || h[i] > m){ outl("No"); return 0; } h[n+i] = m - h[i]; } ll cnt = 0; rep(i, 0, n-1){ ll pre = h[(i-1+2*n)%(2*n)], suc = h[i]; cnt += abs(suc-pre); rep(j, suc+1, pre) calc(i); rep(j, pre+1, suc) calc(n+i); } ll rem = (b[0] - a[0]) / l; rep(i, 0, 2*n-1){ if(b[i] < a[i] || (b[i]-a[i]) % l || (b[i]-a[i]) / l != rem){ outl("No"); return 0; } } if(rem % 2 == cnt % 2 && cnt + 2*rem == m) outl("Yes"); return 0; }