#Processed by EYE v20.1020.2137 josd
#eye --no-genid --nope http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://josd.github.io/eye/reasoning#>.

3 :answer ((:left :right) (:left :center) (:right :center) (:left :right) (:center :left) (:center :right) (:left :right)).

#2020-10-23T20:16:33.599Z in=3 out=1 ent=1 step=2 brake=2 inf=19013 sec=0.028 inf/sec=679036
#ENDS

