dive.rule: duplicates found by running data have been removed.