Dependency Graph for arith-tools 1.2.0