.
cocomp eqdh