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

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell387 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell387_check : cell387.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell388 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell388_check : cell388.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell389 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell389_check : cell389.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell390 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell390_check : cell390.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell391 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell391_check : cell391.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell392 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell392_check : cell392.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell393 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell393_check : cell393.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell394 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell394_check : cell394.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell395 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell395_check : cell395.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell396 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell396_check : cell396.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell397 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell397_check : cell397.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell398 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell398_check : cell398.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell399 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell399_check : cell399.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell400 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell400_check : cell400.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell401 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell401_check : cell401.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell402 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell402_check : cell402.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell403 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell403_check : cell403.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell404 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell404_check : cell404.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell405 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell405_check : cell405.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell406 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell406_check : cell406.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell407 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell407_check : cell407.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell408 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell408_check : cell408.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell409 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell409_check : cell409.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell410 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell410_check : cell410.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell411 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell411_check : cell411.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell412 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell412_check : cell412.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell413 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell413_check : cell413.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell414 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell414_check : cell414.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell415 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell415_check : cell415.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell416 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell416_check : cell416.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell417 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell417_check : cell417.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell418 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell418_check : cell418.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell419 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell419_check : cell419.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell420 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell420_check : cell420.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell421 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell421_check : cell421.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell422 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell422_check : cell422.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell423 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell423_check : cell423.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell424 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell424_check : cell424.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell425 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell425_check : cell425.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell426 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell426_check : cell426.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell427 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell427_check : cell427.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell428 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell428_check : cell428.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell429 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell429_check : cell429.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell430 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell430_check : cell430.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell431 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell431_check : cell431.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell432 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell432_check : cell432.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell433 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell433_check : cell433.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell434 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell434_check : cell434.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell435 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell435_check : cell435.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell436 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell436_check : cell436.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell437 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell437_check : cell437.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell438 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell438_check : cell438.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell439 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell439_check : cell439.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell440 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell440_check : cell440.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell441 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell441_check : cell441.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell442 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell442_check : cell442.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell443 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell443_check : cell443.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell444 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell444_check : cell444.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell445 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell445_check : cell445.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell446 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell446_check : cell446.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell447 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell447_check : cell447.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell448 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell448_check : cell448.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell449 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell449_check : cell449.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell450 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell450_check : cell450.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell451 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell451_check : cell451.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell452 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell452_check : cell452.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell453 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell453_check : cell453.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell454 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell454_check : cell454.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell455 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell455_check : cell455.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell456 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell456_check : cell456.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell457 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell457_check : cell457.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell458 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell458_check : cell458.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell459 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell459_check : cell459.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell460 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell460_check : cell460.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell461 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell461_check : cell461.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell462 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell462_check : cell462.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell463 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell463_check : cell463.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell464 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell464_check : cell464.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell465 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell465_check : cell465.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell466 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell466_check : cell466.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell467 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell467_check : cell467.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell468 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell468_check : cell468.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell469 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell469_check : cell469.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell470 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell470_check : cell470.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell471 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell471_check : cell471.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell472 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell472_check : cell472.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell473 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell473_check : cell473.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell474 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell474_check : cell474.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell475 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell475_check : cell475.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell476 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell476_check : cell476.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell477 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell477_check : cell477.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell478 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell478_check : cell478.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell479 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell479_check : cell479.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell480 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell480_check : cell480.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell481 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell481_check : cell481.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow06CoverCells4.cell482 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row06Core

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

Equations

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

theorem AtanasovRanganathan.GenusFiveRow06CoverCells4.cell482_check : cell482.certificate.checkClosed 4 = true

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

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

Equations

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

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