These files typically use aggressive formats like .7z or .rar . Once extracted, they usually return to a larger size (around 800 MB to 1.3 GB) to be playable.