Columbo aufrufen.nr Download desUnknown {[0] [0] [0]}Datei anzeigen
NR_C14 :=
rec(
group_name := "C14",
group_generators := [ ( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14) ],
elements := rec(
1 := (),
2 := ( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14),
3 := ( 1, 3, 5, 7, 9,11,13)( 2, 4, 6, 8,10,12,14),
4 := ( 1, 4, 7,10,13, 2, 5, 8,11,14, 3, 6, 9,12),
5 := ( 1, 5, 9,13, 3, 7,11)( 2, 6,10,14, 4, 8,12),
6 := ( 1, 6,11, 2, 7,12, 3, 8,13, 4, 9,14, 5,10),
7 := ( 1, 7,13, 5,11, 3, 9)( 2, 8,14, 6,12, 4,10),
8 := ( 1, 8)( 2, 9)( 3,10)( 4,11)( 5,12)( 6,13)( 7,14),
9 := ( 1, 9, 3,11, 5,13, 7)( 2,10, 4,12, 6,14, 8),
10 := ( 1,10, 5,14, 9, 4,13, 8, 3,12, 7, 2,11, 6),
11 := ( 1,11, 7, 3,13, 9, 5)( 2,12, 8, 4,14,10, 6),
12 := ( 1,12, 9, 6, 3,14,11, 8, 5, 2,13,10, 7, 4),
13 := ( 1,13,11, 9, 7, 5, 3)( 2,14,12,10, 8, 6, 4),
14 := ( 1,14,13,12,11,10, 9, 8, 7, 6, 5, 4, 3, 2) ),
group_endomorphisms := rec(
1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
2 := [ 1, 3, 5, 7, 9, 11, 13, 1, 3, 5, 7, 9, 11, 13 ],
3 := [ 1, 4, 7, 10, 13, 2, 5, 8, 11, 14, 3, 6, 9, 12 ],
4 := [ 1, 5, 9, 13, 3, 7, 11, 1, 5, 9, 13, 3, 7, 11 ],
5 := [ 1, 6, 11, 2, 7, 12, 3, 8, 13, 4, 9, 14, 5, 10 ],
6 := [ 1, 7, 13, 5, 11, 3, 9, 1, 7, 13, 5, 11, 3, 9 ],
7 := [ 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8 ],
8 := [ 1, 9, 3, 11, 5, 13, 7, 1, 9, 3, 11, 5, 13, 7 ],
9 := [ 1, 10, 5, 14, 9, 4, 13, 8, 3, 12, 7, 2, 11, 6 ],
10 := [ 1, 11, 7, 3, 13, 9, 5, 1, 11, 7, 3, 13, 9, 5 ],
11 := [ 1, 12, 9, 6, 3, 14, 11, 8, 5, 2, 13, 10, 7, 4 ],
12 := [ 1, 13, 11, 9, 7, 5, 3, 1, 13, 11, 9, 7, 5, 3 ],
13 := [ 1, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2 ],
14 := [ 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 := [ 14 ] ),
2 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
3 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
4 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
5 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
6 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
7 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
8 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
9 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
10 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
11 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
12 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
13 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
14 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
15 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
16 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
17 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
18 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
19 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
20 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
21 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
22 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
23 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
24 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
25 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
26 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
27 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
28 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
29 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
30 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
31 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
32 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
33 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
34 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
35 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
36 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
37 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
38 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
39 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
40 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
41 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
42 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
43 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
44 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
45 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
46 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
47 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
48 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
49 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
50 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 14 ] ),
51 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
52 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
53 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
54 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
55 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
56 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
57 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
58 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
59 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
60 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
61 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
62 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
63 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
64 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
65 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
66 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
67 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
68 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
69 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
70 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
71 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
72 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
73 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
74 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
75 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
76 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
77 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
78 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
79 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
80 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
81 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
82 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
83 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
84 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
85 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
86 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
87 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
88 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
89 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
90 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
91 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
92 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
93 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
94 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
95 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
96 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
97 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
98 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
99 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
100 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
101 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 14, 1, 11, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
102 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 13, 1, 14, 1, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
103 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
104 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
105 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
106 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
107 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
108 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
109 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 14 ] ),
110 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
111 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
112 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
113 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
114 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
115 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
116 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
117 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
118 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
119 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
120 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
121 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
122 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
123 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
124 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
125 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
126 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 14 ] ),
127 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
128 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
129 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
130 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
131 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
132 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
133 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
134 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
135 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
136 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
137 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
138 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
139 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
140 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
141 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
142 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
143 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
144 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
145 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
146 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
147 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
148 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
149 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
150 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
151 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
152 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
153 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
154 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
155 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
156 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
157 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
158 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
159 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
160 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
161 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
162 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
163 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
164 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 14 ] ),
165 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
166 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
167 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
168 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
169 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
170 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
171 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
172 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
173 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
174 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
175 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
176 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
177 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
178 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
179 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
180 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
181 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 14 ] ),
182 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
183 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
184 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
185 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
186 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
187 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
188 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
189 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
190 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
191 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
192 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
193 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
194 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
195 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
196 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
197 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
198 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
199 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
200 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
201 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
202 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
203 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
204 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
205 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
206 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
207 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
208 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
209 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
210 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
211 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
212 := rec(
phi := [ 1, 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
213 := rec(
phi := [ 1, 1, 1, 1, 1, 8, 8, 1, 1, 1, 1, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
214 := rec(
phi := [ 1, 1, 1, 1, 1, 8, 8, 1, 1, 1, 1, 1, 8, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
215 := rec(
phi := [ 1, 1, 1, 1, 1, 13, 1, 1, 1, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
216 := rec(
phi := [ 1, 1, 1, 1, 1, 13, 13, 1, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
217 := rec(
phi := [ 1, 1, 1, 1, 1, 13, 14, 1, 13, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
218 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
219 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
220 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
221 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
222 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 14 ] ),
223 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
224 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
225 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
226 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
227 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
228 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
229 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
230 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
231 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
232 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
233 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
234 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
235 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
236 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
237 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
238 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
239 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
240 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
241 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
242 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
243 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
244 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
245 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
246 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
247 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
248 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
249 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
250 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
251 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
252 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
253 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
254 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
255 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
256 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
257 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
258 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
259 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
260 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
261 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 1, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
262 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
263 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
264 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
265 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
266 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 14 ] ),
267 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
268 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
269 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
270 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
271 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
272 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
273 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
274 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
275 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
276 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
277 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
278 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
279 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
280 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
281 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
282 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
283 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
284 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
285 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
286 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
287 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
288 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
289 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
290 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
291 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
292 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
293 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
294 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
295 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
296 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
297 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
298 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
299 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
300 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
301 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
302 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
303 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
304 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
305 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 1, 14, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
306 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 8, 1, 1, 1, 1, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
307 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 8, 1, 1, 1, 1, 1, 8, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
308 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
309 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
310 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
311 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
312 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
313 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
314 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
315 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
316 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
317 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
318 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
319 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
320 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
321 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
322 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
323 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
324 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
325 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
326 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
327 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
328 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
329 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
330 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
331 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
332 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
333 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
334 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
335 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
336 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
337 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
338 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
339 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
340 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
341 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
342 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
343 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
344 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
345 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
346 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 14 ] ),
347 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
348 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
349 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
350 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
351 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
352 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
353 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
354 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
355 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
356 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
357 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
358 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
359 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
360 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
361 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 1, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
362 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
363 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
364 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
365 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
366 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
367 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
368 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
369 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
370 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
371 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
372 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
373 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
374 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
375 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
376 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
377 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
378 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
379 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
380 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
381 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
382 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
383 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
384 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 1, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
385 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
386 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
387 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
388 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
389 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
390 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
391 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
392 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
393 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
394 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
395 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
396 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
397 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
398 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
399 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 1, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
400 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 14 ] ),
401 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
402 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
403 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
404 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
405 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
406 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
407 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 1, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
408 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
409 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
410 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
411 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 1, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
412 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
413 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
414 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 14, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
415 := rec(
phi := [ 1, 1, 1, 1, 1, 14, 14, 14, 14, 14, 14, 14, 14, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
416 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 8, 1, 1, 1, 1, 8, 1, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
417 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 8, 1, 1, 1, 1, 8, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
418 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 8, 1, 1, 1, 1, 14, 1, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
419 := rec(
phi := [ 1, 1, 1, 1, 8, 1, 8, 1, 1, 1, 1, 14, 1, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
420 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 8, 1, 1, 1, 1, 8, 8, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
421 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 8, 1, 1, 1, 1, 8, 8, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
422 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 8, 1, 1, 1, 1, 14, 8, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
423 := rec(
phi := [ 1, 1, 1, 1, 8, 8, 8, 1, 1, 1, 1, 14, 8, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
424 := rec(
phi := [ 1, 1, 1, 1, 8, 14, 8, 1, 1, 1, 1, 8, 8, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
425 := rec(
phi := [ 1, 1, 1, 1, 8, 14, 8, 1, 1, 1, 1, 8, 8, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
426 := rec(
phi := [ 1, 1, 1, 1, 8, 14, 8, 1, 1, 1, 1, 14, 8, 8 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
427 := rec(
phi := [ 1, 1, 1, 1, 8, 14, 8, 1, 1, 1, 1, 14, 8, 14 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
428 := rec(
phi := [ 1, 1, 1, 1, 13, 1, 13, 1, 14, 1, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
429 := rec(
phi := [ 1, 1, 1, 1, 13, 1, 14, 1, 13, 1, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
430 := rec(
phi := [ 1, 1, 1, 1, 13, 13, 1, 1, 1, 14, 14, 1, 1, 1 ],
autos_yielding_iso_nrs := [ 3, 5, 9, 11, 13, 14 ] ),
431 := rec(
--> --------------------
--> maximum size reached
--> --------------------
