subgraph isomorphism coded. (*)