Aown 200000 210000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown200000210000.excluded23_0 : Certificates.ExcludedOn (model23.B 0) 9000000000000 (model23.caps 0) (model23.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Aown_200000_210000_checked : Data.Aown200000210000.Valid