Quelle nr12_3.4.nr
Sprache: unbekannt
|
|
rahmenlose Ansicht.nr DruckansichtUnknown {[0] [0] [0]}diese Dinge liegen außhalb unserer Verantwortung
NR_D12_4 :=
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(
15001 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 4, 4, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15002 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 4, 4, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15003 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 4, 4, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15004 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 4, 4, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15005 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 4, 4, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15006 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 4, 4, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15007 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15008 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15009 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15010 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15011 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15012 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15013 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15014 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15015 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15016 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 1, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15017 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15018 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15019 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15020 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15021 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15022 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15023 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15024 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15025 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15026 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15027 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15028 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15029 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15030 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15031 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15032 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15033 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15034 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15035 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15036 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15037 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15038 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15039 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15040 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15041 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15042 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15043 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15044 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15045 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15046 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15047 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15048 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15049 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 4, 7, 1, 7, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15050 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15051 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15052 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15053 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15054 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15055 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15056 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15057 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15058 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15059 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15060 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15061 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15062 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15063 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15064 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15065 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15066 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15067 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15068 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15069 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15070 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15071 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15072 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15073 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15074 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15075 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15076 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15077 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15078 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15079 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 1, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
15080 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15081 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15082 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15083 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15084 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15085 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15086 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15087 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15088 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15089 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15090 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15091 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15092 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15093 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15094 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15095 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15096 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15097 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15098 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15099 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15100 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15101 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15102 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15103 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15104 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15105 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15106 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15107 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15108 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15109 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15110 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 2, 1, 7, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15111 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15112 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15113 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15114 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15115 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15116 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15117 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15118 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15119 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15120 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15121 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15122 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15123 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15124 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15125 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15126 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15127 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15128 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15129 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15130 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15131 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15132 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15133 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15134 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15135 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15136 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15137 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15138 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15139 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15140 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 4, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
15141 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15142 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15143 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15144 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15145 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15146 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15147 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15148 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15149 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15150 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15151 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15152 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15153 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15154 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15155 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15156 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15157 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15158 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15159 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15160 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15161 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15162 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15163 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15164 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15165 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15166 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15167 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15168 := rec(
phi := [ 1, 1, 2, 2, 1, 2, 7, 7, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15169 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15170 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15171 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15172 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15173 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15174 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15175 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15176 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15177 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15178 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 1, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15179 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15180 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15181 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15182 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15183 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15184 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15185 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15186 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15187 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15188 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15189 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15190 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15191 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15192 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15193 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15194 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15195 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15196 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15197 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15198 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15199 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15200 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15201 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15202 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
15203 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15204 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15205 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15206 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15207 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15208 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15209 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15210 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 1, 7, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15211 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15212 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 1, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15213 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15214 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15215 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15216 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15217 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 2, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15218 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15219 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15220 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15221 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15222 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15223 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15224 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15225 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 2, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15226 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15227 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 1, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15228 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15229 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15230 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15231 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15232 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 2, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15233 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15234 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15235 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15236 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15237 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15238 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15239 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15240 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 1, 4, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15241 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15242 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15243 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15244 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15245 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15246 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15247 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15248 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15249 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15250 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 1, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15251 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15252 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15253 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15254 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15255 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15256 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15257 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15258 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15259 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15260 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15261 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15262 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15263 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15264 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15265 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15266 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15267 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15268 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15269 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15270 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15271 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15272 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15273 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15274 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
15275 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15276 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15277 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15278 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15279 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15280 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15281 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15282 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 1, 7, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15283 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15284 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 1, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15285 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15286 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15287 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15288 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15289 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 2, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15290 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15291 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15292 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15293 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15294 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15295 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15296 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15297 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 2, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15298 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15299 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 1, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15300 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15301 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15302 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15303 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15304 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 2, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15305 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15306 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15307 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15308 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15309 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15310 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15311 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15312 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 2, 4, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15313 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15314 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15315 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15316 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15317 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15318 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15319 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15320 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15321 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15322 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 1, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15323 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15324 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15325 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15326 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15327 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15328 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15329 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15330 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15331 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15332 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 2, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15333 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15334 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15335 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15336 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15337 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15338 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15339 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15340 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15341 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15342 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15343 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 4, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15344 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15345 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 1, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15346 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15347 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15348 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 2, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15349 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15350 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15351 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 4, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15352 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 7, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15353 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 7, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15354 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 1, 7, 7, 7 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15355 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 1, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15356 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 1, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15357 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 1, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15358 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 1, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15359 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 1, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15360 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 2, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15361 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 2, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15362 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 2, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15363 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 2, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15364 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 2, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15365 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 4, 1, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15366 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 4, 2, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15367 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 4, 2, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15368 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 4, 4, 2 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15369 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 2, 4, 4, 4 ],
autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
15370 := rec(
phi := [ 1, 1, 2, 2, 1, 4, 2, 4, 4, 1, 1, 4 ],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.266 Sekunden
]
|
2026-03-28
|
