fork download
  1.  
  2. min(Number1, Number2, Number1) :- Number1 =< Number2.
  3. min(Number1, Number2, Number2) :- Number1 > Number2.
  4.  
  5. smallest([Head|Tail], Min) :-
  6. smallest(Tail, Head, Min).
  7.  
  8. smallest([], Min, Min).
  9. smallest([Head|Tail], Min0, Min) :-
  10. min(Head, Min0, Min1),
  11. smallest(Tail, Min1, Min).
Runtime error #stdin #stdout 0.01s 68352KB
stdin
smallest([1], What).
smallest([0,2], What).
smallest([4,20,0,2], What).

smallest([1], 1).
smallest([0,2], 0).
stdout
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz

What = 1

yes

What = 0

yes

What = 0 ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next