Dependency Graph for acl2-jupyter 0.5