197.23/50.52	MAYBE
197.23/50.52	
197.23/50.52	Problem:
197.23/50.52	 a(b(b(a(a(a(a(x1))))))) -> a(a(a(a(a(b(b(a(b(b(a(a(b(b(x1))))))))))))))
197.23/50.52	
197.23/50.52	Proof:
197.23/50.52	 Open
197.23/50.53	EOF