Main and PseuCoShare added to kongruenz.util