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