BUCHBERGER BUCHBERGER BUCHBERGER 46523 BUCHBERGER 431 BUCHBERGER 0.16 BUCHBERGER 98.844260 Less than 100 InsignificantLess than 1000 Less than 100 InsignificantLess than 100InsignificantLess than 100 BUCHBERGER