#Processed by EYE v18.0417.2132 josd
#eye --nope --tactic limited-answer 1 http://eulersharp.sourceforge.net/2007/07test/tak.n3 --query http://eulersharp.sourceforge.net/2007/07test/takQ.n3

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test/tak#>.

(18 13 8) :tak 13 .

#2018-04-18T08:28:55.756Z in=16 out=1 ent=1 step=1 brake=1 inf=293922 sec=0.070 inf/sec=4198886
#ENDS

