(8! * 12! * 3^7 * 2^10) * (8/3) bytes