n=4: cylinders per direction (k even, k odd) = (1, 2); max |modulus - 2cot(pi/n)| = 4.44e-16; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=5: cylinders per direction (k even, k odd) = (2, 2); max |modulus - 2cot(pi/n)| = 4.44e-16; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=6: cylinders per direction (k even, k odd) = (2, 3); max |modulus - 2cot(pi/n)| = 2.22e-15; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=7: cylinders per direction (k even, k odd) = (3, 3); max |modulus - 2cot(pi/n)| = 2.66e-15; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=8: cylinders per direction (k even, k odd) = (3, 4); max |modulus - 2cot(pi/n)| = 2.66e-15; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=9: cylinders per direction (k even, k odd) = (4, 4); max |modulus - 2cot(pi/n)| = 7.11e-15; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=10: cylinders per direction (k even, k odd) = (4, 5); max |modulus - 2cot(pi/n)| = 9.77e-15; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=11: cylinders per direction (k even, k odd) = (5, 5); max |modulus - 2cot(pi/n)| = 9.77e-15; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=12: cylinders per direction (k even, k odd) = (5, 6); max |modulus - 2cot(pi/n)| = 1.60e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=13: cylinders per direction (k even, k odd) = (6, 6); max |modulus - 2cot(pi/n)| = 4.26e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=14: cylinders per direction (k even, k odd) = (6, 7); max |modulus - 2cot(pi/n)| = 3.38e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=15: cylinders per direction (k even, k odd) = (7, 7); max |modulus - 2cot(pi/n)| = 5.33e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=16: cylinders per direction (k even, k odd) = (7, 8); max |modulus - 2cot(pi/n)| = 7.28e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=17: cylinders per direction (k even, k odd) = (8, 8); max |modulus - 2cot(pi/n)| = 6.04e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=18: cylinders per direction (k even, k odd) = (8, 9); max |modulus - 2cot(pi/n)| = 5.68e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=19: cylinders per direction (k even, k odd) = (9, 9); max |modulus - 2cot(pi/n)| = 9.77e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=20: cylinders per direction (k even, k odd) = (9, 10); max |modulus - 2cot(pi/n)| = 9.95e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=21: cylinders per direction (k even, k odd) = (10, 10); max |modulus - 2cot(pi/n)| = 1.12e-13; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=22: cylinders per direction (k even, k odd) = (10, 11); max |modulus - 2cot(pi/n)| = 9.95e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=23: cylinders per direction (k even, k odd) = (11, 11); max |modulus - 2cot(pi/n)| = 7.46e-14; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
n=24: cylinders per direction (k even, k odd) = (11, 12); max |modulus - 2cot(pi/n)| = 1.53e-13; Lemma 5 failures 0; Lemma 6 (base directions, all corners) failures 0
