Football. Costa Rica Primera Division 2022/23. Clausura. Half time