(2^10)^7/2^71