gen6       Br terms=3212  s^6 | Br: True  K6 terms=50  rank E_5 = 252/252  rank E_6 = 461/462  K6 vanishes at samples: True  => certified: True
generic6   Br terms=3212  s^6 | Br: True  K6 terms=50  rank E_5 = 252/252  rank E_6 = 461/462  K6 vanishes at samples: True  => certified: True
hex6       Br terms=3172  s^6 | Br: True  K6 terms=50  rank E_5 = 252/252  rank E_6 = 461/462  K6 vanishes at samples: True  => certified: True
nonconvex6 Br terms=3203  s^6 | Br: True  K6 terms=50  rank E_5 = 252/252  rank E_6 = 461/462  K6 vanishes at samples: True  => certified: True
ALL HEXAGON CERTIFICATES OK
