En comparación, en el mismo período de tiempo las tropas uniformadas mataron a nueve miembros del IRA.