0.00/0.02 MAYBE 0.00/0.02  * theBenchmark.if!6220gcd is self looping relatively to the rules 0.00/0.02 - Rule noname.if!6220gcd!28 0.00/0.02 - Rule noname.gcd!27 0.00/0.02  * theBenchmark.gcd is self looping relatively to the rules 0.00/0.02 - Rule noname.gcd!27 0.00/0.02 - Rule noname.if!6220gcd!28 0.00/0.02 EOF