k=1 nu=- max Psi = 1.000000000000  G=[1.0, 1.0]
k=1 nu=+ max Psi = 1.000000000000  G=[1.0, -1.0]
k=1 overall max Psi = 1.000000000000 (claim: <= 1)
k=2 nu=-- max Psi = 1.000000000000  G=[1.0, 1.0, 1.0, 1.0]
k=2 nu=+- max Psi = 1.000000000000  G=[1.0, 1.0, -1.0, -1.0]
k=2 nu=++ max Psi = 1.000000000000  G=[1.0, 1.0, -1.0, -1.0]
k=2 overall max Psi = 1.000000000000 (claim: <= 1)
k=3 nu=--- max Psi = 1.000000000000  G=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
k=3 nu=+-- max Psi = 1.000000000000  G=[1.0, 1.0, 1.0, 1.0, -1.0, -1.0, -1.0, -1.0]
k=3 nu=++- max Psi = 1.000000000000  G=[1.0, 1.0, 1.0, 1.0, -1.0, -1.0, -1.0, -1.0]
k=3 nu=+++ max Psi = 1.000000000000  G=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
k=3 overall max Psi = 1.000000000000 (claim: <= 1)
k=4 nu=---- max Psi = 1.000000000000
k=4 nu=+--- max Psi = 1.000000000000
k=4 nu=++-- max Psi = 1.000000000000
k=4 nu=+++- max Psi = 1.000000000000
k=4 nu=++++ max Psi = 1.000000000000
k=4 overall max Psi = 1.000000000000 (claim: <= 1)
k=5 nu=----- max Psi = 1.000000000000
k=5 nu=+---- max Psi = 1.000000000000
k=5 nu=++--- max Psi = 1.000000000000
k=5 nu=+++-- max Psi = 1.000000000000
k=5 nu=++++- max Psi = 1.000000000000
k=5 nu=+++++ max Psi = 1.000000000000
k=5 overall max Psi = 1.000000000000 (claim: <= 1)
k=6 nu=------ max Psi = 1.000000000000
k=6 nu=+----- max Psi = 1.000000000000
k=6 nu=++---- max Psi = 1.000000000000
k=6 nu=+++--- max Psi = 1.000000000000
k=6 nu=++++-- max Psi = 1.000000000000
k=6 nu=+++++- max Psi = 1.000000000000
k=6 nu=++++++ max Psi = 1.000000000000
k=6 overall max Psi = 1.000000000000 (claim: <= 1)
k=7 nu=------- max Psi = 1.000000000000
k=7 nu=+------ max Psi = 1.000000000000
k=7 nu=++----- max Psi = 1.000000000000
k=7 nu=+++---- max Psi = 1.000000000000
k=7 nu=++++--- max Psi = 1.000000000000
k=7 nu=+++++-- max Psi = 1.000000000000
k=7 nu=++++++- max Psi = 1.000000000000
k=7 nu=+++++++ max Psi = 1.000000000000
k=7 overall max Psi = 1.000000000000 (claim: <= 1)
