An Efficient System for Subgraph Discovery