Error running this command: diff -U 5 "/tmp/ullCoq" "/tmp/t51l9M"
diff -U 5 "/tmp/ullCoq" "/tmp/t51l9M"
No output on STDOUT.