.
cocomp qdfa