/test/sort/
../
GOPS.nq
GOSP.nq
GPSO.nq
GSOP.nq
GSPO.nq
OPS.nq
OSP.nq
POS.nq
PSO.nq
SOP.nq
SPO.nq
input.trig
pretty.nq
untyped.nq