#Processed by EYE v20.1020.2137 josd
#eye --no-genid --wcache http://josd.github.io/eye/reasoning/dqc . --no-distinct-input --nope http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3

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

1 dqc:sdcoding 1 .
3 dqc:sdcoding 3 .
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .

#2020-10-23T20:16:05.033Z in=25 out=4 ent=4 step=4 brake=2 inf=26788 sec=0.030 inf/sec=892933
#ENDS

