Package g3001_3100.s3002_maximum_size_of_a_set_after_removals

See: Description