Sparse Farkas receipts for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts0 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 0 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts1 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 1 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts2 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 2 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts3 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 3 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts4 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 4 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts5 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 5 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts6 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 6 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts7 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 7 for the row-04 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.GenusFiveRow04FixedCover.farkasReceipts8 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 8 for the row-04 tree, providing global indices 1024 through 1151. 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.GenusFiveRow04FixedCover.farkasReceipts9 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 9 for the row-04 tree, providing global indices 1152 through 1279. 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.GenusFiveRow04FixedCover.farkasReceipts10 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 10 for the row-04 tree, providing global indices 1280 through 1407. 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.GenusFiveRow04FixedCover.farkasReceipts11 : List Utilities.Certificate.AffineCover.FarkasData

Farkas receipt block 11 for the row-04 tree, providing global indices 1408 through 1497. 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.GenusFiveRow04FixedCover.farkasReceipts : List Utilities.Certificate.AffineCover.FarkasData

The complete table of 1498 row-04 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.