
*** Yes
> > 
*** Yes
> 
*** Yes
> 
*** Yes
> *** Verbose mode is turned on.

*** Yes  [0.000s cpu, 80 goals, 15704 stack, 469096 heap]
*** Stack depths [0 goals, 0 choice points, 1 trail entry]
A = 15.
--1> 
