禹辟伊阚，泯涧瀍，契居蕃，昭明居砥石