Dependency Graph for arith-tools 1.0.0