コクセター群
The E7 Coxeter group has order 2,903,040.