Quelle  nr12_3.9.nr   Sprache: unbekannt

NR_D12_9 := 
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(
      40001 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40002 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40003 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40004 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40005 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40006 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40007 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40008 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40009 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40010 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40011 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40012 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40013 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40014 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40015 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40016 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40017 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40018 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40019 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40020 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40021 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40022 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40023 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40024 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40025 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40026 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40027 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40028 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40029 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40030 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40031 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40032 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40033 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40034 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40035 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40036 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40037 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40038 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40039 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40040 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40041 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40042 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40043 := rec(
          phi := [ 1, 2, 3, 64, 7, 7, 64, 64, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40044 := rec(
          phi := [ 1, 2, 3, 64, 14, 14, 5, 6, 7, 14, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
      40045 := rec(
          phi := [ 1, 2, 5, 5, 2, 1, 5, 5, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40046 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40047 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40048 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40049 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40050 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40051 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40052 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40053 := rec(
          phi := [ 1, 2, 5, 5, 2, 1, 5, 6, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40054 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40055 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40056 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40057 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40058 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40059 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40060 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40061 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40062 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40063 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40064 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40065 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40066 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40067 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40068 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40069 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40070 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40071 := rec(
          phi := [ 1, 2, 5, 5, 2, 1, 5, 64, 2, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40072 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40073 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40074 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40075 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40076 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40077 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40078 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40079 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40080 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40081 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40082 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 5, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40083 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40084 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40085 := rec(
          phi := [ 1, 2, 5, 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 ] ),
      40086 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40087 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40088 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40089 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40090 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40091 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40092 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40093 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40094 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40095 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40096 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40097 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40098 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40099 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40100 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40101 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40102 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40103 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40104 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40105 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40106 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 5, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40107 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40108 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40109 := rec(
          phi := [ 1, 2, 5, 5, 2, 2, 5, 64, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40110 := rec(
          phi := [ 1, 2, 5, 5, 2, 14, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40111 := rec(
          phi := [ 1, 2, 5, 5, 14, 1, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40112 := rec(
          phi := [ 1, 2, 5, 5, 14, 2, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40113 := rec(
          phi := [ 1, 2, 5, 5, 14, 14, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40114 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40115 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40116 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 6, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40117 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40118 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40119 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40120 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40121 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40122 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40123 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40124 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 6, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40125 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40126 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40127 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40128 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40129 := rec(
          phi := [ 1, 2, 5, 6, 2, 1, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40130 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40131 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40132 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40133 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40134 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40135 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40136 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40137 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40138 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40139 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 6, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40140 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40141 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40142 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40143 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40144 := rec(
          phi := [ 1, 2, 5, 6, 2, 2, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40145 := rec(
          phi := [ 1, 2, 5, 6, 2, 14, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40146 := rec(
          phi := [ 1, 2, 5, 6, 14, 1, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40147 := rec(
          phi := [ 1, 2, 5, 6, 14, 2, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40148 := rec(
          phi := [ 1, 2, 5, 6, 14, 14, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40149 := rec(
          phi := [ 1, 2, 5, 12, 2, 1, 5, 12, 2, 1, 12, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40150 := rec(
          phi := [ 1, 2, 5, 12, 2, 1, 5, 12, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40151 := rec(
          phi := [ 1, 2, 5, 15, 2, 1, 5, 5, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40152 := rec(
          phi := [ 1, 2, 5, 15, 2, 1, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40153 := rec(
          phi := [ 1, 2, 5, 15, 2, 1, 5, 12, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40154 := rec(
          phi := [ 1, 2, 5, 15, 2, 2, 5, 5, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40155 := rec(
          phi := [ 1, 2, 5, 15, 2, 2, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40156 := rec(
          phi := [ 1, 2, 5, 15, 2, 14, 5, 6, 2, 11, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40157 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40158 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40159 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40160 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40161 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40162 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 5, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40163 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40164 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40165 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40166 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40167 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40168 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40169 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40170 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40171 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40172 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40173 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40174 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40175 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40176 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40177 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 12, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40178 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40179 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40180 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40181 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40182 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40183 := rec(
          phi := [ 1, 2, 5, 64, 2, 1, 5, 64, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40184 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40185 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40186 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40187 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40188 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 5, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40189 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40190 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40191 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40192 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40193 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40194 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40195 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40196 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40197 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40198 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40199 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40200 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40201 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40202 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40203 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40204 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40205 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 2, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40206 := rec(
          phi := [ 1, 2, 5, 64, 2, 2, 5, 64, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40207 := rec(
          phi := [ 1, 2, 5, 64, 2, 14, 5, 6, 2, 14, 64, 5 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40208 := rec(
          phi := [ 1, 2, 5, 64, 14, 1, 5, 6, 2, 14, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40209 := rec(
          phi := [ 1, 2, 5, 64, 14, 2, 5, 6, 2, 14, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40210 := rec(
          phi := [ 1, 2, 5, 64, 14, 14, 5, 6, 2, 14, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40211 := rec(
          phi := [ 1, 2, 6, 5, 2, 1, 5, 6, 2, 1, 5, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40212 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40213 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40214 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40215 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40216 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40217 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40218 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40219 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40220 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40221 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40222 := rec(
          phi := [ 1, 2, 6, 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 ] ),
      40223 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40224 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40225 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40226 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40227 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40228 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 5, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40229 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40230 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40231 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40232 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40233 := rec(
          phi := [ 1, 2, 6, 5, 2, 2, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40234 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40235 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40236 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40237 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40238 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40239 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40240 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40241 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40242 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40243 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40244 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40245 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40246 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40247 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40248 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40249 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40250 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40251 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40252 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40253 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40254 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40255 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40256 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40257 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40258 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40259 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40260 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40261 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40262 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40263 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 6, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40264 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40265 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40266 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40267 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40268 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40269 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40270 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40271 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40272 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40273 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40274 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40275 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40276 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40277 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40278 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40279 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40280 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40281 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40282 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40283 := rec(
          phi := [ 1, 2, 6, 6, 2, 1, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40284 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40285 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40286 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40287 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40288 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40289 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40290 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40291 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40292 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 5, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40293 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40294 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40295 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40296 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40297 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40298 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40299 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40300 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40301 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40302 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40303 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40304 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40305 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40306 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40307 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40308 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40309 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40310 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40311 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 6, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40312 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40313 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40314 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40315 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      40316 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40317 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40318 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40319 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40320 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40321 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40322 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40323 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40324 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40325 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40326 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40327 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40328 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40329 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40330 := rec(
          phi := [ 1, 2, 6, 6, 2, 2, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40331 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40332 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40333 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40334 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40335 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40336 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40337 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40338 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40339 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40340 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40341 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40342 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 6, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40343 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40344 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40345 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40346 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40347 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40348 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40349 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40350 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40351 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40352 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40353 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40354 := rec(
          phi := [ 1, 2, 6, 6, 2, 7, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40355 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40356 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40357 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40358 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40359 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 2, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40360 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 2, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40361 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40362 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40363 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 2, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40364 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 17, 64 ] ),
      40365 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
      40366 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 64 ] ),
      40367 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40368 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 2, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40369 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 2, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      40370 := rec(
          phi := [ 1, 2, 6, 6, 4, 1, 6, 6, 7, 2, 64, 6 ],
--> --------------------

--> maximum size reached

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