Eu tenho o Winrar e 7zip. O problema com a extração é que o arquivo é originalmente de 17 GB. No formato 7z, tem em torno de 11 GB, e no formato rar é 12 GB. Eu tenho ambos arquivos (um é backup, já que é um arquivo muito importante). Eu quero copiá-lo para o meu cartão de Micro SD do celular android, que usa o sistema Fat32 (daí o tamanho máximo de arquivo permitido é de apenas 4 GB). Extrair e arquivar novamente vai consumir muito tempo e recursos (arquivar consome muitos recursos do PC ao usar a melhor compactação). Eu pesquisei sobre isso sem muito sucesso.