(80! * (4096 choose 80) ) / (4096^80)