log_2 (200!)