PHP를 설치하기 위해 관련 웹 사이트에 접속했더니 동일한 버전으로 4개의 압축된 파일로 제공되고 있다. 빠른 다운로드를 위해 파일의 크기가 가장 작은 것을 선택하려고 할 때 알맞은 것은?