strategy: degJ time: 0.63 reduction: 14686 S-polynomial: 179 criterion: 494
strategy: highJ time: 0.86 reduction: 16004 S-polynomial: 180 criterion: 493
strategy: lowJ time: 0.85 reduction: 16090 S-polynomial: 180 criterion: 493
strategy: degJL time: 0.60 reduction: 14645 S-polynomial: 175 criterion: 402
strategy: highJL time: 0.67 reduction: 15451 S-polynomial: 183 criterion: 414
strategy: lowJL time: 0.62 reduction: 14547 S-polynomial: 171 criterion: 395


example dessin2