197.58/50.54	MAYBE
197.58/50.54	
197.58/50.54	Problem:
197.58/50.54	 a(b(a(a(b(a(b(a(x1)))))))) -> a(a(b(a(b(a(b(a(a(b(x1))))))))))
197.58/50.54	
197.58/50.54	Proof:
197.58/50.54	 Open
197.58/50.54	EOF