Untersuchungsergebnis.nr Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
NR_D12_5 :=
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(
20001 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20002 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20003 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20004 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20005 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20006 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20007 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20008 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20009 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 4, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20010 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20011 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20012 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20013 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20014 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20015 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20016 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20017 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20018 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20019 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20020 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20021 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20022 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20023 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20024 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20025 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20026 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20027 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20028 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20029 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20030 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20031 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20032 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20033 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20034 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20035 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20036 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20037 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20038 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20039 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20040 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20041 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20042 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20043 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20044 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20045 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20046 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20047 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20048 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20049 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20050 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20051 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20052 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20053 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20054 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20055 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20056 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20057 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20058 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20059 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20060 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20061 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20062 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20063 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20064 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20065 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20066 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
20067 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20068 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20069 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20070 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20071 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20072 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20073 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20074 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20075 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 1, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
20076 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20077 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20078 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 1, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20079 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20080 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20081 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20082 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20083 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20084 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20085 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20086 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 1, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20087 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20088 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20089 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20090 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20091 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20092 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20093 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 7, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20094 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 8, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20095 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20096 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20097 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20098 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20099 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20100 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20101 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20102 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20103 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20104 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20105 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20106 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20107 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20108 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
20109 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
20110 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20111 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20112 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20113 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 1, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20114 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20115 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20116 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20117 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20118 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20119 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20120 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20121 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20122 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20123 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20124 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20125 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20126 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20127 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20128 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20129 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20130 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20131 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20132 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20133 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20134 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20135 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20136 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20137 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20138 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20139 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 4, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20140 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20141 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20142 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20143 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20144 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20145 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20146 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20147 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20148 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20149 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20150 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20151 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20152 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20153 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20154 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20155 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20156 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20157 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20158 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20159 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20160 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20161 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20162 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20163 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20164 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20165 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20166 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 3, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20167 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20168 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20169 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 5, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20170 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20171 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 5, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20172 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20173 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
20174 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20175 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20176 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20177 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 5, 64, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20178 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20179 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20180 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20181 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20182 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20183 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20184 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20185 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20186 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20187 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20188 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20189 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20190 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20191 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20192 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20193 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20194 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20195 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20196 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20197 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20198 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20199 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20200 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20201 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 1, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20202 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20203 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20204 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20205 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20206 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20207 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20208 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20209 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20210 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20211 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20212 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20213 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20214 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20215 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20216 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20217 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20218 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20219 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20220 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20221 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20222 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20223 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20224 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20225 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20226 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20227 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 4, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20228 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20229 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20230 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20231 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20232 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20233 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20234 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20235 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20236 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20237 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20238 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20239 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20240 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20241 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20242 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20243 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20244 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20245 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20246 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20247 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20248 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20249 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20250 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20251 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20252 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20253 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20254 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20255 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20256 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20257 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20258 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20259 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20260 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20261 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 8, 8 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
20262 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20263 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20264 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20265 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 6, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20266 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20267 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20268 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20269 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20270 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20271 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20272 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20273 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20274 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20275 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20276 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20277 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20278 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20279 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20280 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20281 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20282 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 3, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20283 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20284 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 1, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20285 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20286 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20287 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 1, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20288 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20289 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20290 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20291 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20292 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20293 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20294 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20295 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20296 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20297 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20298 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 1, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20299 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20300 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20301 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 4, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20302 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20303 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20304 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20305 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 7, 6, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20306 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 6, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20307 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20308 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20309 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20310 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20311 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20312 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20313 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20314 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20315 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20316 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20317 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20318 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20319 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20320 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20321 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20322 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20323 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 8, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20324 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20325 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20326 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20327 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20328 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20329 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20330 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20331 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20332 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20333 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20334 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20335 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20336 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20337 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20338 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20339 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 7, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20340 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 8, 64, 7, 7, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20341 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20342 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20343 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20344 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20345 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20346 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20347 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20348 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20349 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20350 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20351 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20352 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 1, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20353 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20354 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20355 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20356 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20357 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20358 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20359 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20360 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20361 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20362 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20363 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 8, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20364 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20365 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 64, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20366 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 4, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20367 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
20368 := rec(
phi := [ 1, 1, 3, 3, 4, 4, 64, 3, 7, 1, 3, 8 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
--> --------------------
--> maximum size reached
--> --------------------
