Files a.txt and b.txt differ
