Verification run 2 -- K: the twelve grid-sensitive Cayley graphs of D_6 (degree 5)
   S = [(0, 1), (1, 0), (1, 1), (3, 1), (5, 0)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(0, 1), (1, 0), (2, 1), (3, 1), (5, 0)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(0, 1), (1, 0), (1, 1), (4, 1), (5, 0)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(1, 0), (1, 1), (2, 1), (4, 1), (5, 0)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(0, 1), (1, 0), (3, 1), (4, 1), (5, 0)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(1, 0), (1, 1), (3, 1), (4, 1), (5, 0)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(0, 1), (1, 0), (2, 1), (5, 0), (5, 1)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(1, 0), (1, 1), (2, 1), (5, 0), (5, 1)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(0, 1), (1, 0), (3, 1), (5, 0), (5, 1)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(1, 0), (2, 1), (3, 1), (5, 0), (5, 1)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(1, 0), (1, 1), (4, 1), (5, 0), (5, 1)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   S = [(1, 0), (2, 1), (4, 1), (5, 0), (5, 1)]: tau(0.95) - 5 = -0.004665, tau(0.98) - 5 = +0.000245, tau(0.995) - 5 = +0.000333; maximum on the grid at p = 0.9885: tau - 5 = 0.000493686; tau(0.99999) - 5 = +8.50e-07
   number of different spectra of the walk among the twelve graphs: 1
PASS  on each of the twelve graphs tau(0.95) < 5 < tau(0.98) < tau(0.995), the maximum of tau lies between p = 0.98 and p = 0.995, and tau exceeds d = 5 there by less than 1e-3 (largest excess 0.000494)

checks passed: 1   TOTAL failures: 0
