Spracherkennung für: .nr vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
NI16_3 := rec(
group_name := "16/3",
group_generators := [ (1,2,3,4), (5,6,7,8) ],
elements := rec(
1 := (),
2 := (5,6,7,8),
3 := (5,7)(6,8),
4 := (5,8,7,6),
5 := (1,2,3,4),
6 := (1,2,3,4)(5,6,7,8),
7 := (1,2,3,4)(5,7)(6,8),
8 := (1,2,3,4)(5,8,7,6),
9 := (1,3)(2,4),
10 := (1,3)(2,4)(5,6,7,8),
11 := (1,3)(2,4)(5,7)(6,8),
12 := (1,3)(2,4)(5,8,7,6),
13 := (1,4,3,2),
14 := (1,4,3,2)(5,6,7,8),
15 := (1,4,3,2)(5,7)(6,8),
16 := (1,4,3,2)(5,8,7,6) ),
group_endomorphisms := rec(
1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
2 := [ 1, 1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4 ],
3 := [ 1, 1, 1, 1, 3, 3, 3, 3, 1, 1, 1, 1, 3, 3, 3, 3 ],
4 := [ 1, 1, 1, 1, 4, 4, 4, 4, 3, 3, 3, 3, 2, 2, 2, 2 ],
5 := [ 1, 1, 1, 1, 5, 5, 5, 5, 9, 9, 9, 9, 13, 13, 13, 13 ],
6 := [ 1, 1, 1, 1, 6, 6, 6, 6, 11, 11, 11, 11, 16, 16, 16, 16 ],
7 := [ 1, 1, 1, 1, 7, 7, 7, 7, 9, 9, 9, 9, 15, 15, 15, 15 ],
8 := [ 1, 1, 1, 1, 8, 8, 8, 8, 11, 11, 11, 11, 14, 14, 14, 14 ],
9 := [ 1, 1, 1, 1, 9, 9, 9, 9, 1, 1, 1, 1, 9, 9, 9, 9 ],
10 := [ 1, 1, 1, 1, 10, 10, 10, 10, 3, 3, 3, 3, 12, 12, 12, 12 ],
11 := [ 1, 1, 1, 1, 11, 11, 11, 11, 1, 1, 1, 1, 11, 11, 11, 11 ],
12 := [ 1, 1, 1, 1, 12, 12, 12, 12, 3, 3, 3, 3, 10, 10, 10, 10 ],
13 := [ 1, 1, 1, 1, 13, 13, 13, 13, 9, 9, 9, 9, 5, 5, 5, 5 ],
14 := [ 1, 1, 1, 1, 14, 14, 14, 14, 11, 11, 11, 11, 8, 8, 8, 8 ],
15 := [ 1, 1, 1, 1, 15, 15, 15, 15, 9, 9, 9, 9, 7, 7, 7, 7 ],
16 := [ 1, 1, 1, 1, 16, 16, 16, 16, 11, 11, 11, 11, 6, 6, 6, 6 ],
17 := [ 1, 2, 3, 4, 1, 2, 3, 4, 1, 2, 3, 4, 1, 2, 3, 4 ],
18 := [ 1, 2, 3, 4, 2, 3, 4, 1, 3, 4, 1, 2, 4, 1, 2, 3 ],
19 := [ 1, 2, 3, 4, 3, 4, 1, 2, 1, 2, 3, 4, 3, 4, 1, 2 ],
20 := [ 1, 2, 3, 4, 4, 1, 2, 3, 3, 4, 1, 2, 2, 3, 4, 1 ],
21 := [ 1, 2, 3, 4, 6, 7, 8, 5, 11, 12, 9, 10, 16, 13, 14, 15 ],
22 := [ 1, 2, 3, 4, 7, 8, 5, 6, 9, 10, 11, 12, 15, 16, 13, 14 ],
23 := [ 1, 2, 3, 4, 8, 5, 6, 7, 11, 12, 9, 10, 14, 15, 16, 13 ],
24 := [ 1, 2, 3, 4, 9, 10, 11, 12, 1, 2, 3, 4, 9, 10, 11, 12 ],
25 := [ 1, 2, 3, 4, 10, 11, 12, 9, 3, 4, 1, 2, 12, 9, 10, 11 ],
26 := [ 1, 2, 3, 4, 11, 12, 9, 10, 1, 2, 3, 4, 11, 12, 9, 10 ],
27 := [ 1, 2, 3, 4, 12, 9, 10, 11, 3, 4, 1, 2, 10, 11, 12, 9 ],
28 := [ 1, 2, 3, 4, 13, 14, 15, 16, 9, 10, 11, 12, 5, 6, 7, 8 ],
29 := [ 1, 2, 3, 4, 14, 15, 16, 13, 11, 12, 9, 10, 8, 5, 6, 7 ],
30 := [ 1, 2, 3, 4, 15, 16, 13, 14, 9, 10, 11, 12, 7, 8, 5, 6 ],
31 := [ 1, 2, 3, 4, 16, 13, 14, 15, 11, 12, 9, 10, 6, 7, 8, 5 ],
32 := [ 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3 ],
33 := [ 1, 3, 1, 3, 2, 4, 2, 4, 3, 1, 3, 1, 4, 2, 4, 2 ],
34 := [ 1, 3, 1, 3, 3, 1, 3, 1, 1, 3, 1, 3, 3, 1, 3, 1 ],
35 := [ 1, 3, 1, 3, 4, 2, 4, 2, 3, 1, 3, 1, 2, 4, 2, 4 ],
36 := [ 1, 3, 1, 3, 5, 7, 5, 7, 9, 11, 9, 11, 13, 15, 13, 15 ],
37 := [ 1, 3, 1, 3, 6, 8, 6, 8, 11, 9, 11, 9, 16, 14, 16, 14 ],
38 := [ 1, 3, 1, 3, 7, 5, 7, 5, 9, 11, 9, 11, 15, 13, 15, 13 ],
39 := [ 1, 3, 1, 3, 8, 6, 8, 6, 11, 9, 11, 9, 14, 16, 14, 16 ],
40 := [ 1, 3, 1, 3, 9, 11, 9, 11, 1, 3, 1, 3, 9, 11, 9, 11 ],
41 := [ 1, 3, 1, 3, 10, 12, 10, 12, 3, 1, 3, 1, 12, 10, 12, 10 ],
42 := [ 1, 3, 1, 3, 11, 9, 11, 9, 1, 3, 1, 3, 11, 9, 11, 9 ],
43 := [ 1, 3, 1, 3, 12, 10, 12, 10, 3, 1, 3, 1, 10, 12, 10, 12 ],
44 := [ 1, 3, 1, 3, 13, 15, 13, 15, 9, 11, 9, 11, 5, 7, 5, 7 ],
45 := [ 1, 3, 1, 3, 14, 16, 14, 16, 11, 9, 11, 9, 8, 6, 8, 6 ],
46 := [ 1, 3, 1, 3, 15, 13, 15, 13, 9, 11, 9, 11, 7, 5, 7, 5 ],
47 := [ 1, 3, 1, 3, 16, 14, 16, 14, 11, 9, 11, 9, 6, 8, 6, 8 ],
48 := [ 1, 4, 3, 2, 1, 4, 3, 2, 1, 4, 3, 2, 1, 4, 3, 2 ],
49 := [ 1, 4, 3, 2, 2, 1, 4, 3, 3, 2, 1, 4, 4, 3, 2, 1 ],
50 := [ 1, 4, 3, 2, 3, 2, 1, 4, 1, 4, 3, 2, 3, 2, 1, 4 ],
51 := [ 1, 4, 3, 2, 4, 3, 2, 1, 3, 2, 1, 4, 2, 1, 4, 3 ],
52 := [ 1, 4, 3, 2, 5, 8, 7, 6, 9, 12, 11, 10, 13, 16, 15, 14 ],
53 := [ 1, 4, 3, 2, 6, 5, 8, 7, 11, 10, 9, 12, 16, 15, 14, 13 ],
54 := [ 1, 4, 3, 2, 7, 6, 5, 8, 9, 12, 11, 10, 15, 14, 13, 16 ],
55 := [ 1, 4, 3, 2, 8, 7, 6, 5, 11, 10, 9, 12, 14, 13, 16, 15 ],
56 := [ 1, 4, 3, 2, 9, 12, 11, 10, 1, 4, 3, 2, 9, 12, 11, 10 ],
57 := [ 1, 4, 3, 2, 10, 9, 12, 11, 3, 2, 1, 4, 12, 11, 10, 9 ],
58 := [ 1, 4, 3, 2, 11, 10, 9, 12, 1, 4, 3, 2, 11, 10, 9, 12 ],
59 := [ 1, 4, 3, 2, 12, 11, 10, 9, 3, 2, 1, 4, 10, 9, 12, 11 ],
60 := [ 1, 4, 3, 2, 13, 16, 15, 14, 9, 12, 11, 10, 5, 8, 7, 6 ],
61 := [ 1, 4, 3, 2, 14, 13, 16, 15, 11, 10, 9, 12, 8, 7, 6, 5 ],
62 := [ 1, 4, 3, 2, 15, 14, 13, 16, 9, 12, 11, 10, 7, 6, 5, 8 ],
63 := [ 1, 4, 3, 2, 16, 15, 14, 13, 11, 10, 9, 12, 6, 5, 8, 7 ],
64 := [ 1, 5, 9, 13, 1, 5, 9, 13, 1, 5, 9, 13, 1, 5, 9, 13 ],
65 := [ 1, 5, 9, 13, 2, 6, 10, 14, 3, 7, 11, 15, 4, 8, 12, 16 ],
66 := [ 1, 5, 9, 13, 3, 7, 11, 15, 1, 5, 9, 13, 3, 7, 11, 15 ],
67 := [ 1, 5, 9, 13, 4, 8, 12, 16, 3, 7, 11, 15, 2, 6, 10, 14 ],
68 := [ 1, 5, 9, 13, 5, 9, 13, 1, 9, 13, 1, 5, 13, 1, 5, 9 ],
69 := [ 1, 5, 9, 13, 6, 10, 14, 2, 11, 15, 3, 7, 16, 4, 8, 12 ],
70 := [ 1, 5, 9, 13, 7, 11, 15, 3, 9, 13, 1, 5, 15, 3, 7, 11 ],
71 := [ 1, 5, 9, 13, 8, 12, 16, 4, 11, 15, 3, 7, 14, 2, 6, 10 ],
72 := [ 1, 5, 9, 13, 9, 13, 1, 5, 1, 5, 9, 13, 9, 13, 1, 5 ],
73 := [ 1, 5, 9, 13, 10, 14, 2, 6, 3, 7, 11, 15, 12, 16, 4, 8 ],
74 := [ 1, 5, 9, 13, 11, 15, 3, 7, 1, 5, 9, 13, 11, 15, 3, 7 ],
75 := [ 1, 5, 9, 13, 12, 16, 4, 8, 3, 7, 11, 15, 10, 14, 2, 6 ],
76 := [ 1, 5, 9, 13, 13, 1, 5, 9, 9, 13, 1, 5, 5, 9, 13, 1 ],
77 := [ 1, 5, 9, 13, 14, 2, 6, 10, 11, 15, 3, 7, 8, 12, 16, 4 ],
78 := [ 1, 5, 9, 13, 15, 3, 7, 11, 9, 13, 1, 5, 7, 11, 15, 3 ],
79 := [ 1, 5, 9, 13, 16, 4, 8, 12, 11, 15, 3, 7, 6, 10, 14, 2 ],
80 := [ 1, 6, 11, 16, 1, 6, 11, 16, 1, 6, 11, 16, 1, 6, 11, 16 ],
81 := [ 1, 6, 11, 16, 2, 7, 12, 13, 3, 8, 9, 14, 4, 5, 10, 15 ],
82 := [ 1, 6, 11, 16, 3, 8, 9, 14, 1, 6, 11, 16, 3, 8, 9, 14 ],
83 := [ 1, 6, 11, 16, 4, 5, 10, 15, 3, 8, 9, 14, 2, 7, 12, 13 ],
84 := [ 1, 6, 11, 16, 5, 10, 15, 4, 9, 14, 3, 8, 13, 2, 7, 12 ],
85 := [ 1, 6, 11, 16, 6, 11, 16, 1, 11, 16, 1, 6, 16, 1, 6, 11 ],
86 := [ 1, 6, 11, 16, 7, 12, 13, 2, 9, 14, 3, 8, 15, 4, 5, 10 ],
87 := [ 1, 6, 11, 16, 8, 9, 14, 3, 11, 16, 1, 6, 14, 3, 8, 9 ],
88 := [ 1, 6, 11, 16, 9, 14, 3, 8, 1, 6, 11, 16, 9, 14, 3, 8 ],
89 := [ 1, 6, 11, 16, 10, 15, 4, 5, 3, 8, 9, 14, 12, 13, 2, 7 ],
90 := [ 1, 6, 11, 16, 11, 16, 1, 6, 1, 6, 11, 16, 11, 16, 1, 6 ],
91 := [ 1, 6, 11, 16, 12, 13, 2, 7, 3, 8, 9, 14, 10, 15, 4, 5 ],
92 := [ 1, 6, 11, 16, 13, 2, 7, 12, 9, 14, 3, 8, 5, 10, 15, 4 ],
93 := [ 1, 6, 11, 16, 14, 3, 8, 9, 11, 16, 1, 6, 8, 9, 14, 3 ],
94 := [ 1, 6, 11, 16, 15, 4, 5, 10, 9, 14, 3, 8, 7, 12, 13, 2 ],
95 := [ 1, 6, 11, 16, 16, 1, 6, 11, 11, 16, 1, 6, 6, 11, 16, 1 ],
96 := [ 1, 7, 9, 15, 1, 7, 9, 15, 1, 7, 9, 15, 1, 7, 9, 15 ],
97 := [ 1, 7, 9, 15, 2, 8, 10, 16, 3, 5, 11, 13, 4, 6, 12, 14 ],
98 := [ 1, 7, 9, 15, 3, 5, 11, 13, 1, 7, 9, 15, 3, 5, 11, 13 ],
99 := [ 1, 7, 9, 15, 4, 6, 12, 14, 3, 5, 11, 13, 2, 8, 10, 16 ],
100 := [ 1, 7, 9, 15, 5, 11, 13, 3, 9, 15, 1, 7, 13, 3, 5, 11 ],
101 := [ 1, 7, 9, 15, 6, 12, 14, 4, 11, 13, 3, 5, 16, 2, 8, 10 ],
102 := [ 1, 7, 9, 15, 7, 9, 15, 1, 9, 15, 1, 7, 15, 1, 7, 9 ],
103 := [ 1, 7, 9, 15, 8, 10, 16, 2, 11, 13, 3, 5, 14, 4, 6, 12 ],
104 := [ 1, 7, 9, 15, 9, 15, 1, 7, 1, 7, 9, 15, 9, 15, 1, 7 ],
105 := [ 1, 7, 9, 15, 10, 16, 2, 8, 3, 5, 11, 13, 12, 14, 4, 6 ],
106 := [ 1, 7, 9, 15, 11, 13, 3, 5, 1, 7, 9, 15, 11, 13, 3, 5 ],
107 := [ 1, 7, 9, 15, 12, 14, 4, 6, 3, 5, 11, 13, 10, 16, 2, 8 ],
108 := [ 1, 7, 9, 15, 13, 3, 5, 11, 9, 15, 1, 7, 5, 11, 13, 3 ],
109 := [ 1, 7, 9, 15, 14, 4, 6, 12, 11, 13, 3, 5, 8, 10, 16, 2 ],
110 := [ 1, 7, 9, 15, 15, 1, 7, 9, 9, 15, 1, 7, 7, 9, 15, 1 ],
111 := [ 1, 7, 9, 15, 16, 2, 8, 10, 11, 13, 3, 5, 6, 12, 14, 4 ],
112 := [ 1, 8, 11, 14, 1, 8, 11, 14, 1, 8, 11, 14, 1, 8, 11, 14 ],
113 := [ 1, 8, 11, 14, 2, 5, 12, 15, 3, 6, 9, 16, 4, 7, 10, 13 ],
114 := [ 1, 8, 11, 14, 3, 6, 9, 16, 1, 8, 11, 14, 3, 6, 9, 16 ],
115 := [ 1, 8, 11, 14, 4, 7, 10, 13, 3, 6, 9, 16, 2, 5, 12, 15 ],
116 := [ 1, 8, 11, 14, 5, 12, 15, 2, 9, 16, 3, 6, 13, 4, 7, 10 ],
117 := [ 1, 8, 11, 14, 6, 9, 16, 3, 11, 14, 1, 8, 16, 3, 6, 9 ],
118 := [ 1, 8, 11, 14, 7, 10, 13, 4, 9, 16, 3, 6, 15, 2, 5, 12 ],
119 := [ 1, 8, 11, 14, 8, 11, 14, 1, 11, 14, 1, 8, 14, 1, 8, 11 ],
120 := [ 1, 8, 11, 14, 9, 16, 3, 6, 1, 8, 11, 14, 9, 16, 3, 6 ],
121 := [ 1, 8, 11, 14, 10, 13, 4, 7, 3, 6, 9, 16, 12, 15, 2, 5 ],
122 := [ 1, 8, 11, 14, 11, 14, 1, 8, 1, 8, 11, 14, 11, 14, 1, 8 ],
123 := [ 1, 8, 11, 14, 12, 15, 2, 5, 3, 6, 9, 16, 10, 13, 4, 7 ],
124 := [ 1, 8, 11, 14, 13, 4, 7, 10, 9, 16, 3, 6, 5, 12, 15, 2 ],
125 := [ 1, 8, 11, 14, 14, 1, 8, 11, 11, 14, 1, 8, 8, 11, 14, 1 ],
126 := [ 1, 8, 11, 14, 15, 2, 5, 12, 9, 16, 3, 6, 7, 10, 13, 4 ],
127 := [ 1, 8, 11, 14, 16, 3, 6, 9, 11, 14, 1, 8, 6, 9, 16, 3 ],
128 := [ 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 9 ],
129 := [ 1, 9, 1, 9, 2, 10, 2, 10, 3, 11, 3, 11, 4, 12, 4, 12 ],
130 := [ 1, 9, 1, 9, 3, 11, 3, 11, 1, 9, 1, 9, 3, 11, 3, 11 ],
131 := [ 1, 9, 1, 9, 4, 12, 4, 12, 3, 11, 3, 11, 2, 10, 2, 10 ],
132 := [ 1, 9, 1, 9, 5, 13, 5, 13, 9, 1, 9, 1, 13, 5, 13, 5 ],
133 := [ 1, 9, 1, 9, 6, 14, 6, 14, 11, 3, 11, 3, 16, 8, 16, 8 ],
134 := [ 1, 9, 1, 9, 7, 15, 7, 15, 9, 1, 9, 1, 15, 7, 15, 7 ],
135 := [ 1, 9, 1, 9, 8, 16, 8, 16, 11, 3, 11, 3, 14, 6, 14, 6 ],
136 := [ 1, 9, 1, 9, 9, 1, 9, 1, 1, 9, 1, 9, 9, 1, 9, 1 ],
137 := [ 1, 9, 1, 9, 10, 2, 10, 2, 3, 11, 3, 11, 12, 4, 12, 4 ],
138 := [ 1, 9, 1, 9, 11, 3, 11, 3, 1, 9, 1, 9, 11, 3, 11, 3 ],
139 := [ 1, 9, 1, 9, 12, 4, 12, 4, 3, 11, 3, 11, 10, 2, 10, 2 ],
140 := [ 1, 9, 1, 9, 13, 5, 13, 5, 9, 1, 9, 1, 5, 13, 5, 13 ],
141 := [ 1, 9, 1, 9, 14, 6, 14, 6, 11, 3, 11, 3, 8, 16, 8, 16 ],
142 := [ 1, 9, 1, 9, 15, 7, 15, 7, 9, 1, 9, 1, 7, 15, 7, 15 ],
143 := [ 1, 9, 1, 9, 16, 8, 16, 8, 11, 3, 11, 3, 6, 14, 6, 14 ],
144 := [ 1, 10, 3, 12, 1, 10, 3, 12, 1, 10, 3, 12, 1, 10, 3, 12 ],
145 := [ 1, 10, 3, 12, 2, 11, 4, 9, 3, 12, 1, 10, 4, 9, 2, 11 ],
146 := [ 1, 10, 3, 12, 3, 12, 1, 10, 1, 10, 3, 12, 3, 12, 1, 10 ],
147 := [ 1, 10, 3, 12, 4, 9, 2, 11, 3, 12, 1, 10, 2, 11, 4, 9 ],
148 := [ 1, 10, 3, 12, 5, 14, 7, 16, 9, 2, 11, 4, 13, 6, 15, 8 ],
149 := [ 1, 10, 3, 12, 6, 15, 8, 13, 11, 4, 9, 2, 16, 5, 14, 7 ],
150 := [ 1, 10, 3, 12, 7, 16, 5, 14, 9, 2, 11, 4, 15, 8, 13, 6 ],
151 := [ 1, 10, 3, 12, 8, 13, 6, 15, 11, 4, 9, 2, 14, 7, 16, 5 ],
152 := [ 1, 10, 3, 12, 9, 2, 11, 4, 1, 10, 3, 12, 9, 2, 11, 4 ],
153 := [ 1, 10, 3, 12, 10, 3, 12, 1, 3, 12, 1, 10, 12, 1, 10, 3 ],
154 := [ 1, 10, 3, 12, 11, 4, 9, 2, 1, 10, 3, 12, 11, 4, 9, 2 ],
155 := [ 1, 10, 3, 12, 12, 1, 10, 3, 3, 12, 1, 10, 10, 3, 12, 1 ],
156 := [ 1, 10, 3, 12, 13, 6, 15, 8, 9, 2, 11, 4, 5, 14, 7, 16 ],
157 := [ 1, 10, 3, 12, 14, 7, 16, 5, 11, 4, 9, 2, 8, 13, 6, 15 ],
158 := [ 1, 10, 3, 12, 15, 8, 13, 6, 9, 2, 11, 4, 7, 16, 5, 14 ],
159 := [ 1, 10, 3, 12, 16, 5, 14, 7, 11, 4, 9, 2, 6, 15, 8, 13 ],
160 := [ 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11 ],
161 := [ 1, 11, 1, 11, 2, 12, 2, 12, 3, 9, 3, 9, 4, 10, 4, 10 ],
162 := [ 1, 11, 1, 11, 3, 9, 3, 9, 1, 11, 1, 11, 3, 9, 3, 9 ],
163 := [ 1, 11, 1, 11, 4, 10, 4, 10, 3, 9, 3, 9, 2, 12, 2, 12 ],
164 := [ 1, 11, 1, 11, 5, 15, 5, 15, 9, 3, 9, 3, 13, 7, 13, 7 ],
165 := [ 1, 11, 1, 11, 6, 16, 6, 16, 11, 1, 11, 1, 16, 6, 16, 6 ],
166 := [ 1, 11, 1, 11, 7, 13, 7, 13, 9, 3, 9, 3, 15, 5, 15, 5 ],
167 := [ 1, 11, 1, 11, 8, 14, 8, 14, 11, 1, 11, 1, 14, 8, 14, 8 ],
168 := [ 1, 11, 1, 11, 9, 3, 9, 3, 1, 11, 1, 11, 9, 3, 9, 3 ],
169 := [ 1, 11, 1, 11, 10, 4, 10, 4, 3, 9, 3, 9, 12, 2, 12, 2 ],
170 := [ 1, 11, 1, 11, 11, 1, 11, 1, 1, 11, 1, 11, 11, 1, 11, 1 ],
171 := [ 1, 11, 1, 11, 12, 2, 12, 2, 3, 9, 3, 9, 10, 4, 10, 4 ],
172 := [ 1, 11, 1, 11, 13, 7, 13, 7, 9, 3, 9, 3, 5, 15, 5, 15 ],
173 := [ 1, 11, 1, 11, 14, 8, 14, 8, 11, 1, 11, 1, 8, 14, 8, 14 ],
174 := [ 1, 11, 1, 11, 15, 5, 15, 5, 9, 3, 9, 3, 7, 13, 7, 13 ],
175 := [ 1, 11, 1, 11, 16, 6, 16, 6, 11, 1, 11, 1, 6, 16, 6, 16 ],
176 := [ 1, 12, 3, 10, 1, 12, 3, 10, 1, 12, 3, 10, 1, 12, 3, 10 ],
177 := [ 1, 12, 3, 10, 2, 9, 4, 11, 3, 10, 1, 12, 4, 11, 2, 9 ],
178 := [ 1, 12, 3, 10, 3, 10, 1, 12, 1, 12, 3, 10, 3, 10, 1, 12 ],
179 := [ 1, 12, 3, 10, 4, 11, 2, 9, 3, 10, 1, 12, 2, 9, 4, 11 ],
180 := [ 1, 12, 3, 10, 5, 16, 7, 14, 9, 4, 11, 2, 13, 8, 15, 6 ],
181 := [ 1, 12, 3, 10, 6, 13, 8, 15, 11, 2, 9, 4, 16, 7, 14, 5 ],
182 := [ 1, 12, 3, 10, 7, 14, 5, 16, 9, 4, 11, 2, 15, 6, 13, 8 ],
183 := [ 1, 12, 3, 10, 8, 15, 6, 13, 11, 2, 9, 4, 14, 5, 16, 7 ],
184 := [ 1, 12, 3, 10, 9, 4, 11, 2, 1, 12, 3, 10, 9, 4, 11, 2 ],
185 := [ 1, 12, 3, 10, 10, 1, 12, 3, 3, 10, 1, 12, 12, 3, 10, 1 ],
186 := [ 1, 12, 3, 10, 11, 2, 9, 4, 1, 12, 3, 10, 11, 2, 9, 4 ],
187 := [ 1, 12, 3, 10, 12, 3, 10, 1, 3, 10, 1, 12, 10, 1, 12, 3 ],
188 := [ 1, 12, 3, 10, 13, 8, 15, 6, 9, 4, 11, 2, 5, 16, 7, 14 ],
189 := [ 1, 12, 3, 10, 14, 5, 16, 7, 11, 2, 9, 4, 8, 15, 6, 13 ],
190 := [ 1, 12, 3, 10, 15, 6, 13, 8, 9, 4, 11, 2, 7, 14, 5, 16 ],
191 := [ 1, 12, 3, 10, 16, 7, 14, 5, 11, 2, 9, 4, 6, 13, 8, 15 ],
192 := [ 1, 13, 9, 5, 1, 13, 9, 5, 1, 13, 9, 5, 1, 13, 9, 5 ],
193 := [ 1, 13, 9, 5, 2, 14, 10, 6, 3, 15, 11, 7, 4, 16, 12, 8 ],
194 := [ 1, 13, 9, 5, 3, 15, 11, 7, 1, 13, 9, 5, 3, 15, 11, 7 ],
195 := [ 1, 13, 9, 5, 4, 16, 12, 8, 3, 15, 11, 7, 2, 14, 10, 6 ],
196 := [ 1, 13, 9, 5, 5, 1, 13, 9, 9, 5, 1, 13, 13, 9, 5, 1 ],
197 := [ 1, 13, 9, 5, 6, 2, 14, 10, 11, 7, 3, 15, 16, 12, 8, 4 ],
198 := [ 1, 13, 9, 5, 7, 3, 15, 11, 9, 5, 1, 13, 15, 11, 7, 3 ],
199 := [ 1, 13, 9, 5, 8, 4, 16, 12, 11, 7, 3, 15, 14, 10, 6, 2 ],
200 := [ 1, 13, 9, 5, 9, 5, 1, 13, 1, 13, 9, 5, 9, 5, 1, 13 ],
201 := [ 1, 13, 9, 5, 10, 6, 2, 14, 3, 15, 11, 7, 12, 8, 4, 16 ],
202 := [ 1, 13, 9, 5, 11, 7, 3, 15, 1, 13, 9, 5, 11, 7, 3, 15 ],
203 := [ 1, 13, 9, 5, 12, 8, 4, 16, 3, 15, 11, 7, 10, 6, 2, 14 ],
204 := [ 1, 13, 9, 5, 13, 9, 5, 1, 9, 5, 1, 13, 5, 1, 13, 9 ],
205 := [ 1, 13, 9, 5, 14, 10, 6, 2, 11, 7, 3, 15, 8, 4, 16, 12 ],
206 := [ 1, 13, 9, 5, 15, 11, 7, 3, 9, 5, 1, 13, 7, 3, 15, 11 ],
207 := [ 1, 13, 9, 5, 16, 12, 8, 4, 11, 7, 3, 15, 6, 2, 14, 10 ],
208 := [ 1, 14, 11, 8, 1, 14, 11, 8, 1, 14, 11, 8, 1, 14, 11, 8 ],
209 := [ 1, 14, 11, 8, 2, 15, 12, 5, 3, 16, 9, 6, 4, 13, 10, 7 ],
210 := [ 1, 14, 11, 8, 3, 16, 9, 6, 1, 14, 11, 8, 3, 16, 9, 6 ],
211 := [ 1, 14, 11, 8, 4, 13, 10, 7, 3, 16, 9, 6, 2, 15, 12, 5 ],
212 := [ 1, 14, 11, 8, 5, 2, 15, 12, 9, 6, 3, 16, 13, 10, 7, 4 ],
213 := [ 1, 14, 11, 8, 6, 3, 16, 9, 11, 8, 1, 14, 16, 9, 6, 3 ],
214 := [ 1, 14, 11, 8, 7, 4, 13, 10, 9, 6, 3, 16, 15, 12, 5, 2 ],
215 := [ 1, 14, 11, 8, 8, 1, 14, 11, 11, 8, 1, 14, 14, 11, 8, 1 ],
216 := [ 1, 14, 11, 8, 9, 6, 3, 16, 1, 14, 11, 8, 9, 6, 3, 16 ],
217 := [ 1, 14, 11, 8, 10, 7, 4, 13, 3, 16, 9, 6, 12, 5, 2, 15 ],
218 := [ 1, 14, 11, 8, 11, 8, 1, 14, 1, 14, 11, 8, 11, 8, 1, 14 ],
219 := [ 1, 14, 11, 8, 12, 5, 2, 15, 3, 16, 9, 6, 10, 7, 4, 13 ],
220 := [ 1, 14, 11, 8, 13, 10, 7, 4, 9, 6, 3, 16, 5, 2, 15, 12 ],
221 := [ 1, 14, 11, 8, 14, 11, 8, 1, 11, 8, 1, 14, 8, 1, 14, 11 ],
222 := [ 1, 14, 11, 8, 15, 12, 5, 2, 9, 6, 3, 16, 7, 4, 13, 10 ],
223 := [ 1, 14, 11, 8, 16, 9, 6, 3, 11, 8, 1, 14, 6, 3, 16, 9 ],
224 := [ 1, 15, 9, 7, 1, 15, 9, 7, 1, 15, 9, 7, 1, 15, 9, 7 ],
225 := [ 1, 15, 9, 7, 2, 16, 10, 8, 3, 13, 11, 5, 4, 14, 12, 6 ],
226 := [ 1, 15, 9, 7, 3, 13, 11, 5, 1, 15, 9, 7, 3, 13, 11, 5 ],
227 := [ 1, 15, 9, 7, 4, 14, 12, 6, 3, 13, 11, 5, 2, 16, 10, 8 ],
228 := [ 1, 15, 9, 7, 5, 3, 13, 11, 9, 7, 1, 15, 13, 11, 5, 3 ],
229 := [ 1, 15, 9, 7, 6, 4, 14, 12, 11, 5, 3, 13, 16, 10, 8, 2 ],
230 := [ 1, 15, 9, 7, 7, 1, 15, 9, 9, 7, 1, 15, 15, 9, 7, 1 ],
231 := [ 1, 15, 9, 7, 8, 2, 16, 10, 11, 5, 3, 13, 14, 12, 6, 4 ],
232 := [ 1, 15, 9, 7, 9, 7, 1, 15, 1, 15, 9, 7, 9, 7, 1, 15 ],
233 := [ 1, 15, 9, 7, 10, 8, 2, 16, 3, 13, 11, 5, 12, 6, 4, 14 ],
234 := [ 1, 15, 9, 7, 11, 5, 3, 13, 1, 15, 9, 7, 11, 5, 3, 13 ],
235 := [ 1, 15, 9, 7, 12, 6, 4, 14, 3, 13, 11, 5, 10, 8, 2, 16 ],
236 := [ 1, 15, 9, 7, 13, 11, 5, 3, 9, 7, 1, 15, 5, 3, 13, 11 ],
237 := [ 1, 15, 9, 7, 14, 12, 6, 4, 11, 5, 3, 13, 8, 2, 16, 10 ],
238 := [ 1, 15, 9, 7, 15, 9, 7, 1, 9, 7, 1, 15, 7, 1, 15, 9 ],
239 := [ 1, 15, 9, 7, 16, 10, 8, 2, 11, 5, 3, 13, 6, 4, 14, 12 ],
240 := [ 1, 16, 11, 6, 1, 16, 11, 6, 1, 16, 11, 6, 1, 16, 11, 6 ],
241 := [ 1, 16, 11, 6, 2, 13, 12, 7, 3, 14, 9, 8, 4, 15, 10, 5 ],
242 := [ 1, 16, 11, 6, 3, 14, 9, 8, 1, 16, 11, 6, 3, 14, 9, 8 ],
243 := [ 1, 16, 11, 6, 4, 15, 10, 5, 3, 14, 9, 8, 2, 13, 12, 7 ],
244 := [ 1, 16, 11, 6, 5, 4, 15, 10, 9, 8, 3, 14, 13, 12, 7, 2 ],
245 := [ 1, 16, 11, 6, 6, 1, 16, 11, 11, 6, 1, 16, 16, 11, 6, 1 ],
246 := [ 1, 16, 11, 6, 7, 2, 13, 12, 9, 8, 3, 14, 15, 10, 5, 4 ],
247 := [ 1, 16, 11, 6, 8, 3, 14, 9, 11, 6, 1, 16, 14, 9, 8, 3 ],
248 := [ 1, 16, 11, 6, 9, 8, 3, 14, 1, 16, 11, 6, 9, 8, 3, 14 ],
249 := [ 1, 16, 11, 6, 10, 5, 4, 15, 3, 14, 9, 8, 12, 7, 2, 13 ],
250 := [ 1, 16, 11, 6, 11, 6, 1, 16, 1, 16, 11, 6, 11, 6, 1, 16 ],
251 := [ 1, 16, 11, 6, 12, 7, 2, 13, 3, 14, 9, 8, 10, 5, 4, 15 ],
252 := [ 1, 16, 11, 6, 13, 12, 7, 2, 9, 8, 3, 14, 5, 4, 15, 10 ],
253 := [ 1, 16, 11, 6, 14, 9, 8, 3, 11, 6, 1, 16, 8, 3, 14, 9 ],
254 := [ 1, 16, 11, 6, 15, 10, 5, 4, 9, 8, 3, 14, 7, 2, 13, 12 ],
255 := [ 1, 16, 11, 6, 16, 11, 6, 1, 11, 6, 1, 16, 6, 1, 16, 11 ],
256 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 ] ),
classes := rec(
1 := rec(
phi := [ 1, 2, 3, 4, 5, 6, 7, 256, 9, 10, 11, 12, 13, 30, 15, 16 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
2 := rec(
phi := [ 1, 2, 3, 4, 5, 6, 7, 256, 9, 10, 11, 12, 13, 60, 15, 16 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
3 := rec(
phi := [ 1, 2, 3, 4, 5, 6, 53, 256, 9, 10, 11, 12, 13, 60, 31, 16 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94, 97,
99, 101, 103, 105, 107, 109, 111, 113, 115, 116, 118, 121, 123,
124, 126, 148, 149, 150, 151, 156, 157, 158, 159, 180, 181,
182, 183, 188, 189, 190, 191, 193, 195, 197, 199, 201, 203,
205, 207, 209, 211, 212, 214, 217, 219, 220, 222, 225, 227,
229, 231, 233, 235, 237, 239, 241, 243, 244, 246, 249, 251,
252, 254, 256 ] ),
4 := rec(
phi := [ 1, 2, 3, 4, 5, 22, 7, 256, 9, 10, 11, 12, 13, 30, 15, 28 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
5 := rec(
phi := [ 1, 2, 3, 4, 5, 22, 7, 256, 9, 10, 11, 12, 13, 60, 15, 62 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
6 := rec(
phi := [ 1, 2, 3, 4, 5, 22, 7, 256, 9, 10, 40, 12, 13, 30, 15, 28 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
7 := rec(
phi := [ 1, 2, 3, 4, 5, 22, 7, 256, 9, 10, 40, 12, 13, 60, 15, 62 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
8 := rec(
phi := [ 1, 2, 3, 4, 5, 52, 7, 256, 9, 10, 11, 12, 13, 30, 15, 62 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
9 := rec(
phi := [ 1, 2, 3, 4, 5, 52, 7, 256, 9, 10, 11, 12, 13, 60, 15, 28 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
10 := rec(
phi := [ 1, 2, 3, 4, 5, 52, 7, 256, 9, 10, 40, 12, 13, 30, 15, 62 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
11 := rec(
phi := [ 1, 2, 3, 4, 5, 52, 7, 256, 9, 10, 40, 12, 13, 60, 15, 28 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
12 := rec(
phi := [ 1, 2, 3, 4, 5, 52, 36, 256, 9, 10, 11, 12, 13, 60, 44, 28 ]
,
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94, 97,
99, 101, 103, 105, 107, 109, 111, 113, 115, 116, 118, 121, 123,
124, 126, 148, 149, 150, 151, 156, 157, 158, 159, 180, 181,
182, 183, 188, 189, 190, 191, 193, 195, 197, 199, 201, 203,
205, 207, 209, 211, 212, 214, 217, 219, 220, 222, 225, 227,
229, 231, 233, 235, 237, 239, 241, 243, 244, 246, 249, 251,
252, 254, 256 ] ),
13 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 9, 10, 11, 12, 29, 30, 31, 28
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
14 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 9, 10, 11, 12, 63, 60, 61, 62
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
15 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 9, 43, 11, 41, 29, 30, 31, 28
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
16 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 9, 43, 11, 41, 63, 60, 61, 62
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
17 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 42, 10, 40, 12, 29, 30, 31,
28 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
18 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 42, 10, 40, 12, 63, 60, 61,
62 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
19 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 42, 43, 40, 41, 29, 30, 31,
28 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
20 := rec(
phi := [ 1, 2, 3, 4, 21, 22, 23, 256, 42, 43, 40, 41, 63, 60, 61,
62 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
21 := rec(
phi := [ 1, 2, 3, 4, 22, 55, 256, 53, 9, 10, 11, 12, 30, 63, 28, 61
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
22 := rec(
phi := [ 1, 2, 3, 4, 22, 55, 256, 53, 9, 10, 11, 12, 62, 31, 60, 29
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
23 := rec(
phi := [ 1, 2, 3, 4, 22, 55, 256, 53, 9, 41, 11, 43, 62, 31, 60, 29
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
24 := rec(
phi := [ 1, 2, 3, 4, 22, 55, 256, 53, 40, 10, 42, 12, 30, 63, 28,
61 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
25 := rec(
phi := [ 1, 2, 3, 4, 22, 55, 256, 53, 40, 10, 42, 12, 62, 31, 60,
29 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
26 := rec(
phi := [ 1, 2, 3, 4, 22, 55, 256, 53, 40, 41, 42, 43, 62, 31, 60,
29 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
27 := rec(
phi := [ 1, 2, 3, 33, 5, 22, 7, 256, 9, 10, 11, 41, 132, 150, 134,
148 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94, 97,
99, 105, 107, 113, 115, 121, 123, 197, 199, 205, 207, 212, 214,
220, 222, 256 ] ),
28 := rec(
phi := [ 1, 2, 3, 33, 5, 22, 7, 256, 9, 10, 40, 41, 132, 150, 134,
148 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94, 97,
99, 105, 107, 113, 115, 121, 123, 197, 199, 205, 207, 212, 214,
220, 222, 256 ] ),
29 := rec(
phi := [ 1, 2, 3, 33, 5, 22, 7, 256, 9, 43, 11, 12, 132, 180, 134,
182 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94,
101, 103, 109, 111, 116, 118, 124, 126, 193, 195, 201, 203,
209, 211, 217, 219, 256 ] ),
30 := rec(
phi := [ 1, 2, 3, 33, 5, 22, 7, 256, 9, 43, 40, 12, 132, 180, 134,
182 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94,
101, 103, 109, 111, 116, 118, 124, 126, 193, 195, 201, 203,
209, 211, 217, 219, 256 ] ),
31 := rec(
phi := [ 1, 17, 3, 19, 5, 256, 7, 22, 9, 24, 11, 26, 13, 28, 15, 30
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
32 := rec(
phi := [ 1, 17, 3, 19, 5, 256, 7, 22, 128, 144, 130, 146, 13, 28,
15, 30 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
33 := rec(
phi := [ 1, 17, 3, 19, 5, 256, 7, 22, 128, 144, 130, 146, 132, 148,
134, 150 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 69, 71, 77, 79, 256 ] ),
34 := rec(
phi := [ 1, 17, 3, 48, 5, 256, 7, 52, 9, 24, 11, 56, 13, 28, 15, 60
],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 65,
67, 69, 71, 73, 75, 77, 79, 81, 83, 84, 86, 89, 91, 92, 94, 97,
99, 101, 103, 105, 107, 109, 111, 113, 115, 116, 118, 121, 123,
124, 126, 148, 149, 150, 151, 156, 157, 158, 159, 180, 181,
182, 183, 188, 189, 190, 191, 193, 195, 197, 199, 201, 203,
205, 207, 209, 211, 212, 214, 217, 219, 220, 222, 225, 227,
229, 231, 233, 235, 237, 239, 241, 243, 244, 246, 249, 251,
252, 254, 256 ] ),
35 := rec(
phi := [ 1, 17, 3, 48, 5, 256, 7, 52, 128, 144, 130, 176, 13, 28,
15, 60 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 69,
71, 73, 75, 77, 79, 86, 89, 91, 92, 94, 103, 105, 107, 109,
111, 121, 123, 124, 126, 156, 157, 158, 159, 188, 189, 190,
191, 205, 207, 222, 239, 256 ] ),
36 := rec(
phi := [ 1, 17, 32, 48, 5, 256, 36, 52, 9, 24, 40, 56, 13, 28, 44,
60 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 52, 53, 54, 55, 60, 61, 62, 63, 69,
71, 73, 75, 77, 79, 86, 89, 91, 92, 94, 103, 105, 107, 109,
111, 121, 123, 124, 126, 156, 157, 158, 159, 188, 189, 190,
191, 205, 207, 222, 239, 256 ] ),
37 := rec(
phi := [ 1, 33, 3, 35, 22, 23, 256, 21, 9, 10, 11, 12, 30, 31, 28,
29 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
38 := rec(
phi := [ 1, 33, 3, 35, 22, 23, 256, 21, 9, 10, 11, 12, 62, 63, 60,
61 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
39 := rec(
phi := [ 1, 33, 3, 35, 22, 23, 256, 21, 40, 10, 42, 12, 30, 31, 28,
29 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 97, 99, 101, 103, 105, 107, 109,
111, 113, 115, 116, 118, 121, 123, 124, 126, 148, 149, 150,
151, 156, 157, 158, 159, 256 ] ),
40 := rec(
phi := [ 1, 33, 3, 35, 22, 23, 256, 21, 40, 10, 42, 12, 62, 63, 60,
61 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
41 := rec(
phi := [ 1, 33, 3, 35, 22, 55, 256, 53, 9, 10, 11, 12, 62, 31, 60,
29 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
42 := rec(
phi := [ 1, 33, 3, 35, 22, 55, 256, 53, 40, 10, 42, 12, 62, 31, 60,
29 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 28, 29, 30, 31, 65, 67, 69, 71, 73, 75, 77, 79, 81,
83, 84, 86, 89, 91, 92, 94, 256 ] ),
43 := rec(
phi := [ 1, 60, 40, 256, 193, 247, 233, 223, 130, 190, 170, 150,
67, 117, 107, 93 ],
autos_yielding_iso_nrs :=
[ 21, 52, 53, 65, 69, 81, 84, 97, 101, 113, 116, 148, 149, 180,
181, 193, 197, 209, 212, 225, 229, 241, 244, 256 ] ),
44 := rec(
phi := [ 1, 60, 40, 256, 193, 253, 233, 213, 130, 190, 170, 150,
67, 127, 107, 87 ],
autos_yielding_iso_nrs :=
[ 21, 52, 53, 65, 69, 81, 84, 97, 101, 113, 116, 148, 149, 180,
181, 193, 197, 209, 212, 225, 229, 241, 244, 256 ] ),
45 := rec(
phi := [ 1, 60, 40, 256, 194, 254, 234, 214, 128, 188, 168, 148,
66, 126, 106, 86 ],
autos_yielding_iso_nrs :=
[ 21, 52, 53, 65, 69, 81, 84, 97, 101, 113, 116, 148, 149, 180,
181, 193, 197, 209, 212, 225, 229, 241, 244, 256 ] ),
46 := rec(
phi := [ 1, 60, 40, 256, 197, 241, 237, 217, 138, 182, 162, 158,
79, 123, 103, 83 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 52, 53, 54, 55, 65, 67, 69, 71, 81, 83, 84, 86, 97,
99, 101, 103, 113, 115, 116, 118, 148, 149, 156, 157, 180, 182,
188, 190, 193, 195, 201, 203, 209, 211, 217, 219, 225, 227,
233, 235, 241, 243, 249, 251, 256 ] ),
47 := rec(
phi := [ 1, 60, 40, 256, 202, 254, 226, 214, 128, 188, 168, 148,
74, 126, 98, 86 ],
autos_yielding_iso_nrs :=
[ 21, 52, 53, 65, 69, 81, 84, 97, 101, 113, 116, 148, 149, 180,
181, 193, 197, 209, 212, 225, 229, 241, 244, 256 ] ),
48 := rec(
phi := [ 1, 60, 42, 256, 197, 241, 237, 217, 130, 182, 168, 158,
79, 123, 103, 83 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 52, 53, 54, 55, 65, 67, 69, 71, 81, 83, 84, 86, 97,
99, 101, 103, 113, 115, 116, 118, 148, 149, 156, 157, 180, 182,
188, 190, 193, 195, 201, 203, 209, 211, 217, 219, 225, 227,
233, 235, 241, 243, 249, 251, 256 ] ),
49 := rec(
phi := [ 1, 62, 40, 256, 205, 241, 231, 219, 138, 188, 162, 150,
79, 115, 101, 89 ],
autos_yielding_iso_nrs :=
[ 52, 65, 81, 97, 113, 148, 180, 193, 209, 225, 241, 256 ] ),
50 := rec(
phi := [ 1, 62, 42, 256, 205, 241, 231, 219, 130, 188, 168, 150,
79, 115, 101, 89 ],
autos_yielding_iso_nrs :=
[ 52, 65, 81, 97, 113, 148, 180, 193, 209, 225, 241, 256 ] ),
51 := rec(
phi := [ 5, 52, 36, 256, 196, 244, 228, 212, 132, 180, 164, 148,
68, 116, 100, 84 ],
autos_yielding_iso_nrs :=
[ 21, 22, 23, 52, 53, 54, 55, 65, 69, 71, 73, 81, 84, 86, 89, 97,
101, 103, 105, 113, 116, 118, 121, 148, 149, 150, 151, 180,
181, 182, 183, 193, 197, 199, 201, 209, 212, 214, 217, 225,
229, 231, 233, 241, 244, 246, 249, 256 ] ) ) );
