tests/iscc/count/decomposition1

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