小蓝最近正在玩一款 RPG 游戏。

他的角色一共有 技能升级（2023寒假每日一题 13）_二分

其中第 技能升级（2023寒假每日一题 13）_i++_02 个技能首次升级可以提升 技能升级（2023寒假每日一题 13）_二分_03 点攻击力，以后每次升级增加的点数都会减少 技能升级（2023寒假每日一题 13）_用例_04。

技能升级（2023寒假每日一题 13）_二分_05（上取整）次之后，再升级该技能将不会改变攻击力。
现在小蓝可以总计升级 技能升级（2023寒假每日一题 13）_贪心_06

请你计算小蓝最多可以提高多少点攻击力？

输入格式
输入第一行包含两个整数 技能升级（2023寒假每日一题 13）_二分 和 技能升级（2023寒假每日一题 13）_贪心_06。

以下 技能升级（2023寒假每日一题 13）_二分 行每行包含两个整数 技能升级（2023寒假每日一题 13）_二分_03 和 技能升级（2023寒假每日一题 13）_用例_04。

输出格式
输出一行包含一个整数表示答案。

数据范围
对于 技能升级（2023寒假每日一题 13）_贪心_12 的评测用例，技能升级（2023寒假每日一题 13）_i++_13；
对于 技能升级（2023寒假每日一题 13）_用例_14 的评测用例，技能升级（2023寒假每日一题 13）_i++_15；
对于所有评测用例，技能升级（2023寒假每日一题 13）_二分_16。

输入样例：

3 6
10 5
9 2
8 1

输出样例：

47
#include<iostream>

using namespace std;

typedef long long LL;

const int N = 100010;

int n, m;
int a[N], b[N];

bool check(int mid){
    LL res = 0;
    for(int i = 0; i < n; i++)
        if(a[i] >= mid)
            res += (a[i] - mid) / b[i] + 1;
    return res >= m;
}

int main(){
    
    scanf("%d%d", &n, &m);
    for(int i = 0; i < n; i++) scanf("%d%d", &a[i], &b[i]);
    
    int l = 0, r = 1e6;
    while(l < r){
        int mid = l + r + 1 >> 1;
        if(check(mid)) l = mid;
        else r = mid - 1;
    }
    
    LL res = 0, cnt = 0;
    for(int i = 0; i < n; i++)
        if(a[i] >= r){
            int c = (a[i] - r) / b[i] + 1;
            int end = a[i] - (c - 1) * b[i];
            cnt += c;
            res += (LL)(a[i] + end) * c / 2;
        }
    
    printf("%lld\n", res - (cnt - m) * r);
    
    return 0;
}