Dependency Graph for lemmagen3 3.2.3