distr/dddmp/exp/0or1.bdd

   1 .ver DDDMP-2.0
   2 .mode A
   3 .varinfo 0
   4 .nnodes 104
   5 .nvars 50
   6 .nsuppvars 16
   7 .suppvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY10 DUMMY11 DUMMY12 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22
   8 .orderedvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY5 DUMMY6 DUMMY7 DUMMY8 DUMMY9 DUMMY10 DUMMY11 DUMMY12 DUMMY13 DUMMY14 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24 DUMMY25 DUMMY26 DUMMY27 DUMMY28 DUMMY29 DUMMY30 DUMMY31 DUMMY32 DUMMY33 DUMMY34 DUMMY35 DUMMY36 DUMMY37 DUMMY38 DUMMY39 DUMMY40 DUMMY41 DUMMY42 DUMMY43 DUMMY44 DUMMY45 DUMMY46 DUMMY47 DUMMY48 DUMMY49
   9 .ids 0 1 2 3 4 10 11 12 15 16 17 18 19 20 21 22
  10 .permids 0 1 2 3 4 10 11 12 15 16 17 18 19 20 21 22
  11 .auxids 0 1 2 3 4 10 11 12 15 16 17 18 19 20 21 22
  12 .nroots 1
  13 .rootids -104
  14 .nodes
  15 1 T 1 0 0
  16 2 22 15 1 -1
  17 3 21 14 1 -2
  18 4 20 13 1 3
  19 5 19 12 1 4
  20 6 20 13 3 1
  21 7 21 14 1 2
  22 8 20 13 1 7
  23 9 19 12 6 8
  24 10 18 11 5 9
  25 11 17 10 1 10
  26 12 18 11 1 9
  27 13 17 10 1 12
  28 14 16 9 11 13
  29 15 20 13 7 -1
  30 16 21 14 2 -1
  31 17 20 13 16 -3
  32 18 19 12 15 -17
  33 19 21 14 2 1
  34 20 20 13 19 7
  35 21 19 12 6 20
  36 22 18 11 18 21
  37 23 17 10 1 22
  38 24 16 9 23 13
  39 25 18 11 18 9
  40 26 17 10 1 25
  41 27 16 9 26 13
  42 28 15 8 24 27
  43 29 12 7 28 27
  44 30 11 6 28 29
  45 31 11 6 28 27
  46 32 10 5 30 31
  47 33 4 4 14 32
  48 34 3 3 33 -1
  49 35 2 2 33 34
  50 36 19 12 1 8
  51 37 18 11 5 36
  52 38 17 10 1 37
  53 39 16 9 38 1
  54 40 19 12 1 20
  55 41 18 11 18 40
  56 42 17 10 1 41
  57 43 16 9 42 1
  58 44 18 11 18 36
  59 45 17 10 1 44
  60 46 16 9 45 1
  61 47 15 8 43 46
  62 48 12 7 47 46
  63 49 11 6 47 48
  64 50 11 6 47 46
  65 51 10 5 49 50
  66 52 4 4 39 51
  67 53 3 3 1 -52
  68 54 2 2 52 -53
  69 55 1 1 35 54
  70 56 20 13 16 -1
  71 57 21 14 1 -1
  72 58 20 13 1 57
  73 59 19 12 56 -58
  74 60 18 11 59 -9
  75 61 17 10 1 -60
  76 62 19 12 56 -8
  77 63 18 11 62 -9
  78 64 17 10 1 -63
  79 65 16 9 61 64
  80 66 21 14 2 -2
  81 67 20 13 66 1
  82 68 20 13 16 -57
  83 69 19 12 67 68
  84 70 18 11 69 -21
  85 71 17 10 1 -70
  86 72 16 9 71 64
  87 73 18 11 69 -9
  88 74 17 10 1 -73
  89 75 16 9 74 64
  90 76 15 8 72 75
  91 77 12 7 76 75
  92 78 11 6 76 77
  93 79 11 6 76 75
  94 80 10 5 78 79
  95 81 4 4 65 80
  96 82 3 3 81 -1
  97 83 2 2 81 82
  98 84 18 11 59 -36
  99 85 17 10 1 -84
 100 86 18 11 62 -1
 101 87 17 10 1 -86
 102 88 16 9 85 87
 103 89 18 11 69 -40
 104 90 17 10 1 -89
 105 91 16 9 90 87
 106 92 18 11 69 -36
 107 93 17 10 1 -92
 108 94 16 9 93 87
 109 95 15 8 91 94
 110 96 12 7 95 94
 111 97 11 6 95 96
 112 98 11 6 95 94
 113 99 10 5 97 98
 114 100 4 4 88 99
 115 101 3 3 1 -100
 116 102 2 2 100 -101
 117 103 1 1 83 102
 118 104 0 0 55 103
 119 .end