When using the gzip utility, the option is also known as best compression and results in higher compression ratio?