Mathematische Exkursionen	FAQIR	Formelsprache für A über Q zur Implementierung auf Rechnern

	Die Berechnung von a • b • c 1 u u² j uj u²j j² uj² u²j² a0 a1 a2 a3 a4 a5 a6 a7 a8 b0 b1 b2 b3 b4 b5 b6 b7 b8 c0 c1 c2 c3 c4 c5 c6 c7 c8 +1 a0 b0 c0 +1 a0 b1 c2 +1 a0 b2 c1 -1 a0 b2 c2 +1 γ a0 b3 c6 -2 γ a0 b3 c7 +3 γ a0 b3 c8 +1 γ a0 b4 c7 -1 γ a0 b4 c8 -1 γ a0 b5 c7 +1 γ a0 b6 c3 +1 γ a0 b6 c4 +2 γ a0 b6 c5 -1 γ a0 b7 c4 +1 γ a0 b8 c5 +1 a1 b0 c2 +1 a1 b1 c1 -1 a1 b1 c2 +1 a1 b2 c0 -1 a1 b2 c1 +3 a1 b2 c2 +1 γ a1 b3 c7 -1 γ a1 b3 c8 -1 γ a1 b4 c7 +1 γ a1 b5 c6 +1 γ a1 b5 c7 +1 γ a1 b5 c8 -1 γ a1 b6 c4 +1 γ a1 b7 c5 +1 γ a1 b8 c3 -1 γ a1 b8 c4 +1 γ a1 b8 c5 +1 a2 b0 c1 +1 a2 b1 c0 +3 a2 b1 c2 +3 a2 b2 c1 -4 a2 b2 c2 +1 γ a2 b4 c6 +1 γ a2 b4 c8 -2 γ a2 b5 c7 -2 γ a2 b5 c8 +1 γ a2 b6 c5 +1 γ a2 b7 c3 -1 γ a2 b7 c4 +1 γ a2 b7 c5 +1 γ a2 b8 c5 -1 a2 b0 c2 -1 a2 b1 c1 -1 a2 b2 c0 -1 γ a2 b3 c7 +1 γ a2 b4 c7 -1 γ a2 b5 c6 -1 γ a2 b8 c3 +1 γ a3 b0 c6 -6 γ a3 b1 c8 -6 γ a3 b2 c7 +10 γ a3 b2 c8 +1 γ a3 b3 c3 +1 γ a3 b3 c4 +2 γ a3 b3 c5 -2 γ a3 b4 c4 -3 γ a3 b4 c5 +4 γ a3 b5 c4 +1 γ a3 b6 c0 +1 γ a3 b7 c1 -2 γ a3 b0 c7 -2 γ a3 b1 c6 -2 γ a3 b4 c3 +5 γ a3 b5 c5 -2 γ a3 b7 c0 -1 γ a3 b7 c2 -1 γ a3 b8 c1 +3 γ a3 b0 c8 +3 γ a3 b1 c7 +3 γ a3 b2 c6 +3 γ a3 b5 c3 +3 γ a3 b8 c0 +1 γ a4 b0 c7 +1 γ a4 b1 c6 +3 γ a4 b1 c8 +3 γ a4 b2 c7 -4 γ a4 b2 c8 +1 γ a4 b4 c3 +1 γ a4 b4 c5 -2 γ a4 b5 c4 -2 γ a4 b5 c5 +1 γ a4 b6 c2 +1 γ a4 b7 c0 -1 γ a4 b7 c1 +1 γ a4 b7 c2 +1 γ a4 b8 c2 -1 γ a4 b0 c8 -1 γ a4 b1 c7 -1 γ a4 b2 c6 -1 γ a4 b3 c4 +1 γ a4 b4 c4 -1 γ a4 b5 c3 -1 γ a4 b8 c0 -1 γ a5 b0 c7 -1 γ a5 b1 c6 -2 γ a5 b1 c8 -2 γ a5 b2 c7 +1 γ a5 b2 c8 +1 γ a5 b3 c5 -1 γ a5 b4 c3 -1 γ a5 b4 c5 +1 γ a5 b5 c4 +1 γ a5 b5 c5 +1 γ a5 b6 c1 -1 γ a5 b6 c2 -1 γ a5 b7 c0 +1 γ a5 b7 c1 -2 γ a5 b7 c2 +1 γ a5 b8 c1 -2 γ a5 b8 c2 +1 γ a6 b0 c3 +1 γ a6 b1 c5 +1 γ a6 b2 c4 +4 γ a6 b2 c5 +1 γ a6 b3 c0 -1 γ a6 b4 c1 +1 γγ a6 b6 c6 +3 γγ a6 b6 c8 -2 γγ a6 b7 c7 +5 γγ a6 b8 c8 +1 γ a6 b0 c4 +1 γ a6 b1 c3 +1 γ a6 b4 c0 +1 γ a6 b5 c2 +1 γγ a6 b7 c6 +4 γγ a6 b7 c8 -3 γγ a6 b8 c7 +2 γ a6 b0 c5 +2 γ a6 b1 c4 +2 γ a6 b2 c3 +2 γ a6 b5 c0 -2 γγ a6 b6 c7 +2 γγ a6 b8 c6 -1 γ a7 b0 c4 -1 γ a7 b1 c3 -2 γ a7 b1 c5 -2 γ a7 b2 c4 +1 γ a7 b2 c5 +1 γ a7 b3 c2 -1 γ a7 b4 c0 -1 γ a7 b4 c2 +1 γ a7 b5 c1 +1 γ a7 b5 c2 +1 γγ a7 b6 c7 -1 γγ a7 b6 c8 -1 γγ a7 b7 c6 +1 γγ a7 b7 c7 -2 γγ a7 b7 c8 +1 γγ a7 b8 c7 -2 γγ a7 b8 c8 +1 γ a8 b0 c5 +1 γ a8 b1 c4 -1 γ a8 b1 c5 +1 γ a8 b2 c3 -1 γ a8 b2 c4 +3 γ a8 b2 c5 +1 γ a8 b3 c1 -1 γ a8 b3 c2 -1 γ a8 b4 c1 +1 γ a8 b5 c0 +1 γ a8 b5 c1 +1 γ a8 b5 c2 -1 γγ a8 b6 c7 +1 γγ a8 b7 c8 +1 γγ a8 b8 c6 -1 γγ a8 b8 c7 +1 γγ a8 b8 c8 +1 a0 b0 c1 +1 a0 b1 c0 +2 a0 b1 c2 +2 a0 b2 c1 -1 a0 b2 c2 -1 γ a0 b3 c8 +1 γ a0 b4 c6 +1 γ a0 b4 c8 -1 γ a0 b5 c7 -1 γ a0 b5 c8 -1 γ a0 b6 c4 +1 γ a0 b6 c5 +1 γ a0 b7 c3 -1 γ a0 b7 c4 +2 γ a0 b7 c5 -1 γ a0 b8 c4 +2 γ a0 b8 c5 +1 a1 b0 c0 -1 a1 b1 c2 -1 a1 b2 c1 +5 a1 b2 c2 +1 γ a1 b3 c6 +1 γ a1 b3 c8 -1 γ a1 b4 c7 -1 γ a1 b4 c8 +1 γ a1 b5 c7 +1 γ a1 b6 c3 -1 γ a1 b6 c4 +2 γ a1 b6 c5 -1 γ a1 b7 c4 +3 γ a1 b8 c5 +2 a1 b0 c2 +2 a1 b1 c1 +2 a1 b2 c0 +2 γ a1 b5 c6 +2 γ a1 b5 c8 +2 γ a1 b7 c5 +2 γ a1 b8 c3 -2 γ a1 b8 c4 +2 a2 b0 c1 +2 a2 b1 c0 +5 a2 b1 c2 +5 a2 b2 c1 -5 a2 b2 c2 -1 γ a2 b3 c8 +2 γ a2 b4 c6 +2 γ a2 b4 c8 -3 γ a2 b5 c7 -3 γ a2 b5 c8 -1 γ a2 b6 c4 +2 γ a2 b6 c5 +2 γ a2 b7 c3 -2 γ a2 b7 c4 +3 γ a2 b7 c5 -1 γ a2 b8 c4 +3 γ a2 b8 c5 -1 a2 b0 c2 -1 a2 b1 c1 -1 a2 b2 c0 -1 γ a2 b3 c7 +1 γ a2 b4 c7 -1 γ a2 b5 c6 -1 γ a2 b8 c3 -1 γ a3 b0 c8 -1 γ a3 b1 c7 +1 γ a3 b1 c8 -1 γ a3 b2 c6 +1 γ a3 b2 c7 -3 γ a3 b2 c8 -1 γ a3 b3 c4 +1 γ a3 b3 c5 +1 γ a3 b4 c4 -1 γ a3 b5 c3 -1 γ a3 b5 c4 -1 γ a3 b5 c5 +1 γ a3 b6 c1 -1 γ a3 b7 c2 -1 γ a3 b8 c0 +1 γ a3 b8 c1 -1 γ a3 b8 c2 +1 γ a4 b0 c6 +2 γ a4 b2 c8 +1 γ a4 b3 c3 -1 γ a4 b3 c4 +2 γ a4 b3 c5 -1 γ a4 b4 c5 +1 γ a4 b6 c0 +2 γ a4 b6 c2 -1 γ a4 b7 c1 +2 γ a4 b8 c2 +1 γ a4 b0 c8 +1 γ a4 b1 c7 +1 γ a4 b2 c6 +1 γ a4 b5 c3 +1 γ a4 b5 c5 +1 γ a4 b7 c2 +1 γ a4 b8 c0 -1 γ a4 b8 c1 -1 γ a5 b0 c7 -1 γ a5 b1 c6 -1 γ a5 b1 c8 -1 γ a5 b2 c7 -2 γ a5 b2 c8 +2 γ a5 b3 c5 -1 γ a5 b4 c3 -1 γ a5 b4 c5 +2 γ a5 b6 c1 -1 γ a5 b6 c2 -1 γ a5 b7 c0 +1 γ a5 b7 c1 -3 γ a5 b7 c2 +2 γ a5 b8 c1 -3 γ a5 b8 c2 -1 γ a5 b0 c8 -1 γ a5 b1 c7 -1 γ a5 b2 c6 -1 γ a5 b3 c4 +1 γ a5 b4 c4 -1 γ a5 b5 c3 -1 γ a5 b8 c0 -1 γ a6 b0 c4 -1 γ a6 b1 c3 -3 γ a6 b1 c5 -3 γ a6 b2 c4 +4 γ a6 b2 c5 -1 γ a6 b4 c0 -1 γ a6 b4 c2 +2 γ a6 b5 c1 +2 γ a6 b5 c2 -1 γγ a6 b6 c8 -1 γγ a6 b7 c6 +1 γγ a6 b7 c7 -1 γγ a6 b7 c8 -1 γγ a6 b8 c8 +1 γ a6 b0 c5 +1 γ a6 b1 c4 +1 γ a6 b2 c3 +1 γ a6 b3 c1 -1 γ a6 b4 c1 +1 γ a6 b5 c0 +1 γγ a6 b8 c6 +1 γ a7 b0 c3 -3 γ a7 b1 c5 -3 γ a7 b2 c4 +1 γ a7 b3 c0 +2 γ a7 b3 c2 -1 γ a7 b4 c1 -2 γ a7 b4 c2 +1 γγ a7 b6 c6 +1 γγ a7 b6 c8 +1 γγ a7 b8 c8 -1 γ a7 b0 c4 -1 γ a7 b1 c3 -1 γ a7 b4 c0 +3 γ a7 b5 c2 -1 γγ a7 b7 c6 -1 γγ a7 b8 c7 +2 γ a7 b0 c5 +2 γ a7 b1 c4 +2 γ a7 b2 c3 +6 γ a7 b2 c5 +2 γ a7 b5 c0 +2 γ a7 b5 c1 +2 γγ a7 b8 c6 -1 γ a8 b0 c4 -1 γ a8 b1 c3 -4 γ a8 b1 c5 -4 γ a8 b2 c4 +7 γ a8 b2 c5 -1 γ a8 b3 c2 -1 γ a8 b4 c0 -1 γ a8 b4 c2 +3 γ a8 b5 c1 +3 γ a8 b5 c2 -1 γγ a8 b6 c7 -1 γγ a8 b6 c8 -1 γγ a8 b7 c6 +1 γγ a8 b7 c7 -1 γγ a8 b8 c7 +2 γ a8 b0 c5 +2 γ a8 b1 c4 +2 γ a8 b2 c3 +2 γ a8 b3 c1 -2 γ a8 b4 c1 +2 γ a8 b5 c0 +2 γγ a8 b8 c6 +1 a0 b0 c2 +1 a0 b1 c1 -1 a0 b1 c2 +1 a0 b2 c0 -1 a0 b2 c1 +3 a0 b2 c2 +1 γ a0 b3 c7 -1 γ a0 b3 c8 -1 γ a0 b4 c7 +1 γ a0 b5 c6 +1 γ a0 b5 c7 +1 γ a0 b5 c8 -1 γ a0 b6 c4 +1 γ a0 b7 c5 +1 γ a0 b8 c3 -1 γ a0 b8 c4 +1 γ a0 b8 c5 +1 a1 b0 c1 +1 a1 b1 c0 +3 a1 b1 c2 +3 a1 b2 c1 -4 a1 b2 c2 +1 γ a1 b4 c6 +1 γ a1 b4 c8 -2 γ a1 b5 c7 -2 γ a1 b5 c8 +1 γ a1 b6 c5 +1 γ a1 b7 c3 -1 γ a1 b7 c4 +1 γ a1 b7 c5 +1 γ a1 b8 c5 -1 a1 b0 c2 -1 a1 b1 c1 -1 a1 b2 c0 -1 γ a1 b3 c7 +1 γ a1 b4 c7 -1 γ a1 b5 c6 -1 γ a1 b8 c3 +1 a2 b0 c0 -4 a2 b1 c2 -4 a2 b2 c1 +1 γ a2 b3 c6 +1 γ a2 b3 c7 +1 γ a2 b3 c8 -2 γ a2 b4 c7 -2 γ a2 b4 c8 +1 γ a2 b6 c3 -1 γ a2 b6 c4 +1 γ a2 b6 c5 +2 γ a2 b8 c5 -1 a2 b0 c1 -1 a2 b1 c0 -1 γ a2 b4 c6 +4 γ a2 b5 c8 -1 γ a2 b7 c3 +1 γ a2 b7 c5 -2 γ a2 b8 c4 +3 a2 b0 c2 +3 a2 b1 c1 +3 a2 b2 c0 +9 a2 b2 c2 +3 γ a2 b5 c6 +3 γ a2 b5 c7 +3 γ a2 b8 c3 +1 γ a3 b0 c7 +1 γ a3 b1 c6 +3 γ a3 b1 c8 +3 γ a3 b2 c7 -4 γ a3 b2 c8 +1 γ a3 b4 c3 +1 γ a3 b4 c5 -2 γ a3 b5 c4 -2 γ a3 b5 c5 +1 γ a3 b6 c2 +1 γ a3 b7 c0 -1 γ a3 b7 c1 +1 γ a3 b7 c2 +1 γ a3 b8 c2 -1 γ a3 b0 c8 -1 γ a3 b1 c7 -1 γ a3 b2 c6 -1 γ a3 b3 c4 +1 γ a3 b4 c4 -1 γ a3 b5 c3 -1 γ a3 b8 c0 -1 γ a4 b0 c7 -1 γ a4 b1 c6 -2 γ a4 b1 c8 -2 γ a4 b2 c7 +1 γ a4 b2 c8 +1 γ a4 b3 c5 -1 γ a4 b4 c3 -1 γ a4 b4 c5 +1 γ a4 b5 c4 +1 γ a4 b5 c5 +1 γ a4 b6 c1 -1 γ a4 b6 c2 -1 γ a4 b7 c0 +1 γ a4 b7 c1 -2 γ a4 b7 c2 +1 γ a4 b8 c1 -2 γ a4 b8 c2 +1 γ a5 b0 c6 +2 γ a5 b1 c8 +2 γ a5 b2 c7 +1 γ a5 b2 c8 +1 γ a5 b3 c3 -1 γ a5 b3 c4 +1 γ a5 b3 c5 -1 γ a5 b5 c4 +1 γ a5 b6 c0 +3 γ a5 b6 c2 -2 γ a5 b7 c1 +4 γ a5 b8 c2 +1 γ a5 b0 c7 +1 γ a5 b1 c6 +1 γ a5 b4 c3 +1 γ a5 b7 c0 +3 γ a5 b7 c2 -2 γ a5 b8 c1 +1 γ a5 b0 c8 +1 γ a5 b1 c7 +1 γ a5 b2 c6 +1 γ a5 b5 c3 -1 γ a5 b6 c1 +1 γ a5 b8 c0 -1 γ a6 b0 c4 -1 γ a6 b1 c3 -2 γ a6 b1 c5 -2 γ a6 b2 c4 +1 γ a6 b2 c5 +1 γ a6 b3 c2 -1 γ a6 b4 c0 -1 γ a6 b4 c2 +1 γ a6 b5 c1 +1 γ a6 b5 c2 +1 γγ a6 b6 c7 -1 γγ a6 b6 c8 -1 γγ a6 b7 c6 +1 γγ a6 b7 c7 -2 γγ a6 b7 c8 +1 γγ a6 b8 c7 -2 γγ a6 b8 c8 +1 γ a7 b0 c5 +1 γ a7 b1 c4 -1 γ a7 b1 c5 +1 γ a7 b2 c3 -1 γ a7 b2 c4 +3 γ a7 b2 c5 +1 γ a7 b3 c1 -1 γ a7 b3 c2 -1 γ a7 b4 c1 +1 γ a7 b5 c0 +1 γ a7 b5 c1 +1 γ a7 b5 c2 -1 γγ a7 b6 c7 +1 γγ a7 b7 c8 +1 γγ a7 b8 c6 -1 γγ a7 b8 c7 +1 γγ a7 b8 c8 +1 γ a8 b0 c3 -2 γ a8 b1 c5 -2 γ a8 b2 c4 +1 γ a8 b3 c0 -1 γ a8 b3 c1 +3 γ a8 b3 c2 -2 γ a8 b4 c2 +1 γγ a8 b6 c6 +1 γγ a8 b6 c7 +1 γγ a8 b6 c8 -1 γ a8 b0 c4 -1 γ a8 b1 c3 -1 γ a8 b4 c0 +2 γ a8 b5 c2 -1 γγ a8 b7 c6 -1 γγ a8 b7 c8 +1 γ a8 b0 c5 +1 γ a8 b1 c4 +1 γ a8 b2 c3 +3 γ a8 b2 c5 +1 γ a8 b5 c0 +1 γ a8 b5 c1 +1 γγ a8 b8 c6 +1 a0 b0 c3 +1 a0 b1 c5 +1 a0 b2 c4 -1 a0 b2 c5 +1 a0 b3 c0 -2 a0 b3 c1 +3 a0 b3 c2 +1 a0 b4 c1 -1 a0 b4 c2 -1 a0 b5 c1 +1 γ a0 b6 c6 +1 γ a0 b6 c7 +2 γ a0 b6 c8 -1 γ a0 b7 c7 +1 γ a0 b8 c8 +1 a1 b0 c5 +1 a1 b1 c4 -1 a1 b1 c5 +1 a1 b2 c3 -1 a1 b2 c4 +3 a1 b2 c5 +1 a1 b3 c1 -1 a1 b3 c2 -1 a1 b4 c1 +1 a1 b5 c0 +1 a1 b5 c1 +1 a1 b5 c2 -1 γ a1 b6 c7 +1 γ a1 b7 c8 +1 γ a1 b8 c6 -1 γ a1 b8 c7 +1 γ a1 b8 c8 +1 a2 b0 c4 +1 a2 b1 c3 +3 a2 b1 c5 +3 a2 b2 c4 -4 a2 b2 c5 +1 a2 b4 c0 +1 a2 b4 c2 -2 a2 b5 c1 -2 a2 b5 c2 +1 γ a2 b6 c8 +1 γ a2 b7 c6 -1 γ a2 b7 c7 +1 γ a2 b7 c8 +1 γ a2 b8 c8 -1 a2 b0 c5 -1 a2 b1 c4 -1 a2 b2 c3 -1 a2 b3 c1 +1 a2 b4 c1 -1 a2 b5 c0 -1 γ a2 b8 c6 +1 a3 b0 c0 -6 a3 b1 c2 -6 a3 b2 c1 +10 a3 b2 c2 +1 γ a3 b3 c6 +1 γ a3 b3 c7 +2 γ a3 b3 c8 -2 γ a3 b4 c7 -3 γ a3 b4 c8 +4 γ a3 b5 c7 +1 γ a3 b6 c3 +1 γ a3 b7 c4 -2 a3 b0 c1 -2 a3 b1 c0 -2 γ a3 b4 c6 +5 γ a3 b5 c8 -2 γ a3 b7 c3 -1 γ a3 b7 c5 -1 γ a3 b8 c4 +3 a3 b0 c2 +3 a3 b1 c1 +3 a3 b2 c0 +3 γ a3 b5 c6 +3 γ a3 b8 c3 +1 a4 b0 c1 +1 a4 b1 c0 +3 a4 b1 c2 +3 a4 b2 c1 -4 a4 b2 c2 +1 γ a4 b4 c6 +1 γ a4 b4 c8 -2 γ a4 b5 c7 -2 γ a4 b5 c8 +1 γ a4 b6 c5 +1 γ a4 b7 c3 -1 γ a4 b7 c4 +1 γ a4 b7 c5 +1 γ a4 b8 c5 -1 a4 b0 c2 -1 a4 b1 c1 -1 a4 b2 c0 -1 γ a4 b3 c7 +1 γ a4 b4 c7 -1 γ a4 b5 c6 -1 γ a4 b8 c3 -1 a5 b0 c1 -1 a5 b1 c0 -2 a5 b1 c2 -2 a5 b2 c1 +1 a5 b2 c2 +1 γ a5 b3 c8 -1 γ a5 b4 c6 -1 γ a5 b4 c8 +1 γ a5 b5 c7 +1 γ a5 b5 c8 +1 γ a5 b6 c4 -1 γ a5 b6 c5 -1 γ a5 b7 c3 +1 γ a5 b7 c4 -2 γ a5 b7 c5 +1 γ a5 b8 c4 -2 γ a5 b8 c5 +1 γ a6 b0 c6 +1 γ a6 b1 c8 +1 γ a6 b2 c7 +4 γ a6 b2 c8 +1 γ a6 b3 c3 -1 γ a6 b4 c4 +1 γ a6 b6 c0 +3 γ a6 b6 c2 -2 γ a6 b7 c1 +5 γ a6 b8 c2 +1 γ a6 b0 c7 +1 γ a6 b1 c6 +1 γ a6 b4 c3 +1 γ a6 b5 c5 +1 γ a6 b7 c0 +4 γ a6 b7 c2 -3 γ a6 b8 c1 +2 γ a6 b0 c8 +2 γ a6 b1 c7 +2 γ a6 b2 c6 +2 γ a6 b5 c3 -2 γ a6 b6 c1 +2 γ a6 b8 c0 -1 γ a7 b0 c7 -1 γ a7 b1 c6 -2 γ a7 b1 c8 -2 γ a7 b2 c7 +1 γ a7 b2 c8 +1 γ a7 b3 c5 -1 γ a7 b4 c3 -1 γ a7 b4 c5 +1 γ a7 b5 c4 +1 γ a7 b5 c5 +1 γ a7 b6 c1 -1 γ a7 b6 c2 -1 γ a7 b7 c0 +1 γ a7 b7 c1 -2 γ a7 b7 c2 +1 γ a7 b8 c1 -2 γ a7 b8 c2 +1 γ a8 b0 c8 +1 γ a8 b1 c7 -1 γ a8 b1 c8 +1 γ a8 b2 c6 -1 γ a8 b2 c7 +3 γ a8 b2 c8 +1 γ a8 b3 c4 -1 γ a8 b3 c5 -1 γ a8 b4 c4 +1 γ a8 b5 c3 +1 γ a8 b5 c4 +1 γ a8 b5 c5 -1 γ a8 b6 c1 +1 γ a8 b7 c2 +1 γ a8 b8 c0 -1 γ a8 b8 c1 +1 γ a8 b8 c2 +1 a0 b0 c4 +1 a0 b1 c3 +2 a0 b1 c5 +2 a0 b2 c4 -1 a0 b2 c5 -1 a0 b3 c2 +1 a0 b4 c0 +1 a0 b4 c2 -1 a0 b5 c1 -1 a0 b5 c2 -1 γ a0 b6 c7 +1 γ a0 b6 c8 +1 γ a0 b7 c6 -1 γ a0 b7 c7 +2 γ a0 b7 c8 -1 γ a0 b8 c7 +2 γ a0 b8 c8 +1 a1 b0 c3 -1 a1 b1 c5 -1 a1 b2 c4 +5 a1 b2 c5 +1 a1 b3 c0 +1 a1 b3 c2 -1 a1 b4 c1 -1 a1 b4 c2 +1 a1 b5 c1 +1 γ a1 b6 c6 -1 γ a1 b6 c7 +2 γ a1 b6 c8 -1 γ a1 b7 c7 +3 γ a1 b8 c8 +2 a1 b0 c5 +2 a1 b1 c4 +2 a1 b2 c3 +2 a1 b5 c0 +2 a1 b5 c2 +2 γ a1 b7 c8 +2 γ a1 b8 c6 -2 γ a1 b8 c7 +2 a2 b0 c4 +2 a2 b1 c3 +5 a2 b1 c5 +5 a2 b2 c4 -5 a2 b2 c5 -1 a2 b3 c2 +2 a2 b4 c0 +2 a2 b4 c2 -3 a2 b5 c1 -3 a2 b5 c2 -1 γ a2 b6 c7 +2 γ a2 b6 c8 +2 γ a2 b7 c6 -2 γ a2 b7 c7 +3 γ a2 b7 c8 -1 γ a2 b8 c7 +3 γ a2 b8 c8 -1 a2 b0 c5 -1 a2 b1 c4 -1 a2 b2 c3 -1 a2 b3 c1 +1 a2 b4 c1 -1 a2 b5 c0 -1 γ a2 b8 c6 -1 a3 b0 c2 -1 a3 b1 c1 +1 a3 b1 c2 -1 a3 b2 c0 +1 a3 b2 c1 -3 a3 b2 c2 -1 γ a3 b3 c7 +1 γ a3 b3 c8 +1 γ a3 b4 c7 -1 γ a3 b5 c6 -1 γ a3 b5 c7 -1 γ a3 b5 c8 +1 γ a3 b6 c4 -1 γ a3 b7 c5 -1 γ a3 b8 c3 +1 γ a3 b8 c4 -1 γ a3 b8 c5 +1 a4 b0 c0 +2 a4 b2 c2 +1 γ a4 b3 c6 -1 γ a4 b3 c7 +2 γ a4 b3 c8 -1 γ a4 b4 c8 +1 γ a4 b6 c3 +2 γ a4 b6 c5 -1 γ a4 b7 c4 +2 γ a4 b8 c5 +1 a4 b0 c2 +1 a4 b1 c1 +1 a4 b2 c0 +1 γ a4 b5 c6 +1 γ a4 b5 c8 +1 γ a4 b7 c5 +1 γ a4 b8 c3 -1 γ a4 b8 c4 -1 a5 b0 c1 -1 a5 b1 c0 -1 a5 b1 c2 -1 a5 b2 c1 -2 a5 b2 c2 +2 γ a5 b3 c8 -1 γ a5 b4 c6 -1 γ a5 b4 c8 +2 γ a5 b6 c4 -1 γ a5 b6 c5 -1 γ a5 b7 c3 +1 γ a5 b7 c4 -3 γ a5 b7 c5 +2 γ a5 b8 c4 -3 γ a5 b8 c5 -1 a5 b0 c2 -1 a5 b1 c1 -1 a5 b2 c0 -1 γ a5 b3 c7 +1 γ a5 b4 c7 -1 γ a5 b5 c6 -1 γ a5 b8 c3 -1 γ a6 b0 c7 -1 γ a6 b1 c6 -3 γ a6 b1 c8 -3 γ a6 b2 c7 +4 γ a6 b2 c8 -1 γ a6 b4 c3 -1 γ a6 b4 c5 +2 γ a6 b5 c4 +2 γ a6 b5 c5 -1 γ a6 b6 c2 -1 γ a6 b7 c0 +1 γ a6 b7 c1 -1 γ a6 b7 c2 -1 γ a6 b8 c2 +1 γ a6 b0 c8 +1 γ a6 b1 c7 +1 γ a6 b2 c6 +1 γ a6 b3 c4 -1 γ a6 b4 c4 +1 γ a6 b5 c3 +1 γ a6 b8 c0 +1 γ a7 b0 c6 -3 γ a7 b1 c8 -3 γ a7 b2 c7 +1 γ a7 b3 c3 +2 γ a7 b3 c5 -1 γ a7 b4 c4 -2 γ a7 b4 c5 +1 γ a7 b6 c0 +1 γ a7 b6 c2 +1 γ a7 b8 c2 -1 γ a7 b0 c7 -1 γ a7 b1 c6 -1 γ a7 b4 c3 +3 γ a7 b5 c5 -1 γ a7 b7 c0 -1 γ a7 b8 c1 +2 γ a7 b0 c8 +2 γ a7 b1 c7 +2 γ a7 b2 c6 +6 γ a7 b2 c8 +2 γ a7 b5 c3 +2 γ a7 b5 c4 +2 γ a7 b8 c0 -1 γ a8 b0 c7 -1 γ a8 b1 c6 -4 γ a8 b1 c8 -4 γ a8 b2 c7 +7 γ a8 b2 c8 -1 γ a8 b3 c5 -1 γ a8 b4 c3 -1 γ a8 b4 c5 +3 γ a8 b5 c4 +3 γ a8 b5 c5 -1 γ a8 b6 c1 -1 γ a8 b6 c2 -1 γ a8 b7 c0 +1 γ a8 b7 c1 -1 γ a8 b8 c1 +2 γ a8 b0 c8 +2 γ a8 b1 c7 +2 γ a8 b2 c6 +2 γ a8 b3 c4 -2 γ a8 b4 c4 +2 γ a8 b5 c3 +2 γ a8 b8 c0 +1 a0 b0 c5 +1 a0 b1 c4 -1 a0 b1 c5 +1 a0 b2 c3 -1 a0 b2 c4 +3 a0 b2 c5 +1 a0 b3 c1 -1 a0 b3 c2 -1 a0 b4 c1 +1 a0 b5 c0 +1 a0 b5 c1 +1 a0 b5 c2 -1 γ a0 b6 c7 +1 γ a0 b7 c8 +1 γ a0 b8 c6 -1 γ a0 b8 c7 +1 γ a0 b8 c8 +1 a1 b0 c4 +1 a1 b1 c3 +3 a1 b1 c5 +3 a1 b2 c4 -4 a1 b2 c5 +1 a1 b4 c0 +1 a1 b4 c2 -2 a1 b5 c1 -2 a1 b5 c2 +1 γ a1 b6 c8 +1 γ a1 b7 c6 -1 γ a1 b7 c7 +1 γ a1 b7 c8 +1 γ a1 b8 c8 -1 a1 b0 c5 -1 a1 b1 c4 -1 a1 b2 c3 -1 a1 b3 c1 +1 a1 b4 c1 -1 a1 b5 c0 -1 γ a1 b8 c6 +1 a2 b0 c3 -4 a2 b1 c5 -4 a2 b2 c4 +1 a2 b3 c0 +1 a2 b3 c1 +1 a2 b3 c2 -2 a2 b4 c1 -2 a2 b4 c2 +1 γ a2 b6 c6 -1 γ a2 b6 c7 +1 γ a2 b6 c8 +2 γ a2 b8 c8 -1 a2 b0 c4 -1 a2 b1 c3 -1 a2 b4 c0 +4 a2 b5 c2 -1 γ a2 b7 c6 +1 γ a2 b7 c8 -2 γ a2 b8 c7 +3 a2 b0 c5 +3 a2 b1 c4 +3 a2 b2 c3 +9 a2 b2 c5 +3 a2 b5 c0 +3 a2 b5 c1 +3 γ a2 b8 c6 +1 a3 b0 c1 +1 a3 b1 c0 +3 a3 b1 c2 +3 a3 b2 c1 -4 a3 b2 c2 +1 γ a3 b4 c6 +1 γ a3 b4 c8 -2 γ a3 b5 c7 -2 γ a3 b5 c8 +1 γ a3 b6 c5 +1 γ a3 b7 c3 -1 γ a3 b7 c4 +1 γ a3 b7 c5 +1 γ a3 b8 c5 -1 a3 b0 c2 -1 a3 b1 c1 -1 a3 b2 c0 -1 γ a3 b3 c7 +1 γ a3 b4 c7 -1 γ a3 b5 c6 -1 γ a3 b8 c3 -1 a4 b0 c1 -1 a4 b1 c0 -2 a4 b1 c2 -2 a4 b2 c1 +1 a4 b2 c2 +1 γ a4 b3 c8 -1 γ a4 b4 c6 -1 γ a4 b4 c8 +1 γ a4 b5 c7 +1 γ a4 b5 c8 +1 γ a4 b6 c4 -1 γ a4 b6 c5 -1 γ a4 b7 c3 +1 γ a4 b7 c4 -2 γ a4 b7 c5 +1 γ a4 b8 c4 -2 γ a4 b8 c5 +1 a5 b0 c0 +2 a5 b1 c2 +2 a5 b2 c1 +1 a5 b2 c2 +1 γ a5 b3 c6 -1 γ a5 b3 c7 +1 γ a5 b3 c8 -1 γ a5 b5 c7 +1 γ a5 b6 c3 +3 γ a5 b6 c5 -2 γ a5 b7 c4 +4 γ a5 b8 c5 +1 a5 b0 c1 +1 a5 b1 c0 +1 γ a5 b4 c6 +1 γ a5 b7 c3 +3 γ a5 b7 c5 -2 γ a5 b8 c4 +1 a5 b0 c2 +1 a5 b1 c1 +1 a5 b2 c0 +1 γ a5 b5 c6 -1 γ a5 b6 c4 +1 γ a5 b8 c3 -1 γ a6 b0 c7 -1 γ a6 b1 c6 -2 γ a6 b1 c8 -2 γ a6 b2 c7 +1 γ a6 b2 c8 +1 γ a6 b3 c5 -1 γ a6 b4 c3 -1 γ a6 b4 c5 +1 γ a6 b5 c4 +1 γ a6 b5 c5 +1 γ a6 b6 c1 -1 γ a6 b6 c2 -1 γ a6 b7 c0 +1 γ a6 b7 c1 -2 γ a6 b7 c2 +1 γ a6 b8 c1 -2 γ a6 b8 c2 +1 γ a7 b0 c8 +1 γ a7 b1 c7 -1 γ a7 b1 c8 +1 γ a7 b2 c6 -1 γ a7 b2 c7 +3 γ a7 b2 c8 +1 γ a7 b3 c4 -1 γ a7 b3 c5 -1 γ a7 b4 c4 +1 γ a7 b5 c3 +1 γ a7 b5 c4 +1 γ a7 b5 c5 -1 γ a7 b6 c1 +1 γ a7 b7 c2 +1 γ a7 b8 c0 -1 γ a7 b8 c1 +1 γ a7 b8 c2 +1 γ a8 b0 c6 -2 γ a8 b1 c8 -2 γ a8 b2 c7 +1 γ a8 b3 c3 -1 γ a8 b3 c4 +3 γ a8 b3 c5 -2 γ a8 b4 c5 +1 γ a8 b6 c0 +1 γ a8 b6 c1 +1 γ a8 b6 c2 -1 γ a8 b0 c7 -1 γ a8 b1 c6 -1 γ a8 b4 c3 +2 γ a8 b5 c5 -1 γ a8 b7 c0 -1 γ a8 b7 c2 +1 γ a8 b0 c8 +1 γ a8 b1 c7 +1 γ a8 b2 c6 +3 γ a8 b2 c8 +1 γ a8 b5 c3 +1 γ a8 b5 c4 +1 γ a8 b8 c0 +1 a0 b0 c6 +1 a0 b1 c8 +1 a0 b2 c7 -1 a0 b2 c8 +1 a0 b3 c3 -2 a0 b3 c4 +3 a0 b3 c5 +1 a0 b4 c4 -1 a0 b4 c5 -1 a0 b5 c4 +1 a0 b6 c0 +1 a0 b6 c1 +2 a0 b6 c2 -1 a0 b7 c1 +1 a0 b8 c2 +1 a1 b0 c8 +1 a1 b1 c7 -1 a1 b1 c8 +1 a1 b2 c6 -1 a1 b2 c7 +3 a1 b2 c8 +1 a1 b3 c4 -1 a1 b3 c5 -1 a1 b4 c4 +1 a1 b5 c3 +1 a1 b5 c4 +1 a1 b5 c5 -1 a1 b6 c1 +1 a1 b7 c2 +1 a1 b8 c0 -1 a1 b8 c1 +1 a1 b8 c2 +1 a2 b0 c7 +1 a2 b1 c6 +3 a2 b1 c8 +3 a2 b2 c7 -4 a2 b2 c8 +1 a2 b4 c3 +1 a2 b4 c5 -2 a2 b5 c4 -2 a2 b5 c5 +1 a2 b6 c2 +1 a2 b7 c0 -1 a2 b7 c1 +1 a2 b7 c2 +1 a2 b8 c2 -1 a2 b0 c8 -1 a2 b1 c7 -1 a2 b2 c6 -1 a2 b3 c4 +1 a2 b4 c4 -1 a2 b5 c3 -1 a2 b8 c0 +1 a3 b0 c3 -6 a3 b1 c5 -6 a3 b2 c4 +10 a3 b2 c5 +1 a3 b3 c0 +1 a3 b3 c1 +2 a3 b3 c2 -2 a3 b4 c1 -3 a3 b4 c2 +4 a3 b5 c1 +1 γ a3 b6 c6 +1 γ a3 b7 c7 -2 a3 b0 c4 -2 a3 b1 c3 -2 a3 b4 c0 +5 a3 b5 c2 -2 γ a3 b7 c6 -1 γ a3 b7 c8 -1 γ a3 b8 c7 +3 a3 b0 c5 +3 a3 b1 c4 +3 a3 b2 c3 +3 a3 b5 c0 +3 γ a3 b8 c6 +1 a4 b0 c4 +1 a4 b1 c3 +3 a4 b1 c5 +3 a4 b2 c4 -4 a4 b2 c5 +1 a4 b4 c0 +1 a4 b4 c2 -2 a4 b5 c1 -2 a4 b5 c2 +1 γ a4 b6 c8 +1 γ a4 b7 c6 -1 γ a4 b7 c7 +1 γ a4 b7 c8 +1 γ a4 b8 c8 -1 a4 b0 c5 -1 a4 b1 c4 -1 a4 b2 c3 -1 a4 b3 c1 +1 a4 b4 c1 -1 a4 b5 c0 -1 γ a4 b8 c6 -1 a5 b0 c4 -1 a5 b1 c3 -2 a5 b1 c5 -2 a5 b2 c4 +1 a5 b2 c5 +1 a5 b3 c2 -1 a5 b4 c0 -1 a5 b4 c2 +1 a5 b5 c1 +1 a5 b5 c2 +1 γ a5 b6 c7 -1 γ a5 b6 c8 -1 γ a5 b7 c6 +1 γ a5 b7 c7 -2 γ a5 b7 c8 +1 γ a5 b8 c7 -2 γ a5 b8 c8 +1 a6 b0 c0 +1 a6 b1 c2 +1 a6 b2 c1 +4 a6 b2 c2 +1 γ a6 b3 c6 -1 γ a6 b4 c7 +1 γ a6 b6 c3 +3 γ a6 b6 c5 -2 γ a6 b7 c4 +5 γ a6 b8 c5 +1 a6 b0 c1 +1 a6 b1 c0 +1 γ a6 b4 c6 +1 γ a6 b5 c8 +1 γ a6 b7 c3 +4 γ a6 b7 c5 -3 γ a6 b8 c4 +2 a6 b0 c2 +2 a6 b1 c1 +2 a6 b2 c0 +2 γ a6 b5 c6 -2 γ a6 b6 c4 +2 γ a6 b8 c3 -1 a7 b0 c1 -1 a7 b1 c0 -2 a7 b1 c2 -2 a7 b2 c1 +1 a7 b2 c2 +1 γ a7 b3 c8 -1 γ a7 b4 c6 -1 γ a7 b4 c8 +1 γ a7 b5 c7 +1 γ a7 b5 c8 +1 γ a7 b6 c4 -1 γ a7 b6 c5 -1 γ a7 b7 c3 +1 γ a7 b7 c4 -2 γ a7 b7 c5 +1 γ a7 b8 c4 -2 γ a7 b8 c5 +1 a8 b0 c2 +1 a8 b1 c1 -1 a8 b1 c2 +1 a8 b2 c0 -1 a8 b2 c1 +3 a8 b2 c2 +1 γ a8 b3 c7 -1 γ a8 b3 c8 -1 γ a8 b4 c7 +1 γ a8 b5 c6 +1 γ a8 b5 c7 +1 γ a8 b5 c8 -1 γ a8 b6 c4 +1 γ a8 b7 c5 +1 γ a8 b8 c3 -1 γ a8 b8 c4 +1 γ a8 b8 c5 +1 a0 b0 c7 +1 a0 b1 c6 +2 a0 b1 c8 +2 a0 b2 c7 -1 a0 b2 c8 -1 a0 b3 c5 +1 a0 b4 c3 +1 a0 b4 c5 -1 a0 b5 c4 -1 a0 b5 c5 -1 a0 b6 c1 +1 a0 b6 c2 +1 a0 b7 c0 -1 a0 b7 c1 +2 a0 b7 c2 -1 a0 b8 c1 +2 a0 b8 c2 +1 a1 b0 c6 -1 a1 b1 c8 -1 a1 b2 c7 +5 a1 b2 c8 +1 a1 b3 c3 +1 a1 b3 c5 -1 a1 b4 c4 -1 a1 b4 c5 +1 a1 b5 c4 +1 a1 b6 c0 -1 a1 b6 c1 +2 a1 b6 c2 -1 a1 b7 c1 +3 a1 b8 c2 +2 a1 b0 c8 +2 a1 b1 c7 +2 a1 b2 c6 +2 a1 b5 c3 +2 a1 b5 c5 +2 a1 b7 c2 +2 a1 b8 c0 -2 a1 b8 c1 +2 a2 b0 c7 +2 a2 b1 c6 +5 a2 b1 c8 +5 a2 b2 c7 -5 a2 b2 c8 -1 a2 b3 c5 +2 a2 b4 c3 +2 a2 b4 c5 -3 a2 b5 c4 -3 a2 b5 c5 -1 a2 b6 c1 +2 a2 b6 c2 +2 a2 b7 c0 -2 a2 b7 c1 +3 a2 b7 c2 -1 a2 b8 c1 +3 a2 b8 c2 -1 a2 b0 c8 -1 a2 b1 c7 -1 a2 b2 c6 -1 a2 b3 c4 +1 a2 b4 c4 -1 a2 b5 c3 -1 a2 b8 c0 -1 a3 b0 c5 -1 a3 b1 c4 +1 a3 b1 c5 -1 a3 b2 c3 +1 a3 b2 c4 -3 a3 b2 c5 -1 a3 b3 c1 +1 a3 b3 c2 +1 a3 b4 c1 -1 a3 b5 c0 -1 a3 b5 c1 -1 a3 b5 c2 +1 γ a3 b6 c7 -1 γ a3 b7 c8 -1 γ a3 b8 c6 +1 γ a3 b8 c7 -1 γ a3 b8 c8 +1 a4 b0 c3 +2 a4 b2 c5 +1 a4 b3 c0 -1 a4 b3 c1 +2 a4 b3 c2 -1 a4 b4 c2 +1 γ a4 b6 c6 +2 γ a4 b6 c8 -1 γ a4 b7 c7 +2 γ a4 b8 c8 +1 a4 b0 c5 +1 a4 b1 c4 +1 a4 b2 c3 +1 a4 b5 c0 +1 a4 b5 c2 +1 γ a4 b7 c8 +1 γ a4 b8 c6 -1 γ a4 b8 c7 -1 a5 b0 c4 -1 a5 b1 c3 -1 a5 b1 c5 -1 a5 b2 c4 -2 a5 b2 c5 +2 a5 b3 c2 -1 a5 b4 c0 -1 a5 b4 c2 +2 γ a5 b6 c7 -1 γ a5 b6 c8 -1 γ a5 b7 c6 +1 γ a5 b7 c7 -3 γ a5 b7 c8 +2 γ a5 b8 c7 -3 γ a5 b8 c8 -1 a5 b0 c5 -1 a5 b1 c4 -1 a5 b2 c3 -1 a5 b3 c1 +1 a5 b4 c1 -1 a5 b5 c0 -1 γ a5 b8 c6 -1 a6 b0 c1 -1 a6 b1 c0 -3 a6 b1 c2 -3 a6 b2 c1 +4 a6 b2 c2 -1 γ a6 b4 c6 -1 γ a6 b4 c8 +2 γ a6 b5 c7 +2 γ a6 b5 c8 -1 γ a6 b6 c5 -1 γ a6 b7 c3 +1 γ a6 b7 c4 -1 γ a6 b7 c5 -1 γ a6 b8 c5 +1 a6 b0 c2 +1 a6 b1 c1 +1 a6 b2 c0 +1 γ a6 b3 c7 -1 γ a6 b4 c7 +1 γ a6 b5 c6 +1 γ a6 b8 c3 +1 a7 b0 c0 -3 a7 b1 c2 -3 a7 b2 c1 +1 γ a7 b3 c6 +2 γ a7 b3 c8 -1 γ a7 b4 c7 -2 γ a7 b4 c8 +1 γ a7 b6 c3 +1 γ a7 b6 c5 +1 γ a7 b8 c5 -1 a7 b0 c1 -1 a7 b1 c0 -1 γ a7 b4 c6 +3 γ a7 b5 c8 -1 γ a7 b7 c3 -1 γ a7 b8 c4 +2 a7 b0 c2 +2 a7 b1 c1 +2 a7 b2 c0 +6 a7 b2 c2 +2 γ a7 b5 c6 +2 γ a7 b5 c7 +2 γ a7 b8 c3 -1 a8 b0 c1 -1 a8 b1 c0 -4 a8 b1 c2 -4 a8 b2 c1 +7 a8 b2 c2 -1 γ a8 b3 c8 -1 γ a8 b4 c6 -1 γ a8 b4 c8 +3 γ a8 b5 c7 +3 γ a8 b5 c8 -1 γ a8 b6 c4 -1 γ a8 b6 c5 -1 γ a8 b7 c3 +1 γ a8 b7 c4 -1 γ a8 b8 c4 +2 a8 b0 c2 +2 a8 b1 c1 +2 a8 b2 c0 +2 γ a8 b3 c7 -2 γ a8 b4 c7 +2 γ a8 b5 c6 +2 γ a8 b8 c3 +1 a0 b0 c8 +1 a0 b1 c7 -1 a0 b1 c8 +1 a0 b2 c6 -1 a0 b2 c7 +3 a0 b2 c8 +1 a0 b3 c4 -1 a0 b3 c5 -1 a0 b4 c4 +1 a0 b5 c3 +1 a0 b5 c4 +1 a0 b5 c5 -1 a0 b6 c1 +1 a0 b7 c2 +1 a0 b8 c0 -1 a0 b8 c1 +1 a0 b8 c2 +1 a1 b0 c7 +1 a1 b1 c6 +3 a1 b1 c8 +3 a1 b2 c7 -4 a1 b2 c8 +1 a1 b4 c3 +1 a1 b4 c5 -2 a1 b5 c4 -2 a1 b5 c5 +1 a1 b6 c2 +1 a1 b7 c0 -1 a1 b7 c1 +1 a1 b7 c2 +1 a1 b8 c2 -1 a1 b0 c8 -1 a1 b1 c7 -1 a1 b2 c6 -1 a1 b3 c4 +1 a1 b4 c4 -1 a1 b5 c3 -1 a1 b8 c0 +1 a2 b0 c6 -4 a2 b1 c8 -4 a2 b2 c7 +1 a2 b3 c3 +1 a2 b3 c4 +1 a2 b3 c5 -2 a2 b4 c4 -2 a2 b4 c5 +1 a2 b6 c0 -1 a2 b6 c1 +1 a2 b6 c2 +2 a2 b8 c2 -1 a2 b0 c7 -1 a2 b1 c6 -1 a2 b4 c3 +4 a2 b5 c5 -1 a2 b7 c0 +1 a2 b7 c2 -2 a2 b8 c1 +3 a2 b0 c8 +3 a2 b1 c7 +3 a2 b2 c6 +9 a2 b2 c8 +3 a2 b5 c3 +3 a2 b5 c4 +3 a2 b8 c0 +1 a3 b0 c4 +1 a3 b1 c3 +3 a3 b1 c5 +3 a3 b2 c4 -4 a3 b2 c5 +1 a3 b4 c0 +1 a3 b4 c2 -2 a3 b5 c1 -2 a3 b5 c2 +1 γ a3 b6 c8 +1 γ a3 b7 c6 -1 γ a3 b7 c7 +1 γ a3 b7 c8 +1 γ a3 b8 c8 -1 a3 b0 c5 -1 a3 b1 c4 -1 a3 b2 c3 -1 a3 b3 c1 +1 a3 b4 c1 -1 a3 b5 c0 -1 γ a3 b8 c6 -1 a4 b0 c4 -1 a4 b1 c3 -2 a4 b1 c5 -2 a4 b2 c4 +1 a4 b2 c5 +1 a4 b3 c2 -1 a4 b4 c0 -1 a4 b4 c2 +1 a4 b5 c1 +1 a4 b5 c2 +1 γ a4 b6 c7 -1 γ a4 b6 c8 -1 γ a4 b7 c6 +1 γ a4 b7 c7 -2 γ a4 b7 c8 +1 γ a4 b8 c7 -2 γ a4 b8 c8 +1 a5 b0 c3 +2 a5 b1 c5 +2 a5 b2 c4 +1 a5 b2 c5 +1 a5 b3 c0 -1 a5 b3 c1 +1 a5 b3 c2 -1 a5 b5 c1 +1 γ a5 b6 c6 +3 γ a5 b6 c8 -2 γ a5 b7 c7 +4 γ a5 b8 c8 +1 a5 b0 c4 +1 a5 b1 c3 +1 a5 b4 c0 +1 γ a5 b7 c6 +3 γ a5 b7 c8 -2 γ a5 b8 c7 +1 a5 b0 c5 +1 a5 b1 c4 +1 a5 b2 c3 +1 a5 b5 c0 -1 γ a5 b6 c7 +1 γ a5 b8 c6 -1 a6 b0 c1 -1 a6 b1 c0 -2 a6 b1 c2 -2 a6 b2 c1 +1 a6 b2 c2 +1 γ a6 b3 c8 -1 γ a6 b4 c6 -1 γ a6 b4 c8 +1 γ a6 b5 c7 +1 γ a6 b5 c8 +1 γ a6 b6 c4 -1 γ a6 b6 c5 -1 γ a6 b7 c3 +1 γ a6 b7 c4 -2 γ a6 b7 c5 +1 γ a6 b8 c4 -2 γ a6 b8 c5 +1 a7 b0 c2 +1 a7 b1 c1 -1 a7 b1 c2 +1 a7 b2 c0 -1 a7 b2 c1 +3 a7 b2 c2 +1 γ a7 b3 c7 -1 γ a7 b3 c8 -1 γ a7 b4 c7 +1 γ a7 b5 c6 +1 γ a7 b5 c7 +1 γ a7 b5 c8 -1 γ a7 b6 c4 +1 γ a7 b7 c5 +1 γ a7 b8 c3 -1 γ a7 b8 c4 +1 γ a7 b8 c5 +1 a8 b0 c0 -2 a8 b1 c2 -2 a8 b2 c1 +1 γ a8 b3 c6 -1 γ a8 b3 c7 +3 γ a8 b3 c8 -2 γ a8 b4 c8 +1 γ a8 b6 c3 +1 γ a8 b6 c4 +1 γ a8 b6 c5 -1 a8 b0 c1 -1 a8 b1 c0 -1 γ a8 b4 c6 +2 γ a8 b5 c8 -1 γ a8 b7 c3 -1 γ a8 b7 c5 +1 a8 b0 c2 +1 a8 b1 c1 +1 a8 b2 c0 +3 a8 b2 c2 +1 γ a8 b5 c6 +1 γ a8 b5 c7 +1 γ a8 b8 c3
Seite 1 - Die Konstruktion der Algebra Seite 2 - Die Multiplikationstafel Seite 3 - Die Addition und Multiplikation Seite 4 - Die Inversenbildung Seite 5 - Die Berechnung von a * b * c Seite 6 - Der Satz Seite 7 - Die Berechnung von  e•1/d•id•e  und  f•1/b•ib•f Seite 8 - Die Berechnung der Punkte c1 und c2 Seite 9 - Die erste Matrix Seite 10 - Die vereinfachte Matrix Seite 11 - Das Ergebnis