0.00/0.00	NO
0.00/0.00	Did not drop rules.
0.00/0.00	Inlined conditions for 0 rules.
0.00/0.00	Left-inlined conditions for 0 rules.
0.00/0.00	Due to Ifrit-method removed 0 infeasible rules.
0.00/0.00	Removed 0 redundant rules.
0.00/0.00	FEASIBLE with
0.00/0.00	{x1/min(cons(0(),nil()))
0.00/0.00	,x2/cons(0(),nil())}
0.00/0.01	EOF