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

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

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell98 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 98 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 0, 29, 8, 0, 0, 24]; cell98_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell98_check : cell98.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell99 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 99 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 0, 30, 8, 0, 0, 24]; cell99_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell99_check : cell99.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell100 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 100 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 21, 9, 0, 0, 22]; cell100_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell100_check : cell100.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell101 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 101 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 26, 9, 0, 0, 5]; cell101_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell101_check : cell101.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell102 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 102 for the fixed row-04 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 5, 9, 0, 0, 5]; cell102_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell102_check : cell102.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell103 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 103 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 25, 9, 0, 0, 6]; cell103_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell103_check : cell103.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell104 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 104 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 27, 9, 0, 0, 28]; cell104_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell104_check : cell104.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell105 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 105 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 27, 9, 0, 0, 7]; cell105_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell105_check : cell105.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell106 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 106 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 23, 9, 0, 0, 24]; cell106_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell106_check : cell106.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell107 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 107 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 29, 9, 0, 0, 24]; cell107_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell107_check : cell107.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell108 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 108 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 30, 9, 0, 0, 24]; cell108_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell108_check : cell108.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell109 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 109 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 26, 18, 0, 0, 5]; cell109_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell109_check : cell109.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell110 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 110 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 26, 10, 0, 0, 5]; cell110_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell110_check : cell110.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell111 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 111 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 26, 18, 0, 0, 24]; cell111_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell111_check : cell111.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell112 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 112 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 26, 10, 0, 0, 24]; cell112_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell112_check : cell112.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell113 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 113 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 5, 18, 0, 0, 5]; cell113_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell113_check : cell113.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell114 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 114 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 5, 10, 0, 0, 5]; cell114_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell114_check : cell114.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell115 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 115 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 25, 18, 0, 0, 6]; cell115_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell115_check : cell115.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell116 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 116 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 25, 10, 0, 0, 6]; cell116_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell116_check : cell116.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell117 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 117 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 18, 0, 0, 28]; cell117_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell117_check : cell117.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell118 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 118 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 18, 0, 0, 7]; cell118_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell118_check : cell118.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell119 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 119 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 10, 0, 0, 28]; cell119_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell119_check : cell119.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell120 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 120 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 10, 0, 0, 7]; cell120_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell120_check : cell120.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell121 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 121 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 23, 18, 0, 0, 24]; cell121_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell121_check : cell121.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell122 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 122 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 23, 10, 0, 0, 24]; cell122_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell122_check : cell122.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell123 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 123 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 29, 18, 0, 0, 24]; cell123_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell123_check : cell123.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell124 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 124 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 29, 10, 0, 0, 24]; cell124_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell124_check : cell124.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell125 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 125 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 21, 14, 0, 0, 22]; cell125_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell125_check : cell125.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell126 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 126 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 5, 14, 0, 0, 5]; cell126_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell126_check : cell126.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell127 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 127 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 26, 14, 0, 0, 5]; cell127_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell127_check : cell127.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell128 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 128 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 25, 14, 0, 0, 6]; cell128_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell128_check : cell128.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell129 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 129 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 27, 14, 0, 0, 28]; cell129_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell129_check : cell129.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell130 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 130 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 27, 14, 0, 0, 7]; cell130_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell130_check : cell130.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell131 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 131 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 23, 14, 0, 0, 24]; cell131_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell131_check : cell131.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell132 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 132 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 29, 14, 0, 0, 24]; cell132_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell132_check : cell132.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell133 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 133 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 30, 14, 0, 0, 24]; cell133_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell133_check : cell133.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell134 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 134 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 21, 14, 0, 0, 22]; cell134_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell134_check : cell134.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell135 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 135 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 5, 14, 0, 0, 5]; cell135_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell135_check : cell135.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell136 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 136 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 23, 14, 0, 0, 24]; cell136_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell136_check : cell136.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell137 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 137 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 26, 14, 0, 0, 5]; cell137_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell137_check : cell137.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell138 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 138 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 25, 14, 0, 0, 6]; cell138_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell138_check : cell138.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell139 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 139 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 27, 14, 0, 0, 28]; cell139_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell139_check : cell139.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell140 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 140 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 27, 14, 0, 0, 7]; cell140_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell140_check : cell140.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell141 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 141 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 29, 14, 0, 0, 24]; cell141_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell141_check : cell141.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell142 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 142 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 26, 8, 0, 0, 5]; cell142_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell142_check : cell142.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell143 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 143 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 26, 8, 0, 0, 24]; cell143_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell143_check : cell143.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell144 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 144 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 26, 14, 0, 0, 5]; cell144_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell144_check : cell144.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell145 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 145 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 26, 14, 0, 0, 24]; cell145_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell145_check : cell145.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell146 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 146 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 0, 26, 8, 0, 0, 24]; cell146_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell146_check : cell146.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell147 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 147 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 26, 14, 0, 0, 24]; cell147_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell147_check : cell147.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell148 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 148 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 26, 9, 0, 0, 24]; cell148_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell148_check : cell148.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell149 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 149 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 26, 14, 0, 0, 24]; cell149_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell149_check : cell149.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell150 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 150 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 0, 29, 12, 0, 0, 24]; cell150_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell150_check : cell150.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell151 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 151 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 29, 8, 0, 0, 24]; cell151_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell151_check : cell151.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell152 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 152 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 20, 0, 29, 14, 0, 0, 24]; cell152_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell152_check : cell152.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell153 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 153 for the fixed row-04 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 0, 5, 12, 0, 0, 5]; cell153_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell153_check : cell153.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell154 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 154 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 5, 8, 0, 0, 5]; cell154_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell154_check : cell154.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell155 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 155 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 20, 0, 5, 14, 0, 0, 5]; cell155_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell155_check : cell155.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell156 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 156 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 0, 23, 12, 0, 0, 24]; cell156_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell156_check : cell156.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell157 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 157 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 23, 8, 0, 0, 24]; cell157_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell157_check : cell157.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell158 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 158 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 23, 14, 0, 0, 24]; cell158_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell158_check : cell158.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell159 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 159 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 20, 0, 23, 14, 0, 0, 24]; cell159_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell159_check : cell159.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell160 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 160 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 0, 27, 12, 0, 0, 6]; cell160_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell160_check : cell160.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell161 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 161 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 27, 8, 0, 0, 6]; cell161_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell161_check : cell161.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell162 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 162 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 27, 14, 0, 0, 6]; cell162_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell162_check : cell162.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell163 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 163 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 19, 0, 27, 14, 0, 0, 6]; cell163_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell163_check : cell163.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell164 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 164 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 20, 0, 27, 14, 0, 0, 6]; cell164_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell164_check : cell164.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell165 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 165 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 8, 0, 27, 8, 0, 0, 6]; cell165_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell165_check : cell165.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell166 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 166 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 13, 0, 27, 14, 0, 0, 6]; cell166_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell166_check : cell166.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell167 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 167 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 16, 0, 27, 9, 0, 0, 6]; cell167_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell167_check : cell167.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell168 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 168 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 18, 0, 0, 6]; cell168_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell168_check : cell168.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell169 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 169 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 10, 0, 0, 6]; cell169_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell169_check : cell169.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell170 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 170 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 11, 0, 27, 12, 0, 0, 7]; cell170_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell170_check : cell170.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell171 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 171 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 27, 8, 0, 0, 7]; cell171_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell171_check : cell171.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell172 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 172 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 27, 14, 0, 0, 7]; cell172_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell172_check : cell172.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell173 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 173 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 20, 0, 27, 14, 0, 0, 7]; cell173_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell173_check : cell173.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell174 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 174 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 21, 8, 0, 0, 22]; cell174_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell174_check : cell174.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell175 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 175 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 25, 8, 0, 0, 6]; cell175_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell175_check : cell175.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell176 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 176 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 27, 8, 0, 0, 28]; cell176_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell176_check : cell176.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell177 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 177 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 21, 14, 0, 0, 22]; cell177_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell177_check : cell177.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell178 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 178 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 2, 14, 0, 0, 4]; cell178_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell178_check : cell178.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell179 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 179 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 29, 14, 0, 0, 24]; cell179_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell179_check : cell179.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell180 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 180 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 5, 14, 0, 0, 5]; cell180_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell180_check : cell180.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell181 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 181 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 25, 14, 0, 0, 6]; cell181_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell181_check : cell181.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell182 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 182 for the fixed row-04 divisor, with 26 affine cone constraints. Anchors zero through seven use witness indices [0, 15, 0, 27, 14, 0, 0, 28]; cell182_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell182_check : cell182.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell183 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 183 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 21, 9, 0, 0, 22]; cell183_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell183_check : cell183.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell184 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 184 for the fixed row-04 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 5, 9, 0, 0, 5]; cell184_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell184_check : cell184.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell185 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 185 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 26, 9, 0, 0, 5]; cell185_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell185_check : cell185.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell186 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 186 for the fixed row-04 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 25, 9, 0, 0, 6]; cell186_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell186_check : cell186.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell187 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 187 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 9, 0, 0, 28]; cell187_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell187_check : cell187.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell188 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 188 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 9, 0, 0, 7]; cell188_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell188_check : cell188.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell189 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 189 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 23, 9, 0, 0, 24]; cell189_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell189_check : cell189.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell190 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 190 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 29, 9, 0, 0, 24]; cell190_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell190_check : cell190.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell191 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 191 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 30, 9, 0, 0, 24]; cell191_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell191_check : cell191.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell192 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 192 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 21, 10, 0, 0, 22]; cell192_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell192_check : cell192.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell193 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 193 for the fixed row-04 divisor, with 25 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 26, 9, 0, 0, 24]; cell193_check verifies its explicit-potential certificate.

Equations

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

theorem AtanasovRanganathan.GenusFiveRow04CoverCells1.cell193_check : cell193.certificate.checkClosed 4 = true

def AtanasovRanganathan.GenusFiveRow04CoverCells1.cell194 : GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core

Closed-cover cell 194 for the fixed row-04 divisor, with 24 affine cone constraints. Anchors zero through seven use witness indices [0, 17, 0, 27, 9, 0, 0, 6]; cell194_check verifies its explicit-potential certificate.

Equations

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

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

def AtanasovRanganathan.GenusFiveRow04CoverCells1.chunk : List (GenusFiveClosedCover.CoordinateCell GenusFiveCoreAtlas.row04Core)

The ordered row-04 closed-cover cell block with global indices 98 through 194, used when assembling the full 195-cell cover.

Equations

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

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