题目链接: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;
}