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