C(36,13) * C(23,13) * (2^10) * 2^36 * (7/12)^6 * C(18,6)^6