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