Qden                      : 589824  monomials: 15245  arrows: 98
patterns                  : 134217728 = 2^27
54*Qden                   : 31850496
maximum of 9F + Qden*9Psi0: 31850496  attained by 39 patterns
patterns above 54*Qden    : 0
patterns equal to 54*Qden : 39
second largest value      : 31002030
gap eta = (54*Qden - second)/(9*Qden) = 47137/294912 = 0.15983412000868055
maximum of 9*Psi0         : 87  (Psi0 <= 29/3 )
sum over all patterns of (54*Qden - value): 1959329720696832
hyperplane windows (distinct): 39
patterns with equality are exactly the 39 hyperplane windows: True
Lemma 6.2(b) by enumeration (234 cases): unique continuation, equal to H_{a,c-a_i}: True
RESULT PASS
