Irish election is over.