distr/dddmp/exp/1.bdd

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