distr/dddmp/exp/s27deltaDddmp2.bdd

   1 .ver DDDMP-1.0
   2 .mode A
   3 .varinfo 0
   4 .dd s27adelta.bdd
   5 .nnodes 16
   6 .nvars 10
   7 .nsuppvars 7
   8 .orderedvarnames G0 G1 G2 G3 G5 G6 G7 TMP1 TMP2 TMP3
   9 .suppvarnames G0 G1 G2 G3 G5 G6 G7
  10 .ids 0 1 2 3 4 5 6
  11 .permids 0 1 2 3 4 6 8
  12 .auxids 0 1 2 3 4 5 6
  13 .nroots 3
  14 .rootids 6 -13 -16
  15 .nodes
  16 1 T 1 0 0
  17 2 6 6 1 -1
  18 3 4 4 1 2
  19 4 3 3 3 1
  20 5 1 1 1 4
  21 6 0 0 5 -1
  22 7 5 5 1 -1
  23 8 4 4 1 -7
  24 9 5 5 1 -2
  25 10 4 4 1 -9
  26 11 3 3 10 8
  27 12 1 1 8 11
  28 13 0 0 5 12
  29 14 2 2 1 -1
  30 15 2 2 1 -2
  31 16 1 1 14 15
  32 .end