PASS epsilon times rho equals one
PASS integer lattice inverse
PASS unit lattice determinants
PASS contracting fixed label carry
PASS seven-torsion inverse unit carry
PASS forward unit carry
PASS epsilon tau on lattice
PASS epsilon sigma on lattice
PASS epsilon one fifth on lattice
PASS rho tau on lattice
PASS rho sigma on lattice
PASS rho one fifth on lattice
PASS carry k=0
PASS carry k=1
PASS carry k=2
PASS carry k=3
PASS carry k=4
PASS carry k=5
PASS carry k=6
PASS conductor points outside fifth-divisor lattice (rational coordinates)
PASS two primitive three-cycles and fixed conductor label
PASS seven-label permutation spectrum: 1^3, omega^2, omega-bar^2
PASS ambient mod-seven unit has order 21, semisimple torsion slice has order 3
PASS plus primitive ratio X
PASS plus primitive ratio Y
PASS plus cycle norm
PASS plus cubic reconstruction
PASS minus primitive ratio X
PASS minus primitive ratio Y
PASS minus cycle norm
PASS minus cubic reconstruction
PASS two-dimensional monomial action of exact order three
PASS contraction telescope index: pi^{-m}(k)=2^m k modulo seven
Carry data:
  (0, 0, 5, 0, 1)
  (1, 4, 13, -1, 1)
  (2, 1, 22, 0, 5)
  (3, 5, 30, -1, 5)
  (4, 2, 39, 0, 9)
  (5, 6, 47, -1, 9)
  (6, 3, 56, 0, 13)
Exact audit passed. The algebraic-to-analytic special-value equality is not proved.