tests/iscc/count/decomposition15

   1 P :=
   2 7 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 1   0   0  -1   1
   9 1   0  -1   0   3
  10
  11 ;
  12 assert((card P) = { 8 });