Error running this command: diff -U 5 "/home/users/hisystems/tmp/1jG9CT" "/home/users/hisystems/tmp/YulDOT"
diff -U 5 "/home/users/hisystems/tmp/1jG9CT" "/home/users/hisystems/tmp/YulDOT"
No output on STDOUT.