@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix dqc: <http://josd.github.io/eye/reasoning/dqc#>.

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

