Aown 340000 350000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown340000350000.excluded14_0 : Certificates.ExcludedOn (model14.B 0) 9000000000000 (model14.caps 0) (model14.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Aown_340000_350000_checked : Data.Aown340000350000.Valid