Quelle nr12_3.9.nr
Sprache: unbekannt
|
|
NR_D12_9 :=
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(
40001 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40002 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40003 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40004 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40005 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40006 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40007 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40008 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40009 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40010 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40011 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40012 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40013 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40014 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40015 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40016 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40017 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40018 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40019 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40020 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40021 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40022 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40023 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40024 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 3, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40025 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40026 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 6, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40027 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40028 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40029 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40030 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40031 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40032 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40033 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40034 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40035 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40036 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40037 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40038 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40039 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40040 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 3, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40041 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 3, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40042 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 64, 3 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40043 := rec(
phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40044 := rec(
phi := [ 1, 2, 3, 64, 14, 14, 5, 6, 7, 14, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
40045 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 1, 5, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40046 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40047 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40048 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40049 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 2, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40050 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40051 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40052 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40053 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 5, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40054 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40055 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40056 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40057 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40058 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40059 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40060 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40061 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40062 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40063 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40064 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40065 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40066 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40067 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40068 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40069 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40070 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40071 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 1, 5, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40072 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40073 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40074 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40075 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 2, 5, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40076 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40077 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40078 := rec(
phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40079 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40080 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40081 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40082 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 2, 5, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40083 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40084 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40085 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40086 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40087 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40088 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40089 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40090 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40091 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40092 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40093 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40094 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 5, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40095 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40096 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40097 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40098 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40099 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40100 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40101 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40102 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40103 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40104 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40105 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40106 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 5, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40107 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40108 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40109 := rec(
phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40110 := rec(
phi := [ 1, 2, 5, 5, 2, 14, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40111 := rec(
phi := [ 1, 2, 5, 5, 14, 1, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40112 := rec(
phi := [ 1, 2, 5, 5, 14, 2, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40113 := rec(
phi := [ 1, 2, 5, 5, 14, 14, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40114 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40115 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40116 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 6, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40117 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40118 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40119 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40120 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40121 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40122 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40123 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40124 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 6, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40125 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40126 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40127 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40128 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40129 := rec(
phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40130 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40131 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40132 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40133 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40134 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40135 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40136 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40137 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40138 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40139 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 6, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40140 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40141 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40142 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40143 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40144 := rec(
phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40145 := rec(
phi := [ 1, 2, 5, 6, 2, 14, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40146 := rec(
phi := [ 1, 2, 5, 6, 14, 1, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40147 := rec(
phi := [ 1, 2, 5, 6, 14, 2, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40148 := rec(
phi := [ 1, 2, 5, 6, 14, 14, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40149 := rec(
phi := [ 1, 2, 5, 12, 2, 1, 5, 12, 2, 1, 12, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40150 := rec(
phi := [ 1, 2, 5, 12, 2, 1, 5, 12, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40151 := rec(
phi := [ 1, 2, 5, 15, 2, 1, 5, 5, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40152 := rec(
phi := [ 1, 2, 5, 15, 2, 1, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40153 := rec(
phi := [ 1, 2, 5, 15, 2, 1, 5, 12, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40154 := rec(
phi := [ 1, 2, 5, 15, 2, 2, 5, 5, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40155 := rec(
phi := [ 1, 2, 5, 15, 2, 2, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40156 := rec(
phi := [ 1, 2, 5, 15, 2, 14, 5, 6, 2, 11, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40157 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40158 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40159 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40160 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40161 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40162 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40163 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40164 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40165 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40166 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40167 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40168 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40169 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40170 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40171 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40172 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40173 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40174 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40175 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40176 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40177 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 12, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40178 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40179 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 1, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40180 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40181 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40182 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40183 := rec(
phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40184 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40185 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40186 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40187 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40188 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40189 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40190 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40191 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40192 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40193 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40194 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40195 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40196 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40197 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40198 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40199 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40200 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40201 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40202 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40203 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40204 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40205 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 2, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40206 := rec(
phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40207 := rec(
phi := [ 1, 2, 5, 64, 2, 14, 5, 6, 2, 14, 64, 5 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40208 := rec(
phi := [ 1, 2, 5, 64, 14, 1, 5, 6, 2, 14, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40209 := rec(
phi := [ 1, 2, 5, 64, 14, 2, 5, 6, 2, 14, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40210 := rec(
phi := [ 1, 2, 5, 64, 14, 14, 5, 6, 2, 14, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40211 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 5, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40212 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40213 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40214 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40215 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40216 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40217 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40218 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40219 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40220 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40221 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40222 := rec(
phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40223 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40224 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40225 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40226 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40227 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40228 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 5, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40229 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40230 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40231 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40232 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40233 := rec(
phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40234 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40235 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40236 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40237 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40238 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40239 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40240 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40241 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40242 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40243 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40244 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40245 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40246 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40247 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40248 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40249 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40250 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40251 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40252 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40253 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40254 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40255 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40256 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40257 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40258 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40259 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40260 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40261 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40262 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40263 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40264 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40265 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40266 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40267 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40268 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40269 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40270 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40271 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40272 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40273 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40274 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40275 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40276 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40277 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40278 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40279 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40280 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40281 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40282 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40283 := rec(
phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40284 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40285 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40286 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40287 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40288 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 5, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40289 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40290 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40291 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40292 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40293 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40294 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40295 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40296 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40297 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40298 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40299 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40300 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40301 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40302 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40303 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40304 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40305 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40306 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40307 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40308 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40309 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40310 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40311 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40312 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40313 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40314 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40315 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
40316 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40317 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40318 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40319 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40320 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40321 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40322 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40323 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40324 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40325 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40326 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40327 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40328 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40329 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40330 := rec(
phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40331 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40332 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40333 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40334 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40335 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40336 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40337 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40338 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40339 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40340 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40341 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40342 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40343 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40344 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40345 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40346 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40347 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40348 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40349 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40350 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40351 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40352 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40353 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40354 := rec(
phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40355 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40356 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40357 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40358 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40359 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 2, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40360 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 2, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40361 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 4, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40362 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 4, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40363 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 4, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40364 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 6, 6 ],
autos_yielding_iso_nrs := [ 17, 64 ] ),
40365 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
40366 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 64, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 64 ] ),
40367 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 64, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40368 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 2, 6, 6 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40369 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 2, 6, 64 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
40370 := rec(
phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 2, 64, 6 ],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
2026-04-02
|
