HTTPS SSH

Various bits of code related to subgraph enumeration.