log_2((64!)^64)