201.58/50.23	MAYBE
201.58/50.24	
201.58/50.24	Problem:
201.58/50.24	 a(b(b(a(a(a(a(a(x1)))))))) -> a(a(a(a(a(a(b(b(a(b(b(a(b(b(x1))))))))))))))
201.58/50.24	
201.58/50.24	Proof:
201.58/50.24	 Open
201.58/50.24	EOF