#Processed by EYE v20.1020.2137 josd
#eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/seq . http://josd.github.io/eye/reasoning/seq/seq_components.n3 --query http://josd.github.io/eye/reasoning/seq/seq_query.n3

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

(1 2 3 4 6 9 10 11 13) seq:answer "1-4, 6, 9-11, 13".

#2020-10-23T20:17:16.150Z in=7 out=1 ent=1 step=1 brake=1 inf=28453 sec=0.028 inf/sec=1016179
#ENDS

