Football. Ireland Republic Eircom League 2023. Play-out