Kleine Gruppe Nr. 245 der Ordnung 64

G ist die Gruppe 64gp245

Nach Hall-Senior hat diese Gruppe die Nummer 187.

G hat 4 minimale Erzeugende, Rang 2 und Exponenten 4. Das Zentrum hat Rang 2.

Die 15 maximalen Untergruppen sind: 32gp32 (15mal).

Es gibt eine Konjugationsklasse maximaler elementar-abelscher Untergruppen. Jede hat Rang 2.

Dieser Kohomologiering ist vollständig berechnet.

Ringstruktur | Informationen zur Vollständigkeit | Koszul-Informationen | Einschränkungen auf Untergruppen | Poincaré-Reihe

Ringstruktur

Der Kohomologiering hat 26 Erzeuger:

y₁ im Grad 1, ein nilpotentes Element
y₂ im Grad 1, ein nilpotentes Element
y₃ im Grad 1, ein nilpotentes Element
y₄ im Grad 1, ein nilpotentes Element
v₁ im Grad 4, ein nilpotentes Element
v₂ im Grad 4, ein nilpotentes Element
v₃ im Grad 4, ein nilpotentes Element
v₄ im Grad 4, ein nilpotentes Element
t₁ im Grad 6, ein nilpotentes Element
t₂ im Grad 6, ein nilpotentes Element
t₃ im Grad 6, ein nilpotentes Element
t₄ im Grad 6, ein nilpotentes Element
t₅ im Grad 6, ein nilpotentes Element
t₆ im Grad 6, ein nilpotentes Element
t₇ im Grad 6, ein nilpotentes Element
t₈ im Grad 6, ein nilpotentes Element
r₁ im Grad 8, ein reguläres Element
r₂ im Grad 8, ein reguläres Element
q₁ im Grad 9, ein nilpotentes Element
q₂ im Grad 9, ein nilpotentes Element
q₃ im Grad 9, ein nilpotentes Element
q₄ im Grad 9, ein nilpotentes Element
q₅ im Grad 9, ein nilpotentes Element
q₆ im Grad 9, ein nilpotentes Element
o₁ im Grad 11, ein nilpotentes Element
o₂ im Grad 11, ein nilpotentes Element

Es gibt 270 minimale Relationen:

y₄² = y₂.y₄ + y₂.y₃ + y₁.y₄ + y₁.y₂ + y₁²
y₃² = y₂.y₃ + y₂² + y₁.y₄ + y₁.y₃
y₂².y₃ = y₁.y₂.y₄ + y₁.y₂.y₃ + y₁.y₂² + y₁².y₄
y₂³ = y₁.y₂.y₃ + y₁.y₂² + y₁².y₄ + y₁².y₂ + y₁³
y₄.v₄ = y₂.v₄ + y₂.v₂ + y₁.v₃ + y₁.v₂ + y₁.v₁ + y₁³.y₃.y₄ + y₁³.y₂.y₄ + y₁⁴.y₄ + y₁⁴.y₂ + y₁⁵
y₄.v₃ = y₂.v₂ + y₁.v₄ + y₁.v₃ + y₁.v₂ + y₁⁴.y₃ + y₁⁵
y₄.v₂ = y₂.v₄ + y₁.v₁ + y₁³.y₃.y₄ + y₁³.y₂.y₄ + y₁⁴.y₂ + y₁⁵
y₄.v₁ = y₂.v₃ + y₁.v₁ + y₁³.y₃.y₄ + y₁⁴.y₃ + y₁⁴.y₂ + y₁⁵
y₃.v₄ = y₂.v₄ + y₂.v₃ + y₁.v₃ + y₁³.y₃.y₄ + y₁⁴.y₂
y₃.v₃ = y₂.v₄ + y₂.v₂ + y₁.v₄ + y₁⁴.y₄ + y₁⁴.y₃ + y₁⁴.y₂
y₃.v₂ = y₂.v₂ + y₁.v₄ + y₁.v₁ + y₁⁴.y₃ + y₁⁴.y₂ + y₁⁵
y₃.v₁ = y₂.v₂ + y₁.v₃ + y₁.v₂ + y₁.v₁ + y₁³.y₂.y₄ + y₁⁴.y₃ + y₁⁵
y₂.v₁ = y₁.v₂ + y₁⁴.y₃ + y₁⁴.y₂
y₁³.y₂.y₃ = y₁⁴.y₄ + y₁⁴.y₂
y₁³.y₂² = y₁⁴.y₂
y₄.t₈ = y₂.t₈ + y₂.t₄ + y₁.t₆ + y₁.t₃ + y₁.t₁ + y₁.y₂².v₄ + y₁².y₂.v₂ + y₁³.v₄ + y₁³.v₃ + y₁³.v₂ + y₁³.v₁
y₄.t₇ = y₂.t₈ + y₂.t₃ + y₁.t₆ + y₁.y₂².v₄ + y₁³.v₃ + y₁³.v₂ + y₁³.v₁
y₄.t₆ = y₂.t₄ + y₁.t₇ + y₁.t₅ + y₁.t₃ + y₁.t₁ + y₁².y₂.v₄ + y₁³.v₄ + y₁³.v₂
y₄.t₅ = y₂.t₈ + y₁.t₈ + y₁.t₄ + y₁.t₁ + y₁².y₂.v₄ + y₁².y₂.v₃ + y₁³.v₄ + y₁³.v₂
y₄.t₄ = y₂.t₈ + y₂.t₇ + y₂.t₄ + y₂.t₃ + y₁.t₈ + y₁.t₆ + y₁.t₅ + y₁.t₄ + y₁.t₃ + y₁.t₂ + y₁².y₂.v₃ + y₁³.v₄ + y₁³.v₂
y₄.t₃ = y₂.t₇ + y₂.t₃ + y₁.t₈ + y₁.t₇ + y₁.t₆ + y₁.t₅ + y₁.t₂ + y₁.y₂².v₄ + y₁².y₂.v₄ + y₁².y₂.v₃ + y₁³.v₄ + y₁³.v₂ + y₁³.v₁
y₄.t₂ = y₂.t₄ + y₁.t₆ + y₁.t₄ + y₁.t₃ + y₁³.v₃
y₄.t₁ = y₂.t₃ + y₁.t₅ + y₁.t₄ + y₁.t₂ + y₁.y₂².v₄ + y₁².y₂.v₄ + y₁³.v₄
y₃.t₈ = y₂.t₈ + y₂.t₇ + y₂.t₄ + y₂.t₃ + y₁.t₈ + y₁.t₇ + y₁.t₆ + y₁.t₅ + y₁.t₄ + y₁.t₃ + y₁.t₁ + y₁.y₂².v₄ + y₁³.v₄ + y₁³.v₁
y₃.t₇ = y₂.t₈ + y₂.t₃ + y₁.t₇ + y₁.t₅ + y₁.t₄ + y₁.t₃ + y₁.t₂ + y₁³.v₄
y₃.t₆ = y₂.t₃ + y₁.t₈ + y₁.t₆ + y₁.t₅ + y₁.t₃ + y₁.t₂ + y₁.y₂².v₄ + y₁².y₂.v₂ + y₁³.v₄ + y₁³.v₂ + y₁³.v₁
y₃.t₅ = y₂.t₄ + y₂.t₃ + y₁.t₇ + y₁.t₃ + y₁.t₂ + y₁.t₁ + y₁.y₂².v₄ + y₁².y₂.v₃ + y₁².y₂.v₂ + y₁³.v₄ + y₁³.v₂ + y₁³.v₁
y₃.t₄ = y₂.t₄ + y₂.t₃ + y₁.t₆ + y₁.t₃ + y₁².y₂.v₃ + y₁³.v₄
y₃.t₃ = y₂.t₄ + y₁.t₅ + y₁.t₂ + y₁.y₂².v₄ + y₁³.v₄ + y₁³.v₂ + y₁³.v₁
y₃.t₂ = y₁.t₅ + y₁.y₂².v₄ + y₁².y₂.v₃ + y₁².y₂.v₂ + y₁³.v₄
y₃.t₁ = y₁.t₅ + y₁.t₄ + y₁.t₃ + y₁.y₂².v₄ + y₁².y₂.v₄ + y₁².y₂.v₃ + y₁³.v₁
y₂.t₆ = y₂.t₄ + y₂.t₃ + y₁.t₆ + y₁.t₄ + y₁.t₃ + y₁.t₁ + y₁.y₂².v₄ + y₁³.v₃
y₂.t₅ = y₂.t₄ + y₁.t₆ + y₁.t₅ + y₁.t₃ + y₁².y₂.v₄ + y₁².y₂.v₃ + y₁².y₂.v₂ + y₁³.v₄ + y₁³.v₃ + y₁³.v₁
y₂.t₂ = y₁.t₅ + y₁.t₄ + y₁.t₂ + y₁.t₁ + y₁³.v₄
y₂.t₁ = y₁.t₂ + y₁.t₁ + y₁².y₂.v₄ + y₁².y₂.v₃ + y₁³.v₄ + y₁³.v₃ + y₁³.v₁
v₄² = 0
v₃.v₄ = y₁³.y₂.v₄ + y₁³.y₂.v₃ + y₁⁴.v₄ + y₁⁴.v₃
v₃² = 0
v₂.v₄ = y₁³.y₂.v₂ + y₁⁴.v₄ + y₁⁴.v₃ + y₁⁴.v₂ + y₁⁴.v₁
v₂.v₃ = y₁³.y₂.v₃ + y₁⁴.v₁
v₂² = 0
v₁.v₄ = y₁².y₂².v₄ + y₁³.y₂.v₂ + y₁⁴.v₄ + y₁⁴.v₂
v₁.v₃ = y₁³.y₂.v₄ + y₁³.y₂.v₂ + y₁⁴.v₄
v₁.v₂ = y₁³.y₂.v₃ + y₁³.y₂.v₂ + y₁⁴.v₄ + y₁⁴.v₃
v₁² = 0
y₁³.t₅ = y₁³.t₄ + y₁³.t₂ + y₁³.t₁
v₄.t₈ = y₂.q₄ + y₂.q₃ + y₁.q₆ + y₁.q₅ + y₂².r₂ + y₂².r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁².r₂ + y₁².r₁ + y₁⁴.t₂ + y₁⁴.t₁
v₄.t₇ = y₂.q₄ + y₂.q₃ + y₁.q₆ + y₁.q₂ + y₁.q₁ + y₂².r₂ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄
v₄.t₆ = y₂.q₃ + y₁.q₃ + y₁.q₂ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₄.t₅ = y₂.q₄ + y₁.q₅ + y₁.q₃ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₂ + y₁.y₄.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₄.t₄ = y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₂
v₄.t₃ = y₂.q₄ + y₂.q₃ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₂².r₂ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₃ + y₁⁴.t₂
v₄.t₂ = y₂.q₃ + y₁.q₆ + y₁.q₅ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₃.r₁ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₂ + y₁⁴.t₁
v₄.t₁ = y₂.q₃ + y₁.q₆ + y₁.q₅ + y₁.q₄ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁⁴.t₁
v₃.t₈ = y₂.q₃ + y₁.q₅ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₂.r₁ + y₁⁴.t₃
v₃.t₇ = y₂.q₄ + y₂.q₃ + y₁.q₄ + y₁.q₃ + y₂².r₂ + y₂².r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₃.t₆ = y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₂ + y₁.q₁ + y₁.y₄.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₃.t₅ = y₂.q₄ + y₂.q₃ + y₁.q₆ + y₁.q₄ + y₁.q₁ + y₂².r₂ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₁ + y₁⁴.t₁
v₃.t₄ = y₂.q₄ + y₂.q₃ + y₁.q₆ + y₁.q₅ + y₂².r₂ + y₂².r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₃.t₃ = y₂.q₃ + y₁.q₆ + y₁.q₄ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₄
v₃.t₂ = y₂.q₃ + y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₄
v₃.t₁ = y₁.q₆ + y₁.q₄ + y₁.q₃ + y₁.q₂ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₂.t₈ = y₂.q₄ + y₁.q₆ + y₁.q₅ + y₁.q₃ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₂ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₁
v₂.t₇ = y₂.q₄ + y₁.q₆ + y₁.q₅ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₂ + y₁.y₄.r₁ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₁
v₂.t₆ = y₁.q₅ + y₁.q₄ + y₁.q₂ + y₁.q₁ + y₁.y₄.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₂
v₂.t₅ = y₂.q₃ + y₁.q₅ + y₁.q₄ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₂ + y₁⁴.t₁
v₂.t₄ = y₂.q₃ + y₁.q₆ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₃
v₂.t₃ = y₂.q₃ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₂.t₂ = y₁.q₅ + y₁.q₁ + y₁.y₄.r₂ + y₁.y₂.r₁ + y₁⁴.t₃ + y₁⁴.t₂
v₂.t₁ = y₁.q₅ + y₁.q₂ + y₁.q₁ + y₁.y₄.r₂ + y₁.y₂.r₁ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
v₁.t₈ = y₂.q₄ + y₁.q₄ + y₁.q₂ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₂ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₂ + y₁⁴.t₁
v₁.t₇ = y₂.q₃ + y₁.q₆ + y₁.q₅ + y₁.q₂ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄
v₁.t₆ = y₂.q₃ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁⁴.t₃ + y₁⁴.t₁
v₁.t₅ = y₂.q₃ + y₁.q₃ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₃.r₂ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₃
v₁.t₄ = y₂.q₃ + y₁.q₃ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₃.r₂ + y₁.y₂.r₁ + y₁⁴.t₂ + y₁⁴.t₁
v₁.t₃ = y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₄ + y₁⁴.t₂
v₁.t₂ = y₁.q₅ + y₁.q₂ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₂.r₁ + y₁⁴.t₃
v₁.t₁ = y₁.q₁ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
y₄.q₆ = y₂.q₄ + y₂.q₃ + y₁.q₅ + y₁.q₃ + y₁.q₁ + y₃.y₄.r₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂.y₃.r₂ + y₂.y₃.r₁ + y₂².r₂ + y₂².r₁ + y₁.y₄.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₃ + y₁⁴.t₁
y₄.q₅ = y₂.q₄ + y₂.q₃ + y₁.q₆ + y₁.q₁ + y₃.y₄.r₂ + y₂.y₄.r₂ + y₂.y₃.r₂ + y₂.y₃.r₁ + y₂².r₂ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
y₄.q₄ = y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₁ + y₂.y₃.r₂ + y₂.y₃.r₁ + y₁.y₄.r₂ + y₁.y₃.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₃ + y₁⁴.t₂
y₄.q₃ = y₁.q₅ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₃.r₂ + y₂.y₃.r₁ + y₁.y₄.r₁ + y₁.y₂.r₂ + y₁².r₂ + y₁².r₁ + y₁⁴.t₂
y₄.q₂ = y₂.q₄ + y₁.q₆ + y₁.q₅ + y₁.q₄ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂².r₂ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁⁴.t₁
y₄.q₁ = y₂.q₃ + y₁.q₅ + y₁.q₂ + y₁.q₁ + y₃.y₄.r₂ + y₂.y₄.r₂ + y₂.y₃.r₁ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₂
y₃.q₆ = y₁.q₆ + y₁.q₅ + y₁.q₁ + y₃.y₄.r₂ + y₃.y₄.r₁ + y₂.y₃.r₁ + y₂².r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₃
y₃.q₅ = y₂.q₃ + y₁.q₆ + y₁.q₃ + y₁.q₁ + y₃.y₄.r₂ + y₃.y₄.r₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂.y₃.r₂ + y₂.y₃.r₁ + y₂².r₂ + y₂².r₁ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₁ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₂
y₃.q₄ = y₂.q₄ + y₂.q₃ + y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₁.q₂ + y₃.y₄.r₂ + y₃.y₄.r₁ + y₂.y₃.r₂ + y₂².r₂ + y₂².r₁ + y₁.y₂.r₁ + y₁⁴.t₃
y₃.q₃ = y₂.q₄ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₁.q₂ + y₃.y₄.r₂ + y₃.y₄.r₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂.y₃.r₁ + y₂².r₂ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₂.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
y₃.q₂ = y₁.q₆ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₁ + y₁².r₂ + y₁².r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₁
y₃.q₁ = y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.q₃ + y₁.q₂ + y₃.y₄.r₁ + y₂.y₃.r₂ + y₂².r₂ + y₁.y₄.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
y₂.q₆ = y₂.q₄ + y₁.q₆ + y₁.q₄ + y₁.q₂ + y₂.y₃.r₁ + y₂².r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
y₂.q₅ = y₁.q₆ + y₁.q₄ + y₁.q₁ + y₂.y₄.r₂ + y₂.y₄.r₁ + y₂.y₃.r₂ + y₂².r₁ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₂ + y₁⁴.t₁
y₂.q₂ = y₁.q₆ + y₁.q₅ + y₁.q₄ + y₁.y₄.r₂ + y₁.y₄.r₁ + y₁.y₃.r₂ + y₁.y₃.r₁ + y₁.y₂.r₂ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₃ + y₁⁴.t₁
y₂.q₁ = y₁.q₅ + y₁.q₂ + y₁.q₁ + y₂.y₄.r₁ + y₂.y₃.r₂ + y₁.y₄.r₂ + y₁.y₂.r₁ + y₁⁴.t₄ + y₁⁴.t₂ + y₁⁴.t₁
t₈² = y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₁ + y₁³.y₂.r₂
t₇.t₈ = y₁².y₂.q₄ + y₁³.q₆ + y₁³.q₅ + y₁³.q₄ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁³.y₄.r₁ + y₁³.y₃.r₁ + y₁³.y₂.r₁ + y₁⁴.r₁
t₇² = y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₁
t₆.t₈ = y₁³.q₆ + y₁³.q₅ + y₁³.q₃ + y₁².y₃.y₄.r₂ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂².r₂ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁⁴.r₂
t₆.t₇ = y₁².y₂.q₄ + y₁³.q₆ + y₁³.q₄ + y₁³.q₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁
t₆² = y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₁
t₅.t₈ = y₁².y₂.q₄ + y₁³.q₆ + y₁³.q₃ + y₁³.q₂ + y₁³.q₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₂.r₂ + y₁³.y₂.r₁ + y₁⁴.r₂ + y₁⁴.r₁
t₅.t₇ = y₁².y₂.q₄ + y₁³.q₆ + y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁².y₃.y₄.r₂ + y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁
t₅.t₆ = y₁².y₂.q₄ + y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁³.q₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₁ + y₁³.y₃.r₁
t₅² = y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁
t₄.t₈ = y₁³.q₆ + y₁³.q₄ + y₁³.q₂ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₁ + y₁⁴.r₂ + y₁⁴.r₁
t₄.t₇ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₅ + y₁³.q₃ + y₁².y₂.y₃.r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁⁴.r₂
t₄.t₆ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₆ + y₁³.q₄ + y₁³.q₃ + y₁³.q₂ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₂
t₄.t₅ = y₁³.q₆ + y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂².r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁ + y₁⁴.r₂
t₄² = y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁².y₂².r₁ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁ + y₁⁴.r₂
t₃.t₈ = y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁².y₃.y₄.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₂.r₂ + y₁⁴.r₁
t₃.t₇ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₃ + y₁³.q₂ + y₁³.q₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂².r₁ + y₁⁴.r₁
t₃.t₆ = y₁².y₂.q₄ + y₁³.q₆ + y₁³.q₅ + y₁³.q₄ + y₁³.q₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂
t₃.t₅ = y₁².y₂.q₃ + y₁³.q₆ + y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₂.r₂ + y₁⁴.r₁
t₃.t₄ = y₁³.q₆ + y₁³.q₅ + y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₂ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₁
t₃² = y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₁ + y₁⁴.r₂
t₂.t₈ = y₁³.q₄ + y₁³.q₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁
t₂.t₇ = y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂².r₁ + y₁³.y₃.r₁
t₂.t₆ = y₁².y₂.q₃ + y₁³.q₂ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₂.r₁ + y₁⁴.r₂
t₂.t₅ = y₁².y₂.q₄ + y₁³.q₆ + y₁³.q₃ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁
t₂.t₄ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₅ + y₁³.q₄ + y₁³.q₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁
t₂.t₃ = y₁².y₂.q₃ + y₁³.q₆ + y₁³.q₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁².y₂².r₁ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₁
t₂² = y₁².y₂².r₂ + y₁².y₂².r₁ + y₁⁴.r₂
t₁.t₈ = y₁³.q₆ + y₁³.q₅ + y₁³.q₃ + y₁².y₃.y₄.r₂ + y₁².y₂.y₃.r₁ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₂.r₂ + y₁⁴.r₁
t₁.t₇ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₂.r₁
t₁.t₆ = y₁².y₂.q₃ + y₁³.q₃ + y₁³.q₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁³.y₂.r₁ + y₁⁴.r₂
t₁.t₅ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₂ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₁ + y₁³.y₂.r₂ + y₁⁴.r₁
t₁.t₄ = y₁².y₂.q₃ + y₁³.q₄ + y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁
t₁.t₃ = y₁².y₂.q₃ + y₁³.q₆ + y₁³.q₅ + y₁³.q₄ + y₁³.q₃ + y₁³.q₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁⁴.r₁
t₁.t₂ = y₁³.q₄ + y₁³.q₃ + y₁³.q₂ + y₁².y₂.y₃.r₁ + y₁³.y₄.r₁ + y₁³.y₂.r₁ + y₁⁴.r₁
t₁² = y₁².y₂².r₁ + y₁⁴.r₂ + y₁⁴.r₁
y₄.o₂ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₆ + y₁³.q₄ + y₁³.q₂ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₂ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁
y₄.o₁ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₆ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂².r₂ + y₁³.y₄.r₂ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁
y₃.o₂ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₄ + y₁³.q₃ + y₁².y₃.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₁ + y₁⁴.r₂ + y₁⁴.r₁
y₃.o₁ = y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂.y₃.r₂ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₁ + y₁⁴.r₁
y₂.o₂ = y₁³.q₆ + y₁³.q₄ + y₁³.q₃ + y₁³.q₂ + y₁³.q₁ + y₁².y₂.y₄.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁ + y₁⁴.r₁
y₂.o₁ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₆ + y₁³.q₃ + y₁³.q₁ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₁ + y₁³.y₃.r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁ + y₁⁴.r₂ + y₁⁴.r₁
y₁.o₂ = y₁².y₂.q₄ + y₁².y₂.q₃ + y₁³.q₅ + y₁³.q₂ + y₁².y₃.y₄.r₁ + y₁².y₂.y₄.r₁ + y₁².y₂.y₃.r₁ + y₁².y₂².r₂ + y₁².y₂².r₁ + y₁³.y₄.r₂ + y₁³.y₃.r₂ + y₁³.y₃.r₁
y₁.o₁ = y₁².y₂.q₄ + y₁³.q₄ + y₁³.q₃ + y₁³.q₂ + y₁².y₂.y₄.r₂ + y₁².y₂².r₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂
v₄.q₆ = y₂.v₄.r₂ + y₂.v₃.r₁ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₄.r₂ + y₁.v₄.r₁ + y₁.v₃.r₂ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₃ + y₁³.y₃.y₄.r₂ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₄.r₁ + y₁⁴.y₂.r₁
v₄.q₅ = y₂.v₃.r₂ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₃.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₁ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
v₄.q₄ = y₂.v₄.r₁ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₄.r₂ + y₁.v₄.r₁ + y₁.v₃.r₂ + y₁.v₃.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₂.r₁
v₄.q₃ = y₂.v₄.r₂ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₃.r₂ + y₁.v₃.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₃ + y₁⁴.q₂ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₂ + y₁⁵.r₂ + y₁⁵.r₁
v₄.q₂ = y₁⁴.q₄ + y₁⁴.q₃ + y₁⁴.q₂ + y₁⁴.q₁ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
v₄.q₁ = y₂.v₄.r₂ + y₂.v₄.r₁ + y₂.v₃.r₂ + y₂.v₂.r₁ + y₁.v₃.r₂ + y₁.v₃.r₁ + y₁.v₂.r₁ + y₁.v₁.r₁ + y₁⁴.q₂ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₁
v₃.q₆ = y₂.v₄.r₁ + y₂.v₂.r₂ + y₁.v₄.r₂ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁⁴.q₄ + y₁⁴.q₃ + y₁⁴.q₁ + y₁⁴.y₂.r₂
v₃.q₅ = y₂.v₄.r₂ + y₂.v₃.r₁ + y₂.v₂.r₁ + y₁.v₄.r₁ + y₁.v₃.r₂ + y₁.v₃.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁⁴.q₃ + y₁⁴.q₁ + y₁⁴.y₃.r₂ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
v₃.q₄ = y₂.v₃.r₂ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₄.r₂ + y₁.v₄.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁⁴.q₄ + y₁⁴.q₁ + y₁⁴.y₄.r₂ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₂
v₃.q₃ = y₂.v₃.r₁ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₄.r₂ + y₁.v₄.r₁ + y₁.v₃.r₂ + y₁.v₃.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁⁴.q₃ + y₁⁴.q₁ + y₁⁴.y₄.r₂ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
v₃.q₂ = y₁⁴.q₄ + y₁⁴.q₃ + y₁⁴.q₂ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
v₃.q₁ = y₂.v₄.r₂ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₄.r₂ + y₁.v₄.r₁ + y₁.v₃.r₁ + y₁.v₂.r₁ + y₁⁴.q₃ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₁
v₂.q₆ = y₂.v₄.r₂ + y₂.v₄.r₁ + y₂.v₂.r₁ + y₁.v₄.r₁ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁⁴.q₃ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂
v₂.q₅ = y₂.v₄.r₂ + y₂.v₄.r₁ + y₂.v₂.r₂ + y₂.v₂.r₁ + y₁.v₄.r₂ + y₁.v₁.r₁ + y₁⁴.q₃ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁵.r₁
v₂.q₄ = y₂.v₄.r₂ + y₂.v₄.r₁ + y₂.v₂.r₂ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₁
v₂.q₃ = y₂.v₄.r₂ + y₂.v₄.r₁ + y₂.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₃ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂
v₂.q₂ = y₁⁴.q₂ + y₁⁴.q₁ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂
v₂.q₁ = y₂.v₄.r₁ + y₂.v₂.r₂ + y₁.v₄.r₂ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₁
v₁.q₆ = y₂.v₃.r₂ + y₂.v₃.r₁ + y₂.v₂.r₁ + y₁.v₃.r₁ + y₁.v₂.r₁ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₃ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁵.r₁
v₁.q₅ = y₂.v₃.r₂ + y₂.v₃.r₁ + y₂.v₂.r₂ + y₁.v₃.r₂ + y₁.v₂.r₂ + y₁.v₂.r₁ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₃ + y₁⁴.q₂ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂
v₁.q₄ = y₂.v₃.r₂ + y₂.v₃.r₁ + y₁.v₂.r₂ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
v₁.q₃ = y₂.v₃.r₂ + y₂.v₃.r₁ + y₁.v₂.r₁ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₄ + y₁⁴.q₃ + y₁⁴.q₁ + y₁³.y₃.y₄.r₂ + y₁³.y₃.y₄.r₁ + y₁⁴.y₄.r₁ + y₁⁴.y₂.r₁
v₁.q₂ = y₁⁴.q₄ + y₁⁴.y₄.r₂ + y₁⁴.y₄.r₁ + y₁⁴.y₂.r₂ + y₁⁵.r₂ + y₁⁵.r₁
v₁.q₁ = y₂.v₃.r₁ + y₂.v₂.r₂ + y₁.v₃.r₂ + y₁.v₂.r₂ + y₁.v₁.r₂ + y₁.v₁.r₁ + y₁⁴.q₃ + y₁⁴.q₂ + y₁³.y₃.y₄.r₁ + y₁³.y₂.y₄.r₂ + y₁⁴.y₄.r₂ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₃.r₁ + y₁⁵.r₂ + y₁⁵.r₁
t₈.q₆ = y₂.t₈.r₂ + y₂.t₇.r₁ + y₂.t₄.r₂ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₅.r₁ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₁.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₈.q₅ = y₂.t₇.r₂ + y₂.t₄.r₁ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₇.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₄.r₂ + y₁.t₃.r₁ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₈.q₄ = y₂.t₈.r₁ + y₂.t₄.r₂ + y₂.t₄.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₈.q₃ = y₂.t₈.r₂ + y₂.t₄.r₂ + y₂.t₄.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₈.q₂ = y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₂
t₈.q₁ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₂ + y₂.t₄.r₂ + y₂.t₄.r₁ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₇.r₂ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₄.r₂ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₇.q₆ = y₂.t₈.r₂ + y₂.t₃.r₂ + y₁.t₇.r₂ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₁ + y₁.t₃.r₁ + y₁.t₂.r₁ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₇.q₅ = y₂.t₈.r₁ + y₂.t₇.r₁ + y₂.t₃.r₁ + y₁.t₇.r₂ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₄.r₂ + y₁.t₃.r₂ + y₁.t₂.r₂ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁
t₇.q₄ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₂ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂
t₇.q₃ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₁ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁².y₂.v₃.r₂ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₁.r₁
t₇.q₂ = y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₁.r₁
t₇.q₁ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₇.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₄.r₂ + y₁.t₃.r₂ + y₁.t₂.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₂
t₆.q₆ = y₂.t₄.r₂ + y₂.t₄.r₁ + y₂.t₃.r₁ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₅.r₂ + y₁.t₃.r₂ + y₁.t₂.r₁ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₂ + y₁³.v₃.r₂ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₆.q₅ = y₂.t₄.r₂ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₁ + y₁.t₂.r₂ + y₁.t₁.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₂
t₆.q₄ = y₂.t₄.r₁ + y₂.t₃.r₂ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₃.r₁ + y₁.t₁.r₁ + y₁².y₂.v₄.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₆.q₃ = y₂.t₄.r₂ + y₂.t₃.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₁.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₆.q₂ = y₁.y₂².v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₂
t₆.q₁ = y₂.t₄.r₁ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₅.q₆ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₄.r₁ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₇.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₁ + y₁.t₂.r₁ + y₁.t₁.r₂ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₁.r₂
t₅.q₅ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₄.r₂ + y₂.t₄.r₁ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₁.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₂ + y₁³.v₁.r₂
t₅.q₄ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₄.r₂ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₂ + y₁³.v₁.r₂
t₅.q₃ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₄.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₁ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₁.r₁
t₅.q₂ = y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₁
t₅.q₁ = y₂.t₈.r₁ + y₂.t₄.r₂ + y₂.t₃.r₂ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₂.r₂ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₁.r₂
t₄.q₆ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₄.r₂ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₂ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₃.r₂ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₂
t₄.q₅ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁
t₄.q₄ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₄.r₁ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₄.q₃ = y₂.t₈.r₂ + y₂.t₈.r₁ + y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₄.r₂ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₁.r₂
t₄.q₂ = y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₂
t₄.q₁ = y₂.t₈.r₁ + y₂.t₇.r₁ + y₂.t₄.r₂ + y₂.t₄.r₁ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₈.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₁.r₁
t₃.q₆ = y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₄.r₁ + y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁
t₃.q₅ = y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₄.r₂ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₂.r₁ + y₁².y₂.v₃.r₂ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₃.q₄ = y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₃.r₁ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₃.q₃ = y₂.t₇.r₂ + y₂.t₇.r₁ + y₂.t₃.r₂ + y₁.t₈.r₂ + y₁.t₈.r₁ + y₁.t₇.r₂ + y₁.t₇.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₃.q₂ = y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₃.q₁ = y₂.t₇.r₁ + y₂.t₄.r₂ + y₂.t₃.r₁ + y₁.t₈.r₁ + y₁.t₇.r₁ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₂ + y₁³.v₃.r₁
t₂.q₆ = y₂.t₄.r₂ + y₂.t₄.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₃.r₂ + y₁³.v₂.r₁
t₂.q₅ = y₂.t₄.r₂ + y₂.t₄.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₁ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₂.q₄ = y₂.t₄.r₂ + y₂.t₄.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₁ + y₁.t₁.r₂ + y₁.y₂².v₄.r₂ + y₁².y₂.v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₂.q₃ = y₂.t₄.r₂ + y₂.t₄.r₁ + y₁.t₆.r₂ + y₁.t₆.r₁ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₃.r₂ + y₁.t₃.r₁ + y₁.t₂.r₁ + y₁.t₁.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₂.q₂ = y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁³.v₄.r₂ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₂ + y₁³.v₁.r₁
t₂.q₁ = y₂.t₄.r₁ + y₁.t₆.r₁ + y₁.t₅.r₂ + y₁.t₄.r₁ + y₁.t₃.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₁.r₂
t₁.q₆ = y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₅.r₂ + y₁.t₄.r₂ + y₁.t₃.r₁ + y₁.t₂.r₂ + y₁.t₂.r₁ + y₁.t₁.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₂
t₁.q₅ = y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₅.r₁ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₂.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₂ + y₁³.v₄.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₂
t₁.q₄ = y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₂.r₁ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₂ + y₁³.v₃.r₂ + y₁³.v₃.r₁
t₁.q₃ = y₂.t₃.r₂ + y₂.t₃.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₂.r₂ + y₁.t₁.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₁ + y₁³.v₃.r₂
t₁.q₂ = y₁².y₂.v₂.r₂ + y₁³.v₁.r₁
t₁.q₁ = y₂.t₃.r₁ + y₁.t₅.r₂ + y₁.t₅.r₁ + y₁.t₄.r₂ + y₁.t₄.r₁ + y₁.t₃.r₂ + y₁.t₂.r₁ + y₁.y₂².v₄.r₂ + y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₁ + y₁³.v₁.r₁
v₄.o₂ = y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₃.r₁ + y₁³.v₁.r₁
v₄.o₁ = y₁.y₂².v₄.r₁ + y₁².y₂.v₄.r₂ + y₁².y₂.v₄.r₁ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₃.r₁ + y₁³.v₁.r₁
v₃.o₂ = y₁.y₂².v₄.r₁ + y₁².y₂.v₃.r₂ + y₁².y₂.v₃.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₁ + y₁³.v₂.r₁
v₃.o₁ = y₁².y₂.v₃.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₁
v₂.o₂ = y₁².y₂.v₄.r₁ + y₁².y₂.v₂.r₂ + y₁³.v₃.r₁ + y₁³.v₂.r₁ + y₁³.v₁.r₁
v₂.o₁ = y₁.y₂².v₄.r₁ + y₁².y₂.v₂.r₂ + y₁².y₂.v₂.r₁ + y₁³.v₄.r₁ + y₁³.v₁.r₁
v₁.o₂ = y₁.y₂².v₄.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁
v₁.o₁ = y₁².y₂.v₄.r₁ + y₁².y₂.v₂.r₁ + y₁³.v₃.r₁ + y₁³.v₂.r₂ + y₁³.v₂.r₁ + y₁³.v₁.r₁
t₈.o₂ = y₁³.t₈.r₂ + y₁³.t₇.r₁ + y₁³.t₆.r₁ + y₁³.t₃.r₂ + y₁³.t₃.r₁ + y₁³.t₂.r₂ + y₁³.t₂.r₁ + y₁³.t₁.r₂ + y₁³.t₁.r₁
t₈.o₁ = y₁³.t₈.r₂ + y₁³.t₇.r₁ + y₁³.t₄.r₁ + y₁³.t₃.r₂ + y₁³.t₂.r₂ + y₁³.t₂.r₁ + y₁³.t₁.r₂ + y₁³.t₁.r₁
t₇.o₂ = y₁³.t₈.r₂ + y₁³.t₇.r₁ + y₁³.t₆.r₂ + y₁³.t₆.r₁ + y₁³.t₄.r₂ + y₁³.t₄.r₁ + y₁³.t₃.r₂ + y₁³.t₃.r₁ + y₁³.t₂.r₂
t₇.o₁ = y₁³.t₈.r₂ + y₁³.t₆.r₂ + y₁³.t₄.r₂ + y₁³.t₃.r₂ + y₁³.t₃.r₁ + y₁³.t₂.r₂ + y₁³.t₁.r₁
t₆.o₂ = y₁³.t₇.r₂ + y₁³.t₄.r₂ + y₁³.t₃.r₂ + y₁³.t₂.r₂ + y₁³.t₂.r₁
t₆.o₁ = y₁³.t₈.r₁ + y₁³.t₇.r₂ + y₁³.t₇.r₁ + y₁³.t₄.r₂ + y₁³.t₄.r₁ + y₁³.t₃.r₂ + y₁³.t₃.r₁ + y₁³.t₂.r₂ + y₁³.t₁.r₁
t₅.o₂ = y₁³.t₇.r₂ + y₁³.t₇.r₁ + y₁³.t₆.r₂ + y₁³.t₆.r₁ + y₁³.t₄.r₂ + y₁³.t₃.r₂ + y₁³.t₂.r₂ + y₁³.t₂.r₁ + y₁³.t₁.r₂
t₅.o₁ = y₁³.t₇.r₂ + y₁³.t₇.r₁ + y₁³.t₆.r₂ + y₁³.t₆.r₁ + y₁³.t₄.r₂ + y₁³.t₃.r₂ + y₁³.t₂.r₂ + y₁³.t₁.r₂
t₄.o₂ = y₁³.t₈.r₁ + y₁³.t₇.r₂ + y₁³.t₆.r₁ + y₁³.t₂.r₁ + y₁³.t₁.r₁
t₄.o₁ = y₁³.t₇.r₂ + y₁³.t₇.r₁ + y₁³.t₆.r₁ + y₁³.t₃.r₁
t₃.o₂ = y₁³.t₇.r₁ + y₁³.t₆.r₂ + y₁³.t₆.r₁ + y₁³.t₃.r₁ + y₁³.t₂.r₂ + y₁³.t₂.r₁ + y₁³.t₁.r₂
t₃.o₁ = y₁³.t₈.r₁ + y₁³.t₆.r₂ + y₁³.t₆.r₁ + y₁³.t₂.r₂ + y₁³.t₂.r₁ + y₁³.t₁.r₂
t₂.o₂ = y₁³.t₈.r₁ + y₁³.t₆.r₁ + y₁³.t₄.r₁ + y₁³.t₁.r₁
t₂.o₁ = y₁³.t₈.r₁ + y₁³.t₆.r₁ + y₁³.t₃.r₁ + y₁³.t₂.r₁
t₁.o₂ = y₁³.t₈.r₁ + y₁³.t₇.r₁ + y₁³.t₆.r₁ + y₁³.t₂.r₂ + y₁³.t₂.r₁ + y₁³.t₁.r₂
t₁.o₁ = y₁³.t₇.r₁ + y₁³.t₄.r₁ + y₁³.t₂.r₂ + y₁³.t₁.r₂
q₆² = y₂.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₂² + y₂².r₁² + y₁.y₄.r₂² + y₁.y₃.r₁² + y₁.y₂.r₂² + y₁.y₂.r₁²
q₅.q₆ = y₂.r₁.q₄ + y₂.r₁.q₃ + y₁.r₂.q₅ + y₁.r₂.q₃ + y₁.r₂.q₁ + y₁.r₁.q₆ + y₁.r₁.q₄ + y₁.r₁.q₂ + y₁.r₁.q₁ + y₃.y₄.r₂² + y₃.y₄.r₁² + y₂.y₄.r₂² + y₂.y₄.r₁.r₂ + y₂.y₃.r₂² + y₂.y₃.r₁.r₂ + y₂².r₁² + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁.y₂.r₂² + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁² + y₁⁴.t₄.r₁ + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁ + y₁⁴.t₂.r₂ + y₁⁴.t₂.r₁ + y₁⁴.t₁.r₁
q₅² = y₂.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₁² + y₂².r₂² + y₂².r₁² + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₂.r₂² + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁²
q₄.q₆ = y₂.r₂.q₃ + y₁.r₂.q₆ + y₁.r₂.q₄ + y₁.r₂.q₃ + y₁.r₁.q₆ + y₁.r₁.q₅ + y₁.r₁.q₄ + y₃.y₄.r₁.r₂ + y₃.y₄.r₁² + y₂.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₂² + y₂.y₃.r₁.r₂ + y₂.y₃.r₁² + y₂².r₁.r₂ + y₁.y₃.r₁.r₂ + y₁.y₂.r₂² + y₁.y₂.r₁.r₂ + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁ + y₁⁴.t₂.r₁ + y₁⁴.t₁.r₁
q₄.q₅ = y₂.r₁.q₃ + y₁.r₂.q₅ + y₁.r₂.q₄ + y₁.r₂.q₃ + y₁.r₂.q₁ + y₁.r₁.q₄ + y₁.r₁.q₂ + y₃.y₄.r₂² + y₃.y₄.r₁.r₂ + y₂.y₄.r₁.r₂ + y₂.y₄.r₁² + y₂.y₃.r₁² + y₂².r₁.r₂ + y₂².r₁² + y₁.y₄.r₂² + y₁.y₄.r₁.r₂ + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₃.r₁.r₂ + y₁⁴.t₄.r₂ + y₁⁴.t₂.r₂ + y₁⁴.t₁.r₁
q₄² = y₂.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₂² + y₂.y₃.r₁² + y₂².r₂² + y₁.y₄.r₂² + y₁.y₄.r₁² + y₁.y₂.r₂² + y₁.y₂.r₁²
q₃.q₆ = y₂.r₂.q₄ + y₂.r₂.q₃ + y₂.r₁.q₄ + y₂.r₁.q₃ + y₁.r₁.q₆ + y₁.r₁.q₅ + y₁.r₁.q₃ + y₃.y₄.r₁.r₂ + y₃.y₄.r₁² + y₂.y₄.r₂² + y₂.y₄.r₁.r₂ + y₂.y₃.r₂² + y₂².r₂² + y₂².r₁² + y₁.y₄.r₁.r₂ + y₁.y₄.r₁² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁.r₂ + y₁⁴.t₄.r₁ + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁ + y₁⁴.t₂.r₂ + y₁⁴.t₂.r₁ + y₁⁴.t₁.r₂ + y₁⁴.t₁.r₁
q₃.q₅ = y₂.r₂.q₃ + y₂.r₁.q₄ + y₁.r₂.q₆ + y₁.r₂.q₄ + y₁.r₂.q₃ + y₁.r₂.q₂ + y₁.r₁.q₅ + y₁.r₁.q₄ + y₁.r₁.q₁ + y₃.y₄.r₂² + y₃.y₄.r₁.r₂ + y₂.y₃.r₂² + y₂.y₃.r₁.r₂ + y₂.y₃.r₁² + y₂².r₁² + y₁.y₄.r₁.r₂ + y₁.y₃.r₁.r₂ + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁.r₂ + y₁⁴.t₄.r₂ + y₁⁴.t₄.r₁ + y₁⁴.t₂.r₂ + y₁⁴.t₂.r₁
q₃.q₄ = y₂.r₂.q₃ + y₂.r₁.q₄ + y₁.r₂.q₆ + y₁.r₂.q₄ + y₁.r₂.q₃ + y₁.r₂.q₂ + y₁.r₁.q₆ + y₁.r₁.q₄ + y₁.r₁.q₃ + y₁.r₁.q₂ + y₂.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₂² + y₂.y₃.r₁² + y₂².r₁.r₂ + y₁.y₄.r₂² + y₁.y₄.r₁² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁².r₂² + y₁².r₁² + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁
q₃² = y₂.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₂² + y₂.y₃.r₁² + y₂².r₁² + y₁.y₄.r₂² + y₁.y₄.r₁² + y₁.y₂.r₂² + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁²
q₂.q₆ = y₂.r₂.q₄ + y₂.r₁.q₄ + y₁.r₂.q₆ + y₁.r₂.q₅ + y₁.r₂.q₄ + y₁.r₂.q₂ + y₁.r₁.q₅ + y₁.r₁.q₄ + y₁.r₁.q₂ + y₂.y₄.r₂² + y₂.y₄.r₁² + y₂².r₂² + y₂².r₁.r₂ + y₁.y₄.r₂² + y₁.y₄.r₁.r₂ + y₁.y₃.r₂² + y₁².r₁.r₂ + y₁².r₁² + y₁⁴.t₄.r₁ + y₁⁴.t₃.r₁ + y₁⁴.t₁.r₂
q₂.q₅ = y₂.r₂.q₄ + y₂.r₁.q₄ + y₁.r₂.q₅ + y₁.r₂.q₄ + y₂.y₄.r₂² + y₂.y₄.r₁² + y₂².r₂² + y₂².r₁.r₂ + y₁.y₃.r₂² + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁.r₂ + y₁⁴.t₄.r₂ + y₁⁴.t₄.r₁ + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁
q₂.q₄ = y₂.r₂.q₄ + y₂.r₁.q₄ + y₁.r₂.q₂ + y₁.r₁.q₆ + y₁.r₁.q₅ + y₁.r₁.q₄ + y₁.r₁.q₂ + y₂.y₄.r₂² + y₂.y₄.r₁² + y₂².r₂² + y₂².r₁.r₂ + y₁.y₄.r₁.r₂ + y₁.y₄.r₁² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁.y₂.r₂² + y₁.y₂.r₁.r₂ + y₁⁴.t₄.r₂ + y₁⁴.t₃.r₂ + y₁⁴.t₁.r₁
q₂.q₃ = y₂.r₂.q₄ + y₂.r₁.q₄ + y₁.r₂.q₆ + y₁.r₂.q₅ + y₁.r₂.q₄ + y₂.y₄.r₂² + y₂.y₄.r₁² + y₂².r₂² + y₂².r₁.r₂ + y₁.y₄.r₂² + y₁.y₄.r₁.r₂ + y₁.y₃.r₂² + y₁.y₃.r₁.r₂ + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁⁴.t₄.r₁ + y₁⁴.t₃.r₁ + y₁⁴.t₁.r₂
q₂² = 0
q₁.q₆ = y₂.r₂.q₃ + y₂.r₁.q₄ + y₁.r₂.q₆ + y₁.r₂.q₂ + y₁.r₂.q₁ + y₁.r₁.q₆ + y₁.r₁.q₅ + y₁.r₁.q₄ + y₁.r₁.q₁ + y₃.y₄.r₂² + y₃.y₄.r₁.r₂ + y₃.y₄.r₁² + y₂.y₄.r₂² + y₂.y₄.r₁.r₂ + y₂.y₃.r₁² + y₂².r₁.r₂ + y₁.y₄.r₂² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁².r₂² + y₁².r₁² + y₁⁴.t₄.r₂ + y₁⁴.t₃.r₂ + y₁⁴.t₂.r₂
q₁.q₅ = y₂.r₁.q₄ + y₁.r₂.q₄ + y₁.r₁.q₆ + y₁.r₁.q₁ + y₃.y₄.r₂² + y₂.y₄.r₁² + y₂.y₃.r₂² + y₂.y₃.r₁² + y₂².r₂² + y₂².r₁.r₂ + y₁.y₄.r₁.r₂ + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁.y₂.r₂² + y₁².r₂² + y₁².r₁.r₂ + y₁⁴.t₄.r₂ + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁ + y₁⁴.t₂.r₂ + y₁⁴.t₂.r₁ + y₁⁴.t₁.r₂
q₁.q₄ = y₂.r₂.q₄ + y₂.r₁.q₃ + y₁.r₂.q₆ + y₁.r₂.q₅ + y₁.r₂.q₄ + y₁.r₂.q₃ + y₁.r₂.q₂ + y₁.r₂.q₁ + y₁.r₁.q₆ + y₁.r₁.q₄ + y₁.r₁.q₁ + y₃.y₄.r₂² + y₃.y₄.r₁.r₂ + y₂.y₄.r₂² + y₂.y₃.r₂² + y₂.y₃.r₁.r₂ + y₂.y₃.r₁² + y₂².r₂² + y₂².r₁² + y₁.y₄.r₁.r₂ + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₃.r₁.r₂ + y₁.y₃.r₁² + y₁.y₂.r₁.r₂ + y₁.y₂.r₁² + y₁².r₁.r₂ + y₁².r₁² + y₁⁴.t₄.r₁ + y₁⁴.t₃.r₂ + y₁⁴.t₃.r₁ + y₁⁴.t₁.r₂
q₁.q₃ = y₂.r₂.q₄ + y₂.r₂.q₃ + y₂.r₁.q₃ + y₁.r₂.q₄ + y₁.r₂.q₃ + y₁.r₂.q₁ + y₁.r₁.q₅ + y₁.r₁.q₁ + y₃.y₄.r₂² + y₃.y₄.r₁.r₂ + y₂.y₄.r₁² + y₂.y₃.r₁² + y₂².r₂² + y₂².r₁.r₂ + y₂².r₁² + y₁.y₄.r₁.r₂ + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₂.r₁.r₂ + y₁².r₂² + y₁².r₁² + y₁⁴.t₃.r₂ + y₁⁴.t₂.r₁ + y₁⁴.t₁.r₂ + y₁⁴.t₁.r₁
q₁.q₂ = y₂.r₁.q₄ + y₁.r₂.q₆ + y₁.r₁.q₆ + y₁.r₁.q₅ + y₁.r₁.q₄ + y₂.y₄.r₁.r₂ + y₂.y₄.r₁² + y₂².r₁.r₂ + y₁.y₄.r₂² + y₁.y₄.r₁² + y₁.y₃.r₁² + y₁².r₂² + y₁².r₁.r₂ + y₁⁴.t₄.r₂ + y₁⁴.t₃.r₂ + y₁⁴.t₁.r₂ + y₁⁴.t₁.r₁
q₁² = y₂.y₄.r₁² + y₂.y₃.r₂² + y₂.y₃.r₁² + y₂².r₂² + y₁.y₄.r₂² + y₁.y₄.r₁² + y₁.y₃.r₂² + y₁.y₂.r₁² + y₁².r₁²
q₆.o₂ = y₁².y₂.r₂.q₄ + y₁².y₂.r₁.q₄ + y₁³.r₂.q₅ + y₁³.r₂.q₂ + y₁³.r₂.q₁ + y₁³.r₁.q₅ + y₁³.r₁.q₄ + y₁².y₃.y₄.r₁² + y₁².y₂.y₃.r₁.r₂ + y₁².y₂².r₂² + y₁².y₂².r₁² + y₁³.y₄.r₂² + y₁³.y₄.r₁² + y₁³.y₃.r₁² + y₁³.y₂.r₁² + y₁⁴.r₁.r₂ + y₁⁴.r₁²
q₆.o₁ = y₁².y₂.r₂.q₄ + y₁².y₂.r₂.q₃ + y₁³.r₂.q₃ + y₁³.r₁.q₃ + y₁².y₃.y₄.r₁² + y₁².y₂.y₄.r₂² + y₁².y₂.y₄.r₁.r₂ + y₁².y₂.y₃.r₁.r₂ + y₁².y₂².r₂² + y₁².y₂².r₁² + y₁³.y₄.r₂² + y₁³.y₄.r₁.r₂ + y₁³.y₄.r₁² + y₁⁴.r₁.r₂
q₅.o₂ = y₁².y₂.r₁.q₄ + y₁³.r₂.q₄ + y₁³.r₂.q₃ + y₁³.r₂.q₂ + y₁³.r₁.q₆ + y₁³.r₁.q₁ + y₁².y₃.y₄.r₁² + y₁².y₂.y₄.r₂² + y₁².y₂.y₃.r₂² + y₁².y₂.y₃.r₁.r₂ + y₁².y₂.y₃.r₁² + y₁².y₂².r₁.r₂ + y₁³.y₄.r₁.r₂ + y₁³.y₄.r₁² + y₁³.y₃.r₁.r₂ + y₁³.y₂.r₂² + y₁³.y₂.r₁.r₂ + y₁⁴.r₂²
q₅.o₁ = y₁².y₂.r₂.q₄ + y₁².y₂.r₂.q₃ + y₁².y₂.r₁.q₄ + y₁².y₂.r₁.q₃ + y₁³.r₂.q₄ + y₁³.r₂.q₃ + y₁³.r₁.q₄ + y₁³.r₁.q₃ + y₁³.r₁.q₁ + y₁².y₃.y₄.r₁.r₂ + y₁².y₃.y₄.r₁² + y₁².y₂.y₄.r₂² + y₁².y₂.y₃.r₂² + y₁².y₂².r₂² + y₁².y₂².r₁² + y₁³.y₄.r₁² + y₁³.y₂.r₁.r₂ + y₁⁴.r₂² + y₁⁴.r₁.r₂ + y₁⁴.r₁²
q₄.o₂ = y₁².y₂.r₂.q₄ + y₁³.r₂.q₅ + y₁³.r₂.q₃ + y₁³.r₂.q₂ + y₁³.r₁.q₅ + y₁³.r₁.q₄ + y₁³.r₁.q₃ + y₁³.r₁.q₂ + y₁³.r₁.q₁ + y₁².y₂.y₄.r₁² + y₁².y₂².r₁² + y₁³.y₄.r₁.r₂ + y₁³.y₃.r₂² + y₁³.y₃.r₁² + y₁³.y₂.r₁² + y₁⁴.r₁²
q₄.o₁ = y₁².y₂.r₁.q₄ + y₁³.r₂.q₄ + y₁³.r₂.q₂ + y₁³.r₂.q₁ + y₁³.r₁.q₆ + y₁³.r₁.q₅ + y₁².y₃.y₄.r₁.r₂ + y₁².y₂.y₄.r₂² + y₁².y₂.y₄.r₁.r₂ + y₁².y₂.y₄.r₁² + y₁².y₂².r₂² + y₁².y₂².r₁.r₂ + y₁².y₂².r₁² + y₁³.y₄.r₂² + y₁³.y₄.r₁² + y₁³.y₃.r₂² + y₁³.y₃.r₁² + y₁³.y₂.r₁² + y₁⁴.r₂² + y₁⁴.r₁.r₂
q₃.o₂ = y₁².y₂.r₂.q₄ + y₁².y₂.r₁.q₄ + y₁².y₂.r₁.q₃ + y₁³.r₂.q₆ + y₁³.r₂.q₄ + y₁³.r₂.q₂ + y₁³.r₂.q₁ + y₁³.r₁.q₆ + y₁³.r₁.q₅ + y₁³.r₁.q₃ + y₁³.r₁.q₂ + y₁³.r₁.q₁ + y₁².y₃.y₄.r₁.r₂ + y₁².y₃.y₄.r₁² + y₁².y₂.y₄.r₁² + y₁².y₂.y₃.r₁.r₂ + y₁².y₂.y₃.r₁² + y₁².y₂².r₂² + y₁².y₂².r₁.r₂ + y₁².y₂².r₁² + y₁³.y₄.r₁.r₂ + y₁³.y₄.r₁² + y₁³.y₃.r₂² + y₁³.y₃.r₁.r₂ + y₁³.y₂.r₁.r₂ + y₁⁴.r₁.r₂
q₃.o₁ = y₁².y₂.r₂.q₄ + y₁².y₂.r₁.q₄ + y₁³.r₂.q₆ + y₁³.r₁.q₆ + y₁³.r₁.q₃ + y₁³.r₁.q₁ + y₁².y₃.y₄.r₁² + y₁².y₂.y₄.r₁² + y₁².y₂².r₂² + y₁².y₂².r₁.r₂ + y₁³.y₄.r₂² + y₁³.y₄.r₁² + y₁³.y₃.r₁.r₂ + y₁³.y₃.r₁² + y₁³.y₂.r₂² + y₁³.y₂.r₁.r₂ + y₁⁴.r₂² + y₁⁴.r₁²
q₂.o₂ = y₁².y₂.r₁.q₄ + y₁².y₂.r₁.q₃ + y₁³.r₂.q₆ + y₁³.r₂.q₅ + y₁³.r₂.q₄ + y₁³.r₁.q₆ + y₁³.r₁.q₄ + y₁².y₂².r₁.r₂ + y₁².y₂².r₁² + y₁³.y₄.r₂² + y₁³.y₄.r₁.r₂ + y₁³.y₃.r₂² + y₁³.y₃.r₁.r₂ + y₁³.y₃.r₁² + y₁³.y₂.r₂² + y₁³.y₂.r₁.r₂ + y₁³.y₂.r₁²
q₂.o₁ = y₁³.r₂.q₆ + y₁³.r₂.q₅ + y₁³.r₂.q₄ + y₁³.r₁.q₆ + y₁³.r₁.q₄ + y₁³.r₁.q₃ + y₁³.r₁.q₁ + y₁³.y₄.r₂² + y₁³.y₃.r₂² + y₁³.y₃.r₁² + y₁³.y₂.r₂² + y₁³.y₂.r₁²
q₁.o₂ = y₁².y₂.r₂.q₄ + y₁².y₂.r₂.q₃ + y₁².y₂.r₁.q₃ + y₁³.r₂.q₅ + y₁³.r₂.q₄ + y₁³.r₂.q₃ + y₁³.r₂.q₂ + y₁³.r₂.q₁ + y₁³.r₁.q₅ + y₁³.r₁.q₁ + y₁².y₃.y₄.r₁.r₂ + y₁².y₃.y₄.r₁² + y₁².y₂.y₄.r₁² + y₁².y₂.y₃.r₂² + y₁².y₂.y₃.r₁² + y₁².y₂².r₂² + y₁².y₂².r₁.r₂ + y₁³.y₄.r₂² + y₁³.y₄.r₁² + y₁³.y₂.r₁.r₂ + y₁⁴.r₂² + y₁⁴.r₁.r₂
q₁.o₁ = y₁².y₂.r₁.q₄ + y₁².y₂.r₁.q₃ + y₁³.r₂.q₅ + y₁³.r₂.q₃ + y₁³.r₂.q₂ + y₁³.r₁.q₅ + y₁³.r₁.q₃ + y₁³.r₁.q₁ + y₁².y₃.y₄.r₁.r₂ + y₁².y₂.y₄.r₁.r₂ + y₁².y₂.y₄.r₁² + y₁².y₂.y₃.r₂² + y₁².y₂².r₁.r₂ + y₁³.y₄.r₁.r₂ + y₁³.y₃.r₂² + y₁³.y₃.r₁² + y₁³.y₂.r₁.r₂ + y₁⁴.r₁.r₂
o₂² = 0
o₁.o₂ = y₁⁵.r₁.q₄
o₁² = 0

Eine minimale Gröbnerbasis für das Relationenideal besteht aus diesen minimalen Relationen, zusammen mit folgenden überflüssigen Relationen:

y₁.y₂.y₃.y₄ = y₁².y₃.y₄ + y₁².y₂.y₃ + y₁².y₂² + y₁⁴
y₁.y₂².y₄ = y₁².y₃.y₄ + y₁².y₂.y₄ + y₁².y₂.y₃ + y₁².y₂² + y₁³.y₄ + y₁³.y₃
y₂².v₃ = y₁.y₂.v₄ + y₁².v₂ + y₁².v₁
y₂².v₂ = y₁.y₂.v₃ + y₁².v₄ + y₁².v₂ + y₁².v₁
y₁⁴.y₃.y₄ = 0
y₁⁴.y₂.y₄ = 0
y₁⁵.y₄ = 0
y₁⁵.y₃ = 0
y₁⁵.y₂ = 0
y₁⁶ = 0
y₂².t₈ = y₁².t₈ + y₁².t₅ + y₁².y₂².v₄ + y₁³.y₂.v₄ + y₁⁴.v₄
y₂².t₇ = y₁².t₈ + y₁².t₃ + y₁².t₂ + y₁³.y₂.v₃ + y₁⁴.v₄ + y₁⁴.v₂ + y₁⁴.v₁
y₂².t₄ = y₁².t₈ + y₁².t₅ + y₁².t₄ + y₁².t₁ + y₁⁴.v₃ + y₁⁴.v₂ + y₁⁴.v₁
y₂².t₃ = y₁².t₇ + y₁².t₆ + y₁².t₅ + y₁².t₄ + y₁².t₂ + y₁².y₂².v₄ + y₁³.y₂.v₂ + y₁⁴.v₂
y₁.y₂.t₈ = y₁².t₈ + y₁².t₅ + y₁².t₄ + y₁².t₃ + y₁⁴.v₃
y₁.y₂.t₇ = y₁².t₈ + y₁².t₆ + y₁².t₅ + y₁².t₃ + y₁².t₁ + y₁³.y₂.v₄ + y₁³.y₂.v₃ + y₁³.y₂.v₂ + y₁⁴.v₄
y₁.y₂.t₄ = y₁².t₇ + y₁².t₅ + y₁².t₄ + y₁².t₂ + y₁².t₁ + y₁².y₂².v₄ + y₁⁴.v₃ + y₁⁴.v₂ + y₁⁴.v₁
y₁.y₂.t₃ = y₁².t₆ + y₁².t₅ + y₁².t₄ + y₁².y₂².v₄ + y₁³.y₂.v₃ + y₁³.y₂.v₂ + y₁⁴.v₄ + y₁⁴.v₂
y₁⁴.y₂.v₄ = 0
y₁⁴.y₂.v₃ = 0
y₁⁴.y₂.v₂ = 0
y₁⁵.v₄ = 0
y₁⁵.v₃ = 0
y₁⁵.v₂ = 0
y₁⁵.v₁ = 0
y₁⁴.t₈ = y₁⁴.t₂ + y₁⁴.t₁
y₁⁴.t₇ = y₁⁴.t₂ + y₁⁴.t₁
y₁⁴.t₆ = y₁⁴.t₄ + y₁⁴.t₃
y₂².q₄ = y₁².q₄ + y₁².q₃ + y₂².y₄.r₂ + y₂².y₄.r₁ + y₁.y₂.y₃.r₂ + y₁.y₂².r₁ + y₁².y₄.r₂ + y₁².y₂.r₁ + y₁³.r₁
y₂².q₃ = y₁².q₄ + y₂².y₄.r₂ + y₂².y₄.r₁ + y₁.y₂.y₃.r₁ + y₁.y₂².r₁ + y₁².y₄.r₂ + y₁².y₂.r₂ + y₁².y₂.r₁ + y₁³.r₂
y₁⁵.t₄ = 0
y₁⁵.t₃ = 0
y₁⁵.t₂ = 0
y₁⁵.t₁ = 0
y₁³.y₂.q₄ = y₁⁴.q₄ + y₁⁴.q₂ + y₁⁴.q₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
y₁³.y₂.q₃ = y₁⁴.q₄ + y₁⁴.q₂ + y₁⁴.q₁ + y₁³.y₂.y₄.r₂ + y₁³.y₂.y₄.r₁ + y₁⁴.y₄.r₂ + y₁⁴.y₃.r₂ + y₁⁴.y₂.r₂ + y₁⁴.y₂.r₁ + y₁⁵.r₂ + y₁⁵.r₁
y₁⁴.q₆ = y₁⁴.q₄ + y₁⁴.q₂ + y₁⁴.q₁ + y₁⁴.y₄.r₁ + y₁⁴.y₃.r₂ + y₁⁴.y₃.r₁ + y₁⁴.y₂.r₂
y₁⁴.q₅ = y₁⁴.q₁ + y₁⁴.y₄.r₂ + y₁⁴.y₂.r₁
y₁⁵.q₃ = 0
y₁⁵.q₂ = 0
y₁⁵.q₁ = 0

Ideal essentieller Klassen: Es gibt 21 minimale Erzeuger:

y₁².y₃.y₄
y₁².y₂.y₄
y₁².y₂.y₃
y₁².y₂²
y₁³.y₄
y₁³.y₃
y₁³.y₂
y₁⁴
y₁.y₂.v₄ + y₁².v₄ + y₁².v₁
y₁.y₂.v₃ + y₁².v₄
y₁.y₂.v₂ + y₁².v₂
y₁².t₈
y₁².t₇
y₁².t₆
y₁².t₅
y₁².t₄
y₁².t₃
y₁².t₂
y₁².t₁
y₁.q₆ + y₁.q₄ + y₁.q₂ + y₁.y₃.r₁ + y₁.y₂.r₂
y₁.q₅ + y₁.q₁ + y₁.y₄.r₂ + y₁.y₂.r₁

Nilradikal: Es gibt 24 minimale Erzeuger:

y₄
y₃
y₂
y₁
v₄
v₃
v₂
v₁
t₈
t₇
t₆
t₅
t₄
t₃
t₂
t₁
q₆
q₅
q₄
q₃
q₂
q₁
o₂
o₁

Informationen zur Vollständigkeit

Dieser Kohomologiering wurde mittels einer Berechnung bis zum Grad 22 ermittlet. Die Präsentierung des Kohomologierings ist ab dem 22. Grad stabil. Carlsons Kriterium stellt Stabilität ab dem 22. Grad fest.

Dieser Kohomologiering hat Dimension 2 und Tiefe 2. Ein homogenes Parametersystem ist

h₁ = r₁ im Grad 8
h₂ = r₂ im Grad 8

Die ersten 2 Terme h₁, h₂ bilden eine reguläre Folge maximaler Länge.

Die ersten 2 Terme h₁, h₂ bilden eine vollständige Duflot-reguläre Folge. Daß heißt, ihre Einschränkungen auf die größte zentrale elelementar-abelsche Untergruppe bilden eine reguläre Folge maximaler Länge.

Das Ideal essentieller Klassen ist frei vom Rang 75 als Modul über die Polynomalgebra auf h₁, h₂. Eine Basis dieses freien Moduls ist:

G₀₁ = y₁².y₃.y₄ im Grad 4
G₀₂ = y₁².y₂.y₄ im Grad 4
G₀₃ = y₁².y₂.y₃ im Grad 4
G₀₄ = y₁².y₂² im Grad 4
G₀₅ = y₁³.y₄ im Grad 4
G₀₆ = y₁³.y₃ im Grad 4
G₀₇ = y₁³.y₂ im Grad 4
G₀₈ = y₁⁴ im Grad 4
G₀₉ = y₁³.y₃.y₄ im Grad 5
G₁₀ = y₁³.y₂.y₄ im Grad 5
G₁₁ = y₁⁴.y₄ im Grad 5
G₁₂ = y₁⁴.y₃ im Grad 5
G₁₃ = y₁⁴.y₂ im Grad 5
G₁₄ = y₁⁵ im Grad 5
G₁₅ = y₁.y₂.v₄ + y₁².v₄ + y₁².v₁ im Grad 6
G₁₆ = y₁.y₂.v₃ + y₁².v₄ im Grad 6
G₁₇ = y₁.y₂.v₂ + y₁².v₂ im Grad 6
G₁₈ = y₁.y₂².v₄ + y₁².y₂.v₄ + y₁².y₂.v₁ im Grad 7
G₁₉ = y₁².y₂.v₄ + y₁³.v₄ + y₁³.v₁ im Grad 7
G₂₀ = y₁².y₂.v₃ + y₁³.v₄ im Grad 7
G₂₁ = y₁².y₂.v₂ + y₁³.v₂ im Grad 7
G₂₂ = y₁³.v₄ im Grad 7
G₂₃ = y₁³.v₃ im Grad 7
G₂₄ = y₁³.v₂ im Grad 7
G₂₅ = y₁³.v₁ im Grad 7
G₂₆ = y₁².t₈ im Grad 8
G₂₇ = y₁².t₇ im Grad 8
G₂₈ = y₁².t₆ im Grad 8
G₂₉ = y₁².t₅ im Grad 8
G₃₀ = y₁².t₄ im Grad 8
G₃₁ = y₁².t₃ im Grad 8
G₃₂ = y₁².t₂ im Grad 8
G₃₃ = y₁².t₁ im Grad 8
G₃₄ = y₁².y₂².v₄ im Grad 8
G₃₅ = y₁³.y₂.v₄ im Grad 8
G₃₆ = y₁³.y₂.v₃ im Grad 8
G₃₇ = y₁³.y₂.v₂ im Grad 8
G₃₈ = y₁⁴.v₄ im Grad 8
G₃₉ = y₁⁴.v₃ im Grad 8
G₄₀ = y₁⁴.v₂ im Grad 8
G₄₁ = y₁⁴.v₁ im Grad 8
G₄₂ = y₁³.t₈ im Grad 9
G₄₃ = y₁³.t₇ im Grad 9
G₄₄ = y₁³.t₆ im Grad 9
G₄₅ = y₁³.t₄ im Grad 9
G₄₆ = y₁³.t₃ im Grad 9
G₄₇ = y₁³.t₂ im Grad 9
G₄₈ = y₁³.t₁ im Grad 9
G₄₉ = y₁.q₆ + y₁.q₄ + y₁.q₂ + y₁.y₃.r₁ + y₁.y₂.r₂ im Grad 10
G₅₀ = y₁.q₅ + y₁.q₁ + y₁.y₄.r₂ + y₁.y₂.r₁ im Grad 10
G₅₁ = y₁⁴.t₄ im Grad 10
G₅₂ = y₁⁴.t₃ im Grad 10
G₅₃ = y₁⁴.t₂ im Grad 10
G₅₄ = y₁⁴.t₁ im Grad 10
G₅₅ = y₁.y₂.q₄ + y₁.y₂.y₄.r₂ + y₁.y₂.y₄.r₁ + y₁.y₂².r₂ + y₁².y₂.r₂ + y₁².y₂.r₁ im Grad 11
G₅₆ = y₁.y₂.q₃ + y₁.y₂.y₄.r₂ + y₁.y₂.y₄.r₁ + y₁.y₂².r₁ im Grad 11
G₅₇ = y₁².q₆ + y₁².q₄ + y₁².q₂ + y₁².y₃.r₁ + y₁².y₂.r₂ im Grad 11
G₅₈ = y₁².q₅ + y₁².q₁ + y₁².y₄.r₂ + y₁².y₂.r₁ im Grad 11
G₅₉ = y₁².q₄ + y₁².y₄.r₂ + y₁².y₄.r₁ + y₁².y₂.r₂ + y₁³.r₂ + y₁³.r₁ im Grad 11
G₆₀ = y₁².q₃ + y₁².y₄.r₂ + y₁².y₄.r₁ + y₁².y₂.r₁ im Grad 11
G₆₁ = y₁².q₂ im Grad 11
G₆₂ = y₁².q₁ + y₁².y₄.r₁ + y₁².y₃.r₂ im Grad 11
G₆₃ = y₁².y₂.q₄ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂².r₂ + y₁³.y₂.r₂ + y₁³.y₂.r₁ im Grad 12
G₆₄ = y₁².y₂.q₃ + y₁².y₂.y₄.r₂ + y₁².y₂.y₄.r₁ + y₁².y₂².r₁ im Grad 12
G₆₅ = y₁³.q₆ + y₁³.q₄ + y₁³.q₂ + y₁³.y₃.r₁ + y₁³.y₂.r₂ im Grad 12
G₆₆ = y₁³.q₅ + y₁³.q₁ + y₁³.y₄.r₂ + y₁³.y₂.r₁ im Grad 12
G₆₇ = y₁³.q₄ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₂.r₂ + y₁⁴.r₂ + y₁⁴.r₁ im Grad 12
G₆₈ = y₁³.q₃ + y₁³.y₄.r₂ + y₁³.y₄.r₁ + y₁³.y₂.r₁ im Grad 12
G₆₉ = y₁³.q₂ im Grad 12
G₇₀ = y₁³.q₁ + y₁³.y₄.r₁ + y₁³.y₃.r₂ im Grad 12
G₇₁ = y₁⁴.q₄ im Grad 13
G₇₂ = y₁⁴.q₃ im Grad 13
G₇₃ = y₁⁴.q₂ im Grad 13
G₇₄ = y₁⁴.q₁ im Grad 13
G₇₅ = y₁⁵.q₄ im Grad 14

Nicht jedes Produkt zweier essentieller Klassen ist Null. Hier sind die Relationen, die nicht von der Sorte G_i.G_j = 0 sind (i=j erlaubt):

G₁₇.G₂₆ = G₇₅
G₁₆.G₃₀ = G₇₅
G₁₆.G₂₉ = G₇₅
G₁₆.G₂₈ = G₇₅
G₁₆.G₂₇ = G₇₅
G₁₅.G₃₁ = G₇₅
G₀₅.G₄₉ = G₇₅
G₀₃.G₄₉ = G₇₅
G₀₁.G₅₀ = G₇₅

Koszul-Informationen

Eine Basis für R/(h₁, h₂) ist wie folgt. Carlsons Koszul-Bedingung fordert, daß alle Basiselemente vom Grad kleiner als 16 sind.

1 im Grad 0
y₄ im Grad 1
y₃ im Grad 1
y₂ im Grad 1
y₁ im Grad 1
y₃.y₄ im Grad 2
y₂.y₄ im Grad 2
y₂.y₃ im Grad 2
y₂² im Grad 2
y₁.y₄ im Grad 2
y₁.y₃ im Grad 2
y₁.y₂ im Grad 2
y₁² im Grad 2
y₂.y₃.y₄ im Grad 3
y₂².y₄ im Grad 3
y₁.y₃.y₄ im Grad 3
y₁.y₂.y₄ im Grad 3
y₁.y₂.y₃ im Grad 3
y₁.y₂² im Grad 3
y₁².y₄ im Grad 3
y₁².y₃ im Grad 3
y₁².y₂ im Grad 3
y₁³ im Grad 3
v₄ im Grad 4
v₃ im Grad 4
v₂ im Grad 4
v₁ im Grad 4
y₁².y₃.y₄ im Grad 4
y₁².y₂.y₄ im Grad 4
y₁².y₂.y₃ im Grad 4
y₁².y₂² im Grad 4
y₁³.y₄ im Grad 4
y₁³.y₃ im Grad 4
y₁³.y₂ im Grad 4
y₁⁴ im Grad 4
y₂.v₄ im Grad 5
y₂.v₃ im Grad 5
y₂.v₂ im Grad 5
y₁.v₄ im Grad 5
y₁.v₃ im Grad 5
y₁.v₂ im Grad 5
y₁.v₁ im Grad 5
y₁³.y₃.y₄ im Grad 5
y₁³.y₂.y₄ im Grad 5
y₁⁴.y₄ im Grad 5
y₁⁴.y₃ im Grad 5
y₁⁴.y₂ im Grad 5
y₁⁵ im Grad 5
t₈ im Grad 6
t₇ im Grad 6
t₆ im Grad 6
t₅ im Grad 6
t₄ im Grad 6
t₃ im Grad 6
t₂ im Grad 6
t₁ im Grad 6
y₂².v₄ im Grad 6
y₁.y₂.v₄ im Grad 6
y₁.y₂.v₃ im Grad 6
y₁.y₂.v₂ im Grad 6
y₁².v₄ im Grad 6
y₁².v₃ im Grad 6
y₁².v₂ im Grad 6
y₁².v₁ im Grad 6
y₂.t₈ im Grad 7
y₂.t₇ im Grad 7
y₂.t₄ im Grad 7
y₂.t₃ im Grad 7
y₁.t₈ im Grad 7
y₁.t₇ im Grad 7
y₁.t₆ im Grad 7
y₁.t₅ im Grad 7
y₁.t₄ im Grad 7
y₁.t₃ im Grad 7
y₁.t₂ im Grad 7
y₁.t₁ im Grad 7
y₁.y₂².v₄ im Grad 7
y₁².y₂.v₄ im Grad 7
y₁².y₂.v₃ im Grad 7
y₁².y₂.v₂ im Grad 7
y₁³.v₄ im Grad 7
y₁³.v₃ im Grad 7
y₁³.v₂ im Grad 7
y₁³.v₁ im Grad 7
y₁².t₈ im Grad 8
y₁².t₇ im Grad 8
y₁².t₆ im Grad 8
y₁².t₅ im Grad 8
y₁².t₄ im Grad 8
y₁².t₃ im Grad 8
y₁².t₂ im Grad 8
y₁².t₁ im Grad 8
y₁².y₂².v₄ im Grad 8
y₁³.y₂.v₄ im Grad 8
y₁³.y₂.v₃ im Grad 8
y₁³.y₂.v₂ im Grad 8
y₁⁴.v₄ im Grad 8
y₁⁴.v₃ im Grad 8
y₁⁴.v₂ im Grad 8
y₁⁴.v₁ im Grad 8
q₆ im Grad 9
q₅ im Grad 9
q₄ im Grad 9
q₃ im Grad 9
q₂ im Grad 9
q₁ im Grad 9
y₁³.t₈ im Grad 9
y₁³.t₇ im Grad 9
y₁³.t₆ im Grad 9
y₁³.t₄ im Grad 9
y₁³.t₃ im Grad 9
y₁³.t₂ im Grad 9
y₁³.t₁ im Grad 9
y₂.q₄ im Grad 10
y₂.q₃ im Grad 10
y₁.q₆ im Grad 10
y₁.q₅ im Grad 10
y₁.q₄ im Grad 10
y₁.q₃ im Grad 10
y₁.q₂ im Grad 10
y₁.q₁ im Grad 10
y₁⁴.t₄ im Grad 10
y₁⁴.t₃ im Grad 10
y₁⁴.t₂ im Grad 10
y₁⁴.t₁ im Grad 10
o₂ im Grad 11
o₁ im Grad 11
y₁.y₂.q₄ im Grad 11
y₁.y₂.q₃ im Grad 11
y₁².q₆ im Grad 11
y₁².q₅ im Grad 11
y₁².q₄ im Grad 11
y₁².q₃ im Grad 11
y₁².q₂ im Grad 11
y₁².q₁ im Grad 11
y₁².y₂.q₄ im Grad 12
y₁².y₂.q₃ im Grad 12
y₁³.q₆ im Grad 12
y₁³.q₅ im Grad 12
y₁³.q₄ im Grad 12
y₁³.q₃ im Grad 12
y₁³.q₂ im Grad 12
y₁³.q₁ im Grad 12
y₁⁴.q₄ im Grad 13
y₁⁴.q₃ im Grad 13
y₁⁴.q₂ im Grad 13
y₁⁴.q₁ im Grad 13
y₁⁵.q₄ im Grad 14

Einschränkungen auf Untergruppen

Einschränkungen auf maximale Untergruppen
Einschränkungen auf maximale elementar-abelsche Untergruppen
Einschränkung auf die größte zentrale elementar-abelsche Untergruppe

Einschränkungen auf maximale Untergruppen

Einschränkung auf maximale Untergruppe Nr. 1, isomorph zu 32gp32

y₁ hat Einschränkung 0
y₂ hat Einschränkung y₁
y₃ hat Einschränkung y₃ + y₂
y₄ hat Einschränkung y₂
v₁ hat Einschränkung y₁.w₁
v₂ hat Einschränkung y₁.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₁ + y₁.w₁
v₄ hat Einschränkung y₂.w₂ + y₂.w₁
t₁ hat Einschränkung y₁².v₁
t₂ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₁
t₃ hat Einschränkung y₁.y₃.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².y₂.w₂
t₅ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁
t₆ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁².v₂
t₈ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².y₂.w₂
r₁ hat Einschränkung v₁²
r₂ hat Einschränkung v₂² + v₁²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₁².w₂.v₁
q₂ hat Einschränkung y₁².w₂.v₂
q₃ hat Einschränkung y₂.v₂² + y₁.v₁² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₄ hat Einschränkung y₂.v₂² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₅ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.y₂.w₂.v₂ + y₁².w₂.v₁
o₁ hat Einschränkung y₁².y₂.v₂² + y₁².y₂.v₁.v₂
o₂ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₂²

Einschränkung auf maximale Untergruppe Nr. 2, isomorph zu 32gp32

y₁ hat Einschränkung y₁
y₂ hat Einschränkung 0
y₃ hat Einschränkung y₃ + y₁
y₄ hat Einschränkung y₃ + y₂ + y₁
v₁ hat Einschränkung y₁.w₂
v₂ hat Einschränkung y₁.w₁
v₃ hat Einschränkung y₂.w₂
v₄ hat Einschränkung y₂.w₁ + y₁.w₁
t₁ hat Einschränkung y₁².v₁
t₂ hat Einschränkung y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².v₁
t₃ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₁ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁².v₂ + y₁².v₁
t₅ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁².v₁ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₂ + y₁².v₁
t₈ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁².v₂
r₁ hat Einschränkung v₂²
r₂ hat Einschränkung v₁²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.v₁² + y₁².w₂.v₁
q₂ hat Einschränkung y₁².w₂.v₂
q₃ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₄ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁².w₂.v₂ + y₁².w₂.v₁
q₅ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₂² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 3, isomorph zu 32gp32

y₁ hat Einschränkung y₁
y₂ hat Einschränkung y₁
y₃ hat Einschränkung y₃ + y₁
y₄ hat Einschränkung y₂ + y₁
v₁ hat Einschränkung y₁.w₂
v₂ hat Einschränkung y₁.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₂ + y₁.w₁
v₄ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₁
t₁ hat Einschränkung y₁².v₁
t₂ hat Einschränkung y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².y₂.w₂
t₃ hat Einschränkung y₁.y₃.v₁ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₂ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₅ hat Einschränkung y₂.y₃.v₂ + y₁.y₂.v₂ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
t₇ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁
t₈ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₁ + y₁².y₂.w₂
r₁ hat Einschränkung v₂²
r₂ hat Einschränkung v₂² + v₁²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₁.v₁² + y₁².w₂.v₁
q₂ hat Einschränkung y₁².w₂.v₂ + y₁².w₂.v₁
q₃ hat Einschränkung y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁
q₄ hat Einschränkung y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁
q₅ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₁² + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 4, isomorph zu 32gp32

y₁ hat Einschränkung y₂ + y₁
y₂ hat Einschränkung y₃ + y₂ + y₁
y₃ hat Einschränkung 0
y₄ hat Einschränkung y₂
v₁ hat Einschränkung y₂.w₁ + y₁.w₁
v₂ hat Einschränkung y₂.w₂ + y₁.w₂
v₃ hat Einschränkung y₂.w₂ + y₂.w₁
v₄ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂
t₁ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂
t₃ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².y₂.w₂
t₅ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁
t₈ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁
r₁ hat Einschränkung v₂²
r₂ hat Einschränkung v₂² + v₁²
q₁ hat Einschränkung y₂.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₃ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₄ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₅ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₁.v₁² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₂² + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 5, isomorph zu 32gp32

y₁ hat Einschränkung y₃
y₂ hat Einschränkung y₃ + y₂
y₃ hat Einschränkung y₃
y₄ hat Einschränkung y₂ + y₁
v₁ hat Einschränkung y₂.w₁ + y₁.w₂ + y₁.w₁
v₂ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂
v₃ hat Einschränkung y₂.w₂ + y₂.w₁
v₄ hat Einschränkung y₂.w₁ + y₁.w₂
t₁ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁
t₂ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
t₃ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₂.v₁ + y₁².v₁
t₅ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₁
t₈ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁
r₁ hat Einschränkung v₂² + v₁²
r₂ hat Einschränkung v₂²
q₁ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂
q₂ hat Einschränkung y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁
q₃ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂
q₄ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁
q₅ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.v₁² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₆ hat Einschränkung y₃.v₂² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₂²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁.v₂

Einschränkung auf maximale Untergruppe Nr. 6, isomorph zu 32gp32

y₁ hat Einschränkung y₂
y₂ hat Einschränkung y₃ + y₁
y₃ hat Einschränkung y₃ + y₁
y₄ hat Einschränkung y₃
v₁ hat Einschränkung y₂.w₁
v₂ hat Einschränkung y₂.w₂ + y₂.w₁
v₃ hat Einschränkung y₁.w₂ + y₁.w₁
v₄ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂
t₁ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁
t₃ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁².v₂
t₄ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₁ + y₁².v₂
t₅ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
t₆ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁
t₇ hat Einschränkung y₁.y₃.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
t₈ hat Einschränkung y₂.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
r₁ hat Einschränkung v₂²
r₂ hat Einschränkung v₁²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₃ hat Einschränkung y₃.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₄ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₅ hat Einschränkung y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁² + y₁².y₂.v₂² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 7, isomorph zu 32gp32

y₁ hat Einschränkung y₃
y₂ hat Einschränkung y₂
y₃ hat Einschränkung y₃ + y₂
y₄ hat Einschränkung y₁
v₁ hat Einschränkung y₂.w₁ + y₁.w₂ + y₁.w₁
v₂ hat Einschränkung y₂.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₁ + y₁.w₁
v₄ hat Einschränkung y₁.w₂ + y₁.w₁
t₁ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
t₃ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂
t₄ hat Einschränkung y₁.y₂.v₁ + y₁².v₂
t₅ hat Einschränkung y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².v₁
t₆ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁
t₇ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₈ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
r₁ hat Einschränkung v₂² + v₁²
r₂ hat Einschränkung v₁²
q₁ hat Einschränkung y₃.v₁² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂
q₂ hat Einschränkung y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁
q₃ hat Einschränkung y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁
q₄ hat Einschränkung y₃.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₁.v₂
q₅ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 8, isomorph zu 32gp32

y₁ hat Einschränkung y₃ + y₂
y₂ hat Einschränkung y₃
y₃ hat Einschränkung y₂ + y₁
y₄ hat Einschränkung 0
v₁ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂
v₂ hat Einschränkung y₂.w₁ + y₁.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂ + y₁.w₁
v₄ hat Einschränkung y₁.w₂
t₁ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁
t₃ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₂ + y₁².v₁
t₄ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₅ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₁
t₆ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁².v₂ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂
t₈ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².y₂.w₂
r₁ hat Einschränkung v₂²
r₂ hat Einschränkung v₂² + v₁²
q₁ hat Einschränkung y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂
q₂ hat Einschränkung y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁
q₃ hat Einschränkung y₃.v₂² + y₁.y₂.w₁.v₂ + y₁².w₂.v₂ + y₁².w₂.v₁
q₄ hat Einschränkung y₃.v₂² + y₂.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₅ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 9, isomorph zu 32gp32

y₁ hat Einschränkung y₂
y₂ hat Einschränkung y₃
y₃ hat Einschränkung y₁
y₄ hat Einschränkung y₂
v₁ hat Einschränkung y₂.w₂ + y₁.w₁
v₂ hat Einschränkung y₂.w₁ + y₁.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₁
v₄ hat Einschränkung y₂.w₂ + y₂.w₁
t₁ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁².y₂.w₂
t₃ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².y₂.w₂
t₅ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁
t₆ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².y₂.w₂
t₈ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁
r₁ hat Einschränkung v₁²
r₂ hat Einschränkung v₂² + v₁²
q₁ hat Einschränkung y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂
q₂ hat Einschränkung y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁
q₃ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₄ hat Einschränkung y₃.v₂² + y₃.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₅ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₁.v₁² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂
o₁ hat Einschränkung y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁²

Einschränkung auf maximale Untergruppe Nr. 10, isomorph zu 32gp32

y₁ hat Einschränkung y₃ + y₂ + y₁
y₂ hat Einschränkung y₂ + y₁
y₃ hat Einschränkung y₂
y₄ hat Einschränkung y₂ + y₁
v₁ hat Einschränkung y₂.w₂ + y₁.w₂
v₂ hat Einschränkung y₂.w₁ + y₁.w₁
v₃ hat Einschränkung y₁.w₁
v₄ hat Einschränkung y₂.w₁ + y₁.w₂
t₁ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁
t₂ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².v₂
t₃ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁².v₂
t₅ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₆ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
t₈ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
r₁ hat Einschränkung v₂² + v₁²
r₂ hat Einschränkung v₂²
q₁ hat Einschränkung y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₂
q₃ hat Einschränkung y₂.v₂² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂
q₄ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁
q₅ hat Einschränkung y₁.v₂² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.y₂.w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁.v₂

Einschränkung auf maximale Untergruppe Nr. 11, isomorph zu 32gp32

y₁ hat Einschränkung y₃ + y₁
y₂ hat Einschränkung y₂
y₃ hat Einschränkung y₃
y₄ hat Einschränkung y₃ + y₂ + y₁
v₁ hat Einschränkung y₂.w₂ + y₂.w₁
v₂ hat Einschränkung y₂.w₁
v₃ hat Einschränkung y₂.w₁ + y₁.w₂
v₄ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂ + y₁.w₁
t₁ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁².y₂.w₂
t₃ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
t₄ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².y₂.w₂
t₅ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁
t₈ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁
r₁ hat Einschränkung v₁²
r₂ hat Einschränkung v₂²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₃ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₄ hat Einschränkung y₂.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁².w₂.v₂ + y₁².w₂.v₁
q₅ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
o₁ hat Einschränkung y₁².y₂.v₁.v₂
o₂ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂

Einschränkung auf maximale Untergruppe Nr. 12, isomorph zu 32gp32

y₁ hat Einschränkung y₃
y₂ hat Einschränkung y₃ + y₂ + y₁
y₃ hat Einschränkung y₃ + y₂
y₄ hat Einschränkung y₃ + y₂
v₁ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂ + y₁.w₁
v₂ hat Einschränkung y₂.w₂ + y₁.w₂
v₃ hat Einschränkung y₁.w₂
v₄ hat Einschränkung y₂.w₂ + y₁.w₂ + y₁.w₁
t₁ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₂.v₁ + y₁².y₂.w₂
t₃ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁².v₂ + y₁².v₁
t₄ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁².v₁
t₅ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁
t₆ hat Einschränkung y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².v₂
t₇ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁².v₂ + y₁².y₂.w₂
t₈ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₁
r₁ hat Einschränkung v₁²
r₂ hat Einschränkung v₂² + v₁²
q₁ hat Einschränkung y₃.v₂² + y₂.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₂
q₃ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁².w₂.v₁
q₄ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁².w₂.v₂
q₅ hat Einschränkung y₁.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁² + y₁².y₂.v₂² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₂²

Einschränkung auf maximale Untergruppe Nr. 13, isomorph zu 32gp32

y₁ hat Einschränkung y₃ + y₂ + y₁
y₂ hat Einschränkung y₃
y₃ hat Einschränkung y₁
y₄ hat Einschränkung y₃ + y₂
v₁ hat Einschränkung y₂.w₂ + y₁.w₂
v₂ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₁
v₄ hat Einschränkung y₂.w₁ + y₁.w₂ + y₁.w₁
t₁ hat Einschränkung y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁
t₂ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁².v₁
t₃ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₁
t₄ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₅ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₂.v₁ + y₁².v₁
t₆ hat Einschränkung y₂.y₃.v₁
t₇ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₈ hat Einschränkung y₂.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
r₁ hat Einschränkung v₂² + v₁²
r₂ hat Einschränkung v₁²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₃ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.y₂.w₂.v₁ + y₁².w₂.v₂
q₄ hat Einschränkung y₃.v₁² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁².w₂.v₁
q₅ hat Einschränkung y₃.v₁² + y₂.v₂² + y₁.v₁² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₆ hat Einschränkung y₁.v₁² + y₁.y₂.w₂.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₂²
o₂ hat Einschränkung y₁².y₂.v₂² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 14, isomorph zu 32gp32

y₁ hat Einschränkung y₃ + y₂
y₂ hat Einschränkung y₂ + y₁
y₃ hat Einschränkung y₃ + y₂ + y₁
y₄ hat Einschränkung y₃
v₁ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₁
v₂ hat Einschränkung y₂.w₂ + y₁.w₂ + y₁.w₁
v₃ hat Einschränkung y₂.w₂ + y₁.w₂
v₄ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₂
t₁ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₂ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².v₁
t₃ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁².v₂
t₄ hat Einschränkung y₂.y₃.v₁ + y₁.y₃.v₁ + y₁².v₂ + y₁².v₁
t₅ hat Einschränkung y₂.y₃.v₁ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁
t₇ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₁ + y₁².y₂.w₂
t₈ hat Einschränkung y₂.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
r₁ hat Einschränkung v₂²
r₂ hat Einschränkung v₁²
q₁ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₁² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₂ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₃ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₂² + y₁.v₂² + y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₄ hat Einschränkung y₂.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₅ hat Einschränkung y₃.v₂² + y₂.v₂² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₂² + y₂.v₁² + y₁.v₂² + y₁.y₂.w₁.v₂ + y₁².w₂.v₂
o₁ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁².y₂.v₂² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²

Einschränkung auf maximale Untergruppe Nr. 15, isomorph zu 32gp32

y₁ hat Einschränkung y₂ + y₁
y₂ hat Einschränkung y₃ + y₂
y₃ hat Einschränkung y₃
y₄ hat Einschränkung y₁
v₁ hat Einschränkung y₂.w₂ + y₁.w₂ + y₁.w₁
v₂ hat Einschränkung y₂.w₂ + y₂.w₁ + y₁.w₁
v₃ hat Einschränkung y₂.w₂
v₄ hat Einschränkung y₁.w₁
t₁ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
t₂ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁
t₃ hat Einschränkung y₂.y₃.v₂ + y₂.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₄ hat Einschränkung y₁.y₃.v₁ + y₁².v₁
t₅ hat Einschränkung y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₆ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₃.v₁ + y₁.y₂.v₁ + y₁².y₂.w₂
t₇ hat Einschränkung y₂.y₃.v₂ + y₁.y₃.v₂ + y₁.y₂.v₂ + y₁.y₂.v₁ + y₁².v₂ + y₁².v₁ + y₁².y₂.w₂
t₈ hat Einschränkung y₁.y₃.v₂ + y₁.y₂.v₂ + y₁².v₂ + y₁².y₂.w₂
r₁ hat Einschränkung v₁²
r₂ hat Einschränkung v₂²
q₁ hat Einschränkung y₃.v₂² + y₁.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁².w₂.v₂ + y₁².w₂.v₁
q₂ hat Einschränkung y₁.y₂.w₂.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂
q₃ hat Einschränkung y₃.v₁² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
q₄ hat Einschränkung y₃.v₂² + y₂.v₁² + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₅ hat Einschränkung y₃.v₂² + y₃.v₁² + y₂.v₁² + y₁.v₂² + y₁.v₁² + y₁.y₂.w₁.v₁ + y₁².w₂.v₂ + y₁².w₂.v₁
q₆ hat Einschränkung y₃.v₁² + y₂.v₂² + y₂.v₁² + y₁.y₂.w₂.v₂ + y₁.y₂.w₂.v₁ + y₁.y₂.w₁.v₂ + y₁.y₂.w₁.v₁ + y₁².w₂.v₁
o₁ hat Einschränkung y₁.y₂.y₃.v₂² + y₁².y₂.v₁.v₂ + y₁².y₂.v₁²
o₂ hat Einschränkung y₁.y₂.y₃.v₂² + y₁.y₂.y₃.v₁.v₂ + y₁.y₂.y₃.v₁² + y₁².y₂.v₁.v₂

Einschränkungen auf maximale elementar-abelsche Untergruppen

Einschränkung auf maximale elementar-abelsche Untergruppe Nr. 1, isomorph zu V4

y₁ hat Einschränkung 0
y₂ hat Einschränkung 0
y₃ hat Einschränkung 0
y₄ hat Einschränkung 0
v₁ hat Einschränkung 0
v₂ hat Einschränkung 0
v₃ hat Einschränkung 0
v₄ hat Einschränkung 0
t₁ hat Einschränkung 0
t₂ hat Einschränkung 0
t₃ hat Einschränkung 0
t₄ hat Einschränkung 0
t₅ hat Einschränkung 0
t₆ hat Einschränkung 0
t₇ hat Einschränkung 0
t₈ hat Einschränkung 0
r₁ hat Einschränkung y₁⁸
r₂ hat Einschränkung y₂⁸
q₁ hat Einschränkung 0
q₂ hat Einschränkung 0
q₃ hat Einschränkung 0
q₄ hat Einschränkung 0
q₅ hat Einschränkung 0
q₆ hat Einschränkung 0
o₁ hat Einschränkung 0
o₂ hat Einschränkung 0

Einschränkung auf die größte zentrale elementar-abelsche Untergruppe

Einschränkung auf der größten zentralen elementar-abelschen Untergruppe, isomorph zu V4

y₁ hat Einschränkung 0
y₂ hat Einschränkung 0
y₃ hat Einschränkung 0
y₄ hat Einschränkung 0
v₁ hat Einschränkung 0
v₂ hat Einschränkung 0
v₃ hat Einschränkung 0
v₄ hat Einschränkung 0
t₁ hat Einschränkung 0
t₂ hat Einschränkung 0
t₃ hat Einschränkung 0
t₄ hat Einschränkung 0
t₅ hat Einschränkung 0
t₆ hat Einschränkung 0
t₇ hat Einschränkung 0
t₈ hat Einschränkung 0
r₁ hat Einschränkung y₂⁸ + y₁⁸
r₂ hat Einschränkung y₁⁸
q₁ hat Einschränkung 0
q₂ hat Einschränkung 0
q₃ hat Einschränkung 0
q₄ hat Einschränkung 0
q₅ hat Einschränkung 0
q₆ hat Einschränkung 0
o₁ hat Einschränkung 0
o₂ hat Einschränkung 0

Poincaré-Reihe

(1 + 4t + 8t² + 10t³ + 12t⁴ + 13t⁵ + 16t⁶ + 20t⁷ + 16t⁸ + 13t⁹ + 12t¹⁰ + 10t¹¹ + 8t¹² + 4t¹³ + t¹⁴) / (1 - t⁸)²

Zurück zu den Gruppen der Ordnung 64