distr/dddmp/exp/5.bdd

   1 .ver DDDMP-2.0
   2 .mode A
   3 .varinfo 0
   4 .nnodes 17
   5 .nvars 50
   6 .nsuppvars 6
   7 .suppvarnames DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24
   8 .ids 19 20 21 22 23 24
   9 .permids 19 20 21 22 23 24
  10 .auxids 19 20 21 22 23 24
  11 .nroots 1
  12 .rootids 17
  13 .nodes
  14 1 T 1 0 0
  15 2 24 5 1 -1
  16 3 23 4 1 -2
  17 4 22 3 3 -2
  18 5 21 2 4 -2
  19 6 23 4 1 -1
  20 7 22 3 6 -1
  21 8 21 2 7 -1
  22 9 20 1 5 8
  23 10 23 4 2 -1
  24 11 22 3 2 10
  25 12 21 2 11 2
  26 13 23 4 2 -2
  27 14 22 3 3 -13
  28 15 21 2 4 14
  29 16 20 1 12 15
  30 17 19 0 9 -16
  31 .end