pgr17:=function()
local z,g,sg,p;
z:=FreeGroup("a","b");
g:=z/[z.1^5,z.2^2,z.1*z.2*z.1*z.2*z.1*z.2*z.1^4*z.2*z.1^4*z.2*z.1^4*z.2];
sg:=Subgroup(g,[g.1]);
p:=Image(ActionHomomorphism(g,RightTransversal(g,sg),OnRight));
return p;
end;
G17:=pgr17(); gap> Size(G17); 1200 gap> N17:=NormalSubgroups(G17);; gap> NTSize(N17); Groesse des 1. Normalteilers: 1 Groesse des 2. Normalteilers: 2 Groesse des 3. Normalteilers: 4 Groesse des 4. Normalteilers: 5 Groesse des 5. Normalteilers: 10 Groesse des 6. Normalteilers: 20 Groesse des 7. Normalteilers: 120 Groesse des 8. Normalteilers: 240 Groesse des 9. Normalteilers: 600 Groesse des 10. Normalteilers: 1200 gap> Centre(G17); <permutation group of size 20 with 1 generators> gap> Size(Centre(G17)); 20 gap> IsSolvable(G17); false gap> CompositionSeries(G17); [ <permutation group of size 1200 with 3 generators>, <permutation group of size 600 with 11 generators>, <permutation group of size 10 with 2 generators>, <permutation group of size 5 with 1 generators>, Group(()) ]
gap> ct17:=CharacterTable(G17);
CharacterTable( <permutation group of size 1200 with 2 generators> )
gap> Display(ct17);
CT1
2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4
3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1a 5a 5b 5c 5d 10a 2a 10b 10c 10d 20a 20b 20c 20d 4a 20e 20f 20g 4b
2P 1a 5b 5c 5d 5a 5d 1a 5b 5a 5c 10a 10b 10c 10d 2a 10d 10a 10b 2a
3P 1a 5d 5a 5b 5c 10d 2a 10c 10a 10b 20e 20h 20f 20g 4b 20b 20d 20c 4a
5P 1a 1a 1a 1a 1a 2a 2a 2a 2a 2a 4a 4a 4a 4a 4a 4b 4b 4b 4b
7P 1a 5b 5c 5d 5a 10c 2a 10d 10b 10a 20h 20e 20g 20f 4b 20a 20c 20d 4a
11P 1a 5a 5b 5c 5d 10a 2a 10b 10c 10d 20f 20g 20h 20e 4b 20d 20a 20b 4a
13P 1a 5d 5a 5b 5c 10d 2a 10c 10a 10b 20d 20c 20a 20b 4a 20g 20e 20h 4b
17P 1a 5b 5c 5d 5a 10c 2a 10d 10b 10a 20c 20d 20b 20a 4a 20f 20h 20e 4b
19P 1a 5c 5d 5a 5b 10b 2a 10a 10d 10c 20g 20f 20e 20h 4b 20c 20b 20a 4a
23P 1a 5d 5a 5b 5c 10d 2a 10c 10a 10b 20e 20h 20f 20g 4b 20b 20d 20c 4a
29P 1a 5c 5d 5a 5b 10b 2a 10a 10d 10c 20b 20a 20d 20c 4a 20h 20g 20f 4b
31P 1a 5a 5b 5c 5d 10a 2a 10b 10c 10d 20f 20g 20h 20e 4b 20d 20a 20b 4a
37P 1a 5b 5c 5d 5a 10c 2a 10d 10b 10a 20c 20d 20b 20a 4a 20f 20h 20e 4b
41P 1a 5a 5b 5c 5d 10a 2a 10b 10c 10d 20a 20b 20c 20d 4a 20e 20f 20g 4b
43P 1a 5d 5a 5b 5c 10d 2a 10c 10a 10b 20e 20h 20f 20g 4b 20b 20d 20c 4a
47P 1a 5b 5c 5d 5a 10c 2a 10d 10b 10a 20h 20e 20g 20f 4b 20a 20c 20d 4a
53P 1a 5d 5a 5b 5c 10d 2a 10c 10a 10b 20d 20c 20a 20b 4a 20g 20e 20h 4b
59P 1a 5c 5d 5a 5b 10b 2a 10a 10d 10c 20g 20f 20e 20h 4b 20c 20b 20a 4a
X.1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
X.2 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1
X.3 1 A B /A /B /A 1 A /B B B /B /A A 1 A B /B 1
X.4 1 A B /A /B /A 1 A /B B -B -/B -/A -A -1 -A -B -/B -1
X.5 1 B /A /B A /B 1 B A /A /A A /B B 1 B /A A 1
X.6 1 B /A /B A /B 1 B A /A -/A -A -/B -B -1 -B -/A -A -1
X.7 1 /B A B /A B 1 /B /A A A /A B /B 1 /B A /A 1
X.8 1 /B A B /A B 1 /B /A A -A -/A -B -/B -1 -/B -A -/A -1
X.9 1 /A /B A B A 1 /A B /B /B B A /A 1 /A /B B 1
X.10 1 /A /B A B A 1 /A B /B -/B -B -A -/A -1 -/A -/B -B -1
X.11 2 C /D /C D -/C -2 -C -D -/D M -/M -/N N O -N -M /M -O
X.12 2 C /D /C D -/C -2 -C -D -/D -M /M /N -N -O N M -/M O
X.13 2 D C /D /C -/D -2 -D -/C -C N -/N M -/M O /M -N /N -O
X.14 2 D C /D /C -/D -2 -D -/C -C -N /N -M /M -O -/M N -/N O
X.15 2 2 2 2 2 -2 -2 -2 -2 -2 O O O O O -O -O -O -O
X.16 2 2 2 2 2 -2 -2 -2 -2 -2 -O -O -O -O -O O O O O
X.17 2 /D /C D C -D -2 -/D -C -/C -/N N -/M M O -M /N -N -O
X.18 2 /D /C D C -D -2 -/D -C -/C /N -N /M -M -O M -/N N O
X.19 2 /C D C /D -C -2 -/C -/D -D -/M M N -/N O /N /M -M -O
X.20 2 /C D C /D -C -2 -/C -/D -D /M -M -N /N -O -/N -/M M O
X.21 2 D C /D /C -/D -2 -D -/C -C N -/N M -/M O /M -N /N -O
X.22 2 D C /D /C -/D -2 -D -/C -C -N /N -M /M -O -/M N -/N O
X.23 2 /C D C /D -C -2 -/C -/D -D -/M M N -/N O /N /M -M -O
X.24 2 /C D C /D -C -2 -/C -/D -D /M -M -N /N -O -/N -/M M O
X.25 2 2 2 2 2 -2 -2 -2 -2 -2 O O O O O -O -O -O -O
X.26 2 2 2 2 2 -2 -2 -2 -2 -2 -O -O -O -O -O O O O O
X.27 2 C /D /C D -/C -2 -C -D -/D M -/M -/N N O -N -M /M -O
X.28 2 C /D /C D -/C -2 -C -D -/D -M /M /N -N -O N M -/M O
X.29 2 /D /C D C -D -2 -/D -C -/C -/N N -/M M O -M /N -N -O
X.30 2 /D /C D C -D -2 -/D -C -/C /N -N /M -M -O M -/N N O
X.31 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
X.32 3 3 3 3 3 3 3 3 3 3 -3 -3 -3 -3 -3 -3 -3 -3 -3
X.33 3 E F /E /F /E 3 E /F F F /F /E E 3 E F /F 3
X.34 3 E F /E /F /E 3 E /F F -F -/F -/E -E -3 -E -F -/F -3
X.35 3 F /E /F E /F 3 F E /E /E E /F F 3 F /E E 3
X.36 3 F /E /F E /F 3 F E /E -/E -E -/F -F -3 -F -/E -E -3
X.37 3 /F E F /E F 3 /F /E E E /E F /F 3 /F E /E 3
X.38 3 /F E F /E F 3 /F /E E -E -/E -F -/F -3 -/F -E -/E -3
X.39 3 /E /F E F E 3 /E F /F /F F E /E 3 /E /F F 3
X.40 3 /E /F E F E 3 /E F /F -/F -F -E -/E -3 -/E -/F -F -3
X.41 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
X.42 3 3 3 3 3 3 3 3 3 3 -3 -3 -3 -3 -3 -3 -3 -3 -3
X.43 3 /F E F /E F 3 /F /E E E /E F /F 3 /F E /E 3
X.44 3 /F E F /E F 3 /F /E E -E -/E -F -/F -3 -/F -E -/E -3
X.45 3 E F /E /F /E 3 E /F F F /F /E E 3 E F /F 3
X.46 3 E F /E /F /E 3 E /F F -F -/F -/E -E -3 -E -F -/F -3
X.47 3 /E /F E F E 3 /E F /F /F F E /E 3 /E /F F 3
X.48 3 /E /F E F E 3 /E F /F -/F -F -E -/E -3 -/E -/F -F -3
X.49 3 F /E /F E /F 3 F E /E /E E /F F 3 F /E E 3
X.50 3 F /E /F E /F 3 F E /E -/E -E -/F -F -3 -F -/E -E -3
X.51 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4
X.52 4 4 4 4 4 4 4 4 4 4 -4 -4 -4 -4 -4 -4 -4 -4 -4
X.53 4 G H /G /H /G 4 G /H H H /H /G G 4 G H /H 4
X.54 4 G H /G /H /G 4 G /H H -H -/H -/G -G -4 -G -H -/H -4
X.55 4 H /G /H G /H 4 H G /G /G G /H H 4 H /G G 4
X.56 4 H /G /H G /H 4 H G /G -/G -G -/H -H -4 -H -/G -G -4
X.57 4 /H G H /G H 4 /H /G G G /G H /H 4 /H G /G 4
X.58 4 /H G H /G H 4 /H /G G -G -/G -H -/H -4 -/H -G -/G -4
X.59 4 /G /H G H G 4 /G H /H /H H G /G 4 /G /H H 4
X.60 4 /G /H G H G 4 /G H /H -/H -H -G -/G -4 -/G -/H -H -4
X.61 4 /H G H /G -H -4 -/H -/G -G P -/P -/Q Q R -Q -P /P -R
X.62 4 /H G H /G -H -4 -/H -/G -G -P /P /Q -Q -R Q P -/P R
X.63 4 /G /H G H -G -4 -/G -H -/H Q -/Q P -/P R /P -Q /Q -R
X.64 4 /G /H G H -G -4 -/G -H -/H -Q /Q -P /P -R -/P Q -/Q R
X.65 4 4 4 4 4 -4 -4 -4 -4 -4 R R R R R -R -R -R -R
X.66 4 4 4 4 4 -4 -4 -4 -4 -4 -R -R -R -R -R R R R R
X.67 4 G H /G /H -/G -4 -G -/H -H -/Q Q -/P P R -P /Q -Q -R
X.68 4 G H /G /H -/G -4 -G -/H -H /Q -Q /P -P -R P -/Q Q R
X.69 4 H /G /H G -/H -4 -H -G -/G -/P P Q -/Q R /Q /P -P -R
X.70 4 H /G /H G -/H -4 -H -G -/G /P -P -Q /Q -R -/Q -/P P R
X.71 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
X.72 5 5 5 5 5 5 5 5 5 5 -5 -5 -5 -5 -5 -5 -5 -5 -5
X.73 5 I J /I /J /I 5 I /J J J /J /I I 5 I J /J 5
X.74 5 I J /I /J /I 5 I /J J -J -/J -/I -I -5 -I -J -/J -5
X.75 5 J /I /J I /J 5 J I /I /I I /J J 5 J /I I 5
X.76 5 J /I /J I /J 5 J I /I -/I -I -/J -J -5 -J -/I -I -5
X.77 5 /J I J /I J 5 /J /I I I /I J /J 5 /J I /I 5
X.78 5 /J I J /I J 5 /J /I I -I -/I -J -/J -5 -/J -I -/I -5
X.79 5 /I /J I J I 5 /I J /J /J J I /I 5 /I /J J 5
X.80 5 /I /J I J I 5 /I J /J -/J -J -I -/I -5 -/I -/J -J -5
X.81 6 K /L /K L -/K -6 -K -L -/L S -/S -/T T U -T -S /S -U
X.82 6 K /L /K L -/K -6 -K -L -/L -S /S /T -T -U T S -/S U
X.83 6 L K /L /K -/L -6 -L -/K -K T -/T S -/S U /S -T /T -U
X.84 6 L K /L /K -/L -6 -L -/K -K -T /T -S /S -U -/S T -/T U
X.85 6 6 6 6 6 -6 -6 -6 -6 -6 U U U U U -U -U -U -U
X.86 6 6 6 6 6 -6 -6 -6 -6 -6 -U -U -U -U -U U U U U
X.87 6 /L /K L K -L -6 -/L -K -/K -/T T -/S S U -S /T -T -U
X.88 6 /L /K L K -L -6 -/L -K -/K /T -T /S -S -U S -/T T U
X.89 6 /K L K /L -K -6 -/K -/L -L -/S S T -/T U /T /S -S -U
X.90 6 /K L K /L -K -6 -/K -/L -L /S -S -T /T -U -/T -/S S U
2 4 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 2 2
3 1 . . . . . . . . . . . . . . . . .
5 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2
20h 10e 10f 10g 10h 2b 20i 4c 20j 20k 20l 5e 5f 5g 5h 5i 10i 10j
2P 10c 5c 5a 5d 5b 1a 10c 2a 10d 10b 10a 5m 5k 5n 5l 5j 5l 5m
3P 20a 10h 10g 10e 10f 2b 20l 4c 20k 20i 20j 5j 5n 5k 5l 5m 10r 10o
5P 4b 2b 2b 2b 2b 2b 4c 4c 4c 4c 4c 1a 1a 1a 1a 1a 2a 2a
7P 20b 10g 10h 10f 10e 2b 20k 4c 20l 20j 20i 5m 5k 5n 5l 5j 10r 10n
11P 20c 10e 10f 10g 10h 2b 20i 4c 20j 20k 20l 5e 5f 5g 5h 5i 10i 10j
13P 20f 10h 10g 10e 10f 2b 20l 4c 20k 20i 20j 5j 5n 5k 5l 5m 10r 10o
17P 20g 10g 10h 10f 10e 2b 20k 4c 20l 20j 20i 5m 5k 5n 5l 5j 10r 10n
19P 20d 10f 10e 10h 10g 2b 20j 4c 20i 20l 20k 5i 5g 5f 5h 5e 10i 10l
23P 20a 10h 10g 10e 10f 2b 20l 4c 20k 20i 20j 5j 5n 5k 5l 5m 10r 10o
29P 20e 10f 10e 10h 10g 2b 20j 4c 20i 20l 20k 5i 5g 5f 5h 5e 10i 10l
31P 20c 10e 10f 10g 10h 2b 20i 4c 20j 20k 20l 5e 5f 5g 5h 5i 10i 10j
37P 20g 10g 10h 10f 10e 2b 20k 4c 20l 20j 20i 5m 5k 5n 5l 5j 10r 10n
41P 20h 10e 10f 10g 10h 2b 20i 4c 20j 20k 20l 5e 5f 5g 5h 5i 10i 10j
43P 20a 10h 10g 10e 10f 2b 20l 4c 20k 20i 20j 5j 5n 5k 5l 5m 10r 10o
47P 20b 10g 10h 10f 10e 2b 20k 4c 20l 20j 20i 5m 5k 5n 5l 5j 10r 10n
53P 20f 10h 10g 10e 10f 2b 20l 4c 20k 20i 20j 5j 5n 5k 5l 5m 10r 10o
59P 20d 10f 10e 10h 10g 2b 20j 4c 20i 20l 20k 5i 5g 5f 5h 5e 10i 10l
X.1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
X.2 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1
X.3 /A B /B /A A 1 /A 1 A /B B A B /B 1 /A 1 A
X.4 -/A -B -/B -/A -A -1 /A 1 A /B B A B /B 1 /A 1 A
X.5 /B /A A /B B 1 /B 1 B A /A B /A A 1 /B 1 B
X.6 -/B -/A -A -/B -B -1 /B 1 B A /A B /A A 1 /B 1 B
X.7 B A /A B /B 1 B 1 /B /A A /B A /A 1 B 1 /B
X.8 -B -A -/A -B -/B -1 B 1 /B /A A /B A /A 1 B 1 /B
X.9 A /B B A /A 1 A 1 /A B /B /A /B B 1 A 1 /A
X.10 -A -/B -B -A -/A -1 A 1 /A B /B /A /B B 1 A 1 /A
X.11 /N . . . . . . . . . . V /W W X /V -X -V
X.12 -/N . . . . . . . . . . V /W W X /V -X -V
X.13 -M . . . . . . . . . . W V /V X /W -X -W
X.14 M . . . . . . . . . . W V /V X /W -X -W
X.15 -O . . . . . . . . . . X X X X X -X -X
X.16 O . . . . . . . . . . X X X X X -X -X
X.17 /M . . . . . . . . . . /W /V V X W -X -/W
X.18 -/M . . . . . . . . . . /W /V V X W -X -/W
X.19 -N . . . . . . . . . . /V W /W X V -X -/V
X.20 N . . . . . . . . . . /V W /W X V -X -/V
X.21 -M . . . . . . . . . . Y /Z Z *X /Y -*X -Y
X.22 M . . . . . . . . . . Y /Z Z *X /Y -*X -Y
X.23 -N . . . . . . . . . . Z Y /Y *X /Z -*X -Z
X.24 N . . . . . . . . . . Z Y /Y *X /Z -*X -Z
X.25 -O . . . . . . . . . . *X *X *X *X *X -*X -*X
X.26 O . . . . . . . . . . *X *X *X *X *X -*X -*X
X.27 /N . . . . . . . . . . /Z /Y Y *X Z -*X -/Z
X.28 -/N . . . . . . . . . . /Z /Y Y *X Z -*X -/Z
X.29 /M . . . . . . . . . . /Y Z /Z *X Y -*X -/Y
X.30 -/M . . . . . . . . . . /Y Z /Z *X Y -*X -/Y
X.31 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -X -X -X -X -X -X -X
X.32 -3 1 1 1 1 1 -1 -1 -1 -1 -1 -X -X -X -X -X -X -X
X.33 /E -B -/B -/A -A -1 -/A -1 -A -/B -B -/W -/V -V -X -W -X -/W
X.34 -/E B /B /A A 1 -/A -1 -A -/B -B -/W -/V -V -X -W -X -/W
X.35 /F -/A -A -/B -B -1 -/B -1 -B -A -/A -/V -W -/W -X -V -X -/V
X.36 -/F /A A /B B 1 -/B -1 -B -A -/A -/V -W -/W -X -V -X -/V
X.37 F -A -/A -B -/B -1 -B -1 -/B -/A -A -V -/W -W -X -/V -X -V
X.38 -F A /A B /B 1 -B -1 -/B -/A -A -V -/W -W -X -/V -X -V
X.39 E -/B -B -A -/A -1 -A -1 -/A -B -/B -W -V -/V -X -/W -X -W
X.40 -E /B B A /A 1 -A -1 -/A -B -/B -W -V -/V -X -/W -X -W
X.41 3 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -*X -*X -*X -*X -*X -*X -*X
X.42 -3 1 1 1 1 1 -1 -1 -1 -1 -1 -*X -*X -*X -*X -*X -*X -*X
X.43 F -A -/A -B -/B -1 -B -1 -/B -/A -A -/Z -/Y -Y -*X -Z -*X -/Z
X.44 -F A /A B /B 1 -B -1 -/B -/A -A -/Z -/Y -Y -*X -Z -*X -/Z
X.45 /E -B -/B -/A -A -1 -/A -1 -A -/B -B -/Y -Z -/Z -*X -Y -*X -/Y
X.46 -/E B /B /A A 1 -/A -1 -A -/B -B -/Y -Z -/Z -*X -Y -*X -/Y
X.47 E -/B -B -A -/A -1 -A -1 -/A -B -/B -Y -/Z -Z -*X -/Y -*X -Y
X.48 -E /B B A /A 1 -A -1 -/A -B -/B -Y -/Z -Z -*X -/Y -*X -Y
X.49 /F -/A -A -/B -B -1 -/B -1 -B -A -/A -Z -Y -/Y -*X -/Z -*X -Z
X.50 -/F /A A /B B 1 -/B -1 -B -A -/A -Z -Y -/Y -*X -/Z -*X -Z
X.51 4 . . . . . . . . . . -1 -1 -1 -1 -1 -1 -1
X.52 -4 . . . . . . . . . . -1 -1 -1 -1 -1 -1 -1
X.53 /G . . . . . . . . . . -A -B -/B -1 -/A -1 -A
X.54 -/G . . . . . . . . . . -A -B -/B -1 -/A -1 -A
X.55 /H . . . . . . . . . . -B -/A -A -1 -/B -1 -B
X.56 -/H . . . . . . . . . . -B -/A -A -1 -/B -1 -B
X.57 H . . . . . . . . . . -/B -A -/A -1 -B -1 -/B
X.58 -H . . . . . . . . . . -/B -A -/A -1 -B -1 -/B
X.59 G . . . . . . . . . . -/A -/B -B -1 -A -1 -/A
X.60 -G . . . . . . . . . . -/A -/B -B -1 -A -1 -/A
X.61 /Q . . . . . . . . . . -/B -A -/A -1 -B 1 /B
X.62 -/Q . . . . . . . . . . -/B -A -/A -1 -B 1 /B
X.63 -P . . . . . . . . . . -/A -/B -B -1 -A 1 /A
X.64 P . . . . . . . . . . -/A -/B -B -1 -A 1 /A
X.65 -R . . . . . . . . . . -1 -1 -1 -1 -1 1 1
X.66 R . . . . . . . . . . -1 -1 -1 -1 -1 1 1
X.67 /P . . . . . . . . . . -A -B -/B -1 -/A 1 A
X.68 -/P . . . . . . . . . . -A -B -/B -1 -/A 1 A
X.69 -Q . . . . . . . . . . -B -/A -A -1 -/B 1 B
X.70 Q . . . . . . . . . . -B -/A -A -1 -/B 1 B
X.71 5 1 1 1 1 1 1 1 1 1 1 . . . . . . .
X.72 -5 -1 -1 -1 -1 -1 1 1 1 1 1 . . . . . . .
X.73 /I B /B /A A 1 /A 1 A /B B . . . . . . .
X.74 -/I -B -/B -/A -A -1 /A 1 A /B B . . . . . . .
X.75 /J /A A /B B 1 /B 1 B A /A . . . . . . .
X.76 -/J -/A -A -/B -B -1 /B 1 B A /A . . . . . . .
X.77 J A /A B /B 1 B 1 /B /A A . . . . . . .
X.78 -J -A -/A -B -/B -1 B 1 /B /A A . . . . . . .
X.79 I /B B A /A 1 A 1 /A B /B . . . . . . .
X.80 -I -/B -B -A -/A -1 A 1 /A B /B . . . . . . .
X.81 /T . . . . . . . . . . /B A /A 1 B -1 -/B
X.82 -/T . . . . . . . . . . /B A /A 1 B -1 -/B
X.83 -S . . . . . . . . . . /A /B B 1 A -1 -/A
X.84 S . . . . . . . . . . /A /B B 1 A -1 -/A
X.85 -U . . . . . . . . . . 1 1 1 1 1 -1 -1
X.86 U . . . . . . . . . . 1 1 1 1 1 -1 -1
X.87 /S . . . . . . . . . . A B /B 1 /A -1 -A
X.88 -/S . . . . . . . . . . A B /B 1 /A -1 -A
X.89 -T . . . . . . . . . . B /A A 1 /B -1 -B
X.90 T . . . . . . . . . . B /A A 1 /B -1 -B
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
3 . . . . . . . . . . . . . . .
5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
10k 10l 10m 20m 20n 20o 20p 20q 20r 20s 20t 20u 20v 5j 5k
2P 5k 5j 5n 10q 10o 10r 10p 10n 10p 10q 10o 10n 10r 5e 5g
3P 10q 10n 10p 20ab 20af 20ac 20ad 20ae 20x 20z 20y 20aa 20w 5i 5f
5P 2a 2a 2a 4a 4a 4a 4a 4a 4b 4b 4b 4b 4b 1a 1a
7P 10p 10o 10q 20ad 20ae 20ac 20ab 20af 20z 20x 20aa 20y 20w 5e 5g
11P 10k 10l 10m 20s 20t 20v 20r 20u 20p 20m 20n 20q 20o 5j 5k
13P 10q 10n 10p 20z 20y 20w 20x 20aa 20ad 20ab 20af 20ae 20ac 5i 5f
17P 10p 10o 10q 20x 20aa 20w 20z 20y 20ab 20ad 20ae 20af 20ac 5e 5g
19P 10m 10j 10k 20r 20u 20v 20s 20t 20m 20p 20q 20n 20o 5m 5n
23P 10q 10n 10p 20ab 20af 20ac 20ad 20ae 20x 20z 20y 20aa 20w 5i 5f
29P 10m 10j 10k 20p 20q 20o 20m 20n 20s 20r 20u 20t 20v 5m 5n
31P 10k 10l 10m 20s 20t 20v 20r 20u 20p 20m 20n 20q 20o 5j 5k
37P 10p 10o 10q 20x 20aa 20w 20z 20y 20ab 20ad 20ae 20af 20ac 5e 5g
41P 10k 10l 10m 20m 20n 20o 20p 20q 20r 20s 20t 20u 20v 5j 5k
43P 10q 10n 10p 20ab 20af 20ac 20ad 20ae 20x 20z 20y 20aa 20w 5i 5f
47P 10p 10o 10q 20ad 20ae 20ac 20ab 20af 20z 20x 20aa 20y 20w 5e 5g
53P 10q 10n 10p 20z 20y 20w 20x 20aa 20ad 20ab 20af 20ae 20ac 5i 5f
59P 10m 10j 10k 20r 20u 20v 20s 20t 20m 20p 20q 20n 20o 5m 5n
X.1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
X.2 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1
X.3 B /A /B /B /A 1 B A B /B /A A 1 /B /A
X.4 B /A /B -/B -/A -1 -B -A -B -/B -/A -A -1 /B /A
X.5 /A /B A A /B 1 /A B /A A /B B 1 A /B
X.6 /A /B A -A -/B -1 -/A -B -/A -A -/B -B -1 A /B
X.7 A B /A /A B 1 A /B A /A B /B 1 /A B
X.8 A B /A -/A -B -1 -A -/B -A -/A -B -/B -1 /A B
X.9 /B A B B A 1 /B /A /B B A /A 1 B A
X.10 /B A B -B -A -1 -/B -/A -/B -B -A -/A -1 B A
X.11 -/W -/V -W AA AB AC -/AA -/AB /AA -AA -AB /AB -AC Y Z
X.12 -/W -/V -W -AA -AB -AC /AA /AB -/AA AA AB -/AB AC Y Z
X.13 -V -/W -/V AB -/AA AC -/AB AA /AB -AB /AA -AA -AC Z /Y
X.14 -V -/W -/V -AB /AA -AC /AB -AA -/AB AB -/AA AA AC Z /Y
X.15 -X -X -X AC AC AC AC AC -AC -AC -AC -AC -AC *X *X
X.16 -X -X -X -AC -AC -AC -AC -AC AC AC AC AC AC *X *X
X.17 -/V -W -V -/AB AA AC AB -/AA -AB /AB -AA /AA -AC /Z Y
X.18 -/V -W -V /AB -AA -AC -AB /AA AB -/AB AA -/AA AC /Z Y
X.19 -W -V -/W -/AA -/AB AC AA AB -AA /AA /AB -AB -AC /Y /Z
X.20 -W -V -/W /AA /AB -AC -AA -AB AA -/AA -/AB AB AC /Y /Z
X.21 -/Z -/Y -Z AD AE AF -/AD -/AE /AD -AD -AE /AE -AF /V /W
X.22 -/Z -/Y -Z -AD -AE -AF /AD /AE -/AD AD AE -/AE AF /V /W
X.23 -Y -/Z -/Y AE -/AD AF -/AE AD /AE -AE /AD -AD -AF /W V
X.24 -Y -/Z -/Y -AE /AD -AF /AE -AD -/AE AE -/AD AD AF /W V
X.25 -*X -*X -*X AF AF AF AF AF -AF -AF -AF -AF -AF X X
X.26 -*X -*X -*X -AF -AF -AF -AF -AF AF AF AF AF AF X X
X.27 -/Y -Z -Y -/AE AD AF AE -/AD -AE /AE -AD /AD -AF W /V
X.28 -/Y -Z -Y /AE -AD -AF -AE /AD AE -/AE AD -/AD AF W /V
X.29 -Z -Y -/Z -/AD -/AE AF AD AE -AD /AD /AE -AE -AF V W
X.30 -Z -Y -/Z /AD /AE -AF -AD -AE AD -/AD -/AE AE AF V W
X.31 -X -X -X -X -X -X -X -X -X -X -X -X -X -*X -*X
X.32 -X -X -X X X X X X X X X X X -*X -*X
X.33 -/V -W -V -V -W -X -/V -/W -/V -V -W -/W -X -/Z -Y
X.34 -/V -W -V V W X /V /W /V V W /W X -/Z -Y
X.35 -W -V -/W -/W -V -X -W -/V -W -/W -V -/V -X -/Y -/Z
X.36 -W -V -/W /W V X W /V W /W V /V X -/Y -/Z
X.37 -/W -/V -W -W -/V -X -/W -V -/W -W -/V -V -X -Y -Z
X.38 -/W -/V -W W /V X /W V /W W /V V X -Y -Z
X.39 -V -/W -/V -/V -/W -X -V -W -V -/V -/W -W -X -Z -/Y
X.40 -V -/W -/V /V /W X V W V /V /W W X -Z -/Y
X.41 -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -X -X
X.42 -*X -*X -*X *X *X *X *X *X *X *X *X *X *X -X -X
X.43 -/Y -Z -Y -Y -Z -*X -/Y -/Z -/Y -Y -Z -/Z -*X -W -/V
X.44 -/Y -Z -Y Y Z *X /Y /Z /Y Y Z /Z *X -W -/V
X.45 -Z -Y -/Z -/Z -Y -*X -Z -/Y -Z -/Z -Y -/Y -*X -V -W
X.46 -Z -Y -/Z /Z Y *X Z /Y Z /Z Y /Y *X -V -W
X.47 -/Z -/Y -Z -Z -/Y -*X -/Z -Y -/Z -Z -/Y -Y -*X -/V -/W
X.48 -/Z -/Y -Z Z /Y *X /Z Y /Z Z /Y Y *X -/V -/W
X.49 -Y -/Z -/Y -/Y -/Z -*X -Y -Z -Y -/Y -/Z -Z -*X -/W -V
X.50 -Y -/Z -/Y /Y /Z *X Y Z Y /Y /Z Z *X -/W -V
X.51 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
X.52 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1
X.53 -B -/A -/B -/B -/A -1 -B -A -B -/B -/A -A -1 -/B -/A
X.54 -B -/A -/B /B /A 1 B A B /B /A A 1 -/B -/A
X.55 -/A -/B -A -A -/B -1 -/A -B -/A -A -/B -B -1 -A -/B
X.56 -/A -/B -A A /B 1 /A B /A A /B B 1 -A -/B
X.57 -A -B -/A -/A -B -1 -A -/B -A -/A -B -/B -1 -/A -B
X.58 -A -B -/A /A B 1 A /B A /A B /B 1 -/A -B
X.59 -/B -A -B -B -A -1 -/B -/A -/B -B -A -/A -1 -B -A
X.60 -/B -A -B B A 1 /B /A /B B A /A 1 -B -A
X.61 A B /A AG AH AI -/AG -/AH /AG -AG -AH /AH -AI -/A -B
X.62 A B /A -AG -AH -AI /AG /AH -/AG AG AH -/AH AI -/A -B
X.63 /B A B AH -/AG AI -/AH AG /AH -AH /AG -AG -AI -B -A
X.64 /B A B -AH /AG -AI /AH -AG -/AH AH -/AG AG AI -B -A
X.65 1 1 1 AI AI AI AI AI -AI -AI -AI -AI -AI -1 -1
X.66 1 1 1 -AI -AI -AI -AI -AI AI AI AI AI AI -1 -1
X.67 B /A /B -/AH AG AI AH -/AG -AH /AH -AG /AG -AI -/B -/A
X.68 B /A /B /AH -AG -AI -AH /AG AH -/AH AG -/AG AI -/B -/A
X.69 /A /B A -/AG -/AH AI AG AH -AG /AG /AH -AH -AI -A -/B
X.70 /A /B A /AG /AH -AI -AG -AH AG -/AG -/AH AH AI -A -/B
X.71 . . . . . . . . . . . . . . .
X.72 . . . . . . . . . . . . . . .
X.73 . . . . . . . . . . . . . . .
X.74 . . . . . . . . . . . . . . .
X.75 . . . . . . . . . . . . . . .
X.76 . . . . . . . . . . . . . . .
X.77 . . . . . . . . . . . . . . .
X.78 . . . . . . . . . . . . . . .
X.79 . . . . . . . . . . . . . . .
X.80 . . . . . . . . . . . . . . .
X.81 -A -B -/A -AG -AH -AI /AG /AH -/AG AG AH -/AH AI /A B
X.82 -A -B -/A AG AH AI -/AG -/AH /AG -AG -AH /AH -AI /A B
X.83 -/B -A -B -AH /AG -AI /AH -AG -/AH AH -/AG AG AI B A
X.84 -/B -A -B AH -/AG AI -/AH AG /AH -AH /AG -AG -AI B A
X.85 -1 -1 -1 -AI -AI -AI -AI -AI AI AI AI AI AI 1 1
X.86 -1 -1 -1 AI AI AI AI AI -AI -AI -AI -AI -AI 1 1
X.87 -B -/A -/B /AH -AG -AI -AH /AG AH -/AH AG -/AG AI /B /A
X.88 -B -/A -/B -/AH AG AI AH -/AG -AH /AH -AG /AG -AI /B /A
X.89 -/A -/B -A /AG /AH -AI -AG -AH AG -/AG -/AH AH AI A /B
X.90 -/A -/B -A -/AG -/AH AI AG AH -AG /AG /AH -AH -AI A /B
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
3 . . . . . . . . . . . . . . .
5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
5l 5m 5n 10n 10o 10p 10q 10r 20w 20x 20y 20z 20aa 20ab 20ac
2P 5h 5i 5f 5i 5e 5g 5f 5h 10i 10k 10l 10m 10j 10m 10i
3P 5h 5e 5g 10j 10l 10k 10m 10i 20v 20s 20u 20r 20t 20p 20o
5P 1a 1a 1a 2a 2a 2a 2a 2a 4a 4a 4a 4a 4a 4b 4b
7P 5h 5i 5f 10l 10j 10m 10k 10i 20v 20r 20t 20s 20u 20m 20o
11P 5l 5m 5n 10n 10o 10p 10q 10r 20ac 20ad 20af 20ab 20ae 20z 20w
13P 5h 5e 5g 10j 10l 10k 10m 10i 20o 20m 20q 20p 20n 20r 20v
17P 5h 5i 5f 10l 10j 10m 10k 10i 20o 20p 20n 20m 20q 20s 20v
19P 5l 5j 5k 10o 10n 10q 10p 10r 20ac 20ab 20ae 20ad 20af 20x 20w
23P 5h 5e 5g 10j 10l 10k 10m 10i 20v 20s 20u 20r 20t 20p 20o
29P 5l 5j 5k 10o 10n 10q 10p 10r 20w 20z 20aa 20x 20y 20ad 20ac
31P 5l 5m 5n 10n 10o 10p 10q 10r 20ac 20ad 20af 20ab 20ae 20z 20w
37P 5h 5i 5f 10l 10j 10m 10k 10i 20o 20p 20n 20m 20q 20s 20v
41P 5l 5m 5n 10n 10o 10p 10q 10r 20w 20x 20y 20z 20aa 20ab 20ac
43P 5h 5e 5g 10j 10l 10k 10m 10i 20v 20s 20u 20r 20t 20p 20o
47P 5h 5i 5f 10l 10j 10m 10k 10i 20v 20r 20t 20s 20u 20m 20o
53P 5h 5e 5g 10j 10l 10k 10m 10i 20o 20m 20q 20p 20n 20r 20v
59P 5l 5j 5k 10o 10n 10q 10p 10r 20ac 20ab 20ae 20ad 20af 20x 20w
X.1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
X.2 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1
X.3 1 B A B /B /A A 1 1 A B /A /B /A 1
X.4 1 B A B /B /A A 1 -1 -A -B -/A -/B -/A -1
X.5 1 /A B /A A /B B 1 1 B /A /B A /B 1
X.6 1 /A B /A A /B B 1 -1 -B -/A -/B -A -/B -1
X.7 1 A /B A /A B /B 1 1 /B A B /A B 1
X.8 1 A /B A /A B /B 1 -1 -/B -A -B -/A -B -1
X.9 1 /B /A /B B A /A 1 1 /A /B A B A 1
X.10 1 /B /A /B B A /A 1 -1 -/A -/B -A -B -A -1
X.11 *X /Y /Z -/Y -Y -Z -/Z -*X AF -/AD AE AD -/AE -AD -AF
X.12 *X /Y /Z -/Y -Y -Z -/Z -*X -AF /AD -AE -AD /AE AD AF
X.13 *X /Z Y -/Z -Z -/Y -Y -*X AF -/AE -/AD AE AD -AE -AF
X.14 *X /Z Y -/Z -Z -/Y -Y -*X -AF /AE /AD -AE -AD AE AF
X.15 *X *X *X -*X -*X -*X -*X -*X AF AF AF AF AF -AF -AF
X.16 *X *X *X -*X -*X -*X -*X -*X -AF -AF -AF -AF -AF AF AF
X.17 *X Z /Y -Z -/Z -Y -/Y -*X AF AE AD -/AE -/AD /AE -AF
X.18 *X Z /Y -Z -/Z -Y -/Y -*X -AF -AE -AD /AE /AD -/AE AF
X.19 *X Y Z -Y -/Y -/Z -Z -*X AF AD -/AE -/AD AE /AD -AF
X.20 *X Y Z -Y -/Y -/Z -Z -*X -AF -AD /AE /AD -AE -/AD AF
X.21 X V W -V -/V -/W -W -X AC AA -/AB -/AA AB /AA -AC
X.22 X V W -V -/V -/W -W -X -AC -AA /AB /AA -AB -/AA AC
X.23 X W /V -W -/W -V -/V -X AC AB AA -/AB -/AA /AB -AC
X.24 X W /V -W -/W -V -/V -X -AC -AB -AA /AB /AA -/AB AC
X.25 X X X -X -X -X -X -X AC AC AC AC AC -AC -AC
X.26 X X X -X -X -X -X -X -AC -AC -AC -AC -AC AC AC
X.27 X /W V -/W -W -/V -V -X AC -/AB -/AA AB AA -AB -AC
X.28 X /W V -/W -W -/V -V -X -AC /AB /AA -AB -AA AB AC
X.29 X /V /W -/V -V -W -/W -X AC -/AA AB AA -/AB -AA -AC
X.30 X /V /W -/V -V -W -/W -X -AC /AA -AB -AA /AB AA AC
X.31 -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X -*X
X.32 -*X -*X -*X -*X -*X -*X -*X -*X *X *X *X *X *X *X *X
X.33 -*X -Z -/Y -Z -/Z -Y -/Y -*X -*X -/Y -Z -Y -/Z -Y -*X
X.34 -*X -Z -/Y -Z -/Z -Y -/Y -*X *X /Y Z Y /Z Y *X
X.35 -*X -Y -Z -Y -/Y -/Z -Z -*X -*X -Z -Y -/Z -/Y -/Z -*X
X.36 -*X -Y -Z -Y -/Y -/Z -Z -*X *X Z Y /Z /Y /Z *X
X.37 -*X -/Y -/Z -/Y -Y -Z -/Z -*X -*X -/Z -/Y -Z -Y -Z -*X
X.38 -*X -/Y -/Z -/Y -Y -Z -/Z -*X *X /Z /Y Z Y Z *X
X.39 -*X -/Z -Y -/Z -Z -/Y -Y -*X -*X -Y -/Z -/Y -Z -/Y -*X
X.40 -*X -/Z -Y -/Z -Z -/Y -Y -*X *X Y /Z /Y Z /Y *X
X.41 -X -X -X -X -X -X -X -X -X -X -X -X -X -X -X
X.42 -X -X -X -X -X -X -X -X X X X X X X X
X.43 -X -/W -V -/W -W -/V -V -X -X -V -/W -/V -W -/V -X
X.44 -X -/W -V -/W -W -/V -V -X X V /W /V W /V X
X.45 -X -/V -/W -/V -V -W -/W -X -X -/W -/V -W -V -W -X
X.46 -X -/V -/W -/V -V -W -/W -X X /W /V W V W X
X.47 -X -V -W -V -/V -/W -W -X -X -W -V -/W -/V -/W -X
X.48 -X -V -W -V -/V -/W -W -X X W V /W /V /W X
X.49 -X -W -/V -W -/W -V -/V -X -X -/V -W -V -/W -V -X
X.50 -X -W -/V -W -/W -V -/V -X X /V W V /W V X
X.51 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
X.52 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1
X.53 -1 -B -A -B -/B -/A -A -1 -1 -A -B -/A -/B -/A -1
X.54 -1 -B -A -B -/B -/A -A -1 1 A B /A /B /A 1
X.55 -1 -/A -B -/A -A -/B -B -1 -1 -B -/A -/B -A -/B -1
X.56 -1 -/A -B -/A -A -/B -B -1 1 B /A /B A /B 1
X.57 -1 -A -/B -A -/A -B -/B -1 -1 -/B -A -B -/A -B -1
X.58 -1 -A -/B -A -/A -B -/B -1 1 /B A B /A B 1
X.59 -1 -/B -/A -/B -B -A -/A -1 -1 -/A -/B -A -B -A -1
X.60 -1 -/B -/A -/B -B -A -/A -1 1 /A /B A B A 1
X.61 -1 -A -/B A /A B /B 1 AI -/AH -/AG AH AG -AH -AI
X.62 -1 -A -/B A /A B /B 1 -AI /AH /AG -AH -AG AH AI
X.63 -1 -/B -/A /B B A /A 1 AI AG -/AH -/AG AH /AG -AI
X.64 -1 -/B -/A /B B A /A 1 -AI -AG /AH /AG -AH -/AG AI
X.65 -1 -1 -1 1 1 1 1 1 AI AI AI AI AI -AI -AI
X.66 -1 -1 -1 1 1 1 1 1 -AI -AI -AI -AI -AI AI AI
X.67 -1 -B -A B /B /A A 1 AI -/AG AH AG -/AH -AG -AI
X.68 -1 -B -A B /B /A A 1 -AI /AG -AH -AG /AH AG AI
X.69 -1 -/A -B /A A /B B 1 AI AH AG -/AH -/AG /AH -AI
X.70 -1 -/A -B /A A /B B 1 -AI -AH -AG /AH /AG -/AH AI
X.71 . . . . . . . . . . . . . . .
X.72 . . . . . . . . . . . . . . .
X.73 . . . . . . . . . . . . . . .
X.74 . . . . . . . . . . . . . . .
X.75 . . . . . . . . . . . . . . .
X.76 . . . . . . . . . . . . . . .
X.77 . . . . . . . . . . . . . . .
X.78 . . . . . . . . . . . . . . .
X.79 . . . . . . . . . . . . . . .
X.80 . . . . . . . . . . . . . . .
X.81 1 A /B -A -/A -B -/B -1 -AI /AH /AG -AH -AG AH AI
X.82 1 A /B -A -/A -B -/B -1 AI -/AH -/AG AH AG -AH -AI
X.83 1 /B /A -/B -B -A -/A -1 -AI -AG /AH /AG -AH -/AG AI
X.84 1 /B /A -/B -B -A -/A -1 AI AG -/AH -/AG AH /AG -AI
X.85 1 1 1 -1 -1 -1 -1 -1 -AI -AI -AI -AI -AI AI AI
X.86 1 1 1 -1 -1 -1 -1 -1 AI AI AI AI AI -AI -AI
X.87 1 B A -B -/B -/A -A -1 -AI /AG -AH -AG /AH AG AI
X.88 1 B A -B -/B -/A -A -1 AI -/AG AH AG -/AH -AG -AI
X.89 1 /A B -/A -A -/B -B -1 -AI -AH -AG /AH /AG -/AH AI
X.90 1 /A B -/A -A -/B -B -1 AI AH AG -/AH -/AG /AH -AI
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
3 . . . 1 1 1 1 1 1 1 1 1 1 1 1
5 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1
20ad 20ae 20af 60a 12a 60b 60c 60d 60e 60f 12b 60g 60h 15a 15b
2P 10k 10j 10l 30d 6a 30b 30a 30c 30a 30d 6a 30c 30b 15b 15d
3P 20m 20n 20q 20a 4a 20b 20c 20d 20h 20f 4b 20e 20g 5d 5a
5P 4b 4b 4b 12a 12a 12a 12a 12a 12b 12b 12b 12b 12b 3a 3a
7P 20p 20q 20n 60e 12b 60g 60h 60f 60b 60c 12a 60a 60d 15b 15d
11P 20x 20aa 20y 60f 12b 60h 60e 60g 60c 60a 12a 60d 60b 15a 15b
13P 20s 20t 20u 60d 12a 60c 60a 60b 60f 60g 12b 60h 60e 15c 15a
17P 20r 20u 20t 60c 12a 60d 60b 60a 60h 60e 12b 60f 60g 15b 15d
19P 20z 20y 20aa 60h 12b 60f 60g 60e 60d 60b 12a 60c 60a 15d 15c
23P 20m 20n 20q 60g 12b 60e 60f 60h 60a 60d 12a 60b 60c 15c 15a
29P 20ab 20af 20ae 60b 12a 60a 60d 60c 60g 60h 12b 60e 60f 15d 15c
31P 20x 20aa 20y 60f 12b 60h 60e 60g 60c 60a 12a 60d 60b 15a 15b
37P 20r 20u 20t 60c 12a 60d 60b 60a 60h 60e 12b 60f 60g 15b 15d
41P 20ad 20ae 20af 60a 12a 60b 60c 60d 60e 60f 12b 60g 60h 15a 15b
43P 20m 20n 20q 60g 12b 60e 60f 60h 60a 60d 12a 60b 60c 15c 15a
47P 20p 20q 20n 60e 12b 60g 60h 60f 60b 60c 12a 60a 60d 15b 15d
53P 20s 20t 20u 60d 12a 60c 60a 60b 60f 60g 12b 60h 60e 15c 15a
59P 20z 20y 20aa 60h 12b 60f 60g 60e 60d 60b 12a 60c 60a 15d 15c
X.1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
X.2 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1
X.3 A /B B /A 1 A /B B /B /A 1 B A A B
X.4 -A -/B -B -/A -1 -A -/B -B -/B -/A -1 -B -A A B
X.5 B A /A /B 1 B A /A A /B 1 /A B B /A
X.6 -B -A -/A -/B -1 -B -A -/A -A -/B -1 -/A -B B /A
X.7 /B /A A B 1 /B /A A /A B 1 A /B /B A
X.8 -/B -/A -A -B -1 -/B -/A -A -/A -B -1 -A -/B /B A
X.9 /A B /B A 1 /A B /B B A 1 /B /A /A /B
X.10 -/A -B -/B -A -1 -/A -B -/B -B -A -1 -/B -/A /A /B
X.11 /AD /AE -AE -AH -AI /AH -AG /AG AG AH AI -/AG -/AH -/B -A
X.12 -/AD -/AE AE AH AI -/AH AG -/AG -AG -AH -AI /AG /AH -/B -A
X.13 /AE -AD /AD /AG -AI -AG -AH /AH AH -/AG AI -/AH AG -/A -/B
X.14 -/AE AD -/AD -/AG AI AG AH -/AH -AH /AG -AI /AH -AG -/A -/B
X.15 -AF -AF -AF -AI -AI -AI -AI -AI AI AI AI AI AI -1 -1
X.16 AF AF AF AI AI AI AI AI -AI -AI -AI -AI -AI -1 -1
X.17 -AE /AD -AD -AG -AI /AG /AH -AH -/AH AG AI AH -/AG -A -B
X.18 AE -/AD AD AG AI -/AG -/AH AH /AH -AG -AI -AH /AG -A -B
X.19 -AD -AE /AE /AH -AI -AH /AG -AG -/AG -/AH AI AG AH -B -/A
X.20 AD AE -/AE -/AH AI AH -/AG AG /AG /AH -AI -AG -AH -B -/A
X.21 -AA -AB /AB /AG -AI -AG -AH /AH AH -/AG AI -/AH AG -/A -/B
X.22 AA AB -/AB -/AG AI AG AH -/AH -AH /AG -AI /AH -AG -/A -/B
X.23 -AB /AA -AA /AH -AI -AH /AG -AG -/AG -/AH AI AG AH -B -/A
X.24 AB -/AA AA -/AH AI AH -/AG AG /AG /AH -AI -AG -AH -B -/A
X.25 -AC -AC -AC -AI -AI -AI -AI -AI AI AI AI AI AI -1 -1
X.26 AC AC AC AI AI AI AI AI -AI -AI -AI -AI -AI -1 -1
X.27 /AB -AA /AA -AH -AI /AH -AG /AG AG AH AI -/AG -/AH -/B -A
X.28 -/AB AA -/AA AH AI -/AH AG -/AG -AG -AH -AI /AG /AH -/B -A
X.29 /AA /AB -AB -AG -AI /AG /AH -AH -/AH AG AI AH -/AG -A -B
X.30 -/AA -/AB AB AG AI -/AG -/AH AH /AH -AG -AI -AH /AG -A -B
X.31 -*X -*X -*X . . . . . . . . . . . .
X.32 *X *X *X . . . . . . . . . . . .
X.33 -/Y -/Z -Z . . . . . . . . . . . .
X.34 /Y /Z Z . . . . . . . . . . . .
X.35 -Z -/Y -Y . . . . . . . . . . . .
X.36 Z /Y Y . . . . . . . . . . . .
X.37 -/Z -Y -/Y . . . . . . . . . . . .
X.38 /Z Y /Y . . . . . . . . . . . .
X.39 -Y -Z -/Z . . . . . . . . . . . .
X.40 Y Z /Z . . . . . . . . . . . .
X.41 -X -X -X . . . . . . . . . . . .
X.42 X X X . . . . . . . . . . . .
X.43 -V -W -/W . . . . . . . . . . . .
X.44 V W /W . . . . . . . . . . . .
X.45 -/W -V -/V . . . . . . . . . . . .
X.46 /W V /V . . . . . . . . . . . .
X.47 -W -/V -V . . . . . . . . . . . .
X.48 W /V V . . . . . . . . . . . .
X.49 -/V -/W -W . . . . . . . . . . . .
X.50 /V /W W . . . . . . . . . . . .
X.51 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1
X.52 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1
X.53 -A -/B -B /A 1 A /B B /B /A 1 B A A B
X.54 A /B B -/A -1 -A -/B -B -/B -/A -1 -B -A A B
X.55 -B -A -/A /B 1 B A /A A /B 1 /A B B /A
X.56 B A /A -/B -1 -B -A -/A -A -/B -1 -/A -B B /A
X.57 -/B -/A -A B 1 /B /A A /A B 1 A /B /B A
X.58 /B /A A -B -1 -/B -/A -A -/A -B -1 -A -/B /B A
X.59 -/A -B -/B A 1 /A B /B B A 1 /B /A /A /B
X.60 /A B /B -A -1 -/A -B -/B -B -A -1 -/B -/A /A /B
X.61 /AH -AG /AG AH AI -/AH AG -/AG -AG -AH -AI /AG /AH /B A
X.62 -/AH AG -/AG -AH -AI /AH -AG /AG AG AH AI -/AG -/AH /B A
X.63 -AG -AH /AH -/AG AI AG AH -/AH -AH /AG -AI /AH -AG /A /B
X.64 AG AH -/AH /AG -AI -AG -AH /AH AH -/AG AI -/AH AG /A /B
X.65 -AI -AI -AI AI AI AI AI AI -AI -AI -AI -AI -AI 1 1
X.66 AI AI AI -AI -AI -AI -AI -AI AI AI AI AI AI 1 1
X.67 /AG /AH -AH AG AI -/AG -/AH AH /AH -AG -AI -AH /AG A B
X.68 -/AG -/AH AH -AG -AI /AG /AH -AH -/AH AG AI AH -/AG A B
X.69 -AH /AG -AG -/AH AI AH -/AG AG /AG /AH -AI -AG -AH B /A
X.70 AH -/AG AG /AH -AI -AH /AG -AG -/AG -/AH AI AG AH B /A
X.71 . . . -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
X.72 . . . 1 1 1 1 1 1 1 1 1 1 -1 -1
X.73 . . . -/A -1 -A -/B -B -/B -/A -1 -B -A -A -B
X.74 . . . /A 1 A /B B /B /A 1 B A -A -B
X.75 . . . -/B -1 -B -A -/A -A -/B -1 -/A -B -B -/A
X.76 . . . /B 1 B A /A A /B 1 /A B -B -/A
X.77 . . . -B -1 -/B -/A -A -/A -B -1 -A -/B -/B -A
X.78 . . . B 1 /B /A A /A B 1 A /B -/B -A
X.79 . . . -A -1 -/A -B -/B -B -A -1 -/B -/A -/A -/B
X.80 . . . A 1 /A B /B B A 1 /B /A -/A -/B
X.81 -/AH AG -/AG . . . . . . . . . . . .
X.82 /AH -AG /AG . . . . . . . . . . . .
X.83 AG AH -/AH . . . . . . . . . . . .
X.84 -AG -AH /AH . . . . . . . . . . . .
X.85 AI AI AI . . . . . . . . . . . .
X.86 -AI -AI -AI . . . . . . . . . . . .
X.87 -/AG -/AH AH . . . . . . . . . . . .
X.88 /AG /AH -AH . . . . . . . . . . . .
X.89 AH -/AG AG . . . . . . . . . . . .
X.90 -AH /AG -AG . . . . . . . . . . . .
2 2 2 2 2 2 2 2 2
3 1 1 1 1 1 1 1 1
5 1 1 1 1 1 1 1 1
15c 3a 15d 6a 30a 30b 30c 30d
2P 15a 3a 15c 3a 15b 15d 15c 15a
3P 5c 1a 5b 2a 10c 10b 10d 10a
5P 3a 3a 3a 6a 6a 6a 6a 6a
7P 15a 3a 15c 6a 30b 30c 30d 30a
11P 15c 3a 15d 6a 30a 30b 30c 30d
13P 15d 3a 15b 6a 30d 30a 30b 30c
17P 15a 3a 15c 6a 30b 30c 30d 30a
19P 15b 3a 15a 6a 30c 30d 30a 30b
23P 15d 3a 15b 6a 30d 30a 30b 30c
29P 15b 3a 15a 6a 30c 30d 30a 30b
31P 15c 3a 15d 6a 30a 30b 30c 30d
37P 15a 3a 15c 6a 30b 30c 30d 30a
41P 15c 3a 15d 6a 30a 30b 30c 30d
43P 15d 3a 15b 6a 30d 30a 30b 30c
47P 15a 3a 15c 6a 30b 30c 30d 30a
53P 15d 3a 15b 6a 30d 30a 30b 30c
59P 15b 3a 15a 6a 30c 30d 30a 30b
X.1 1 1 1 1 1 1 1 1
X.2 1 1 1 1 1 1 1 1
X.3 /B 1 /A 1 A B /A /B
X.4 /B 1 /A 1 A B /A /B
X.5 A 1 /B 1 B /A /B A
X.6 A 1 /B 1 B /A /B A
X.7 /A 1 B 1 /B A B /A
X.8 /A 1 B 1 /B A B /A
X.9 B 1 A 1 /A /B A B
X.10 B 1 A 1 /A /B A B
X.11 -/A -1 -B 1 /B A B /A
X.12 -/A -1 -B 1 /B A B /A
X.13 -B -1 -A 1 /A /B A B
X.14 -B -1 -A 1 /A /B A B
X.15 -1 -1 -1 1 1 1 1 1
X.16 -1 -1 -1 1 1 1 1 1
X.17 -/B -1 -/A 1 A B /A /B
X.18 -/B -1 -/A 1 A B /A /B
X.19 -A -1 -/B 1 B /A /B A
X.20 -A -1 -/B 1 B /A /B A
X.21 -B -1 -A 1 /A /B A B
X.22 -B -1 -A 1 /A /B A B
X.23 -A -1 -/B 1 B /A /B A
X.24 -A -1 -/B 1 B /A /B A
X.25 -1 -1 -1 1 1 1 1 1
X.26 -1 -1 -1 1 1 1 1 1
X.27 -/A -1 -B 1 /B A B /A
X.28 -/A -1 -B 1 /B A B /A
X.29 -/B -1 -/A 1 A B /A /B
X.30 -/B -1 -/A 1 A B /A /B
X.31 . . . . . . . .
X.32 . . . . . . . .
X.33 . . . . . . . .
X.34 . . . . . . . .
X.35 . . . . . . . .
X.36 . . . . . . . .
X.37 . . . . . . . .
X.38 . . . . . . . .
X.39 . . . . . . . .
X.40 . . . . . . . .
X.41 . . . . . . . .
X.42 . . . . . . . .
X.43 . . . . . . . .
X.44 . . . . . . . .
X.45 . . . . . . . .
X.46 . . . . . . . .
X.47 . . . . . . . .
X.48 . . . . . . . .
X.49 . . . . . . . .
X.50 . . . . . . . .
X.51 1 1 1 1 1 1 1 1
X.52 1 1 1 1 1 1 1 1
X.53 /B 1 /A 1 A B /A /B
X.54 /B 1 /A 1 A B /A /B
X.55 A 1 /B 1 B /A /B A
X.56 A 1 /B 1 B /A /B A
X.57 /A 1 B 1 /B A B /A
X.58 /A 1 B 1 /B A B /A
X.59 B 1 A 1 /A /B A B
X.60 B 1 A 1 /A /B A B
X.61 /A 1 B -1 -/B -A -B -/A
X.62 /A 1 B -1 -/B -A -B -/A
X.63 B 1 A -1 -/A -/B -A -B
X.64 B 1 A -1 -/A -/B -A -B
X.65 1 1 1 -1 -1 -1 -1 -1
X.66 1 1 1 -1 -1 -1 -1 -1
X.67 /B 1 /A -1 -A -B -/A -/B
X.68 /B 1 /A -1 -A -B -/A -/B
X.69 A 1 /B -1 -B -/A -/B -A
X.70 A 1 /B -1 -B -/A -/B -A
X.71 -1 -1 -1 -1 -1 -1 -1 -1
X.72 -1 -1 -1 -1 -1 -1 -1 -1
X.73 -/B -1 -/A -1 -A -B -/A -/B
X.74 -/B -1 -/A -1 -A -B -/A -/B
X.75 -A -1 -/B -1 -B -/A -/B -A
X.76 -A -1 -/B -1 -B -/A -/B -A
X.77 -/A -1 -B -1 -/B -A -B -/A
X.78 -/A -1 -B -1 -/B -A -B -/A
X.79 -B -1 -A -1 -/A -/B -A -B
X.80 -B -1 -A -1 -/A -/B -A -B
X.81 . . . . . . . .
X.82 . . . . . . . .
X.83 . . . . . . . .
X.84 . . . . . . . .
X.85 . . . . . . . .
X.86 . . . . . . . .
X.87 . . . . . . . .
X.88 . . . . . . . .
X.89 . . . . . . . .
X.90 . . . . . . . .
A = E(5)
B = E(5)^2
C = 2*E(5)^3
D = 2*E(5)^4
E = 3*E(5)
F = 3*E(5)^2
G = 4*E(5)
H = 4*E(5)^2
I = 5*E(5)
J = 5*E(5)^2
K = 6*E(5)^3
L = 6*E(5)^4
M = -2*E(20)^9
N = -2*E(20)^17
O = -2*E(4)
= -2*ER(-1) = -2i
P = -4*E(20)^9
Q = -4*E(20)^17
R = -4*E(4)
= -4*ER(-1) = -4i
S = -6*E(20)^9
T = -6*E(20)^17
U = -6*E(4)
= -6*ER(-1) = -6i
V = E(5)^2+E(5)^4
W = -E(5)-E(5)^2-E(5)^4
X = E(5)+E(5)^4
= (-1+ER(5))/2 = b5
Y = E(5)+E(5)^2
Z = -E(5)-E(5)^2-E(5)^3
AA = E(20)+E(20)^9+E(20)^13
AB = -E(20)^9-E(20)^17
AC = -E(20)-E(20)^9
AD = E(20)^9+E(20)^13+E(20)^17
AE = -E(20)-E(20)^17
AF = -E(20)^13-E(20)^17
AG = E(20)
AH = E(20)^13
AI = E(4)
= ER(-1) = i
gap> quit;