Aown 110000 120000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown110000120000.excluded17_0 : Certificates.ExcludedOn (model17.B 0) 9000000000000 (model17.caps 0) (model17.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Aown_110000_120000_checked : Data.Aown110000120000.Valid