Dependency Graph for lemmagen3 3.4.0