202.27/50.90	MAYBE
202.27/50.90	
202.27/50.90	Problem:
202.27/50.90	 a(a(b(a(a(b(b(a(a(b(x1)))))))))) -> a(a(b(b(a(a(b(a(a(b(b(a(a(x1)))))))))))))
202.27/50.90	
202.27/50.90	Proof:
202.27/50.90	 Open
202.45/50.90	EOF