tests/iscc/count/dependence

   1 P :=
   2 25 14
   3  1 0 0 0 -1 0 0 0 0 0 0 0 0 8
   4  1 -1 0 0 0 0 0 0 0 0 0 0 0 10
   5  1 0 1 0 0 0 0 0 0 0 0 0 0 0
   6  1 0 0 0 0 -1 0 0 0 0 0 0 0 3
   7  1 0 0 0 0 0 -1 0 0 0 0 0 0 3
   8  1 0 0 1 0 0 0 0 0 0 0 0 0 0
   9  1 0 0 -1 0 0 0 0 0 0 0 0 0 8
  10  1 0 -1 0 0 0 0 0 0 0 0 0 0 8
  11  1 0 0 0 0 0 1 0 0 0 0 0 0 0
  12  1 0 0 0 1 0 0 0 0 0 0 0 0 0
  13  1 0 0 0 0 1 0 0 0 0 0 0 0 0
  14  1 1 0 0 0 0 0 0 0 0 0 0 0 0
  15  1 0 0 0 0 0 0 0 0 0 -1 0 0 8
  16  1 0 0 0 0 0 0 -1 0 0 0 0 0 10
  17  1 0 0 0 0 0 0 0 1 0 0 0 0 0
  18  1 0 0 0 0 0 0 0 0 0 0 -1 0 3
  19  1 0 0 0 0 0 0 0 0 0 0 0 -1 3
  20  1 0 0 0 0 0 0 0 0 1 0 0 0 0
  21  1 0 0 0 0 0 0 0 0 -1 0 0 0 8
  22  1 0 0 0 0 0 0 0 -1 0 0 0 0 8
  23  1 0 0 0 0 0 0 0 0 0 0 0 1 0
  24  1 0 0 0 0 0 0 0 0 0 1 0 0 0
  25  1 0 0 0 0 0 0 0 0 0 0 1 0 0
  26  1 0 0 0 0 0 0 1 0 0 0 0 0 0
  27  1 -1 0 0 0 0 0 1 0 0 0 0 0 -1
  28 ;
  29 assert((card P) = { 7482689280 });