SSL nr14_2.nr
Interaktion und
Portierbarkeitunbekannt
|
|
Untersuchungsergebnis.nr Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
NR_D14 :=
rec(
group_name := "D14",
group_generators := [ (1,2,3,4,5,6,7), (2,7)(3,6)(4,5) ],
elements := rec(
1 := (),
2 := (2,7)(3,6)(4,5),
3 := (1,2)(3,7)(4,6),
4 := (1,2,3,4,5,6,7),
5 := (1,3)(4,7)(5,6),
6 := (1,3,5,7,2,4,6),
7 := (1,4)(2,3)(5,7),
8 := (1,4,7,3,6,2,5),
9 := (1,5)(2,4)(6,7),
10 := (1,5,2,6,3,7,4),
11 := (1,6)(2,5)(3,4),
12 := (1,6,4,2,7,5,3),
13 := (1,7,6,5,4,3,2),
14 := (1,7)(2,6)(3,5) ),
group_endomorphisms := rec(
1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
2 := [ 1, 2, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2 ],
3 := [ 1, 2, 5, 6, 9, 10, 14, 13, 3, 4, 7, 8, 12, 11 ],
4 := [ 1, 2, 7, 8, 14, 13, 5, 6, 11, 12, 3, 4, 10, 9 ],
5 := [ 1, 2, 9, 10, 3, 4, 11, 12, 5, 6, 14, 13, 8, 7 ],
6 := [ 1, 2, 11, 12, 7, 8, 3, 4, 14, 13, 9, 10, 6, 5 ],
7 := [ 1, 2, 14, 13, 11, 12, 9, 10, 7, 8, 5, 6, 4, 3 ],
8 := [ 1, 3, 2, 13, 14, 12, 11, 10, 9, 8, 7, 6, 4, 5 ],
9 := [ 1, 3, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 1, 3 ],
10 := [ 1, 3, 5, 4, 7, 6, 9, 8, 11, 10, 14, 12, 13, 2 ],
11 := [ 1, 3, 7, 6, 11, 10, 2, 13, 5, 4, 9, 8, 12, 14 ],
12 := [ 1, 3, 9, 8, 2, 13, 7, 6, 14, 12, 5, 4, 10, 11 ],
13 := [ 1, 3, 11, 10, 5, 4, 14, 12, 7, 6, 2, 13, 8, 9 ],
14 := [ 1, 3, 14, 12, 9, 8, 5, 4, 2, 13, 11, 10, 6, 7 ],
15 := [ 1, 5, 2, 12, 11, 8, 7, 4, 3, 13, 14, 10, 6, 9 ],
16 := [ 1, 5, 3, 13, 2, 12, 14, 10, 11, 8, 9, 6, 4, 7 ],
17 := [ 1, 5, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 1, 5 ],
18 := [ 1, 5, 7, 4, 9, 6, 11, 8, 14, 10, 2, 12, 13, 3 ],
19 := [ 1, 5, 9, 6, 14, 10, 3, 13, 7, 4, 11, 8, 12, 2 ],
20 := [ 1, 5, 11, 8, 3, 13, 9, 6, 2, 12, 7, 4, 10, 14 ],
21 := [ 1, 5, 14, 10, 7, 4, 2, 12, 9, 6, 3, 13, 8, 11 ],
22 := [ 1, 7, 2, 10, 9, 4, 3, 12, 11, 6, 5, 13, 8, 14 ],
23 := [ 1, 7, 3, 12, 14, 8, 9, 4, 5, 13, 2, 10, 6, 11 ],
24 := [ 1, 7, 5, 13, 3, 12, 2, 10, 14, 8, 11, 6, 4, 9 ],
25 := [ 1, 7, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 1, 7 ],
26 := [ 1, 7, 9, 4, 11, 6, 14, 8, 2, 10, 3, 12, 13, 5 ],
27 := [ 1, 7, 11, 6, 2, 10, 5, 13, 9, 4, 14, 8, 12, 3 ],
28 := [ 1, 7, 14, 8, 5, 13, 11, 6, 3, 12, 9, 4, 10, 2 ],
29 := [ 1, 9, 2, 8, 7, 13, 14, 6, 5, 12, 11, 4, 10, 3 ],
30 := [ 1, 9, 3, 10, 11, 4, 5, 12, 14, 6, 7, 13, 8, 2 ],
31 := [ 1, 9, 5, 12, 2, 8, 11, 4, 7, 13, 3, 10, 6, 14 ],
32 := [ 1, 9, 7, 13, 5, 12, 3, 10, 2, 8, 14, 6, 4, 11 ],
33 := [ 1, 9, 9, 1, 9, 1, 9, 1, 9, 1, 9, 1, 1, 9 ],
34 := [ 1, 9, 11, 4, 14, 6, 2, 8, 3, 10, 5, 12, 13, 7 ],
35 := [ 1, 9, 14, 6, 3, 10, 7, 13, 11, 4, 2, 8, 12, 5 ],
36 := [ 1, 11, 2, 6, 5, 10, 9, 13, 14, 4, 3, 8, 12, 7 ],
37 := [ 1, 11, 3, 8, 9, 13, 2, 6, 7, 12, 14, 4, 10, 5 ],
38 := [ 1, 11, 5, 10, 14, 4, 7, 12, 2, 6, 9, 13, 8, 3 ],
39 := [ 1, 11, 7, 12, 3, 8, 14, 4, 9, 13, 5, 10, 6, 2 ],
40 := [ 1, 11, 9, 13, 7, 12, 5, 10, 3, 8, 2, 6, 4, 14 ],
41 := [ 1, 11, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 1, 11 ],
42 := [ 1, 11, 14, 4, 2, 6, 3, 8, 5, 10, 7, 12, 13, 9 ],
43 := [ 1, 14, 2, 4, 3, 6, 5, 8, 7, 10, 9, 12, 13, 11 ],
44 := [ 1, 14, 3, 6, 7, 10, 11, 13, 2, 4, 5, 8, 12, 9 ],
45 := [ 1, 14, 5, 8, 11, 13, 3, 6, 9, 12, 2, 4, 10, 7 ],
46 := [ 1, 14, 7, 10, 2, 4, 9, 12, 3, 6, 11, 13, 8, 5 ],
47 := [ 1, 14, 9, 12, 5, 8, 2, 4, 11, 13, 7, 10, 6, 3 ],
48 := [ 1, 14, 11, 13, 9, 12, 7, 10, 5, 8, 3, 6, 4, 2 ],
49 := [ 1, 14, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 1, 14 ],
50 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 ] ),
classes := rec(
1 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 50 ] ),
2 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 10, 50 ] ),
3 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
4 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
5 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
6 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
7 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 32, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
8 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 16, 18, 19, 21, 22, 24,
27, 30, 35, 36, 50 ] ),
9 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
10 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
11 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
12 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
13 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
14 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
15 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
16 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
17 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
18 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
19 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
20 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
21 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 18, 20, 23, 26,
28, 29, 31, 39, 50 ] ),
22 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
23 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
24 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
25 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
26 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
27 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
28 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
29 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
30 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
31 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 50, 5, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
32 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 7, 1, 50, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
33 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 16, 16, 50, 50, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
34 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 16, 50, 50, 16, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
35 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 24, 24, 50, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
36 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 24, 50, 50, 1, 1, 1, 24 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
37 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 1 ],
autos_yielding_iso_nrs := [ 4, 50 ] ),
38 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 10, 12, 13, 14, 18, 20, 26, 28, 50 ] ),
39 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
40 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
41 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 50 ] ),
42 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 19, 20, 24, 27,
28, 29, 32, 37, 50 ] ),
43 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 1, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
44 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
45 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
46 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
47 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
48 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
49 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 16, 18, 19, 21, 22, 24,
27, 30, 35, 36, 50 ] ),
50 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
51 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
52 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
53 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
54 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
55 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
56 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 18, 20, 23, 26,
28, 29, 31, 39, 50 ] ),
57 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
58 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
59 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
60 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 18, 20, 23, 26,
28, 29, 31, 39, 50 ] ),
61 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
62 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
63 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
64 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 50, 1, 1, 5 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
65 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 3, 3, 1, 1, 50, 50, 5, 5 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
66 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 3, 5, 1, 1, 50, 3, 50, 5 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
67 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 3, 50, 1, 1, 50, 5, 3, 5 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
68 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 13, 13, 50, 1, 1, 36, 50, 36 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
69 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 13, 36, 50, 1, 1, 50, 13, 36 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
70 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 13, 50, 50, 1, 1, 13, 36, 36 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
71 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 1, 16, 1, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
72 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 1, 50, 1, 16, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
73 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 16, 1, 50, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
74 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 16, 16, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
75 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 16, 50, 50, 16, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
76 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 50, 1, 16, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
77 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 50, 16, 16, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
78 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 16, 50, 50, 16, 16, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
79 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 4, 8, 10, 15, 18, 22, 23, 29, 30, 36, 37, 43, 45, 50 ] ),
80 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
81 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
82 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
83 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
84 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
85 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
86 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
87 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
88 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 19, 21, 22, 23,
26, 30, 34, 38, 50 ] ),
89 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
90 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
91 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
92 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
93 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
94 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
95 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
96 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
97 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 4, 8, 10, 15, 18, 22, 23, 29, 30, 36, 37, 43, 45, 50 ] ),
98 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 19, 21, 22, 23,
26, 30, 34, 38, 50 ] ),
99 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
100 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
101 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
102 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
103 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
104 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
105 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
106 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 10, 11, 12, 14, 19, 20, 27, 28, 50 ] ),
107 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
108 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
109 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
110 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
111 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
112 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
113 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 19, 21, 22, 23,
26, 30, 34, 38, 50 ] ),
114 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
115 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
116 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
117 := rec(
phi := [ 1, 1, 1, 1, 1, 7, 1, 7, 1, 50, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
118 := rec(
phi := [ 1, 1, 1, 1, 1, 7, 1, 50, 1, 7, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
119 := rec(
phi := [ 1, 1, 1, 1, 1, 7, 7, 7, 50, 50, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
120 := rec(
phi := [ 1, 1, 1, 1, 1, 7, 7, 50, 50, 7, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
121 := rec(
phi := [ 1, 1, 1, 1, 1, 7, 50, 7, 7, 50, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
122 := rec(
phi := [ 1, 1, 1, 1, 1, 7, 50, 50, 7, 7, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
123 := rec(
phi := [ 1, 1, 1, 1, 1, 8, 8, 8, 1, 50, 50, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
124 := rec(
phi := [ 1, 1, 1, 1, 1, 8, 8, 50, 1, 8, 50, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
125 := rec(
phi := [ 1, 1, 1, 1, 1, 8, 50, 8, 1, 50, 8, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
126 := rec(
phi := [ 1, 1, 1, 1, 1, 8, 50, 50, 1, 8, 8, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
127 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 1, 16, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
128 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 1, 50, 1, 16, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
129 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 16, 1, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
130 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 16, 16, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
131 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 16, 50, 50, 16, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
132 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 50, 1, 16, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
133 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 50, 16, 16, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
134 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 16, 50, 50, 16, 16, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
135 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 1, 16, 1, 50, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
136 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 1, 50, 1, 16, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
137 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 16, 1, 50, 1, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
138 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 16, 16, 50, 50, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
139 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 16, 50, 50, 16, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
140 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 50, 1, 16, 1, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
141 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 50, 16, 16, 50, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
142 := rec(
phi := [ 1, 1, 1, 1, 1, 16, 50, 50, 50, 16, 16, 50, 1, 16 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
143 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 50, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
144 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
145 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
146 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
147 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 18, 20, 23, 26,
28, 29, 31, 39, 50 ] ),
148 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
149 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
150 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
151 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
152 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
153 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 50, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 50 ] ),
154 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 15, 16, 19, 20, 24, 27,
28, 29, 32, 37, 50 ] ),
155 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 50, 50, 1 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 50 ] ),
156 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
157 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
158 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 16, 18, 19, 21, 22, 24,
27, 30, 35, 36, 50 ] ),
159 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
160 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
161 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
162 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 18, 20, 23, 26,
28, 29, 31, 39, 50 ] ),
163 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
164 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
165 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 18, 20, 23, 26,
28, 29, 31, 39, 50 ] ),
166 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 1, 50, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
167 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
168 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
169 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 19, 21, 22, 23,
26, 30, 34, 38, 50 ] ),
170 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
171 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
172 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
173 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
174 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 1, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
175 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 1, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 19, 21, 22, 23,
26, 30, 34, 38, 50 ] ),
176 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
177 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
178 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
179 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
180 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
181 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 1, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
182 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
183 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 19, 21, 22, 23,
26, 30, 34, 38, 50 ] ),
184 := rec(
phi := [ 1, 1, 1, 1, 1, 50, 50, 50, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
185 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 8, 8, 1, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
186 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 8, 50, 1, 8, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
187 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 50, 8, 1, 50, 8, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
188 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 50, 50, 1, 8, 8, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
189 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 8, 8, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
190 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 8, 50, 1, 8, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
191 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 50, 8, 1, 50, 8, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
192 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 50, 50, 1, 8, 8, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
193 := rec(
phi := [ 1, 1, 1, 1, 8, 50, 8, 8, 1, 50, 50, 8, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
194 := rec(
phi := [ 1, 1, 1, 1, 8, 50, 8, 50, 1, 8, 50, 8, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
195 := rec(
phi := [ 1, 1, 1, 1, 8, 50, 50, 8, 1, 50, 8, 8, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
196 := rec(
phi := [ 1, 1, 1, 1, 8, 50, 50, 50, 1, 8, 8, 8, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
197 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 10, 12, 13, 14, 18, 20, 26, 28, 50 ] ),
198 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
199 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
200 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
201 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
202 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
203 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 1, 50, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
204 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 16, 18, 19, 21, 22, 24,
27, 30, 35, 36, 50 ] ),
205 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 1, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
206 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 50, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
207 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 1, 50, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
208 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 50, 1, 50, 50, 50, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 10, 12, 13, 14, 18, 20, 26, 28, 50 ] ),
209 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 50, 1, 1, 50 ],
autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20,
21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39, 40, 42, 43, 44,
45, 46, 47, 48, 50 ] ),
210 := rec(
phi := [ 1, 1, 1, 1, 50, 1, 1, 50, 50, 50, 50, 1, 50, 50 ],
--> --------------------
--> maximum size reached
--> --------------------
[ Verzeichnis aufwärts0.159unsichere Verbindung
]
|
2026-03-28
|
