#include<bits/stdc++.h>
using namespace std;
char in[100], out[100];

int main(){
	for(int I = 1; I<=20; I++){
		int n, k, i, ans=0, cnt, j;
		sprintf(in,".%d.in",I);
        freopen(in,"w",stdout);
        
		scanf("%d %d", &n, &k);
		printf("%d %d\n",n,k);
		for(i=1;i<=n;i++){
			cnt = 0;
			for(j=1; j<=i; j++) if(i%j==0) cnt++;
			if(cnt==k) ans++;
		}
		
		sprintf(in,".%d.out",I);
        freopen(in,"w",stdout);
		printf("%d\n", ans);
	}
}