a=1 b=0.5 N=4 tau=1: A_ant/A = 2.0  R(formula) = 2.0  max dev 1.38e-40;  A^dag/A spread 0.346
a=1 b=0.5 N=6 tau=1: A_ant/A = 2.9688501315494e-41  R(formula) = 0.0  max dev 6.43e-41;  A^dag/A spread 1.09e-40
a=1 b=0.5 N=8 tau=1: A_ant/A = -0.271463623459277  R(formula) = -0.271463623459277  max dev 2.3e-41;  A^dag/A spread 0.00155
a=1 b=0.5 N=8 tau=3: A_ant/A = 490.238941148436  R(formula) = 490.238941148436  max dev 8.67e-37;  A^dag/A spread 0.301
a=1 b=0.5 N=10 tau=1: A_ant/A = -0.365922242006809  R(formula) = -0.365922242006809  max dev 3.44e-41;  A^dag/A spread 8.09e-41
a=1 b=0.5 N=10 tau=3: A_ant/A = 9.08479156859737  R(formula) = 9.08479156859737  max dev 1.54e-39;  A^dag/A spread 2.93e-40
a=1 b=0.5 N=12 tau=1: A_ant/A = -0.410998290429753  R(formula) = -0.410998290429753  max dev 2.87e-41;  A^dag/A spread 9.19e-6
a=1 b=0.5 N=12 tau=5: A_ant/A = 95063.4619201166  R(formula) = 95063.4619201166  max dev 8.71e-33;  A^dag/A spread 3.54e-39
a=1 b=0.5 N=14 tau=1: A_ant/A = -0.436322533598471  R(formula) = -0.436322533598471  max dev 2.3e-41;  A^dag/A spread 4.31e-41
a=1 b=0.5 N=14 tau=3: A_ant/A = 0.698782449710368  R(formula) = 0.698782449710368  max dev 1.38e-40;  A^dag/A spread 1.45e-40
a=1 b=0.5 N=16 tau=1: A_ant/A = -0.452066287971983  R(formula) = -0.452066287971983  max dev 3.44e-41;  A^dag/A spread 6.09e-8
a=1 b=0.8 N=4 tau=1: A_ant/A = 2.0  R(formula) = 2.0  max dev 1.03e-40;  A^dag/A spread 0.0459
a=1 b=0.8 N=6 tau=1: A_ant/A = 1.08482142857143  R(formula) = 1.08482142857143  max dev 4.23e-41;  A^dag/A spread 9.67e-41
a=1 b=0.8 N=8 tau=1: A_ant/A = 0.900390461064359  R(formula) = 0.900390461064359  max dev 3.44e-41;  A^dag/A spread 1.73e-5
a=1 b=0.8 N=8 tau=3: A_ant/A = 25.1518034521215  R(formula) = 25.1518034521215  max dev 5.84e-40;  A^dag/A spread 0.014
a=1 b=0.8 N=10 tau=1: A_ant/A = 0.828867958225044  R(formula) = 0.828867958225044  max dev 3.44e-41;  A^dag/A spread 1.05e-40
a=1 b=0.8 N=10 tau=3: A_ant/A = 3.72287839188955  R(formula) = 3.72287839188955  max dev 3.21e-40;  A^dag/A spread 2.34e-40
a=1 b=0.8 N=12 tau=1: A_ant/A = 0.793071592931076  R(formula) = 0.793071592931076  max dev 3.44e-41;  A^dag/A spread 1.08e-8
a=1 b=0.8 N=12 tau=5: A_ant/A = 376.445471481051  R(formula) = 376.445471481051  max dev 7.26e-38;  A^dag/A spread 4.97e-40
a=1 b=0.8 N=14 tau=1: A_ant/A = 0.772439221115067  R(formula) = 0.772439221115067  max dev 2.3e-41;  A^dag/A spread 5.55e-41
a=1 b=0.8 N=14 tau=3: A_ant/A = 1.46736284686889  R(formula) = 1.46736284686889  max dev 6.26e-41;  A^dag/A spread 1.21e-41
a=1 b=0.8 N=16 tau=1: A_ant/A = 0.759412510930952  R(formula) = 0.759412510930952  max dev 3.44e-41;  A^dag/A spread 7.54e-12
a=1.7 b=0.3 N=4 tau=1: A_ant/A = 2.0  R(formula) = 2.0  max dev 6.17e-38;  A^dag/A spread 0.869
a=1.7 b=0.3 N=6 tau=1: A_ant/A = -13.2132132132132  R(formula) = -13.2132132132132  max dev 5.56e-41;  A^dag/A spread 1.75e-39
a=1.7 b=0.3 N=8 tau=1: A_ant/A = -14.0607452202351  R(formula) = -14.0607452202351  max dev 5.23e-41;  A^dag/A spread 0.0482
a=1.7 b=0.3 N=8 tau=3: A_ant/A = 264679.462695884  R(formula) = 264679.462695884  max dev 1.0e-31;  A^dag/A spread 0.867
a=1.7 b=0.3 N=10 tau=1: A_ant/A = -14.2888390427932  R(formula) = -14.2888390427932  max dev 6.43e-41;  A^dag/A spread 3.77e-40
a=1.7 b=0.3 N=10 tau=3: A_ant/A = 171.755451816339  R(formula) = 171.755451816339  max dev 1.19e-36;  A^dag/A spread 1.29e-36
a=1.7 b=0.3 N=12 tau=1: A_ant/A = -14.3858641962124  R(formula) = -14.3858641962124  max dev 7.66e-41;  A^dag/A spread 0.0017
a=1.7 b=0.3 N=12 tau=5: A_ant/A = 4231442458.57622  R(formula) = 4231442458.57622  max dev 2.66e-22;  A^dag/A spread 5.93e-38
a=1.7 b=0.3 N=14 tau=1: A_ant/A = -14.4370785536142  R(formula) = -14.4370785536142  max dev 6.36e-41;  A^dag/A spread 4.73e-40
a=1.7 b=0.3 N=14 tau=3: A_ant/A = -9.68607358656026  R(formula) = -9.68607358656026  max dev 1.52e-40;  A^dag/A spread 2.18e-39
a=1.7 b=0.3 N=16 tau=1: A_ant/A = -14.4677350105353  R(formula) = -14.4677350105353  max dev 2.54e-41;  A^dag/A spread 6.43e-5
a=1 b=0.62 N=4 tau=1: A_ant/A = 2.0  R(formula) = 2.0  max dev 1.61e-40;  A^dag/A spread 0.189
a=1 b=0.62 N=6 tau=1: A_ant/A = 0.625398161901963  R(formula) = 0.625398161901963  max dev 5.74e-41;  A^dag/A spread 1.2e-40
a=1 b=0.62 N=8 tau=1: A_ant/A = 0.401693895325523  R(formula) = 0.401693895325523  max dev 5.74e-42;  A^dag/A spread 0.000358
a=1 b=0.62 N=8 tau=3: A_ant/A = 128.337903040346  R(formula) = 128.337903040346  max dev 3.62e-38;  A^dag/A spread 0.134
a=1 b=0.62 N=10 tau=1: A_ant/A = 0.319862109860407  R(formula) = 0.319862109860407  max dev 2.3e-41;  A^dag/A spread 3.6e-41
a=1 b=0.62 N=10 tau=3: A_ant/A = 5.69717754411029  R(formula) = 5.69717754411029  max dev 4.19e-40;  A^dag/A spread 1.4e-40
a=1 b=0.62 N=12 tau=1: A_ant/A = 0.279942433998497  R(formula) = 0.279942433998497  max dev 1.72e-41;  A^dag/A spread 1.02e-6
a=1 b=0.62 N=12 tau=5: A_ant/A = 8739.53526042587  R(formula) = 8739.53526042587  max dev 6.73e-34;  A^dag/A spread 1.07e-39
a=1 b=0.62 N=14 tau=1: A_ant/A = 0.25724795280941  R(formula) = 0.25724795280941  max dev 4.02e-41;  A^dag/A spread 6.14e-41
a=1 b=0.62 N=14 tau=3: A_ant/A = 1.14708341802354  R(formula) = 1.14708341802354  max dev 1.4e-40;  A^dag/A spread 3.44e-41
a=1 b=0.62 N=16 tau=1: A_ant/A = 0.243037794757392  R(formula) = 0.243037794757392  max dev 2.01e-41;  A^dag/A spread 3.25e-9
a=2 b=1 N=4 tau=1: A_ant/A = 2.0  R(formula) = 2.0  max dev 1.38e-40;  A^dag/A spread 0.346
a=2 b=1 N=6 tau=1: A_ant/A = 2.9688501315494e-41  R(formula) = 0.0  max dev 6.43e-41;  A^dag/A spread 9.52e-41
a=2 b=1 N=8 tau=1: A_ant/A = -0.271463623459277  R(formula) = -0.271463623459277  max dev 2.3e-41;  A^dag/A spread 0.00155
a=2 b=1 N=8 tau=3: A_ant/A = 490.238941148436  R(formula) = 490.238941148436  max dev 8.67e-37;  A^dag/A spread 0.301
a=2 b=1 N=10 tau=1: A_ant/A = -0.365922242006809  R(formula) = -0.365922242006809  max dev 3.44e-41;  A^dag/A spread 6.74e-41
a=2 b=1 N=10 tau=3: A_ant/A = 9.08479156859737  R(formula) = 9.08479156859737  max dev 1.54e-39;  A^dag/A spread 2.64e-40
a=2 b=1 N=12 tau=1: A_ant/A = -0.410998290429753  R(formula) = -0.410998290429753  max dev 2.87e-41;  A^dag/A spread 9.19e-6
a=2 b=1 N=12 tau=5: A_ant/A = 95063.4619201166  R(formula) = 95063.4619201166  max dev 8.71e-33;  A^dag/A spread 3.57e-39
a=2 b=1 N=14 tau=1: A_ant/A = -0.436322533598471  R(formula) = -0.436322533598471  max dev 2.3e-41;  A^dag/A spread 2.15e-41
a=2 b=1 N=14 tau=3: A_ant/A = 0.698782449710368  R(formula) = 0.698782449710368  max dev 1.38e-40;  A^dag/A spread 1.69e-40
a=2 b=1 N=16 tau=1: A_ant/A = -0.452066287971983  R(formula) = -0.452066287971983  max dev 3.44e-41;  A^dag/A spread 6.09e-8
a=5 b=4 N=4 tau=1: A_ant/A = 2.0  R(formula) = 2.0  max dev 6.89e-41;  A^dag/A spread 0.0459
a=5 b=4 N=6 tau=1: A_ant/A = 1.08482142857143  R(formula) = 1.08482142857143  max dev 4.23e-41;  A^dag/A spread 8.27e-41
a=5 b=4 N=8 tau=1: A_ant/A = 0.900390461064359  R(formula) = 0.900390461064359  max dev 3.44e-41;  A^dag/A spread 1.73e-5
a=5 b=4 N=8 tau=3: A_ant/A = 25.1518034521215  R(formula) = 25.1518034521215  max dev 3.8e-40;  A^dag/A spread 0.014
a=5 b=4 N=10 tau=1: A_ant/A = 0.828867958225044  R(formula) = 0.828867958225044  max dev 3.44e-41;  A^dag/A spread 1.46e-40
a=5 b=4 N=10 tau=3: A_ant/A = 3.72287839188955  R(formula) = 3.72287839188955  max dev 2.47e-40;  A^dag/A spread 2.64e-40
a=5 b=4 N=12 tau=1: A_ant/A = 0.793071592931076  R(formula) = 0.793071592931076  max dev 2.3e-41;  A^dag/A spread 1.08e-8
a=5 b=4 N=12 tau=5: A_ant/A = 376.445471481051  R(formula) = 376.445471481051  max dev 1.01e-37;  A^dag/A spread 2.89e-40
a=5 b=4 N=14 tau=1: A_ant/A = 0.772439221115067  R(formula) = 0.772439221115067  max dev 2.3e-41;  A^dag/A spread 8.47e-41
a=5 b=4 N=14 tau=3: A_ant/A = 1.46736284686889  R(formula) = 1.46736284686889  max dev 6.26e-41;  A^dag/A spread 1.03e-40
a=5 b=4 N=16 tau=1: A_ant/A = 0.759412510930952  R(formula) = 0.759412510930952  max dev 2.3e-41;  A^dag/A spread 7.54e-12
worst |A_ant/A - R| over all even families: 2.66e-22
N=6 tau=1: R = 0 at b/a = 0.5
N=10 tau=1: R = 0 at b/a = 0.5543486017300704561910783
N=14 tau=1: R = 0 at b/a = 0.5661108682363198545676542
