Independent generated check. This module provides an additional generated proof of row 06 and is not imported by the main LowGenus root.

Generated cell chunk 2 of 5 for the AR row-06 chamber cover (cells 194-290). Split across modules because the kernel cost of replaying a cell is cumulative within one Lean process.

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell194 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 194 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 1, 2, 2, 26, 4, 5, 16]; cell194_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell194_check : cell194.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell195 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 195 for the fixed row-06 divisor, with 19 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 22, 4, 5, 12]; cell195_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell195_check : cell195.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell196 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 196 for the fixed row-06 divisor, with 18 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 22, 4, 5, 12]; cell196_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell196_check : cell196.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell197 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 197 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 22, 4, 5, 12]; cell197_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell197_check : cell197.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell198 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 198 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 22, 4, 5, 12]; cell198_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell198_check : cell198.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell199 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 199 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 22, 4, 5, 12]; cell199_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell199_check : cell199.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell200 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 200 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 22, 4, 5, 13]; cell200_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell200_check : cell200.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell201 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 201 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 22, 4, 5, 13]; cell201_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell201_check : cell201.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell202 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 202 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 22, 4, 5, 13]; cell202_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell202_check : cell202.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell203 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 203 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 22, 4, 5, 13]; cell203_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell203_check : cell203.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell204 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 204 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 22, 4, 5, 13]; cell204_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell204_check : cell204.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell205 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 205 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 22, 4, 5, 14]; cell205_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell205_check : cell205.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell206 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 206 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 22, 4, 5, 14]; cell206_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell206_check : cell206.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell207 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 207 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 22, 4, 5, 14]; cell207_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell207_check : cell207.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell208 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 208 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 22, 4, 5, 14]; cell208_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell208_check : cell208.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell209 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 209 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 22, 4, 5, 14]; cell209_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell209_check : cell209.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell210 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 210 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 22, 4, 5, 16]; cell210_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell210_check : cell210.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell211 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 211 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 22, 4, 5, 16]; cell211_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell211_check : cell211.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell212 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 212 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 22, 4, 5, 16]; cell212_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell212_check : cell212.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell213 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 213 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 22, 4, 5, 16]; cell213_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell213_check : cell213.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell214 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 214 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 22, 4, 5, 16]; cell214_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell214_check : cell214.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell215 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 215 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 23, 4, 5, 12]; cell215_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell215_check : cell215.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell216 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 216 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 23, 4, 5, 12]; cell216_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell216_check : cell216.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell217 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 217 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 23, 4, 5, 12]; cell217_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell217_check : cell217.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell218 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 218 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 23, 4, 5, 12]; cell218_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell218_check : cell218.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell219 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 219 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 23, 4, 5, 12]; cell219_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell219_check : cell219.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell220 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 220 for the fixed row-06 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 23, 4, 5, 13]; cell220_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell220_check : cell220.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell221 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 221 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 23, 4, 5, 13]; cell221_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell221_check : cell221.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell222 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 222 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 23, 4, 5, 13]; cell222_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell222_check : cell222.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell223 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 223 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 23, 4, 5, 13]; cell223_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell223_check : cell223.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell224 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 224 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 23, 4, 5, 13]; cell224_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell224_check : cell224.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell225 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 225 for the fixed row-06 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 23, 4, 5, 14]; cell225_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell225_check : cell225.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell226 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 226 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 23, 4, 5, 14]; cell226_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell226_check : cell226.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell227 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 227 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 23, 4, 5, 14]; cell227_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell227_check : cell227.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell228 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 228 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 23, 4, 5, 14]; cell228_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell228_check : cell228.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell229 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 229 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 23, 4, 5, 14]; cell229_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell229_check : cell229.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell230 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 230 for the fixed row-06 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 23, 4, 5, 16]; cell230_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell230_check : cell230.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell231 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 231 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 23, 4, 5, 16]; cell231_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell231_check : cell231.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell232 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 232 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 23, 4, 5, 16]; cell232_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell232_check : cell232.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell233 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 233 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 23, 4, 5, 16]; cell233_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell233_check : cell233.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell234 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 234 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 23, 4, 5, 16]; cell234_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell234_check : cell234.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell235 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 235 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 24, 4, 5, 12]; cell235_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell235_check : cell235.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell236 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 236 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 24, 4, 5, 12]; cell236_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell236_check : cell236.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell237 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 237 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 24, 4, 5, 12]; cell237_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell237_check : cell237.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell238 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 238 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 24, 4, 5, 12]; cell238_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell238_check : cell238.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell239 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 239 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 24, 4, 5, 12]; cell239_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell239_check : cell239.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell240 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 240 for the fixed row-06 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 24, 4, 5, 13]; cell240_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell240_check : cell240.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell241 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 241 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 24, 4, 5, 13]; cell241_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell241_check : cell241.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell242 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 242 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 24, 4, 5, 13]; cell242_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell242_check : cell242.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell243 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 243 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 24, 4, 5, 13]; cell243_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell243_check : cell243.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell244 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 244 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 24, 4, 5, 13]; cell244_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell244_check : cell244.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell245 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 245 for the fixed row-06 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 24, 4, 5, 14]; cell245_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell245_check : cell245.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell246 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 246 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 24, 4, 5, 14]; cell246_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell246_check : cell246.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell247 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 247 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 24, 4, 5, 14]; cell247_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell247_check : cell247.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell248 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 248 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 24, 4, 5, 14]; cell248_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell248_check : cell248.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell249 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 249 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 24, 4, 5, 14]; cell249_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell249_check : cell249.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell250 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 250 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 24, 4, 5, 16]; cell250_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell250_check : cell250.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell251 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 251 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 24, 4, 5, 16]; cell251_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell251_check : cell251.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell252 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 252 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 24, 4, 5, 16]; cell252_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell252_check : cell252.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell253 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 253 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 24, 4, 5, 16]; cell253_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell253_check : cell253.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell254 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 254 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 26, 4, 5, 12]; cell254_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell254_check : cell254.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell255 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 255 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 26, 4, 5, 12]; cell255_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell255_check : cell255.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell256 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 256 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 26, 4, 5, 12]; cell256_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell256_check : cell256.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell257 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 257 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 26, 4, 5, 12]; cell257_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell257_check : cell257.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell258 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 258 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 26, 4, 5, 12]; cell258_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell258_check : cell258.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell259 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 259 for the fixed row-06 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 26, 4, 5, 13]; cell259_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell259_check : cell259.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell260 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 260 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 26, 4, 5, 13]; cell260_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell260_check : cell260.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell261 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 261 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 26, 4, 5, 13]; cell261_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell261_check : cell261.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell262 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 262 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 26, 4, 5, 13]; cell262_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell262_check : cell262.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell263 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 263 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 26, 4, 5, 13]; cell263_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell263_check : cell263.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell264 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 264 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 26, 4, 5, 14]; cell264_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell264_check : cell264.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell265 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 265 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 26, 4, 5, 16]; cell265_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell265_check : cell265.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell266 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 266 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 26, 4, 5, 14]; cell266_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell266_check : cell266.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell267 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 267 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 26, 4, 5, 16]; cell267_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell267_check : cell267.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell268 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 268 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 26, 4, 5, 14]; cell268_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell268_check : cell268.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell269 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 269 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 26, 4, 5, 16]; cell269_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell269_check : cell269.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell270 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 270 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 26, 4, 5, 14]; cell270_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell270_check : cell270.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell271 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 271 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 26, 4, 5, 16]; cell271_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell271_check : cell271.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell272 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 272 for the fixed row-06 divisor, with 18 affine cone constraints. Anchors zero through seven use witness indices [0, 1, 2, 2, 3, 4, 27, 6]; cell272_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell272_check : cell272.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell273 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 273 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 1, 2, 2, 3, 4, 28, 6]; cell273_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell273_check : cell273.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell274 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 274 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 1, 2, 2, 3, 4, 29, 6]; cell274_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell274_check : cell274.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell275 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 275 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 1, 2, 2, 3, 4, 30, 6]; cell275_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell275_check : cell275.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell276 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 276 for the fixed row-06 divisor, with 19 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 3, 4, 27, 6]; cell276_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell276_check : cell276.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell277 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 277 for the fixed row-06 divisor, with 18 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 3, 4, 27, 6]; cell277_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell277_check : cell277.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell278 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 278 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 3, 4, 27, 6]; cell278_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell278_check : cell278.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell279 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 279 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 3, 4, 27, 6]; cell279_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell279_check : cell279.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell280 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 280 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 3, 4, 27, 6]; cell280_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell280_check : cell280.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell281 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 281 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 3, 4, 28, 6]; cell281_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell281_check : cell281.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell282 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 282 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 3, 4, 28, 6]; cell282_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell282_check : cell282.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell283 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 283 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 3, 4, 28, 6]; cell283_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell283_check : cell283.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell284 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 284 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 3, 4, 28, 6]; cell284_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell284_check : cell284.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell285 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 285 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 3, 4, 28, 6]; cell285_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell285_check : cell285.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell286 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 286 for the fixed row-06 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 7, 2, 2, 3, 4, 29, 6]; cell286_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell286_check : cell286.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell287 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 287 for the fixed row-06 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 3, 4, 29, 6]; cell287_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell287_check : cell287.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell288 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 288 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 3, 4, 29, 6]; cell288_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell288_check : cell288.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell289 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 289 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 3, 4, 29, 6]; cell289_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell289_check : cell289.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.cell290 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 290 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 3, 4, 29, 6]; cell290_check verifies its explicit-potential certificate.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.cell290_check : cell290.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells2.chunk : List (GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core)

The ordered row-06 closed-cover cell block with global indices 194 through 290, used when assembling the full 483-cell cover.

Equations

• One or more equations did not get rendered due to their size.

theorem AtanasovRanganathan.GenusFiveRow06CoverCells2.chunk_check : (chunk.all fun (cell : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core) => cell.certificate.checkClosed 4) = true