201.39/50.87	MAYBE
201.39/50.87	
201.39/50.87	Problem:
201.39/50.87	 a(b(a(a(b(a(b(a(a(b(x1)))))))))) -> a(b(a(b(a(a(b(a(a(b(a(b(a(x1)))))))))))))
201.39/50.87	
201.39/50.87	Proof:
201.39/50.87	 Open
201.39/50.88	EOF