An Android file manager based on 7zip