Exact certificate data adapted from the upstream public release.

def ConwaySoifer.Simplified.Certificates.Data.Aown130000135000 : Certificates.CertData

Exact interval and proposed forced-point trace for the Aown contact case.

Equations

• One or more equations did not get rendered due to their size.