0.00/0.02	NO
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	FEASIBLE with
0.00/0.02	{x/s(s(0()))}
0.00/0.02	EOF