0.00/0.02 MAYBE 0.00/0.02 Due to conditions equal to the given problem, dropped 0 rules. 0.00/0.02 Inlined conditions for 0 rules. 0.00/0.02 Left-inlined conditions for 0 rules. 0.00/0.02 Due to construction of the inductive Symbol Transition Graph removed 0 infeasible rules. 0.00/0.02 Did not use redundant rules method. 0.00/0.02 0.00/0.03 EOF