distr/dddmp/exp/s27deltaDddmp1.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 .varnames G0 G1 G2 G3 G5 G6 G7
   9 .ids 0 1 2 3 4 5 6
  10 .permids 0 1 2 3 4 6 8
  11 .auxids 0 1 2 3 4 5 6
  12 .nroots 3
  13 .rootids 6 -13 -16
  14 .nodes
  15 1 T 1 0 0
  16 2 6 6 1 -1
  17 3 4 4 1 2
  18 4 3 3 3 1
  19 5 1 1 1 4
  20 6 0 0 5 -1
  21 7 5 5 1 -1
  22 8 4 4 1 -7
  23 9 5 5 1 -2
  24 10 4 4 1 -9
  25 11 3 3 10 8
  26 12 1 1 8 11
  27 13 0 0 5 12
  28 14 2 2 1 -1
  29 15 2 2 1 -2
  30 16 1 1 14 15
  31 .end