题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=6125
#include<bits/stdc++.h>
using namespace std;#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll long long#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
#define mst(a,b) memset((a),(b),sizeof(a))
/*
题目大意：给定1到n,和一个k,
要求在1到n中选出至多k个数，使得他们的乘积没有平方因子。
直接状压，把莫比乌斯系数不为零的数搞出来，
但发现数量太多状压不了，所以重新考虑，
我们发现在大于根号n的数中，其大于根号n的质数只能包含一个，
这就可以用背包去搞，对于每个这样的数，用小于根号n范围内的质数去标记它，
然后只在小于根号n范围内的质数中去状压计数。注意1的存在性，就因为这个，直接多开一维数组去存储当前状态用了多少个数。
*/
const int maxn =5e2+5;
const int mod=1e9+7;
const int ub=10000;
void add(ll &x,ll y) {x=(x+y)%mod;return ;}
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
int n,m;
int prim[8]={2,3,5,7,11,13,17,19};
ll dp[2][maxn][1<<8];///dp数组
int sta[maxn];///状压数组
vector<int> v[maxn],small;
void solve()
{mst(sta,0),small.clear();for(int i=1;i<=n;i++) v[i].clear();for(int i=2;i<=n;i++){int flag=1,tmp=i;for(int j=0;j<8;j++){if(tmp%(prim[j]*prim[j])==0){flag=0;///需要无平方因子的数字break;}else{if(tmp%prim[j]==0){tmp/=prim[j];sta[i]+=(1<<j);}}}if(tmp==1&&flag) small.push_back(i);else if(flag) v[tmp].push_back(i);///}int sz=small.size(),cur=0;memset(dp,0,sizeof(dp));dp[cur][0][0]=dp[cur][1][0]=1;for(int i=0;i<sz;i++) for(int j=0;j<m;j++) for(int k=0;k<(1<<8);k++) if(dp[cur][j][k]){int x=sta[small[i]];if(k&x) continue;dp[cur][j+1][k|x]+=dp[cur][j][k];}for(int i=1;i<=n;i++){if(v[i].size()==0) continue;cur^=1,memcpy(dp[cur],dp[cur^1],sizeof(dp[cur]));for(int j=0;j<m;j++) for(int k=0;k<(1<<8);k++) if(dp[cur^1][j][k]){for(int p=0;p<v[i].size();p++){int s=v[i][p];if(sta[s]&k) continue;add(dp[cur][j+1][sta[s]|k],dp[cur^1][j][k]);}}}ll ans=0;for(int i=0;i<(1<<8);i++) for(int j=1;j<=m;j++) add(ans,dp[cur][j][i]);printf("%lld\n",ans);
}int main()
{int t;scanf("%d",&t);while(t--){scanf("%d%d",&n,&m);solve();}return 0;
}