Aown 320000 330000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Aown320000330000.excluded13_0 : Certificates.ExcludedOn (model13.B 0) 9000000000000 (model13.caps 0) (model13.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Aown_320000_330000_checked : Data.Aown320000330000.Valid