Quelle  nr12_3.8.nr   Sprache: unbekannt

NR_D12_8 := 
rec(
  group_name := "D12",
  group_generators := [ (1,2,3,4,5,6), (2,6)(3,5) ],
  elements := rec(
      1 := (),
      2 := (2,6)(3,5),
      3 := (1,2)(3,6)(4,5),
      4 := (1,2,3,4,5,6),
      5 := (1,3)(4,6),
      6 := (1,3,5)(2,4,6),
      7 := (1,4)(2,3)(5,6),
      8 := (1,4)(2,5)(3,6),
      9 := (1,5)(2,4),
      10 := (1,5,3)(2,6,4),
      11 := (1,6,5,4,3,2),
      12 := (1,6)(2,5)(3,4) ),
  group_endomorphisms := rec(
      1 := [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ],
      2 := [ 1, 1, 2, 2, 1, 1, 2, 2, 1, 1, 2, 2 ],
      3 := [ 1, 1, 3, 3, 1, 1, 3, 3, 1, 1, 3, 3 ],
      4 := [ 1, 1, 5, 5, 1, 1, 5, 5, 1, 1, 5, 5 ],
      5 := [ 1, 1, 7, 7, 1, 1, 7, 7, 1, 1, 7, 7 ],
      6 := [ 1, 1, 8, 8, 1, 1, 8, 8, 1, 1, 8, 8 ],
      7 := [ 1, 1, 9, 9, 1, 1, 9, 9, 1, 1, 9, 9 ],
      8 := [ 1, 1, 12, 12, 1, 1, 12, 12, 1, 1, 12, 12 ],
      9 := [ 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 2, 1 ],
      10 := [ 1, 2, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2 ],
      11 := [ 1, 2, 5, 6, 9, 10, 2, 1, 5, 6, 10, 9 ],
      12 := [ 1, 2, 7, 8, 2, 1, 7, 8, 2, 1, 8, 7 ],
      13 := [ 1, 2, 8, 7, 2, 1, 8, 7, 2, 1, 7, 8 ],
      14 := [ 1, 2, 9, 10, 5, 6, 2, 1, 9, 10, 6, 5 ],
      15 := [ 1, 2, 12, 11, 9, 10, 7, 8, 5, 6, 4, 3 ],
      16 := [ 1, 3, 1, 3, 3, 1, 1, 3, 3, 1, 3, 1 ],
      17 := [ 1, 3, 2, 11, 12, 10, 9, 8, 7, 6, 4, 5 ],
      18 := [ 1, 3, 3, 1, 3, 1, 3, 1, 3, 1, 1, 3 ],
      19 := [ 1, 3, 5, 4, 7, 6, 9, 8, 12, 10, 11, 2 ],
      20 := [ 1, 3, 7, 6, 12, 10, 3, 1, 7, 6, 10, 12 ],
      21 := [ 1, 3, 8, 9, 3, 1, 8, 9, 3, 1, 9, 8 ],
      22 := [ 1, 3, 9, 8, 3, 1, 9, 8, 3, 1, 8, 9 ],
      23 := [ 1, 3, 12, 10, 7, 6, 3, 1, 12, 10, 6, 7 ],
      24 := [ 1, 5, 1, 5, 5, 1, 1, 5, 5, 1, 5, 1 ],
      25 := [ 1, 5, 2, 10, 9, 6, 5, 1, 2, 10, 6, 9 ],
      26 := [ 1, 5, 3, 11, 2, 10, 12, 8, 9, 6, 4, 7 ],
      27 := [ 1, 5, 5, 1, 5, 1, 5, 1, 5, 1, 1, 5 ],
      28 := [ 1, 5, 7, 4, 9, 6, 12, 8, 2, 10, 11, 3 ],
      29 := [ 1, 5, 8, 12, 5, 1, 8, 12, 5, 1, 12, 8 ],
      30 := [ 1, 5, 9, 6, 2, 10, 5, 1, 9, 6, 10, 2 ],
      31 := [ 1, 5, 12, 8, 5, 1, 12, 8, 5, 1, 8, 12 ],
      32 := [ 1, 7, 1, 7, 7, 1, 1, 7, 7, 1, 7, 1 ],
      33 := [ 1, 7, 2, 8, 7, 1, 2, 8, 7, 1, 8, 2 ],
      34 := [ 1, 7, 3, 10, 12, 6, 7, 1, 3, 10, 6, 12 ],
      35 := [ 1, 7, 5, 11, 3, 10, 2, 8, 12, 6, 4, 9 ],
      36 := [ 1, 7, 7, 1, 7, 1, 7, 1, 7, 1, 1, 7 ],
      37 := [ 1, 7, 8, 2, 7, 1, 8, 2, 7, 1, 2, 8 ],
      38 := [ 1, 7, 9, 4, 12, 6, 2, 8, 3, 10, 11, 5 ],
      39 := [ 1, 7, 12, 6, 3, 10, 7, 1, 12, 6, 10, 3 ],
      40 := [ 1, 8, 1, 8, 8, 1, 1, 8, 8, 1, 8, 1 ],
      41 := [ 1, 8, 2, 7, 8, 1, 2, 7, 8, 1, 7, 2 ],
      42 := [ 1, 8, 3, 9, 8, 1, 3, 9, 8, 1, 9, 3 ],
      43 := [ 1, 8, 5, 12, 8, 1, 5, 12, 8, 1, 12, 5 ],
      44 := [ 1, 8, 7, 2, 8, 1, 7, 2, 8, 1, 2, 7 ],
      45 := [ 1, 8, 8, 1, 8, 1, 8, 1, 8, 1, 1, 8 ],
      46 := [ 1, 8, 9, 3, 8, 1, 9, 3, 8, 1, 3, 9 ],
      47 := [ 1, 8, 12, 5, 8, 1, 12, 5, 8, 1, 5, 12 ],
      48 := [ 1, 9, 1, 9, 9, 1, 1, 9, 9, 1, 9, 1 ],
      49 := [ 1, 9, 2, 6, 5, 10, 9, 1, 2, 6, 10, 5 ],
      50 := [ 1, 9, 3, 8, 9, 1, 3, 8, 9, 1, 8, 3 ],
      51 := [ 1, 9, 5, 10, 2, 6, 9, 1, 5, 10, 6, 2 ],
      52 := [ 1, 9, 7, 11, 5, 10, 3, 8, 2, 6, 4, 12 ],
      53 := [ 1, 9, 8, 3, 9, 1, 8, 3, 9, 1, 3, 8 ],
      54 := [ 1, 9, 9, 1, 9, 1, 9, 1, 9, 1, 1, 9 ],
      55 := [ 1, 9, 12, 4, 2, 6, 3, 8, 5, 10, 11, 7 ],
      56 := [ 1, 12, 1, 12, 12, 1, 1, 12, 12, 1, 12, 1 ],
      57 := [ 1, 12, 2, 4, 3, 6, 5, 8, 7, 10, 11, 9 ],
      58 := [ 1, 12, 3, 6, 7, 10, 12, 1, 3, 6, 10, 7 ],
      59 := [ 1, 12, 5, 8, 12, 1, 5, 8, 12, 1, 8, 5 ],
      60 := [ 1, 12, 7, 10, 3, 6, 12, 1, 7, 10, 6, 3 ],
      61 := [ 1, 12, 8, 5, 12, 1, 8, 5, 12, 1, 5, 8 ],
      62 := [ 1, 12, 9, 11, 7, 10, 5, 8, 3, 6, 4, 2 ],
      63 := [ 1, 12, 12, 1, 12, 1, 12, 1, 12, 1, 1, 12 ],
      64 := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] ),
  classes := rec(
      35001 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35002 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35003 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35004 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35005 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35006 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35007 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35008 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35009 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35010 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35011 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35012 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35013 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35014 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35015 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35016 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35017 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35018 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35019 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35020 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35021 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35022 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35023 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35024 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 8, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35025 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 8, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35026 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 8, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35027 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 8, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35028 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 8, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35029 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35030 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35031 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35032 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35033 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35034 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35035 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35036 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35037 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35038 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35039 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35040 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35041 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35042 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35043 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35044 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35045 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35046 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35047 := rec(
          phi := [ 1, 2, 3, 3, 7, 7, 64, 64, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35048 := rec(
          phi := [ 1, 2, 3, 3, 7, 14, 5, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35049 := rec(
          phi := [ 1, 2, 3, 3, 14, 1, 5, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35050 := rec(
          phi := [ 1, 2, 3, 3, 14, 2, 5, 6, 7, 7, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
      35051 := rec(
          phi := [ 1, 2, 3, 3, 14, 7, 5, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35052 := rec(
          phi := [ 1, 2, 3, 3, 14, 14, 5, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35053 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35054 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35055 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35056 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35057 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35058 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35059 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35060 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35061 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35062 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35063 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35064 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35065 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35066 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35067 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35068 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35069 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35070 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35071 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35072 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35073 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35074 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35075 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35076 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35077 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35078 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35079 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35080 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35081 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35082 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35083 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35084 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35085 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35086 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35087 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35088 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35089 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35090 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35091 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35092 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35093 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35094 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35095 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35096 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35097 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35098 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35099 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35100 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35101 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35102 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35103 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35104 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35105 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35106 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35107 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 5, 8 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      35108 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35109 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35110 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35111 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35112 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35113 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35114 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35115 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35116 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35117 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35118 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35119 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35120 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35121 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35122 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35123 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35124 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35125 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35126 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35127 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35128 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35129 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35130 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35131 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35132 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35133 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35134 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35135 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35136 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35137 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35138 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35139 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35140 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35141 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35142 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35143 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35144 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35145 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35146 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35147 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35148 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 5, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35149 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35150 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35151 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35152 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35153 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35154 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35155 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35156 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35157 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 5, 8 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      35158 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35159 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35160 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35161 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35162 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35163 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35164 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35165 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35166 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35167 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35168 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35169 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35170 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35171 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35172 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35173 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35174 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35175 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35176 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35177 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35178 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35179 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35180 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35181 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35182 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35183 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35184 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35185 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35186 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35187 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35188 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35189 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35190 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35191 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35192 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35193 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35194 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35195 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35196 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35197 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35198 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35199 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35200 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35201 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35202 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35203 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35204 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35205 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35206 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35207 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35208 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35209 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35210 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35211 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35212 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35213 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35214 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35215 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35216 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35217 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35218 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35219 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35220 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35221 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35222 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35223 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35224 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35225 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35226 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35227 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35228 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35229 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35230 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35231 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35232 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35233 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35234 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35235 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35236 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35237 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35238 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35239 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35240 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35241 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35242 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35243 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35244 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35245 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35246 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35247 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35248 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35249 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35250 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35251 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 5, 8 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      35252 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35253 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35254 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35255 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35256 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35257 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35258 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35259 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35260 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35261 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35262 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35263 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35264 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35265 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35266 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35267 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35268 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35269 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35270 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35271 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35272 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35273 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35274 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35275 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35276 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35277 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35278 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35279 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35280 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35281 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35282 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35283 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35284 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35285 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35286 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35287 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35288 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35289 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35290 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35291 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35292 := rec(
          phi := [ 1, 2, 3, 5, 2, 1, 5, 64, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35293 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35294 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35295 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35296 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35297 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35298 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35299 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35300 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35301 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35302 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35303 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35304 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35305 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35306 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35307 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35308 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35309 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35310 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35311 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35312 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35313 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35314 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35315 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35316 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35317 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35318 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35319 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35320 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35321 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35322 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35323 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35324 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35325 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35326 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35327 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35328 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35329 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35330 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35331 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35332 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35333 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35334 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35335 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35336 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35337 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35338 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35339 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35340 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35341 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35342 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35343 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35344 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35345 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35346 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35347 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35348 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35349 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35350 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35351 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35352 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35353 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35354 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35355 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35356 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35357 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 5, 8 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      35358 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35359 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35360 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35361 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35362 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35363 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35364 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35365 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35366 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35367 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      35368 := rec(
          phi := [ 1, 2, 3, 5, 2, 2, 5, 5, 7, 1, 64, 5 ],
--> --------------------

--> maximum size reached

--> --------------------