read -dx n k
for((d=e=1;l<n;)){
	for((j=70;j--;)){
		for((i=6;--i;)){
			((d[j+i]+=d[j]))
			((e[j+i]+=e[j]*(i<3)))
		}
	}
	e=(0 0 0 ${e[@]})
	((l++<n-k))&&e=(${d[@]})
}
for((j=70;--j;)){
	((s+=(e[j]+=e[j+1])*d[j-1]))
}
echo $[1000*(s<<k)/36**n]e-3