validation (m = 8): ('-5/32', '1/16', '1/16', '-1/32') k = 2: max 1.6417989807e-04 (certificate value 1.6417989807e-04)
validation (m = 8): ('-9/32', '1/8', '1/8', '-3/32') k = 3: max 2.9081811332e-04 (certificate value 2.9081811332e-04)
('-9/16', '9/64', '9/64', '-3/32') nu*=+1 c=+1 k=1:-1.737e-03 k=2:-1.115e-03 k=3:-2.645e-04 k=4:-5.953e-04 k=5:-5.178e-04 k=6:-6.138e-04 k=7:-5.769e-04 k=8:-5.481e-04
('-1/2', '9/64', '9/64', '-3/32') nu*=+1 c=+1 k=1:-2.100e-03 k=2:-1.300e-03 k=3:-3.335e-04 k=4:-6.867e-04 k=5:-6.183e-04 k=6:-7.621e-04 k=7:-7.002e-04 k=8:-6.832e-04
('-17/32', '9/64', '9/64', '-3/32') nu*=+1 c=+1 k=1:-2.147e-03 k=2:-1.401e-03 k=3:-4.699e-04 k=4:-8.059e-04 k=5:-7.358e-04 k=6:-8.797e-04 k=7:-8.143e-04 k=8:-8.070e-04
('-43/64', '1/8', '1/8', '-5/64') nu*=+1 c=+1 k=1:-2.263e-03 k=2:-1.470e-03 k=3:-7.863e-04 k=4:-1.155e-03 k=5:-8.049e-04 k=6:-1.148e-03 k=7:-8.708e-04 k=8:-1.105e-03
('-23/64', '9/64', '9/64', '-7/64') nu*=+1 c=+1 k=1:-1.118e-03 k=2:-9.165e-04 k=3:-6.544e-04 k=4:-5.100e-04 k=5:-6.271e-04 k=6:-5.230e-04 k=7:-5.643e-04 k=8:-5.642e-04
('-23/32', '7/64', '7/64', '-1/16') nu*=+1 c=+1 k=1:-3.411e-03 k=2:-1.565e-03 k=3:-1.658e-03 k=4:-1.649e-03 k=5:-1.533e-03 k=6:-1.592e-03 k=7:-1.555e-03 k=8:-1.539e-03
('-25/64', '1/8', '1/8', '-5/64') nu*=+1 c=+1 k=1:-3.185e-03 k=2:-1.804e-03 k=3:-1.091e-03 k=4:-1.618e-03 k=5:-1.042e-03 k=6:-1.205e-03 k=7:-1.187e-03 k=8:-1.413e-03
('-5/16', '9/64', '9/64', '-1/8') nu*=+1 c=+1 k=1:-8.508e-04 k=2:-8.406e-04 k=3:-8.277e-04 k=4:-8.115e-04 k=5:-7.909e-04 k=6:-7.915e-04 k=7:-7.986e-04 k=8:-7.871e-04
('-27/64', '5/32', '5/32', '-9/64') nu*=+1 c=+1 k=1:-9.115e-04 k=2:-9.115e-04 k=3:-9.115e-04 k=4:-9.115e-04 k=5:-9.115e-04 k=6:-9.115e-04 k=7:-9.115e-04 k=8:-9.115e-04
('-41/64', '1/8', '1/8', '-5/64') nu*=+1 c=+1 k=1:-4.177e-03 k=2:-2.875e-03 k=3:-2.300e-03 k=4:-2.556e-03 k=5:-2.201e-03 k=6:-2.612e-03 k=7:-2.253e-03 k=8:-2.561e-03
('-11/32', '7/64', '7/64', '-1/16') nu*=+1 c=+1 k=1:-3.607e-03 k=2:-1.208e-03 k=3:-1.208e-03 k=4:-1.845e-03 k=5:-1.503e-03 k=6:-1.715e-03 k=7:-1.466e-03 k=8:-1.511e-03
('-41/64', '9/64', '9/64', '-7/64') nu*=+1 c=+1 k=1:-1.936e-03 k=2:-1.936e-03 k=3:-1.936e-03 k=4:-1.936e-03 k=5:-1.936e-03 k=6:-1.936e-03 k=7:-1.936e-03 k=8:-1.936e-03
('-25/64', '9/64', '9/64', '-7/64') nu*=+1 c=+1 k=1:-3.047e-03 k=2:-2.775e-03 k=3:-2.414e-03 k=4:-2.354e-03 k=5:-2.442e-03 k=6:-2.255e-03 k=7:-2.345e-03 k=8:-2.331e-03
('-47/64', '3/32', '3/32', '-3/64') nu*=+1 c=+1 k=1:-5.184e-03 k=2:-5.655e-04 k=3:-2.065e-03 k=4:-1.506e-03 k=5:-2.552e-03 k=6:-1.812e-03 k=7:-2.421e-03 k=8:-2.080e-03
('-53/64', '3/64', '3/64', '-1/64') nu*=+1 c=+1 k=1:-4.545e-03 k=2:-6.689e-04 k=3:-6.689e-04 k=4:-4.709e-04 k=5:-4.709e-04 k=6:-1.038e-03 k=7:-7.672e-04 k=8:-1.193e-03
('-23/32', '5/64', '5/64', '-1/32') nu*=+1 c=+1 k=1:-5.788e-03 k=2:-7.167e-05 k=3:-2.195e-03 k=4:-1.456e-03 k=5:-1.205e-03 k=6:-1.723e-03 k=7:-1.485e-03 k=8:-1.851e-03
('-27/64', '1/8', '1/8', '-5/64') nu*=+1 c=+1 k=1:-4.520e-03 k=2:-2.415e-03 k=3:-2.306e-03 k=4:-2.767e-03 k=5:-2.162e-03 k=6:-2.346e-03 k=7:-2.243e-03 k=8:-2.567e-03
