strategy: degJ time: 15.01 reduction: 90893 S-polynomial: 2252 criterion: 2259
strategy: highJ time: 2.26 reduction: 22400 S-polynomial: 613 criterion: 595
strategy: lowJ time: 2.40 reduction: 25500 S-polynomial: 675 criterion: 619
strategy: degJL time: 6.53 reduction: 49512 S-polynomial: 1477 criterion: 1022
strategy: highJL time: 2.35 reduction: 23507 S-polynomial: 631 criterion: 613
strategy: lowJL time: 2.56 reduction: 26917 S-polynomial: 671 criterion: 612


example d1