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