Package g0701_0800.s0747_largest_number_at_least_twice_of_others

See: Description