printing set of domain for debugging