distr/dddmp/exp/4bis.bdd

   1 .ver DDDMP-2.0
   2 .mode A
   3 .varinfo 3
   4 .nnodes 35
   5 .nvars 50
   6 .nsuppvars 15
   7 .ids 1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
   8 .permids 1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
   9 .nroots 1
  10 .rootids -35
  11 .nodes
  12 1 1 0 0
  13 2 14 1 -1
  14 3 13 1 2
  15 4 12 3 1
  16 5 12 1 -1
  17 6 12 2 1
  18 7 11 5 -6
  19 8 13 1 -1
  20 9 12 8 1
  21 10 11 9 4
  22 11 10 7 -10
  23 12 9 1 -11
  24 13 10 5 -9
  25 14 9 1 -13
  26 15 8 12 14
  27 16 9 1 -7
  28 17 9 1 -5
  29 18 8 16 17
  30 19 7 15 18
  31 20 6 19 1
  32 21 7 14 17
  33 22 6 21 1
  34 23 5 20 22
  35 24 4 23 1
  36 25 6 18 1
  37 26 5 20 25
  38 27 4 26 1
  39 28 3 24 27
  40 29 5 20 1
  41 30 4 29 1
  42 31 4 20 1
  43 32 3 30 31
  44 33 2 28 32
  45 34 1 4 33
  46 35 0 1 34
  47 .end