#include using namespace std; void fast_io() { ios_base::sync_with_stdio(false); cin.tie(nullptr); } #include #include using mint = atcoder::modint998244353; mint fact[200005], inv[200005]; void init() { fact[0] = 1; for (int i = 1; i <= 200000; i++) fact[i] = fact[i - 1] * i; inv[200000] = fact[200000].inv(); for (int i = 199999; i >= 0; i--) inv[i] = inv[i + 1] * (i + 1); } int main() { fast_io(); init(); int n, m; cin >> n >> m; vector a(n, -1); vector vis(n); for (int i = 0; i < m; i++) { int p, k; cin >> p >> k; p--, k--; a[k] = p; vis[p] = true; } vector unused; for (int i = 0; i < n; i++) { if (!vis[i]) { unused.push_back(i); } } int unused_sz = unused.size(); mint ans = mint(unused_sz) * (unused_sz - 1) / 4 * fact[unused_sz]; { atcoder::fenwick_tree fw(n); mint inv = 0; for (int i = 0; i < n; i++) { if (a[i] == -1) { continue; } inv += fw.sum(a[i] + 1, n); fw.add(a[i], 1); } ans += inv * fact[unused_sz]; } if (unused_sz == 0) { cout << ans.val() << endl; return 0; } int cnt = 0; for (int i = 0; i < n; i++) { if (a[i] == -1) { cnt++; } else { auto it = lower_bound(unused.begin(), unused.end(), a[i]); int greater = unused.end() - it; int smaller = unused_sz - greater; ans += mint(greater) * fact[unused_sz - 1] * cnt; ans += mint(smaller) * fact[unused_sz - 1] * (unused_sz - cnt); } } cout << ans.val() << endl; }