0.00/0.00 MAYBE 0.00/0.00  * theBenchmark.lam is not positive relatively to the rules 0.00/0.00 - Rule noname.fapp!5 0.00/0.00 EOF