$ txr -p '(n-perm-k 20 15)'
20274183401472000