У меня файл состоит из 10000 разных строк. Мне нужно взять 100 случайных строк uniq из этого файла и записать их в другой файл. Каков самый простой способ сделать это с помощью php?