Sparse Farkas receipts for the row-06 closed cover

These passive row multipliers are replayed by the corresponding fixed-cover module. The ordered blocks and their concatenation retain the global receipt indices used by its tree.

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts0 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 0 for the row-06 tree, providing global indices 0 through 127. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts1 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 1 for the row-06 tree, providing global indices 128 through 255. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts2 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 2 for the row-06 tree, providing global indices 256 through 383. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts3 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 3 for the row-06 tree, providing global indices 384 through 511. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts4 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 4 for the row-06 tree, providing global indices 512 through 639. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts5 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 5 for the row-06 tree, providing global indices 640 through 767. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts6 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 6 for the row-06 tree, providing global indices 768 through 895. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts7 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 7 for the row-06 tree, providing global indices 896 through 1023. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts8 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 8 for the row-06 tree, providing global indices 1024 through 1073. Each receipt specifies a positive integer combination of active affine rows for a cell constraint or a contradiction.

Equations

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

def AtanasovRanganathan.GenusFiveRow06FixedCover.farkasReceipts : List Utilities.Certificate.AffineCover.FarkasData

The complete table of 1074 row-06 Farkas receipts, concatenated in the global order referenced by decision-tree leaves.

Equations

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