disjunctive_domain.sc 503 Bytes