(2^5)^15/2^72