recomputed vaurien.txt using the 'comm' command