8! * 3^7 * (12! * 2^11) / 2