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 3 of 5 for the AR row-06 chamber cover (cells 291-386). Split across modules because the kernel cost of replaying a cell is cumulative within one Lean process.

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell291 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell291_check : cell291.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell292 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell292_check : cell292.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell293 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell293_check : cell293.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell294 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell294_check : cell294.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell295 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell295_check : cell295.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell296 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell296_check : cell296.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell297 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell297_check : cell297.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell298 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell298_check : cell298.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell299 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell299_check : cell299.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell300 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell300_check : cell300.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell301 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell301_check : cell301.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell302 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell302_check : cell302.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell303 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell303_check : cell303.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell304 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell304_check : cell304.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell305 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell305_check : cell305.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell306 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell306_check : cell306.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell307 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell307_check : cell307.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell308 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell308_check : cell308.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell309 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell309_check : cell309.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell310 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell310_check : cell310.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell311 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell311_check : cell311.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell312 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell312_check : cell312.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell313 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell313_check : cell313.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell314 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell314_check : cell314.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell315 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell315_check : cell315.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell316 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell316_check : cell316.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell317 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell317_check : cell317.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell318 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell318_check : cell318.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell319 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell319_check : cell319.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell320 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell320_check : cell320.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell321 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell321_check : cell321.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell322 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell322_check : cell322.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell323 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell323_check : cell323.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell324 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell324_check : cell324.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell325 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell325_check : cell325.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell326 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell326_check : cell326.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell327 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell327_check : cell327.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell328 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell328_check : cell328.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell329 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell329_check : cell329.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell330 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell330_check : cell330.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell331 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell331_check : cell331.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell332 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell332_check : cell332.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell333 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell333_check : cell333.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell334 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell334_check : cell334.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell335 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell335_check : cell335.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell336 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell336_check : cell336.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell337 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell337_check : cell337.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell338 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell338_check : cell338.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell339 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell339_check : cell339.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell340 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell340_check : cell340.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell341 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell341_check : cell341.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell342 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell342_check : cell342.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell343 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell343_check : cell343.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell344 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell344_check : cell344.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell345 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell345_check : cell345.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell346 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell346_check : cell346.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell347 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell347_check : cell347.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell348 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 348 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 3, 18, 30, 6]; cell348_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell348_check : cell348.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell349 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 349 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 3, 18, 30, 6]; cell349_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell349_check : cell349.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell350 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 350 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 3, 18, 30, 6]; cell350_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell350_check : cell350.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell351 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell351_check : cell351.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell352 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell352_check : cell352.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell353 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell353_check : cell353.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell354 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell354_check : cell354.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell355 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell355_check : cell355.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell356 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell356_check : cell356.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell357 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell357_check : cell357.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell358 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell358_check : cell358.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell359 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell359_check : cell359.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell360 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell360_check : cell360.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell361 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell361_check : cell361.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell362 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell362_check : cell362.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell363 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell363_check : cell363.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell364 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell364_check : cell364.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell365 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell365_check : cell365.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell366 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell366_check : cell366.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell367 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 367 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 3, 19, 30, 6]; cell367_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell367_check : cell367.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell368 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 368 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 3, 19, 30, 6]; cell368_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell368_check : cell368.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell369 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 369 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 3, 19, 30, 6]; cell369_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell369_check : cell369.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell370 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 370 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 2, 2, 3, 19, 30, 6]; cell370_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell370_check : cell370.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell371 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell371_check : cell371.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell372 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell372_check : cell372.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell373 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell373_check : cell373.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell374 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell374_check : cell374.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell375 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell375_check : cell375.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell376 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell376_check : cell376.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell377 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell377_check : cell377.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell378 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell378_check : cell378.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell379 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell379_check : cell379.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell380 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell380_check : cell380.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell381 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell381_check : cell381.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell382 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 382 for the fixed row-06 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 2, 2, 3, 21, 30, 6]; cell382_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell382_check : cell382.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell383 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell383_check : cell383.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell384 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 384 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 9, 2, 2, 3, 21, 30, 6]; cell384_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell384_check : cell384.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell385 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell385_check : cell385.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells3.cell386 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

Closed-cover cell 386 for the fixed row-06 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 10, 2, 2, 3, 21, 30, 6]; cell386_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells3.cell386_check : cell386.certificate.checkClosed 4 = true

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

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

Equations

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

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