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