isaacs brace-expansion