Dependency Graph for thmap 0.0.2