| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/sonata/nr/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 23.8.2025 mit Größe 121 kB |
|
Quelle nr12_5.nr Sprache: unbekannt |
|
|
Spracherkennung für: .nr vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] NR_T :=
rec( group_name := "T", group_generators := [ ( 1, 2, 4, 7, 9,12)( 3, 6,10,11, 8, 5), ( 1, 3, 7,11)( 2, 5, 9,10)( 4, 8,12, 6) ], elements := rec( 1 := (), 2 := ( 1, 2, 4, 7, 9,12)( 3, 6,10,11, 8, 5), 3 := ( 1, 3, 7,11)( 2, 5, 9,10)( 4, 8,12, 6), 4 := ( 1, 4, 9)( 2, 7,12)( 3,10, 8)( 5, 6,11), 5 := ( 1, 5, 7,10)( 2, 8, 9, 6)( 3, 4,11,12), 6 := ( 1, 6, 7, 8)( 2, 3, 9,11)( 4, 5,12,10), 7 := ( 1, 7)( 2, 9)( 3,11)( 4,12)( 5,10)( 6, 8), 8 := ( 1, 8, 7, 6)( 2,11, 9, 3)( 4,10,12, 5), 9 := ( 1, 9, 4)( 2,12, 7)( 3, 8,10)( 5,11, 6), 10 := ( 1,10, 7, 5)( 2, 6, 9, 8)( 3,12,11, 4), 11 := ( 1,11, 7, 3)( 2,10, 9, 5)( 4, 6,12, 8), 12 := ( 1,12, 9, 7, 4, 2)( 3, 5, 8,11,10, 6) ), group_endomorphisms := rec( 1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], 2 := [ 1, 1, 7, 1, 7, 7, 1, 7, 1, 7, 7, 1 ], 3 := [ 1, 2, 5, 4, 8, 3, 7, 11, 9, 6, 10, 12 ], 4 := [ 1, 2, 6, 4, 3, 10, 7, 5, 9, 11, 8, 12 ], 5 := [ 1, 2, 8, 4, 11, 5, 7, 10, 9, 3, 6, 12 ], 6 := [ 1, 2, 10, 4, 6, 11, 7, 3, 9, 8, 5, 12 ], 7 := [ 1, 2, 11, 4, 10, 8, 7, 6, 9, 5, 3, 12 ], 8 := [ 1, 7, 3, 1, 11, 11, 7, 3, 1, 3, 11, 7 ], 9 := [ 1, 7, 5, 1, 10, 10, 7, 5, 1, 5, 10, 7 ], 10 := [ 1, 7, 6, 1, 8, 8, 7, 6, 1, 6, 8, 7 ], 11 := [ 1, 7, 8, 1, 6, 6, 7, 8, 1, 8, 6, 7 ], 12 := [ 1, 7, 10, 1, 5, 5, 7, 10, 1, 10, 5, 7 ], 13 := [ 1, 7, 11, 1, 3, 3, 7, 11, 1, 11, 3, 7 ], 14 := [ 1, 12, 3, 9, 6, 5, 7, 10, 4, 8, 11, 2 ], 15 := [ 1, 12, 5, 9, 3, 8, 7, 6, 4, 11, 10, 2 ], 16 := [ 1, 12, 6, 9, 10, 3, 7, 11, 4, 5, 8, 2 ], 17 := [ 1, 12, 8, 9, 5, 11, 7, 3, 4, 10, 6, 2 ], 18 := [ 1, 12, 10, 9, 11, 6, 7, 8, 4, 3, 5, 2 ], 19 := [ 1, 12, 11, 9, 8, 10, 7, 5, 4, 6, 3, 2 ], 20 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] ), classes := rec( 1 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 2 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 3 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 4 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 5 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 6 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 7 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 8 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 9 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 10 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 11 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 12 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 13 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 14 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 15 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 16 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 17 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 18 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 19 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 20 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 21 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 22 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 23 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 24 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 25 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 26 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 27 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 28 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 29 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 30 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 31 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 32 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 33 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 14, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 34 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 35 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 36 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 37 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 38 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 39 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 40 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 41 := rec( phi := [ 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 42 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 43 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 44 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 45 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 46 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 47 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 48 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 49 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 50 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 51 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 52 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 53 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 54 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 55 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 56 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 57 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 58 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 59 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 60 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 61 := rec( phi := [ 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 62 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 63 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 64 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 65 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 66 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 67 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 68 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 69 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 70 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 71 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 72 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 73 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 74 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 75 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 76 := rec( phi := [ 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 77 := rec( phi := [ 1, 1, 1, 1, 1, 7, 1, 20, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 78 := rec( phi := [ 1, 1, 1, 1, 1, 15, 1, 20, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 79 := rec( phi := [ 1, 1, 1, 1, 1, 15, 1, 20, 1, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 80 := rec( phi := [ 1, 1, 1, 1, 1, 15, 1, 20, 1, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 81 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 82 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 83 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 84 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 85 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 86 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 87 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 88 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 89 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 90 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 91 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 92 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 93 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 94 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 95 := rec( phi := [ 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 96 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 97 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 98 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 99 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 100 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 101 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 102 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 103 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 104 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 105 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 106 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 107 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 108 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 109 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 110 := rec( phi := [ 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 111 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 112 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 113 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 114 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 115 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 116 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 117 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 118 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 119 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 120 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 121 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 122 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 123 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 2, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 124 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 125 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 126 := rec( phi := [ 1, 1, 1, 1, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 127 := rec( phi := [ 1, 1, 1, 1, 5, 20, 1, 1, 1, 1, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 128 := rec( phi := [ 1, 1, 1, 1, 7, 7, 1, 20, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 129 := rec( phi := [ 1, 1, 1, 1, 7, 19, 1, 14, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 130 := rec( phi := [ 1, 1, 1, 1, 7, 20, 1, 7, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 131 := rec( phi := [ 1, 1, 1, 1, 8, 8, 1, 1, 1, 1, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 132 := rec( phi := [ 1, 1, 1, 1, 8, 11, 1, 1, 1, 1, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 133 := rec( phi := [ 1, 1, 1, 1, 8, 20, 1, 1, 1, 1, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 134 := rec( phi := [ 1, 1, 1, 1, 12, 11, 1, 1, 1, 1, 8, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 135 := rec( phi := [ 1, 1, 1, 1, 12, 11, 1, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 136 := rec( phi := [ 1, 1, 1, 1, 12, 17, 1, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 137 := rec( phi := [ 1, 1, 1, 1, 12, 20, 1, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 138 := rec( phi := [ 1, 1, 1, 1, 14, 20, 1, 14, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 139 := rec( phi := [ 1, 1, 1, 1, 14, 20, 1, 20, 1, 14, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 140 := rec( phi := [ 1, 1, 1, 1, 19, 19, 1, 20, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 141 := rec( phi := [ 1, 1, 1, 1, 19, 20, 1, 20, 1, 19, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 142 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 143 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 144 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 145 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 146 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 147 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 148 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 149 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 150 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 151 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 152 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 153 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 154 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 155 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 156 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 157 := rec( phi := [ 1, 1, 1, 1, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 158 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 159 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 160 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 161 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 162 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 163 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 164 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 165 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 166 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 1, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 167 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 168 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 169 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 170 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 171 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 172 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 173 := rec( phi := [ 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 174 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 175 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 176 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 177 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 178 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 179 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 180 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 181 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 182 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 183 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 184 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 185 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2, 2, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 186 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 187 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 188 := rec( phi := [ 1, 1, 1, 2, 1, 1, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 189 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 190 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 191 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 192 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 193 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 194 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 195 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 196 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 197 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 198 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 199 := rec( phi := [ 1, 1, 1, 2, 1, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 200 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 201 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 202 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 1, 2, 1, 2, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 203 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 204 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 1, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 205 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 206 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 207 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 208 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 2, 2, 2, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 209 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 210 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 211 := rec( phi := [ 1, 1, 1, 2, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 212 := rec( phi := [ 1, 1, 1, 14, 1, 1, 1, 1, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 213 := rec( phi := [ 1, 1, 1, 14, 1, 1, 1, 14, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 214 := rec( phi := [ 1, 1, 1, 14, 1, 1, 1, 20, 20, 14, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 215 := rec( phi := [ 1, 1, 1, 14, 14, 20, 1, 14, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 216 := rec( phi := [ 1, 1, 1, 14, 14, 20, 1, 20, 20, 14, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 217 := rec( phi := [ 1, 1, 1, 14, 20, 14, 1, 14, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 218 := rec( phi := [ 1, 1, 1, 15, 1, 1, 1, 1, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 219 := rec( phi := [ 1, 1, 1, 15, 1, 1, 1, 1, 20, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 220 := rec( phi := [ 1, 1, 1, 15, 1, 1, 1, 1, 20, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 221 := rec( phi := [ 1, 1, 1, 15, 1, 15, 1, 20, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 222 := rec( phi := [ 1, 1, 1, 15, 1, 15, 1, 20, 20, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 223 := rec( phi := [ 1, 1, 1, 15, 1, 15, 1, 20, 20, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 224 := rec( phi := [ 1, 1, 1, 15, 1, 20, 1, 15, 20, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 225 := rec( phi := [ 1, 1, 1, 15, 1, 20, 1, 15, 20, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 226 := rec( phi := [ 1, 1, 1, 19, 19, 19, 1, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 227 := rec( phi := [ 1, 1, 1, 19, 19, 20, 1, 20, 20, 19, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 228 := rec( phi := [ 1, 1, 1, 19, 20, 19, 1, 19, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 229 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 230 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 231 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 232 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 233 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 234 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 235 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 236 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 237 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 238 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 239 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 240 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 241 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 242 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 243 := rec( phi := [ 1, 1, 1, 20, 1, 1, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 244 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 245 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 246 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 247 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 248 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 249 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 250 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 251 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 252 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 253 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 254 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 255 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 256 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 257 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 258 := rec( phi := [ 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 259 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 260 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 261 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 262 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 263 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 264 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 265 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 266 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 267 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 268 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 269 := rec( phi := [ 1, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 270 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 271 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 272 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 273 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 274 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 1, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 275 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 276 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 277 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 278 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 279 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 280 := rec( phi := [ 1, 1, 1, 20, 1, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 281 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 282 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 283 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 284 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 285 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 286 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 287 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 288 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 289 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 290 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 291 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 292 := rec( phi := [ 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 293 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 294 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 295 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 1, 20, 1, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 296 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 297 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 298 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 299 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 300 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 301 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 302 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 303 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 304 := rec( phi := [ 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 305 := rec( phi := [ 1, 1, 2, 1, 2, 2, 1, 2, 1, 2, 2, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 306 := rec( phi := [ 1, 1, 2, 1, 2, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 307 := rec( phi := [ 1, 1, 2, 1, 2, 2, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 308 := rec( phi := [ 1, 1, 2, 1, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 309 := rec( phi := [ 1, 1, 2, 2, 2, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 310 := rec( phi := [ 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 2, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 311 := rec( phi := [ 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 312 := rec( phi := [ 1, 1, 3, 1, 5, 20, 1, 7, 1, 4, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 313 := rec( phi := [ 1, 1, 3, 1, 5, 20, 2, 7, 1, 4, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 314 := rec( phi := [ 1, 1, 3, 1, 5, 20, 2, 7, 1, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 315 := rec( phi := [ 1, 1, 3, 1, 5, 20, 2, 7, 2, 4, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 316 := rec( phi := [ 1, 1, 3, 1, 5, 20, 2, 7, 2, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 317 := rec( phi := [ 1, 1, 3, 2, 5, 20, 2, 7, 1, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 318 := rec( phi := [ 1, 1, 3, 2, 5, 20, 2, 7, 2, 4, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 319 := rec( phi := [ 1, 1, 3, 2, 5, 20, 2, 7, 2, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 320 := rec( phi := [ 1, 1, 5, 1, 5, 20, 1, 6, 1, 20, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 321 := rec( phi := [ 1, 1, 5, 1, 5, 20, 2, 6, 1, 20, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 322 := rec( phi := [ 1, 1, 5, 1, 5, 20, 2, 6, 1, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 323 := rec( phi := [ 1, 1, 5, 1, 5, 20, 2, 6, 2, 20, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 324 := rec( phi := [ 1, 1, 5, 1, 5, 20, 2, 6, 2, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 325 := rec( phi := [ 1, 1, 5, 1, 16, 19, 1, 6, 1, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 326 := rec( phi := [ 1, 1, 5, 1, 16, 19, 2, 6, 1, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 327 := rec( phi := [ 1, 1, 5, 1, 20, 6, 1, 6, 1, 20, 5, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 328 := rec( phi := [ 1, 1, 5, 1, 20, 6, 2, 6, 1, 20, 5, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 329 := rec( phi := [ 1, 1, 5, 1, 20, 6, 2, 6, 1, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 330 := rec( phi := [ 1, 1, 5, 1, 20, 6, 2, 6, 2, 20, 5, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 331 := rec( phi := [ 1, 1, 5, 1, 20, 6, 2, 6, 2, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 332 := rec( phi := [ 1, 1, 5, 2, 5, 20, 2, 6, 1, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 333 := rec( phi := [ 1, 1, 5, 2, 5, 20, 2, 6, 2, 20, 6, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 334 := rec( phi := [ 1, 1, 5, 2, 5, 20, 2, 6, 2, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 335 := rec( phi := [ 1, 1, 5, 2, 16, 19, 2, 6, 2, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 336 := rec( phi := [ 1, 1, 5, 2, 20, 6, 2, 6, 1, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 337 := rec( phi := [ 1, 1, 5, 2, 20, 6, 2, 6, 2, 20, 5, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 338 := rec( phi := [ 1, 1, 5, 2, 20, 6, 2, 6, 2, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 339 := rec( phi := [ 1, 1, 7, 1, 7, 7, 1, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 340 := rec( phi := [ 1, 1, 7, 1, 7, 7, 2, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 341 := rec( phi := [ 1, 1, 7, 1, 7, 7, 2, 20, 1, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 342 := rec( phi := [ 1, 1, 7, 1, 7, 7, 2, 20, 2, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 343 := rec( phi := [ 1, 1, 7, 1, 7, 7, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 344 := rec( phi := [ 1, 1, 7, 1, 11, 11, 1, 10, 1, 10, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 345 := rec( phi := [ 1, 1, 7, 1, 12, 11, 1, 10, 1, 9, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 346 := rec( phi := [ 1, 1, 7, 1, 12, 17, 1, 16, 1, 9, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 347 := rec( phi := [ 1, 1, 7, 1, 12, 20, 1, 7, 1, 9, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 348 := rec( phi := [ 1, 1, 7, 1, 20, 20, 1, 7, 1, 7, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 349 := rec( phi := [ 1, 1, 7, 1, 20, 20, 2, 7, 1, 7, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 350 := rec( phi := [ 1, 1, 7, 1, 20, 20, 2, 7, 1, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 351 := rec( phi := [ 1, 1, 7, 1, 20, 20, 2, 7, 2, 7, 20, 1 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 352 := rec( phi := [ 1, 1, 7, 1, 20, 20, 2, 7, 2, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 353 := rec( phi := [ 1, 1, 7, 2, 7, 7, 2, 20, 1, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 354 := rec( phi := [ 1, 1, 7, 2, 7, 7, 2, 20, 2, 20, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 355 := rec( phi := [ 1, 1, 7, 2, 7, 7, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 356 := rec( phi := [ 1, 1, 7, 2, 20, 20, 2, 7, 1, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 357 := rec( phi := [ 1, 1, 7, 2, 20, 20, 2, 7, 2, 7, 20, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 358 := rec( phi := [ 1, 1, 7, 2, 20, 20, 2, 7, 2, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 359 := rec( phi := [ 1, 1, 8, 1, 8, 8, 1, 8, 1, 8, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 360 := rec( phi := [ 1, 1, 8, 1, 8, 8, 1, 8, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 361 := rec( phi := [ 1, 1, 8, 1, 8, 8, 1, 14, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 362 := rec( phi := [ 1, 1, 8, 1, 8, 8, 1, 20, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 363 := rec( phi := [ 1, 1, 8, 1, 8, 11, 1, 11, 1, 8, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 364 := rec( phi := [ 1, 1, 8, 1, 8, 11, 1, 11, 1, 11, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 365 := rec( phi := [ 1, 1, 8, 1, 8, 11, 1, 11, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 366 := rec( phi := [ 1, 1, 8, 1, 8, 20, 1, 8, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 367 := rec( phi := [ 1, 1, 8, 1, 8, 20, 1, 20, 1, 8, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 368 := rec( phi := [ 1, 1, 8, 1, 8, 20, 1, 20, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 369 := rec( phi := [ 1, 1, 8, 1, 9, 9, 1, 8, 1, 12, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 370 := rec( phi := [ 1, 1, 8, 1, 9, 9, 1, 12, 1, 12, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 371 := rec( phi := [ 1, 1, 8, 1, 9, 9, 1, 20, 1, 12, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 372 := rec( phi := [ 1, 1, 8, 1, 9, 10, 1, 11, 1, 12, 13, 1 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 373 := rec( phi := [ 1, 1, 8, 1, 9, 15, 1, 20, 1, 12, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 374 := rec( phi := [ 1, 1, 8, 1, 12, 11, 1, 11, 1, 12, 8, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 375 := rec( phi := [ 1, 1, 8, 1, 12, 20, 1, 20, 1, 12, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 376 := rec( phi := [ 1, 1, 8, 1, 13, 13, 1, 8, 1, 8, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 377 := rec( phi := [ 1, 1, 8, 1, 13, 13, 1, 8, 1, 20, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 378 := rec( phi := [ 1, 1, 8, 1, 13, 13, 1, 14, 1, 20, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 379 := rec( phi := [ 1, 1, 8, 1, 13, 13, 1, 20, 1, 20, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 380 := rec( phi := [ 1, 1, 8, 1, 13, 19, 1, 8, 1, 20, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 381 := rec( phi := [ 1, 1, 8, 1, 14, 20, 1, 14, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 382 := rec( phi := [ 1, 1, 8, 1, 14, 20, 1, 20, 1, 14, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 383 := rec( phi := [ 1, 1, 8, 1, 19, 19, 1, 20, 1, 20, 13, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 384 := rec( phi := [ 1, 1, 8, 1, 20, 20, 1, 20, 1, 20, 8, 1 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 385 := rec( phi := [ 1, 1, 15, 1, 20, 15, 1, 20, 1, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 386 := rec( phi := [ 1, 1, 15, 1, 20, 15, 1, 20, 1, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 387 := rec( phi := [ 1, 1, 15, 1, 20, 15, 2, 20, 1, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 388 := rec( phi := [ 1, 1, 15, 1, 20, 15, 2, 20, 1, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 389 := rec( phi := [ 1, 1, 15, 1, 20, 20, 1, 15, 1, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 390 := rec( phi := [ 1, 1, 15, 1, 20, 20, 2, 15, 1, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 391 := rec( phi := [ 1, 1, 15, 2, 20, 15, 2, 20, 2, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 392 := rec( phi := [ 1, 1, 15, 2, 20, 15, 2, 20, 2, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 393 := rec( phi := [ 1, 1, 15, 2, 20, 20, 2, 15, 2, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 394 := rec( phi := [ 1, 1, 15, 15, 20, 15, 1, 20, 20, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 395 := rec( phi := [ 1, 1, 15, 15, 20, 15, 1, 20, 20, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 396 := rec( phi := [ 1, 1, 15, 15, 20, 20, 1, 15, 20, 15, 20, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 397 := rec( phi := [ 1, 1, 15, 20, 20, 15, 1, 20, 15, 20, 15, 1 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 398 := rec( phi := [ 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 399 := rec( phi := [ 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 400 := rec( phi := [ 1, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 401 := rec( phi := [ 1, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 402 := rec( phi := [ 1, 1, 20, 1, 20, 20, 2, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 403 := rec( phi := [ 1, 1, 20, 1, 20, 20, 2, 20, 1, 20, 20, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 404 := rec( phi := [ 1, 1, 20, 1, 20, 20, 2, 20, 2, 20, 20, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 405 := rec( phi := [ 1, 1, 20, 1, 20, 20, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 406 := rec( phi := [ 1, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 407 := rec( phi := [ 1, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 408 := rec( phi := [ 1, 1, 20, 1, 20, 20, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 409 := rec( phi := [ 1, 1, 20, 1, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 410 := rec( phi := [ 1, 1, 20, 2, 20, 20, 2, 20, 1, 20, 20, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 411 := rec( phi := [ 1, 1, 20, 2, 20, 20, 2, 20, 2, 20, 20, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 412 := rec( phi := [ 1, 1, 20, 2, 20, 20, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 413 := rec( phi := [ 1, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 414 := rec( phi := [ 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 415 := rec( phi := [ 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 416 := rec( phi := [ 1, 1, 20, 20, 20, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 417 := rec( phi := [ 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1 ], autos_yielding_iso_nrs := [ 20 ] ), 418 := rec( phi := [ 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 419 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 420 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 421 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 422 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 423 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 424 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 425 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 426 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 427 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 428 := rec( phi := [ 1, 2, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 429 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 430 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 431 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 432 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 433 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 434 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 435 := rec( phi := [ 1, 2, 1, 1, 1, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 436 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 1, 1, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 437 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 438 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 439 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 440 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 2, 1, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 441 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 442 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 443 := rec( phi := [ 1, 2, 1, 1, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 444 := rec( phi := [ 1, 2, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 445 := rec( phi := [ 1, 2, 1, 2, 1, 1, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 446 := rec( phi := [ 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 447 := rec( phi := [ 1, 2, 1, 2, 1, 1, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 448 := rec( phi := [ 1, 2, 1, 2, 1, 1, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 449 := rec( phi := [ 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 450 := rec( phi := [ 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 451 := rec( phi := [ 1, 2, 1, 2, 1, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 452 := rec( phi := [ 1, 2, 1, 2, 2, 2, 1, 1, 2, 1, 2, 2 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 453 := rec( phi := [ 1, 2, 1, 2, 2, 2, 1, 1, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 454 := rec( phi := [ 1, 2, 1, 2, 2, 2, 1, 2, 2, 2, 1, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 455 := rec( phi := [ 1, 2, 1, 2, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 456 := rec( phi := [ 1, 2, 2, 1, 2, 2, 1, 2, 1, 2, 2, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 457 := rec( phi := [ 1, 2, 2, 1, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 458 := rec( phi := [ 1, 2, 2, 2, 2, 2, 1, 2, 2, 2, 2, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 459 := rec( phi := [ 1, 2, 3, 1, 5, 20, 2, 7, 1, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 460 := rec( phi := [ 1, 2, 3, 1, 5, 20, 2, 7, 2, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 461 := rec( phi := [ 1, 2, 3, 2, 5, 20, 2, 7, 2, 4, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 462 := rec( phi := [ 1, 2, 5, 1, 5, 20, 2, 6, 1, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 463 := rec( phi := [ 1, 2, 5, 1, 5, 20, 2, 6, 2, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 464 := rec( phi := [ 1, 2, 5, 1, 16, 19, 2, 6, 1, 20, 15, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 465 := rec( phi := [ 1, 2, 5, 1, 20, 6, 2, 6, 1, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 466 := rec( phi := [ 1, 2, 5, 1, 20, 6, 2, 6, 2, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 467 := rec( phi := [ 1, 2, 5, 2, 5, 20, 2, 6, 2, 20, 6, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 468 := rec( phi := [ 1, 2, 5, 2, 16, 19, 2, 6, 2, 20, 15, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 469 := rec( phi := [ 1, 2, 5, 2, 20, 6, 2, 6, 2, 20, 5, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 470 := rec( phi := [ 1, 2, 7, 1, 7, 7, 2, 20, 1, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 471 := rec( phi := [ 1, 2, 7, 1, 7, 7, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 472 := rec( phi := [ 1, 2, 7, 1, 11, 11, 2, 10, 1, 10, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 473 := rec( phi := [ 1, 2, 7, 1, 12, 11, 2, 10, 1, 9, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 474 := rec( phi := [ 1, 2, 7, 1, 12, 17, 2, 16, 1, 9, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 475 := rec( phi := [ 1, 2, 7, 1, 12, 20, 2, 7, 1, 9, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 476 := rec( phi := [ 1, 2, 7, 1, 20, 20, 2, 7, 1, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 477 := rec( phi := [ 1, 2, 7, 1, 20, 20, 2, 7, 2, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 478 := rec( phi := [ 1, 2, 7, 2, 7, 7, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 479 := rec( phi := [ 1, 2, 7, 2, 20, 20, 2, 7, 2, 7, 20, 2 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 480 := rec( phi := [ 1, 2, 8, 1, 8, 8, 2, 8, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 481 := rec( phi := [ 1, 2, 8, 1, 8, 8, 2, 8, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 482 := rec( phi := [ 1, 2, 8, 1, 8, 8, 2, 14, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 483 := rec( phi := [ 1, 2, 8, 1, 8, 8, 2, 20, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 484 := rec( phi := [ 1, 2, 8, 1, 8, 11, 2, 11, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 485 := rec( phi := [ 1, 2, 8, 1, 8, 11, 2, 11, 1, 11, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 486 := rec( phi := [ 1, 2, 8, 1, 8, 11, 2, 11, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 487 := rec( phi := [ 1, 2, 8, 1, 8, 20, 2, 8, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 488 := rec( phi := [ 1, 2, 8, 1, 8, 20, 2, 20, 1, 8, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 489 := rec( phi := [ 1, 2, 8, 1, 8, 20, 2, 20, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 490 := rec( phi := [ 1, 2, 8, 1, 9, 9, 2, 8, 1, 12, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 491 := rec( phi := [ 1, 2, 8, 1, 9, 9, 2, 12, 1, 12, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 492 := rec( phi := [ 1, 2, 8, 1, 9, 9, 2, 20, 1, 12, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 493 := rec( phi := [ 1, 2, 8, 1, 9, 10, 2, 11, 1, 12, 13, 2 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 494 := rec( phi := [ 1, 2, 8, 1, 9, 15, 2, 20, 1, 12, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 495 := rec( phi := [ 1, 2, 8, 1, 12, 11, 2, 11, 1, 12, 8, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 496 := rec( phi := [ 1, 2, 8, 1, 12, 20, 2, 20, 1, 12, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 497 := rec( phi := [ 1, 2, 8, 1, 13, 13, 2, 8, 1, 8, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 498 := rec( phi := [ 1, 2, 8, 1, 13, 13, 2, 8, 1, 20, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 499 := rec( phi := [ 1, 2, 8, 1, 13, 13, 2, 14, 1, 20, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 500 := rec( phi := [ 1, 2, 8, 1, 13, 13, 2, 20, 1, 20, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 501 := rec( phi := [ 1, 2, 8, 1, 13, 19, 2, 8, 1, 20, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 502 := rec( phi := [ 1, 2, 8, 1, 14, 20, 2, 14, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 503 := rec( phi := [ 1, 2, 8, 1, 14, 20, 2, 20, 1, 14, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 504 := rec( phi := [ 1, 2, 8, 1, 19, 19, 2, 20, 1, 20, 13, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 505 := rec( phi := [ 1, 2, 8, 1, 20, 20, 2, 20, 1, 20, 8, 2 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 506 := rec( phi := [ 1, 2, 15, 1, 20, 15, 2, 20, 1, 15, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 507 := rec( phi := [ 1, 2, 15, 1, 20, 15, 2, 20, 1, 20, 15, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 508 := rec( phi := [ 1, 2, 15, 1, 20, 20, 2, 15, 1, 15, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 509 := rec( phi := [ 1, 2, 15, 2, 20, 15, 2, 20, 2, 15, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 510 := rec( phi := [ 1, 2, 15, 2, 20, 15, 2, 20, 2, 20, 15, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 511 := rec( phi := [ 1, 2, 15, 2, 20, 20, 2, 15, 2, 15, 20, 2 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 512 := rec( phi := [ 1, 2, 20, 1, 20, 20, 2, 20, 1, 20, 20, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 513 := rec( phi := [ 1, 2, 20, 1, 20, 20, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 514 := rec( phi := [ 1, 2, 20, 2, 20, 20, 2, 20, 2, 20, 20, 2 ], autos_yielding_iso_nrs := [ 20 ] ), 515 := rec( phi := [ 1, 8, 1, 1, 1, 1, 8, 1, 1, 1, 1, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 516 := rec( phi := [ 1, 8, 1, 1, 1, 1, 8, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 517 := rec( phi := [ 1, 8, 1, 1, 8, 8, 8, 1, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 518 := rec( phi := [ 1, 8, 1, 1, 8, 8, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 519 := rec( phi := [ 1, 8, 1, 1, 8, 20, 8, 1, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 520 := rec( phi := [ 1, 8, 1, 1, 8, 20, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 521 := rec( phi := [ 1, 8, 1, 1, 14, 20, 8, 1, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 522 := rec( phi := [ 1, 8, 1, 1, 20, 8, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 523 := rec( phi := [ 1, 8, 1, 1, 20, 20, 8, 1, 1, 1, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 524 := rec( phi := [ 1, 8, 1, 1, 20, 20, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 525 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 8, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 526 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 8, 1, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 527 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 8, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 528 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 8, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 529 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 14, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 530 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 20, 1, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 531 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 20, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 532 := rec( phi := [ 1, 8, 8, 1, 8, 8, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 533 := rec( phi := [ 1, 8, 8, 1, 8, 20, 8, 8, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 534 := rec( phi := [ 1, 8, 8, 1, 8, 20, 8, 8, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 535 := rec( phi := [ 1, 8, 8, 1, 8, 20, 8, 20, 1, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 536 := rec( phi := [ 1, 8, 8, 1, 8, 20, 8, 20, 1, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 537 := rec( phi := [ 1, 8, 8, 1, 8, 20, 8, 20, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 538 := rec( phi := [ 1, 8, 8, 1, 8, 20, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 539 := rec( phi := [ 1, 8, 8, 1, 14, 20, 8, 14, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 540 := rec( phi := [ 1, 8, 8, 1, 14, 20, 8, 20, 1, 14, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 541 := rec( phi := [ 1, 8, 8, 1, 20, 8, 8, 8, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 542 := rec( phi := [ 1, 8, 8, 1, 20, 8, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 543 := rec( phi := [ 1, 8, 8, 1, 20, 20, 8, 20, 1, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 544 := rec( phi := [ 1, 8, 8, 1, 20, 20, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 545 := rec( phi := [ 1, 14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 546 := rec( phi := [ 1, 14, 1, 1, 1, 1, 1, 14, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 547 := rec( phi := [ 1, 14, 1, 1, 1, 1, 1, 20, 1, 14, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 548 := rec( phi := [ 1, 14, 1, 1, 1, 1, 8, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 549 := rec( phi := [ 1, 14, 1, 1, 8, 8, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 550 := rec( phi := [ 1, 14, 1, 1, 14, 20, 1, 14, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 551 := rec( phi := [ 1, 14, 1, 1, 14, 20, 1, 20, 1, 14, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 552 := rec( phi := [ 1, 14, 1, 1, 14, 20, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 553 := rec( phi := [ 1, 14, 1, 1, 20, 14, 1, 14, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 554 := rec( phi := [ 1, 14, 1, 1, 20, 14, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 555 := rec( phi := [ 1, 14, 1, 14, 1, 1, 1, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 556 := rec( phi := [ 1, 14, 1, 14, 1, 1, 1, 14, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 557 := rec( phi := [ 1, 14, 1, 14, 1, 1, 1, 20, 20, 14, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 558 := rec( phi := [ 1, 14, 1, 14, 14, 20, 1, 14, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 559 := rec( phi := [ 1, 14, 1, 14, 14, 20, 1, 20, 20, 14, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 560 := rec( phi := [ 1, 14, 1, 14, 20, 14, 1, 14, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 561 := rec( phi := [ 1, 14, 1, 20, 1, 1, 1, 1, 14, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 562 := rec( phi := [ 1, 14, 1, 20, 1, 1, 1, 14, 14, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 563 := rec( phi := [ 1, 14, 1, 20, 1, 1, 1, 20, 14, 14, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 564 := rec( phi := [ 1, 14, 1, 20, 14, 20, 1, 14, 14, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 565 := rec( phi := [ 1, 14, 1, 20, 14, 20, 1, 20, 14, 14, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 566 := rec( phi := [ 1, 14, 1, 20, 20, 14, 1, 14, 14, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 567 := rec( phi := [ 1, 14, 8, 1, 8, 8, 8, 8, 1, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 568 := rec( phi := [ 1, 14, 8, 1, 8, 8, 8, 14, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 569 := rec( phi := [ 1, 14, 8, 1, 8, 8, 8, 20, 1, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 570 := rec( phi := [ 1, 14, 8, 1, 14, 20, 8, 14, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 571 := rec( phi := [ 1, 14, 8, 1, 14, 20, 8, 20, 1, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 572 := rec( phi := [ 1, 14, 8, 1, 20, 14, 8, 14, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 573 := rec( phi := [ 1, 15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 574 := rec( phi := [ 1, 15, 1, 1, 1, 1, 1, 1, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 575 := rec( phi := [ 1, 15, 1, 1, 1, 1, 1, 1, 1, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 576 := rec( phi := [ 1, 15, 1, 1, 1, 15, 1, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 577 := rec( phi := [ 1, 15, 1, 1, 1, 15, 1, 20, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 578 := rec( phi := [ 1, 15, 1, 1, 1, 15, 1, 20, 1, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 579 := rec( phi := [ 1, 15, 1, 1, 1, 20, 1, 15, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 580 := rec( phi := [ 1, 15, 1, 1, 1, 20, 1, 15, 1, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 581 := rec( phi := [ 1, 15, 1, 15, 1, 1, 1, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 582 := rec( phi := [ 1, 15, 1, 15, 1, 1, 1, 1, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 583 := rec( phi := [ 1, 15, 1, 15, 1, 1, 1, 1, 20, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 584 := rec( phi := [ 1, 15, 1, 15, 1, 15, 1, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 585 := rec( phi := [ 1, 15, 1, 15, 1, 15, 1, 20, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 586 := rec( phi := [ 1, 15, 1, 15, 1, 15, 1, 20, 20, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 587 := rec( phi := [ 1, 15, 1, 15, 1, 20, 1, 15, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 588 := rec( phi := [ 1, 15, 1, 15, 1, 20, 1, 15, 20, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 589 := rec( phi := [ 1, 15, 1, 20, 1, 1, 1, 1, 15, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 590 := rec( phi := [ 1, 15, 1, 20, 1, 1, 1, 1, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 591 := rec( phi := [ 1, 15, 1, 20, 1, 1, 1, 1, 15, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 592 := rec( phi := [ 1, 15, 1, 20, 1, 15, 1, 20, 15, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 593 := rec( phi := [ 1, 15, 1, 20, 1, 15, 1, 20, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 594 := rec( phi := [ 1, 15, 1, 20, 1, 15, 1, 20, 15, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 595 := rec( phi := [ 1, 15, 1, 20, 1, 20, 1, 15, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 596 := rec( phi := [ 1, 15, 1, 20, 1, 20, 1, 15, 15, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 597 := rec( phi := [ 1, 15, 15, 1, 20, 1, 1, 1, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 598 := rec( phi := [ 1, 15, 15, 1, 20, 1, 1, 1, 1, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 599 := rec( phi := [ 1, 15, 15, 1, 20, 15, 1, 20, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 600 := rec( phi := [ 1, 15, 15, 1, 20, 15, 1, 20, 1, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 601 := rec( phi := [ 1, 15, 15, 1, 20, 20, 1, 15, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 602 := rec( phi := [ 1, 15, 15, 15, 20, 1, 1, 1, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 603 := rec( phi := [ 1, 15, 15, 15, 20, 1, 1, 1, 20, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 604 := rec( phi := [ 1, 15, 15, 15, 20, 15, 1, 20, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 605 := rec( phi := [ 1, 15, 15, 15, 20, 15, 1, 20, 20, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 606 := rec( phi := [ 1, 15, 15, 15, 20, 20, 1, 15, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 607 := rec( phi := [ 1, 15, 15, 20, 20, 1, 1, 1, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 608 := rec( phi := [ 1, 15, 15, 20, 20, 1, 1, 1, 15, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 609 := rec( phi := [ 1, 15, 15, 20, 20, 15, 1, 20, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 610 := rec( phi := [ 1, 15, 15, 20, 20, 15, 1, 20, 15, 20, 15, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 611 := rec( phi := [ 1, 15, 15, 20, 20, 20, 1, 15, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 612 := rec( phi := [ 1, 15, 20, 1, 15, 1, 1, 1, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 613 := rec( phi := [ 1, 15, 20, 1, 15, 15, 1, 20, 1, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 614 := rec( phi := [ 1, 15, 20, 15, 15, 1, 1, 1, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 615 := rec( phi := [ 1, 15, 20, 15, 15, 15, 1, 20, 20, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 616 := rec( phi := [ 1, 15, 20, 20, 15, 1, 1, 1, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 617 := rec( phi := [ 1, 15, 20, 20, 15, 15, 1, 20, 15, 15, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 618 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 619 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 620 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 621 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 622 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 623 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 624 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 625 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 626 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 627 := rec( phi := [ 1, 20, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 628 := rec( phi := [ 1, 20, 1, 1, 1, 1, 8, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 629 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 630 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 631 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 632 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 633 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 634 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 635 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 636 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 637 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 638 := rec( phi := [ 1, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 639 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 640 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 641 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 642 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 643 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 644 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 645 := rec( phi := [ 1, 20, 1, 1, 1, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 646 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 647 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 648 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 649 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 650 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 651 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 652 := rec( phi := [ 1, 20, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 653 := rec( phi := [ 1, 20, 1, 1, 8, 8, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 654 := rec( phi := [ 1, 20, 1, 1, 8, 20, 8, 1, 1, 1, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 655 := rec( phi := [ 1, 20, 1, 1, 12, 20, 12, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 656 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 657 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 658 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 659 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 660 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 661 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 662 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 663 := rec( phi := [ 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 664 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 665 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 666 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 14, 15, 20 ] ), 667 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 668 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 20, 1, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 669 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 670 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 671 := rec( phi := [ 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 672 := rec( phi := [ 1, 20, 1, 20, 1, 1, 1, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 673 := rec( phi := [ 1, 20, 1, 20, 1, 1, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 674 := rec( phi := [ 1, 20, 1, 20, 1, 1, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 675 := rec( phi := [ 1, 20, 1, 20, 1, 1, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 676 := rec( phi := [ 1, 20, 1, 20, 1, 1, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 677 := rec( phi := [ 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 678 := rec( phi := [ 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 679 := rec( phi := [ 1, 20, 1, 20, 1, 1, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 680 := rec( phi := [ 1, 20, 1, 20, 1, 1, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 681 := rec( phi := [ 1, 20, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 682 := rec( phi := [ 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 683 := rec( phi := [ 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 684 := rec( phi := [ 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 685 := rec( phi := [ 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 686 := rec( phi := [ 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 687 := rec( phi := [ 1, 20, 1, 20, 1, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 688 := rec( phi := [ 1, 20, 1, 20, 20, 20, 1, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 689 := rec( phi := [ 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 690 := rec( phi := [ 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 691 := rec( phi := [ 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 692 := rec( phi := [ 1, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20 ], autos_yielding_iso_nrs := [ 3, 20 ] ), 693 := rec( phi := [ 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 694 := rec( phi := [ 1, 20, 1, 20, 20, 20, 20, 20, 20, 20, 1, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 695 := rec( phi := [ 1, 20, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 696 := rec( phi := [ 1, 20, 8, 1, 8, 8, 8, 8, 1, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 697 := rec( phi := [ 1, 20, 8, 1, 8, 8, 8, 8, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 698 := rec( phi := [ 1, 20, 8, 1, 8, 8, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 699 := rec( phi := [ 1, 20, 8, 1, 8, 20, 8, 8, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 700 := rec( phi := [ 1, 20, 8, 1, 8, 20, 8, 20, 1, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 701 := rec( phi := [ 1, 20, 8, 1, 8, 20, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 702 := rec( phi := [ 1, 20, 8, 1, 20, 20, 8, 20, 1, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 703 := rec( phi := [ 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 704 := rec( phi := [ 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 705 := rec( phi := [ 1, 20, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 706 := rec( phi := [ 1, 20, 20, 1, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 14, 20 ] ), 707 := rec( phi := [ 1, 20, 20, 20, 20, 20, 1, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 708 := rec( phi := [ 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 20 ] ), 709 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 710 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 711 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 712 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 713 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 20, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 714 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 715 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 716 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 717 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 14, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 718 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 719 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 720 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 721 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 20, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 722 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 723 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 724 := rec( phi := [ 8, 8, 8, 8, 8, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 725 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 8, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 726 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 727 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 8, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 728 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 729 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 8, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 730 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 731 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 732 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 733 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 20, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 734 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 735 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 736 := rec( phi := [ 8, 8, 8, 8, 8, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 737 := rec( phi := [ 8, 8, 8, 8, 14, 20, 8, 14, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 738 := rec( phi := [ 8, 8, 8, 8, 14, 20, 8, 20, 8, 14, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 739 := rec( phi := [ 8, 8, 8, 8, 20, 8, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 740 := rec( phi := [ 8, 8, 8, 8, 20, 8, 8, 8, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 741 := rec( phi := [ 8, 8, 8, 8, 20, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 742 := rec( phi := [ 8, 8, 8, 8, 20, 8, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 743 := rec( phi := [ 8, 8, 8, 8, 20, 8, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 744 := rec( phi := [ 8, 8, 8, 8, 20, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 745 := rec( phi := [ 8, 8, 8, 8, 20, 20, 8, 20, 8, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 746 := rec( phi := [ 8, 8, 8, 8, 20, 20, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 747 := rec( phi := [ 8, 8, 8, 8, 20, 20, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 748 := rec( phi := [ 8, 8, 8, 8, 20, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 749 := rec( phi := [ 8, 8, 8, 14, 8, 8, 8, 8, 20, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 750 := rec( phi := [ 8, 8, 8, 14, 8, 8, 8, 14, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 751 := rec( phi := [ 8, 8, 8, 14, 8, 8, 8, 20, 20, 14, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 752 := rec( phi := [ 8, 8, 8, 14, 14, 20, 8, 14, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 753 := rec( phi := [ 8, 8, 8, 14, 14, 20, 8, 20, 20, 14, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 754 := rec( phi := [ 8, 8, 8, 14, 20, 14, 8, 14, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 755 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 8, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 756 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 757 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 8, 20, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 758 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 8, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 759 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 8, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 760 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 761 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 20, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 762 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 763 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 764 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 765 := rec( phi := [ 8, 8, 8, 20, 8, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 766 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 767 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 8, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 768 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 769 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 20, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 770 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 771 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 20, 20, 8, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 772 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 773 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 774 := rec( phi := [ 8, 8, 8, 20, 8, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 775 := rec( phi := [ 8, 8, 8, 20, 20, 8, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 776 := rec( phi := [ 8, 8, 8, 20, 20, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 777 := rec( phi := [ 8, 8, 8, 20, 20, 8, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 778 := rec( phi := [ 8, 8, 8, 20, 20, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 779 := rec( phi := [ 8, 8, 8, 20, 20, 20, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 780 := rec( phi := [ 8, 8, 8, 20, 20, 20, 8, 20, 20, 20, 8, 8 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 781 := rec( phi := [ 8, 8, 8, 20, 20, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 782 := rec( phi := [ 8, 14, 8, 8, 8, 8, 8, 8, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 783 := rec( phi := [ 8, 14, 8, 8, 8, 8, 8, 14, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 784 := rec( phi := [ 8, 14, 8, 8, 8, 8, 8, 20, 8, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 785 := rec( phi := [ 8, 14, 8, 8, 14, 20, 8, 14, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 786 := rec( phi := [ 8, 14, 8, 8, 14, 20, 8, 20, 8, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 787 := rec( phi := [ 8, 14, 8, 8, 20, 14, 8, 14, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 788 := rec( phi := [ 8, 14, 8, 14, 8, 8, 8, 8, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 789 := rec( phi := [ 8, 14, 8, 14, 8, 8, 8, 14, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 790 := rec( phi := [ 8, 14, 8, 14, 8, 8, 8, 20, 20, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 791 := rec( phi := [ 8, 14, 8, 14, 14, 20, 8, 14, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 792 := rec( phi := [ 8, 14, 8, 14, 14, 20, 8, 20, 20, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 793 := rec( phi := [ 8, 14, 8, 14, 20, 14, 8, 14, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 794 := rec( phi := [ 8, 14, 8, 20, 8, 8, 8, 8, 14, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 795 := rec( phi := [ 8, 14, 8, 20, 8, 8, 8, 14, 14, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 796 := rec( phi := [ 8, 14, 8, 20, 8, 8, 8, 20, 14, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 797 := rec( phi := [ 8, 14, 8, 20, 14, 20, 8, 14, 14, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 798 := rec( phi := [ 8, 14, 8, 20, 14, 20, 8, 20, 14, 14, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 799 := rec( phi := [ 8, 14, 8, 20, 20, 14, 8, 14, 14, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 800 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 8, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 801 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 802 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 8, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 803 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 804 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 805 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 806 := rec( phi := [ 8, 20, 8, 8, 8, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 807 := rec( phi := [ 8, 20, 8, 8, 8, 20, 8, 8, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 808 := rec( phi := [ 8, 20, 8, 8, 8, 20, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 809 := rec( phi := [ 8, 20, 8, 8, 8, 20, 8, 20, 8, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 810 := rec( phi := [ 8, 20, 8, 8, 8, 20, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 811 := rec( phi := [ 8, 20, 8, 8, 8, 20, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 812 := rec( phi := [ 8, 20, 8, 8, 8, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 813 := rec( phi := [ 8, 20, 8, 8, 20, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 814 := rec( phi := [ 8, 20, 8, 8, 20, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 815 := rec( phi := [ 8, 20, 8, 8, 20, 20, 8, 20, 8, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 816 := rec( phi := [ 8, 20, 8, 8, 20, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 817 := rec( phi := [ 8, 20, 8, 20, 8, 8, 8, 8, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 818 := rec( phi := [ 8, 20, 8, 20, 8, 8, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 819 := rec( phi := [ 8, 20, 8, 20, 8, 8, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 820 := rec( phi := [ 8, 20, 8, 20, 8, 20, 8, 8, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 20 ] ), 821 := rec( phi := [ 8, 20, 8, 20, 8, 20, 8, 20, 20, 8, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 14, 15, 16, 20 ] ), 822 := rec( phi := [ 8, 20, 8, 20, 8, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 5, 6, 7, 14, 15, 16, 17, 18, 19, 20 ] ), 823 := rec( phi := [ 8, 20, 8, 20, 20, 20, 8, 20, 20, 20, 8, 20 ], autos_yielding_iso_nrs := [ 3, 4, 20 ] ), 824 := rec( phi := [ 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20 ], autos_yielding_iso_nrs := [ 20 ] ) ) ); [zur Elbe Produktseite wechseln0.68QuellennavigatorsAnalyse erneut starten2026-04-27] |
2026-05-26