Package g1701_1800.s1702_maximum_binary_string_after_change

See: Description