Aown 130000 135000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown130000135000.excluded16_0 : Certificates.ExcludedOn (model16.B 0) 9000000000000 (model16.caps 0) (model16.ord 0) 0 1 200

theorem ConwaySoifer.Simplified.Certificates.Aown_130000_135000_checked : Data.Aown130000135000.Valid