MAYBE
45.98/16.70	MAYBE
45.98/16.70	
45.98/16.70	Problem:
45.98/16.70	 a(a(x1)) -> x1
45.98/16.70	 b(b(x1)) -> a(b(c(x1)))
45.98/16.70	 c(c(x1)) -> b(b(b(x1)))
45.98/16.70	
45.98/16.70	Proof:
45.98/16.70	 Open
45.98/16.71	EOF