#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=1e6+5;
ll c[20][20],ans;
int cnt[27];
char a[N];
int n,m,q1[21],q2[21],t1,t2,res;
int main(){
    int T;scanf("%d",&T);
    while(T--){
        scanf("%d%d",&n,&m);
        int limit=(1<<m-1);
        for(int i=0;i<limit;i++){
            t1=t2=0;
            for(int j=0;j<m;j++)
            if(i&(1<<j))q1[++t1]=j;
            else q2[++t2]=j;
            ll ss=0,sa=0;
            for(int j=1;j<=t1;j++)
            for(int z=1;z<=t2;z++)
          	res++;
        }
        printf("%d\n",res);
    }
    return 0;
}

这份代码感性理解复杂度是 $O(2^mm^2)$ 的，但实测大概只跑了5e7左右，请问有没有比较严谨的复杂度证明