This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
/*
    IN THE NAME OF GOD
*/
#include <bits/stdc++.h>
// #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")
using namespace std;
typedef long long ll;
typedef pair<ll, ll> pll;
typedef pair<int, int> pii;
typedef long double ld;
#define F                                      first
#define S                                      second
#define Mp                                     make_pair
#define pb                                     push_back
#define pf                                     push_front
#define size(x)                                ((ll)x.size())
#define all(x)                                 (x).begin(),(x).end()
#define kill(x)		                           cout << x << '\n', exit(0);
#define fuck(x)                                cout << "(" << #x << " , " << x << ")" << endl
#define endl                                   '\n'
const int N = 3e5+23, lg = 18;
ll Mod = 1e9+7; //998244353;
inline ll MOD(ll a, ll mod=Mod) {a%=mod; (a<0)&&(a+=mod); return a;}
inline ll poww(ll a, ll b, ll mod=Mod) {
    ll ans = 1;
    a=MOD(a, mod);
    while (b) {
        if (b & 1) ans = MOD(ans*a, mod);
        b >>= 1;
        a = MOD(a*a, mod);
    }
    return ans;
}
ll n, a, b, ans, l[N], r[N];
int main () {
	ios_base::sync_with_stdio(false), cin.tie(0);
    cin>>n>>a>>b;
    for(int i=1; i<=n; i++) {
        cin>>l[i]>>r[i]; ans += (r[i]-l[i]+1);
    }
    ll s = a/__gcd(a,b+1);
    if(__lg(s) + __lg(b) >= 60) kill(ans);
    vector<pll> vec;
    for(int i=1; i<=n; i++) {
        if(r[i]-l[i]+1 >= s*b) kill(s*b);
        l[i] = MOD(l[i], s*b);
        r[i] = MOD(r[i], s*b);
        if(r[i] >= l[i]) vec.pb({l[i], r[i]});
        else {
            vec.pb({0, r[i]}); vec.pb({l[i], s*b-1});
        }
    }
    sort(all(vec));
    ans = 0; ll mx = -1;
    for(auto it : vec) {
        if(it.F > mx) {
            ans += (it.S-it.F+1); mx = it.S;
        } else {
            ans += max(0ll, it.S - mx);
            mx = max(mx, it.S);
        }
    }
    cout<<ans<<endl;
	
	return 0;
}
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict | Execution time | Memory | Grader output | 
|---|
| Fetching results... |