Spracherkennung für: .nr vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
NI16_9 := rec(
group_name := "16/9",
group_generators := [ ( 1, 2, 5,10)( 3, 6,11,15)( 4, 9,12,13)( 7, 8,14,16),
( 1, 3)( 2, 6)( 4, 8)( 5,11)( 7,13)( 9,14)(10,15)(12,16),
( 1, 4)( 2, 7)( 3, 8)( 5,12)( 6,13)( 9,15)(10,14)(11,16) ],
elements := rec(
1 := (),
2 := ( 1, 2, 5,10)( 3, 6,11,15)( 4, 9,12,13)( 7, 8,14,16),
3 := ( 1, 3)( 2, 6)( 4, 8)( 5,11)( 7,13)( 9,14)(10,15)(12,16),
4 := ( 1, 4)( 2, 7)( 3, 8)( 5,12)( 6,13)( 9,15)(10,14)(11,16),
5 := ( 1, 5)( 2,10)( 3,11)( 4,12)( 6,15)( 7,14)( 8,16)( 9,13),
6 := ( 1, 6, 5,15)( 2,11,10, 3)( 4,14,12, 7)( 8, 9,16,13),
7 := ( 1, 7, 3,13)( 2,12, 6,16)( 4,15, 8,10)( 5,14,11, 9),
8 := ( 1, 8)( 2,13)( 3, 4)( 5,16)( 6, 7)( 9,10)(11,12)(14,15),
9 := ( 1, 9, 3,14)( 2, 8, 6, 4)( 5,13,11, 7)(10,16,15,12),
10 := ( 1,10, 5, 2)( 3,15,11, 6)( 4,13,12, 9)( 7,16,14, 8),
11 := ( 1,11)( 2,15)( 3, 5)( 4,16)( 6,10)( 7, 9)( 8,12)(13,14),
12 := ( 1,12)( 2,14)( 3,16)( 4, 5)( 6, 9)( 7,10)( 8,11)(13,15),
13 := ( 1,13, 3, 7)( 2,16, 6,12)( 4,10, 8,15)( 5, 9,11,14),
14 := ( 1,14, 3, 9)( 2, 4, 6, 8)( 5, 7,11,13)(10,12,15,16),
15 := ( 1,15, 5, 6)( 2, 3,10,11)( 4, 7,12,14)( 8,13,16, 9),
16 := ( 1,16)( 2, 9)( 3,12)( 4,11)( 5, 8)( 6,14)( 7,15)(10,13) ),
group_endomorphisms := rec(
1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
2 := [ 1, 1, 1, 3, 1, 1, 3, 3, 3, 1, 1, 3, 3, 3, 1, 3 ],
3 := [ 1, 1, 1, 4, 1, 1, 4, 4, 4, 1, 1, 4, 4, 4, 1, 4 ],
4 := [ 1, 1, 1, 5, 1, 1, 5, 5, 5, 1, 1, 5, 5, 5, 1, 5 ],
5 := [ 1, 1, 1, 8, 1, 1, 8, 8, 8, 1, 1, 8, 8, 8, 1, 8 ],
6 := [ 1, 1, 1, 11, 1, 1, 11, 11, 11, 1, 1, 11, 11, 11, 1, 11 ],
7 := [ 1, 1, 1, 12, 1, 1, 12, 12, 12, 1, 1, 12, 12, 12, 1, 12 ],
8 := [ 1, 1, 1, 16, 1, 1, 16, 16, 16, 1, 1, 16, 16, 16, 1, 16 ],
9 := [ 1, 2, 3, 8, 5, 6, 13, 4, 14, 10, 11, 16, 7, 9, 15, 12 ],
10 := [ 1, 2, 3, 12, 5, 6, 14, 16, 13, 10, 11, 4, 9, 7, 15, 8 ],
11 := [ 1, 2, 3, 16, 5, 6, 9, 12, 7, 10, 11, 8, 14, 13, 15, 4 ],
12 := [ 1, 2, 5, 1, 5, 10, 2, 5, 2, 10, 1, 5, 10, 10, 2, 1 ],
13 := [ 1, 2, 5, 3, 5, 10, 6, 11, 6, 10, 1, 11, 15, 15, 2, 3 ],
14 := [ 1, 2, 5, 5, 5, 10, 10, 1, 10, 10, 1, 1, 2, 2, 2, 5 ],
15 := [ 1, 2, 5, 11, 5, 10, 15, 3, 15, 10, 1, 3, 6, 6, 2, 11 ],
16 := [ 1, 3, 1, 1, 1, 3, 3, 1, 3, 3, 1, 1, 3, 3, 3, 1 ],
17 := [ 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 1, 3, 3 ],
18 := [ 1, 3, 1, 4, 1, 3, 8, 4, 8, 3, 1, 4, 8, 8, 3, 4 ],
19 := [ 1, 3, 1, 5, 1, 3, 11, 5, 11, 3, 1, 5, 11, 11, 3, 5 ],
20 := [ 1, 3, 1, 8, 1, 3, 4, 8, 4, 3, 1, 8, 4, 4, 3, 8 ],
21 := [ 1, 3, 1, 11, 1, 3, 5, 11, 5, 3, 1, 11, 5, 5, 3, 11 ],
22 := [ 1, 3, 1, 12, 1, 3, 16, 12, 16, 3, 1, 12, 16, 16, 3, 12 ],
23 := [ 1, 3, 1, 16, 1, 3, 12, 16, 12, 3, 1, 16, 12, 12, 3, 16 ],
24 := [ 1, 4, 1, 1, 1, 4, 4, 1, 4, 4, 1, 1, 4, 4, 4, 1 ],
25 := [ 1, 4, 1, 3, 1, 4, 8, 3, 8, 4, 1, 3, 8, 8, 4, 3 ],
26 := [ 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 1, 4, 4 ],
27 := [ 1, 4, 1, 5, 1, 4, 12, 5, 12, 4, 1, 5, 12, 12, 4, 5 ],
28 := [ 1, 4, 1, 8, 1, 4, 3, 8, 3, 4, 1, 8, 3, 3, 4, 8 ],
29 := [ 1, 4, 1, 11, 1, 4, 16, 11, 16, 4, 1, 11, 16, 16, 4, 11 ],
30 := [ 1, 4, 1, 12, 1, 4, 5, 12, 5, 4, 1, 12, 5, 5, 4, 12 ],
31 := [ 1, 4, 1, 16, 1, 4, 11, 16, 11, 4, 1, 16, 11, 11, 4, 16 ],
32 := [ 1, 5, 1, 1, 1, 5, 5, 1, 5, 5, 1, 1, 5, 5, 5, 1 ],
33 := [ 1, 5, 1, 3, 1, 5, 11, 3, 11, 5, 1, 3, 11, 11, 5, 3 ],
34 := [ 1, 5, 1, 4, 1, 5, 12, 4, 12, 5, 1, 4, 12, 12, 5, 4 ],
35 := [ 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 1, 5, 5 ],
36 := [ 1, 5, 1, 8, 1, 5, 16, 8, 16, 5, 1, 8, 16, 16, 5, 8 ],
37 := [ 1, 5, 1, 11, 1, 5, 3, 11, 3, 5, 1, 11, 3, 3, 5, 11 ],
38 := [ 1, 5, 1, 12, 1, 5, 4, 12, 4, 5, 1, 12, 4, 4, 5, 12 ],
39 := [ 1, 5, 1, 16, 1, 5, 8, 16, 8, 5, 1, 16, 8, 8, 5, 16 ],
40 := [ 1, 6, 3, 4, 5, 2, 13, 8, 14, 15, 11, 12, 7, 9, 10, 16 ],
41 := [ 1, 6, 3, 8, 5, 2, 7, 4, 9, 15, 11, 16, 13, 14, 10, 12 ],
42 := [ 1, 6, 3, 12, 5, 2, 9, 16, 7, 15, 11, 4, 14, 13, 10, 8 ],
43 := [ 1, 6, 3, 16, 5, 2, 14, 12, 13, 15, 11, 8, 9, 7, 10, 4 ],
44 := [ 1, 6, 5, 1, 5, 15, 6, 5, 6, 15, 1, 5, 15, 15, 6, 1 ],
45 := [ 1, 6, 5, 3, 5, 15, 2, 11, 2, 15, 1, 11, 10, 10, 6, 3 ],
46 := [ 1, 6, 5, 5, 5, 15, 15, 1, 15, 15, 1, 1, 6, 6, 6, 5 ],
47 := [ 1, 6, 5, 11, 5, 15, 10, 3, 10, 15, 1, 3, 2, 2, 6, 11 ],
48 := [ 1, 7, 3, 1, 3, 13, 7, 3, 7, 13, 1, 3, 13, 13, 7, 1 ],
49 := [ 1, 7, 3, 3, 3, 13, 13, 1, 13, 13, 1, 1, 7, 7, 7, 3 ],
50 := [ 1, 7, 3, 5, 3, 13, 14, 11, 14, 13, 1, 11, 9, 9, 7, 5 ],
51 := [ 1, 7, 3, 11, 3, 13, 9, 5, 9, 13, 1, 5, 14, 14, 7, 11 ],
52 := [ 1, 7, 5, 4, 3, 14, 2, 12, 15, 13, 11, 8, 10, 6, 9, 16 ],
53 := [ 1, 7, 5, 8, 3, 14, 6, 16, 10, 13, 11, 4, 15, 2, 9, 12 ],
54 := [ 1, 7, 5, 12, 3, 14, 10, 4, 6, 13, 11, 16, 2, 15, 9, 8 ],
55 := [ 1, 7, 5, 16, 3, 14, 15, 8, 2, 13, 11, 12, 6, 10, 9, 4 ],
56 := [ 1, 8, 1, 1, 1, 8, 8, 1, 8, 8, 1, 1, 8, 8, 8, 1 ],
57 := [ 1, 8, 1, 3, 1, 8, 4, 3, 4, 8, 1, 3, 4, 4, 8, 3 ],
58 := [ 1, 8, 1, 4, 1, 8, 3, 4, 3, 8, 1, 4, 3, 3, 8, 4 ],
59 := [ 1, 8, 1, 5, 1, 8, 16, 5, 16, 8, 1, 5, 16, 16, 8, 5 ],
60 := [ 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 1, 8, 8 ],
61 := [ 1, 8, 1, 11, 1, 8, 12, 11, 12, 8, 1, 11, 12, 12, 8, 11 ],
62 := [ 1, 8, 1, 12, 1, 8, 11, 12, 11, 8, 1, 12, 11, 11, 8, 12 ],
63 := [ 1, 8, 1, 16, 1, 8, 5, 16, 5, 8, 1, 16, 5, 5, 8, 16 ],
64 := [ 1, 9, 3, 1, 3, 14, 9, 3, 9, 14, 1, 3, 14, 14, 9, 1 ],
65 := [ 1, 9, 3, 3, 3, 14, 14, 1, 14, 14, 1, 1, 9, 9, 9, 3 ],
66 := [ 1, 9, 3, 5, 3, 14, 13, 11, 13, 14, 1, 11, 7, 7, 9, 5 ],
67 := [ 1, 9, 3, 11, 3, 14, 7, 5, 7, 14, 1, 5, 13, 13, 9, 11 ],
68 := [ 1, 9, 5, 4, 3, 13, 15, 12, 2, 14, 11, 8, 6, 10, 7, 16 ],
69 := [ 1, 9, 5, 8, 3, 13, 10, 16, 6, 14, 11, 4, 2, 15, 7, 12 ],
70 := [ 1, 9, 5, 12, 3, 13, 6, 4, 10, 14, 11, 16, 15, 2, 7, 8 ],
71 := [ 1, 9, 5, 16, 3, 13, 2, 8, 15, 14, 11, 12, 10, 6, 7, 4 ],
72 := [ 1, 10, 3, 4, 5, 15, 14, 8, 13, 2, 11, 12, 9, 7, 6, 16 ],
73 := [ 1, 10, 3, 8, 5, 15, 9, 4, 7, 2, 11, 16, 14, 13, 6, 12 ],
74 := [ 1, 10, 3, 12, 5, 15, 7, 16, 9, 2, 11, 4, 13, 14, 6, 8 ],
75 := [ 1, 10, 3, 16, 5, 15, 13, 12, 14, 2, 11, 8, 7, 9, 6, 4 ],
76 := [ 1, 10, 5, 1, 5, 2, 10, 5, 10, 2, 1, 5, 2, 2, 10, 1 ],
77 := [ 1, 10, 5, 3, 5, 2, 15, 11, 15, 2, 1, 11, 6, 6, 10, 3 ],
78 := [ 1, 10, 5, 5, 5, 2, 2, 1, 2, 2, 1, 1, 10, 10, 10, 5 ],
79 := [ 1, 10, 5, 11, 5, 2, 6, 3, 6, 2, 1, 3, 15, 15, 10, 11 ],
80 := [ 1, 11, 1, 1, 1, 11, 11, 1, 11, 11, 1, 1, 11, 11, 11, 1 ],
81 := [ 1, 11, 1, 3, 1, 11, 5, 3, 5, 11, 1, 3, 5, 5, 11, 3 ],
82 := [ 1, 11, 1, 4, 1, 11, 16, 4, 16, 11, 1, 4, 16, 16, 11, 4 ],
83 := [ 1, 11, 1, 5, 1, 11, 3, 5, 3, 11, 1, 5, 3, 3, 11, 5 ],
84 := [ 1, 11, 1, 8, 1, 11, 12, 8, 12, 11, 1, 8, 12, 12, 11, 8 ],
85 := [ 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 1, 11, 11 ],
86 := [ 1, 11, 1, 12, 1, 11, 8, 12, 8, 11, 1, 12, 8, 8, 11, 12 ],
87 := [ 1, 11, 1, 16, 1, 11, 4, 16, 4, 11, 1, 16, 4, 4, 11, 16 ],
88 := [ 1, 12, 1, 1, 1, 12, 12, 1, 12, 12, 1, 1, 12, 12, 12, 1 ],
89 := [ 1, 12, 1, 3, 1, 12, 16, 3, 16, 12, 1, 3, 16, 16, 12, 3 ],
90 := [ 1, 12, 1, 4, 1, 12, 5, 4, 5, 12, 1, 4, 5, 5, 12, 4 ],
91 := [ 1, 12, 1, 5, 1, 12, 4, 5, 4, 12, 1, 5, 4, 4, 12, 5 ],
92 := [ 1, 12, 1, 8, 1, 12, 11, 8, 11, 12, 1, 8, 11, 11, 12, 8 ],
93 := [ 1, 12, 1, 11, 1, 12, 8, 11, 8, 12, 1, 11, 8, 8, 12, 11 ],
94 := [ 1, 12, 1, 12, 1, 12, 1, 12, 1, 12, 1, 12, 1, 1, 12, 12 ],
95 := [ 1, 12, 1, 16, 1, 12, 3, 16, 3, 12, 1, 16, 3, 3, 12, 16 ],
96 := [ 1, 13, 3, 1, 3, 7, 13, 3, 13, 7, 1, 3, 7, 7, 13, 1 ],
97 := [ 1, 13, 3, 3, 3, 7, 7, 1, 7, 7, 1, 1, 13, 13, 13, 3 ],
98 := [ 1, 13, 3, 5, 3, 7, 9, 11, 9, 7, 1, 11, 14, 14, 13, 5 ],
99 := [ 1, 13, 3, 11, 3, 7, 14, 5, 14, 7, 1, 5, 9, 9, 13, 11 ],
100 := [ 1, 13, 5, 4, 3, 9, 6, 12, 10, 7, 11, 8, 15, 2, 14, 16 ],
101 := [ 1, 13, 5, 8, 3, 9, 2, 16, 15, 7, 11, 4, 10, 6, 14, 12 ],
102 := [ 1, 13, 5, 12, 3, 9, 15, 4, 2, 7, 11, 16, 6, 10, 14, 8 ],
103 := [ 1, 13, 5, 16, 3, 9, 10, 8, 6, 7, 11, 12, 2, 15, 14, 4 ],
104 := [ 1, 14, 3, 1, 3, 9, 14, 3, 14, 9, 1, 3, 9, 9, 14, 1 ],
105 := [ 1, 14, 3, 3, 3, 9, 9, 1, 9, 9, 1, 1, 14, 14, 14, 3 ],
106 := [ 1, 14, 3, 5, 3, 9, 7, 11, 7, 9, 1, 11, 13, 13, 14, 5 ],
107 := [ 1, 14, 3, 11, 3, 9, 13, 5, 13, 9, 1, 5, 7, 7, 14, 11 ],
108 := [ 1, 14, 5, 4, 3, 7, 10, 12, 6, 9, 11, 8, 2, 15, 13, 16 ],
109 := [ 1, 14, 5, 8, 3, 7, 15, 16, 2, 9, 11, 4, 6, 10, 13, 12 ],
110 := [ 1, 14, 5, 12, 3, 7, 2, 4, 15, 9, 11, 16, 10, 6, 13, 8 ],
111 := [ 1, 14, 5, 16, 3, 7, 6, 8, 10, 9, 11, 12, 15, 2, 13, 4 ],
112 := [ 1, 15, 3, 4, 5, 10, 9, 8, 7, 6, 11, 12, 14, 13, 2, 16 ],
113 := [ 1, 15, 3, 8, 5, 10, 14, 4, 13, 6, 11, 16, 9, 7, 2, 12 ],
114 := [ 1, 15, 3, 12, 5, 10, 13, 16, 14, 6, 11, 4, 7, 9, 2, 8 ],
115 := [ 1, 15, 3, 16, 5, 10, 7, 12, 9, 6, 11, 8, 13, 14, 2, 4 ],
116 := [ 1, 15, 5, 1, 5, 6, 15, 5, 15, 6, 1, 5, 6, 6, 15, 1 ],
117 := [ 1, 15, 5, 3, 5, 6, 10, 11, 10, 6, 1, 11, 2, 2, 15, 3 ],
118 := [ 1, 15, 5, 5, 5, 6, 6, 1, 6, 6, 1, 1, 15, 15, 15, 5 ],
119 := [ 1, 15, 5, 11, 5, 6, 2, 3, 2, 6, 1, 3, 10, 10, 15, 11 ],
120 := [ 1, 16, 1, 1, 1, 16, 16, 1, 16, 16, 1, 1, 16, 16, 16, 1 ],
121 := [ 1, 16, 1, 3, 1, 16, 12, 3, 12, 16, 1, 3, 12, 12, 16, 3 ],
122 := [ 1, 16, 1, 4, 1, 16, 11, 4, 11, 16, 1, 4, 11, 11, 16, 4 ],
123 := [ 1, 16, 1, 5, 1, 16, 8, 5, 8, 16, 1, 5, 8, 8, 16, 5 ],
124 := [ 1, 16, 1, 8, 1, 16, 5, 8, 5, 16, 1, 8, 5, 5, 16, 8 ],
125 := [ 1, 16, 1, 11, 1, 16, 4, 11, 4, 16, 1, 11, 4, 4, 16, 11 ],
126 := [ 1, 16, 1, 12, 1, 16, 3, 12, 3, 16, 1, 12, 3, 3, 16, 12 ],
127 := [ 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 1, 16, 16 ],
128 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 ] ),
classes := rec(
1 := rec(
phi := [ 1, 12, 2, 3, 4, 13, 11, 5, 128, 14, 6, 7, 10, 9, 15, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 128 ]
),
2 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 11, 5, 128, 76, 6, 7, 43, 40, 116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
3 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 11, 5, 128, 76, 6, 7, 72, 75, 116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
4 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 11, 5, 128, 76, 80, 7, 43, 40, 116, 8 ]
,
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
5 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 11, 5, 128, 76, 80, 7, 72, 75, 116, 8 ]
,
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
6 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 6, 7, 43, 75, 116, 8 ]
,
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
7 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 6, 7, 72, 40, 116, 8 ]
,
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
8 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 80, 7, 43, 75, 116, 8
],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
9 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 80, 7, 72, 40, 116, 8
],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
10 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 80, 7, 72, 40, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
11 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 80, 84, 72, 40, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
12 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 5, 128, 76, 80, 84, 72, 40, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
13 := rec(
phi := [ 1, 12, 2, 3, 4, 44, 112, 86, 128, 76, 80, 7, 72, 40, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
14 := rec(
phi := [ 1, 12, 2, 3, 4, 79, 11, 5, 128, 76, 6, 7, 72, 75, 15, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
15 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 11, 5, 128, 14, 6, 7, 10, 9, 116, 8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
16 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 11, 5, 128, 14, 6, 7, 113, 114, 116,
8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
17 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 11, 5, 128, 14, 80, 7, 10, 9, 116, 8 ]
,
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
18 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 11, 5, 128, 14, 80, 7, 113, 114, 116,
8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
19 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 112, 5, 128, 14, 6, 7, 10, 114, 116,
8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
20 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 112, 5, 128, 14, 6, 7, 113, 9, 116, 8
],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
21 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 112, 5, 128, 14, 80, 7, 10, 114, 116,
8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
22 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 112, 5, 128, 14, 80, 7, 113, 9, 116,
8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
23 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 112, 5, 128, 14, 80, 84, 113, 9, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 52, 53, 54, 55, 68, 69, 70, 71, 72, 73, 74, 75, 128 ]
),
24 := rec(
phi := [ 1, 12, 2, 3, 4, 118, 112, 86, 128, 14, 80, 7, 10, 114,
116, 82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 128 ]
),
25 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 18, 128, 76, 6, 23, 43, 40, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
26 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 18, 128, 76, 6, 23, 72, 75, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
27 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 18, 128, 76, 80, 23, 43, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
28 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 18, 128, 76, 80, 23, 72, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
29 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 39, 128, 76, 6, 34, 43, 40, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
30 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 39, 128, 76, 6, 34, 72, 75, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
31 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 39, 128, 76, 80, 34, 43, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
32 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 11, 39, 128, 76, 80, 34, 72, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
33 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 6, 23, 43, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
34 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 6, 23, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
35 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 6, 34, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
36 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 80, 23, 43, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
37 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 80, 23, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
38 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 80, 34, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
39 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 18, 128, 76, 80, 34, 72, 40,
116, 82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
40 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 39, 128, 76, 6, 34, 43, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
41 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 39, 128, 76, 6, 34, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
42 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 39, 128, 76, 80, 34, 43, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
43 := rec(
phi := [ 1, 12, 16, 3, 32, 44, 112, 39, 128, 76, 80, 34, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
44 := rec(
phi := [ 1, 12, 16, 24, 32, 13, 11, 56, 128, 14, 80, 88, 10, 9, 15,
120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 128 ]
),
45 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 11, 56, 128, 76, 80, 88, 43, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
46 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 11, 56, 128, 76, 80, 88, 72, 75,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
47 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 48, 56, 128, 76, 80, 88, 96, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
48 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 48, 56, 128, 76, 80, 88, 96, 75,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
49 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 112, 56, 128, 76, 80, 61, 72, 40,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
50 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 112, 56, 128, 76, 80, 61, 72, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
51 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 112, 56, 128, 76, 80, 88, 43, 75,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
52 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 112, 56, 128, 76, 80, 88, 72, 40,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
53 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 112, 56, 128, 76, 80, 88, 72, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
54 := rec(
phi := [ 1, 12, 16, 24, 32, 44, 112, 93, 128, 76, 80, 88, 72, 40,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
55 := rec(
phi := [ 1, 12, 16, 24, 32, 75, 48, 56, 52, 76, 80, 88, 96, 103,
128, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
56 := rec(
phi := [ 1, 12, 16, 24, 32, 79, 11, 56, 128, 76, 80, 88, 72, 75,
15, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
57 := rec(
phi := [ 1, 12, 16, 24, 32, 118, 11, 56, 128, 14, 80, 88, 10, 9,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
58 := rec(
phi := [ 1, 12, 16, 24, 32, 118, 11, 56, 128, 14, 80, 88, 113, 114,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
59 := rec(
phi := [ 1, 12, 16, 24, 32, 118, 112, 56, 128, 14, 80, 61, 113, 9,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 52, 53, 54, 55, 68, 69, 70, 71, 72, 73, 74, 75, 128 ]
),
60 := rec(
phi := [ 1, 12, 16, 24, 32, 118, 112, 56, 128, 14, 80, 88, 10, 114,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
61 := rec(
phi := [ 1, 12, 16, 24, 32, 118, 112, 56, 128, 14, 80, 88, 113, 9,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
62 := rec(
phi := [ 1, 12, 16, 24, 32, 118, 112, 93, 128, 14, 80, 88, 10, 114,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 128 ]
),
63 := rec(
phi := [ 1, 12, 37, 3, 32, 44, 11, 39, 128, 76, 6, 34, 43, 40, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
64 := rec(
phi := [ 1, 12, 37, 3, 32, 44, 11, 39, 128, 76, 6, 34, 72, 75, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
65 := rec(
phi := [ 1, 12, 37, 3, 32, 44, 112, 39, 128, 76, 6, 34, 43, 75,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
66 := rec(
phi := [ 1, 12, 37, 3, 32, 44, 112, 39, 128, 76, 6, 34, 72, 40,
116, 8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
67 := rec(
phi := [ 1, 12, 37, 3, 32, 79, 11, 39, 128, 76, 6, 34, 72, 75, 15,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
68 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 11, 56, 128, 76, 80, 88, 43, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
69 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 11, 56, 128, 76, 80, 88, 72, 75,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
70 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 112, 56, 128, 76, 80, 61, 72, 40,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
71 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 112, 56, 128, 76, 80, 61, 72, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
72 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 112, 56, 128, 76, 80, 88, 43, 75,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
73 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 112, 56, 128, 76, 80, 88, 72, 40,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
74 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 112, 56, 128, 76, 80, 88, 72, 40,
116, 120 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
75 := rec(
phi := [ 1, 12, 37, 24, 32, 44, 112, 93, 128, 76, 80, 88, 72, 40,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
76 := rec(
phi := [ 1, 12, 37, 24, 32, 118, 11, 56, 128, 14, 80, 88, 10, 9,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
77 := rec(
phi := [ 1, 12, 37, 24, 32, 118, 11, 56, 128, 14, 80, 88, 113, 114,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
78 := rec(
phi := [ 1, 12, 37, 24, 32, 118, 112, 56, 128, 14, 80, 61, 113, 9,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 52, 53, 54, 55, 68, 69, 70, 71, 72, 73, 74, 75, 128 ]
),
79 := rec(
phi := [ 1, 12, 37, 24, 32, 118, 112, 56, 128, 14, 80, 88, 10, 114,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
80 := rec(
phi := [ 1, 12, 37, 24, 32, 118, 112, 56, 128, 14, 80, 88, 113, 9,
116, 120 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
81 := rec(
phi := [ 1, 12, 37, 24, 32, 118, 112, 93, 128, 14, 80, 88, 10, 114,
116, 29 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 128 ]
),
82 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 11, 5, 128, 76, 80, 7, 43, 40, 116, 8
],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
83 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 11, 5, 128, 76, 80, 7, 72, 75, 116, 8
],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
84 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 112, 5, 128, 76, 80, 7, 43, 75, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
85 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 112, 5, 128, 76, 80, 7, 72, 40, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 100, 101, 102, 103,
128 ] ),
86 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 112, 5, 128, 76, 80, 7, 72, 40, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
87 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 112, 5, 128, 76, 80, 84, 72, 40, 116,
8 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
88 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 112, 5, 128, 76, 80, 84, 72, 40, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
89 := rec(
phi := [ 1, 12, 83, 3, 4, 44, 112, 86, 128, 76, 80, 7, 72, 40, 116,
82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ),
90 := rec(
phi := [ 1, 12, 83, 3, 4, 118, 11, 5, 128, 14, 80, 7, 10, 9, 116, 8
],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
91 := rec(
phi := [ 1, 12, 83, 3, 4, 118, 11, 5, 128, 14, 80, 7, 113, 114,
116, 8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
92 := rec(
phi := [ 1, 12, 83, 3, 4, 118, 112, 5, 128, 14, 80, 7, 10, 114,
116, 8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
93 := rec(
phi := [ 1, 12, 83, 3, 4, 118, 112, 5, 128, 14, 80, 7, 113, 9, 116,
8 ],
autos_yielding_iso_nrs := [ 9, 10, 11, 52, 53, 54, 55, 128 ] ),
94 := rec(
phi := [ 1, 12, 83, 3, 4, 118, 112, 5, 128, 14, 80, 84, 113, 9,
116, 82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 52, 53, 54, 55, 68, 69, 70, 71, 72, 73, 74, 75, 128 ]
),
95 := rec(
phi := [ 1, 12, 83, 3, 4, 118, 112, 86, 128, 14, 80, 7, 10, 114,
116, 82 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 128 ]
),
96 := rec(
phi := [ 1, 40, 16, 24, 32, 128, 108, 56, 100, 112, 80, 88, 68, 52,
72, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
97 := rec(
phi := [ 1, 40, 16, 24, 32, 128, 108, 61, 100, 112, 80, 93, 68, 52,
72, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
98 := rec(
phi := [ 1, 40, 16, 24, 32, 128, 111, 61, 103, 112, 80, 93, 71, 55,
72, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
99 := rec(
phi := [ 1, 40, 16, 29, 32, 128, 108, 61, 100, 112, 80, 93, 68, 52,
72, 125 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
100 := rec(
phi := [ 1, 40, 21, 24, 37, 128, 108, 56, 100, 112, 80, 88, 68, 52,
72, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
101 := rec(
phi := [ 1, 40, 21, 24, 37, 128, 108, 61, 100, 112, 80, 93, 68, 52,
72, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
102 := rec(
phi := [ 1, 40, 21, 24, 37, 128, 111, 61, 103, 112, 80, 93, 71, 55,
72, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
103 := rec(
phi := [ 1, 40, 21, 29, 37, 128, 108, 61, 100, 112, 80, 93, 68, 52,
72, 125 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
104 := rec(
phi := [ 1, 42, 16, 24, 32, 128, 109, 56, 103, 113, 80, 88, 70, 52,
75, 120 ],
autos_yielding_iso_nrs :=
[ 10, 40, 42, 52, 53, 68, 69, 72, 74, 100, 101, 108, 109, 112,
114, 128 ] ),
105 := rec(
phi := [ 1, 42, 16, 29, 32, 128, 109, 61, 103, 113, 80, 93, 70, 52,
75, 125 ],
autos_yielding_iso_nrs :=
[ 10, 40, 42, 52, 53, 68, 69, 72, 74, 100, 101, 108, 109, 112,
114, 128 ] ),
106 := rec(
phi := [ 1, 42, 21, 24, 37, 128, 109, 56, 103, 113, 80, 88, 70, 52,
75, 120 ],
autos_yielding_iso_nrs :=
[ 10, 40, 42, 52, 53, 68, 69, 72, 74, 100, 101, 108, 109, 112,
114, 128 ] ),
107 := rec(
phi := [ 1, 42, 21, 29, 37, 128, 109, 61, 103, 113, 80, 93, 70, 52,
75, 125 ],
autos_yielding_iso_nrs :=
[ 10, 40, 42, 52, 53, 68, 69, 72, 74, 100, 101, 108, 109, 112,
114, 128 ] ),
108 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 108, 56, 100, 112, 80, 88, 71, 55,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
109 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 108, 61, 100, 112, 80, 93, 71, 55,
75, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
110 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 109, 56, 101, 112, 80, 88, 70, 54,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
111 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 110, 56, 102, 112, 80, 88, 69, 53,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
112 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 110, 56, 103, 114, 80, 88, 68, 53,
73, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 54, 68, 70, 72, 73, 100, 102, 108, 110, 112, 113,
128 ] ),
113 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 111, 56, 103, 112, 80, 88, 68, 52,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
114 := rec(
phi := [ 1, 43, 16, 24, 32, 128, 111, 61, 103, 112, 80, 93, 68, 52,
75, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
115 := rec(
phi := [ 1, 43, 16, 29, 32, 128, 108, 61, 100, 112, 80, 93, 71, 55,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
116 := rec(
phi := [ 1, 43, 16, 29, 32, 128, 109, 61, 101, 112, 80, 93, 70, 54,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
117 := rec(
phi := [ 1, 43, 16, 29, 32, 128, 110, 61, 102, 112, 80, 93, 69, 53,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
118 := rec(
phi := [ 1, 43, 16, 29, 32, 128, 110, 61, 103, 114, 80, 93, 68, 53,
73, 125 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 54, 68, 70, 72, 73, 100, 102, 108, 110, 112, 113,
128 ] ),
119 := rec(
phi := [ 1, 43, 16, 29, 32, 128, 111, 61, 103, 112, 80, 93, 68, 52,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
120 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 108, 56, 100, 112, 80, 88, 71, 55,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
121 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 108, 61, 100, 112, 80, 93, 71, 55,
75, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
122 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 109, 56, 101, 112, 80, 88, 70, 54,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
123 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 110, 56, 102, 112, 80, 88, 69, 53,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
124 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 110, 56, 103, 114, 80, 88, 68, 53,
73, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 54, 68, 70, 72, 73, 100, 102, 108, 110, 112, 113,
128 ] ),
125 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 111, 56, 103, 112, 80, 88, 68, 52,
75, 120 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
126 := rec(
phi := [ 1, 43, 21, 24, 37, 128, 111, 61, 103, 112, 80, 93, 68, 52,
75, 120 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 53, 68, 69, 72, 73, 100, 101, 108, 109, 112, 113,
128 ] ),
127 := rec(
phi := [ 1, 43, 21, 29, 37, 128, 108, 61, 100, 112, 80, 93, 71, 55,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
128 := rec(
phi := [ 1, 43, 21, 29, 37, 128, 109, 61, 101, 112, 80, 93, 70, 54,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
129 := rec(
phi := [ 1, 43, 21, 29, 37, 128, 110, 61, 102, 112, 80, 93, 69, 53,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
130 := rec(
phi := [ 1, 43, 21, 29, 37, 128, 110, 61, 103, 114, 80, 93, 68, 53,
73, 125 ],
autos_yielding_iso_nrs :=
[ 9, 40, 41, 52, 54, 68, 70, 72, 73, 100, 102, 108, 110, 112, 113,
128 ] ),
131 := rec(
phi := [ 1, 43, 21, 29, 37, 128, 111, 61, 103, 112, 80, 93, 68, 52,
75, 125 ],
autos_yielding_iso_nrs := [ 40, 52, 68, 72, 100, 108, 112, 128 ] ),
132 := rec(
phi := [ 3, 40, 18, 26, 34, 128, 108, 58, 100, 112, 82, 90, 68, 52,
72, 122 ],
autos_yielding_iso_nrs :=
[ 9, 10, 11, 40, 41, 42, 43, 52, 53, 54, 55, 68, 69, 70, 71, 72,
73, 74, 75, 100, 101, 102, 103, 108, 109, 110, 111, 112, 113,
114, 115, 128 ] ) ) );
