Quelle  nr12_3.7.nr   Sprache: unbekannt

NR_D12_7 := 
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(
      30001 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30002 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30003 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30004 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 6, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30005 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30006 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30007 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30008 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30009 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30010 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30011 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30012 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30013 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30014 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30015 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30016 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30017 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30018 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30019 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30020 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30021 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30022 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30023 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30024 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30025 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30026 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30027 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30028 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30029 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30030 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30031 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30032 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30033 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30034 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30035 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30036 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30037 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30038 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30039 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30040 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30041 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30042 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30043 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 8, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30044 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30045 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30046 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30047 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30048 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30049 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30050 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30051 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30052 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30053 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30054 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30055 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30056 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30057 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30058 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30059 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30060 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30061 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30062 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30063 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30064 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30065 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30066 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30067 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30068 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30069 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30070 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30071 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30072 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30073 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30074 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30075 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30076 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30077 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30078 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30079 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30080 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30081 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30082 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30083 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30084 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30085 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30086 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30087 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30088 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30089 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30090 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30091 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30092 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30093 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30094 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30095 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30096 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30097 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30098 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30099 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30100 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30101 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30102 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30103 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30104 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30105 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30106 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30107 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30108 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30109 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30110 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30111 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30112 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30113 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30114 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30115 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30116 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30117 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30118 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30119 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30120 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30121 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30122 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30123 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30124 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30125 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30126 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30127 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30128 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30129 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30130 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30131 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30132 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30133 := rec(
          phi := [ 1, 2, 3, 3, 2, 7, 64, 64, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30134 := rec(
          phi := [ 1, 2, 3, 3, 2, 14, 5, 6, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30135 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30136 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30137 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30138 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30139 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30140 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30141 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30142 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30143 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30144 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30145 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30146 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30147 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30148 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30149 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30150 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30151 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30152 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 2, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30153 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30154 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30155 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30156 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30157 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30158 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30159 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30160 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30161 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30162 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30163 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30164 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30165 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30166 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30167 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30168 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30169 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30170 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30171 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30172 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30173 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      30174 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30175 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30176 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30177 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30178 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30179 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30180 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30181 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30182 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30183 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30184 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30185 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30186 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30187 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30188 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30189 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30190 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30191 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30192 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30193 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30194 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30195 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30196 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30197 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30198 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30199 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30200 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30201 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30202 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30203 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30204 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30205 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30206 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30207 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30208 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30209 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30210 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30211 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30212 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30213 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30214 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30215 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30216 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30217 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30218 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30219 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30220 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30221 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30222 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30223 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30224 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30225 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30226 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30227 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30228 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30229 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30230 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30231 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30232 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30233 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30234 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30235 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30236 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 2, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30237 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30238 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30239 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30240 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30241 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30242 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30243 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30244 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30245 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30246 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30247 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30248 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30249 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30250 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30251 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30252 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30253 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30254 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30255 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30256 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30257 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30258 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30259 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30260 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30261 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30262 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30263 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30264 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30265 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30266 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30267 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30268 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30269 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30270 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30271 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30272 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30273 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30274 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30275 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      30276 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30277 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30278 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30279 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30280 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30281 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30282 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30283 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30284 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30285 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30286 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30287 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30288 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30289 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30290 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30291 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30292 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30293 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30294 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30295 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30296 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30297 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30298 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30299 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30300 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30301 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30302 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30303 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30304 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30305 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30306 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30307 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30308 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30309 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30310 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30311 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30312 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30313 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30314 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30315 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30316 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30317 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30318 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30319 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30320 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30321 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30322 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30323 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30324 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30325 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30326 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30327 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30328 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30329 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30330 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30331 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30332 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 2, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30333 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30334 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30335 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30336 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30337 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30338 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30339 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30340 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 4, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30341 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30342 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30343 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 1, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30344 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30345 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30346 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 2, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30347 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30348 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30349 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 4, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30350 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30351 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 7, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30352 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 7, 8, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30353 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30354 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30355 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30356 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30357 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30358 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30359 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30360 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30361 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30362 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30363 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30364 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30365 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30366 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30367 := rec(
          phi := [ 1, 2, 3, 3, 4, 1, 3, 64, 2, 4, 3, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      30368 := rec(
--> --------------------

--> maximum size reached

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