Get "https://scholar.archive.org/search?q=Experiments+in+Automated+Deduction+with+Condensed+Detachment.": dial tcp 207.241.232.8:443: connect: connection refused