Qden                      : 1451520  monomials: 4941  arrows: 98
patterns                  : 134217728 = 2^27
54*Qden                   : 78382080
maximum of 9F + Qden*9Psi0: 78382080  attained by 39 patterns
patterns above 54*Qden    : 0
patterns equal to 54*Qden : 39
second largest value      : 78226704
gap eta = (54*Qden - second)/(9*Qden) = 1079/90720 = 0.011893738977072311
maximum of 9*Psi0         : 87  (Psi0 <= 29/3 )
sum over all patterns of (54*Qden - value): 4821787984527360
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
