tests/iscc/count/decomposition6

   1 P :=
   2 7 5
   3 1   2   1  -2  -1
   4 1   0   0   1   0
   5 1  -1   0   1   1
   6 1   0   0  -1   1
   7 1   0  -1   0   1
   8 1   1   0   0  -1
   9 1   0   1   0   0
  10
  11 ;
  12 assert((card P) = { 5 });