\begin{verbatim}

 lparse block2-2-1.sm | smodels
 smodels version 2.25. Reading...done
 Answer: 1
 Stable Model:

 occurs(a,1)

 True

 Duration: 0.010
 Number of choice points: 0
 Number of wrong choices: 0
 Number of atoms: 68
 Number of rules: 61
 Number of picked atoms: 0
 Number of forced atoms: 0
 Number of truth assignments: 56
 Size of searchspace (removed): 0 (0)

\end{verbatim}