#include <iostream>
using namespace std;
long ans=0;
long dfs(long kk,long pp)
{
long s[10];
bool v[10];
long k,i,j,ans=0;
k=1;
memset(v,true,sizeof(v));
memset(s,0,sizeof(s));
while (k>0)
{
while (s[k]<=kk)
{
s[k]++;
if (!v[s[k]])continue;
if (s[k]==k)continue;
break;
}
if (s[k]>kk)
{
s[k]=0;
k--;
v[s[k]]=true;
continue;
}
else
{
v[s[k]]=false;
k++;
s[k]=0;
}
if (k>pp)
{
ans++;
s[k]=0;
k--;
v[s[k]]=true;
}
}
return ans;
}
long calc(long kk,long pp)
{
long ans=1,i;
for (i=0;i<pp;i++)ans*=(kk-i);
return ans;
}
int main()
{
ans=dfs(7,5);
cout<<ans<<'/'<<calc(7,5)<<endl;
return 0;
}
using namespace std;
long ans=0;
long dfs(long kk,long pp)
{
long s[10];
bool v[10];
long k,i,j,ans=0;
k=1;
memset(v,true,sizeof(v));
memset(s,0,sizeof(s));
while (k>0)
{
while (s[k]<=kk)
{
s[k]++;
if (!v[s[k]])continue;
if (s[k]==k)continue;
break;
}
if (s[k]>kk)
{
s[k]=0;
k--;
v[s[k]]=true;
continue;
}
else
{
v[s[k]]=false;
k++;
s[k]=0;
}
if (k>pp)
{
ans++;
s[k]=0;
k--;
v[s[k]]=true;
}
}
return ans;
}
long calc(long kk,long pp)
{
long ans=1,i;
for (i=0;i<pp;i++)ans*=(kk-i);
return ans;
}
int main()
{
ans=dfs(7,5);
cout<<ans<<'/'<<calc(7,5)<<endl;
return 0;
}
