Aown 160000 170000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown160000170000.excluded48_5 : Certificates.ExcludedOn (model48.B 5) 9000000000000 (model48.caps 5) (model48.ord 5) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Aown_160000_170000_checked : Data.Aown160000170000.Valid