== (i) coefficient of the monomial {(0,0,0)} raised by 1
patterns=134217728 max=8709121 (bound - max = -1) min=-16613679 violations=13 checksum=cfb1f5b629a4d2ed
  value #1: 8709121  (6*Qden - value = -1)  attained by 13 patterns
  value #2: 8709120  (6*Qden - value = 0)  attained by 26 patterns
RESULT: REJECT
== (ii) axis weight Qden/9 -> Qden/9 + 1
patterns=134217728 max=8709138 (bound - max = -18) min=-16613680 violations=36 checksum=c8bb37a620e38ea8
  value #1: 8709138  (6*Qden - value = -18)  attained by 12 patterns
  value #2: 8709132  (6*Qden - value = -12)  attained by 18 patterns
RESULT: REJECT
== (vii) face-diagonal weight Qden/3 -> Qden/3 + 1
patterns=134217728 max=8709132 (bound - max = -12) min=-16613680 violations=36 checksum=8c236b598f195462
  value #1: 8709132  (6*Qden - value = -12)  attained by 6 patterns
  value #2: 8709131  (6*Qden - value = -11)  attained by 12 patterns
RESULT: REJECT
== (viii) space-diagonal weight Qden -> Qden + 1
patterns=134217728 max=8709124 (bound - max = -4) min=-16613680 violations=26 checksum=57d089921202e4ba
  value #1: 8709124  (6*Qden - value = -4)  attained by 6 patterns
  value #2: 8709123  (6*Qden - value = -3)  attained by 8 patterns
RESULT: REJECT
== (iii) zero table (Psi0 alone)
patterns=134217728 max=14031360 (bound - max = -5322240) min=0 violations=11787920 checksum=3b61e19dad951200
  value #1: 14031360  (6*Qden - value = -5322240)  attained by 192 patterns
  value #2: 13870080  (6*Qden - value = -5160960)  attained by 864 patterns
RESULT: REJECT
== (iv) bound 6*Qden -> 6*Qden - 1
patterns=134217728 max=8709120 (bound - max = -1) min=-16613680 violations=39 checksum=c6847e70920edc41
  value #1: 8709120  (6*Qden - value = 0)  attained by 39 patterns
  value #2: 8691856  (6*Qden - value = 17264)  attained by 48 patterns
RESULT: REJECT
== (v) table negated
patterns=134217728 max=20294262 (bound - max = -11585142) min=-8709120 violations=46510144 checksum=b03f44cac91b47bf
  value #1: 20294262  (6*Qden - value = -11585142)  attained by 24 patterns
  value #2: 20184110  (6*Qden - value = -11474990)  attained by 24 patterns
RESULT: REJECT
== (vi) table doubled
patterns=134217728 max=17418240 (bound - max = -8709120) min=-33227360 violations=37818489 checksum=51a71b437688a682
  value #1: 17418240  (6*Qden - value = -8709120)  attained by 3 patterns
  value #2: 17360000  (6*Qden - value = -8650880)  attained by 1 patterns
RESULT: REJECT
== (ix) JSON with one Z (term 20) raised by 1: vA_3d_prep.py
           ^^^^^^^
AssertionError: [(((0, 0, 0), (0, 1, 1), (0, 2, 2)), 12)]
