corda-docs-prod-aliases.awsdev.r3.com.

13.225.77.78
server-13-225-77-78.fra2.r.cloudfront.net
13.225.77.18
server-13-225-77-18.fra2.r.cloudfront.net
13.225.77.101
server-13-225-77-101.fra2.r.cloudfront.net
13.225.77.125
server-13-225-77-125.fra2.r.cloudfront.net

corda-docs-prod-aliases.awsdev.r3.com.
2600:9000:2175:4200:18:79ce:3100:93a1
2600:9000:2175:2e00:18:79ce:3100:93a1
2600:9000:2175:e200:18:79ce:3100:93a1
2600:9000:2175:5600:18:79ce:3100:93a1
2600:9000:2175:e00:18:79ce:3100:93a1
2600:9000:2175:a000:18:79ce:3100:93a1
2600:9000:2175:ae00:18:79ce:3100:93a1
2600:9000:2175:7600:18:79ce:3100:93a1