#include using namespace std; #include //高速化 struct ponjuice{ponjuice(){cin.tie(0);ios::sync_with_stdio(0);cout<using vc = vector; templateusing vvc = vc>; templateusing vvvc = vvc>; using vi = vc; using vvi = vvc; using vvvi = vvvc; using vl = vc; using vvl = vvc; using vvvl = vvvc; using pi = pair; using pl = pair; using ull = unsigned ll; templateusing priq = priority_queue; templateusing priqg = priority_queue, greater>; // for文 #define overload4(a, b, c, d, e, ...) e #define rep1(n) for(ll i = 0; i < n; i++) #define rep2(i, n) for(ll i = 0; i < n; i++) #define rep3(i, a, b) for(ll i = a; i < b; i++) #define rep4(i, a, b, step) for(ll i = a; i < b; i+= step) #define rep(...) overload4(__VA_ARGS__, rep4, rep3, rep2, rep1)(__VA_ARGS__) #define per1(n) for(ll i = n-1; i >= 0; i--) #define per2(i, n) for(ll i = n-1; i >= 0; i--) #define per3(i, a, b) for(ll i = b-1; i >= a; i--) #define per4(i, a, b, step) for(ll i = b-1; i >= a; i-= step) #define per(...) overload4(__VA_ARGS__, per4, per3, per2, per1)(__VA_ARGS__) //関数 #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() #define si(x) (ll)(x).size() templateinline bool chmax(S& a, T b){return a < b && ( a = b , true);} templateinline bool chmin(S& a, T b){return a > b && ( a = b , true);} inline void yes(){cout << "Yes\n";} inline void no(){cout << "No\n";} inline void yesno(bool y = true){if(y)yes();else no();} //定数 constexpr ll mod = 998244353; constexpr ll minf=-(1<<29); constexpr ll inf=(1<<29); constexpr ll MINF=-(1LL<<60); constexpr ll INF=(1LL<<60); const int dx[4] ={-1, 0, 1, 0}; const int dy[4] ={ 0, 1, 0,-1}; const int dx8[8] ={-1,-1,-1, 0, 1, 1, 1, 0}; const int dy8[8] ={-1, 0, 1, 1, 1, 0,-1,-1}; void solve(); int main() { int t = 1; cin >>t; while(t--)solve(); } using S=ll; using F=ll; const S Inf = 8e18; const F ID = 0; S op(S a, S b){ return min(a,b); } S e(){ return Inf; } S mapping(F f, S x){ return f+x; } F composition(F f, F g){ return f+g; } F id(){ return ID; } void solve(){ ll n,m; cin >> n >> m; vector a(m), b(m); rep(i,0,m) cin >> a[i] >> b[i]; if(m == 1) { cout << "Yes" << endl; return; } atcoder::lazy_segtree seg(m*2); atcoder::lazy_segtree seg2(m*2); seg.set(0, n+a[1] - a[m-1] - 1 - b[0]); seg2.set(0, a[1] - a[0]-1 - seg.get(0)); rep(i,1,m*2) { ll add = (a[(i+1)%m] - a[i%m]); if(add < 0) add += n; seg.set(i, seg.get(i-1) + add - b[i%m]); seg2.set(i, (a[(i+1)%m] - a[i%m]>=0?a[(i+1)%m] - a[i%m]:a[(i+1)%m] - a[i%m]+n)-1 - seg.get(i)); } // rep(i,0,m*2) cout << seg.get(i) << " "; cout << endl; // rep(i,0,m*2) cout << seg2.get(i) << " "; cout << endl; bool yes = false; rep(i,0,m) { ll diff = a[(i+1)%m] - a[(i+m-1)%m] - 1; if(diff < 0) diff += n; diff -= b[i]; diff = diff - seg.get(i); seg.apply(i, m*2, diff); seg2.apply(i, m*2, -diff); if(seg.prod(i, i+m) >= 0 && seg2.prod(i,i+m) >= 0) { yes = true; } } cout << (yes?"Yes":"No") << endl; }