Quelle nr12_3.7.nr
Sprache: unbekannt
|
|
NR_D12_7 :=
rec(
group_name := "D12",
group_generators := [ (1,2,3,4,5,6), (2,6)(3,5) ],
elements := rec(
1 := (),
2 := (2,6)(3,5),
3 := (1,2)(3,6)(4,5),
4 := (1,2,3,4,5,6),
5 := (1,3)(4,6),
6 := (1,3,5)(2,4,6),
7 := (1,4)(2,3)(5,6),
8 := (1,4)(2,5)(3,6),
9 := (1,5)(2,4),
10 := (1,5,3)(2,6,4),
11 := (1,6,5,4,3,2),
12 := (1,6)(2,5)(3,4) ),
group_endomorphisms := rec(
1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
2 := [ 1, 1, 2, 2, 1, 1, 2, 2, 1, 1, 2, 2 ],
3 := [ 1, 1, 3, 3, 1, 1, 3, 3, 1, 1, 3, 3 ],
4 := [ 1, 1, 5, 5, 1, 1, 5, 5, 1, 1, 5, 5 ],
5 := [ 1, 1, 7, 7, 1, 1, 7, 7, 1, 1, 7, 7 ],
6 := [ 1, 1, 8, 8, 1, 1, 8, 8, 1, 1, 8, 8 ],
7 := [ 1, 1, 9, 9, 1, 1, 9, 9, 1, 1, 9, 9 ],
8 := [ 1, 1, 12, 12, 1, 1, 12, 12, 1, 1, 12, 12 ],
9 := [ 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 2, 1 ],
10 := [ 1, 2, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2 ],
11 := [ 1, 2, 5, 6, 9, 10, 2, 1, 5, 6, 10, 9 ],
12 := [ 1, 2, 7, 8, 2, 1, 7, 8, 2, 1, 8, 7 ],
13 := [ 1, 2, 8, 7, 2, 1, 8, 7, 2, 1, 7, 8 ],
14 := [ 1, 2, 9, 10, 5, 6, 2, 1, 9, 10, 6, 5 ],
15 := [ 1, 2, 12, 11, 9, 10, 7, 8, 5, 6, 4, 3 ],
16 := [ 1, 3, 1, 3, 3, 1, 1, 3, 3, 1, 3, 1 ],
17 := [ 1, 3, 2, 11, 12, 10, 9, 8, 7, 6, 4, 5 ],
18 := [ 1, 3, 3, 1, 3, 1, 3, 1, 3, 1, 1, 3 ],
19 := [ 1, 3, 5, 4, 7, 6, 9, 8, 12, 10, 11, 2 ],
20 := [ 1, 3, 7, 6, 12, 10, 3, 1, 7, 6, 10, 12 ],
21 := [ 1, 3, 8, 9, 3, 1, 8, 9, 3, 1, 9, 8 ],
22 := [ 1, 3, 9, 8, 3, 1, 9, 8, 3, 1, 8, 9 ],
23 := [ 1, 3, 12, 10, 7, 6, 3, 1, 12, 10, 6, 7 ],
24 := [ 1, 5, 1, 5, 5, 1, 1, 5, 5, 1, 5, 1 ],
25 := [ 1, 5, 2, 10, 9, 6, 5, 1, 2, 10, 6, 9 ],
26 := [ 1, 5, 3, 11, 2, 10, 12, 8, 9, 6, 4, 7 ],
27 := [ 1, 5, 5, 1, 5, 1, 5, 1, 5, 1, 1, 5 ],
28 := [ 1, 5, 7, 4, 9, 6, 12, 8, 2, 10, 11, 3 ],
29 := [ 1, 5, 8, 12, 5, 1, 8, 12, 5, 1, 12, 8 ],
30 := [ 1, 5, 9, 6, 2, 10, 5, 1, 9, 6, 10, 2 ],
31 := [ 1, 5, 12, 8, 5, 1, 12, 8, 5, 1, 8, 12 ],
32 := [ 1, 7, 1, 7, 7, 1, 1, 7, 7, 1, 7, 1 ],
33 := [ 1, 7, 2, 8, 7, 1, 2, 8, 7, 1, 8, 2 ],
34 := [ 1, 7, 3, 10, 12, 6, 7, 1, 3, 10, 6, 12 ],
35 := [ 1, 7, 5, 11, 3, 10, 2, 8, 12, 6, 4, 9 ],
36 := [ 1, 7, 7, 1, 7, 1, 7, 1, 7, 1, 1, 7 ],
37 := [ 1, 7, 8, 2, 7, 1, 8, 2, 7, 1, 2, 8 ],
38 := [ 1, 7, 9, 4, 12, 6, 2, 8, 3, 10, 11, 5 ],
39 := [ 1, 7, 12, 6, 3, 10, 7, 1, 12, 6, 10, 3 ],
40 := [ 1, 8, 1, 8, 8, 1, 1, 8, 8, 1, 8, 1 ],
41 := [ 1, 8, 2, 7, 8, 1, 2, 7, 8, 1, 7, 2 ],
42 := [ 1, 8, 3, 9, 8, 1, 3, 9, 8, 1, 9, 3 ],
43 := [ 1, 8, 5, 12, 8, 1, 5, 12, 8, 1, 12, 5 ],
44 := [ 1, 8, 7, 2, 8, 1, 7, 2, 8, 1, 2, 7 ],
45 := [ 1, 8, 8, 1, 8, 1, 8, 1, 8, 1, 1, 8 ],
46 := [ 1, 8, 9, 3, 8, 1, 9, 3, 8, 1, 3, 9 ],
47 := [ 1, 8, 12, 5, 8, 1, 12, 5, 8, 1, 5, 12 ],
48 := [ 1, 9, 1, 9, 9, 1, 1, 9, 9, 1, 9, 1 ],
49 := [ 1, 9, 2, 6, 5, 10, 9, 1, 2, 6, 10, 5 ],
50 := [ 1, 9, 3, 8, 9, 1, 3, 8, 9, 1, 8, 3 ],
51 := [ 1, 9, 5, 10, 2, 6, 9, 1, 5, 10, 6, 2 ],
52 := [ 1, 9, 7, 11, 5, 10, 3, 8, 2, 6, 4, 12 ],
53 := [ 1, 9, 8, 3, 9, 1, 8, 3, 9, 1, 3, 8 ],
54 := [ 1, 9, 9, 1, 9, 1, 9, 1, 9, 1, 1, 9 ],
55 := [ 1, 9, 12, 4, 2, 6, 3, 8, 5, 10, 11, 7 ],
56 := [ 1, 12, 1, 12, 12, 1, 1, 12, 12, 1, 12, 1 ],
57 := [ 1, 12, 2, 4, 3, 6, 5, 8, 7, 10, 11, 9 ],
58 := [ 1, 12, 3, 6, 7, 10, 12, 1, 3, 6, 10, 7 ],
59 := [ 1, 12, 5, 8, 12, 1, 5, 8, 12, 1, 8, 5 ],
60 := [ 1, 12, 7, 10, 3, 6, 12, 1, 7, 10, 6, 3 ],
61 := [ 1, 12, 8, 5, 12, 1, 8, 5, 12, 1, 5, 8 ],
62 := [ 1, 12, 9, 11, 7, 10, 5, 8, 3, 6, 4, 2 ],
63 := [ 1, 12, 12, 1, 12, 1, 12, 1, 12, 1, 1, 12 ],
64 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] ),
classes := rec(
30001 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30002 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30003 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30004 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30005 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30006 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30007 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30008 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30009 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30010 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30011 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30012 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30013 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30014 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30015 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30016 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30017 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30018 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30019 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30020 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30021 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30022 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30023 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30024 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30025 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30026 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30027 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30028 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30029 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30030 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30031 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30032 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30033 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30034 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30035 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30036 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30037 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30038 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30039 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30040 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30041 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30042 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30043 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30044 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30045 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30046 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30047 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30048 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30049 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30050 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30051 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30052 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30053 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30054 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30055 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30056 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30057 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30058 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30059 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30060 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30061 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30062 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30063 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30064 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30065 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30066 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30067 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30068 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30069 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30070 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30071 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30072 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30073 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30074 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30075 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30076 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30077 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30078 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30079 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30080 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30081 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30082 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30083 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30084 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30085 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30086 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30087 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30088 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30089 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30090 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30091 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30092 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30093 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30094 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30095 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30096 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30097 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30098 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30099 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30100 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30101 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30102 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30103 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30104 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30105 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30106 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30107 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30108 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30109 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30110 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30111 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30112 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30113 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30114 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30115 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30116 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30117 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30118 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30119 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30120 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30121 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30122 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30123 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30124 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30125 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30126 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30127 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30128 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30129 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30130 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30131 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30132 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30133 := rec(
phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30134 := rec(
phi := [ 1, 2, 3, 3, 2, 14, 5, 6, 7, 7, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30135 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30136 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30137 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30138 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30139 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30140 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30141 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30142 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30143 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30144 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30145 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30146 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30147 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30148 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30149 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30150 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30151 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30152 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30153 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30154 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30155 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30156 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30157 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30158 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30159 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30160 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30161 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30162 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30163 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30164 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30165 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30166 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30167 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30168 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30169 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30170 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30171 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30172 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30173 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
30174 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30175 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30176 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30177 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30178 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30179 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30180 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30181 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30182 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30183 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30184 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30185 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30186 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30187 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30188 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30189 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30190 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30191 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30192 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30193 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30194 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30195 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30196 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30197 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30198 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30199 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30200 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30201 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30202 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30203 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30204 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30205 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30206 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30207 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30208 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30209 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30210 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30211 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30212 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30213 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30214 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30215 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30216 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30217 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30218 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30219 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30220 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30221 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30222 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30223 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30224 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30225 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30226 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30227 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30228 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30229 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30230 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30231 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30232 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30233 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30234 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30235 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30236 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30237 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30238 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30239 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30240 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30241 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30242 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30243 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30244 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30245 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30246 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30247 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30248 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30249 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30250 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30251 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30252 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30253 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30254 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30255 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30256 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30257 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30258 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30259 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30260 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30261 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30262 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30263 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30264 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30265 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30266 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30267 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30268 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30269 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30270 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30271 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30272 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30273 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30274 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30275 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
30276 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30277 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30278 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30279 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30280 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30281 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30282 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30283 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30284 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30285 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30286 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30287 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30288 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30289 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30290 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30291 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30292 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30293 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30294 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30295 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30296 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30297 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30298 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30299 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30300 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30301 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30302 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30303 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30304 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30305 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30306 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30307 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30308 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30309 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30310 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30311 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30312 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30313 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30314 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30315 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30316 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30317 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30318 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30319 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30320 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30321 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30322 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30323 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30324 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30325 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30326 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30327 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30328 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30329 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30330 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30331 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30332 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30333 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30334 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30335 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30336 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30337 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30338 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30339 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30340 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30341 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30342 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30343 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30344 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30345 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30346 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 2, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30347 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30348 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30349 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30350 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30351 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30352 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30353 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30354 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30355 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30356 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30357 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30358 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30359 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30360 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30361 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30362 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30363 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30364 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30365 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30366 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30367 := rec(
phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
30368 := rec(
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]
|
2026-04-02
|
