Quelle  nr12_3.6.nr   Sprache: unbekannt

NR_D12_6 := 
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(
      25001 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 6, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25002 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 6, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25003 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25004 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 8, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25005 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 8, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25006 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 8, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25007 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25008 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 64, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25009 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 64, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25010 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 64, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25011 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 8, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25012 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25013 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25014 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25015 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25016 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25017 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25018 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25019 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25020 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25021 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25022 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25023 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25024 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25025 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25026 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25027 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25028 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25029 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25030 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25031 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25032 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25033 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25034 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25035 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25036 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25037 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25038 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25039 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25040 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25041 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25042 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25043 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25044 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25045 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25046 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25047 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25048 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25049 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25050 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25051 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25052 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25053 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25054 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25055 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25056 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25057 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25058 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25059 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25060 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25061 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25062 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25063 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25064 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25065 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25066 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25067 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25068 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25069 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25070 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25071 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25072 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25073 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25074 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25075 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25076 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25077 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25078 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25079 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25080 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25081 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25082 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25083 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25084 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25085 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25086 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25087 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25088 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25089 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25090 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25091 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      25092 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25093 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25094 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25095 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25096 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25097 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25098 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25099 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25100 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25101 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25102 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25103 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25104 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25105 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25106 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25107 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25108 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25109 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25110 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25111 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25112 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25113 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 8, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25114 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 8, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25115 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 8, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25116 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25117 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25118 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25119 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25120 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25121 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25122 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25123 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25124 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25125 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25126 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25127 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25128 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25129 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25130 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25131 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25132 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25133 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25134 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25135 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25136 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25137 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25138 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      25139 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25140 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25141 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25142 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25143 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25144 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25145 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25146 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25147 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25148 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25149 := rec(
          phi := [ 1, 1, 3, 64, 4, 1, 64, 64, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25150 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25151 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25152 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25153 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25154 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25155 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25156 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25157 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25158 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25159 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25160 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25161 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25162 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25163 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25164 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25165 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25166 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25167 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25168 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25169 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25170 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25171 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25172 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25173 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25174 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25175 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25176 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25177 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25178 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25179 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25180 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25181 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25182 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25183 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25184 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25185 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25186 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25187 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25188 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25189 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25190 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25191 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25192 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25193 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25194 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25195 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25196 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25197 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25198 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25199 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25200 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25201 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25202 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25203 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25204 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25205 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25206 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25207 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25208 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25209 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25210 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25211 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25212 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25213 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25214 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25215 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25216 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25217 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25218 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25219 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25220 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25221 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25222 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25223 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25224 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25225 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25226 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25227 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25228 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25229 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25230 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25231 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25232 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25233 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25234 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25235 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25236 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25237 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25238 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25239 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25240 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 3, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25241 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25242 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 6, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25243 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 6, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25244 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 6, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25245 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25246 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 64, 6 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25247 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25248 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 6, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25249 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 8, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25250 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 8, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25251 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 8, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25252 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 8, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25253 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25254 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25255 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25256 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25257 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25258 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25259 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25260 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25261 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25262 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25263 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25264 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25265 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25266 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25267 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25268 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25269 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25270 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25271 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25272 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25273 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25274 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25275 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25276 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25277 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25278 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25279 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25280 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25281 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25282 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25283 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25284 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 3, 64, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25285 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 1, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25286 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 1, 4, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25287 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 1, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25288 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25289 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25290 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25291 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25292 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25293 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25294 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25295 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25296 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25297 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25298 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25299 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25300 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25301 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25302 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25303 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25304 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25305 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25306 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25307 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25308 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25309 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25310 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25311 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25312 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25313 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25314 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25315 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25316 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25317 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25318 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25319 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25320 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25321 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25322 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25323 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25324 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25325 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25326 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25327 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25328 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25329 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25330 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25331 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25332 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25333 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25334 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25335 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25336 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 3, 7, 7, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25337 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25338 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25339 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25340 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25341 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25342 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25343 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25344 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25345 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25346 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 1, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25347 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25348 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25349 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25350 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25351 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25352 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25353 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25354 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25355 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 64, 8 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25356 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 4, 4, 64, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25357 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 3, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25358 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 3, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25359 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 3, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25360 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 5, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25361 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 5, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25362 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 5, 64 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25363 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 64, 3 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25364 := rec(
          phi := [ 1, 1, 3, 64, 4, 4, 5, 5, 7, 1, 64, 5 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      25365 := rec(
--> --------------------

--> maximum size reached

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