irish nationalists do arithmetic in ℤ/31ℤ