0.00/0.01	MAYBE
0.00/0.01	Did not drop rules.
0.00/0.01	Inlined conditions for 0 rules.
0.00/0.01	Left-inlined conditions for 0 rules.
0.00/0.01	Due to Ifrit-method removed 0 infeasible rules.
0.00/0.01	Removed 0 redundant rules.
0.00/0.01	
0.00/0.01	EOF