| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/sonata/nr/ (GAP Algebra Version 4.15.1©) Datei vom 23.8.2025 mit Größe 148 kB |
|
Quellcode-Bibliothek nr8_2.nr Sprache: unbekannt |
|
|
Spracherkennung für: .nr vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] NR_C2xC4 :=
rec( group_name := "C2xC4", group_generators := [ (1,2), (3,4,5,6) ], elements := rec( 1 := (), 2 := (3,4,5,6), 3 := (3,5)(4,6), 4 := (3,6,5,4), 5 := (1,2), 6 := (1,2)(3,4,5,6), 7 := (1,2)(3,5)(4,6), 8 := (1,2)(3,6,5,4) ), group_endomorphisms := rec( 1 := [ 1, 1, 1, 1, 1, 1, 1, 1 ], 2 := [ 1, 1, 1, 1, 3, 3, 3, 3 ], 3 := [ 1, 1, 1, 1, 5, 5, 5, 5 ], 4 := [ 1, 1, 1, 1, 7, 7, 7, 7 ], 5 := [ 1, 2, 3, 4, 1, 2, 3, 4 ], 6 := [ 1, 2, 3, 4, 3, 4, 1, 2 ], 7 := [ 1, 2, 3, 4, 7, 8, 5, 6 ], 8 := [ 1, 3, 1, 3, 1, 3, 1, 3 ], 9 := [ 1, 3, 1, 3, 3, 1, 3, 1 ], 10 := [ 1, 3, 1, 3, 5, 7, 5, 7 ], 11 := [ 1, 3, 1, 3, 7, 5, 7, 5 ], 12 := [ 1, 4, 3, 2, 1, 4, 3, 2 ], 13 := [ 1, 4, 3, 2, 3, 2, 1, 4 ], 14 := [ 1, 4, 3, 2, 5, 8, 7, 6 ], 15 := [ 1, 4, 3, 2, 7, 6, 5, 8 ], 16 := [ 1, 5, 1, 5, 1, 5, 1, 5 ], 17 := [ 1, 5, 1, 5, 3, 7, 3, 7 ], 18 := [ 1, 5, 1, 5, 5, 1, 5, 1 ], 19 := [ 1, 5, 1, 5, 7, 3, 7, 3 ], 20 := [ 1, 6, 3, 8, 1, 6, 3, 8 ], 21 := [ 1, 6, 3, 8, 3, 8, 1, 6 ], 22 := [ 1, 6, 3, 8, 5, 2, 7, 4 ], 23 := [ 1, 6, 3, 8, 7, 4, 5, 2 ], 24 := [ 1, 7, 1, 7, 1, 7, 1, 7 ], 25 := [ 1, 7, 1, 7, 3, 5, 3, 5 ], 26 := [ 1, 7, 1, 7, 5, 3, 5, 3 ], 27 := [ 1, 7, 1, 7, 7, 1, 7, 1 ], 28 := [ 1, 8, 3, 6, 1, 8, 3, 6 ], 29 := [ 1, 8, 3, 6, 3, 6, 1, 8 ], 30 := [ 1, 8, 3, 6, 5, 4, 7, 2 ], 31 := [ 1, 8, 3, 6, 7, 2, 5, 4 ], 32 := [ 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 := [ 32 ] ), 2 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 3 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 4 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 5 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 6 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 7 := rec( phi := [ 1, 1, 1, 1, 1, 1, 2, 1 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 8 := rec( phi := [ 1, 1, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 9 := rec( phi := [ 1, 1, 1, 1, 1, 1, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 10 := rec( phi := [ 1, 1, 1, 1, 1, 1, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 11 := rec( phi := [ 1, 1, 1, 1, 1, 1, 8, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 12 := rec( phi := [ 1, 1, 1, 1, 1, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 13 := rec( phi := [ 1, 1, 1, 1, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 14 := rec( phi := [ 1, 1, 1, 1, 1, 1, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 15 := rec( phi := [ 1, 1, 1, 1, 1, 1, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 16 := rec( phi := [ 1, 1, 1, 1, 1, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 17 := rec( phi := [ 1, 1, 1, 1, 1, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 18 := rec( phi := [ 1, 1, 1, 1, 1, 1, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 19 := rec( phi := [ 1, 1, 1, 1, 1, 1, 16, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 20 := rec( phi := [ 1, 1, 1, 1, 1, 1, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 21 := rec( phi := [ 1, 1, 1, 1, 1, 1, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 22 := rec( phi := [ 1, 1, 1, 1, 1, 1, 32, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 23 := rec( phi := [ 1, 1, 1, 1, 1, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 24 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 25 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 26 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 27 := rec( phi := [ 1, 1, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 28 := rec( phi := [ 1, 1, 1, 1, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 29 := rec( phi := [ 1, 1, 1, 1, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 30 := rec( phi := [ 1, 1, 1, 1, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 31 := rec( phi := [ 1, 1, 1, 1, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 32 := rec( phi := [ 1, 1, 1, 1, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 33 := rec( phi := [ 1, 1, 1, 1, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 34 := rec( phi := [ 1, 1, 1, 1, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 35 := rec( phi := [ 1, 1, 1, 1, 1, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 36 := rec( phi := [ 1, 1, 1, 1, 1, 7, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 37 := rec( phi := [ 1, 1, 1, 1, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 38 := rec( phi := [ 1, 1, 1, 1, 1, 8, 1, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 39 := rec( phi := [ 1, 1, 1, 1, 1, 8, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 40 := rec( phi := [ 1, 1, 1, 1, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 41 := rec( phi := [ 1, 1, 1, 1, 1, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 42 := rec( phi := [ 1, 1, 1, 1, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 43 := rec( phi := [ 1, 1, 1, 1, 1, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 44 := rec( phi := [ 1, 1, 1, 1, 1, 8, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 45 := rec( phi := [ 1, 1, 1, 1, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 46 := rec( phi := [ 1, 1, 1, 1, 1, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 47 := rec( phi := [ 1, 1, 1, 1, 1, 8, 16, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 48 := rec( phi := [ 1, 1, 1, 1, 1, 8, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 49 := rec( phi := [ 1, 1, 1, 1, 1, 9, 1, 9 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 50 := rec( phi := [ 1, 1, 1, 1, 1, 9, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 51 := rec( phi := [ 1, 1, 1, 1, 1, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 52 := rec( phi := [ 1, 1, 1, 1, 1, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 53 := rec( phi := [ 1, 1, 1, 1, 1, 14, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 54 := rec( phi := [ 1, 1, 1, 1, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 55 := rec( phi := [ 1, 1, 1, 1, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 56 := rec( phi := [ 1, 1, 1, 1, 1, 16, 8, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 57 := rec( phi := [ 1, 1, 1, 1, 1, 16, 8, 17 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 58 := rec( phi := [ 1, 1, 1, 1, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 59 := rec( phi := [ 1, 1, 1, 1, 1, 17, 8, 17 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 60 := rec( phi := [ 1, 1, 1, 1, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 61 := rec( phi := [ 1, 1, 1, 1, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 62 := rec( phi := [ 1, 1, 1, 1, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 63 := rec( phi := [ 1, 1, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 64 := rec( phi := [ 1, 1, 1, 1, 2, 1, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 65 := rec( phi := [ 1, 1, 1, 1, 2, 1, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 66 := rec( phi := [ 1, 1, 1, 1, 2, 1, 8, 1 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 67 := rec( phi := [ 1, 1, 1, 1, 2, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 68 := rec( phi := [ 1, 1, 1, 1, 2, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 69 := rec( phi := [ 1, 1, 1, 1, 2, 1, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 70 := rec( phi := [ 1, 1, 1, 1, 2, 1, 9, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 71 := rec( phi := [ 1, 1, 1, 1, 2, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 72 := rec( phi := [ 1, 1, 1, 1, 2, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 73 := rec( phi := [ 1, 1, 1, 1, 2, 1, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 74 := rec( phi := [ 1, 1, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 75 := rec( phi := [ 1, 1, 1, 1, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 76 := rec( phi := [ 1, 1, 1, 1, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 77 := rec( phi := [ 1, 1, 1, 1, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 78 := rec( phi := [ 1, 1, 1, 1, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 79 := rec( phi := [ 1, 1, 1, 1, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 80 := rec( phi := [ 1, 1, 1, 1, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 81 := rec( phi := [ 1, 1, 1, 1, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 82 := rec( phi := [ 1, 1, 1, 1, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 83 := rec( phi := [ 1, 1, 1, 1, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 84 := rec( phi := [ 1, 1, 1, 1, 2, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 85 := rec( phi := [ 1, 1, 1, 1, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 86 := rec( phi := [ 1, 1, 1, 1, 2, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 87 := rec( phi := [ 1, 1, 1, 1, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 88 := rec( phi := [ 1, 1, 1, 1, 2, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 89 := rec( phi := [ 1, 1, 1, 1, 2, 9, 2, 9 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 90 := rec( phi := [ 1, 1, 1, 1, 2, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 91 := rec( phi := [ 1, 1, 1, 1, 2, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 92 := rec( phi := [ 1, 1, 1, 1, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 93 := rec( phi := [ 1, 1, 1, 1, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 94 := rec( phi := [ 1, 1, 1, 1, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 95 := rec( phi := [ 1, 1, 1, 1, 3, 3, 4, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 96 := rec( phi := [ 1, 1, 1, 1, 3, 3, 4, 4 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 97 := rec( phi := [ 1, 1, 1, 1, 3, 3, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 98 := rec( phi := [ 1, 1, 1, 1, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 99 := rec( phi := [ 1, 1, 1, 1, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 100 := rec( phi := [ 1, 1, 1, 1, 3, 7, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 101 := rec( phi := [ 1, 1, 1, 1, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 102 := rec( phi := [ 1, 1, 1, 1, 3, 14, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 103 := rec( phi := [ 1, 1, 1, 1, 3, 14, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 104 := rec( phi := [ 1, 1, 1, 1, 3, 14, 10, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 105 := rec( phi := [ 1, 1, 1, 1, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 106 := rec( phi := [ 1, 1, 1, 1, 3, 32, 4, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 107 := rec( phi := [ 1, 1, 1, 1, 3, 32, 10, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 108 := rec( phi := [ 1, 1, 1, 1, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 109 := rec( phi := [ 1, 1, 1, 1, 7, 1, 32, 1 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 110 := rec( phi := [ 1, 1, 1, 1, 7, 7, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 111 := rec( phi := [ 1, 1, 1, 1, 8, 1, 8, 1 ], autos_yielding_iso_nrs := [ 32 ] ), 112 := rec( phi := [ 1, 1, 1, 1, 8, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 113 := rec( phi := [ 1, 1, 1, 1, 8, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 114 := rec( phi := [ 1, 1, 1, 1, 8, 1, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 115 := rec( phi := [ 1, 1, 1, 1, 8, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 116 := rec( phi := [ 1, 1, 1, 1, 8, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 117 := rec( phi := [ 1, 1, 1, 1, 8, 1, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 118 := rec( phi := [ 1, 1, 1, 1, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 119 := rec( phi := [ 1, 1, 1, 1, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 120 := rec( phi := [ 1, 1, 1, 1, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 121 := rec( phi := [ 1, 1, 1, 1, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 122 := rec( phi := [ 1, 1, 1, 1, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 123 := rec( phi := [ 1, 1, 1, 1, 8, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 124 := rec( phi := [ 1, 1, 1, 1, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 125 := rec( phi := [ 1, 1, 1, 1, 8, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 126 := rec( phi := [ 1, 1, 1, 1, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 127 := rec( phi := [ 1, 1, 1, 1, 8, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 128 := rec( phi := [ 1, 1, 1, 1, 8, 9, 8, 9 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 129 := rec( phi := [ 1, 1, 1, 1, 8, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 130 := rec( phi := [ 1, 1, 1, 1, 9, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 131 := rec( phi := [ 1, 1, 1, 1, 9, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 132 := rec( phi := [ 1, 1, 1, 1, 9, 1, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 133 := rec( phi := [ 1, 1, 1, 1, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 134 := rec( phi := [ 1, 1, 1, 1, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 135 := rec( phi := [ 1, 1, 1, 1, 9, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 136 := rec( phi := [ 1, 1, 1, 1, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 137 := rec( phi := [ 1, 1, 1, 1, 9, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 138 := rec( phi := [ 1, 1, 1, 1, 9, 9, 9, 9 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 139 := rec( phi := [ 1, 1, 1, 1, 32, 1, 32, 1 ], autos_yielding_iso_nrs := [ 32 ] ), 140 := rec( phi := [ 1, 1, 1, 1, 32, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 141 := rec( phi := [ 1, 1, 1, 1, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 142 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 143 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 144 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 145 := rec( phi := [ 1, 1, 1, 2, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 146 := rec( phi := [ 1, 1, 1, 2, 1, 1, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 147 := rec( phi := [ 1, 1, 1, 2, 1, 1, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 148 := rec( phi := [ 1, 1, 1, 2, 1, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 149 := rec( phi := [ 1, 1, 1, 2, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 150 := rec( phi := [ 1, 1, 1, 2, 1, 1, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 151 := rec( phi := [ 1, 1, 1, 2, 1, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 152 := rec( phi := [ 1, 1, 1, 2, 1, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 153 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 154 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 155 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 156 := rec( phi := [ 1, 1, 1, 2, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 157 := rec( phi := [ 1, 1, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 158 := rec( phi := [ 1, 1, 1, 2, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 159 := rec( phi := [ 1, 1, 1, 2, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 160 := rec( phi := [ 1, 1, 1, 2, 1, 2, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 161 := rec( phi := [ 1, 1, 1, 2, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 162 := rec( phi := [ 1, 1, 1, 2, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 163 := rec( phi := [ 1, 1, 1, 2, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 164 := rec( phi := [ 1, 1, 1, 2, 1, 2, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 165 := rec( phi := [ 1, 1, 1, 2, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 166 := rec( phi := [ 1, 1, 1, 2, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 167 := rec( phi := [ 1, 1, 1, 2, 1, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 168 := rec( phi := [ 1, 1, 1, 2, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 169 := rec( phi := [ 1, 1, 1, 2, 1, 8, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 170 := rec( phi := [ 1, 1, 1, 2, 1, 8, 2, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 171 := rec( phi := [ 1, 1, 1, 2, 1, 8, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 172 := rec( phi := [ 1, 1, 1, 2, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 173 := rec( phi := [ 1, 1, 1, 2, 1, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 174 := rec( phi := [ 1, 1, 1, 2, 1, 8, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 175 := rec( phi := [ 1, 1, 1, 2, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 176 := rec( phi := [ 1, 1, 1, 2, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 177 := rec( phi := [ 1, 1, 1, 2, 1, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 178 := rec( phi := [ 1, 1, 1, 2, 1, 8, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 179 := rec( phi := [ 1, 1, 1, 2, 1, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 180 := rec( phi := [ 1, 1, 1, 2, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 181 := rec( phi := [ 1, 1, 1, 2, 1, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 182 := rec( phi := [ 1, 1, 1, 2, 1, 9, 1, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 183 := rec( phi := [ 1, 1, 1, 2, 1, 9, 2, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 184 := rec( phi := [ 1, 1, 1, 2, 1, 9, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 185 := rec( phi := [ 1, 1, 1, 2, 1, 9, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 186 := rec( phi := [ 1, 1, 1, 2, 1, 9, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 187 := rec( phi := [ 1, 1, 1, 2, 1, 9, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 188 := rec( phi := [ 1, 1, 1, 2, 1, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 189 := rec( phi := [ 1, 1, 1, 2, 1, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 190 := rec( phi := [ 1, 1, 1, 2, 1, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 191 := rec( phi := [ 1, 1, 1, 2, 1, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 192 := rec( phi := [ 1, 1, 1, 2, 1, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 193 := rec( phi := [ 1, 1, 1, 2, 1, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 194 := rec( phi := [ 1, 1, 1, 2, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 195 := rec( phi := [ 1, 1, 1, 2, 2, 1, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 196 := rec( phi := [ 1, 1, 1, 2, 2, 1, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 197 := rec( phi := [ 1, 1, 1, 2, 2, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 198 := rec( phi := [ 1, 1, 1, 2, 2, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 199 := rec( phi := [ 1, 1, 1, 2, 2, 1, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 200 := rec( phi := [ 1, 1, 1, 2, 2, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 201 := rec( phi := [ 1, 1, 1, 2, 2, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 202 := rec( phi := [ 1, 1, 1, 2, 2, 1, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 203 := rec( phi := [ 1, 1, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 204 := rec( phi := [ 1, 1, 1, 2, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 205 := rec( phi := [ 1, 1, 1, 2, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 206 := rec( phi := [ 1, 1, 1, 2, 2, 2, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 207 := rec( phi := [ 1, 1, 1, 2, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 208 := rec( phi := [ 1, 1, 1, 2, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 209 := rec( phi := [ 1, 1, 1, 2, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 210 := rec( phi := [ 1, 1, 1, 2, 2, 2, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 211 := rec( phi := [ 1, 1, 1, 2, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 212 := rec( phi := [ 1, 1, 1, 2, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 213 := rec( phi := [ 1, 1, 1, 2, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 214 := rec( phi := [ 1, 1, 1, 2, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 215 := rec( phi := [ 1, 1, 1, 2, 2, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 216 := rec( phi := [ 1, 1, 1, 2, 2, 8, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 217 := rec( phi := [ 1, 1, 1, 2, 2, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 218 := rec( phi := [ 1, 1, 1, 2, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 219 := rec( phi := [ 1, 1, 1, 2, 2, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 220 := rec( phi := [ 1, 1, 1, 2, 2, 8, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 221 := rec( phi := [ 1, 1, 1, 2, 2, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 222 := rec( phi := [ 1, 1, 1, 2, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 223 := rec( phi := [ 1, 1, 1, 2, 2, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 224 := rec( phi := [ 1, 1, 1, 2, 2, 9, 2, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 225 := rec( phi := [ 1, 1, 1, 2, 2, 9, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 226 := rec( phi := [ 1, 1, 1, 2, 2, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 227 := rec( phi := [ 1, 1, 1, 2, 2, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 228 := rec( phi := [ 1, 1, 1, 2, 2, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 229 := rec( phi := [ 1, 1, 1, 2, 2, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 230 := rec( phi := [ 1, 1, 1, 2, 2, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 231 := rec( phi := [ 1, 1, 1, 2, 2, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 232 := rec( phi := [ 1, 1, 1, 2, 8, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 233 := rec( phi := [ 1, 1, 1, 2, 8, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 234 := rec( phi := [ 1, 1, 1, 2, 8, 1, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 235 := rec( phi := [ 1, 1, 1, 2, 8, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 236 := rec( phi := [ 1, 1, 1, 2, 8, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 237 := rec( phi := [ 1, 1, 1, 2, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 238 := rec( phi := [ 1, 1, 1, 2, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 239 := rec( phi := [ 1, 1, 1, 2, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 240 := rec( phi := [ 1, 1, 1, 2, 8, 2, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 241 := rec( phi := [ 1, 1, 1, 2, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 242 := rec( phi := [ 1, 1, 1, 2, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 243 := rec( phi := [ 1, 1, 1, 2, 8, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 244 := rec( phi := [ 1, 1, 1, 2, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 245 := rec( phi := [ 1, 1, 1, 2, 8, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 246 := rec( phi := [ 1, 1, 1, 2, 8, 8, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 247 := rec( phi := [ 1, 1, 1, 2, 8, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 248 := rec( phi := [ 1, 1, 1, 2, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 249 := rec( phi := [ 1, 1, 1, 2, 8, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 250 := rec( phi := [ 1, 1, 1, 2, 8, 9, 8, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 251 := rec( phi := [ 1, 1, 1, 2, 8, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 252 := rec( phi := [ 1, 1, 1, 2, 8, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 253 := rec( phi := [ 1, 1, 1, 2, 8, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 254 := rec( phi := [ 1, 1, 1, 2, 9, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 255 := rec( phi := [ 1, 1, 1, 2, 9, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 256 := rec( phi := [ 1, 1, 1, 2, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 257 := rec( phi := [ 1, 1, 1, 2, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 258 := rec( phi := [ 1, 1, 1, 2, 9, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 259 := rec( phi := [ 1, 1, 1, 2, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 260 := rec( phi := [ 1, 1, 1, 2, 9, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 261 := rec( phi := [ 1, 1, 1, 2, 9, 9, 9, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 262 := rec( phi := [ 1, 1, 1, 5, 1, 1, 1, 5 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 263 := rec( phi := [ 1, 1, 1, 5, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 264 := rec( phi := [ 1, 1, 1, 5, 1, 1, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 265 := rec( phi := [ 1, 1, 1, 5, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 266 := rec( phi := [ 1, 1, 1, 8, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 267 := rec( phi := [ 1, 1, 1, 8, 1, 1, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 268 := rec( phi := [ 1, 1, 1, 8, 1, 1, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 269 := rec( phi := [ 1, 1, 1, 8, 1, 1, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 270 := rec( phi := [ 1, 1, 1, 8, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 271 := rec( phi := [ 1, 1, 1, 8, 1, 1, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 272 := rec( phi := [ 1, 1, 1, 8, 1, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 273 := rec( phi := [ 1, 1, 1, 8, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 274 := rec( phi := [ 1, 1, 1, 8, 1, 1, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 275 := rec( phi := [ 1, 1, 1, 8, 1, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 276 := rec( phi := [ 1, 1, 1, 8, 1, 1, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 277 := rec( phi := [ 1, 1, 1, 8, 1, 1, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 278 := rec( phi := [ 1, 1, 1, 8, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 279 := rec( phi := [ 1, 1, 1, 8, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 280 := rec( phi := [ 1, 1, 1, 8, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 281 := rec( phi := [ 1, 1, 1, 8, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 282 := rec( phi := [ 1, 1, 1, 8, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 283 := rec( phi := [ 1, 1, 1, 8, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 284 := rec( phi := [ 1, 1, 1, 8, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 285 := rec( phi := [ 1, 1, 1, 8, 1, 2, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 286 := rec( phi := [ 1, 1, 1, 8, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 287 := rec( phi := [ 1, 1, 1, 8, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 288 := rec( phi := [ 1, 1, 1, 8, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 289 := rec( phi := [ 1, 1, 1, 8, 1, 2, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 290 := rec( phi := [ 1, 1, 1, 8, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 291 := rec( phi := [ 1, 1, 1, 8, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 292 := rec( phi := [ 1, 1, 1, 8, 1, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 293 := rec( phi := [ 1, 1, 1, 8, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 294 := rec( phi := [ 1, 1, 1, 8, 1, 8, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 295 := rec( phi := [ 1, 1, 1, 8, 1, 8, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 296 := rec( phi := [ 1, 1, 1, 8, 1, 8, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 297 := rec( phi := [ 1, 1, 1, 8, 1, 8, 2, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 298 := rec( phi := [ 1, 1, 1, 8, 1, 8, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 299 := rec( phi := [ 1, 1, 1, 8, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 300 := rec( phi := [ 1, 1, 1, 8, 1, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 301 := rec( phi := [ 1, 1, 1, 8, 1, 8, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 302 := rec( phi := [ 1, 1, 1, 8, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 303 := rec( phi := [ 1, 1, 1, 8, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 304 := rec( phi := [ 1, 1, 1, 8, 1, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 305 := rec( phi := [ 1, 1, 1, 8, 1, 8, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 306 := rec( phi := [ 1, 1, 1, 8, 1, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 307 := rec( phi := [ 1, 1, 1, 8, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 308 := rec( phi := [ 1, 1, 1, 8, 1, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 309 := rec( phi := [ 1, 1, 1, 8, 1, 8, 16, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 310 := rec( phi := [ 1, 1, 1, 8, 1, 8, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 311 := rec( phi := [ 1, 1, 1, 8, 1, 8, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 312 := rec( phi := [ 1, 1, 1, 8, 1, 9, 1, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 313 := rec( phi := [ 1, 1, 1, 8, 1, 9, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 314 := rec( phi := [ 1, 1, 1, 8, 1, 9, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 315 := rec( phi := [ 1, 1, 1, 8, 1, 9, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 316 := rec( phi := [ 1, 1, 1, 8, 1, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 317 := rec( phi := [ 1, 1, 1, 8, 1, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 318 := rec( phi := [ 1, 1, 1, 8, 1, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 319 := rec( phi := [ 1, 1, 1, 8, 1, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 320 := rec( phi := [ 1, 1, 1, 8, 1, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 321 := rec( phi := [ 1, 1, 1, 8, 1, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 322 := rec( phi := [ 1, 1, 1, 8, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 323 := rec( phi := [ 1, 1, 1, 8, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 324 := rec( phi := [ 1, 1, 1, 8, 1, 16, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 325 := rec( phi := [ 1, 1, 1, 8, 1, 16, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 326 := rec( phi := [ 1, 1, 1, 8, 1, 16, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 327 := rec( phi := [ 1, 1, 1, 8, 1, 16, 8, 17 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 328 := rec( phi := [ 1, 1, 1, 8, 1, 16, 16, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 329 := rec( phi := [ 1, 1, 1, 8, 1, 16, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 330 := rec( phi := [ 1, 1, 1, 8, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 331 := rec( phi := [ 1, 1, 1, 8, 1, 17, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 332 := rec( phi := [ 1, 1, 1, 8, 1, 17, 8, 17 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 333 := rec( phi := [ 1, 1, 1, 8, 1, 24, 1, 16 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 334 := rec( phi := [ 1, 1, 1, 8, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 335 := rec( phi := [ 1, 1, 1, 8, 2, 1, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 336 := rec( phi := [ 1, 1, 1, 8, 2, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 337 := rec( phi := [ 1, 1, 1, 8, 2, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 338 := rec( phi := [ 1, 1, 1, 8, 2, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 339 := rec( phi := [ 1, 1, 1, 8, 2, 1, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 340 := rec( phi := [ 1, 1, 1, 8, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 341 := rec( phi := [ 1, 1, 1, 8, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 342 := rec( phi := [ 1, 1, 1, 8, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 343 := rec( phi := [ 1, 1, 1, 8, 2, 2, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 344 := rec( phi := [ 1, 1, 1, 8, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 345 := rec( phi := [ 1, 1, 1, 8, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 346 := rec( phi := [ 1, 1, 1, 8, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 347 := rec( phi := [ 1, 1, 1, 8, 2, 2, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 348 := rec( phi := [ 1, 1, 1, 8, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 349 := rec( phi := [ 1, 1, 1, 8, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 350 := rec( phi := [ 1, 1, 1, 8, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 351 := rec( phi := [ 1, 1, 1, 8, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 352 := rec( phi := [ 1, 1, 1, 8, 2, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 353 := rec( phi := [ 1, 1, 1, 8, 2, 8, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 354 := rec( phi := [ 1, 1, 1, 8, 2, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 355 := rec( phi := [ 1, 1, 1, 8, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 356 := rec( phi := [ 1, 1, 1, 8, 2, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 357 := rec( phi := [ 1, 1, 1, 8, 2, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 358 := rec( phi := [ 1, 1, 1, 8, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 359 := rec( phi := [ 1, 1, 1, 8, 2, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 360 := rec( phi := [ 1, 1, 1, 8, 2, 9, 2, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 361 := rec( phi := [ 1, 1, 1, 8, 2, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 362 := rec( phi := [ 1, 1, 1, 8, 2, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 363 := rec( phi := [ 1, 1, 1, 8, 2, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 364 := rec( phi := [ 1, 1, 1, 8, 2, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 365 := rec( phi := [ 1, 1, 1, 8, 2, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 366 := rec( phi := [ 1, 1, 1, 8, 2, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 367 := rec( phi := [ 1, 1, 1, 8, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 368 := rec( phi := [ 1, 1, 1, 8, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 369 := rec( phi := [ 1, 1, 1, 8, 3, 3, 4, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 370 := rec( phi := [ 1, 1, 1, 8, 3, 3, 4, 4 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 371 := rec( phi := [ 1, 1, 1, 8, 3, 4, 4, 3 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 372 := rec( phi := [ 1, 1, 1, 8, 3, 10, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 373 := rec( phi := [ 1, 1, 1, 8, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 374 := rec( phi := [ 1, 1, 1, 8, 8, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 375 := rec( phi := [ 1, 1, 1, 8, 8, 1, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 376 := rec( phi := [ 1, 1, 1, 8, 8, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 377 := rec( phi := [ 1, 1, 1, 8, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 378 := rec( phi := [ 1, 1, 1, 8, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 379 := rec( phi := [ 1, 1, 1, 8, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 380 := rec( phi := [ 1, 1, 1, 8, 8, 2, 9, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 381 := rec( phi := [ 1, 1, 1, 8, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 382 := rec( phi := [ 1, 1, 1, 8, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 383 := rec( phi := [ 1, 1, 1, 8, 8, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 384 := rec( phi := [ 1, 1, 1, 8, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 385 := rec( phi := [ 1, 1, 1, 8, 8, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 386 := rec( phi := [ 1, 1, 1, 8, 8, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 387 := rec( phi := [ 1, 1, 1, 8, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 388 := rec( phi := [ 1, 1, 1, 8, 8, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 389 := rec( phi := [ 1, 1, 1, 8, 8, 9, 8, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 390 := rec( phi := [ 1, 1, 1, 8, 8, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 391 := rec( phi := [ 1, 1, 1, 8, 8, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 392 := rec( phi := [ 1, 1, 1, 8, 8, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 393 := rec( phi := [ 1, 1, 1, 8, 9, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 394 := rec( phi := [ 1, 1, 1, 8, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 395 := rec( phi := [ 1, 1, 1, 8, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 396 := rec( phi := [ 1, 1, 1, 8, 9, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 397 := rec( phi := [ 1, 1, 1, 8, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 398 := rec( phi := [ 1, 1, 1, 8, 9, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 399 := rec( phi := [ 1, 1, 1, 8, 9, 9, 9, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 400 := rec( phi := [ 1, 1, 1, 9, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 401 := rec( phi := [ 1, 1, 1, 9, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 402 := rec( phi := [ 1, 1, 1, 9, 1, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 403 := rec( phi := [ 1, 1, 1, 9, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 404 := rec( phi := [ 1, 1, 1, 9, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 405 := rec( phi := [ 1, 1, 1, 9, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 406 := rec( phi := [ 1, 1, 1, 9, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 407 := rec( phi := [ 1, 1, 1, 9, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 408 := rec( phi := [ 1, 1, 1, 9, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 409 := rec( phi := [ 1, 1, 1, 9, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 410 := rec( phi := [ 1, 1, 1, 9, 1, 2, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 411 := rec( phi := [ 1, 1, 1, 9, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 412 := rec( phi := [ 1, 1, 1, 9, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 413 := rec( phi := [ 1, 1, 1, 9, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 414 := rec( phi := [ 1, 1, 1, 9, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 415 := rec( phi := [ 1, 1, 1, 9, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 416 := rec( phi := [ 1, 1, 1, 9, 1, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 417 := rec( phi := [ 1, 1, 1, 9, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 418 := rec( phi := [ 1, 1, 1, 9, 1, 8, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 419 := rec( phi := [ 1, 1, 1, 9, 1, 8, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 420 := rec( phi := [ 1, 1, 1, 9, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 421 := rec( phi := [ 1, 1, 1, 9, 1, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 422 := rec( phi := [ 1, 1, 1, 9, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 423 := rec( phi := [ 1, 1, 1, 9, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 424 := rec( phi := [ 1, 1, 1, 9, 1, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 425 := rec( phi := [ 1, 1, 1, 9, 1, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 426 := rec( phi := [ 1, 1, 1, 9, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 427 := rec( phi := [ 1, 1, 1, 9, 1, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 428 := rec( phi := [ 1, 1, 1, 9, 1, 9, 1, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 429 := rec( phi := [ 1, 1, 1, 9, 1, 9, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 430 := rec( phi := [ 1, 1, 1, 9, 1, 9, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 431 := rec( phi := [ 1, 1, 1, 9, 1, 9, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 432 := rec( phi := [ 1, 1, 1, 9, 1, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 433 := rec( phi := [ 1, 1, 1, 9, 1, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 434 := rec( phi := [ 1, 1, 1, 9, 1, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 435 := rec( phi := [ 1, 1, 1, 9, 1, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 436 := rec( phi := [ 1, 1, 1, 9, 1, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 437 := rec( phi := [ 1, 1, 1, 9, 1, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 438 := rec( phi := [ 1, 1, 1, 9, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 439 := rec( phi := [ 1, 1, 1, 9, 2, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 440 := rec( phi := [ 1, 1, 1, 9, 2, 1, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 441 := rec( phi := [ 1, 1, 1, 9, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 442 := rec( phi := [ 1, 1, 1, 9, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 443 := rec( phi := [ 1, 1, 1, 9, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 444 := rec( phi := [ 1, 1, 1, 9, 2, 2, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 445 := rec( phi := [ 1, 1, 1, 9, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 446 := rec( phi := [ 1, 1, 1, 9, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 447 := rec( phi := [ 1, 1, 1, 9, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 448 := rec( phi := [ 1, 1, 1, 9, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 449 := rec( phi := [ 1, 1, 1, 9, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 450 := rec( phi := [ 1, 1, 1, 9, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 451 := rec( phi := [ 1, 1, 1, 9, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 452 := rec( phi := [ 1, 1, 1, 9, 2, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 453 := rec( phi := [ 1, 1, 1, 9, 2, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 454 := rec( phi := [ 1, 1, 1, 9, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 455 := rec( phi := [ 1, 1, 1, 9, 2, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 456 := rec( phi := [ 1, 1, 1, 9, 2, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 457 := rec( phi := [ 1, 1, 1, 9, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 458 := rec( phi := [ 1, 1, 1, 9, 2, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 459 := rec( phi := [ 1, 1, 1, 9, 2, 9, 2, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 460 := rec( phi := [ 1, 1, 1, 9, 2, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 461 := rec( phi := [ 1, 1, 1, 9, 2, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 462 := rec( phi := [ 1, 1, 1, 9, 2, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 463 := rec( phi := [ 1, 1, 1, 9, 2, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 464 := rec( phi := [ 1, 1, 1, 9, 2, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 465 := rec( phi := [ 1, 1, 1, 9, 2, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 466 := rec( phi := [ 1, 1, 1, 9, 8, 1, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 467 := rec( phi := [ 1, 1, 1, 9, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 468 := rec( phi := [ 1, 1, 1, 9, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 469 := rec( phi := [ 1, 1, 1, 9, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 470 := rec( phi := [ 1, 1, 1, 9, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 471 := rec( phi := [ 1, 1, 1, 9, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 472 := rec( phi := [ 1, 1, 1, 9, 8, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 473 := rec( phi := [ 1, 1, 1, 9, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 474 := rec( phi := [ 1, 1, 1, 9, 8, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 475 := rec( phi := [ 1, 1, 1, 9, 8, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 476 := rec( phi := [ 1, 1, 1, 9, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 477 := rec( phi := [ 1, 1, 1, 9, 8, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 478 := rec( phi := [ 1, 1, 1, 9, 8, 9, 8, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 479 := rec( phi := [ 1, 1, 1, 9, 8, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 480 := rec( phi := [ 1, 1, 1, 9, 8, 9, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 481 := rec( phi := [ 1, 1, 1, 9, 8, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 482 := rec( phi := [ 1, 1, 1, 9, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 483 := rec( phi := [ 1, 1, 1, 9, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 484 := rec( phi := [ 1, 1, 1, 9, 9, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 485 := rec( phi := [ 1, 1, 1, 9, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 486 := rec( phi := [ 1, 1, 1, 9, 9, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 487 := rec( phi := [ 1, 1, 1, 9, 9, 9, 9, 9 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 488 := rec( phi := [ 1, 1, 1, 16, 1, 1, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 489 := rec( phi := [ 1, 1, 1, 16, 1, 1, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 490 := rec( phi := [ 1, 1, 1, 16, 1, 1, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 491 := rec( phi := [ 1, 1, 1, 16, 1, 1, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 492 := rec( phi := [ 1, 1, 1, 16, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 493 := rec( phi := [ 1, 1, 1, 16, 1, 8, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 494 := rec( phi := [ 1, 1, 1, 16, 1, 8, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 495 := rec( phi := [ 1, 1, 1, 16, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 496 := rec( phi := [ 1, 1, 1, 16, 1, 8, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 497 := rec( phi := [ 1, 1, 1, 16, 1, 8, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 498 := rec( phi := [ 1, 1, 1, 16, 1, 8, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 499 := rec( phi := [ 1, 1, 1, 16, 1, 16, 1, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 500 := rec( phi := [ 1, 1, 1, 16, 1, 16, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 501 := rec( phi := [ 1, 1, 1, 16, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 502 := rec( phi := [ 1, 1, 1, 16, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 503 := rec( phi := [ 1, 1, 1, 16, 1, 16, 8, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 504 := rec( phi := [ 1, 1, 1, 16, 1, 16, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 505 := rec( phi := [ 1, 1, 1, 16, 1, 16, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 506 := rec( phi := [ 1, 1, 1, 16, 1, 16, 16, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 507 := rec( phi := [ 1, 1, 1, 16, 1, 16, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 508 := rec( phi := [ 1, 1, 1, 16, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 509 := rec( phi := [ 1, 1, 1, 16, 1, 24, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 510 := rec( phi := [ 1, 1, 1, 16, 1, 24, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 511 := rec( phi := [ 1, 1, 1, 16, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 512 := rec( phi := [ 1, 1, 1, 22, 1, 1, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 513 := rec( phi := [ 1, 1, 1, 32, 1, 1, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 514 := rec( phi := [ 1, 1, 1, 32, 1, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 515 := rec( phi := [ 1, 1, 1, 32, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 516 := rec( phi := [ 1, 1, 1, 32, 1, 32, 32, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 517 := rec( phi := [ 1, 1, 1, 32, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 518 := rec( phi := [ 1, 1, 1, 32, 32, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 519 := rec( phi := [ 1, 1, 1, 32, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 520 := rec( phi := [ 1, 1, 2, 1, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 521 := rec( phi := [ 1, 1, 2, 1, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 522 := rec( phi := [ 1, 1, 2, 1, 3, 3, 4, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 523 := rec( phi := [ 1, 1, 2, 1, 3, 3, 4, 4 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 524 := rec( phi := [ 1, 1, 2, 1, 3, 3, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 525 := rec( phi := [ 1, 1, 2, 1, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 526 := rec( phi := [ 1, 1, 2, 1, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 527 := rec( phi := [ 1, 1, 2, 1, 3, 7, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 528 := rec( phi := [ 1, 1, 2, 1, 3, 14, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 529 := rec( phi := [ 1, 1, 2, 1, 3, 14, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 530 := rec( phi := [ 1, 1, 2, 1, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 531 := rec( phi := [ 1, 1, 2, 1, 3, 32, 4, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 532 := rec( phi := [ 1, 1, 2, 1, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 533 := rec( phi := [ 1, 1, 2, 1, 7, 7, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 534 := rec( phi := [ 1, 1, 2, 1, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 535 := rec( phi := [ 1, 1, 2, 2, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 536 := rec( phi := [ 1, 1, 2, 2, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 537 := rec( phi := [ 1, 1, 2, 2, 3, 3, 4, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 538 := rec( phi := [ 1, 1, 2, 2, 3, 3, 4, 4 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 539 := rec( phi := [ 1, 1, 2, 2, 3, 3, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 540 := rec( phi := [ 1, 1, 2, 2, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 541 := rec( phi := [ 1, 1, 2, 2, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 542 := rec( phi := [ 1, 1, 2, 2, 3, 4, 4, 3 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 543 := rec( phi := [ 1, 1, 2, 2, 3, 4, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 544 := rec( phi := [ 1, 1, 2, 2, 3, 7, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 545 := rec( phi := [ 1, 1, 2, 2, 3, 32, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 546 := rec( phi := [ 1, 1, 2, 2, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 547 := rec( phi := [ 1, 1, 2, 2, 3, 32, 4, 32 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 548 := rec( phi := [ 1, 1, 2, 2, 3, 32, 32, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 549 := rec( phi := [ 1, 1, 2, 2, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 550 := rec( phi := [ 1, 1, 2, 2, 7, 7, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 551 := rec( phi := [ 1, 1, 2, 2, 7, 32, 32, 7 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 552 := rec( phi := [ 1, 1, 2, 2, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 553 := rec( phi := [ 1, 1, 2, 5, 3, 3, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 554 := rec( phi := [ 1, 1, 5, 1, 1, 1, 5, 1 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 555 := rec( phi := [ 1, 1, 5, 1, 1, 1, 32, 1 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 556 := rec( phi := [ 1, 1, 5, 1, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 557 := rec( phi := [ 1, 1, 5, 5, 1, 1, 5, 5 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 558 := rec( phi := [ 1, 1, 5, 5, 1, 1, 5, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 559 := rec( phi := [ 1, 1, 5, 5, 1, 1, 32, 5 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 560 := rec( phi := [ 1, 1, 5, 5, 1, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 561 := rec( phi := [ 1, 1, 5, 5, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 562 := rec( phi := [ 1, 1, 16, 1, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 563 := rec( phi := [ 1, 1, 16, 1, 1, 1, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 564 := rec( phi := [ 1, 1, 16, 1, 1, 1, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 565 := rec( phi := [ 1, 1, 16, 1, 1, 1, 16, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 566 := rec( phi := [ 1, 1, 16, 1, 1, 1, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 567 := rec( phi := [ 1, 1, 16, 1, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 568 := rec( phi := [ 1, 1, 16, 1, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 569 := rec( phi := [ 1, 1, 16, 1, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 570 := rec( phi := [ 1, 1, 16, 1, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 571 := rec( phi := [ 1, 1, 16, 16, 1, 1, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 572 := rec( phi := [ 1, 1, 16, 16, 1, 1, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 573 := rec( phi := [ 1, 1, 16, 16, 1, 1, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 574 := rec( phi := [ 1, 1, 16, 16, 1, 16, 1, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 575 := rec( phi := [ 1, 1, 16, 16, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 576 := rec( phi := [ 1, 1, 16, 16, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 577 := rec( phi := [ 1, 1, 16, 16, 1, 16, 16, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 578 := rec( phi := [ 1, 1, 16, 16, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 579 := rec( phi := [ 1, 1, 16, 16, 1, 24, 1, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 580 := rec( phi := [ 1, 1, 16, 16, 1, 24, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 581 := rec( phi := [ 1, 1, 16, 16, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 582 := rec( phi := [ 1, 1, 16, 24, 1, 1, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 583 := rec( phi := [ 1, 1, 16, 24, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 584 := rec( phi := [ 1, 1, 16, 24, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 585 := rec( phi := [ 1, 1, 16, 24, 1, 24, 1, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 586 := rec( phi := [ 1, 1, 16, 24, 1, 24, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 587 := rec( phi := [ 1, 1, 16, 24, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 588 := rec( phi := [ 1, 1, 32, 1, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 32 ] ), 589 := rec( phi := [ 1, 1, 32, 1, 1, 1, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 590 := rec( phi := [ 1, 1, 32, 1, 1, 1, 32, 1 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 591 := rec( phi := [ 1, 1, 32, 1, 1, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 592 := rec( phi := [ 1, 1, 32, 1, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 593 := rec( phi := [ 1, 1, 32, 1, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 594 := rec( phi := [ 1, 1, 32, 1, 32, 1, 32, 1 ], autos_yielding_iso_nrs := [ 32 ] ), 595 := rec( phi := [ 1, 1, 32, 1, 32, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 596 := rec( phi := [ 1, 1, 32, 1, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 597 := rec( phi := [ 1, 1, 32, 32, 1, 1, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 598 := rec( phi := [ 1, 1, 32, 32, 1, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 599 := rec( phi := [ 1, 1, 32, 32, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 600 := rec( phi := [ 1, 1, 32, 32, 1, 32, 32, 1 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 601 := rec( phi := [ 1, 1, 32, 32, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 602 := rec( phi := [ 1, 1, 32, 32, 32, 1, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 603 := rec( phi := [ 1, 1, 32, 32, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 604 := rec( phi := [ 1, 2, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 605 := rec( phi := [ 1, 2, 1, 2, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 606 := rec( phi := [ 1, 2, 1, 2, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 607 := rec( phi := [ 1, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 608 := rec( phi := [ 1, 2, 1, 2, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 609 := rec( phi := [ 1, 2, 1, 2, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 610 := rec( phi := [ 1, 2, 1, 2, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 611 := rec( phi := [ 1, 2, 1, 2, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 612 := rec( phi := [ 1, 2, 1, 2, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 613 := rec( phi := [ 1, 2, 1, 2, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 614 := rec( phi := [ 1, 2, 1, 2, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 615 := rec( phi := [ 1, 2, 1, 2, 1, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 616 := rec( phi := [ 1, 2, 1, 2, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 617 := rec( phi := [ 1, 2, 1, 2, 1, 8, 1, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 618 := rec( phi := [ 1, 2, 1, 2, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 619 := rec( phi := [ 1, 2, 1, 2, 1, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 620 := rec( phi := [ 1, 2, 1, 2, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 621 := rec( phi := [ 1, 2, 1, 2, 1, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 622 := rec( phi := [ 1, 2, 1, 2, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 623 := rec( phi := [ 1, 2, 1, 2, 1, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 624 := rec( phi := [ 1, 2, 1, 2, 1, 9, 1, 9 ], autos_yielding_iso_nrs := [ 32 ] ), 625 := rec( phi := [ 1, 2, 1, 2, 1, 9, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 626 := rec( phi := [ 1, 2, 1, 2, 1, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 627 := rec( phi := [ 1, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 628 := rec( phi := [ 1, 2, 1, 2, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 629 := rec( phi := [ 1, 2, 1, 2, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 630 := rec( phi := [ 1, 2, 1, 2, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 631 := rec( phi := [ 1, 2, 1, 2, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 632 := rec( phi := [ 1, 2, 1, 2, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 633 := rec( phi := [ 1, 2, 1, 2, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 634 := rec( phi := [ 1, 2, 1, 2, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 635 := rec( phi := [ 1, 2, 1, 2, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 636 := rec( phi := [ 1, 2, 1, 2, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 637 := rec( phi := [ 1, 2, 1, 2, 2, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 638 := rec( phi := [ 1, 2, 1, 2, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 639 := rec( phi := [ 1, 2, 1, 2, 2, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 640 := rec( phi := [ 1, 2, 1, 2, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 641 := rec( phi := [ 1, 2, 1, 2, 2, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 642 := rec( phi := [ 1, 2, 1, 2, 2, 9, 2, 9 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 643 := rec( phi := [ 1, 2, 1, 2, 2, 9, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 644 := rec( phi := [ 1, 2, 1, 2, 2, 9, 9, 9 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 645 := rec( phi := [ 1, 2, 1, 2, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 646 := rec( phi := [ 1, 2, 1, 2, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 647 := rec( phi := [ 1, 2, 1, 2, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 648 := rec( phi := [ 1, 2, 1, 2, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 649 := rec( phi := [ 1, 2, 1, 2, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 650 := rec( phi := [ 1, 2, 1, 2, 8, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 651 := rec( phi := [ 1, 2, 1, 2, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 652 := rec( phi := [ 1, 2, 1, 2, 8, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 653 := rec( phi := [ 1, 2, 1, 2, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 654 := rec( phi := [ 1, 2, 1, 2, 8, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 655 := rec( phi := [ 1, 2, 1, 2, 8, 9, 8, 9 ], autos_yielding_iso_nrs := [ 32 ] ), 656 := rec( phi := [ 1, 2, 1, 2, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 657 := rec( phi := [ 1, 2, 1, 2, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 658 := rec( phi := [ 1, 2, 1, 2, 9, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 659 := rec( phi := [ 1, 2, 1, 2, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 660 := rec( phi := [ 1, 2, 1, 2, 9, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 661 := rec( phi := [ 1, 2, 1, 5, 1, 2, 1, 5 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 662 := rec( phi := [ 1, 2, 1, 8, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 663 := rec( phi := [ 1, 2, 1, 8, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 664 := rec( phi := [ 1, 2, 1, 8, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 665 := rec( phi := [ 1, 2, 1, 8, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 666 := rec( phi := [ 1, 2, 1, 8, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 667 := rec( phi := [ 1, 2, 1, 8, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 668 := rec( phi := [ 1, 2, 1, 8, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 669 := rec( phi := [ 1, 2, 1, 8, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 670 := rec( phi := [ 1, 2, 1, 8, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 671 := rec( phi := [ 1, 2, 1, 8, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 672 := rec( phi := [ 1, 2, 1, 8, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 673 := rec( phi := [ 1, 2, 1, 8, 1, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 674 := rec( phi := [ 1, 2, 1, 8, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 675 := rec( phi := [ 1, 2, 1, 8, 1, 8, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 676 := rec( phi := [ 1, 2, 1, 8, 1, 8, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 677 := rec( phi := [ 1, 2, 1, 8, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 678 := rec( phi := [ 1, 2, 1, 8, 1, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 679 := rec( phi := [ 1, 2, 1, 8, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 680 := rec( phi := [ 1, 2, 1, 8, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 681 := rec( phi := [ 1, 2, 1, 8, 1, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 682 := rec( phi := [ 1, 2, 1, 8, 1, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 683 := rec( phi := [ 1, 2, 1, 8, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 684 := rec( phi := [ 1, 2, 1, 8, 1, 9, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 685 := rec( phi := [ 1, 2, 1, 8, 1, 9, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 686 := rec( phi := [ 1, 2, 1, 8, 1, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 687 := rec( phi := [ 1, 2, 1, 8, 1, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 688 := rec( phi := [ 1, 2, 1, 8, 1, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 689 := rec( phi := [ 1, 2, 1, 8, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 690 := rec( phi := [ 1, 2, 1, 8, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 691 := rec( phi := [ 1, 2, 1, 8, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 692 := rec( phi := [ 1, 2, 1, 8, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 693 := rec( phi := [ 1, 2, 1, 8, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 694 := rec( phi := [ 1, 2, 1, 8, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 695 := rec( phi := [ 1, 2, 1, 8, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 696 := rec( phi := [ 1, 2, 1, 8, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 697 := rec( phi := [ 1, 2, 1, 8, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 698 := rec( phi := [ 1, 2, 1, 8, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 699 := rec( phi := [ 1, 2, 1, 8, 2, 8, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 700 := rec( phi := [ 1, 2, 1, 8, 2, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 701 := rec( phi := [ 1, 2, 1, 8, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 702 := rec( phi := [ 1, 2, 1, 8, 2, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 703 := rec( phi := [ 1, 2, 1, 8, 2, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 704 := rec( phi := [ 1, 2, 1, 8, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 705 := rec( phi := [ 1, 2, 1, 8, 2, 8, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 706 := rec( phi := [ 1, 2, 1, 8, 2, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 707 := rec( phi := [ 1, 2, 1, 8, 2, 9, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 708 := rec( phi := [ 1, 2, 1, 8, 2, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 709 := rec( phi := [ 1, 2, 1, 8, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 710 := rec( phi := [ 1, 2, 1, 8, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 711 := rec( phi := [ 1, 2, 1, 8, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 712 := rec( phi := [ 1, 2, 1, 8, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 713 := rec( phi := [ 1, 2, 1, 8, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 714 := rec( phi := [ 1, 2, 1, 8, 8, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 715 := rec( phi := [ 1, 2, 1, 8, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 716 := rec( phi := [ 1, 2, 1, 8, 8, 8, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 717 := rec( phi := [ 1, 2, 1, 8, 8, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 718 := rec( phi := [ 1, 2, 1, 8, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 719 := rec( phi := [ 1, 2, 1, 8, 8, 9, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 720 := rec( phi := [ 1, 2, 1, 8, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 721 := rec( phi := [ 1, 2, 1, 8, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 722 := rec( phi := [ 1, 2, 1, 8, 9, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 723 := rec( phi := [ 1, 2, 1, 8, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 724 := rec( phi := [ 1, 2, 1, 9, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 725 := rec( phi := [ 1, 2, 1, 9, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 726 := rec( phi := [ 1, 2, 1, 9, 1, 2, 1, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 727 := rec( phi := [ 1, 2, 1, 9, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 728 := rec( phi := [ 1, 2, 1, 9, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 729 := rec( phi := [ 1, 2, 1, 9, 1, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 730 := rec( phi := [ 1, 2, 1, 9, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 731 := rec( phi := [ 1, 2, 1, 9, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 732 := rec( phi := [ 1, 2, 1, 9, 1, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 733 := rec( phi := [ 1, 2, 1, 9, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 734 := rec( phi := [ 1, 2, 1, 9, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 735 := rec( phi := [ 1, 2, 1, 9, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 736 := rec( phi := [ 1, 2, 1, 9, 1, 8, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 737 := rec( phi := [ 1, 2, 1, 9, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 738 := rec( phi := [ 1, 2, 1, 9, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 739 := rec( phi := [ 1, 2, 1, 9, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 740 := rec( phi := [ 1, 2, 1, 9, 1, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 741 := rec( phi := [ 1, 2, 1, 9, 1, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 742 := rec( phi := [ 1, 2, 1, 9, 1, 9, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 743 := rec( phi := [ 1, 2, 1, 9, 1, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 744 := rec( phi := [ 1, 2, 1, 9, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 745 := rec( phi := [ 1, 2, 1, 9, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 746 := rec( phi := [ 1, 2, 1, 9, 2, 2, 2, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 747 := rec( phi := [ 1, 2, 1, 9, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 748 := rec( phi := [ 1, 2, 1, 9, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 749 := rec( phi := [ 1, 2, 1, 9, 2, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 750 := rec( phi := [ 1, 2, 1, 9, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 751 := rec( phi := [ 1, 2, 1, 9, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 752 := rec( phi := [ 1, 2, 1, 9, 2, 2, 9, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 753 := rec( phi := [ 1, 2, 1, 9, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 754 := rec( phi := [ 1, 2, 1, 9, 2, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 755 := rec( phi := [ 1, 2, 1, 9, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 756 := rec( phi := [ 1, 2, 1, 9, 2, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 757 := rec( phi := [ 1, 2, 1, 9, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 758 := rec( phi := [ 1, 2, 1, 9, 2, 9, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 759 := rec( phi := [ 1, 2, 1, 9, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 760 := rec( phi := [ 1, 2, 1, 9, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 761 := rec( phi := [ 1, 2, 1, 9, 8, 2, 8, 9 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 762 := rec( phi := [ 1, 2, 1, 9, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 763 := rec( phi := [ 1, 2, 1, 9, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 764 := rec( phi := [ 1, 2, 1, 9, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 765 := rec( phi := [ 1, 2, 1, 9, 8, 8, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 766 := rec( phi := [ 1, 2, 1, 9, 8, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 767 := rec( phi := [ 1, 2, 1, 9, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 768 := rec( phi := [ 1, 2, 1, 9, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 769 := rec( phi := [ 1, 2, 1, 9, 9, 8, 9, 8 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 770 := rec( phi := [ 1, 2, 2, 2, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 771 := rec( phi := [ 1, 2, 2, 2, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 772 := rec( phi := [ 1, 2, 2, 2, 3, 3, 4, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 773 := rec( phi := [ 1, 2, 2, 2, 3, 3, 4, 4 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 774 := rec( phi := [ 1, 2, 2, 2, 3, 3, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 775 := rec( phi := [ 1, 2, 2, 2, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 776 := rec( phi := [ 1, 2, 2, 2, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 777 := rec( phi := [ 1, 2, 2, 2, 3, 7, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 778 := rec( phi := [ 1, 2, 2, 2, 3, 14, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 779 := rec( phi := [ 1, 2, 2, 2, 3, 14, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 780 := rec( phi := [ 1, 2, 2, 2, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 781 := rec( phi := [ 1, 2, 2, 2, 3, 32, 4, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 782 := rec( phi := [ 1, 2, 2, 2, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 783 := rec( phi := [ 1, 2, 2, 2, 7, 7, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 784 := rec( phi := [ 1, 2, 2, 2, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 785 := rec( phi := [ 1, 2, 2, 5, 3, 4, 4, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 786 := rec( phi := [ 1, 5, 1, 5, 1, 5, 1, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 787 := rec( phi := [ 1, 5, 1, 5, 1, 5, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 788 := rec( phi := [ 1, 5, 1, 5, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 789 := rec( phi := [ 1, 5, 1, 5, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 790 := rec( phi := [ 1, 5, 1, 5, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 791 := rec( phi := [ 1, 5, 1, 5, 16, 5, 1, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 792 := rec( phi := [ 1, 5, 1, 5, 16, 5, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 793 := rec( phi := [ 1, 5, 1, 5, 16, 5, 16, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 794 := rec( phi := [ 1, 5, 1, 5, 16, 5, 16, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 795 := rec( phi := [ 1, 5, 1, 5, 16, 20, 1, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 796 := rec( phi := [ 1, 5, 1, 5, 16, 20, 16, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 797 := rec( phi := [ 1, 5, 1, 5, 16, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 798 := rec( phi := [ 1, 5, 1, 5, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 799 := rec( phi := [ 1, 5, 1, 6, 1, 32, 1, 7 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 800 := rec( phi := [ 1, 5, 1, 12, 1, 5, 1, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 801 := rec( phi := [ 1, 5, 1, 12, 1, 20, 1, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 802 := rec( phi := [ 1, 5, 1, 12, 1, 32, 1, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 803 := rec( phi := [ 1, 5, 1, 12, 1, 32, 1, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 804 := rec( phi := [ 1, 5, 1, 12, 3, 32, 3, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 805 := rec( phi := [ 1, 5, 1, 12, 16, 5, 1, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 806 := rec( phi := [ 1, 5, 1, 12, 16, 5, 16, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 807 := rec( phi := [ 1, 5, 1, 12, 16, 20, 1, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 808 := rec( phi := [ 1, 5, 1, 12, 16, 20, 16, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 809 := rec( phi := [ 1, 5, 1, 12, 16, 32, 1, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 810 := rec( phi := [ 1, 5, 1, 12, 16, 32, 1, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 811 := rec( phi := [ 1, 5, 1, 12, 16, 32, 16, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 812 := rec( phi := [ 1, 5, 1, 12, 16, 32, 16, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 813 := rec( phi := [ 1, 5, 2, 5, 3, 32, 4, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 814 := rec( phi := [ 1, 5, 2, 6, 3, 32, 4, 7 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 815 := rec( phi := [ 1, 5, 2, 12, 3, 32, 4, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 816 := rec( phi := [ 1, 5, 5, 5, 1, 5, 5, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 817 := rec( phi := [ 1, 5, 5, 5, 1, 5, 5, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 818 := rec( phi := [ 1, 5, 5, 5, 1, 5, 32, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 819 := rec( phi := [ 1, 5, 5, 5, 1, 5, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 820 := rec( phi := [ 1, 5, 5, 5, 1, 32, 5, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 821 := rec( phi := [ 1, 5, 5, 5, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 822 := rec( phi := [ 1, 5, 5, 5, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 823 := rec( phi := [ 1, 5, 8, 5, 1, 5, 8, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 824 := rec( phi := [ 1, 5, 8, 5, 1, 5, 8, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 825 := rec( phi := [ 1, 5, 8, 5, 1, 5, 24, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 826 := rec( phi := [ 1, 5, 8, 5, 1, 5, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 827 := rec( phi := [ 1, 5, 8, 5, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 828 := rec( phi := [ 1, 5, 8, 5, 1, 20, 24, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 829 := rec( phi := [ 1, 5, 8, 5, 1, 32, 8, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 830 := rec( phi := [ 1, 5, 8, 5, 1, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 831 := rec( phi := [ 1, 5, 8, 5, 3, 32, 10, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 832 := rec( phi := [ 1, 5, 8, 5, 16, 5, 8, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 833 := rec( phi := [ 1, 5, 8, 5, 16, 5, 8, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 834 := rec( phi := [ 1, 5, 8, 5, 16, 5, 24, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 835 := rec( phi := [ 1, 5, 8, 5, 16, 5, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 836 := rec( phi := [ 1, 5, 8, 5, 16, 20, 8, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 837 := rec( phi := [ 1, 5, 8, 5, 16, 20, 24, 20 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 838 := rec( phi := [ 1, 5, 8, 5, 16, 32, 8, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 839 := rec( phi := [ 1, 5, 8, 5, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 840 := rec( phi := [ 1, 5, 8, 6, 16, 32, 24, 7 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 841 := rec( phi := [ 1, 5, 8, 12, 1, 5, 8, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 842 := rec( phi := [ 1, 5, 8, 12, 1, 5, 24, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 843 := rec( phi := [ 1, 5, 8, 12, 1, 20, 8, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 844 := rec( phi := [ 1, 5, 8, 12, 1, 20, 24, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 845 := rec( phi := [ 1, 5, 8, 12, 1, 32, 8, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 846 := rec( phi := [ 1, 5, 8, 12, 1, 32, 8, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 847 := rec( phi := [ 1, 5, 8, 12, 1, 32, 24, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 848 := rec( phi := [ 1, 5, 8, 12, 1, 32, 24, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 849 := rec( phi := [ 1, 5, 8, 12, 3, 32, 10, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 850 := rec( phi := [ 1, 5, 8, 12, 16, 5, 8, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 851 := rec( phi := [ 1, 5, 8, 12, 16, 5, 24, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 852 := rec( phi := [ 1, 5, 8, 12, 16, 20, 8, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 853 := rec( phi := [ 1, 5, 8, 12, 16, 20, 24, 28 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 854 := rec( phi := [ 1, 5, 8, 12, 16, 32, 8, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 855 := rec( phi := [ 1, 5, 8, 12, 16, 32, 8, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 856 := rec( phi := [ 1, 5, 8, 12, 16, 32, 24, 12 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 857 := rec( phi := [ 1, 5, 8, 12, 16, 32, 24, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 858 := rec( phi := [ 1, 8, 1, 8, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 859 := rec( phi := [ 1, 8, 1, 8, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 860 := rec( phi := [ 1, 8, 1, 8, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 861 := rec( phi := [ 1, 8, 1, 8, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 862 := rec( phi := [ 1, 8, 1, 8, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 863 := rec( phi := [ 1, 8, 1, 8, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 864 := rec( phi := [ 1, 8, 1, 8, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 865 := rec( phi := [ 1, 8, 1, 8, 1, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 866 := rec( phi := [ 1, 8, 1, 8, 1, 8, 1, 8 ], autos_yielding_iso_nrs := [ 32 ] ), 867 := rec( phi := [ 1, 8, 1, 8, 1, 8, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 868 := rec( phi := [ 1, 8, 1, 8, 1, 8, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 869 := rec( phi := [ 1, 8, 1, 8, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 870 := rec( phi := [ 1, 8, 1, 8, 1, 8, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 871 := rec( phi := [ 1, 8, 1, 8, 1, 8, 16, 8 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 872 := rec( phi := [ 1, 8, 1, 8, 1, 8, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 873 := rec( phi := [ 1, 8, 1, 8, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 874 := rec( phi := [ 1, 8, 1, 8, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 875 := rec( phi := [ 1, 8, 1, 8, 1, 16, 8, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 876 := rec( phi := [ 1, 8, 1, 8, 1, 16, 8, 17 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 877 := rec( phi := [ 1, 8, 1, 8, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 878 := rec( phi := [ 1, 8, 1, 8, 1, 17, 8, 17 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 879 := rec( phi := [ 1, 8, 1, 8, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 880 := rec( phi := [ 1, 8, 1, 8, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 881 := rec( phi := [ 1, 8, 1, 8, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 882 := rec( phi := [ 1, 8, 1, 8, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 883 := rec( phi := [ 1, 8, 1, 8, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 884 := rec( phi := [ 1, 8, 1, 8, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 885 := rec( phi := [ 1, 8, 1, 8, 2, 8, 2, 8 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 886 := rec( phi := [ 1, 8, 1, 8, 2, 8, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 887 := rec( phi := [ 1, 8, 1, 8, 2, 8, 9, 8 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 888 := rec( phi := [ 1, 8, 1, 8, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 889 := rec( phi := [ 1, 8, 1, 8, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 890 := rec( phi := [ 1, 8, 1, 8, 3, 3, 4, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 891 := rec( phi := [ 1, 8, 1, 8, 3, 3, 4, 4 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 892 := rec( phi := [ 1, 8, 1, 8, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 893 := rec( phi := [ 1, 8, 1, 8, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 894 := rec( phi := [ 1, 8, 1, 8, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 895 := rec( phi := [ 1, 8, 1, 8, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 896 := rec( phi := [ 1, 8, 1, 8, 8, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 897 := rec( phi := [ 1, 8, 1, 8, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 32 ] ), 898 := rec( phi := [ 1, 8, 1, 8, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 899 := rec( phi := [ 1, 8, 1, 8, 9, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 900 := rec( phi := [ 1, 8, 1, 9, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 901 := rec( phi := [ 1, 8, 1, 9, 1, 2, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 902 := rec( phi := [ 1, 8, 1, 9, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 903 := rec( phi := [ 1, 8, 1, 9, 1, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 904 := rec( phi := [ 1, 8, 1, 9, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 905 := rec( phi := [ 1, 8, 1, 9, 1, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 906 := rec( phi := [ 1, 8, 1, 9, 1, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 907 := rec( phi := [ 1, 8, 1, 9, 1, 8, 2, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 908 := rec( phi := [ 1, 8, 1, 9, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 909 := rec( phi := [ 1, 8, 1, 9, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 910 := rec( phi := [ 1, 8, 1, 9, 2, 2, 2, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 911 := rec( phi := [ 1, 8, 1, 9, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 912 := rec( phi := [ 1, 8, 1, 9, 2, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 913 := rec( phi := [ 1, 8, 1, 9, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 914 := rec( phi := [ 1, 8, 1, 9, 2, 2, 9, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 915 := rec( phi := [ 1, 8, 1, 9, 2, 8, 8, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 916 := rec( phi := [ 1, 8, 1, 9, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 917 := rec( phi := [ 1, 8, 1, 9, 8, 2, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 918 := rec( phi := [ 1, 8, 1, 9, 8, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 919 := rec( phi := [ 1, 8, 1, 9, 9, 2, 9, 2 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 920 := rec( phi := [ 1, 8, 1, 16, 1, 8, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 921 := rec( phi := [ 1, 8, 1, 16, 1, 8, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 922 := rec( phi := [ 1, 8, 1, 16, 1, 8, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 923 := rec( phi := [ 1, 8, 1, 16, 1, 8, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 924 := rec( phi := [ 1, 8, 1, 16, 1, 16, 1, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 925 := rec( phi := [ 1, 8, 1, 16, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 926 := rec( phi := [ 1, 8, 1, 16, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 927 := rec( phi := [ 1, 8, 1, 16, 1, 16, 8, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 928 := rec( phi := [ 1, 8, 1, 16, 1, 16, 8, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 929 := rec( phi := [ 1, 8, 1, 16, 1, 16, 16, 8 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 930 := rec( phi := [ 1, 8, 1, 16, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 931 := rec( phi := [ 1, 8, 1, 16, 1, 24, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 932 := rec( phi := [ 1, 8, 1, 16, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 933 := rec( phi := [ 1, 9, 1, 9, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 32 ] ), 934 := rec( phi := [ 1, 9, 1, 9, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 935 := rec( phi := [ 1, 9, 1, 9, 1, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 936 := rec( phi := [ 1, 9, 1, 9, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 22, 32 ] ), 937 := rec( phi := [ 1, 9, 1, 9, 2, 2, 8, 2 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 938 := rec( phi := [ 1, 9, 1, 9, 2, 2, 9, 2 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 939 := rec( phi := [ 1, 9, 1, 9, 8, 2, 8, 2 ], autos_yielding_iso_nrs := [ 32 ] ), 940 := rec( phi := [ 1, 14, 1, 32, 1, 14, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 941 := rec( phi := [ 1, 14, 1, 32, 1, 14, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 942 := rec( phi := [ 1, 14, 1, 32, 1, 30, 1, 22 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 943 := rec( phi := [ 1, 14, 1, 32, 1, 30, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 944 := rec( phi := [ 1, 14, 1, 32, 1, 31, 1, 23 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 945 := rec( phi := [ 1, 14, 1, 32, 1, 32, 24, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 946 := rec( phi := [ 1, 14, 1, 32, 16, 14, 16, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 947 := rec( phi := [ 1, 14, 1, 32, 16, 14, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 948 := rec( phi := [ 1, 14, 1, 32, 16, 30, 16, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 949 := rec( phi := [ 1, 14, 1, 32, 16, 30, 24, 22 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 950 := rec( phi := [ 1, 14, 1, 32, 16, 31, 24, 23 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 951 := rec( phi := [ 1, 14, 1, 32, 16, 32, 16, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 952 := rec( phi := [ 1, 14, 8, 32, 1, 14, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 953 := rec( phi := [ 1, 14, 8, 32, 1, 14, 8, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 954 := rec( phi := [ 1, 14, 8, 32, 1, 14, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 955 := rec( phi := [ 1, 14, 8, 32, 1, 30, 1, 22 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 956 := rec( phi := [ 1, 14, 8, 32, 1, 30, 8, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 957 := rec( phi := [ 1, 14, 8, 32, 1, 30, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 958 := rec( phi := [ 1, 14, 8, 32, 1, 31, 1, 23 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 959 := rec( phi := [ 1, 14, 8, 32, 1, 32, 8, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 960 := rec( phi := [ 1, 14, 8, 32, 1, 32, 24, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 961 := rec( phi := [ 1, 14, 8, 32, 8, 14, 8, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 962 := rec( phi := [ 1, 14, 8, 32, 8, 14, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 963 := rec( phi := [ 1, 14, 8, 32, 8, 30, 8, 22 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 964 := rec( phi := [ 1, 14, 8, 32, 8, 30, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 965 := rec( phi := [ 1, 14, 8, 32, 8, 31, 8, 23 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 966 := rec( phi := [ 1, 14, 8, 32, 8, 32, 24, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 967 := rec( phi := [ 1, 14, 8, 32, 16, 14, 16, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 968 := rec( phi := [ 1, 14, 8, 32, 16, 14, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 969 := rec( phi := [ 1, 14, 8, 32, 16, 30, 16, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 970 := rec( phi := [ 1, 14, 8, 32, 16, 30, 24, 22 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 971 := rec( phi := [ 1, 14, 8, 32, 16, 31, 24, 23 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 972 := rec( phi := [ 1, 14, 8, 32, 16, 32, 16, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 973 := rec( phi := [ 1, 14, 8, 32, 17, 14, 17, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 974 := rec( phi := [ 1, 14, 8, 32, 17, 30, 25, 22 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 975 := rec( phi := [ 1, 14, 8, 32, 17, 31, 25, 23 ], autos_yielding_iso_nrs := [ 14, 22, 30, 32 ] ), 976 := rec( phi := [ 1, 14, 16, 32, 16, 14, 1, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 977 := rec( phi := [ 1, 14, 16, 32, 16, 14, 16, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 978 := rec( phi := [ 1, 14, 16, 32, 16, 14, 24, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 979 := rec( phi := [ 1, 14, 16, 32, 16, 30, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 980 := rec( phi := [ 1, 14, 16, 32, 16, 30, 16, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 981 := rec( phi := [ 1, 14, 16, 32, 16, 30, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 982 := rec( phi := [ 1, 14, 16, 32, 16, 32, 1, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 983 := rec( phi := [ 1, 14, 16, 32, 16, 32, 16, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 984 := rec( phi := [ 1, 14, 16, 32, 16, 32, 24, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 985 := rec( phi := [ 1, 16, 1, 16, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 986 := rec( phi := [ 1, 16, 1, 16, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 987 := rec( phi := [ 1, 16, 1, 16, 1, 16, 8, 16 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 988 := rec( phi := [ 1, 16, 1, 16, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 989 := rec( phi := [ 1, 16, 1, 16, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 990 := rec( phi := [ 1, 16, 1, 24, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 991 := rec( phi := [ 1, 16, 16, 16, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 992 := rec( phi := [ 1, 16, 16, 16, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 993 := rec( phi := [ 1, 16, 16, 16, 1, 16, 16, 16 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 994 := rec( phi := [ 1, 16, 16, 16, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 995 := rec( phi := [ 1, 16, 16, 24, 1, 16, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 996 := rec( phi := [ 1, 16, 16, 24, 1, 24, 1, 16 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 997 := rec( phi := [ 1, 16, 16, 24, 1, 24, 1, 24 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 998 := rec( phi := [ 1, 16, 24, 16, 1, 16, 1, 16 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 999 := rec( phi := [ 1, 17, 1, 17, 8, 17, 8, 17 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1000 := rec( phi := [ 1, 17, 1, 17, 8, 17, 8, 25 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1001 := rec( phi := [ 1, 17, 1, 17, 8, 25, 8, 25 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1002 := rec( phi := [ 1, 17, 1, 25, 8, 17, 8, 25 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1003 := rec( phi := [ 1, 22, 1, 22, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1004 := rec( phi := [ 1, 22, 1, 22, 1, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1005 := rec( phi := [ 1, 22, 1, 22, 16, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1006 := rec( phi := [ 1, 22, 1, 22, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1007 := rec( phi := [ 1, 22, 1, 22, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1008 := rec( phi := [ 1, 22, 1, 22, 24, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1009 := rec( phi := [ 1, 22, 1, 32, 1, 32, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1010 := rec( phi := [ 1, 22, 1, 32, 1, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1011 := rec( phi := [ 1, 22, 1, 32, 16, 32, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1012 := rec( phi := [ 1, 22, 1, 32, 16, 32, 16, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1013 := rec( phi := [ 1, 22, 1, 32, 16, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1014 := rec( phi := [ 1, 22, 1, 32, 24, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1015 := rec( phi := [ 1, 22, 8, 22, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1016 := rec( phi := [ 1, 22, 8, 22, 1, 32, 8, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1017 := rec( phi := [ 1, 22, 8, 22, 1, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1018 := rec( phi := [ 1, 22, 8, 22, 8, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1019 := rec( phi := [ 1, 22, 8, 22, 8, 32, 8, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1020 := rec( phi := [ 1, 22, 8, 22, 8, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1021 := rec( phi := [ 1, 22, 8, 22, 16, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1022 := rec( phi := [ 1, 22, 8, 22, 16, 32, 8, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1023 := rec( phi := [ 1, 22, 8, 22, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1024 := rec( phi := [ 1, 22, 8, 22, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1025 := rec( phi := [ 1, 22, 8, 22, 24, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1026 := rec( phi := [ 1, 22, 8, 22, 25, 32, 17, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1027 := rec( phi := [ 1, 22, 8, 32, 1, 32, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1028 := rec( phi := [ 1, 22, 8, 32, 1, 32, 8, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1029 := rec( phi := [ 1, 22, 8, 32, 1, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1030 := rec( phi := [ 1, 22, 8, 32, 8, 32, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1031 := rec( phi := [ 1, 22, 8, 32, 8, 32, 8, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1032 := rec( phi := [ 1, 22, 8, 32, 8, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1033 := rec( phi := [ 1, 22, 8, 32, 16, 32, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1034 := rec( phi := [ 1, 22, 8, 32, 16, 32, 8, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1035 := rec( phi := [ 1, 22, 8, 32, 16, 32, 16, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1036 := rec( phi := [ 1, 22, 8, 32, 16, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1037 := rec( phi := [ 1, 22, 8, 32, 24, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1038 := rec( phi := [ 1, 22, 16, 22, 16, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1039 := rec( phi := [ 1, 22, 16, 22, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1040 := rec( phi := [ 1, 22, 16, 22, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1041 := rec( phi := [ 1, 22, 16, 32, 16, 32, 1, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1042 := rec( phi := [ 1, 22, 16, 32, 16, 32, 16, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1043 := rec( phi := [ 1, 22, 16, 32, 16, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1044 := rec( phi := [ 1, 22, 24, 22, 1, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1045 := rec( phi := [ 1, 22, 24, 22, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1046 := rec( phi := [ 1, 22, 24, 22, 24, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1047 := rec( phi := [ 1, 22, 24, 32, 1, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1048 := rec( phi := [ 1, 22, 24, 32, 16, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1049 := rec( phi := [ 1, 22, 24, 32, 24, 32, 24, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 32 ] ), 1050 := rec( phi := [ 1, 32, 1, 32, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1051 := rec( phi := [ 1, 32, 1, 32, 1, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1052 := rec( phi := [ 1, 32, 1, 32, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1053 := rec( phi := [ 1, 32, 1, 32, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1054 := rec( phi := [ 1, 32, 1, 32, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1055 := rec( phi := [ 1, 32, 1, 32, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1056 := rec( phi := [ 1, 32, 8, 32, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1057 := rec( phi := [ 1, 32, 8, 32, 1, 32, 8, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1058 := rec( phi := [ 1, 32, 8, 32, 1, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1059 := rec( phi := [ 1, 32, 8, 32, 8, 32, 8, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1060 := rec( phi := [ 1, 32, 8, 32, 8, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1061 := rec( phi := [ 1, 32, 8, 32, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1062 := rec( phi := [ 1, 32, 8, 32, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1063 := rec( phi := [ 1, 32, 8, 32, 17, 32, 17, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1064 := rec( phi := [ 1, 32, 16, 32, 16, 32, 1, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1065 := rec( phi := [ 1, 32, 16, 32, 16, 32, 16, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1066 := rec( phi := [ 1, 32, 16, 32, 16, 32, 24, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1067 := rec( phi := [ 1, 32, 32, 32, 1, 32, 1, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1068 := rec( phi := [ 1, 32, 32, 32, 1, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 32 ] ), 1069 := rec( phi := [ 1, 32, 32, 32, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 32 ] ), 1070 := rec( phi := [ 3, 3, 3, 3, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1071 := rec( phi := [ 3, 3, 3, 3, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1072 := rec( phi := [ 3, 3, 3, 3, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1073 := rec( phi := [ 3, 3, 3, 3, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1074 := rec( phi := [ 3, 3, 3, 3, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1075 := rec( phi := [ 3, 3, 3, 3, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1076 := rec( phi := [ 3, 3, 3, 3, 3, 14, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1077 := rec( phi := [ 3, 3, 3, 3, 3, 14, 10, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1078 := rec( phi := [ 3, 3, 3, 3, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1079 := rec( phi := [ 3, 3, 3, 3, 3, 32, 10, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1080 := rec( phi := [ 3, 3, 3, 3, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1081 := rec( phi := [ 3, 3, 3, 10, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1082 := rec( phi := [ 3, 3, 3, 10, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1083 := rec( phi := [ 3, 3, 3, 10, 3, 10, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1084 := rec( phi := [ 3, 3, 3, 10, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1085 := rec( phi := [ 3, 3, 3, 10, 3, 32, 10, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1086 := rec( phi := [ 3, 3, 3, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1087 := rec( phi := [ 3, 3, 3, 32, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1088 := rec( phi := [ 3, 3, 3, 32, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1089 := rec( phi := [ 3, 3, 3, 32, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1090 := rec( phi := [ 3, 3, 3, 32, 3, 32, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1091 := rec( phi := [ 3, 3, 3, 32, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1092 := rec( phi := [ 3, 3, 3, 32, 3, 32, 32, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1093 := rec( phi := [ 3, 3, 3, 32, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1094 := rec( phi := [ 3, 3, 32, 3, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1095 := rec( phi := [ 3, 3, 32, 3, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1096 := rec( phi := [ 3, 3, 32, 3, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1097 := rec( phi := [ 3, 3, 32, 3, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1098 := rec( phi := [ 3, 3, 32, 3, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1099 := rec( phi := [ 3, 3, 32, 3, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1100 := rec( phi := [ 3, 3, 32, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1101 := rec( phi := [ 3, 3, 32, 32, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1102 := rec( phi := [ 3, 3, 32, 32, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1103 := rec( phi := [ 3, 3, 32, 32, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1104 := rec( phi := [ 3, 3, 32, 32, 3, 32, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1105 := rec( phi := [ 3, 3, 32, 32, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1106 := rec( phi := [ 3, 3, 32, 32, 3, 32, 32, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1107 := rec( phi := [ 3, 3, 32, 32, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1108 := rec( phi := [ 3, 10, 3, 10, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1109 := rec( phi := [ 3, 10, 3, 10, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1110 := rec( phi := [ 3, 10, 3, 10, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1111 := rec( phi := [ 3, 10, 3, 10, 3, 14, 10, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1112 := rec( phi := [ 3, 10, 3, 10, 3, 32, 10, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1113 := rec( phi := [ 3, 14, 3, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1114 := rec( phi := [ 3, 14, 3, 32, 3, 14, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1115 := rec( phi := [ 3, 14, 3, 32, 3, 32, 3, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1116 := rec( phi := [ 3, 14, 3, 32, 18, 30, 18, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1117 := rec( phi := [ 3, 14, 10, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1118 := rec( phi := [ 3, 14, 10, 32, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1119 := rec( phi := [ 3, 14, 10, 32, 3, 14, 10, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1120 := rec( phi := [ 3, 14, 10, 32, 3, 32, 10, 14 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1121 := rec( phi := [ 3, 14, 10, 32, 18, 30, 26, 22 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1122 := rec( phi := [ 3, 32, 3, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1123 := rec( phi := [ 3, 32, 3, 32, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1124 := rec( phi := [ 3, 32, 3, 32, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1125 := rec( phi := [ 3, 32, 3, 32, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1126 := rec( phi := [ 3, 32, 3, 32, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1127 := rec( phi := [ 3, 32, 3, 32, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1128 := rec( phi := [ 3, 32, 3, 32, 18, 22, 18, 22 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1129 := rec( phi := [ 3, 32, 3, 32, 18, 30, 18, 30 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1130 := rec( phi := [ 3, 32, 10, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1131 := rec( phi := [ 3, 32, 10, 32, 3, 3, 3, 10 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1132 := rec( phi := [ 3, 32, 10, 32, 3, 10, 3, 10 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1133 := rec( phi := [ 3, 32, 10, 32, 3, 32, 10, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1134 := rec( phi := [ 3, 32, 10, 32, 18, 22, 26, 22 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1135 := rec( phi := [ 3, 32, 10, 32, 18, 30, 26, 30 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1136 := rec( phi := [ 3, 32, 32, 32, 3, 3, 3, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1137 := rec( phi := [ 3, 32, 32, 32, 3, 3, 3, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1138 := rec( phi := [ 3, 32, 32, 32, 3, 3, 32, 3 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1139 := rec( phi := [ 3, 32, 32, 32, 3, 3, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1140 := rec( phi := [ 3, 32, 32, 32, 3, 32, 3, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1141 := rec( phi := [ 3, 32, 32, 32, 3, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1142 := rec( phi := [ 5, 5, 5, 5, 5, 5, 5, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1143 := rec( phi := [ 5, 5, 5, 5, 5, 5, 5, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1144 := rec( phi := [ 5, 5, 5, 5, 5, 5, 32, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1145 := rec( phi := [ 5, 5, 5, 5, 5, 5, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1146 := rec( phi := [ 5, 5, 5, 5, 5, 32, 5, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1147 := rec( phi := [ 5, 5, 5, 5, 5, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1148 := rec( phi := [ 5, 5, 5, 5, 32, 5, 5, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1149 := rec( phi := [ 5, 5, 5, 5, 32, 5, 5, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1150 := rec( phi := [ 5, 5, 5, 5, 32, 5, 32, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1151 := rec( phi := [ 5, 5, 5, 5, 32, 5, 32, 32 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1152 := rec( phi := [ 5, 5, 5, 5, 32, 32, 5, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1153 := rec( phi := [ 5, 5, 5, 5, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1154 := rec( phi := [ 5, 5, 5, 6, 5, 32, 5, 7 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1155 := rec( phi := [ 5, 5, 6, 5, 32, 5, 7, 5 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1156 := rec( phi := [ 5, 5, 6, 6, 32, 32, 7, 7 ], autos_yielding_iso_nrs := [ 7, 14, 15, 22, 23, 30, 31, 32 ] ), 1157 := rec( phi := [ 5, 6, 5, 6, 5, 6, 5, 6 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1158 := rec( phi := [ 5, 6, 6, 6, 32, 6, 7, 6 ], autos_yielding_iso_nrs := [ 7, 22, 23, 32 ] ), 1159 := rec( phi := [ 32, 32, 32, 32, 32, 32, 32, 32 ], autos_yielding_iso_nrs := [ 32 ] ) ) ); [0.151QuellennavigatorsProjekt 2026-06-28] |
2026-07-11