Error running this command: diff -U 5 "/tmp/0q6cfF" "/tmp/OeisIT"

No output on STDOUT.