让包含1的最多相当于让 只有0的区间最少。
用m个1分隔n-m个0。很显然,0越平均的分割越少/
搞搞就行
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define ls (o<<1)
#define rs (o<<1|1)
#define pb push_back
//#define a(i,j) a[(i)*(m+2)+(j)] //m是矩阵的列数
const int M = 1e5+7;
/*
int head[M],cnt;
void init(){cnt=0,memset(head,0,sizeof(head));}
struct EDGE{int to,nxt,val;}ee[M*2];
void add(int x,int y,int z){ee[++cnt].nxt=head[x],ee[cnt].to=y,ee[cnt].val=z,head[x]=cnt;}
*/
ll cal(ll x)
{
return (x+1)*x/2;
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(0);
int t;
cin>>t;
while(t--)
{
ll n,m,N;
cin>>n>>m;N=n;
n-=m;
ll nm=n/(m+1);
ll z=n%(m+1);
ll ans=0;
// cout<<z<<" "<<nm<<endl;
for(int i=1;i<=z;i++)
ans+=cal(nm+1);
for(int i=z+1;i<=m+1;i++)
ans+=cal(nm);
//cout<<" -----"<<i<<endl;;
cout<<(N+1)*N/2-ans<<endl;
}
return 0;
}