[bddap]

Here's a graph. http://fuse.galois.com/nexus4/visualization/

[jstanley]

It is not at all clear what this graph is meant to represent.