Sext 330000 340000

Kernel-checked forced assignments and closed-interval exclusions.

theorem ConwaySoifer.Simplified.Certificates.Sext330000340000.excluded29_0 : Certificates.ExcludedOn (model29.B 0) 9000000000000 (model29.caps 0) (model29.ord 0) 0 1 100

theorem ConwaySoifer.Simplified.Certificates.Sext_330000_340000_checked : Data.Sext330000340000.Valid