tests/iscc/count/decomposition5

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