if n == 0 (mod 3), require A A A or B B B
  if n == 1 (mod 3), require A A B
  if n == 2 (mod 3), require A B B