Ideone.com

download

different(red, green). different(red, blue). different(red, yel).
different(green, red). different(green, blue). different(green, yel).
different(blue, red). different(blue, green). different(blue, yel).
different(yel, red). different(yel, green). different(yel, blue).
coloring(BaWue, RhePfa, Saa, NordWes, Nie, Bre, SchleHol, Ham, MeVo, Bra, Ber, Sach, SaAn, Th, He, Ba) :- 
different(BaWue,Ba), different(BaWue,RhePfa), different(BaWue,He), different(RhePfa,Saa), different(RhePfa,He), 
different(RhePfa,NordWes), different(NordWes,He), different(NordWes,Nie), different(Nie,Bre), different(Nie,SchleHol), 
different(Nie,Ham), different(Nie,SaAn), different(Nie,Th), different(Nie,MeVo), different(Nie,Bra), 
different(MeVo,SchleHol), different(MeVo,Bra), different(MeVo,SaAn), different(Bra,SaAn), different(Bra,Ber), 
different(Bra,Sach), different(SaAn,Sach), different(SaAn,Th), different(Sach,Th), different(Sach,Ba), 
different(Th,He), different(Th,Ba), different(SchleHol, Ham).

Runtime error #stdin #stdout 0.03s 68352KB

stdin

coloring(BaWue, RhePfa, Saa, NordWes, Nie, Bre, SchleHol, Ham, MeVo, Bra, Ber, Sach, SaAn, Th, He, Ba).

stdout

GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz

Ba = green
BaWue = red
Ber = red
Bra = yel
Bre = red
Ham = blue
He = blue
MeVo = blue
Nie = green
NordWes = red
RhePfa = green
SaAn = red
Saa = red
Sach = blue
SchleHol = red
Th = yel ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action (; for next solution, a for all solutions, RET to stop) ? 
Action

https://ideone.com/Md1BWi

language:

Prolog (gprolog 1.4.5)

created:

visibility:

secret

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language