Sext 290000 300000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Sext290000300000.excluded28_0 : Certificates.ExcludedOn (model28.B 0) 9000000000000 (model28.caps 0) (model28.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Sext_290000_300000_checked : Data.Sext290000300000.Valid