\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: assg(b,16,1) assg(a,10,1) assg(b,15,2) assg(a,14,2) assg(b,10,3)
              assg(a,15,3) assg(b,31,4) assg(a,21,4) assg(c,24,1)

              sold_per_item(min,c,24) aggr(min,1,c,24)
              sold_per_item(count,c,1) aggr(count,1,c,1)
              sold_per_item(sum,c,24) aggr(sum,1,c,24)
              sold_per_item(min,b,10) aggr(min,1,b,16) aggr(min,2,b,15) aggr(min,3,b,10)
                                      aggr(min,4,b,10) aggr(count,1,b,1)
              sold_per_item(count,b,4) aggr(count,2,b,2) aggr(count,3,b,3) aggr(count,4,b,4)
                                       aggr(sum,1,b,16)
              sold_per_item(sum,b,72) aggr(sum,2,b,31) aggr(sum,3,b,41) aggr(sum,4,b,72)
              sold_per_item(min,a,10) aggr(min,1,a,10) aggr(min,2,a,10) aggr(min,3,a,10)
                                      aggr(min,4,a,10) aggr(count,1,a,1)
              sold_per_item(count,a,4) aggr(count,2,a,2) aggr(count,3,a,3)
                                       aggr(count,4,a,4) aggr(sum,1,a,10)
              sold_per_item(sum,a,60) aggr(sum,2,a,24) aggr(sum,3,a,39) aggr(sum,4,a,60)

              initialize(count,24,1) initialize(count,10,1) initialize(count,15,1)
              initialize(count,31,1) initialize(count,16,1) initialize(count,14,1)
              initialize(count,21,1) initialize(sum,24,24) initialize(sum,10,10)
              initialize(sum,15,15) initialize(sum,31,31) initialize(sum,16,16)
              initialize(sum,14,14) initialize(sum,21,21) initialize(min,24,24)
              initialize(min,10,10) initialize(min,15,15) initialize(min,31,31)
              initialize(min,16,16) initialize(min,14,14) initialize(min,21,21)

True
Duration: 1.675
Number of choice points: 7
Number of wrong choices: 0
Number of atoms: 24908
Number of rules: 35117
Number of picked atoms: 3594
Number of forced atoms: 235
Number of truth assignments: 77031
Size of searchspace (removed): 48 (8)

\end{verbatim}