0.00/0.01	MAYBE
0.00/0.01	Input TRS:
0.00/0.01	    1: a(b(b(b(a(x1))))) -> x1
0.00/0.01	    2: x1 ->= a(b(a(x1)))
0.00/0.01	Number of strict rules: 1
0.00/0.01	Direct POLO(bPol) ... failed.
0.00/0.01	Uncurrying ... failed.
0.00/0.01	weak variable left-hand side
0.00/0.01	EOF