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