0.00/0.00	MAYBE
0.00/0.00	 * theBenchmark.fun is not positive relatively to the rules
0.00/0.00	  - Rule noname.eval!7
0.00/0.00	EOF