Removed robots-with-two-ua-two-dis.txt. See #9.