Dependency Graph for arith-tools 1.1.2