distr/dddmp/exp/2.bdd

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