Quelle  nr12_3.2.nr   Sprache: unbekannt

NR_D12_2 := 
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(
      5001 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 1, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5002 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 1, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5003 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 1, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5004 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 1, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5005 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5006 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5007 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 2, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5008 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 2, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5009 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5010 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5011 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5012 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5013 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 7, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5014 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 7, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5015 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5016 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5017 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5018 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5019 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 1, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5020 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 1, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5021 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 1, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5022 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 1, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5023 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5024 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5025 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 2, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5026 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 2, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5027 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5028 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5029 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5030 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5031 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 7, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5032 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 7, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5033 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5034 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5035 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5036 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 2, 7, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5037 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 1, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5038 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 1, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5039 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 1, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5040 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 1, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5041 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5042 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5043 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 2, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5044 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 2, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5045 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5046 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5047 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5048 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5049 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 7, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5050 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 7, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5051 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5052 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5053 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5054 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 1, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5055 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 1, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5056 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 1, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5057 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 1, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5058 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 1, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5059 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5060 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5061 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 2, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5062 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 2, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5063 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5064 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5065 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5066 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5067 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 7, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5068 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 7, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5069 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5070 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5071 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5072 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5073 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 1, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5074 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 1, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5075 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 1, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5076 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 1, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5077 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5078 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5079 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 2, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5080 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 2, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5081 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5082 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5083 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5084 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5085 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 7, 1, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5086 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 7, 1, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5087 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5088 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5089 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5090 := rec(
          phi := [ 1, 1, 1, 1, 7, 7, 7, 7, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5091 := rec(
          phi := [ 1, 1, 1, 1, 7, 14, 1, 1, 1, 1, 14, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5092 := rec(
          phi := [ 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 14 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
      5093 := rec(
          phi := [ 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 34 ],
          autos_yielding_iso_nrs := [ 15, 19, 64 ] ),
      5094 := rec(
          phi := [ 1, 1, 1, 1, 14, 1, 1, 1, 1, 1, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
      5095 := rec(
          phi := [ 1, 1, 1, 1, 14, 2, 1, 1, 1, 1, 2, 14 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5096 := rec(
          phi := [ 1, 1, 1, 1, 14, 7, 1, 1, 1, 1, 7, 14 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5097 := rec(
          phi := [ 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 14, 14 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5098 := rec(
          phi := [ 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 14, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5099 := rec(
          phi := [ 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 64, 14 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5100 := rec(
          phi := [ 1, 1, 1, 1, 14, 14, 1, 1, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5101 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5102 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5103 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5104 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5105 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5106 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5107 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5108 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5109 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5110 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5111 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5112 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5113 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5114 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5115 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5116 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5117 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5118 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5119 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5120 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5121 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5122 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5123 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5124 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 1, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5125 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5126 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5127 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5128 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5129 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5130 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5131 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5132 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5133 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5134 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5135 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5136 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5137 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5138 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5139 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5140 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5141 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5142 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5143 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5144 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5145 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5146 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5147 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5148 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 16, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5149 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5150 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5151 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5152 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5153 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5154 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5155 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5156 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5157 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5158 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5159 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5160 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5161 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5162 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5163 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5164 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5165 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5166 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5167 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5168 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5169 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5170 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5171 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5172 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 1, 32, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5173 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 1, 1, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5174 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 1, 1, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5175 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 1, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5176 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 1, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5177 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 16, 1, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5178 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 16, 1, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5179 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 16, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5180 := rec(
          phi := [ 1, 1, 1, 1, 16, 1, 16, 16, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5181 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5182 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5183 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5184 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5185 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5186 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5187 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5188 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5189 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5190 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5191 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5192 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5193 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5194 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5195 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5196 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5197 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5198 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5199 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5200 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5201 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5202 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5203 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5204 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 1, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5205 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5206 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5207 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5208 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5209 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5210 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5211 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5212 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5213 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5214 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5215 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5216 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5217 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5218 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5219 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5220 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5221 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5222 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5223 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5224 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5225 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5226 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5227 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5228 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 16, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5229 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5230 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5231 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5232 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5233 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5234 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5235 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5236 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5237 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5238 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5239 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5240 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5241 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5242 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5243 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5244 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5245 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5246 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5247 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5248 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5249 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5250 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5251 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5252 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 1, 32, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5253 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 1, 1, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5254 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 1, 1, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5255 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 1, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5256 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 1, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5257 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 16, 1, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5258 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 16, 1, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5259 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 16, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5260 := rec(
          phi := [ 1, 1, 1, 1, 16, 16, 16, 16, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5261 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5262 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5263 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5264 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5265 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5266 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5267 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5268 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5269 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5270 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5271 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5272 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5273 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5274 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5275 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5276 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5277 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5278 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5279 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5280 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5281 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5282 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5283 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5284 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 1, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5285 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5286 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5287 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5288 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5289 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5290 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5291 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5292 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5293 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5294 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5295 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5296 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5297 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5298 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5299 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5300 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5301 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5302 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5303 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5304 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5305 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5306 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5307 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5308 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 16, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5309 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5310 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5311 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5312 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5313 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5314 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5315 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5316 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5317 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5318 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5319 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5320 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5321 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5322 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5323 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5324 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5325 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5326 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5327 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5328 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5329 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5330 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5331 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5332 := rec(
          phi := [ 1, 1, 1, 1, 16, 32, 1, 32, 32, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5333 := rec(
          phi := [ 1, 1, 1, 1, 17, 1, 1, 1, 1, 1, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 35, 64 ] ),
      5334 := rec(
          phi := [ 1, 1, 1, 1, 17, 1, 17, 1, 64, 1, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5335 := rec(
          phi := [ 1, 1, 1, 1, 17, 1, 64, 1, 17, 1, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5336 := rec(
          phi := [ 1, 1, 1, 1, 17, 17, 1, 1, 1, 64, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5337 := rec(
          phi := [ 1, 1, 1, 1, 17, 17, 17, 1, 64, 64, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5338 := rec(
          phi := [ 1, 1, 1, 1, 17, 17, 64, 1, 17, 64, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5339 := rec(
          phi := [ 1, 1, 1, 1, 17, 64, 17, 1, 64, 17, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5340 := rec(
          phi := [ 1, 1, 1, 1, 17, 64, 64, 1, 17, 17, 1, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5341 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5342 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5343 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5344 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5345 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5346 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5347 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5348 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5349 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5350 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5351 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 32, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5352 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 16, 32, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5353 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 1, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5354 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 1, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5355 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 1, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5356 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 1, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5357 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 16, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5358 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 16, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5359 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 16, 32, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5360 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 16, 32, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5361 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 32, 16, 16 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5362 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 32, 16, 32 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      5363 := rec(
          phi := [ 1, 1, 1, 1, 32, 1, 1, 1, 32, 32, 32, 16 ],
--> --------------------

--> maximum size reached

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