[Ищу] Вычесть из одного текстового файла другой

[vestal]

Есть два текстовых файла с кеями разного размера, нужно решение как вычесть из одного файла второй (не просто сравнить, а именно получить на выходе третий файл), например, первый файл содержит
001
002
003
004
а второй
002
004
то в выходном файле останутся только
001
003

ps text pipe не предлагать, не люблю я его

 

[lobzik]

$a1_fail = file('1_file.txt');
$a2_fail = file('2_file.txt');
file_put_contents('out.txt', array_diff($a1_fail, $a2_fail));