MAYBE
56.66/25.99	MAYBE
56.66/25.99	
56.66/25.99	Problem:
56.66/25.99	 a(a(a(b(b(x1))))) -> b(b(a(b(b(a(a(a(x1))))))))
56.66/25.99	 b(b(a(x1))) -> x1
56.66/25.99	 a(x1) -> b(b(b(x1)))
56.66/25.99	 a(x1) -> b(x1)
56.66/25.99	
56.66/25.99	Proof:
56.66/25.99	 Open
56.66/25.99	EOF