#include<stdio.h>
int main()
{
unsigned long long N,i,j,r,n,w;
unsigned long long sum=1;
int a[10002]={0};
scanf("%lld",&N);
for(j=1;j<=N;j++)
sum=sum*j;
for(n=2;n<=sum;)
{
for(i=2;i<n;i++)
{
r=n%i;
if (r==0)
{
w=1;
n++;
}
else
{
w=0;
}
}
if(w==0&&sum%n==0)
{
a[n]++;
sum=sum/n;
if(sum%n!=0)
printf("%d %d\n",n,a[n]);
}
else
{
n++;
}
}
return 0;
}