Would you tell me please where the information came from, which you used to compile your list of High Kings of Ireland. It doesn't seem to match up with other list I have come across. For that matter; none of them seem to agree on who, when, or how many.