Quelle  nr12_3.3.nr   Sprache: unbekannt

NR_D12_3 := 
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(
      10001 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10002 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10003 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10004 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10005 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10006 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10007 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 2, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10008 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 2, 4, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10009 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 4, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10010 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 4, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10011 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 2, 4, 4, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10012 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10013 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10014 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10015 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10016 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10017 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10018 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10019 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10020 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10021 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10022 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 4, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10023 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10024 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10025 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10026 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10027 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10028 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10029 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10030 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10031 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10032 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10033 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10034 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10035 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 2, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10036 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 4, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10037 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 4, 4, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10038 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10039 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10040 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10041 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10042 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10043 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10044 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10045 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10046 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10047 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10048 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 4, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10049 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 4, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10050 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10051 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10052 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10053 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10054 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10055 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10056 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10057 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10058 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10059 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10060 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 4, 7, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10061 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10062 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10063 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10064 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10065 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10066 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10067 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10068 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10069 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10070 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 4, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10071 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10072 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10073 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10074 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10075 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10076 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10077 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10078 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10079 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10080 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10081 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 1, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10082 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10083 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10084 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10085 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10086 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10087 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10088 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10089 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10090 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10091 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 4, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10092 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10093 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10094 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10095 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10096 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10097 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10098 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10099 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10100 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10101 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10102 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10103 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10104 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10105 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10106 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10107 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10108 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10109 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10110 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10111 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10112 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10113 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10114 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10115 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10116 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10117 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10118 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10119 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10120 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10121 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10122 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 4, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10123 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10124 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10125 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10126 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10127 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10128 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10129 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10130 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10131 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10132 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 4, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10133 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10134 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10135 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10136 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10137 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10138 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10139 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10140 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10141 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10142 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10143 := rec(
          phi := [ 1, 1, 1, 4, 1, 2, 7, 7, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10144 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10145 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10146 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10147 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10148 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10149 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10150 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10151 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10152 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10153 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10154 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10155 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10156 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10157 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10158 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10159 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10160 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      10161 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10162 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10163 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10164 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10165 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 2, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10166 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 1, 4, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10167 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10168 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10169 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10170 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10171 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10172 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10173 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10174 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10175 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10176 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10177 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10178 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10179 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10180 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10181 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10182 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10183 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 17, 26, 35, 52, 57, 64 ] ),
      10184 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10185 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10186 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10187 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10188 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 2, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10189 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 4, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10190 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 2, 4, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10191 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10192 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10193 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10194 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10195 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10196 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10197 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10198 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10199 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10200 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10201 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10202 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10203 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10204 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10205 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10206 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10207 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10208 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10209 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10210 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10211 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 4, 4, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10212 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10213 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10214 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10215 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10216 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 2, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10217 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10218 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10219 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10220 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10221 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10222 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10223 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10224 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10225 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10226 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10227 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10228 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10229 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10230 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 2, 7, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10231 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10232 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10233 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10234 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10235 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10236 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10237 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10238 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10239 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10240 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10241 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10242 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10243 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10244 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10245 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10246 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10247 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10248 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10249 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10250 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 1, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10251 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10252 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10253 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10254 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10255 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10256 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10257 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10258 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10259 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10260 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10261 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10262 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10263 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10264 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10265 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10266 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10267 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10268 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10269 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10270 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 2, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10271 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 2, 4, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10272 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10273 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10274 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10275 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10276 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10277 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10278 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10279 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10280 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10281 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10282 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10283 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10284 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10285 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10286 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10287 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10288 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10289 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 4, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10290 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10291 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10292 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10293 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 2, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10294 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10295 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10296 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10297 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10298 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10299 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10300 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10301 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10302 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10303 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10304 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10305 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10306 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10307 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10308 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 4, 7, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10309 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10310 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10311 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10312 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10313 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10314 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10315 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10316 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10317 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10318 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10319 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10320 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10321 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10322 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10323 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10324 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10325 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 1, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10326 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10327 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10328 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10329 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10330 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10331 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10332 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10333 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10334 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10335 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10336 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10337 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10338 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10339 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10340 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10341 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10342 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 2, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10343 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10344 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10345 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10346 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10347 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10348 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10349 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10350 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10351 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10352 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10353 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10354 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 7, 2, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10355 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 7, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10356 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 7, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10357 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 7, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10358 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 4, 1, 7, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10359 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 1, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10360 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 1, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10361 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 1, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10362 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 2, 2, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 28, 38, 64 ] ),
      10363 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 2, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10364 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 2, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10365 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 2, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10366 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 4, 7, 1 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10367 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 4, 7, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10368 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 4, 7, 4 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10369 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 4, 7, 7 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10370 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 7, 2, 2 ],
          autos_yielding_iso_nrs := [ 15, 17, 19, 26, 28, 35, 38, 52, 55, 57, 62, 64 ] ),
      10371 := rec(
          phi := [ 1, 1, 1, 4, 1, 4, 7, 7, 1, 7, 2, 4 ],
--> --------------------

--> maximum size reached

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